Skip to content

Releases: pipavlo82/recomputable-verification-receipts

RVR v0.0.1-rc.2

RVR v0.0.1-rc.2 Pre-release
Pre-release

Choose a tag to compare

@pipavlo82 pipavlo82 released this 26 Aug 22:16

Second release candidate of the generic Recomputable Verification Receipts (RVR) v0 core. RC2 hardens the profile boundary and canonical byte contract before any external Verification Profile integration.

Hardening since RC1:

  • separates the generic Verification Profile Manifest schema from the pinned SHA256_EQUALS profile-specific constraints schema
  • verifies the profile-specific schema digest before parsing or applying that schema
  • resolves normative paths only from the supplied profile package root
  • uses the same single-read dependency bytes for SHA-256 verification and subsequent semantic use
  • freezes the complete rvr-json-string-escaping-v0 table, including all U+0000..U+001F controls, literal solidus, and literal U+2028/U+2029
  • clarifies that reproducing committed UNAVAILABLE does not prove historical objective unavailability
  • labels the adversarial checks as a semantic mutant/witness audit rather than a complete mutation-testing harness

Executable evidence:

  • independent Python and TypeScript adapters agree
  • 13/13 canonical-byte vectors
  • 7/7 dependency-resolver vectors
  • generic-manifest/profile-specific schema-boundary witness passes
  • tampered profile-specific schema pin is rejected before use
  • all six original semantic cases pass
  • 6/6 adversarial semantic mutants/witnesses killed
  • alternate-process-CWD test passes

Pinned identities:

Boundaries:

  • experimental release candidate; no stable API claim
  • generic RVR core only
  • no ReceiptOS, TSEI, or Protected Relation Fixtures dependency
  • no on-chain registry
  • no PRF Verification Profile in this release
  • RC1 remains unchanged as its historical checkpoint

RVR v0.0.1-rc.1

RVR v0.0.1-rc.1 Pre-release
Pre-release

Choose a tag to compare

@pipavlo82 pipavlo82 released this 26 Aug 21:47

First release candidate of the generic Recomputable Verification Receipts (RVR) v0 core.

Included:

  • six-field receipt: claimDigest, evidenceSetDigest, verificationProfileDigest, outcome, reasonCode, resultDigest
  • separate verification outcome and recomputation-status axes
  • content-addressed Verification Profile and explicit rvr-canonical-json-v0 byte contract
  • evidence-closure enforcement and canonical-result projection checks
  • independent Python and TypeScript conformance adapters
  • 10 canonical-byte vectors and all six required semantic cases
  • adversarial audit with 6/6 mutants killed
  • Apache-2.0 licensing

Pinned identities:

  • commit: 0cf9d26
  • verification profile: fe72362361c3ceb35edc49f8037819212dd221faa2a720e235ff33f1b85d893d
  • conformance package: 9e6d347d05d2744925a36a66c477d41b53646cd2e788f53391f137d317e88f2a

Boundaries:

  • experimental release candidate; no stable API claim
  • generic RVR core only
  • no ReceiptOS, TSEI, or Protected Relation Fixtures dependency
  • no on-chain registry
  • no PRF Verification Profile in this release