feat(automaton3): verify effect before issuing EffectReceipt - #272

Open

Tarik Skalić (tarikskalic33) wants to merge 5 commits into

pr2-independent-effect-observationfrom

pr3-verify-effect-receipt-gate

Commits on Aug 19, 2026

test(automaton3): define PR3 VerifyEffect falsifiers
Tarik Skalić (tarikskalic33)
committed
b60e1eb
feat(automaton3): bind PR3 VerifyEffect policy and receipt proof
Tarik Skalić (tarikskalic33)
committed
7c93318
feat(automaton3): add version-bound VerifyEffect gate
Tarik Skalić (tarikskalic33)
committed
459d760
feat(schema): bind EffectReceipt to VerifyEffect result
Tarik Skalić (tarikskalic33)
committed
b5abe69
fix(automaton3): keep effect-bound admission unavailable in PR3
Tarik Skalić (tarikskalic33)
committed
bf29570