From 4e84696092387c05cb8fc3c4828f152a4ef7abc4 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Thu, 6 Aug 2026 22:30:45 +0200 Subject: [PATCH] perf(verify): name the tests 5 falcon-core verification steps actually rely on MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Measured, not guessed. `cargo test -p falcon-core` is 60 tests / 51s, and the verification sweep runs it as a WHOLE-CRATE step 8 times — ~408s of one sweep spent re-running the same suite for artifacts that each care about 1-3 tests. Converts 5 of those 8 to named filters. Every one was verified locally to execute >0 tests and pass: partitioned 3 passed 7.44s (FV-FALCON-PART-001, debug + release) gnss 3 passed 15.65s (FV-FALCON-GNSS-002) prearm 2 passed 0.15s (FV-FALCON-PREARM-003) battery 2 passed 0.53s (FV-FALCON-BATTERY-002) sag_punch 1 passed 0.62s (FV-FALCON-BATTERY-002, "sag-compensated") range 1 passed 1.87s (FV-FALCON-RANGEDRV-001) partitioned 3 passed 0.27s (--release variant) 6 whole-crate steps (>=306s) -> 7 named steps (31s measured). This is #262 part 2. Part 1 (the `release:` backfill) shipped as TRACE-P01 in v1.132. Whole-crate executable steps repo-wide: 70 -> 65. Beyond speed, this is the traceability point: a whole-crate step says "something in this crate passes", a named step says "THIS test verifies this requirement" — and the gate already fails a named step that runs 0 tests (`cargo_tests_passed(...) == 0`, pulseengine.eu#89), so named steps are self-checking against evidence drift in a way whole-crate steps are not. NOT converted, deliberately: - FV-FALCON-NOTCH-001 — the only notch test in falcon-core (`notch_reduces_rate_loop_noise_under_rotor_vibration`) is `#[ignore]`d pending #290, so naming it would run 0 tests and correctly FAIL the gate. That is a real evidence gap, reported on #290 rather than hidden here. - FV-FALCON-FLOAT-001, FV-FALCON-MAVLINK-003 — the intended test set is not unambiguous from the artifact; left whole-crate rather than guessed. `rivet validate` PASS (warnings 352 -> 350). Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01HvusAXYbHLyv3uTzfBcMbG --- artifacts/verification/FV-FALCON-BATTERY-002.yaml | 3 ++- artifacts/verification/FV-FALCON-GNSS-002.yaml | 2 +- artifacts/verification/FV-FALCON-PART-001.yaml | 4 ++-- artifacts/verification/FV-FALCON-PREARM-003.yaml | 2 +- artifacts/verification/FV-FALCON-RANGEDRV-001.yaml | 2 +- 5 files changed, 7 insertions(+), 6 deletions(-) diff --git a/artifacts/verification/FV-FALCON-BATTERY-002.yaml b/artifacts/verification/FV-FALCON-BATTERY-002.yaml index 60dad8b1..8b1e3a6c 100644 --- a/artifacts/verification/FV-FALCON-BATTERY-002.yaml +++ b/artifacts/verification/FV-FALCON-BATTERY-002.yaml @@ -41,7 +41,8 @@ artifacts: steps: - run: cargo test -p relay-batt - run: cargo test -p relay-batt --release - - run: cargo test -p falcon-core + - run: cargo test -p falcon-core battery + - run: cargo test -p falcon-core sag_punch - run: cargo kani -p relay-batt links: - type: verifies diff --git a/artifacts/verification/FV-FALCON-GNSS-002.yaml b/artifacts/verification/FV-FALCON-GNSS-002.yaml index d1225231..af9390f7 100644 --- a/artifacts/verification/FV-FALCON-GNSS-002.yaml +++ b/artifacts/verification/FV-FALCON-GNSS-002.yaml @@ -35,7 +35,7 @@ artifacts: method: automated-test steps: - run: cargo test -p falcon-gnss-ubx - - run: cargo test -p falcon-core + - run: cargo test -p falcon-core gnss - run: cargo kani -p falcon-gnss-ubx links: - type: verifies diff --git a/artifacts/verification/FV-FALCON-PART-001.yaml b/artifacts/verification/FV-FALCON-PART-001.yaml index f579f79f..91479e75 100644 --- a/artifacts/verification/FV-FALCON-PART-001.yaml +++ b/artifacts/verification/FV-FALCON-PART-001.yaml @@ -44,8 +44,8 @@ artifacts: fields: method: automated-test steps: - - run: cargo test -p falcon-core - - run: cargo test -p falcon-core --release + - run: cargo test -p falcon-core partitioned + - run: cargo test -p falcon-core --release partitioned links: - type: verifies target: SWREQ-FALCON-PART-P01 diff --git a/artifacts/verification/FV-FALCON-PREARM-003.yaml b/artifacts/verification/FV-FALCON-PREARM-003.yaml index 8f1a8964..174fda0b 100644 --- a/artifacts/verification/FV-FALCON-PREARM-003.yaml +++ b/artifacts/verification/FV-FALCON-PREARM-003.yaml @@ -41,7 +41,7 @@ artifacts: steps: - run: cargo test -p relay-preflight - run: cargo test -p relay-preflight --release - - run: cargo test -p falcon-core + - run: cargo test -p falcon-core prearm - run: cargo kani -p relay-preflight links: - type: verifies diff --git a/artifacts/verification/FV-FALCON-RANGEDRV-001.yaml b/artifacts/verification/FV-FALCON-RANGEDRV-001.yaml index 088b8689..adc1a2b8 100644 --- a/artifacts/verification/FV-FALCON-RANGEDRV-001.yaml +++ b/artifacts/verification/FV-FALCON-RANGEDRV-001.yaml @@ -44,7 +44,7 @@ artifacts: steps: - run: cargo test -p relay-flowrange - run: cargo test -p relay-flowrange --release - - run: cargo test -p falcon-core + - run: cargo test -p falcon-core range - run: cargo kani -p relay-flowrange links: - type: verifies