public/kaptan
1
Fork 0
Code Issues 24 Pull Requests Actions Packages Projects Releases Wiki Activity
167 Commits 2 Branches 0 Tags
main
Commit Graph
10 Commits
Author SHA1 Message Date
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 fb1b8af2d1 fix(actuator): validate reference timing calculations 
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.
 2026-11-07 18:12:11 +03:00
Onur Özkan 3226ef97fe refactor(firmware): remove the retired simulation workflow 
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.
 2026-11-07 18:12:11 +03:00
Onur Özkan 7dc3ccb619 build: add directory-oriented make workflows
Host SITL smoke / Deterministic Gazebo command path (push) Has been cancelled
Details
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 9fec2fa095 refactor(errors): adopt reportable error terminology 2026-08-23 00:49:25 +03:00
Onur Özkan fdf82a5114 refactor(firmware): simplify configuration and diagnostics 2026-08-23 00:40:36 +03:00
Onur Özkan b7631c0bc7 feat(configurator): add web configuration console 2026-08-22 18:40:43 +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