{ "metadata": { "iri": "urn:foundationsaudit:cor", "label": "Foundations Audit & COR Theory Dual Architecture Ontology", "comment": "A formal, typed OWL 2 ontology specifying the strict architectural dichotomy and operational bridges between the Foundations Audit (epistemological observatory, Constitutional Kernel K1–K9, P.E.N. definability boundaries, and claim-ceiling governance) and COR Theory (Conditional Operational Reconstruction 5-layer physics stack, complete carrier accounting, HCOD two-gate diagnostics, and countermodel boundaries).", "versionInfo": "v2.1.0-COR", "creator": "Scott Muniz", "publisher": "Dr. Ware Technology Services — FoundationsAudit.org", "date": "2026-10-28", "sha256": "b764042baa7e0ae48102ee4e2a1dc5a99b0db26593c65600914a05101316a755", "tripleCount": 802 }, "classes": [ { "id": "fa:BasementProvenanceProtocol", "iri": "urn:foundationsaudit:fa#BasementProvenanceProtocol", "localName": "BasementProvenanceProtocol", "namespace": "fa", "label": "Basement Provenance Protocol (BNP)", "comment": "Formal logic auditing physical inputs vs. outputs (0 + X = X, 0 + X != 0 => X != 0) to prevent smuggling physical structure through pure syntax.", "domainGroup": "Audit Engine & Provenance", "claimStatus": "Exact result", "evidenceClass": "Model-Theoretic Boundary", "siteRoute": "/foundations-audit/truth-first-method", "sourceDocuments": [ "FA-AUTH-01", "FA-LRT-01" ], "formalExpression": "0 + X = X ; (0 + X != 0) => (X != 0)", "claimCeilingExclusion": "Zero physical input combined with formal transformations yields zero physical instantiation without an admitted bridge X != 0.", "subClassOf": [], "disjointWith": [], "restrictions": [] }, { "id": "fa:ClaimStatusTier", "iri": "urn:foundationsaudit:fa#ClaimStatusTier", "localName": "ClaimStatusTier", "namespace": "fa", "label": "Claim Status System (10 Tiers)", "comment": "Standardized 10-tier taxonomy enforcing explicit epistemic ceilings: Admission, Definition, Exact result, Restricted result, Countermodel, Empirical result, Conjecture, Open question, Internal diagnostic, Historical.", "domainGroup": "Program Lineage & Status", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/claim-status", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "Status in {ADM, DEF, EXA, RES, CNT, EMP, CNJ, OPN, INT, HIS}", "claimCeilingExclusion": "No positive Empirical Result [EMP] on quantum hardware is claimed for ETP/COR; PUB-03 is strictly [INT].", "subClassOf": [], "disjointWith": [], "restrictions": [] }, { "id": "fa:ConstitutionalKernel", "iri": "urn:foundationsaudit:fa#ConstitutionalKernel", "localName": "ConstitutionalKernel", "namespace": "fa", "label": "Constitutional Kernel (K1–K9)", "comment": "Governing 9-point theory-neutral epistemological inspection rules (K1–K9) situated above both the Audit Engine and COR Theory.", "domainGroup": "Constitutional Kernel", "claimStatus": "Admission", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "K = {K1, K2, K3, K4, K5, K6, K7, K8, K9}", "claimCeilingExclusion": "The Kernel is methodological and epistemic governance, not a dynamical equation of motion or physical law.", "subClassOf": [], "disjointWith": [], "restrictions": [] }, { "id": "fa:ETP_HistoricalLineage", "iri": "urn:foundationsaudit:fa#ETP_HistoricalLineage", "localName": "ETP_HistoricalLineage", "namespace": "fa", "label": "ETP Historical Manuscript Lineage", "comment": "Emergent Timeless Potentiality predecessor manuscript archive permanently retained for derivation traceability and SHA-256 provenance.", "domainGroup": "Program Lineage & Status", "claimStatus": "Historical", "evidenceClass": "Historical Ledger", "siteRoute": "/cor-theory/evolution", "sourceDocuments": [ "FA-AUTH-01", "FA-SYN-01" ], "formalExpression": "ETP --[Universally Superseded By K1-K9]--> COR Theory", "claimCeilingExclusion": "Retained strictly for historical provenance; all speculative ontological emergence language is superseded by COR Theory.", "subClassOf": [ "fa:ProgramLineage" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:FoundationsAuditEngine", "iri": "urn:foundationsaudit:fa#FoundationsAuditEngine", "localName": "FoundationsAuditEngine", "namespace": "fa", "label": "Foundations Audit Engine", "comment": "The judicial scientific observatory and operational audit engine enforcing non-circularity, P.E.N. definability limits, claim ceilings, and complete carrier accounting.", "domainGroup": "Audit Engine & Provenance", "claimStatus": "Exact result", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/audit-engine", "sourceDocuments": [ "FA-AUTH-01", "OIRP_LEDGER" ], "formalExpression": "Intake -> Carrier(K3) -> P.E.N.(L_0, L_1) -> Witness(K4) -> Ceiling(K8)", "claimCeilingExclusion": "Does not propose a speculative physical substrate; PUB-03 internal repository tooling is strictly firewalled from public scientific claims.", "subClassOf": [], "disjointWith": [], "restrictions": [] }, { "id": "fa:NonNullProvenancePrinciple", "iri": "urn:foundationsaudit:fa#NonNullProvenancePrinciple", "localName": "NonNullProvenancePrinciple", "namespace": "fa", "label": "Non-Null Provenance Principle", "comment": "Proves non-null physical outcomes strictly require non-null physical input provenance.", "domainGroup": "Audit Engine & Provenance", "claimStatus": "Exact result", "evidenceClass": "Model-Theoretic Boundary", "siteRoute": "/foundations-audit/truth-first-method", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "Prov_phys(Output) != 0 => Prov_phys(Input) != 0", "claimCeilingExclusion": "Refutes any claim of 'emergence from nothing' or purely mathematical genesis of physical reality.", "subClassOf": [ "fa:BasementProvenanceProtocol" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:OIRP_ResearchLedger", "iri": "urn:foundationsaudit:fa#OIRP_ResearchLedger", "localName": "OIRP_ResearchLedger", "namespace": "fa", "label": "OIRP Master Research Ledger", "comment": "Observer-Invariant Reconstruction Program immutable historical checkpoint record (OIRP-11 through CP4.R2C).", "domainGroup": "Program Lineage & Status", "claimStatus": "Historical", "evidenceClass": "Historical Ledger", "siteRoute": "/research/oirp", "sourceDocuments": [ "OIRP_LEDGER" ], "formalExpression": "Checkpoints = {OIRP-11..17, OIRP-S1, OIRP-S2: CP4.1..CP4.R2C}", "claimCeilingExclusion": "Closed as a restricted constitutional program; HHLW Level 6 is explicitly excluded as unverified.", "subClassOf": [ "fa:ProgramLineage" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:PEN_NondefinabilityTheorem", "iri": "urn:foundationsaudit:fa#PEN_NondefinabilityTheorem", "localName": "PEN_NondefinabilityTheorem", "namespace": "fa", "label": "Paired-Expansion Nondefinability Theorem (P.E.N.)", "comment": "Model-theoretic theorem: when a formal reduct L_0 admits two expansions agreeing on L_0 but differing in physical instantiation P_phys, instantiation is neither implicitly nor explicitly definable from L_0.", "domainGroup": "Audit Engine & Provenance", "claimStatus": "Exact result", "evidenceClass": "Model-Theoretic Boundary", "siteRoute": "/foundations-audit/audit-engine", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "M_1|L_0 = M_2|L_0 & P_phys(M_1) != P_phys(M_2) => L_0 |/|- P_phys", "claimCeilingExclusion": "Establishes scoped model-theoretic nondefinability over declared languages, not universal mystic unknowability.", "subClassOf": [ "fa:BasementProvenanceProtocol" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:ProgramLineage", "iri": "urn:foundationsaudit:fa#ProgramLineage", "localName": "ProgramLineage", "namespace": "fa", "label": "Foundations Triad & Program Lineage", "comment": "Architectural separation between the immutable research ledger (OIRP), retained historical manuscript lineage (ETP), and sole controlling theory stack (COR).", "domainGroup": "Program Lineage & Status", "claimStatus": "Definition", "evidenceClass": "Historical Ledger", "siteRoute": "/cor-theory/evolution", "sourceDocuments": [ "FA-AUTH-01", "OIRP_LEDGER" ], "formalExpression": "Triad = (OIRP_Ledger [HIS], ETP_Corpus [HIS], COR_Theory [CONTROLLING])", "claimCeilingExclusion": "Preserving ETP and OIRP archives maintains cryptographic provenance and never overrides COR Theory's controlling authority.", "subClassOf": [], "disjointWith": [], "restrictions": [] }, { "id": "fa:ReopeningTrigger", "iri": "urn:foundationsaudit:fa#ReopeningTrigger", "localName": "ReopeningTrigger", "namespace": "fa", "label": "Constitutional Reopening Trigger (10 Triggers)", "comment": "Pre-registered formal and empirical conditions required to reopen provisionally closed questions such as Layer 4 spacetime dynamics and gravity.", "domainGroup": "Program Lineage & Status", "claimStatus": "Open question", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/cor-theory/limits", "sourceDocuments": [ "FA-AUTH-01", "FA-LRG-01" ], "formalExpression": "Reopen(Layer_4) <=> Verified(Trigger_i), i in {1..10}", "claimCeilingExclusion": "Until a registered trigger is satisfied, higher geometry and gravity remain closed at their documented underdetermination ceiling.", "subClassOf": [], "disjointWith": [], "restrictions": [] }, { "id": "fa:Rule_K1_AdmittedActuality", "iri": "urn:foundationsaudit:fa#Rule_K1_AdmittedActuality", "localName": "Rule_K1_AdmittedActuality", "namespace": "fa", "label": "K1: Admitted Actuality", "comment": "K1: Physical actuality, events, and state carriers are admitted as factual starting points for conditional reconstruction, never derived as ultimate ontology.", "domainGroup": "Constitutional Kernel", "claimStatus": "Admission", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "Actuality(A_0) := Admitted; not Derived(L_0 |- A_0)", "claimCeilingExclusion": "Downstream operational success cannot retroactively prove or derive ultimate ontological existence.", "subClassOf": [ "fa:ConstitutionalKernel" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:Rule_K2_TypedScope", "iri": "urn:foundationsaudit:fa#Rule_K2_TypedScope", "localName": "Rule_K2_TypedScope", "namespace": "fa", "label": "K2: Typed Target and Scope", "comment": "K2: All claims remain strictly indexed to target, domain, task, regime, and exact/approximate status.", "domainGroup": "Constitutional Kernel", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "Claim := (Target, Domain, Task, Regime, Exactness)", "claimCeilingExclusion": "Results certified within a finite-dimensional or task-relative regime cannot be extrapolated to unbounded continuum regimes without separate proof.", "subClassOf": [ "fa:ConstitutionalKernel" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:Rule_K3_CompleteCarrierDeclaration", "iri": "urn:foundationsaudit:fa#Rule_K3_CompleteCarrierDeclaration", "localName": "Rule_K3_CompleteCarrierDeclaration", "namespace": "fa", "label": "K3: Complete Carrier and Boundary Declaration", "comment": "K3: Forces complete declaration of primary systems, discarded and retained environments, ancillas, controls, references, and work batteries.", "domainGroup": "Constitutional Kernel", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "C_complete = H_S x H_E x H_C x H_B x H_ref", "claimCeilingExclusion": "Tracing out an environment or control line restricts operational access but does not erase its physical correlations.", "subClassOf": [ "fa:ConstitutionalKernel" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:Rule_K4_WitnessAndAccess", "iri": "urn:foundationsaudit:fa#Rule_K4_WitnessAndAccess", "localName": "Rule_K4_WitnessAndAccess", "namespace": "fa", "label": "K4: Witness and Access Discipline", "comment": "K4: Measurement testers, readouts, access restrictions, and witness-completeness status must be explicitly declared.", "domainGroup": "Constitutional Kernel", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01", "FA-LRT-01" ], "formalExpression": "WitnessFamily W = {M_alpha}; Nullity typed by Completeness(W)", "claimCeilingExclusion": "Failure to detect a difference under restricted access establishes Restricted-Null status, never ontic identity.", "subClassOf": [ "fa:ConstitutionalKernel" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:Rule_K5_EquivalenceBeforeIdentity", "iri": "urn:foundationsaudit:fa#Rule_K5_EquivalenceBeforeIdentity", "localName": "Rule_K5_EquivalenceBeforeIdentity", "namespace": "fa", "label": "K5: Equivalence Before Identity", "comment": "K5: Operational, representational, gauge, and physical equivalences must be formally typed before asserting identity or invariance.", "domainGroup": "Constitutional Kernel", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "x ~_op y =/= x ===_phys y", "claimCeilingExclusion": "Quotient equivalence under a limited observable algebra does not imply ontological identity of underlying states.", "subClassOf": [ "fa:ConstitutionalKernel" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:Rule_K6_TransformationsCompositionAndHistory", "iri": "urn:foundationsaudit:fa#Rule_K6_TransformationsCompositionAndHistory", "localName": "Rule_K6_TransformationsCompositionAndHistory", "namespace": "fa", "label": "K6: Transformations, Composition, and History", "comment": "K6: Constituent certification does not automatically certify composite systems, sequential histories, or open-system continuations.", "domainGroup": "Constitutional Kernel", "claimStatus": "Restricted result", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01", "OIRP_LEDGER" ], "formalExpression": "Certified(A) & Certified(B) =/=> Certified(A (x) B)", "claimCeilingExclusion": "Prevents silent aggregation of local subsystem bounds into global composite guarantees without holonomy and cross-talk audits.", "subClassOf": [ "fa:ConstitutionalKernel" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:Rule_K7_CriteriaAndUncertainty", "iri": "urn:foundationsaudit:fa#Rule_K7_CriteriaAndUncertainty", "localName": "Rule_K7_CriteriaAndUncertainty", "namespace": "fa", "label": "K7: Criteria, Calibration, and Uncertainty", "comment": "K7: Error models, tolerances, calibration protocols, solver budgets, and resource bounds must be explicitly stated.", "domainGroup": "Constitutional Kernel", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01", "FA-LRT-01" ], "formalExpression": "Tolerance(epsilon_calib, epsilon_solver) >= 0", "claimCeilingExclusion": "Numerical SDP solver tolerances (e.g., values 1.0 + 1e-8) are numerical artifacts, never super-quantum physical probabilities.", "subClassOf": [ "fa:ConstitutionalKernel" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:Rule_K8_NonretroactivityFirewall", "iri": "urn:foundationsaudit:fa#Rule_K8_NonretroactivityFirewall", "localName": "Rule_K8_NonretroactivityFirewall", "namespace": "fa", "label": "K8: Provenance, Rivals, Falsifiers, and Nonretroactivity Firewall", "comment": "K8: Downstream operational success cannot retroactively justify or prove upstream basement instantiation; rivals and falsifiers must be preserved.", "domainGroup": "Constitutional Kernel", "claimStatus": "Admission", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "Success(Layer_k) =/=> Proof(Layer_0)", "claimCeilingExclusion": "Blocks retroactive ontological boot-strapping from effective operational models.", "subClassOf": [ "fa:ConstitutionalKernel" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:Rule_K9_PluralAndNullAdmissibility", "iri": "urn:foundationsaudit:fa#Rule_K9_PluralAndNullAdmissibility", "localName": "Rule_K9_PluralAndNullAdmissibility", "namespace": "fa", "label": "K9: Plural and Null Admissibility", "comment": "K9: Preserves null results, refutations, countermodels, Pareto frontiers, and underdetermination as valid, successful scientific outcomes.", "domainGroup": "Constitutional Kernel", "claimStatus": "Admission", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "Outcome in {Exact, Restricted, Countermodel, Null, Plural, Open}", "claimCeilingExclusion": "Refusal to force a unique closure where evidence underdetermines the outcome is mandatory scientific rigor, not failure.", "subClassOf": [ "fa:ConstitutionalKernel" ], "disjointWith": [], "restrictions": [] }, { "id": "fa:TargetDomain", "iri": "urn:foundationsaudit:fa#TargetDomain", "localName": "TargetDomain", "namespace": "fa", "label": "Epistemological Target Domain", "comment": "Epistemological targets separating physical existence (Target I), single definite event occurrence (Target II), and conditional operational reconstruction (Target III).", "domainGroup": "Three-Target Firewall", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/truth-first-method", "sourceDocuments": [ "FA-AUTH-01", "FA-SYN-01" ], "formalExpression": "Target_I (+) Target_II (+) Target_III (Pairwise Disjoint)", "claimCeilingExclusion": "Progress in Target III operational reconstruction never resolves Target I existence or Target II single-outcome selection.", "subClassOf": [], "disjointWith": [], "restrictions": [] }, { "id": "fa:Target_III_OperationalReconstruction", "iri": "urn:foundationsaudit:fa#Target_III_OperationalReconstruction", "localName": "Target_III_OperationalReconstruction", "namespace": "fa", "label": "Target III: Conditional Operational Reconstruction", "comment": "Target III: How observers reconstruct objective records, operational duration, calibrated clocks, causal latency, and geometry from admitted events.", "domainGroup": "Three-Target Firewall", "claimStatus": "Exact result", "evidenceClass": "Analytic Theorem", "siteRoute": "/cor-theory/overview", "sourceDocuments": [ "FA-SYN-01", "FA-LRT-01", "FA-LRG-01" ], "formalExpression": "Target_III : (A_0, J_phys, C_complete) |-> {Records, Duration, CausalBounds}", "claimCeilingExclusion": "Strictly conditional on admitted Target I/II packages; cannot be inverted to derive Target I or Target II.", "subClassOf": [ "fa:TargetDomain" ], "disjointWith": [ "fa:Target_II_DefiniteEventGeneration", "fa:Target_I_BasementInstantiation" ], "restrictions": [] }, { "id": "fa:Target_II_DefiniteEventGeneration", "iri": "urn:foundationsaudit:fa#Target_II_DefiniteEventGeneration", "localName": "Target_II_DefiniteEventGeneration", "namespace": "fa", "label": "Target II: Definite Event Generation (What Happens)", "comment": "Target II: What actually happens in a single run (Single definite event token generation and non-null physical outcome registration).", "domainGroup": "Three-Target Firewall", "claimStatus": "Admission", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/physics-explained/measurement-problem", "sourceDocuments": [ "FA-AUTH-01", "FA-SYN-01" ], "formalExpression": "Target_II : Single-Run Event Token e_k in E_admitted", "claimCeilingExclusion": "Decoherence and Quantum Darwinism explain pointer selection and broadcast (Target III), not single-outcome actualization (Target II).", "subClassOf": [ "fa:TargetDomain" ], "disjointWith": [ "fa:Target_III_OperationalReconstruction", "fa:Target_I_BasementInstantiation" ], "restrictions": [] }, { "id": "fa:Target_I_BasementInstantiation", "iri": "urn:foundationsaudit:fa#Target_I_BasementInstantiation", "localName": "Target_I_BasementInstantiation", "namespace": "fa", "label": "Target I: Basement Instantiation (What Exists)", "comment": "Target I: What exists fundamentally (Basement instantiation / K1 Admitted Actuality). Treated as admitted input, never derived from syntax.", "domainGroup": "Three-Target Firewall", "claimStatus": "Admission", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/truth-first-method", "sourceDocuments": [ "FA-AUTH-01" ], "formalExpression": "Target_I : Physical Instantiation Predicate P_phys", "claimCeilingExclusion": "Blocked from formal derivation by the Paired-Expansion Nondefinability (P.E.N.) Theorem.", "subClassOf": [ "fa:TargetDomain" ], "disjointWith": [ "fa:Target_III_OperationalReconstruction", "fa:Target_II_DefiniteEventGeneration" ], "restrictions": [] }, { "id": "fa:TypedNullityProtocol", "iri": "urn:foundationsaudit:fa#TypedNullityProtocol", "localName": "TypedNullityProtocol", "namespace": "fa", "label": "Typed Nullity Protocol (BNP-C3)", "comment": "Classifies operational indistinguishability into NULL (proved-complete witness family), RESTRICTED-NULL (task/access limited), and UNDETERMINED.", "domainGroup": "Audit Engine & Provenance", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/evidence/glossary", "sourceDocuments": [ "FA-LRT-01" ], "formalExpression": "Nullity in {NULL_complete, RESTRICTED-NULL_task, UNDETERMINED}", "claimCeilingExclusion": "Prevents conflating lack of observed difference under restricted instruments with true physical absence.", "subClassOf": [ "fa:BasementProvenanceProtocol" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:CORTheoryStack", "iri": "urn:foundationsaudit:cor#CORTheoryStack", "localName": "CORTheoryStack", "namespace": "cor", "label": "COR Theory Stack (Conditional Operational Reconstruction)", "comment": "The sole controlling, authoritative positive physics framework reconstructing operational records, duration, and locality conditionally from admitted physical packages.", "domainGroup": "COR Layer Hierarchy", "claimStatus": "Exact result", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/cor-theory", "sourceDocuments": [ "FA-SYN-01", "FA-AUTH-01" ], "formalExpression": "COR : Admitted(A_0, J_phys, C_complete) |-> OperationalStack(L_0..L_4)", "claimCeilingExclusion": "Not a 'theory of everything'; does not derive physical actuality, the Born rule, or quantum mechanics from pure logic.", "subClassOf": [], "disjointWith": [], "restrictions": [ { "source": "subClassOf", "onProperty": "cor:supersedesFramework", "quantifier": "someValuesFrom", "targetClass": "fa:ETP_HistoricalLineage" } ] }, { "id": "cor:CausalNonseparabilityIndependence", "iri": "urn:foundationsaudit:cor#CausalNonseparabilityIndependence", "localName": "CausalNonseparabilityIndependence", "namespace": "cor", "label": "Causal Nonseparability vs. Objectivity Independence Theorem", "comment": "Proves in the declared composite class that environmental objectivity (redundant records) and indefinite causal order (e.g., quantum switch) are logically independent properties.", "domainGroup": "Relational Records & HCOD", "claimStatus": "Exact result", "evidenceClass": "Analytic Theorem", "siteRoute": "/cor-theory/causality-topology", "sourceDocuments": [ "FA-QD-PRXQ-01" ], "formalExpression": "Objectivity =/=> CausalNonseparability ; CausalNonseparability =/=> Objectivity", "claimCeilingExclusion": "Analytical and computational result; does not claim laboratory spacetime superposition.", "subClassOf": [ "cor:Layer_1_EventsAndRecords" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:CompleteCarrier", "iri": "urn:foundationsaudit:cor#CompleteCarrier", "localName": "CompleteCarrier", "namespace": "cor", "label": "Complete Carrier (K3 Ledger)", "comment": "Full physical substrate ledger required by Kernel K3: intersection of Primary System with declared Environment Fragment, Control Line, and Work Battery.", "domainGroup": "Complete Carrier Schema", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/constitutional-kernel", "sourceDocuments": [ "FA-AUTH-01", "FA-SYN-01" ], "formalExpression": "C_complete === PrimarySystem & exists hasSubstrateComponent.(EnvironmentFragment & ControlLine & WorkBattery)", "claimCeilingExclusion": "Omitting any active carrier component downgrades an audited claim to an incomplete or restricted view.", "subClassOf": [], "disjointWith": [], "restrictions": [ { "source": "equivalentClass.intersectionOf", "onProperty": "owl:intersectionOf", "quantifier": "namedClass", "targetClass": "cor:PrimarySystem" }, { "source": "equivalentClass.intersectionOf", "onProperty": "cor:hasSubstrateComponent", "quantifier": "someValuesFrom", "targetClass": "cor:EnvironmentFragment" }, { "source": "equivalentClass.intersectionOf", "onProperty": "cor:hasSubstrateComponent", "quantifier": "someValuesFrom", "targetClass": "cor:ControlLine" }, { "source": "equivalentClass.intersectionOf", "onProperty": "cor:hasSubstrateComponent", "quantifier": "someValuesFrom", "targetClass": "cor:WorkBattery" } ] }, { "id": "cor:ControlLine", "iri": "urn:foundationsaudit:cor#ControlLine", "localName": "ControlLine", "namespace": "cor", "label": "Quantum/Classical Control Line (H_C)", "comment": "Ancilla or switch register governing channel selection, interaction topology, or superposed causal order.", "domainGroup": "Complete Carrier Schema", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/research/hcod", "sourceDocuments": [ "FA-HCOD-02", "FA-QD-PRXQ-01", "FA-QD-PS-01" ], "formalExpression": "H_C = span{|a>_C} (Control / Sector Register)", "claimCeilingExclusion": "Unresolved or traced-out control lines can induce false-positive sectorwise redundancy unless Gate 1 (Delta_rec = 0) holds.", "subClassOf": [ "cor:SubstrateComponent" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:Countermodel", "iri": "urn:foundationsaudit:cor#Countermodel", "localName": "Countermodel", "namespace": "cor", "label": "Certified Countermodel / No-Go Boundary", "comment": "Explicit mathematical model or finite-dimensional construction demonstrating hypothesis necessity, nonuniqueness, or breakdown of unconditioned claims.", "domainGroup": "Countermodels & Boundaries", "claimStatus": "Countermodel", "evidenceClass": "Finite-Dimensional Calculation", "siteRoute": "/research/countermodels", "sourceDocuments": [ "FA-AUTH-01", "FA-LRT-01", "FA-HCOD-02", "FA-CB-02" ], "formalExpression": "exists Model M : Hypotheses_reduced(M) & ~Conclusion(M)", "claimCeilingExclusion": "Countermodels are positive scientific achievements under K9 that prevent false theorems.", "subClassOf": [ "cor:CORTheoryStack" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:DependencyLayer", "iri": "urn:foundationsaudit:cor#DependencyLayer", "localName": "DependencyLayer", "namespace": "cor", "label": "COR Constructive Dependency Layer", "comment": "Stratified constructive layer within the COR Theory hierarchy ordered by transitive dependency (Layer 0 through Layer 4).", "domainGroup": "COR Layer Hierarchy", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/cor-theory/overview", "sourceDocuments": [ "FA-SYN-01" ], "formalExpression": "L_0 < L_1 < L_2 < L_3 < L_4 (Transitive Dependency)", "claimCeilingExclusion": "Upper layers depend transitively on lower layers but cannot retroactively validate lower-layer premises (K8).", "subClassOf": [ "cor:CORTheoryStack" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:DephasingClockCountermodel", "iri": "urn:foundationsaudit:cor#DephasingClockCountermodel", "localName": "DephasingClockCountermodel", "namespace": "cor", "label": "Dephasing Clock Adequacy Breakdown Countermodel", "comment": "Explicit nonunitary dephasing model where accessible Fisher information vanishes, proving that record growth or parameter evolution alone does not guarantee an adequate operational clock.", "domainGroup": "Countermodels & Boundaries", "claimStatus": "Countermodel", "evidenceClass": "Finite-Dimensional Calculation", "siteRoute": "/research/countermodels", "sourceDocuments": [ "FA-LRT-01" ], "formalExpression": "I_F^(acc)(t) -> 0 => Breakdown of Affine Clock Correspondence", "claimCeilingExclusion": "Refutes claims that any irreversible entropy or record increase automatically defines a valid clock.", "subClassOf": [ "cor:Countermodel" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:EnvironmentFragment", "iri": "urn:foundationsaudit:cor#EnvironmentFragment", "localName": "EnvironmentFragment", "namespace": "cor", "label": "Environment Fragment (H_E_k)", "comment": "Sub-partition of the surrounding environment sampled by independent observers to test redundant classical record broadcast.", "domainGroup": "Complete Carrier Schema", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/research/quantum-darwinism", "sourceDocuments": [ "FA-QD-ST-01", "FA-HCOD-02" ], "formalExpression": "H_E = (x)_{k=1}^N H_{E_k}, F subset {1..N}", "claimCeilingExclusion": "Environment partition structure is an admitted operational decomposition, not derived from pure spectrum alone.", "subClassOf": [ "cor:SubstrateComponent" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:FisherClockCorrespondenceTheorem", "iri": "urn:foundationsaudit:cor#FisherClockCorrespondenceTheorem", "localName": "FisherClockCorrespondenceTheorem", "namespace": "cor", "label": "Dynamical-Time / Fisher-Clock Correspondence Theorem", "comment": "Proves that operational duration agrees affinely with dynamical parameter T iff accessible Fisher information is positive and constant almost everywhere after calibration.", "domainGroup": "Temporal & Geometric Reconstruction", "claimStatus": "Exact result", "evidenceClass": "Analytic Theorem", "siteRoute": "/cor-theory/time", "sourceDocuments": [ "FA-LRT-01" ], "formalExpression": "tau_op(T) = a T + b <=> I_F^(acc)(T) = c > 0 a.e. (sqrt(I_F) integrable at endpoints)", "claimCeilingExclusion": "Clock adequacy is an operational correspondence theorem, not a derivation of fundamental metaphysical time.", "subClassOf": [ "cor:Layer_2_LocalRelationalTime", "cor:OperationalDiagnostic" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:Gate1_CommonRecordPreservation", "iri": "urn:foundationsaudit:cor#Gate1_CommonRecordPreservation", "localName": "Gate1_CommonRecordPreservation", "namespace": "cor", "label": "HCOD Gate 1: Common-Record Preservation", "comment": "Gate 1: Checks normalized commutator [H(a), Q_r x I_E] = 0 (Delta_rec = 0) across all active interaction channels a.", "domainGroup": "Relational Records & HCOD", "claimStatus": "Exact result", "evidenceClass": "Analytic Theorem", "siteRoute": "/research/hcod", "sourceDocuments": [ "FA-HCOD-02" ], "formalExpression": "Delta_rec(R; H) = max_a max_r ||[H(a), Q_r (x) I_E]|| / ||H(a)|| = 0", "claimCeilingExclusion": "If Delta_rec > 0, sectorwise Holevo plateaus are false positives because different sectors record incompatible bases.", "subClassOf": [ "cor:OperationalDiagnostic" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:Gate2_IntegratedFragmentInformation", "iri": "urn:foundationsaudit:cor#Gate2_IntegratedFragmentInformation", "localName": "Gate2_IntegratedFragmentInformation", "namespace": "cor", "label": "HCOD Gate 2: Integrated Fragment Information", "comment": "Gate 2: Verifies redundant Holevo fragment information for that exact common record across many disjoint environment subfractions.", "domainGroup": "Relational Records & HCOD", "claimStatus": "Exact result", "evidenceClass": "Analytic Theorem", "siteRoute": "/research/hcod", "sourceDocuments": [ "FA-HCOD-02" ], "formalExpression": "chi(R : E_F) >= (1 - delta) H(R) for all |F| >= f_delta N", "claimCeilingExclusion": "Gate 2 alone is insufficient under hidden control variation unless Gate 1 is simultaneously satisfied.", "subClassOf": [ "cor:OperationalDiagnostic" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:HCODDiagnostic", "iri": "urn:foundationsaudit:cor#HCODDiagnostic", "localName": "HCODDiagnostic", "namespace": "cor", "label": "HCOD (Hidden-Control Objectivity Diagnostic)", "comment": "Hidden-Control Objectivity Diagnostic evaluating channel-varying record compatibility via a mandatory two-gate certification architecture.", "domainGroup": "Relational Records & HCOD", "claimStatus": "Exact result", "evidenceClass": "Diagnostic Taxonomy", "siteRoute": "/research/hcod", "sourceDocuments": [ "FA-HCOD-02" ], "formalExpression": "HCOD_Pass <=> (Gate_1: Delta_rec = 0) & (Gate_2: I_Holevo >= (1 - delta)H(R))", "claimCeilingExclusion": "Detects false-positive sectorwise objectivity when control labels are inaccessible; does not derive intrinsic observer boundaries.", "subClassOf": [ "cor:OperationalDiagnostic" ], "disjointWith": [], "restrictions": [ { "source": "subClassOf", "onProperty": "fa:evaluatesGate1", "quantifier": "someValuesFrom", "targetClass": "cor:Gate1_CommonRecordPreservation" }, { "source": "subClassOf", "onProperty": "fa:evaluatesGate2", "quantifier": "someValuesFrom", "targetClass": "cor:Gate2_IntegratedFragmentInformation" } ] }, { "id": "cor:HiddenControlFalsePositiveModel", "iri": "urn:foundationsaudit:cor#HiddenControlFalsePositiveModel", "localName": "HiddenControlFalsePositiveModel", "namespace": "cor", "label": "Hidden-Control False-Positive Objectivity Countermodel", "comment": "Demonstrates a channel family where each individual control sector exhibits high Holevo redundancy in rotated bases (Gate 2 per sector), but Gate 1 fails (Delta_rec > 0), destroying common objective records when the control is inaccessible.", "domainGroup": "Countermodels & Boundaries", "claimStatus": "Countermodel", "evidenceClass": "Finite-Dimensional Calculation", "siteRoute": "/research/hcod", "sourceDocuments": [ "FA-HCOD-02" ], "formalExpression": "chi_a(R_a : E_F) high forall a, but Delta_rec > 0 => Consensus Failure", "claimCeilingExclusion": "Proves sectorwise redundancy cannot be averaged into consensus without common-pointer preservation.", "subClassOf": [ "cor:Countermodel" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:InteractionChannel", "iri": "urn:foundationsaudit:cor#InteractionChannel", "localName": "InteractionChannel", "namespace": "cor", "label": "Controlled Interaction Channel Family", "comment": "Indexed family of system-environment Hamiltonians H(a) or CPTP maps Phi_a acoplando pointer observables to environment fragments.", "domainGroup": "Relational Records & HCOD", "claimStatus": "Definition", "evidenceClass": "Analytic Theorem", "siteRoute": "/research/quantum-darwinism", "sourceDocuments": [ "FA-QD-ST-01", "FA-HCOD-02" ], "formalExpression": "H_tot = sum_a |a>= (1 - delta) H(R)", "claimCeilingExclusion": "Explains conditional broadcast of pointer records; does not derive wave-function collapse or the Born rule.", "subClassOf": [ "cor:DependencyLayer" ], "disjointWith": [], "restrictions": [ { "source": "subClassOf", "onProperty": "cor:dependsOnLayer", "quantifier": "someValuesFrom", "targetClass": "cor:Layer_0_BasementProvenance" } ] }, { "id": "cor:Layer_2_LocalRelationalTime", "iri": "urn:foundationsaudit:cor#Layer_2_LocalRelationalTime", "localName": "Layer_2_LocalRelationalTime", "namespace": "cor", "label": "Layer 2: Local Relational Time & Fisher Clocks", "comment": "Layer 2: Operational duration, Accessible Fisher Information, Fisher-clock correspondence, comparison transducers, and loop holonomy synchronization.", "domainGroup": "COR Layer Hierarchy", "claimStatus": "Exact result", "evidenceClass": "Analytic Theorem", "siteRoute": "/cor-theory/time", "sourceDocuments": [ "FA-LRT-01", "FA-SYN-01" ], "formalExpression": "Layer 2 : d_tau_op = sqrt(I_F^(acc)(theta)) d_theta ; Holonomy(gamma) = id", "claimCeilingExclusion": "Establishes conditional clock correspondence; does not derive metaphysical, cosmological, or universal absolute time.", "subClassOf": [ "cor:DependencyLayer" ], "disjointWith": [], "restrictions": [ { "source": "subClassOf", "onProperty": "cor:dependsOnLayer", "quantifier": "someValuesFrom", "targetClass": "cor:Layer_1_EventsAndRecords" } ] }, { "id": "cor:Layer_3_LocalRelationalGeometry", "iri": "urn:foundationsaudit:cor#Layer_3_LocalRelationalGeometry", "localName": "Layer_3_LocalRelationalGeometry", "namespace": "cor", "label": "Layer 3: Local Relational Geometry & Propagation Bounds", "comment": "Layer 3: Graph interaction topology, sector-family Lieb-Robinson propagation diagnostics (C_inf, C_1, C_bar), and recoverability metrics.", "domainGroup": "COR Layer Hierarchy", "claimStatus": "Restricted result", "evidenceClass": "Analytic Theorem", "siteRoute": "/cor-theory/causality-topology", "sourceDocuments": [ "FA-CB-02", "FA-LRG-01" ], "formalExpression": "Layer 3 : C_bar(x,t) <= C_1(x,t) <= C_inf(x,t)", "claimCeilingExclusion": "Lieb-Robinson velocity is a lattice-convention bound parameter, not a derived relativistic invariant speed of light c.", "subClassOf": [ "cor:DependencyLayer" ], "disjointWith": [], "restrictions": [ { "source": "subClassOf", "onProperty": "cor:dependsOnLayer", "quantifier": "someValuesFrom", "targetClass": "cor:Layer_2_LocalRelationalTime" } ] }, { "id": "cor:Layer_4_HigherSpacetime", "iri": "urn:foundationsaudit:cor#Layer_4_HigherSpacetime", "localName": "Layer_4_HigherSpacetime", "namespace": "cor", "label": "Layer 4: Higher Spacetime & Gravity (Provisionally Closed / Open)", "comment": "Layer 4: Provisional higher continuum geometry, Lorentzian signature emergence, and Einstein spacetime dynamics (currently closed at underdetermination ceiling and reopenable via 10 triggers).", "domainGroup": "COR Layer Hierarchy", "claimStatus": "Open question", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/cor-theory/geometry", "sourceDocuments": [ "FA-LRG-01", "FA-AUTH-01" ], "formalExpression": "Layer 4 : Status = UNRESOLVED_AND_REOPENABLE (Triggers 1..10)", "claimCeilingExclusion": "Does NOT establish an intrinsic Lorentzian metric, continuum manifold, Levi-Civita uniqueness without metric inputs, or emergent gravity.", "subClassOf": [ "cor:DependencyLayer" ], "disjointWith": [], "restrictions": [ { "source": "subClassOf", "onProperty": "cor:dependsOnLayer", "quantifier": "someValuesFrom", "targetClass": "cor:Layer_3_LocalRelationalGeometry" }, { "source": "subClassOf", "onProperty": "fa:reopenedByTrigger", "quantifier": "someValuesFrom", "targetClass": "fa:ReopeningTrigger" } ] }, { "id": "cor:LiebRobinsonSectorDiagnostics", "iri": "urn:foundationsaudit:cor#LiebRobinsonSectorDiagnostics", "localName": "LiebRobinsonSectorDiagnostics", "namespace": "cor", "label": "Sector-Family Lieb-Robinson Propagation Diagnostics (C_inf, C_1, C_bar)", "comment": "Separates uniform essential-supremum commutator norm (C_inf), sector-weighted norm (C_1), and averaged commutator norm (C_bar) in topology-controlled lattice dynamics.", "domainGroup": "Temporal & Geometric Reconstruction", "claimStatus": "Restricted result", "evidenceClass": "Analytic Theorem", "siteRoute": "/cor-theory/causality-topology", "sourceDocuments": [ "FA-CB-02" ], "formalExpression": "C_bar(x,t) <= C_1(x,t) <= C_inf(x,t) ; Piecewise Uniform Sector Envelope", "claimCeilingExclusion": "Graph propagation bounds are convention-dependent lattice diagnostics, not relativistic Lorentzian light cones.", "subClassOf": [ "cor:Layer_3_LocalRelationalGeometry", "cor:OperationalDiagnostic" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:LoopHolonomySynchronization", "iri": "urn:foundationsaudit:cor#LoopHolonomySynchronization", "localName": "LoopHolonomySynchronization", "namespace": "cor", "label": "Loop Holonomy Clock Synchronization Theorem", "comment": "Establishes that a connected network of local clocks linked by comparison transducers admits a global time calibration iff every closed comparison loop has identity holonomy.", "domainGroup": "Temporal & Geometric Reconstruction", "claimStatus": "Exact result", "evidenceClass": "Analytic Theorem", "siteRoute": "/cor-theory/time", "sourceDocuments": [ "FA-LRT-01" ], "formalExpression": "GlobalCalibration(G) <=> forall cycle gamma in pi_1(G), Hol(gamma) = id", "claimCeilingExclusion": "Separates local clock duration from global synchronization; does not assert a universal cosmic time coordinate.", "subClassOf": [ "cor:Layer_2_LocalRelationalTime", "cor:OperationalDiagnostic" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:LowerFrontSectorObstruction", "iri": "urn:foundationsaudit:cor#LowerFrontSectorObstruction", "localName": "LowerFrontSectorObstruction", "namespace": "cor", "label": "Lower-Front Sector Obstruction Countermodel", "comment": "Proves that when active control sectors have essentially unbounded propagation velocities, no single uniform exponential Lieb-Robinson envelope can bound C_inf.", "domainGroup": "Countermodels & Boundaries", "claimStatus": "Countermodel", "evidenceClass": "Analytic Theorem", "siteRoute": "/research/countermodels", "sourceDocuments": [ "FA-CB-02" ], "formalExpression": "ess sup_a v(a) = infinity => No Uniform Exponential Envelope for C_inf", "claimCeilingExclusion": "Demonstrates why C_bar (averaged) cannot substitute for C_inf (uniform) in superposed topologies.", "subClassOf": [ "cor:Countermodel" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:OperationalDiagnostic", "iri": "urn:foundationsaudit:cor#OperationalDiagnostic", "localName": "OperationalDiagnostic", "namespace": "cor", "label": "Operational Diagnostic Protocol", "comment": "Quantitative mathematical and computational diagnostic evaluated by the Foundations Audit Engine to certify or refute operational claims.", "domainGroup": "Relational Records & HCOD", "claimStatus": "Definition", "evidenceClass": "Diagnostic Taxonomy", "siteRoute": "/research", "sourceDocuments": [ "FA-HCOD-02", "FA-CB-02", "FA-LRT-01" ], "formalExpression": "Diagnostic D : ModelPackage |-> {Pass, Fail, RestrictedCeiling}", "claimCeilingExclusion": "Passing an operational diagnostic certifies scoped compatibility, not metaphysical necessity.", "subClassOf": [ "cor:CORTheoryStack" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:PhysicalBridge", "iri": "urn:foundationsaudit:cor#PhysicalBridge", "localName": "PhysicalBridge", "namespace": "cor", "label": "Admitted Physical Bridge (J_phys)", "comment": "Explicitly declared operational mapping connecting formal mathematical terms in a reduct to admitted physical instruments, readouts, and state carriers.", "domainGroup": "Complete Carrier Schema", "claimStatus": "Admission", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/cor-theory/core-concepts", "sourceDocuments": [ "FA-SYN-01", "FA-LRT-01" ], "formalExpression": "J_phys : L_0_Syntax --> AdmittedPhysicalOperations", "claimCeilingExclusion": "A bridge is an admitted operational stipulation (K1/K3), never an automatic consequence of pure mathematics.", "subClassOf": [ "cor:CORTheoryStack" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:PhysicalClaim", "iri": "urn:foundationsaudit:cor#PhysicalClaim", "localName": "PhysicalClaim", "namespace": "cor", "label": "Typed Physical Claim", "comment": "A typed scientific proposition within the COR physics framework subject to target indexing, complete carrier declaration, and claim-ceiling audit.", "domainGroup": "Audit Engine & Provenance", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit", "sourceDocuments": [ "FA-AUTH-01", "FA-SYN-01" ], "formalExpression": "Proposition P : (Target_k, C_complete, W_access, StatusCeiling)", "claimCeilingExclusion": "Unconditioned or untyped assertions fail intake verification under K2 and K3.", "subClassOf": [], "disjointWith": [], "restrictions": [] }, { "id": "cor:PointerRecordAlgebra", "iri": "urn:foundationsaudit:cor#PointerRecordAlgebra", "localName": "PointerRecordAlgebra", "namespace": "cor", "label": "Pointer Record Algebra (R = {Q_r})", "comment": "Orthogonal projector decomposition on the primary system representing candidate stable classical records.", "domainGroup": "Relational Records & HCOD", "claimStatus": "Definition", "evidenceClass": "Analytic Theorem", "siteRoute": "/research/quantum-darwinism", "sourceDocuments": [ "FA-QD-ST-01", "FA-HCOD-02" ], "formalExpression": "R = {Q_r}_{r=1}^d, Q_r Q_{r'} = delta_{rr'} Q_r, sum_r Q_r = I_S", "claimCeilingExclusion": "Requires common preservation across all active interaction channels to support observer-independent consensus.", "subClassOf": [ "cor:Layer_1_EventsAndRecords" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:PostselectionInformationBudget", "iri": "urn:foundationsaudit:cor#PostselectionInformationBudget", "localName": "PostselectionInformationBudget", "namespace": "cor", "label": "Postselection Information Budget Theorem", "comment": "Finite-dimensional theorem proving that average postselection Holevo gain over a control readout Y is bounded by the conditional mutual information I(Lambda : T | F).", "domainGroup": "Relational Records & HCOD", "claimStatus": "Exact result", "evidenceClass": "Analytic Theorem", "siteRoute": "/research/postselection", "sourceDocuments": [ "FA-QD-PS-01" ], "formalExpression": "sum_y p_y (chi_y - chi) = I(Lambda:Y|F) - I(Lambda:Y) <= I(Lambda:T|F)", "claimCeilingExclusion": "Postselection redistributes existing correlation budget; it cannot manufacture free objective information.", "subClassOf": [ "cor:Layer_1_EventsAndRecords" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:PrimarySystem", "iri": "urn:foundationsaudit:cor#PrimarySystem", "localName": "PrimarySystem", "namespace": "cor", "label": "Primary System (H_S)", "comment": "The target physical system carrying the candidate pointer observable or clock parameter under investigation.", "domainGroup": "Complete Carrier Schema", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/cor-theory/core-concepts", "sourceDocuments": [ "FA-SYN-01" ], "formalExpression": "H_S (System Hilbert Space / State Space)", "claimCeilingExclusion": "Cannot be treated as isolated when environmental broadcast or control conditioning is invoked.", "subClassOf": [ "cor:SubstrateComponent" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:QuantumDarwinismSurvivalTheorem", "iri": "urn:foundationsaudit:cor#QuantumDarwinismSurvivalTheorem", "localName": "QuantumDarwinismSurvivalTheorem", "namespace": "cor", "label": "Quantum Darwinism Channelwise Survival Theorem", "comment": "Proves that when a common pointer algebra commutes with every active channel in a controlled family and conditional fragment states are distinguishable, redundant Holevo records survive control tracing.", "domainGroup": "Relational Records & HCOD", "claimStatus": "Exact result", "evidenceClass": "Analytic Theorem", "siteRoute": "/research/quantum-darwinism", "sourceDocuments": [ "FA-QD-ST-01" ], "formalExpression": "[H(a), Q_r (x) I_E] = 0 (forall a,r) => Survival of Redundant Broadcast", "claimCeilingExclusion": "Certifies record broadcast stability; does not derive single-outcome collapse or the Born rule.", "subClassOf": [ "cor:Layer_1_EventsAndRecords" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:RelationalStateAssignment", "iri": "urn:foundationsaudit:cor#RelationalStateAssignment", "localName": "RelationalStateAssignment", "namespace": "cor", "label": "Relational State Assignment", "comment": "Non-ontic conditional mathematical state assignment tracking operational access statistics relative to declared carrier and witness restrictions.", "domainGroup": "Relational Records & HCOD", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/cor-theory/core-concepts", "sourceDocuments": [ "FA-SYN-01" ], "formalExpression": "rho_{S|W,C} : Conditional Operational State Catalog", "claimCeilingExclusion": "State assignments represent conditional operational expectations, not reified ontic matter waves.", "subClassOf": [ "cor:Layer_1_EventsAndRecords" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:SubstrateComponent", "iri": "urn:foundationsaudit:cor#SubstrateComponent", "localName": "SubstrateComponent", "namespace": "cor", "label": "Physical Substrate Component", "comment": "A declared physical subsystem, bath, control register, or energy reservoir within the Complete Carrier ledger.", "domainGroup": "Complete Carrier Schema", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/cor-theory/core-concepts", "sourceDocuments": [ "FA-AUTH-01", "FA-SYN-01" ], "formalExpression": "H_component subseteq C_complete", "claimCeilingExclusion": "No component may be silently traced out while retaining claims that depend on its coherence or work supply.", "subClassOf": [ "cor:CORTheoryStack" ], "disjointWith": [], "restrictions": [] }, { "id": "cor:ValidPhysicalClaim", "iri": "urn:foundationsaudit:cor#ValidPhysicalClaim", "localName": "ValidPhysicalClaim", "namespace": "cor", "label": "Valid Audited Physical Claim", "comment": "Non-Null Provenance Axiom: A valid physical claim within the Foundations Audit & COR Theory architecture MUST be a PhysicalClaim that enforces a declared TargetDomain (K2) and requires a CompleteCarrier (K3).", "domainGroup": "Audit Engine & Provenance", "claimStatus": "Exact result", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/foundations-audit/audit-engine", "sourceDocuments": [ "FA-AUTH-01", "FA-SYN-01" ], "formalExpression": "ValidPhysicalClaim === PhysicalClaim & exists enforcesTargetDomain.TargetDomain & exists requiresCompleteCarrier.CompleteCarrier", "claimCeilingExclusion": "Any proposition lacking either a typed TargetDomain or a CompleteCarrier fails constitutional intake.", "subClassOf": [], "disjointWith": [], "restrictions": [ { "source": "equivalentClass.intersectionOf", "onProperty": "owl:intersectionOf", "quantifier": "namedClass", "targetClass": "cor:PhysicalClaim" }, { "source": "equivalentClass.intersectionOf", "onProperty": "fa:enforcesTargetDomain", "quantifier": "someValuesFrom", "targetClass": "fa:TargetDomain" }, { "source": "equivalentClass.intersectionOf", "onProperty": "cor:requiresCompleteCarrier", "quantifier": "someValuesFrom", "targetClass": "cor:CompleteCarrier" } ] }, { "id": "cor:WorkBattery", "iri": "urn:foundationsaudit:cor#WorkBattery", "localName": "WorkBattery", "namespace": "cor", "label": "Thermodynamic Work Battery & Reference (H_B)", "comment": "Explicit energy reservoir, phase reference, and refresh resource required for clock calibration, memory stabilization, and transducer readout.", "domainGroup": "Complete Carrier Schema", "claimStatus": "Definition", "evidenceClass": "Constitutional / Protocol", "siteRoute": "/cor-theory/records-memory-agency", "sourceDocuments": [ "FA-LRT-01", "OIRP_LEDGER" ], "formalExpression": "H_B (Resource & Calibration Ledger)", "claimCeilingExclusion": "Prevents perpetual-motion or zero-cost memory refresh assumptions in autonomous clock and memory models.", "subClassOf": [ "cor:SubstrateComponent" ], "disjointWith": [], "restrictions": [] } ], "objectProperties": [ { "id": "fa:auditsClaim", "iri": "urn:foundationsaudit:fa#auditsClaim", "localName": "auditsClaim", "namespace": "fa", "label": "audits claim", "comment": "Connects the Foundations Audit Engine to a typed proposition in the COR physics stack for carrier, witness, and nondefinability verification.", "domain": "fa:FoundationsAuditEngine", "range": "cor:PhysicalClaim", "isTransitive": false, "siteRoute": "/foundations-audit/audit-engine" }, { "id": "fa:boundedByCountermodel", "iri": "urn:foundationsaudit:fa#boundedByCountermodel", "localName": "boundedByCountermodel", "namespace": "fa", "label": "bounded by countermodel", "comment": "Identifies explicit mathematical or computational counterexamples that prove the necessity of a theorem's hypotheses and mark its no-go boundary.", "domain": "cor:PhysicalClaim", "range": "cor:Countermodel", "isTransitive": false, "siteRoute": "/research/countermodels" }, { "id": "fa:enforcesTargetDomain", "iri": "urn:foundationsaudit:fa#enforcesTargetDomain", "localName": "enforcesTargetDomain", "namespace": "fa", "label": "enforces target domain", "comment": "Requires every physical claim to explicitly declare which of the three mutually disjoint epistemological targets (Target I, II, or III) it addresses.", "domain": "cor:PhysicalClaim", "range": "fa:TargetDomain", "isTransitive": false, "siteRoute": "/foundations-audit/truth-first-method" }, { "id": "fa:evaluatesDiagnosticGate", "iri": "urn:foundationsaudit:fa#evaluatesDiagnosticGate", "localName": "evaluatesDiagnosticGate", "namespace": "fa", "label": "evaluates diagnostic gate", "comment": "Links the Audit Engine to quantitative operational diagnostics such as HCOD, Fisher clock adequacy, and Lieb-Robinson sector envelopes.", "domain": "fa:FoundationsAuditEngine", "range": "cor:OperationalDiagnostic", "isTransitive": false, "siteRoute": "/research/hcod" }, { "id": "fa:evaluatesGate1", "iri": "urn:foundationsaudit:fa#evaluatesGate1", "localName": "evaluatesGate1", "namespace": "fa", "label": "evaluates Gate 1 (Common Record Preservation)", "comment": "First certification gate of the HCOD protocol verifying zero common-record commutator misalignment across all active channels.", "domain": "cor:HCODDiagnostic", "range": "cor:Gate1_CommonRecordPreservation", "isTransitive": false, "siteRoute": "/research/hcod" }, { "id": "fa:evaluatesGate2", "iri": "urn:foundationsaudit:fa#evaluatesGate2", "localName": "evaluatesGate2", "namespace": "fa", "label": "evaluates Gate 2 (Integrated Fragment Information)", "comment": "Second certification gate of the HCOD protocol verifying Holevo information redundancy across disjoint environment fragments.", "domain": "cor:HCODDiagnostic", "range": "cor:Gate2_IntegratedFragmentInformation", "isTransitive": false, "siteRoute": "/research/hcod" }, { "id": "fa:governedByKernelRule", "iri": "urn:foundationsaudit:fa#governedByKernelRule", "localName": "governedByKernelRule", "namespace": "fa", "label": "governed by Constitutional Kernel rule", "comment": "Subjects every physical claim and audit decision to the nine theory-neutral governance rules (K1–K9).", "domain": "cor:PhysicalClaim", "range": "fa:ConstitutionalKernel", "isTransitive": false, "siteRoute": "/foundations-audit/constitutional-kernel" }, { "id": "fa:reopenedByTrigger", "iri": "urn:foundationsaudit:fa#reopenedByTrigger", "localName": "reopenedByTrigger", "namespace": "fa", "label": "reopened by constitutional trigger", "comment": "Specifies the mandatory empirical or formal conditions required to reopen provisionally closed higher-geometry and gravity claims.", "domain": "cor:Layer_4_HigherSpacetime", "range": "fa:ReopeningTrigger", "isTransitive": false, "siteRoute": "/cor-theory/limits" }, { "id": "cor:dependsOnLayer", "iri": "urn:foundationsaudit:cor#dependsOnLayer", "localName": "dependsOnLayer", "namespace": "cor", "label": "depends on layer", "comment": "Transitive constructive dependency ordering across the 5-layer COR Theory hierarchy (Layer 4 -> Layer 3 -> Layer 2 -> Layer 1 -> Layer 0).", "domain": "cor:DependencyLayer", "range": "cor:DependencyLayer", "isTransitive": true, "siteRoute": "/cor-theory/overview" }, { "id": "cor:hasSubstrateComponent", "iri": "urn:foundationsaudit:cor#hasSubstrateComponent", "localName": "hasSubstrateComponent", "namespace": "cor", "label": "has substrate component", "comment": "Associates a Complete Carrier declaration with its retained and discarded physical degrees of freedom, ancillas, controls, and batteries.", "domain": "cor:CompleteCarrier", "range": "cor:SubstrateComponent", "isTransitive": false, "siteRoute": "/cor-theory/core-concepts" }, { "id": "cor:preservesPointerAlgebra", "iri": "urn:foundationsaudit:cor#preservesPointerAlgebra", "localName": "preservesPointerAlgebra", "namespace": "cor", "label": "preserves pointer algebra", "comment": "Specifies that an interaction channel or channel family commutes with and preserves the orthogonal pointer projectors of a candidate record algebra.", "domain": "cor:InteractionChannel", "range": "cor:PointerRecordAlgebra", "isTransitive": false, "siteRoute": "/research/quantum-darwinism" }, { "id": "cor:requiresCompleteCarrier", "iri": "urn:foundationsaudit:cor#requiresCompleteCarrier", "localName": "requiresCompleteCarrier", "namespace": "cor", "label": "requires complete carrier", "comment": "Mandates under Kernel K3 that any physical proposition declare its full substrate ledger (primary system, environment fragment, control line, and work battery).", "domain": "cor:PhysicalClaim", "range": "cor:CompleteCarrier", "isTransitive": false, "siteRoute": "/foundations-audit/constitutional-kernel" }, { "id": "cor:requiresPhysicalBridge", "iri": "urn:foundationsaudit:cor#requiresPhysicalBridge", "localName": "requiresPhysicalBridge", "namespace": "cor", "label": "requires physical bridge", "comment": "Connects a formal mathematical reduct to physical instantiation via an explicitly admitted operational bridge J_phys.", "domain": "cor:PhysicalClaim", "range": "cor:PhysicalBridge", "isTransitive": false, "siteRoute": "/cor-theory/core-concepts" }, { "id": "cor:supersedesFramework", "iri": "urn:foundationsaudit:cor#supersedesFramework", "localName": "supersedesFramework", "namespace": "cor", "label": "universally supersedes framework", "comment": "Formalizes ADR-11: COR Theory universally replaces Emergent Timeless Potentiality (ETP) as the controlling theory stack while preserving ETP for provenance.", "domain": "cor:CORTheoryStack", "range": "fa:ETP_HistoricalLineage", "isTransitive": false, "siteRoute": "/cor-theory/evolution" } ], "annotationProperties": [ { "id": "fa:claimCeilingExclusion", "iri": "urn:foundationsaudit:fa#claimCeilingExclusion", "localName": "claimCeilingExclusion", "label": "Claim Ceiling Exclusion (What Is NOT Claimed)", "comment": "Explicit nonretroactive boundary preventing ontological overreach or concept smuggling." }, { "id": "fa:claimStatus", "iri": "urn:foundationsaudit:fa#claimStatus", "localName": "claimStatus", "label": "Claim Status Tier", "comment": "Standardized 10-tier Foundations Audit status ceiling assigned to an ontological entity." }, { "id": "fa:domainGroup", "iri": "urn:foundationsaudit:fa#domainGroup", "localName": "domainGroup", "label": "Ontological Module Group", "comment": "Thematic cluster within the dual Foundations Audit / COR Theory architecture." }, { "id": "fa:evidenceClass", "iri": "urn:foundationsaudit:fa#evidenceClass", "localName": "evidenceClass", "label": "Evidence Class", "comment": "Epistemological evidence category supporting the entity (e.g., Constitutional / Protocol, Analytic Theorem, Model-Theoretic Boundary)." }, { "id": "fa:formalExpression", "iri": "urn:foundationsaudit:fa#formalExpression", "localName": "formalExpression", "label": "Formal Mathematical / Logical Expression", "comment": "Canonical symbolic formula, commutator condition, or algebraic law associated with the entity." }, { "id": "fa:siteRoute", "iri": "urn:foundationsaudit:fa#siteRoute", "localName": "siteRoute", "label": "Canonical Site Route", "comment": "Authoritative URL path on FoundationsAudit.org where this ontological concept is documented and audited." }, { "id": "fa:sourceDocument", "iri": "urn:foundationsaudit:fa#sourceDocument", "localName": "sourceDocument", "label": "Controlling Source Document", "comment": "Verified corpus artifact ID(s) establishing the authority of this class or property." } ], "edges": [ { "source": "fa:ETP_HistoricalLineage", "target": "fa:ProgramLineage", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:NonNullProvenancePrinciple", "target": "fa:BasementProvenanceProtocol", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:OIRP_ResearchLedger", "target": "fa:ProgramLineage", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:PEN_NondefinabilityTheorem", "target": "fa:BasementProvenanceProtocol", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Rule_K1_AdmittedActuality", "target": "fa:ConstitutionalKernel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Rule_K2_TypedScope", "target": "fa:ConstitutionalKernel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Rule_K3_CompleteCarrierDeclaration", "target": "fa:ConstitutionalKernel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Rule_K4_WitnessAndAccess", "target": "fa:ConstitutionalKernel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Rule_K5_EquivalenceBeforeIdentity", "target": "fa:ConstitutionalKernel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Rule_K6_TransformationsCompositionAndHistory", "target": "fa:ConstitutionalKernel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Rule_K7_CriteriaAndUncertainty", "target": "fa:ConstitutionalKernel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Rule_K8_NonretroactivityFirewall", "target": "fa:ConstitutionalKernel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Rule_K9_PluralAndNullAdmissibility", "target": "fa:ConstitutionalKernel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Target_III_OperationalReconstruction", "target": "fa:TargetDomain", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Target_III_OperationalReconstruction", "target": "fa:Target_II_DefiniteEventGeneration", "predicate": "owl:disjointWith", "kind": "disjointWith", "label": "disjointWith" }, { "source": "fa:Target_III_OperationalReconstruction", "target": "fa:Target_I_BasementInstantiation", "predicate": "owl:disjointWith", "kind": "disjointWith", "label": "disjointWith" }, { "source": "fa:Target_II_DefiniteEventGeneration", "target": "fa:TargetDomain", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:Target_II_DefiniteEventGeneration", "target": "fa:Target_I_BasementInstantiation", "predicate": "owl:disjointWith", "kind": "disjointWith", "label": "disjointWith" }, { "source": "fa:Target_I_BasementInstantiation", "target": "fa:TargetDomain", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:TypedNullityProtocol", "target": "fa:BasementProvenanceProtocol", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:CORTheoryStack", "target": "fa:ETP_HistoricalLineage", "predicate": "cor:supersedesFramework", "kind": "restriction", "label": "cor:supersedesFramework (someValuesFrom)" }, { "source": "cor:CausalNonseparabilityIndependence", "target": "cor:Layer_1_EventsAndRecords", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:CompleteCarrier", "target": "cor:PrimarySystem", "predicate": "owl:intersectionOf", "kind": "restriction", "label": "owl:intersectionOf (namedClass)" }, { "source": "cor:CompleteCarrier", "target": "cor:EnvironmentFragment", "predicate": "cor:hasSubstrateComponent", "kind": "restriction", "label": "cor:hasSubstrateComponent (someValuesFrom)" }, { "source": "cor:CompleteCarrier", "target": "cor:ControlLine", "predicate": "cor:hasSubstrateComponent", "kind": "restriction", "label": "cor:hasSubstrateComponent (someValuesFrom)" }, { "source": "cor:CompleteCarrier", "target": "cor:WorkBattery", "predicate": "cor:hasSubstrateComponent", "kind": "restriction", "label": "cor:hasSubstrateComponent (someValuesFrom)" }, { "source": "cor:ControlLine", "target": "cor:SubstrateComponent", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:Countermodel", "target": "cor:CORTheoryStack", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:DependencyLayer", "target": "cor:CORTheoryStack", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:DephasingClockCountermodel", "target": "cor:Countermodel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:EnvironmentFragment", "target": "cor:SubstrateComponent", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:FisherClockCorrespondenceTheorem", "target": "cor:Layer_2_LocalRelationalTime", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:FisherClockCorrespondenceTheorem", "target": "cor:OperationalDiagnostic", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:Gate1_CommonRecordPreservation", "target": "cor:OperationalDiagnostic", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:Gate2_IntegratedFragmentInformation", "target": "cor:OperationalDiagnostic", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:HCODDiagnostic", "target": "cor:OperationalDiagnostic", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:HCODDiagnostic", "target": "cor:Gate1_CommonRecordPreservation", "predicate": "fa:evaluatesGate1", "kind": "restriction", "label": "fa:evaluatesGate1 (someValuesFrom)" }, { "source": "cor:HCODDiagnostic", "target": "cor:Gate2_IntegratedFragmentInformation", "predicate": "fa:evaluatesGate2", "kind": "restriction", "label": "fa:evaluatesGate2 (someValuesFrom)" }, { "source": "cor:HiddenControlFalsePositiveModel", "target": "cor:Countermodel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:InteractionChannel", "target": "cor:Layer_1_EventsAndRecords", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:Layer_0_BasementProvenance", "target": "cor:DependencyLayer", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:Layer_1_EventsAndRecords", "target": "cor:DependencyLayer", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:Layer_1_EventsAndRecords", "target": "cor:Layer_0_BasementProvenance", "predicate": "cor:dependsOnLayer", "kind": "restriction", "label": "cor:dependsOnLayer (someValuesFrom)" }, { "source": "cor:Layer_2_LocalRelationalTime", "target": "cor:DependencyLayer", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:Layer_2_LocalRelationalTime", "target": "cor:Layer_1_EventsAndRecords", "predicate": "cor:dependsOnLayer", "kind": "restriction", "label": "cor:dependsOnLayer (someValuesFrom)" }, { "source": "cor:Layer_3_LocalRelationalGeometry", "target": "cor:DependencyLayer", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:Layer_3_LocalRelationalGeometry", "target": "cor:Layer_2_LocalRelationalTime", "predicate": "cor:dependsOnLayer", "kind": "restriction", "label": "cor:dependsOnLayer (someValuesFrom)" }, { "source": "cor:Layer_4_HigherSpacetime", "target": "cor:DependencyLayer", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:Layer_4_HigherSpacetime", "target": "cor:Layer_3_LocalRelationalGeometry", "predicate": "cor:dependsOnLayer", "kind": "restriction", "label": "cor:dependsOnLayer (someValuesFrom)" }, { "source": "cor:Layer_4_HigherSpacetime", "target": "fa:ReopeningTrigger", "predicate": "fa:reopenedByTrigger", "kind": "restriction", "label": "fa:reopenedByTrigger (someValuesFrom)" }, { "source": "cor:LiebRobinsonSectorDiagnostics", "target": "cor:Layer_3_LocalRelationalGeometry", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:LiebRobinsonSectorDiagnostics", "target": "cor:OperationalDiagnostic", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:LoopHolonomySynchronization", "target": "cor:Layer_2_LocalRelationalTime", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:LoopHolonomySynchronization", "target": "cor:OperationalDiagnostic", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:LowerFrontSectorObstruction", "target": "cor:Countermodel", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:OperationalDiagnostic", "target": "cor:CORTheoryStack", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:PhysicalBridge", "target": "cor:CORTheoryStack", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:PointerRecordAlgebra", "target": "cor:Layer_1_EventsAndRecords", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:PostselectionInformationBudget", "target": "cor:Layer_1_EventsAndRecords", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:PrimarySystem", "target": "cor:SubstrateComponent", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:QuantumDarwinismSurvivalTheorem", "target": "cor:Layer_1_EventsAndRecords", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:RelationalStateAssignment", "target": "cor:Layer_1_EventsAndRecords", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:SubstrateComponent", "target": "cor:CORTheoryStack", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "cor:ValidPhysicalClaim", "target": "cor:PhysicalClaim", "predicate": "owl:intersectionOf", "kind": "restriction", "label": "owl:intersectionOf (namedClass)" }, { "source": "cor:ValidPhysicalClaim", "target": "fa:TargetDomain", "predicate": "fa:enforcesTargetDomain", "kind": "restriction", "label": "fa:enforcesTargetDomain (someValuesFrom)" }, { "source": "cor:ValidPhysicalClaim", "target": "cor:CompleteCarrier", "predicate": "cor:requiresCompleteCarrier", "kind": "restriction", "label": "cor:requiresCompleteCarrier (someValuesFrom)" }, { "source": "cor:WorkBattery", "target": "cor:SubstrateComponent", "predicate": "rdfs:subClassOf", "kind": "subClassOf", "label": "subClassOf" }, { "source": "fa:FoundationsAuditEngine", "target": "cor:PhysicalClaim", "predicate": "fa:auditsClaim", "kind": "objectProperty", "label": "audits claim" }, { "source": "cor:PhysicalClaim", "target": "cor:Countermodel", "predicate": "fa:boundedByCountermodel", "kind": "objectProperty", "label": "bounded by countermodel" }, { "source": "cor:PhysicalClaim", "target": "fa:TargetDomain", "predicate": "fa:enforcesTargetDomain", "kind": "objectProperty", "label": "enforces target domain" }, { "source": "fa:FoundationsAuditEngine", "target": "cor:OperationalDiagnostic", "predicate": "fa:evaluatesDiagnosticGate", "kind": "objectProperty", "label": "evaluates diagnostic gate" }, { "source": "cor:HCODDiagnostic", "target": "cor:Gate1_CommonRecordPreservation", "predicate": "fa:evaluatesGate1", "kind": "objectProperty", "label": "evaluates Gate 1 (Common Record Preservation)" }, { "source": "cor:HCODDiagnostic", "target": "cor:Gate2_IntegratedFragmentInformation", "predicate": "fa:evaluatesGate2", "kind": "objectProperty", "label": "evaluates Gate 2 (Integrated Fragment Information)" }, { "source": "cor:PhysicalClaim", "target": "fa:ConstitutionalKernel", "predicate": "fa:governedByKernelRule", "kind": "objectProperty", "label": "governed by Constitutional Kernel rule" }, { "source": "cor:Layer_4_HigherSpacetime", "target": "fa:ReopeningTrigger", "predicate": "fa:reopenedByTrigger", "kind": "objectProperty", "label": "reopened by constitutional trigger" }, { "source": "cor:DependencyLayer", "target": "cor:DependencyLayer", "predicate": "cor:dependsOnLayer", "kind": "objectProperty", "label": "depends on layer" }, { "source": "cor:CompleteCarrier", "target": "cor:SubstrateComponent", "predicate": "cor:hasSubstrateComponent", "kind": "objectProperty", "label": "has substrate component" }, { "source": "cor:InteractionChannel", "target": "cor:PointerRecordAlgebra", "predicate": "cor:preservesPointerAlgebra", "kind": "objectProperty", "label": "preserves pointer algebra" }, { "source": "cor:PhysicalClaim", "target": "cor:CompleteCarrier", "predicate": "cor:requiresCompleteCarrier", "kind": "objectProperty", "label": "requires complete carrier" }, { "source": "cor:PhysicalClaim", "target": "cor:PhysicalBridge", "predicate": "cor:requiresPhysicalBridge", "kind": "objectProperty", "label": "requires physical bridge" }, { "source": "cor:CORTheoryStack", "target": "fa:ETP_HistoricalLineage", "predicate": "cor:supersedesFramework", "kind": "objectProperty", "label": "universally supersedes framework" } ] }