01 / Explanation
Separate useful from permitted
An action can be profitable or technically successful while still exceeding its authority. DSEMA investigates checks before execution, restricted execution environments, external oversight, and controlled amendments. These are design requirements to evaluate, not a demonstrated general solution to AI alignment.
02 / Explanation
A budget is one gate
A compute ceiling constrains one resource channel. It does not alone stop data exfiltration, manipulation, collusion, or execution on infrastructure outside the controlled system. Enforcement must bind scheduling, credentials, network access, model loading, and the actual execution environment.
03 / Explanation
Measure failure under adversarial conditions
Test attempts to exceed a budget, move outside containment, spoof authorisation, compromise overseer keys, and game evaluations. Record whether execution was prevented, the evidence retained, and whether legitimate tasks were wrongly blocked. Bosun provides a narrower engineering track; its success would not establish all DSEMA controls.