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
12 Commits
Author SHA1 Message Date
Onur Özkan d32b03c87f feat(drivers): validate bounded IMU FIFO acquisition 
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.
 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 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 84807dde4e fix(diagnostics): bound formatting and release ingress before callbacks 
Bound UTF-8 formatting and release diagnostic ingress before invoking
callbacks. Check error-ID collisions at Rust/C++ release final link.

Validation: diagnostic tests, strict Clippy, Miri and final-link cases.
 2026-11-07 18:12:11 +03:00
Onur Özkan 604a7aba86 feat(f722): add usb mavlink transport 2026-09-06 23:14:00 +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 ba9c97ed3b feat(errors): add stable error propagation 2026-08-23 00:40:17 +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