Canonical Formalism Graph Index
Purpose
This page makes the current canonical formalism graph inspectable from one public page.
The graph index does not define, prove, validate, or supersede any formalism. It lists the public wiki mirror pages and the current extraction posture for each canonical source repository.
Source Boundary
Admissible-Existence defines canonical formalisms.
Publisher publishes papers and public exposition.
Admissibility Wiki mirrors, relates, crosswalks, and discovers relationships.
Correction Boundary
RTG = Relational Transition Geometry
CHF = Coherency Horizon
Runtime governance = downstream execution-facing application
Continuity Handoff Formalism = related continuity concept without CHF abbreviation claim
Current Graph Coverage
| Formalism Page | Source Repository | Wiki Coverage | Remaining Work |
|---|---|---|---|
| State Transition Continuity Model | Admissible-Existence/STCM | page + catalog + registry | source-confirmed math/proof/validation extraction |
| Relational Transition Geometry | Admissible-Existence/RTG | page + catalog + registry | source-confirmed math/proof/validation extraction |
| Coherency Horizon | Admissible-Existence/CHF | page + catalog + registry | source-confirmed horizon/proof/validation extraction |
| Boundary Conditions | Admissible-Existence/BC | page + catalog + registry | source-confirmed math/proof/validation extraction |
| Transition Table | Admissible-Existence/TT | page + catalog + registry | source-confirmed state/proof/validation extraction |
| Triad Governance Model | Admissible-Existence/Triad | page + catalog + registry | source-confirmed role/quorum validation extraction |
| Continuity Handoff Formalism | pending abbreviation-safe source confirmation | page + catalog + registry | source-confirmed handoff validation extraction |
| Data Continuity | Admissible-Existence/DaCo | page + catalog + registry | source-confirmed custody/data validation extraction |
| Decision Continuity | Admissible-Existence/DC | page + catalog + registry | source-confirmed decision-standing validation extraction |
| Governance-Centered and Boundary-Centered Admissibility Testing | Admissible-Existence/GCAT-BCAT | page + catalog + registry | source-confirmed paper/proof/test extraction |
| Core-Lite Admissibility Engine | Admissible-Existence/core-lite | page + catalog + registry | source-confirmed implementation/test extraction |
| Learning Transition Governance | Admissible-Existence/learning-transition-governance | page + catalog + registry | source-confirmed learning-transition validation extraction |
| Admissible-Existence Validation Factory | Admissible-Existence/ae-validation-factory | page + catalog + registry | source-confirmed fixtures/expected-outcomes extraction |
Graph Reading Order
A public reader can inspect the graph in this order:
Relational Transition Geometry
Coherency Horizon
Transition Table
Boundary Conditions
Commit-Time Admissibility
State Transition Continuity Model
Decision Continuity
Data Continuity
Continuity Handoff Formalism
Triad Governance Model
Learning Transition Governance
Core-Lite Admissibility Engine
Admissible-Existence Validation Factory
Governance-Centered and Boundary-Centered Admissibility Testing
This reading order is explanatory. It is not a canonical dependency order.
Current Activation Boundary
The graph currently supports public orientation and relationship discovery.
It does not yet support a claim that all formalisms have source-confirmed mathematical definitions, proof candidates, validation candidates, publication artifacts, or reference implementations extracted into the wiki.
Next Extraction Targets
1. Extract source-confirmed Relational Transition Geometry variables.
2. Extract source-confirmed Coherency Horizon variables and validation cases.
3. Show how the Transition Table operationalizes RTG and horizon posture.
4. Extract source-confirmed proof candidates where public papers exist.
5. Extract validation candidates and expected outcomes from public-safe fixtures.
6. Link reference implementations only after source authority and implementation role are confirmed.
7. Replace pending placeholders with source-confirmed records.
Non-Claims
This graph index does not define any formalism.
This graph index does not prove any formalism.
This graph index does not validate any formalism.
This graph index does not assert equivalence with GLM, EVIDE, or any external framework.
This graph index does not expose private source content.
Runtime governance does not replace Relational Transition Geometry.
Continuity Handoff Formalism does not claim the CHF abbreviation.