test: add evidence predicate conformance vectors - #11
Open
tomjwxf wants to merge 1 commit into
Open
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Adds a dependency-free conformance suite for the proposed signed
evidencepredicate.The suite proves four reliance outcomes:
as_ofis omitted from the signed claim;kidwith a forged signature is rejected; andIt also rejects the structural anti-pattern
as_of: nulland 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
Result: all four signed vectors and the nullable-
as_ofnegative fixture pass.Existing Repository Limitation
The pre-existing general
./conformance/run.shstill reports its independent gaps: three implementation drivers are stubs and the localprotect-mcpdriver emits zero receipts. This PR does not mask or change those outcomes.