{ "schema_version": "2.0.0", "nodes": [ { "id": "VAC-01", "title": "Absolute vacuum offset is scheme dependent", "status": "standard_input", "status_label": "Standard input", "status_class": "standard", "sector": "foundations", "type": "standard_input", "display_order": 1 }, { "id": "VAC-02", "title": "Compact S⁴ sharpens the vacuum ambiguity", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "foundations", "type": "identity", "display_order": 2 }, { "id": "VAC-03", "title": "Physical differences survive the quotient", "status": "standard_input", "status_label": "Standard input", "status_class": "standard", "sector": "foundations", "type": "standard_input", "display_order": 3 }, { "id": "EXT-01", "title": "Euler extraction theorem on conformally flat S⁴", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "matter", "type": "theorem", "display_order": 4 }, { "id": "EXT-02", "title": "Euler projector isolates the protected coordinate", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "matter", "type": "identity", "display_order": 5 }, { "id": "EXT-03", "title": "Standalone Type-A theorem across two de Sitter realisations", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "matter", "type": "theorem", "display_order": 6 }, { "id": "SM-01", "title": "Minimal Standard Model Euler coefficient", "status": "computed", "status_label": "Computed", "status_class": "derived", "sector": "matter", "type": "computed_value", "display_order": 7 }, { "id": "IR-01", "title": "Direct Planck-scale mechanisms tested do not supply the linear IR factor", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "matter", "type": "no_go", "display_order": 8 }, { "id": "TOP-01", "title": "Normalized Euler-Chern unit on S⁴", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "geometry", "type": "identity", "display_order": 9 }, { "id": "TOP-02", "title": "Degree-one equatorial clutching map", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "geometry", "type": "identity", "display_order": 10 }, { "id": "TOP-03", "title": "Explicit degree-one spin-holonomy representative", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "geometry", "type": "identity", "display_order": 11 }, { "id": "QCD-01", "title": "QCD supplies a physical infrared mass scale", "status": "standard_input", "status_label": "Standard input", "status_class": "standard", "sector": "qcd", "type": "standard_input", "display_order": 12 }, { "id": "QCD-03", "title": "QCD state-preparation class identification", "status": "structural_premise", "status_label": "Structural premise", "status_class": "premise", "sector": "qcd", "type": "structural_premise", "display_order": 13 }, { "id": "QCD-04", "title": "Prepared B=1 QCD+QED sector has proton spectral floor", "status": "derived_given_premise", "status_label": "Derived given premise", "status_class": "conditional", "sector": "qcd", "type": "conditional_result", "display_order": 14 }, { "id": "TRC-01", "title": "Hamiltonian trace-source normalization", "status": "defined_source_normalization", "status_label": "Defined source normalization", "status_class": "defined", "sector": "qcd", "type": "defined_observable", "display_order": 15 }, { "id": "QCD-05", "title": "Proton Weyl-slope theorem", "status": "derived_given_premise", "status_label": "Derived given premise", "status_class": "conditional", "sector": "qcd", "type": "theorem", "display_order": 16 }, { "id": "UNIT-01", "title": "Planck-unit normalization covariance", "status": "normalization_covariance", "status_label": "Normalization covariance", "status_class": "derived", "sector": "qcd", "type": "normalization_covariance", "display_order": 17 }, { "id": "MAT-01", "title": "Normalized matter/IR composite", "status": "defined_strict_channel_composite", "status_label": "Defined strict-channel composite", "status_class": "defined", "sector": "qcd", "type": "defined_observable", "display_order": 18 }, { "id": "SAD-01", "title": "Round-S⁴ Einstein action and Euler-normalized form", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "gravity", "type": "identity", "display_order": 19 }, { "id": "SAD-02", "title": "Decaying compact thimble", "status": "selected_contour", "status_label": "Selected contour", "status_class": "selected", "sector": "gravity", "type": "selected_sector", "display_order": 20 }, { "id": "SAD-04", "title": "Exact reduced-Planck-density UV endpoint", "status": "selected_uv_domain", "status_label": "Selected UV domain", "status_class": "selected", "sector": "gravity", "type": "selected_sector", "display_order": 21 }, { "id": "SAD-03", "title": "Monotonic ordering within the declared domain", "status": "derived_given_strict_domain", "status_label": "Derived given strict domain", "status_class": "conditional", "sector": "gravity", "type": "conditional_result", "display_order": 22 }, { "id": "SAD-07", "title": "Boundary-member prescription (no modulus integration)", "status": "selected_compact_sector_prescription", "status_label": "Selected compact-sector prescription", "status_class": "selected", "sector": "gravity", "type": "selected_sector", "display_order": 23 }, { "id": "SAD-06", "title": "Classical strict-channel gravitational factor", "status": "derived_given_boundary_member_uv_domain_and_contour_selections", "status_label": "Derived given boundary-member, UV-domain and contour selections", "status_class": "conditional", "sector": "gravity", "type": "conditional_result", "display_order": 24 }, { "id": "DET-01", "title": "No canonical absolute determinant constant on round S⁴", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "gravity", "type": "theorem", "display_order": 25 }, { "id": "ASM-01", "title": "Factorized compact assembly", "status": "defined_strict_channel_composite", "status_label": "Defined strict-channel composite", "status_class": "defined", "sector": "assembly", "type": "defined_observable", "display_order": 26 }, { "id": "NUM-01", "title": "Leading strict-channel compact benchmark", "status": "derived_given_stated_premise_selections", "status_label": "Derived given stated premise/selections", "status_class": "conditional", "sector": "assembly", "type": "computed_value", "display_order": 27 }, { "id": "GR-01", "title": "Ordinary-GR no-go for a linear compact source", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "global", "type": "theorem", "display_order": 28 }, { "id": "GR-02", "title": "Trace-free quotient leaves one scalar mode", "status": "derived", "status_label": "Derived", "status_class": "derived", "sector": "global", "type": "lemma", "display_order": 29 }, { "id": "GS-01", "title": "Four-form global-source completion", "status": "proposed_completion", "status_label": "Proposed completion", "status_class": "proposed", "sector": "global", "type": "proposed_model", "display_order": 30 }, { "id": "GS-05", "title": "Branch-unit covariance fixes η² source dependence", "status": "derived_from_branch_unit_covariance", "status_label": "Derived from branch-unit covariance", "status_class": "derived", "sector": "global", "type": "identity", "display_order": 31 }, { "id": "GS-04", "title": "Unit compact-to-global source pairing", "status": "proposed_unit_pairing", "status_label": "Proposed unit pairing", "status_class": "proposed", "sector": "global", "type": "proposed_model", "display_order": 32 }, { "id": "GS-02", "title": "Field equations of the proposed global-source action", "status": "derived_once_action_and_unit_pairing_are_adopted", "status_label": "Derived once action and unit pairing are adopted", "status_class": "conditional", "sector": "global", "type": "theorem", "display_order": 33 }, { "id": "GS-03", "title": "Regulator-independent late-time trace-average condition", "status": "amplitude_condition", "status_label": "Amplitude condition", "status_class": "conditional", "sector": "global", "type": "amplitude_condition", "display_order": 34 }, { "id": "MAP-01", "title": "Compact response to cosmological curvature map", "status": "proposed_cosmological_identification", "status_label": "Proposed cosmological identification", "status_class": "proposed", "sector": "global", "type": "proposed_model", "display_order": 35 }, { "id": "OBS-01", "title": "Planck 2018 flat-ΛCDM inferred benchmark", "status": "observational_input", "status_label": "Observational input", "status_class": "standard", "sector": "observations", "type": "observational_input", "display_order": 36 }, { "id": "OBS-02", "title": "Numerical comparison with the Planck benchmark", "status": "derived_comparison", "status_label": "Derived comparison", "status_class": "derived", "sector": "observations", "type": "comparison", "display_order": 37 }, { "id": "CORR-01", "title": "Full interacting curved-space Standard Model coefficient", "status": "open_calculation", "status_label": "Open calculation", "status_class": "open", "sector": "corrections", "type": "open_calculation", "display_order": 38 }, { "id": "CORR-02", "title": "Quantum gravitational dressing and higher-curvature action shift", "status": "open_calculation", "status_label": "Open calculation", "status_class": "open", "sector": "corrections", "type": "open_calculation", "display_order": 39 }, { "id": "CORR-03", "title": "Gravity-only δB tolerance", "status": "derived_sensitivity_bound", "status_label": "Derived sensitivity bound", "status_class": "derived", "sector": "corrections", "type": "test", "display_order": 40 }, { "id": "CORR-04", "title": "Joint matter-gravity correction relation", "status": "derived_correction_relation", "status_label": "Derived correction relation", "status_class": "derived", "sector": "corrections", "type": "identity", "display_order": 41 }, { "id": "TEST-01", "title": "Exact w=-1 observational falsifier of the completion", "status": "test", "status_label": "Test", "status_class": "test", "sector": "tests", "type": "test", "display_order": 42 }, { "id": "TEST-02", "title": "Microscopic field-content sensitivity", "status": "test", "status_label": "Test", "status_class": "test", "sector": "tests", "type": "test", "display_order": 43 }, { "id": "TEST-03", "title": "Primitive-action/UV-boundary precision test", "status": "test", "status_label": "Test", "status_class": "test", "sector": "tests", "type": "test", "display_order": 44 }, { "id": "INT-01", "title": "Residual-curvature interpretation", "status": "derived_within_proposed_completion", "status_label": "Derived within proposed completion", "status_class": "conditional", "sector": "interpretation", "type": "interpretation", "display_order": 45 }, { "id": "INT-02", "title": "103+19 decade decomposition", "status": "derived_arithmetic", "status_label": "Derived arithmetic", "status_class": "derived", "sector": "interpretation", "type": "interpretation", "display_order": 46 }, { "id": "INT-03", "title": "Combined-exponent rewriting", "status": "derived_rewriting", "status_label": "Derived rewriting", "status_class": "derived", "sector": "interpretation", "type": "interpretation", "display_order": 47 }, { "id": "INT-04", "title": "Compact action-de Sitter entropy identity", "status": "standard_identity_applied_to_selected_sector", "status_label": "Standard identity applied to selected sector", "status_class": "conditional", "sector": "interpretation", "type": "identity", "display_order": 48 }, { "id": "CMP-01", "title": "Specified compact channel closes the leading numerical chain", "status": "comparative_synthesis", "status_label": "Comparative synthesis", "status_class": "conditional", "sector": "comparison", "type": "comparison", "display_order": 49 }, { "id": "CMP-02", "title": "Relation to trace-free and sequestering approaches", "status": "comparative_synthesis", "status_label": "Comparative synthesis", "status_class": "conditional", "sector": "comparison", "type": "comparison", "display_order": 50 }, { "id": "CMP-03", "title": "Microscopic parent-theory derivation-or-falsification test", "status": "test", "status_label": "Test", "status_class": "test", "sector": "comparison", "type": "test", "display_order": 51 }, { "id": "CMP-04", "title": "Independent support and structural convergence", "status": "comparison_non_dependency", "status_label": "Comparison - non-dependency", "status_class": "standard", "sector": "comparison", "type": "comparison", "display_order": 52 }, { "id": "METH-01", "title": "Human-AI research-method disclosure", "status": "author_disclosure", "status_label": "Author disclosure", "status_class": "standard", "sector": "method", "type": "author_disclosure", "display_order": 53 } ], "edges": [ { "source": "VAC-01", "target": "VAC-02", "type": "depends_on" }, { "source": "VAC-01", "target": "VAC-03", "type": "depends_on" }, { "source": "VAC-01", "target": "EXT-01", "type": "depends_on" }, { "source": "VAC-02", "target": "EXT-01", "type": "depends_on" }, { "source": "EXT-01", "target": "EXT-02", "type": "depends_on" }, { "source": "EXT-01", "target": "SM-01", "type": "depends_on" }, { "source": "EXT-01", "target": "IR-01", "type": "depends_on" }, { "source": "TOP-01", "target": "TOP-02", "type": "depends_on" }, { "source": "TOP-02", "target": "TOP-03", "type": "depends_on" }, { "source": "TOP-03", "target": "QCD-03", "type": "depends_on" }, { "source": "QCD-03", "target": "QCD-04", "type": "depends_on" }, { "source": "QCD-01", "target": "QCD-04", "type": "depends_on" }, { "source": "QCD-04", "target": "QCD-05", "type": "depends_on" }, { "source": "TRC-01", "target": "QCD-05", "type": "depends_on" }, { "source": "EXT-01", "target": "MAT-01", "type": "depends_on" }, { "source": "QCD-05", "target": "MAT-01", "type": "depends_on" }, { "source": "UNIT-01", "target": "MAT-01", "type": "depends_on" }, { "source": "SAD-01", "target": "SAD-02", "type": "depends_on" }, { "source": "SAD-01", "target": "SAD-04", "type": "depends_on" }, { "source": "SAD-01", "target": "SAD-03", "type": "depends_on" }, { "source": "SAD-04", "target": "SAD-03", "type": "depends_on" }, { "source": "SAD-03", "target": "SAD-07", "type": "depends_on" }, { "source": "SAD-01", "target": "SAD-06", "type": "depends_on" }, { "source": "SAD-02", "target": "SAD-06", "type": "depends_on" }, { "source": "SAD-04", "target": "SAD-06", "type": "depends_on" }, { "source": "SAD-07", "target": "SAD-06", "type": "depends_on" }, { "source": "SAD-01", "target": "DET-01", "type": "depends_on" }, { "source": "MAT-01", "target": "ASM-01", "type": "depends_on" }, { "source": "SAD-06", "target": "ASM-01", "type": "depends_on" }, { "source": "ASM-01", "target": "NUM-01", "type": "depends_on" }, { "source": "SM-01", "target": "NUM-01", "type": "depends_on" }, { "source": "EXT-01", "target": "GR-01", "type": "depends_on" }, { "source": "VAC-01", "target": "GR-02", "type": "depends_on" }, { "source": "GR-02", "target": "GS-01", "type": "depends_on" }, { "source": "GS-01", "target": "GS-05", "type": "depends_on" }, { "source": "GS-01", "target": "GS-04", "type": "depends_on" }, { "source": "GS-05", "target": "GS-04", "type": "depends_on" }, { "source": "GS-01", "target": "GS-02", "type": "depends_on" }, { "source": "GS-04", "target": "GS-02", "type": "depends_on" }, { "source": "GS-02", "target": "GS-03", "type": "depends_on" }, { "source": "NUM-01", "target": "MAP-01", "type": "depends_on" }, { "source": "GS-02", "target": "MAP-01", "type": "depends_on" }, { "source": "NUM-01", "target": "OBS-02", "type": "depends_on" }, { "source": "MAP-01", "target": "OBS-02", "type": "depends_on" }, { "source": "GS-03", "target": "OBS-02", "type": "depends_on" }, { "source": "OBS-01", "target": "OBS-02", "type": "depends_on" }, { "source": "EXT-01", "target": "CORR-01", "type": "depends_on" }, { "source": "SM-01", "target": "CORR-01", "type": "depends_on" }, { "source": "SAD-01", "target": "CORR-02", "type": "depends_on" }, { "source": "DET-01", "target": "CORR-02", "type": "depends_on" }, { "source": "NUM-01", "target": "CORR-03", "type": "depends_on" }, { "source": "OBS-01", "target": "CORR-03", "type": "depends_on" }, { "source": "NUM-01", "target": "CORR-04", "type": "depends_on" }, { "source": "CORR-01", "target": "CORR-04", "type": "depends_on" }, { "source": "CORR-02", "target": "CORR-04", "type": "depends_on" }, { "source": "GS-02", "target": "TEST-01", "type": "depends_on" }, { "source": "SM-01", "target": "TEST-02", "type": "depends_on" }, { "source": "CORR-01", "target": "TEST-02", "type": "depends_on" }, { "source": "CORR-02", "target": "TEST-02", "type": "depends_on" }, { "source": "QCD-03", "target": "TEST-02", "type": "depends_on" }, { "source": "SAD-04", "target": "TEST-03", "type": "depends_on" }, { "source": "SAD-07", "target": "TEST-03", "type": "depends_on" }, { "source": "CORR-02", "target": "TEST-03", "type": "depends_on" }, { "source": "CORR-03", "target": "TEST-03", "type": "depends_on" }, { "source": "GS-02", "target": "INT-01", "type": "depends_on" }, { "source": "MAP-01", "target": "INT-01", "type": "depends_on" }, { "source": "NUM-01", "target": "INT-02", "type": "depends_on" }, { "source": "NUM-01", "target": "INT-03", "type": "depends_on" }, { "source": "SAD-01", "target": "INT-04", "type": "depends_on" }, { "source": "SAD-02", "target": "INT-04", "type": "depends_on" }, { "source": "SAD-04", "target": "INT-04", "type": "depends_on" }, { "source": "SAD-07", "target": "INT-04", "type": "depends_on" }, { "source": "VAC-02", "target": "CMP-01", "type": "depends_on" }, { "source": "EXT-01", "target": "CMP-01", "type": "depends_on" }, { "source": "TOP-01", "target": "CMP-01", "type": "depends_on" }, { "source": "QCD-03", "target": "CMP-01", "type": "depends_on" }, { "source": "SAD-01", "target": "CMP-01", "type": "depends_on" }, { "source": "NUM-01", "target": "CMP-01", "type": "depends_on" }, { "source": "GR-02", "target": "CMP-02", "type": "depends_on" }, { "source": "GS-02", "target": "CMP-02", "type": "depends_on" }, { "source": "MAP-01", "target": "CMP-02", "type": "depends_on" }, { "source": "CORR-01", "target": "CMP-03", "type": "depends_on" }, { "source": "QCD-03", "target": "CMP-03", "type": "depends_on" }, { "source": "SAD-02", "target": "CMP-03", "type": "depends_on" }, { "source": "SAD-04", "target": "CMP-03", "type": "depends_on" }, { "source": "SAD-07", "target": "CMP-03", "type": "depends_on" }, { "source": "CORR-02", "target": "CMP-03", "type": "depends_on" }, { "source": "GS-01", "target": "CMP-03", "type": "depends_on" }, { "source": "GS-03", "target": "CMP-03", "type": "depends_on" } ], "topological_order": [ "CMP-04", "EXT-03", "METH-01", "OBS-01", "QCD-01", "SAD-01", "TOP-01", "TRC-01", "UNIT-01", "VAC-01", "DET-01", "SAD-02", "SAD-04", "TOP-02", "GR-02", "VAC-02", "VAC-03", "CORR-02", "SAD-03", "TOP-03", "GS-01", "EXT-01", "SAD-07", "QCD-03", "GS-05", "EXT-02", "GR-01", "IR-01", "SM-01", "INT-04", "SAD-06", "QCD-04", "GS-04", "CORR-01", "QCD-05", "GS-02", "TEST-02", "MAT-01", "GS-03", "TEST-01", "ASM-01", "CMP-03", "NUM-01", "CMP-01", "CORR-03", "CORR-04", "INT-02", "INT-03", "MAP-01", "TEST-03", "CMP-02", "INT-01", "OBS-02" ] }