Verify Fix
Objective
Determine whether each supplied security finding has been fixed in the current checkout. Operate in standalone verification-only mode; do not create, modify, or delete repository files, apply patches, commit changes, write artifacts, or modify issue trackers.
Assessment Method
Use ../../references/static-finding-assessment.md to identify the original attacker-controlled source, security control, sensitive sink, reachable path, trust boundary, counterevidence, and proof gaps. If the caller already supplied that reference in the prompt, use the supplied contents without reading it again.
Verification Workflow
- Establish the original vulnerability, its preconditions, affected security boundary, and legitimate behavior that must continue to work.
- Confirm the current checkout contains the affected component. Follow moved or refactored code rather than treating a missing file, removed line, or changed function name as proof of remediation.
- Trace the original exploit path through the current implementation and check the nearest relevant control, equivalent paths, and plausible bypasses.
- Run the original reproducer, focused regression checks, or legitimate-behavior checks only when they can run without modifying the repository. Preserve exact static evidence when runtime checks are unavailable.
- Return one result per supplied finding, in the requested order. Treat closed tickets, unrelated passing tests, and the absence of a new scan finding as insufficient proof.
Result Contract
Return exactly one JSON object:
{
"results": [
{
"id": "finding-or-issue-id",
"status": "fixed|still_vulnerable|inconclusive",
"evidence": "specific current source, exploit, test, or proof-gap evidence"
}
]
}
- Use
fixed only when evidence proves the original security boundary is closed and legitimate behavior remains intact.
- Use
still_vulnerable only when evidence proves the original vulnerable path remains reachable.
- Use
inconclusive for a repository mismatch, missing original context, unavailable relevant checks, an unproven legitimate control, or another material proof gap.
Never infer a stronger verdict by weakening the read-only boundary, substituting a different vulnerability, or hiding missing evidence.
1---2name: verify-fix3description: Use when the user asks whether an existing security fix, patch, finding, or completed issue actually remediates the original vulnerability without modifying the repository. Do not use to validate candidate findings, implement patches, or run full repository scans.4---56# Verify Fix78## Objective910Determine whether each supplied security finding has been fixed in the current checkout. Operate in standalone verification-only mode; do not create, modify, or delete repository files, apply patches, commit changes, write artifacts, or modify issue trackers.1112## Assessment Method1314Use `../../references/static-finding-assessment.md` to identify the original attacker-controlled source, security control, sensitive sink, reachable path, trust boundary, counterevidence, and proof gaps. If the caller already supplied that reference in the prompt, use the supplied contents without reading it again.1516## Verification Workflow17181. Establish the original vulnerability, its preconditions, affected security boundary, and legitimate behavior that must continue to work.192. Confirm the current checkout contains the affected component. Follow moved or refactored code rather than treating a missing file, removed line, or changed function name as proof of remediation.203. Trace the original exploit path through the current implementation and check the nearest relevant control, equivalent paths, and plausible bypasses.214. Run the original reproducer, focused regression checks, or legitimate-behavior checks only when they can run without modifying the repository. Preserve exact static evidence when runtime checks are unavailable.225. Return one result per supplied finding, in the requested order. Treat closed tickets, unrelated passing tests, and the absence of a new scan finding as insufficient proof.2324## Result Contract2526Return exactly one JSON object:2728```json29{30 "results": [31 {32 "id": "finding-or-issue-id",33 "status": "fixed|still_vulnerable|inconclusive",34 "evidence": "specific current source, exploit, test, or proof-gap evidence"35 }36 ]37}38```3940- Use `fixed` only when evidence proves the original security boundary is closed and legitimate behavior remains intact.41- Use `still_vulnerable` only when evidence proves the original vulnerable path remains reachable.42- Use `inconclusive` for a repository mismatch, missing original context, unavailable relevant checks, an unproven legitimate control, or another material proof gap.4344Never infer a stronger verdict by weakening the read-only boundary, substituting a different vulnerability, or hiding missing evidence.
bex-co