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
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Onur Özkan 6e6c03cb6b docs: track remaining flight-controller work
Firmware gates / Source-bound firmware verification (push) Canceled after 0s
Details 
List the remaining physical flight integration, peripheral support and
hardware verification tasks.
 2026-11-07 18:12:11 +03:00
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 4953f0a974 fix(ground-suite): handle failed UTF-16 conversion sizes 
Reject failed UTF-16 sizing queries before allocating the UTF-8 result
and preserve terminating-NUL accounting.

Validation: nine host-stub cases with 16-bit wchar_t; native Windows
execution remains unverified.
 2026-11-07 18:12:11 +03:00
Onur Özkan a78754d909 build(ground-suite): add a separate pinned Flutter shell 
Provide a separate Flutter development shell from the existing locked
Nix input and document the application build commands.

Validation: locked environment/version probe; no native application
qualification is claimed.
 2026-11-07 18:12:11 +03:00
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 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 53e57c5d73 ground_suite: init template layout
Host SITL smoke / Deterministic Gazebo command path (push) Canceled after 0s
Details 
Signed-off-by: Onur Özkan <work@onurozkan.dev>
 2026-09-25 11:46:29 +03:00
Onur Özkan 3ae1a8efb1 docs: document usb mavlink and configurator startup
Host SITL smoke / Deterministic Gazebo command path (push) Canceled after 0s
Details
2026-09-06 23:14:39 +03:00
Onur Özkan 1f74983d61 fix(configurator): allow startup without arguments 2026-09-06 23:14:16 +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 4bc98adbc6 docs: document the kaptan-native protocol 2026-08-24 00:56:32 +03:00
Onur Özkan 5f91465e66 feat(mavlink): adopt the kaptan-native dialect 2026-08-24 00:56:06 +03:00
Onur Özkan 1c90870634 fix(f722): bound flash operations from sram 2026-08-24 00:55:48 +03:00
Onur Özkan 9fec2fa095 refactor(errors): adopt reportable error terminology 2026-08-23 00:49:25 +03:00
Onur Özkan 21e9497915 docs: update configuration and diagnostics 2026-08-23 00:40:50 +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 97acb2a2d7 docs: document board configuration workflow 2026-08-22 18:41:07 +03:00
Onur Özkan b7631c0bc7 feat(configurator): add web configuration console 2026-08-22 18:40:43 +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 7048ed89d0 remove experimental ground-suite project 
Signed-off-by: Onur Özkan <work@onurozkan.dev>
 2026-08-17 19:04:39 +03:00
Onur Özkan 43347c1172 docs: describe tactical Ground Suite workspace 2026-08-13 20:05:37 +03:00
Onur Özkan 35e0fd8741 feat(ground-suite): add tactical command workspace 2026-08-13 20:04:33 +03:00
Onur Özkan 00a3a9f908 feat(ground-suite): add tactical interaction state 2026-08-13 20:02:51 +03:00
Onur Özkan cc9e9919db feat(ground-suite): add local vehicle catalog 2026-08-13 20:02:42 +03:00
Onur Özkan 2fe54fb053 add quad assets 
Signed-off-by: Onur Özkan <work@onurozkan.dev>
 2026-08-11 22:35:32 +03:00
Onur Özkan f03fc119a4 refactor: move firmware workspace under firmware 2026-08-10 16:58:55 +03:00
Onur Özkan 153b0bf262 feat(ground-suite): redesign observability console 2026-08-10 16:46:36 +03:00
Onur Özkan c67d553076 feat(ground-suite): add theme selector 2026-08-10 16:04:07 +03:00
Onur Özkan eb6a343983 chore: remove organization references 2026-08-10 16:01:59 +03:00
Onur Özkan fd26a0bd14 feat(ground-suite): add system glass themes 2026-08-10 15:55:03 +03:00
Onur Özkan 01fb9f7292 docs: describe Ground Suite scope 2026-08-10 15:24:45 +03:00
Onur Özkan c06c293f49 feat(ground-suite): add replay observability console 2026-08-10 15:24:39 +03:00
Onur Özkan 1d28db2983 build(dev): add Flutter tooling 2026-08-10 15:24:26 +03:00
Onur Özkan 8134235f48 refactor(config): generate scalar validation boundaries 2026-08-09 22:45:38 +03:00
Onur Özkan afafd126d7 feat(diagnostics): split error and shutdown messages 2026-08-09 22:20:59 +03:00
Onur Özkan 9646451645 docs: document configuration and diagnostics contracts 2026-08-09 22:08:20 +03:00
Onur Özkan 13e4040ee3 feat(sitl): compose persisted configuration runtime 2026-08-09 22:08:13 +03:00
Onur Özkan f4f47d7302 feat(f722): enforce board policy and emit diagnostics 2026-08-09 22:08:03 +03:00
Onur Özkan a4ef0f0740 feat(board): declare immutable telemetry policy 2026-08-09 22:07:18 +03:00
Onur Özkan 2b224f8eb9 feat(config): add MAVLink transaction service 2026-08-09 22:06:42 +03:00
Onur Özkan 6c5e061359 feat(config): add validated profile core 2026-08-09 22:06:10 +03:00
Onur Özkan 0a75860841 feat(log): add bounded diagnostic transport 2026-08-09 22:04:06 +03:00
Onur Özkan 632bf9f01b ci: remove documentation deployment 2026-08-09 15:04:00 +03:00
Onur Özkan b50fb52613 docs: simplify navigation and layout 2026-08-09 15:02:44 +03:00
Onur Özkan 01cc74b7e7 docs: refine static reading experience 2026-08-09 14:57:35 +03:00
Onur Özkan fbc5a87a07 docs: restore code block contrast 2026-08-09 14:52:08 +03:00
Onur Özkan 2576de927f docs: improve navigation readability 2026-08-09 14:46:16 +03:00
Onur Özkan 1395c911c6 docs: restore kernel-style navigation 2026-08-09 14:42:14 +03:00
Onur Özkan 4ddf06def9 docs: adopt a text-first static layout 2026-08-09 14:36:19 +03:00
Onur Özkan 1000b7a2de docs: simplify static book output 2026-08-09 14:31:00 +03:00
Onur Özkan a4f04cfa7e build: provide mdBook in Nix shell 2026-08-09 14:29:12 +03:00
Onur Özkan 8f91247f10 ci: publish documentation site 2026-08-09 14:24:50 +03:00
Onur Özkan 404e466fc2 docs: centralize Markdown developer manual 2026-08-09 14:24:03 +03:00
Onur Özkan 7e4afb4f9c workspace: register flight core and SITL packages 2026-08-09 13:59:19 +03:00
Onur Özkan f435e62f8b scripts: make strict coverage source-aware 2026-08-09 13:59:05 +03:00
Onur Özkan ed5dc9b2a7 ci: add deterministic SITL smoke workflow 2026-08-09 13:58:58 +03:00
Onur Özkan 060e540635 sitl: add Gazebo plant and smoke harness 2026-08-09 13:58:52 +03:00
Onur Özkan b5bdb86ba1 sitl: add closed-loop host flight runtime 2026-08-09 13:58:43 +03:00
Onur Özkan b25a14f224 navigation: add fail-closed SITL estimator 2026-08-09 13:58:21 +03:00
Onur Özkan c19cf74314 control: add bounded trajectory and allocation core 2026-08-09 13:58:14 +03:00
Onur Özkan 1c2979deeb safety: add fail-closed permit supervisor 2026-08-09 13:58:06 +03:00
Onur Özkan 757457bb83 math: add fixed-size flight dynamics primitives 2026-08-09 13:57:59 +03:00
Onur Özkan b0d22b61d8 platform: inhibit motor pins and remove output routes 2026-08-09 13:57:49 +03:00
Onur Özkan 5cb4b7df68 drivers: repair MTF01 documentation link 2026-08-09 13:57:38 +03:00
Onur Özkan 91110255ec mavlink: harden production reception and transmission 2026-08-09 13:57:23 +03:00
Onur Özkan 01463fa878 board: make telemetry profile selection explicit 2026-08-09 13:57:06 +03:00
Onur Özkan c44286bdcf actuator: make arming sequences owner-local 2026-08-09 13:56:45 +03:00
Onur Özkan f200e88ef0 boards: remove firmware feature gates 2026-08-01 22:29:43 +03:00
Onur Özkan 6f10f98e2f platforms/stm32f7: always compile F722 firmware 2026-08-01 22:29:43 +03:00
Onur Özkan 626b7a8b95 platforms/stm32f7: remove GEPRC UART diagnostic 2026-08-01 22:28:51 +03:00
Onur Özkan 59b604fdba platforms/stm32f7: keep USART2 DMA requests enabled 2026-08-01 22:28:06 +03:00
Onur Özkan 8be8723ead platforms/stm32f7: enable GPIOA before USART2 setup 2026-08-01 22:28:06 +03:00
Onur Özkan 482f4c0283 scripts: improve create-dfu-image.sh 
Signed-off-by: Onur Özkan <work@onurozkan.dev>
 2026-08-01 21:01:50 +03:00
Onur Özkan a7f20eabbe boards/geprc-f722-v2: update board name 
Signed-off-by: Onur Özkan <work@onurozkan.dev>
 2026-08-01 20:57:47 +03:00
Onur Özkan c9ca2f4257 workspace: replace runtime with F722 platform 2026-08-01 20:55:02 +03:00
Onur Özkan 82b0f41237 boards/geprc-f722-v2: add F722 V2 declaration 2026-08-01 20:54:41 +03:00
Onur Özkan 827983fb56 boards/kakute-f7-mini-v3: declare F722 flight profile 2026-08-01 20:54:36 +03:00
Onur Özkan ac54c8308d platforms/stm32f7: add reusable F722 firmware 2026-08-01 20:54:21 +03:00
Onur Özkan 2ae66c49a8 libs/kaptan-data-channel: own outbound data flow 2026-08-01 20:54:09 +03:00
Onur Özkan b904255bf5 libs/kaptan-board: define portable board configuration 2026-08-01 20:54:03 +03:00
Onur Özkan 5623ebd1f3 libs/kaptan-mavlink: add optical-flow encoding 2026-08-01 20:53:41 +03:00
Onur Özkan c6fb90ff4f libs/kaptan-drivers: add F722 sensor services 2026-08-01 20:53:26 +03:00
Onur Özkan 86dee45000 libs/kaptan-sensor: add optical-flow observations 2026-08-01 20:53:19 +03:00
Onur Özkan f8ee799208 Merge branch 'main' of github.com:Orkavian/kaptan 2026-07-26 18:05:58 +03:00
Onur Özkan a925e2476c boards/kakute-f7-mini-v3: rename board datasheet 2026-07-26 18:05:16 +03:00
Onur Özkan fedd2e124d libs/kaptan-drivers: add MPU6000 datasheet 2026-07-26 18:04:31 +03:00
Onur Özkan 30807d75f0 boards/kakute-f7-mini-v3: publish LIDAR range telemetry 2026-07-26 18:04:23 +03:00
Onur Özkan f22b45c70a libs/kaptan-mavlink: add distance sensor telemetry 2026-07-26 18:04:03 +03:00
Onur Özkan cb447bc057 libs/kaptan-tx: cover critical frame admission 2026-07-26 18:03:46 +03:00
Onur Özkan b985874240 libs/kaptan-stm32f7: add I2C1 controller 2026-07-26 18:03:39 +03:00
Onur Özkan ba66850403 libs/kaptan-runtime: add range acquisition service 2026-07-26 18:03:31 +03:00
Onur Özkan ea9d348e7e libs/kaptan-drivers: add LIDAR-Lite v3 datasheet 2026-07-26 18:03:22 +03:00
Onur Özkan 4065aed961 libs/kaptan-drivers: add LIDAR-Lite v3 state machine 2026-07-26 18:03:22 +03:00
Onur Özkan 0cef9f67f3 libs/kaptan-runtime: generalize latest-value mailbox 2026-07-26 18:02:38 +03:00