Skip to content

HautevilleHouse/hodge-conjecture-canonical-lane

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

The Hodge Conjecture via Hodge-Class Persistence and Rigidity

Canonical Lane (defined term): the manifold-constrained local-to-global closure architecture (HOD1–HOD8).

Canonical Lane research workspace addressing the Millennium Problem:

the algebraicity of rational Hodge classes on smooth projective complex varieties.

Main Manuscript

Structure

  • paper/: main theorem architecture (HOD1–HOD8 chain).
  • notes/: closure notes (EG1EG4) + identification bridge.
  • repro/: local certificate workflow and rerun protocol.
  • scripts/: local guard and extraction scripts.
  • artifacts/: constants registries and stitched constants.

Local Reproducibility Command

bash repro/run_repro.sh

This writes repro/certificate_runtime.json.

How To Read This Professionally

  1. Theorem chain first: read paper/HODGE_CONJECTURE_PREPRINT.md.
  2. Constants provenance second: audit paper/EXTRACTION_SPEC.md, artifacts/constants_extraction_inputs.json, artifacts/constants_extracted.json, and artifacts/promotion_report.json.
  3. Pipeline third: run bash repro/run_repro.sh to audit hashes/provenance/gates; it is reproducibility infrastructure, not theorem generation.

Release modes:

  • normalized: status=normalized_placeholder allowed when explicitly labeled.
  • fully_extracted: requires status=derived_numeric for all required constants/stitch keys.

Current Hodge runner policy:

  • repro/run_repro.sh enforces fully_extracted mode.

Citation

Authorship

  • Program author: HautevilleHouse
  • Canonical attribution source: CITATION.cff

About

The Hodge Conjecture via Hodge-class persistence and rigidity on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors