feat(type-theory): exploratory dendrogram → bridge index → ProofTransport receipt panel - #83

Merged

hyperpolymath merged 2 commits into

mainfrom

arena/01a0e044-metamanifold-webui

Sep 27, 2026

Commits on Sep 27, 2026

feat(type-theory): exploratory dendrogram → bridge index → ProofTransport receipt panel

hyperpolymath
and
arena-agent
committed
6cab703
Merge branch 'main' into arena/01a0e044-metamanifold-webui
hyperpolymath
authored
d19c833