This repository is the public Lean package for the levelized Admissible Structure Theory (AST) codebase.
This public subset currently contains 215 theorem/lemma declarations and zero
sorrys in the canonical AST_levels package. It is the formal code reference
for the AST paper series: structural foundations, interpretation results,
physics identifications, and application-level consequences are separated by
level so individual claims can be cited cleanly.
AST_levels/Foundation/Structural mathematics, substrate definitions, correction dynamics, and beta-flow.AST_levels/Interpretation/Emergence interfaces and theorem-facing interpretation results.AST_levels/Physics/Physical identifications and theory-specific bridge modules.AST_levels/Applications/Holography, inflation, proton stability, and fine-structure application modules.
AST_levels.leanImports the canonical public theorem surface.
lake build AST_levels- License: see LICENSE
- Citation metadata: see CITATION.cff
- Theorem/status overview: see THEOREM_STATUS.md
- Geometry-route overview: see GEOMETRY_CHAIN_STATUS.md
This package is the code reference target for the AST paper series. The public modules are organized by semantic level so that structural results, emergence results, physics identifications, and application-level consequences can be cited independently.