Skip to content

test: add evidence predicate conformance vectors - #11

Open
tomjwxf wants to merge 1 commit into
mainfrom
codex/evidence-predicate-vectors
Open

test: add evidence predicate conformance vectors#11
tomjwxf wants to merge 1 commit into
mainfrom
codex/evidence-predicate-vectors

Conversation

@tomjwxf

@tomjwxf tomjwxf commented Jul 11, 2026

Copy link
Copy Markdown
Contributor

Summary

Adds a dependency-free conformance suite for the proposed signed evidence predicate.

The suite proves four reliance outcomes:

  1. an independently pinned custodian source is accepted;
  2. an absent as_of is omitted from the signed claim;
  3. a copied trusted kid with a forged signature is rejected; and
  4. receipt-signer self-corroboration is rejected even when the source signature is valid.

It also rejects the structural anti-pattern as_of: null and adds the suite to the repository's GitHub Actions workflow.

Trust Model

A source signature is not independently corroborating merely because it verifies. The verifier requires an out-of-band trust policy, a source public key distinct from the receipt signing key, and a source control domain distinct from the receipt signer.

Verification

./evidence-predicate/run.sh

Result: all four signed vectors and the nullable-as_of negative fixture pass.

Existing Repository Limitation

The pre-existing general ./conformance/run.sh still reports its independent gaps: three implementation drivers are stubs and the local protect-mcp driver emits zero receipts. This PR does not mask or change those outcomes.

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.

2 participants