Theory Map · TV002

Trace the obligations,
not a victory lap.

This is a high-level program dependency atlas, not a claim-complete proof graph. Three roots lead into bridges the program must still construct. Select a node to inspect the mapped premise cone, downstream obligations, chapter map, and current gate.

Closure not establishedHigh-level dependency map
HOW TO READSolid edges are high-level program dependencies. Dashed nodes are blocked obligations. Root labels show proposal state, not truth; an edge is not a proved implication.Select a node · scroll the canvas horizontally

Selection highlights the mapped upstream premise cone and downstream obligations represented at this resolution. The atlas is intentionally high-level and does not replace claim records, exact theorem dependencies, or evidence dossiers.

UpstreamDownstreamBlocked

High-level TV002 dependency atlas

Select a node to inspect its role.

Open the high-level text atlas