Interactive Research Map
A Dependency Graph of Foundational Theorems and Provisional Closures
Explore the logical structure of Foundations Audit. The interactive research map reveals how the Constitutional Kernel supports the Audit Engine, Layer 1 records, Layer 2 Fisher clocks, and Layer 3 propagation diagnostics. A full accessible semantic list view is provided for screen readers and keyboard navigation.
Claim Boundary & Exclusions Audit
What Is Claimed (Within Scope)
- •Provides a transparent map of logical dependencies and claim ceilings.
- •Fully compliant with WCAG 2.2 AA through its synchronized accessible list view.
- •Highlights open questions, countermodels, and provisional closures with distinct visual markers.
What Is NOT Claimed (Prohibited Inferences)
- •Visual proximity in the map does not imply certified physical derivation.
Technical Exposition & Formulation
Nodes represent research checkpoints and theorem packages categorized into six vertical layers: Kernel, Audit, Layer 1 (Records), Layer 2 (Time), Layer 3 (Geometry), and Lineage. Directed edges denote strict mathematical and operational dependencies.
Assumptions & Input Data
- Dependencies reflect formal proof imports documented in the corpus.
Declared Complete Carrier (K3)
The graph nodes, edge lists, and filtering state.
Constitutional Kernel (K1–K9)
Theory-neutral governance principles: Admitted Actuality, Complete Carrier, Typed Nullity, and Nonretroactivity.
P.E.N. Model-Theoretic Boundary
Paired-Expansion Nondefinability Theorem: formal reducts cannot implicitly or explicitly define physical instantiation.
Target Firewalls & Anti-Smuggling
Strict separation between Target I (Instantiation), Target II (Events), and Target III (Operational Reconstruction).
Quantum Darwinism Survival Theorem
Common-pointer conservation and redundant records under hidden-controlled interaction families.
Hidden-Control Objectivity Diagnostics
Two-gate certification: Delta_rec common-record commutator check and environmental fragment redundancy.
Objectivity vs Causal Nonseparability
Independence Theorem: environmental objectivity and indefinite causal order neither imply nor require each other.
Postselection Tradeoff Theorem
Universal information budget: average postselection gain cannot exceed control conditional mutual information.
Plural Memory Constitution (OIRP-11)
Separation of Markov order, capacity, and recovery. No primitive storage container.
Fisher-Clock Correspondence
Necessary and sufficient condition for parameter time to match operational duration via accessible Fisher information.
Loop Holonomy Synchronization
A comparison network of local clocks admits global time iff every closed loop has identity holonomy.
Clock Adequacy Breakdown
Explicit nonunitary model showing loss of Fisher adequacy and record collapse.
Sector-Family Locality Diagnostics
Separation of C_inf (uniform norm), C_1 (weighted norm), and C_bar (averaged commutator norm) over graph sectors.
Lower-Front Sector Obstruction
Proves that essential unboundedness of sector velocities precludes uniform exponential propagation envelopes.
Spacetime Dynamics Provisional Closure
Higher geometry, Einstein dynamics, and gravity remain unresolved and reopenable. Hardware EOB is closed negative.
OIRP Core Conditional Closure
Observer-Invariant Reconstruction Program closed as a truth-first constitutional framework, not an active substrate theory.
OIRP-S2 Composite Certification
Constituent certification does not automatically certify composites. CP4.1–CP4.3 restricted closures.
Universal Theory Evolution (ETP to COR)
Formal protocol establishing COR Theory as the universal replacement of ETP, with permanent retention of ETP historical manuscript lineage.
Select a node to inspect
Click any research checkpoint in the map to view prerequisites and claim status.
Source Provenance & Verification Hashes
ETP_MANUSCRIPT_AUTHORITY_REGISTER_Truth_First_V14...
Challenge This Claim Ceiling
Identified an unstated carrier or a counterexample? Submit a formal challenge.