Skip to content

security: verify-or-drop refuter, exclusion list and variant analysis - #1972

Closed
remigiusz-antczak wants to merge 1 commit into
mainfrom
land/1965
Closed

remigiusz-antczak wants to merge 1 commit into
mainfrom
land/1965

Conversation

@remigiusz-antczak

Copy link
Copy Markdown
Collaborator

Supersedes #1965. It carries the same change as one squashed commit on current main, plus the size-budget-raise: lines that the size ratchet required and that failed #1965. The full description and review history are on #1965.

Tests: privacy clean, size-ratchet pass, plus the PR's own suites (see the commit message).

🤖 Generated with Claude Code

https://claude.ai/code/session_014QNFFPWVcPUbeuvwM5fk2Z

…ty path

New references/appsec-verify.md (routed from security-appsec.md and full-map.md):
a security finding needs a source-to-sink file:line path or drops to a question,
a default false-positive exclusion list is tunable via .dcr-security-exclusions
(High and Critical are never dropped by it; the override file is untrusted and
non-default additions are surfaced), and a confirmed finding triggers a repo-wide
sibling search. security_verify.py checks claim shape, applies exclusions, emits a
record with active exclusions and override status, and fails closed on bad input;
three evals added.

Not done here per lane contract: INDEX.md, SHA256SUMS, size-budgets.tsv
(the size-budget check fails until the lane owner adds the new file's row).

Tests: 21/21 assert statements in scripts/test_security_verify.py pass

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_014QNFFPWVcPUbeuvwM5fk2Z
@remigiusz-antczak

Copy link
Copy Markdown
Collaborator Author

Superseded by #1976.

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