verify(trace): promote 105 verification artifacts from EXECUTED gate evidence (TRACE-P02)

artifacts/verification/FV-FALCON-ADRC-002.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-ADRC-002
     type: sw-verification
     title: "Inner-loop cadence-robustness certification + command-filter primitive — Kani + proptest + flight falsification (v0.33)"
-    status: approved
+    status: verified
     description: >
       Verification of the v0.33 inner-loop robustness work in relay-adrc:
 

artifacts/verification/FV-FALCON-ATMOS-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-ATMOS-001
     type: sw-verification
     title: "Air-density thrust lapse: altitude integral + service ceiling (v1.22.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.22.0 atmosphere / thrust-lapse layer (25 falcon-core
       tests pass, clippy clean, embedded builds), realism arc release 7:

artifacts/verification/FV-FALCON-ATT-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-ATT-001
     type: sw-verification
     title: "Unit + property tests for relay-att + cascade hover bench (v0.4)"
-    status: approved
+    status: verified
     description: >
       v0.4 verification of the attitude controller (`relay-att`) and
       the full ATT → RATE → MIX → plant cascade closed-loop bench.

artifacts/verification/FV-FALCON-AVOID-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-AVOID-001
     type: sw-verification
     title: "Reactive keep-out zone avoidance (v1.31.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.31.0 keep-out avoidance (falcon-core 34 tests,
       clippy clean, embedded builds):

artifacts/verification/FV-FALCON-BARO-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-BARO-001
     type: sw-verification
     title: "Barometer fusion holds altitude through GPS-vertical loss (v1.20.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.20.0 barometer-fusion layer (21 falcon-core tests
       pass, clippy clean), realism arc release 5:

artifacts/verification/FV-FALCON-BAROMAGDRV-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-BAROMAGDRV-001
     type: sw-verification
     title: "Mag (IST8310) + baro (BMP388) driver bodies — mock-bus tests + Kani (falcon v1.45)"
-    status: approved
+    status: verified
     description: >
       Verifies SWREQ-FALCON-BAROMAGDRV-P01. The falcon-baromag crate (no_std/
       no_alloc/forbid-unsafe) provides the IST8310 magnetometer and BMP388

artifacts/verification/FV-FALCON-BATTERY-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-BATTERY-001
     type: sw-verification
     title: "Low-battery failsafe on a real draining pack (v1.21.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.21.0 battery-drain layer (22 falcon-core tests pass,
       clippy clean, embedded builds), realism arc release 6 (energy realism):

artifacts/verification/FV-FALCON-CALIB-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-CALIB-001
     type: sw-verification
     title: "Sensor calibration — synthetic-recovery + Kani totality + estimator consumption (falcon v1.98)"
-    status: implemented
+    status: verified
     description: >
       Verifies SWREQ-FALCON-CALIB-P01. Three layers:
 

artifacts/verification/FV-FALCON-CMDLONG-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-CMDLONG-001
     type: sw-verification
     title: "MAVLink COMMAND_LONG codec + RTL builder — round-trip, CRC_EXTRA, length-rejection (v0.14.2 carrier)"
-    status: implemented
+    status: verified
     description: >
       Verifies SWREQ-FALCON-MAVLINK-P05 (the COMMAND_LONG message + RTL builder,
       added at v0.14.2 after the v0.1 codec that FV-FALCON-MAVLINK-001 covers).

artifacts/verification/FV-FALCON-COV-004.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-COV-004
     type: sw-verification
     title: "Cascade witness MC/DC via wasmtime+WASI subprocess harness (v0.15.1)"
-    status: approved
+    status: verified
     description: >
       v0.15.1 closes the cascade-target witness coverage WASI gap
       recorded in FV-FALCON-COV-001 (v0.13) and confirmed in

artifacts/verification/FV-FALCON-COV-005.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-COV-005
     type: sw-verification
     title: "witness harness improvements + bazel macro (v0.16.0)"
-    status: approved
+    status: verified
     description: >
       v0.16.0 lands two harness improvements that close v0.15.1's
       deferred items 1 + 3, plus an upstream-bug report for item 2.

artifacts/verification/FV-FALCON-CPREV-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-CPREV-001
     type: sw-verification
     title: "Collision prevention + precision landing — relay-avoid tests + Kani (falcon v1.44)"
-    status: approved
+    status: verified
     description: >
       Verifies SWREQ-FALCON-CPREV-P01. The relay-avoid crate (no_std/no_alloc/
       forbid-unsafe) provides the collision-prevention velocity limiter

artifacts/verification/FV-FALCON-DC-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-DC-001
     type: sw-verification
     title: "DroneCAN v0 transfer layer — relay-dronecan tests + Kani buffer-bound/totality proofs (DC-P01, v1.92)"
-    status: implemented
+    status: verified
     description: >
       Verifies SWREQ-FALCON-DC-P01. The relay-dronecan crate (no_std/no_alloc/
       forbid-unsafe) implements the DroneCAN v0 transfer layer. Test-level

artifacts/verification/FV-FALCON-DC-002.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-DC-002
     type: sw-verification
     title: "DroneCAN ESC control path — NodeStatus/RawCommand codecs + single-frame TX, Kani-bounded (DC-P02, v1.93)"
-    status: implemented
+    status: verified
     description: >
       Verifies SWREQ-FALCON-DC-P02. relay-dronecan gains the ESC-path message
       codecs (msg.rs) and the single-frame transfer encoder (transfer.rs).

artifacts/verification/FV-FALCON-DC-003.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-DC-003
     type: sw-verification
     title: "DroneCAN sensor ingest — float16 + esc.Status/mag/baro/battery decoders, Kani read_bits bound (DC-P03, v1.94)"
-    status: implemented
+    status: verified
     description: >
       Verifies SWREQ-FALCON-DC-P03. relay-dronecan gains the float16 primitive
       (float16.rs) and the sensor-ingest decoders (sensors.rs). Test-level

artifacts/verification/FV-FALCON-DC-004.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-DC-004
     type: sw-verification
     title: "DroneCanNode async pump + NodeStatus heartbeat — sync/async equivalence + round-trip (DC-P04, v1.95)"
-    status: implemented
+    status: verified
     description: >
       Verifies SWREQ-FALCON-DC-P04. relay-dronecan gains the node runtime
       (node.rs) and the heartbeat encoder (msg.rs encode_node_status).

artifacts/verification/FV-FALCON-DC-CONFORMANCE.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-DC-CONFORMANCE
     type: sw-verification
     title: "DroneCAN wire conformance — pydronecan reference-vector validation (fixes the DSDL bit-order bug)"
-    status: implemented
+    status: verified
     description: >
       Verifies SWREQ-FALCON-DC-P02 + SWREQ-FALCON-DC-P03 along the CONFORMANCE
       axis (does the decode match the real DSDL?), which the prior FV-FALCON-DC-002

artifacts/verification/FV-FALCON-DRAG-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-DRAG-001
     type: sw-verification
     title: "Quadratic aerodynamic drag: tracking + damping (v1.17.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.17.0 aerodynamic-drag layer (17 falcon-core tests
       pass, clippy clean), realism arc release 2:

artifacts/verification/FV-FALCON-EKF-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-EKF-001
     type: sw-verification
     title: "Unit + property tests + accuracy bench for relay-ekf (v0.2)"
-    status: approved
+    status: verified
     description: >
       v0.2 verification of the real Mahony complementary-filter
       attitude estimator (`relay-ekf`). Replaces the v0.1 stub

artifacts/verification/FV-FALCON-EKF-002.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-EKF-002
     type: sw-verification
     title: "Adaptive IEKF process noise — Kani bound + mechanism test + decisive real-gz ANEES A/B (v0.35)"
-    status: approved
+    status: verified
     description: >
       Verification of the v0.35 motion-adaptive process-noise inflation:
 

artifacts/verification/FV-FALCON-EKF-STUB-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-EKF-STUB-001
     type: sw-verification
     title: "Unit + property tests for relay-ekf-stub (v0.1)"
-    status: approved
+    status: verified
     description: >
       Cargo unit + proptest verification of the relay-ekf-stub
       placeholder state estimator. Covers the v0.1 surrogate for

artifacts/verification/FV-FALCON-ESCDRV-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-ESCDRV-001
     type: sw-verification
     title: "ESC DShot + battery driver — protocol tests + Kani (falcon v1.43)"
-    status: approved
+    status: verified
     description: >
       Verifies SWREQ-FALCON-ESCDRV-P01. The falcon-esc-dshot crate (no_std/
       no_alloc/forbid-unsafe) provides the DShot throttle encoder

artifacts/verification/FV-FALCON-FAULT-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-FAULT-001
     type: sw-verification
     title: "EKF-divergence watchdog — Verus + Kani + SITL fault-injection (v0.8 + v0.9.1)"
-    status: approved
+    status: verified
     description: >
       v0.8 verification of the EKF-divergence safety path:
       relay-hs EkfHealthMonitor + the falcon-sitl-hover `fault`

artifacts/verification/FV-FALCON-FAULT-002.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-FAULT-002
     type: sw-verification
     title: "Single-rotor-loss fault tolerance — Kani MIX-P08 + FDI contract + reduced-attitude + end-to-end composition (v0.26)"
-    status: implemented
+    status: verified
     release: falcon-v1.103.0
     description: >
       Three independently-verified components plus an end-to-end

artifacts/verification/FV-FALCON-FAULT-003.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-FAULT-003
     type: sw-verification
     title: "Single-rotor-out FULL-LOOP recovery — parasitic-free rank-3 allocation + production-core spin-descent oracle (v1.114)"
-    status: implemented
+    status: verified
     release: falcon-v1.114.0
     description: >
       Strengthens FV-FALCON-FAULT-002. That artifact verified the

artifacts/verification/FV-FALCON-FLOWRANGE-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-FLOWRANGE-001
     type: sw-verification
     title: "Rangefinder + optical-flow preprocessing — relay-flowrange tests + Kani (falcon v1.51)"
-    status: approved
+    status: verified
     description: >
       Verifies SWREQ-FALCON-FLOWRANGE-P01. The relay-flowrange crate (no_std/
       no_alloc/forbid-unsafe): range_to_altitude (tilt-compensated, band-gated) +

artifacts/verification/FV-FALCON-FSAFE-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-FSAFE-001
     type: sw-verification
     title: "Failsafe arbiter — relay-fsafe tests + exhaustive Kani (falcon v1.41)"
-    status: approved
+    status: verified
     description: >
       Verifies SWREQ-FALCON-FSAFE-P01. The relay-fsafe crate (no_std/no_alloc,
       forbid-unsafe) implements the FailsafeArbiter — the single prioritized

artifacts/verification/FV-FALCON-FSM-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-FSM-001
     type: sw-verification
     title: "Flight-mode FSM — Kani disarm-safety + failsafe-recovery + lifecycle tests (v1.7.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.7.0 flight-mode state machine (relay-fsm):
 

artifacts/verification/FV-FALCON-GEO-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-GEO-001
     type: sw-verification
     title: "Geofence safety path — Verus proofs + SITL EW-spoof scenario (v0.10)"
-    status: approved
+    status: verified
     description: >
       v0.10 verification of the geofence safety path: the
       relay-lc Verus-verified Geofence engine + the falcon-sitl-hover

artifacts/verification/FV-FALCON-GEO-002.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-GEO-002
     type: sw-verification
     title: "Geofence::check — Kani bounded model checking (v0.11)"
-    status: approved
+    status: verified
     description: >
       v0.11 Kani harness pack on `relay_lc::engine::Geofence::check`.
       Mirrors the v0.9.1 pattern that pinned EkfHealthMonitor with

artifacts/verification/FV-FALCON-GNDEFFECT-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-GNDEFFECT-001
     type: sw-verification
     title: "Ground effect: aids takeoff, documented landing float (v1.24.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.24.0 ground-effect layer (29 falcon-core tests pass,
       clippy clean, embedded builds), realism arc release 9:

artifacts/verification/FV-FALCON-GNSS-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-GNSS-001
     type: sw-verification
     title: "Noisy + intermittent GNSS: variance-matched hold vs over-trust divergence (v1.19.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.19.0 GNSS-realism layer (20 falcon-core tests pass,
       clippy clean), realism arc release 4:

artifacts/verification/FV-FALCON-GNSSDRV-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-GNSSDRV-001
     type: sw-verification
     title: "GNSS UBX driver — protocol round-trip tests + Kani totality (falcon v1.42)"
-    status: approved
+    status: verified
     description: >
       Verifies SWREQ-FALCON-GNSSDRV-P01. The falcon-gnss-ubx crate (no_std/
       no_alloc/forbid-unsafe) implements UbxParser, a streaming UBX frame parser

artifacts/verification/FV-FALCON-GZGE-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-GZGE-001
     type: sw-verification
     title: "Custom gz ground-effect plugin — cushion holds the vehicle aloft (v1.32.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.32.0 falcon GroundEffect gz-sim8 plugin. BENCH-ONLY:
       Gazebo is not in CI (the CI gate skips gz/meld/bazel steps), so this runs

artifacts/verification/FV-FALCON-HAL-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-HAL-001
     type: sw-verification
     title: "Backend-agnostic flight core — HAL seam + verified cascade stabilizes through it (v1.1.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.1.0 hardware-abstraction-layer seam (new crate
       falcon-core):

artifacts/verification/FV-FALCON-HAL-002.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-HAL-002
     type: sw-verification
     title: "Altitude hold + disturbance rejection through the HAL (v1.2.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.2.0 altitude/thrust loop + disturbance rejection
       in falcon-core (4 tests pass, clippy clean):

artifacts/verification/FV-FALCON-HAL-003.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-HAL-003
     type: sw-verification
     title: "Full 6-DoF position hold through the HAL — complete hover stack (v1.3.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.3.0 horizontal position loop in falcon-core
       (5 tests pass, clippy clean):

artifacts/verification/FV-FALCON-HITL-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-HITL-001
     type: sw-verification
     title: "HITL RF-spoof harness — verdict contract + stub-backend regression (v0.11)"
-    status: approved
+    status: verified
     description: >
       v0.11 verification of the HITL harness that exercises the
       formally verified geofence safety path against an RF GPS

artifacts/verification/FV-FALCON-HITL-002.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-HITL-002
     type: sw-verification
     title: "HITL MavlinkBench — GLOBAL_POSITION_INT-driven backend (v0.12)"
-    status: approved
+    status: verified
     description: >
       v0.12 verification of the MavlinkBench backend that closes
       the live-FC telemetry gap recorded in FV-FALCON-HITL-001.

artifacts/verification/FV-FALCON-HWSEAM-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-HWSEAM-001
     type: sw-verification
     title: "Real-hardware backend seam composed end-to-end (v1.11.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.11.0 hardware seam (12 falcon-core tests pass,
       clippy clean, embedded Cortex-M crate still builds):

artifacts/verification/FV-FALCON-IEKF-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-IEKF-001
     type: sw-verification
     title: "IEKF SITL accuracy bench — full-state position/velocity tracking (falcon v1.38)"
-    status: approved
+    status: verified
     description: >
       Verifies SWREQ-FALCON-IEKF-P01. The falcon-iekf-bench example exercises the
       verified relay-iekf full-state Invariant EKF over a deterministic 30 s

artifacts/verification/FV-FALCON-IMUBIAS-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-IMUBIAS-001
     type: sw-verification
     title: "IEKF under random-walk gyro bias-instability (v1.18.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.18.0 IMU bias-instability layer (18 falcon-core
       tests pass, clippy clean), realism arc release 3 (first sensor-fidelity

artifacts/verification/FV-FALCON-IMUDRV-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-IMUDRV-001
     type: sw-verification
     title: "Reference ICM-42688 IMU driver: protocol + scaling against a mock bus (v1.13.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.13.0 falcon-imu-icm42688 driver (4 tests pass,
       clippy clean), the first concrete driver against the v1.11 ImuDriver seam:

artifacts/verification/FV-FALCON-LINK-001.yaml

@@ -2,7 +2,7 @@ artifacts:
   - id: FV-FALCON-LINK-001
     type: sw-verification
     title: "HITL link backend: closed loop over the framed wire protocol (v1.14.0)"
-    status: approved
+    status: verified
     description: >
       Verification of the v1.14.0 falcon-hitl LinkBackend (2 tests pass, clippy
       clean), the third backend behind the HAL seam: