max/zigzag-engine
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
zigzag-engine/fixtures
History
Maximus Gorog 5454c02328 Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 
- Replace all-to-all sub-poset connection with rewrite-based correspondence
- Add compute_subpoint_correspondence() using cone structure for 3 cases:
  identity (1-to-1), contraction (many-to-one), insertion (index shift)
- Add compute_height_maps() for singular and regular height tracking
- Covering relations reduced from 114 to 35 for half_braid (69% reduction)
- Surface 3 (r0,s0,r0): 9 spurious successors → 3 correct successors
- 175 tests passing, 0 failures
- Regenerated fixtures/half_braid_geometry.json with corrected boundaries

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2026-04-08 00:54:18 -06:00
..
contracted_with_inner_identity.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
dim4_info.txt Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
dim456_combined.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
dim456_info.txt Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
essential_identity_4d.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
essential_info.txt Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
half_braid.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
half_braid_geometry.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
identity_wrapped_5d.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
identity_wrapped_6d.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
padded_3d.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
padded_4d.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
padded_export.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
padded_info.txt Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
padded_lips_4d.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
scalar.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
scan_output.txt Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00
two_scalars.json Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations 2026-04-08 00:54:18 -06:00