Canonical Lane (defined term): the manifold-constrained local-to-global closure architecture (YM1–YM8) for the Yang-Mills mass-gap program.
Canonical Lane research workspace for the Millennium Problem:
the existence of a nontrivial quantum Yang–Mills theory on R^4 with a positive mass gap.
-
paper/YANG_MILLS_MASS_GAP_PREPRINT.mdCANONICAL_ROUTING_INDEX.md
-
notes/EG1_public.mdEG2_public.mdEG3_public.mdEG4_public.mdIDENTIFICATION_BRIDGE.md
-
repro/REPRO_PACK.mdTHIRD_PARTY_RERUN_PROTOCOL.mdrun_repro.shrepro_manifest.jsoncertificate_baseline.json
-
scripts/ym_closure_guard.py
-
artifacts/constants_registry.jsonstitch_constants.json
bash repro/run_repro.shThis writes repro/certificate_runtime.json.
- Theorem chain first: read
paper/YANG_MILLS_MASS_GAP_PREPRINT.md. - Constants provenance second: audit
paper/EXTRACTION_SPEC.md,artifacts/constants_extraction_inputs.json,artifacts/constants_extracted.json, andartifacts/promotion_report.json. - Pipeline third: run
bash repro/run_repro.shto audit hashes/provenance/gates; it is reproducibility infrastructure, not theorem generation.
Release modes:
normalized:status=normalized_placeholderallowed when explicitly labeled.fully_extracted: requiresstatus=derived_numericfor all required constants/stitch keys.
Current YM runner policy:
repro/run_repro.shenforcesfully_extractedmode.
Every claim-bearing item must be routed through all three layers:
- main preprint section/appendix,
- mirror note under
notes/, - artifact key consumed by
scripts/ym_closure_guard.py.
Routing map: paper/CANONICAL_ROUTING_INDEX.md
- Metadata: CITATION.cff
- Manuscript target: paper/YANG_MILLS_MASS_GAP_PREPRINT.md
- Program author: HautevilleHouse
- Canonical attribution source:
CITATION.cff