From 670b3601bb2960a1b6f4a702b1ef327cce7768b8 Mon Sep 17 00:00:00 2001
From: Allaun Silverfox <28494262+allaunthefox@users.noreply.github.com>
Date: Mon, 4 May 2026 19:10:11 -0500
Subject: [PATCH] Register visual primitive witness entry points

---
 0-Core-Formalism/otom/PROJECT_MAP.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/0-Core-Formalism/otom/PROJECT_MAP.md b/0-Core-Formalism/otom/PROJECT_MAP.md
index d0f4ac6d..33f16a19 100644
--- a/0-Core-Formalism/otom/PROJECT_MAP.md
+++ b/0-Core-Formalism/otom/PROJECT_MAP.md
@@ -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