State Evidence Close
State Boundaries
Did state still change?
Your rollback says DONE. BOUNDA proves whether a DB, cache or vector write still changed state.
Prove whether state changed after CANCELLED, FAILED, ROLLBACK or DENIED.
Lexicon lock
State Boundaries
Produit: State Evidence Close
Market: SaaS / Core Systems / Data Platform / AI Platform
Buyer: CTO · Data Lead · Platform Lead
Avoid: Database Boundaries as root family
Consequence units
What can still be born after the NO?
DB writecache promotionvector writecommitconfig changestate transition
App surfaces
Concrete flows to choose in the app.
- DB write
- Cache promotion
- Vector write
- Commit
- Config change
- Business state transition
Receipts needed
No receipt, no clean claim.
- action decision logs
- DB audit
- cache logs
- WAL
- before/after hashes
- vector DB audit
Reality Passage Engine
Regardez la réalité franchir la boundary.
Votre système a dit NON. BOUNDA checks whether forbidden Reality Units were born anyway — with expected/observed deltas, receipts, proof sufficiency, verdict and action.
No receipt, no clean claim.
Le système ditcôté déclaré
STOP-LINE
Réalité avalautre côté
Evidence Close output
HELD, BREACHED ou UNKNOWN — sealed.
HELD
Receipts are sufficient and all forbidden consequence units stayed at zero.
BREACHED
At least one forbidden consequence unit was born after the NO.
UNKNOWN
Receipts are insufficient. BOUNDA refuses to produce a fake HELD.