allaun ad7e018c9c feat: SpherionTwinPrime — Balestrieri sieve formalized as NK-Hodge-FAMM scar module ... 405 lines, 10 sections: - SheetSignature (4 obstruction sheets: 6ab +/- a +/- b) - coverageDensity, witnessRegion on N - witnessScarComplex bridging to NKHodgeFAMM.bettiNumber - tunedObstruction with Q16_16 polarity (no Float) - sieve_is_nk_hodge_famm_scar theorem: witnessRegion = scarSupport - #eval witnesses match OEIS A002822: {0,1,2,3,5,7,10,12,17,18,23} Build: 8598 jobs, 0 errors		2026-06-16 23:33:25 -05:00
..
conversions/hardware	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
external/OTOM	feat(lean): close 3 OTOM sorries, add RRC watchdog + MCP prover server	2026-06-16 19:35:16 -05:00
LeanGPT	Remove legacy Python prototypes superseded by Lean formalization	2026-05-19 15:34:17 +00:00
Semantics	feat: SpherionTwinPrime — Balestrieri sieve formalized as NK-Hodge-FAMM scar module	2026-06-16 23:33:25 -05:00
singer-theorem-lean	chore(repo): push local 768-commit branch state onto clean remote baseline	2026-06-15 22:46:50 -05:00
CHAIN_ALL_REVIEW_REPORT.md	initial: sovereign research stack (consolidated, weightless, and lfs-optimized)	2026-05-04 18:11:36 -05:00