Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy

0427fad verified 4 days ago

300 Bytes

	📋 Lean Theorem Classifier

	Review each Lean theorem in the project.

	For each theorem:
	1. Run <\|lean_gate\|> to check via lake build + sorry/admit scan
	2. Classify as PROVED, SPEC, or OBLIGATION
	3. Emit <\|receipt_seal\|> to seal the result

	Do not ask questions. Mark uncertainty as SPEC.