8 Commits

Include renames

Author	SHA1	Message	Date
Onur Özkan	62b18d5b2e	build: replace argument dispatch and retain source-bound verification ... 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.	2026-11-07 18:12:11 +03:00
Onur Özkan	f9a61a086f	feat(firmware): validate configuration and migrate sensor-driven flight APIs ... 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.	2026-11-07 18:12:11 +03:00
Onur Özkan	7dc3ccb619	build: add directory-oriented make workflows	2026-08-30 07:05:01 +03:00
Onur Özkan	5f91465e66	feat(mavlink): adopt the kaptan-native dialect	2026-08-24 00:56:06 +03:00
Onur Özkan	fdf82a5114	refactor(firmware): simplify configuration and diagnostics	2026-08-23 00:40:36 +03:00
Onur Özkan	ceb2134392	build(f722): centralize linker layout	2026-08-22 18:38:06 +03:00
Onur Özkan	387fdaad23	refactor(firmware): centralize configuration and diagnostics	2026-08-22 18:37:18 +03:00
Onur Özkan	f03fc119a4	refactor: move firmware workspace under firmware	2026-08-10 16:58:55 +03:00