Intellectual lineage
Program lineage
Dated changes in program direction and typed relations among research artifacts.
Chronology
Detection hypothesis registered
The program tested whether local-to-global disclosure deficits diagnose consequential composition failure.
Execution kill test
Execution-derived labels falsified coherence fee as a runtime-failure predictor and included fee-zero breaches.
Research reset
The predictor and false corollaries were withdrawn. Formal, disclosure, and benchmark results were retained only within their recorded scope.
Accountability descent preregistration
Coverage, persistence, authority binding, non-equivocation, and remedy were specified as separate from formal gluing.
Receipting contract revised
Bulla and Glyph were aligned on persistent receipts, witnessing, reliance, challenge, and executable recourse.
Semantic-control frontier indexed
Golden Gate, Interpolant Envelope, and No Free Precedent entered the living frontier without accession to the frozen Technical Spine.
SCPI and Bridge perimeter corrected
Beth.lean was reclassified as proposition-level scaffolding, the site-level Beth assembly was marked unmechanized, and Bridge was limited to its measured repair-generation baseline.
Relations
Artifact relations
These edges record intellectual development, not theorem dependencies or runtime architecture.
- motivated-by
- formalizes
- formalizes
- narrows
- formalizes
- operationalizes
- tests
- falsifies
- narrows
- survives-in
- survives-in
- survives-in
- supersedes
- motivated-by
- motivated-by
- survives-in
- supersedes
- formalizes
- operationalizes
- tests
- tests
Map types
Dependency, lineage, and operation
Mathematical prerequisites
The Proofs graph records prerequisites and verification status.
Research decisions
This page records motivation, testing, narrowing, falsification, supersession, and retention.
Implementation sequence
Glyph and Bulla record occurrence, persistence, authority, reliance, challenge, and remedy.