Skip to content

feat: devnet revocation scenarios (US4)#22

Merged
paolino merged 1 commit intomainfrom
005-revocation-scenarios
Apr 21, 2026
Merged

feat: devnet revocation scenarios (US4)#22
paolino merged 1 commit intomainfrom
005-revocation-scenarios

Conversation

@paolino
Copy link
Copy Markdown
Contributor

@paolino paolino commented Apr 21, 2026

Summary

  • Adds DevnetRevocationSpec with three end-to-end devnet scenarios for reificator revocation (US4 — Devnet E2E: full protocol flow test #9)
    • Revocation accepted (T039): RevokeReificator governance tx removes key from coalition datum, shop key preserved
    • Settlement rejected (T040): spend attempt with revoked reificator key fails validator membership check (invariant Multi-certificate spend: combine caps from N issuers #7)
    • Non-registered key (T041): revocation of a key not in the registry is rejected by the coalition-metadata validator

On-chain RevokeReificator (Constr 2) and off-chain GovRevokeReificator were already implemented — this PR adds the test coverage.

Test plan

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

Three end-to-end tests exercising coalition reificator revocation:
- revocation accepted: RevokeReificator governance tx removes key from datum
- settlement rejected: spend attempt with revoked reificator key fails
- negative: revocation of non-registered key rejected by validator
@paolino paolino added the feat New feature label Apr 21, 2026
@paolino paolino self-assigned this Apr 21, 2026
@paolino paolino added the feat New feature label Apr 21, 2026
@paolino paolino merged commit ef8d255 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