Skip to content

feat: devnet revert scenarios (US3)#21

Merged
paolino merged 1 commit intomainfrom
004-revert-scenarios
Apr 21, 2026
Merged

feat: devnet revert scenarios (US3)#21
paolino merged 1 commit intomainfrom
004-revert-scenarios

Conversation

@paolino
Copy link
Copy Markdown
Contributor

@paolino paolino commented Apr 21, 2026

Summary

  • Adds DevnetRevertSpec with three end-to-end devnet scenarios for the shop-master revert path (US3 — Devnet E2E: full protocol flow test #9)
    • Rollback (T032): reverts a settlement, voucher UTxO remains with prior commit_spent
    • Full removal (T033): reverts the only settlement, no voucher UTxO remains at script address
    • Negative (T034): revert signed by a non-shop key is rejected by the validator

All scenarios use the unified voucher_validator with VaRevert redeemer (Constr 2).

Test plan

  • CI passes (build + lint + devnet tests)
  • All 3 revert scenarios pass on devnet

Three end-to-end tests exercising the shop-master revert path:
- rollback: revert settlement, voucher UTxO remains with prior commit
- full removal: revert only settlement, no voucher UTxO remains
- negative: revert signed by non-shop key is rejected
@paolino paolino added the feat New feature label Apr 21, 2026
@paolino paolino self-assigned this Apr 21, 2026
@paolino paolino merged commit be1f5b6 into main Apr 21, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feat New feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant