Skip to content

Enforce action-ref-v1 conformance and pin lab verification - #41

Open
azender1 wants to merge 8 commits into
mainfrom
fix/action-ref-v1-conformance
Open

azender1 wants to merge 8 commits into
mainfrom
fix/action-ref-v1-conformance

Conversation

@azender1

@azender1 azender1 commented Oct 1, 2026

Copy link
Copy Markdown
Owner

This PR turns the lab finding into a reproducible SafeAgent check.

What changed:

  • reject non-canonical action-ref-v1 timestamps before hashing, including epoch integers
  • keep /claim/test unchanged; its 3-field dedup identity remains intentionally separate from action-ref
  • fail closed in the attestation gate on an invalid action_ref_preimage
  • route Mycelium trail derivation through the strict action-ref function
  • add focused negative tests for epoch, second-precision, and microsecond-precision timestamps
  • add a stdin/stdout conformance adapter
  • run the Composable Evidence Criteria action-ref-conformance Action pinned at @v1 in CI

Motivation:
The lab's frozen neg-b01-epoch-integer vector exposed that SafeAgent previously hashed an integer timestamp instead of rejecting it at the grammar gate. The positive vectors already matched; this closes that negative-case gap and makes the claim continuously testable in CI.

This PR deliberately does not change /claim/test semantics because adding a per-call timestamp there would defeat its retry-dedup contract.

This branch has not been deployed

No deployments
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