The grounded surface path (Stage 5d) is now validated live: against an absence-vuln fixture it flagged cra-ai-11 (unprotected login), cra-ai-24 (unlogged admin action), and cra-ai-28/29/30 (unverified firmware update) — each grounded to a real snippet and control-tagged.
Promotion
LUT: the 8 absence-based controls (cra-ai-6,11,12,24,27,28,29,30) move needs_tooling → covered (grounded-control-check binding). CRA coverage is now 21 covered / 0 needs_tooling / 19 not_code_checkable — every code-checkable CRA control is covered.
Enable both advanced LLM passes by default
semantic_mapping (validated in C5) and grounded_control_checks (validated here) now default on. They were gated only for cost/verification; the GPU is in-house so cost isn't a constraint. Both remain no-ops unless BREAKPILOT_BASE_URL is set and the catalog is reachable, and both degrade gracefully if it isn't.
Regression tests (ignored, not run by CI --lib): c5_example2.rs (semantic, 4 varied vulns) and grounded_surface_live.rs (Stage 5d validation).
Green locally (clippy -D warnings, fmt, full suite; control-map coverage test updated to 21/0/19).
The grounded surface path (Stage 5d) is now **validated live**: against an absence-vuln fixture it flagged `cra-ai-11` (unprotected login), `cra-ai-24` (unlogged admin action), and `cra-ai-28/29/30` (unverified firmware update) — each grounded to a real snippet and control-tagged.
**Promotion**
- LUT: the 8 absence-based controls (`cra-ai-6,11,12,24,27,28,29,30`) move **needs_tooling → covered** (grounded-control-check binding). CRA coverage is now **21 covered / 0 needs_tooling / 19 not_code_checkable** — every code-checkable CRA control is covered.
**Enable both advanced LLM passes by default**
- `semantic_mapping` (validated in C5) and `grounded_control_checks` (validated here) now default **on**. They were gated only for cost/verification; the GPU is in-house so cost isn't a constraint. Both remain no-ops unless `BREAKPILOT_BASE_URL` is set and the catalog is reachable, and both degrade gracefully if it isn't.
**Regression tests** (ignored, not run by CI `--lib`): `c5_example2.rs` (semantic, 4 varied vulns) and `grounded_surface_live.rs` (Stage 5d validation).
Green locally (clippy -D warnings, fmt, full suite; control-map coverage test updated to 21/0/19).
🤖 Generated with [Claude Code](https://claude.com/claude-code)
The grounded surface path (Stage 5d) is validated live: against an absence-vuln
fixture it flags cra-ai-11 (unprotected login), cra-ai-24 (unlogged admin action),
and cra-ai-28/29/30 (unverified firmware update), each grounded + control-tagged.
- LUT: promote the 8 absence-based controls (cra-ai-6,11,12,24,27,28,29,30)
needs_tooling -> covered (grounded-control-check binding). CRA coverage is now
21 covered / 0 needs_tooling / 19 not_code_checkable.
- Enable both advanced LLM passes by default: semantic_mapping (validated in C5)
and grounded_control_checks (validated here). Both were gated only for cost /
verification; the GPU is in-house so cost isn't a constraint. Still no-ops
unless breakpilot base_url is set and the catalog is reachable.
- Gated regression tests (ignored, not run by CI --lib): c5_example2.rs (semantic,
4 varied vulns) and grounded_surface_live.rs (Stage 5d validation).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
sharang
merged commit 3e233da128 into main2026-07-22 07:48:52 +00:00
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
The grounded surface path (Stage 5d) is now validated live: against an absence-vuln fixture it flagged
cra-ai-11(unprotected login),cra-ai-24(unlogged admin action), andcra-ai-28/29/30(unverified firmware update) — each grounded to a real snippet and control-tagged.Promotion
cra-ai-6,11,12,24,27,28,29,30) move needs_tooling → covered (grounded-control-check binding). CRA coverage is now 21 covered / 0 needs_tooling / 19 not_code_checkable — every code-checkable CRA control is covered.Enable both advanced LLM passes by default
semantic_mapping(validated in C5) andgrounded_control_checks(validated here) now default on. They were gated only for cost/verification; the GPU is in-house so cost isn't a constraint. Both remain no-ops unlessBREAKPILOT_BASE_URLis set and the catalog is reachable, and both degrade gracefully if it isn't.Regression tests (ignored, not run by CI
--lib):c5_example2.rs(semantic, 4 varied vulns) andgrounded_surface_live.rs(Stage 5d validation).Green locally (clippy -D warnings, fmt, full suite; control-map coverage test updated to 21/0/19).
🤖 Generated with Claude Code