Skip to content

docs: align revocation auditability status across README and SPEC#50

Merged
rmhrisk merged 1 commit intomainfrom
docs/fix-revoc-audit-alignment
Mar 17, 2026
Merged

docs: align revocation auditability status across README and SPEC#50
rmhrisk merged 1 commit intomainfrom
docs/fix-revoc-audit-alignment

Conversation

@rmhrisk
Copy link
Copy Markdown
Contributor

@rmhrisk rmhrisk commented Mar 17, 2026

Both docs claimed the revoc-artifact-hash-in-checkpoint mechanism was 'not yet implemented' or 'deferred to v2'. It shipped in feat/revoc-auditability: Go, TypeScript, and Rust issuers already emit revoc:<hex(SHA-256(artifact))> as the 4th checkpoint body extension line, covered by the issuer signature and all witness cosignatures.

Actual current state:

  • ✓ Go/TS/Rust issuers commit the revoc hash in checkpoint bodies
  • ✓ Go and Rust verifiers parse/extract the revoc: line (not yet enforced)
  • ✗ Java issuer does not emit the revoc: extension line
  • ✗ No verifier cross-checks the committed hash against the fetched artifact bytes

SPEC.md §Revocation — Auditability: replaced 'deferred to a future version' with the accurate implementation status and the two remaining steps to complete end-to-end enforcement.

README Known Limitations: updated from 'not yet implemented' to 'partially implemented'.

Both docs said the revoc-artifact-hash-in-checkpoint mechanism was 'not yet
implemented' or 'deferred to v2'. In fact it shipped in feat/revoc-auditability:
Go, TypeScript, and Rust issuers already emit revoc:<hex(SHA-256(artifact))>
as the 4th extension line of every checkpoint body, covered by the issuer
signature and all witness cosignatures.

The accurate current state is partial implementation:
  DONE:   Go/TS/Rust issuers commit the revoc hash in checkpoint bodies
  DONE:   Go verifier parses the revoc: line (currently ignored)
  DONE:   Rust verifier extracts the revoc hash (currently ignored)
  NOT YET: Java issuer does not emit the revoc: extension line
  NOT YET: No verifier cross-checks the committed hash against the
           fetched artifact bytes

SPEC.md §Revocation — Auditability: replaced 'deferred to a future version'
with an accurate account of what is done, what remains, and what the
end-to-end auditable chain looks like once both remaining steps are complete.

README Known Limitations: updated from 'not yet implemented' to 'partially
implemented', listing the two remaining steps (Java issuer, verifier enforcement).
@rmhrisk rmhrisk merged commit adf9bce into main Mar 17, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant