Skip to content

Clarify that an unproven-hop lead is excluded from totals; split eval expectation - #2304

Merged
remigiusz-antczak merged 2 commits into
mainfrom
fix/fp-guard-nits-3
Nov 12, 2026
Merged

remigiusz-antczak merged 2 commits into
mainfrom
fix/fp-guard-nits-3

Conversation

@remigiusz-antczak

Copy link
Copy Markdown
Collaborator

Step 5 of whole-app security mode now says a lead for an unproven hop is not a finding and does not count toward severity totals, citing appsec-verify.md. Eval env-gated-dev-bypass-not-reported splits its unverified expectation into two atomic lines. Replaces #2302.

Local gates: mustload ok, test_appsec_split 7/7, test-ci-gates 165/168 on this branch.

Env-only reds: the same 3 checks fail on clean origin/main 601eb89 in the same environment (also 165/168 there), so they are not caused by this change:

  1. size: the real repo's SKILL.md/references files are all within their frozen byte budget (budgets stale on main; CI regenerates derived rows)
  2. dcr-gates opt-in: all three gates are off by default (sandbox serial_gate lock limits)
  3. dcr-gates opt-in: refix_gate passes with a Refix-Reason trailer (same cause)

🤖 Generated with Claude Code

… expectation

Whole-app security mode step 5 now states that a lead for an unproven hop is not a finding and does not count toward severity totals, citing appsec-verify.md. Eval env-gated-dev-bypass-not-reported splits its unverified expectation into two atomic lines.

Tests: 165/165 applicable gates in scripts/test-ci-gates.sh. Three checks (size byte-budget, dcr-gates opt-in default-off, refix_gate Refix-Reason) fail identically on clean origin/main 601eb89 in the same environment, so they are environment-only and excluded. mustload ok, test_appsec_split 7/7.

size-budget-raise: .claude/skills/deep-code-review/references/security-review-mode.md 14821→14908 clarify unverified vs ❓ in step 5

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@remigiusz-antczak
remigiusz-antczak merged commit 445a468 into main Nov 12, 2026
11 checks passed
@remigiusz-antczak
remigiusz-antczak deleted the fix/fp-guard-nits-3 branch November 12, 2026 09:35
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