Skip to content

Check receipt and evidence times in witness replay - #403

Merged
aruintelligence merged 1 commit into
mainfrom
feat/witness-evidence-chronology
Oct 17, 2026
Merged

aruintelligence merged 1 commit into
mainfrom
feat/witness-evidence-chronology

Conversation

@aruintelligence

Copy link
Copy Markdown
Owner

Summary

  • Extend witness replay chronology to the evidence and optional receipt generated_at claims. Reject malformed UTC millisecond values, a receipt dated after its evidence, and evidence dated after the attestation that signs its hash.
  • Enforce the same timeline when producing bundles and in the project-authored Python verifier. Sparse receipts that omit generated_at remain accepted by the existing prototype path.
  • Keep timeline checks as consistency checks of supplied data, not proof that the clock or creation claims are truthful.

Local verification

  • 897 tests passed.
  • 68 signed-quorum JavaScript/Python comparison cases and 28 additional checks passed. Four new fully hashed and signed impossible evidence timelines were rejected by both runtimes after signature verification.
  • Installed-package consumer compatibility, proof, API stability, upgrade contract, CLI contract, package artifact, links, proof surfaces, verifier surfaces, and git diff --check passed.

These are project-controlled local results. GitHub CI is pending. No independent certification or trusted timestamp is claimed.

@aruintelligence
aruintelligence merged commit bae8d6a into main Oct 17, 2026
59 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