Governance, Interpretability, Verification, Agents
Local execution + bounded topology artifacts
Reasoning. With Receipts.