feat(verify): census the whole-crate verification steps (weak evidence, #262)

[avrabe]

The warn half of #262’s warn-then-fail proposal. Reports; does not fail.

Why now

The whole-crate step count is regressing: ~54 at the 2026-07 traceability audit, 70 measured today. Without a signal it drifts back up as fast as it is worked down.

What a whole-crate step costs

cargo test -p X with no test named asserts "something in this crate passes", not "this test verifies this requirement".

It is also the one step shape that cannot detect evidence drift. The existing guard (cargo_tests_passed(...) == 0, pulseengine.eu#89) needs a name to check against — so under a whole-crate step, a test that is renamed, deleted, or #[ignore]d leaves the step green.

That is not hypothetical. FV-FALCON-NOTCH-001 runs cargo test -p falcon-core as its closed-loop evidence for NOTCH-P01, and the only notch test in that crate is #[ignore]d pending #290. The step runs 60 unrelated tests and reports PASS. Reported on #290.

Behaviour

• Annotates each whole-crate step inline
• Prints a census at the end — including on green runs, because a gate that only speaks when it fails cannot show a backlog shrinking
• Pass/fail is unchanged; exit code is unchanged

$ python3 scripts/run-falcon-verification.py --filter (has-tag "wasm-pipeline")
  [   PASS] (0.16s) FV-FALCON-PIPELINE-001: cargo test -p relay-mix-quad — WHOLE-CRATE step: names no test (#262)
  [   PASS] (0.13s) FV-FALCON-PIPELINE-001: cargo test -p relay-rate — WHOLE-CRATE step: names no test (#262)
  [   PASS] (0.11s) FV-FALCON-PIPELINE-001: cargo test -p falcon-sitl-hover — WHOLE-CRATE step: names no test (#262)

# 3 whole-crate step(s) — weak evidence, name the verifying test(s) (#262):
EXIT=0

Why warn and not fail

The backlog is 70 steps; failing immediately would block unrelated work. Convert to a hard failure once it is worked down — #343 starts that (70 → 65).

Authored during the 2026-08-06 GitHub Actions outage; checks dispatch when Actions recovers.

🤖 Generated with Claude Code

https://claude.ai/code/session_01HvusAXYbHLyv3uTzfBcMbG