Commit graph

  • c51e3274f9 Stage 2 complete: Construction 17 validated on real 3D data main Maximus Gorog 2026-04-09 05:26:15 -06:00
  • c011af0414 Add visibility filter and output only visible elements Maximus Gorog 2026-04-08 02:16:36 -06:00
  • 2f33791809 Fix render_braiding.rs: transitive for wire endpoints, direct for surface boundaries Maximus Gorog 2026-04-08 01:21:45 -06:00
  • d679eeba6b Add Three.js renderer for half_braid geometry with variational elastic curves Maximus Gorog 2026-04-08 01:07:06 -06:00
  • 5454c02328 Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations Maximus Gorog 2026-04-08 00:54:18 -06:00
  • 6be1159262 Merge feat/normalisation: Construction 17 complete Maximus Gorog 2026-04-07 03:26:18 -06:00
  • 5531398040 Merge master and add DiagramMap composition methods feat/normalisation Maximus Gorog 2026-04-07 03:26:12 -06:00
  • 02d23cf554 Implement normalisation algorithm (Construction 17) Maximus Gorog 2026-04-07 03:24:30 -06:00
  • c352384e92 Merge feat/explosion: k-points, poset structure Maximus Gorog 2026-04-07 03:12:27 -06:00
  • 13d5c04598 Merge feat/degeneracy: Lemma 7 factorisation, Prop 13 pullbacks Maximus Gorog 2026-04-07 03:11:15 -06:00
  • 5d21c75178 Implement k-points explosion and poset structure feat/explosion Maximus Gorog 2026-04-07 03:03:38 -06:00
  • 6990275388 Implement degeneracy map detection and factorisation feat/degeneracy Maximus Gorog 2026-04-07 02:56:55 -06:00
  • 951f86a74f Implement slice computation methods in diagram.rs feat/slice-computation Maximus Gorog 2026-04-07 02:56:31 -06:00
  • cd4b951f78 Scaffold zigzag-engine library Maximus Gorog 2026-04-07 02:42:06 -06:00