Canonical Lane (defined term): the manifold-constrained local-to-global super-architecture (MMP1-MMP8)
Canonical Lane super-repo for a flagship umbrella problem in birational geometry and algebraic geometry: proving existence and persistence of the declared minimal-model and Mori-fiber endpoint packages across admissible birational reductions through a multi-lane birational super-architecture.
This repository coordinates an admissible routed lattice whose native families are:
- klt and lc reduction packages across flips and divisorial contractions
- canonical bundle formula and adjoint/Iitaka-fibration control packages
- abundance and semiampleness endpoint packages for nef canonical classes
- termination, scaling, and nonaccumulation packages for birational transitions
- local-global stitching of the declared birational endpoint package
The runtime surface establishes closure of the declared super-lane, not just one local example.
-
paper/MINIMAL_MODEL_PROGRAM_PREPRINT.mdCANONICAL_ROUTING_INDEX.mdEXTRACTION_SPEC.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/mmp_closure_guard.pyextract_constants.pypromote_constants.pyupdate_manifest.pyrelease_gate.pyREADME.md
-
artifacts/constants_extraction_inputs.jsonconstants_extracted.jsonconstants_registry.jsonstitch_constants.jsonpromotion_report.json
bash repro/run_repro.shThis writes repro/certificate_runtime.json.
- Super-lane theorem chain first: read
paper/MINIMAL_MODEL_PROGRAM_PREPRINT.md. - Routed-family mapping second: audit
paper/CANONICAL_ROUTING_INDEX.mdand the note layer. - Constants provenance third: audit
paper/EXTRACTION_SPEC.md,artifacts/constants_extraction_inputs.json,artifacts/constants_extracted.json, andartifacts/promotion_report.json. - Pipeline fourth: run
bash repro/run_repro.shto audit hashes, provenance, and 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 and stitch keys.
Current MMP runner policy:
repro/run_repro.shextracts, promotes, runsscripts/mmp_closure_guard.py, updatesrepro/repro_manifest.json, and enforcesfully_extractedrelease-gate mode.
Every claim-bearing item must be routed through all three layers:
- main preprint section/appendix,
- mirror note under
notes/, - artifact key consumed by
scripts/mmp_closure_guard.py.
Routing map: paper/CANONICAL_ROUTING_INDEX.md
- Metadata: CITATION.cff
- Manuscript target: paper/MINIMAL_MODEL_PROGRAM_PREPRINT.md
- Program author: HautevilleHouse
- Canonical attribution source:
CITATION.cff