Brandon Schneider 52964551df chore(lean): promote safe local semantics cleanup		2026-05-20 23:13:43 -05:00
..
external/OTOM	Refactor provenance sources for open witness backends	2026-05-12 05:57:04 -05:00
LeanGPT	Remove legacy Python prototypes superseded by Lean formalization	2026-05-19 15:34:17 +00:00
Semantics	chore(lean): promote safe local semantics cleanup	2026-05-20 23:13:43 -05:00
CHAIN_ALL_REVIEW_REPORT.md	initial: sovereign research stack (consolidated, weightless, and lfs-optimized)	2026-05-04 18:11:36 -05:00