Skip to content

plan(v0.11.0): offline verification — real and lightweight - #228

Merged
avrabe merged 1 commit into
mainfrom
plan/v0.11.0
Aug 7, 2026
Merged

plan(v0.11.0): offline verification — real and lightweight#228
avrabe merged 1 commit into
mainfrom
plan/v0.11.0

Conversation

@avrabe

@avrabe avrabe commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

Scopes v0.11.0 in rivet: REQ-23 (#219 real offline keyless verify), REQ-24 (#218 lightweight DSSE), REQ-25 (#128 close verify-core MC/DC gaps). Theme: make offline/airgapped verification real and dependency-light — the path varve needs and #187's on-target verifier builds on.

🤖 Generated with Claude Code

Scope v0.11.0 in rivet around offline/airgapped verification:
- REQ-23 (#219): real offline keyless verification — Rekor SET + Fulcio
  cert-chain anchoring + ECDSA P-256 + SigstoreBundle::verify. The current
  AirGappedVerifier::verify_crypto is a stub (fails-closed, but unusable).
- REQ-24 (#218): extract dsse off the 179-crate wsc tree so embedded/offline
  consumers verify DSSE without the registry/network stack.
- REQ-25 (#128): close verify-core's own MC/DC Partial gaps with witness
  scenarios, then lower the scoped baseline.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012aR3Md1h46K9wAUWMQiESH
@avrabe
avrabe merged commit 94f9b02 into main Aug 7, 2026
1 check passed
@avrabe
avrabe deleted the plan/v0.11.0 branch August 7, 2026 17:17
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