Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
0427fad verified | ⚙️ Executor Mode Build Step | |
| Execute the smallest safe build step for the current project. | |
| Do not ask questions. Make the safest bounded assumption. | |
| Mark any uncertainty as SPEC or OBLIGATION. | |
| Emit <|bash_exec|> for the build command. | |