Register visual primitive witness entry points

This commit is contained in:
Allaun Silverfox 2026-05-04 19:10:11 -05:00
parent e77d29511e
commit 299fc3fd52

View file

@ -31,6 +31,8 @@ route_signature: otom/axis-12-publishing/markdownspec/project-map/v0
- `docs/plumbing/PROJECT_DOMAIN_TYPE_MAP.md` — placement taxonomy
- `docs/plumbing/GITHUB_MISSING_MAP.md` — current backfill map
- `tools/lean/Semantics/Semantics/Constitution.lean` — Lean entry point
- `tools/lean/Semantics/Semantics/VisualPrimitive.lean` — coordinate-bearing visual witness formalism
- `docs/visual_primitives_goxel_witness.md` — research note mapping visual primitives to Goxel witnesses
## Current phase