Replace argument recovery with direct build targets. Run host, target,
board, coverage, Miri and selected Kani checks while retaining source
identities, logs and artifacts, including failed attempts.
Keep the PID proof diagnostic exception explicit and match its exact
identity alongside passing contract assertions and covers.
Validation: final-source verification matrix, assembled workflow tests
and documentation build.
Drain bounded MPU6000 and ICM-42688 FIFO batches. Publish the latest
validated sample only after overflow checks. Reject invalid drains.
Validation: driver, sensor and platform tests plus both ARM release builds
from a fresh build directory.
Validate configuration through its owning schemas and keep board
declarations separate from shared F722 resource ownership. Bound USB
transitions, isolate transport failures and retain restart-only activation.
Migrate navigation and flight consumers with the sensor and schema
contracts. Require explicit installation data and synchronous output
authority; board motor outputs remain inhibited.
Validation: assembled-prefix host tests, strict Clippy, platform/USB tests
and both ARM release builds. Final-source coverage and scoped Miri/Kani
evidence are retained separately from hardware qualification.
Reject invalid DShot and PWM timer domains and widen arming-duration
calculations before composing their results.
Validation: actuator tests, strict Clippy and five Kani component proofs.
Remove the retired simulator workspace member, dependencies, workflow
and documentation. Keep the shared flight and hardware crates.
Validation: retirement prefix host check, command-dispatch tests and
book build.
Onur Özkan