Describe the bounded behavior changed and the evidence supporting it.
-
make verify -
make demo -
make demo-lossy - Negative test added for any parser, path, restore, or receipt boundary
- No production data, credentials, executable mappings, or stronger assurance claim
- Documentation, threat model, and changelog updated when applicable