evidence-bundles
Policy-as-code for MCP agents: deny risky tool calls before they run, prove what ran with verifiable evidence, and enforce egress in the kernel (eBPF/LSM, Linux). Deterministic, offline-first, bounded claims.
QS-DMSS Studio: evidence-first simulation lab for reproducible runs, evidence bundles, campaign comparison, and research-object exports.
Mechanistic interpretability that ships: MAIR-backed evidence bundles, receipts, and comparison packets
