|
|
14cde6d09c
|
docs: refresh READMEs, AGENTS.md, and project maps for recent Lean surface
- Update README.md and 0-Core-Formalism/README.md with build baseline
(3314 jobs, 0 errors) and new modules (SDPVerify, GoormaghtighCert,
Hachimoji, SieveLemmas, InteractionGraphSidon, GeneticBraidBridge)
- Update AGENTS.md and 0-Core-Formalism/lean/Semantics/AGENTS.md blessed
surface tables and build baselines
- Add 6-Documentation/PROJECT_MAP.md and update existing project maps
(MATH_MODEL_MAP*, LEAN_PORT_ORCHESTRATION_MAP, SIDON_FAMM_MAP,
BEGINNERS_MAP) with new components and Gremlin mathblob graph loader
|
2026-06-20 20:34:09 -05:00 |
|
