Next validation programme
Make the boundary harder to trust and easier to falsify.
The programme is designed to turn the current narrow evidence into a clearer account of what is supported, falsified and still unknown.
Seven stages
From frozen cases to a harder test.
- Freeze Protocol v2, the threat model, registered cases and evidence invariants.
- Test key separation, expiry, revocation, identity/action/target mismatch, tampering and replay.
- Test restart, clock and evidence mutation, bounded storage and stronger interruption cases.
- Build one narrowly scoped, non-production tool adapter with independently observable effects.
- Commission a second, more independent operator-led reproduction and adversarial rerun.
- Compare Sanctuary with a baseline action path.
- Publish or privately provide a limited results report stating what was supported, falsified and still unknown.