Skip to content

RVR v0.0.1-rc.2

Pre-release
Pre-release

Choose a tag to compare

View all tags
@pipavlo82 pipavlo82 released this 26 Aug 22:16
· 10 commits to main since this release
v0.0.1-rc.2
f447675

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
Assets 2
Loading