zigzag-engine/fixtures
Maximus Gorog c011af0414 Add visibility filter and output only visible elements
Added Point::is_visible() to explosion.rs:
- A point at geom_dim d is visible iff coords[d..] are all singular
- Matches homotopy.io's visibility filter (mesh.rs:111-115)

Updated render_braiding.rs:
- Filter to visible elements only (7 of 23 points for half_braid)
- Compute layout coordinates: x=time, y=height, z=depth
- Wires spread at z = [-1, 0, 1], vertices at z = [-0.5, 0.5]
- No volumes in output (not rendered)

Visible elements for half_braid:
- 2 vertices: (s0,s0,s0), (s1,s0,s0)
- 3 wires: (r0,s0,s0), (r1,s0,s0), (r2,s0,s0)
- 2 surfaces: (r0,r0,s0), (r0,r1,s0)

Updated web/zigzag-renderer.jsx with new geometry data.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2026-04-08 02:16:36 -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 Add visibility filter and output only visible elements 2026-04-08 02:16:36 -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