Skip to content

Adversarial harness gates (two-tier verify)#23

Merged
SafetyMP merged 9 commits into
mainfrom
cursor/adversarial-harness-gates
Jul 13, 2026
Merged

Adversarial harness gates (two-tier verify)#23
SafetyMP merged 9 commits into
mainfrom
cursor/adversarial-harness-gates

Conversation

@SafetyMP

Copy link
Copy Markdown
Owner

Summary

  • Two-tier harness: hermetic verify.sh (stop hook) + declared integration_cmd (CI/manual).
  • Stub canary script to block placeholder verify and fake policy stubs.

Test plan

  • ./scripts/verify.sh
  • harness check --contract

Declare integration_cmd in profile.yaml, add check-stub-canary.sh,
and wire hermetic verify where applicable (stop hook unchanged).
Copilot AI review requested due to automatic review settings July 13, 2026 01:19

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

Sage Hart added 8 commits July 12, 2026 20:50
Flip the last attestation signature nibble so tampering always invalidates
verification. Run check-stub-canary before verify gate.
Threat model names main-root integration executor. integration-smoke
refuses worktree cwd; adversarial.sh verifies the boundary in CI.
Document hermetic verify vs integration E2E for compose-tier mandatory gate.
bypass-validation Step D hung on 300s sandbox timeout; CI uses integration job.
Docker egress and composition probes exceed verify job budget; cedar/subagent
tests remain in verify, integration smoke covers runtime path.
Unblocks adversarial tier-3 probe and matches compose deny_compose_from_worktree.
@SafetyMP SafetyMP merged commit fda03bd into main Jul 13, 2026
6 checks passed
@SafetyMP SafetyMP deleted the cursor/adversarial-harness-gates branch July 13, 2026 02:20
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