Canonical Lane (defined term): the manifold-constrained local-to-global closure architecture for the RH program.
Canonical Lane research workspace for the Millennium Problem:
the distribution of the nontrivial zeros of the Riemann zeta function on the critical line.
-
paper/RH_SELF_ADJOINT_PERSISTENCE_PREPRINT.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/extract_constants.pypromote_constants.pyrh_closure_drift_guard.pyrh_closure_registry.pyrh_closure_target_calculator.pyextract_rh_e3_margin.pyrh_formalism_guard.pyupdate_manifest.pyverify_manifest.py
-
artifacts/constants_extraction_inputs.jsonconstants_extracted.jsonconstants_registry.jsonstitch_constants.jsonpromotion_report.json
bash repro/run_repro.shThis refreshes the extracted/pro promoted constants and writes repro/certificate_runtime.json.
- Theorem chain first: read
paper/RH_SELF_ADJOINT_PERSISTENCE_PREPRINT.md. - Constants provenance second: audit
paper/EXTRACTION_SPEC.md,artifacts/constants_extraction_inputs.json,artifacts/constants_extracted.json,artifacts/constants_registry.json, andartifacts/stitch_constants.json. - Pipeline third: run
bash repro/run_repro.shto audit hashes/provenance/gates; it is reproducibility infrastructure, not theorem generation.
Current RH runner policy:
repro/run_repro.shexecutesextract -> promote -> native drift guard -> manifest verify.repro/run_repro.shexecutesextract -> promote -> native drift guard -> manifest refresh -> manifest verify.- The RH drift guard remains the final gate evaluator; the extraction layer standardizes constants provenance without changing gate logic.
- Metadata:
CITATION.cff. - Manuscript target: paper/RH_SELF_ADJOINT_PERSISTENCE_PREPRINT.md
- Program author: HautevilleHouse
- Canonical attribution source:
CITATION.cff