adversarial-verification

Adversarial Verification

First-run success is a hypothesis, not proof. The job is not done until the work survives a skeptical pass.

Use When

• about to claim work is complete, fixed, wired, safe, or ready
• reviewing Claude, Codex, DeepSeek, or other agent output
• changing skills, routing, registries, permissions, launch packets, adapters, or parsers
• preparing a commit, push, relaunch, demo, or handoff
• the user asks to attack, stress test, double-check, verify, or stop trusting first output

Attack Loop

1. State the claim being tested and the blast radius.
2. List likely failure modes: cosmetic-only change, wrong path, stale lane, missing registry entry, bad permissions, protected-path leak, live-service risk, unrelated staged changes, false-positive test.
3. Run positive checks that prove the intended path works.
4. Run negative or mismatch checks when the change has routing, parsing, permission, adapter, or policy behavior.
5. Independently verify collaborator output from local evidence; agent success reports are proposals.
6. Inspect changed/staged scope and protected surfaces before commit, push, or relaunch.
7. Report what failed first, what was fixed, the exact checks run, and residual risk.

Minimum Evidence

• code/config change: syntax or targeted test plus diff scope
• route/skill/registry change: validation plus recommender/activation check
• permission/output-lane change: one accepted packet and one rejected mismatch
• moved/imported tree: source absence, destination presence, file count, protected-surface scan
• Claude output: local file/diff/test evidence, not Claude's wording
• commit/push: staged scope, protected-path scan, GitNexus change detection when applicable

Stop Conditions

Stop and say so when no deterministic check exists, when the negative case unexpectedly passes, when staged scope includes unrelated work, or when a required check needs credentials/live services that are out of scope.

No "looks good" shortcut. Evidence first, then the claim.

Session Notes

2026-07-05

• session: 117m | peak ctx: 0% | compacts: 0
• tools: TaskCreate×505, Bash×119, Read×109, TaskUpdate×8, WebSearch×8, TaskOutput×6, StructuredOutput×4, Write×4, Agent×3, Workflow×2, AskUserQuestion×1
• corrections: none
• errors: none

2026-06-02

• session: 196m | peak ctx: 0% | compacts: 0
• tools: Bash×101, WebSearch×68, WebFetch×67, Read×45, StructuredOutput×18, ToolSearch×13, Write×11, Edit×7, TodoWrite×5, mcp×4, Workflow×3
• corrections: none
• errors: none

2026-05-29

• session: 349m | peak ctx: 71% | compacts: 4
• tools: Bash×268, Read×133, Edit×104, TodoWrite×12, Write×8, StructuredOutput×8, Workflow×2, ToolSearch×1, AskUserQuestion×1
• corrections: none
• errors: none