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

0427fad

verified

SNAPKITTYWEST commited on 17 days ago