feat: S08.05 store-and-forward on FatFs#352

Merged

DavidCozens merged 35 commits into

mainfrom

feat/s08-05-store-and-forward-fatfs

May 13, 2026

Commits on May 13, 2026

chore: S08.05 slice 1 plumb FatFs host TDD build

DavidCozens
and
claude
committed
style: S08.05 slice 1 clang-format ffconf.h

DavidCozens
and
claude
committed
feat: S08.05 slice 2 SolidSyslogFatFsFile Create + Open/Close

DavidCozens
and
claude
committed
feat: S08.05 slice 3 FatFsFile Read/Write/SeekTo/Size/Truncate

DavidCozens
and
claude
committed
style: S08.05 slice 3 bracket comparison expressions in && per MISRA 12.1

DavidCozens
and
claude
committed
feat: S08.05 slice 4 FatFsFile Exists/Delete

DavidCozens
and
claude
committed
style: S08.05 clean code — Fp() helper and CHECK_*_PATH/MODE macros

DavidCozens
and
claude
committed
feat: S08.05 slice 5 QEMU semihosting diskio + FatFs store wiring

DavidCozens
and
claude
committed
feat: S08.05 slice 6 mount FatFs and run @store features on FreeRTOS

DavidCozens
and
claude
committed
chore: S08.05 slice 6 diagnostic patch for docker BDD failures

DavidCozens
and
claude
committed
fix: revert stderr passthrough — behave wraps sys.stderr without fileno()

DavidCozens
and
claude
committed
fix: S08.05 slice 6 — CodeRabbit fixes + FatFs end-to-end self-test

DavidCozens
and
claude
committed
fix: align executable include path to FATFS_STAGE_DIR (CodeRabbit major)

DavidCozens
and
claude
committed
fix: enable FF_FS_LOCK=4 — FileBlockDevice opens two FILs on the same path

DavidCozens
and
claude
committed
chore: pause S08.05 slice 6 at diagnostic state

DavidCozens
and
claude
committed
fix: S08.05 slice 6 — collapse FreeRTOS FatFs wiring to single SolidSyslogFile* per S27.01

DavidCozens
and
claude
committed
Revert "fix: enable FF_FS_LOCK=4 — FileBlockDevice opens two FILs on the same path"
DavidCozens
committed
chore: S08.05 slice 6 strip FatFs diagnostic prints

DavidCozens
and
claude
committed
fix: S08.05 slice 6 — bound FreeRTOS_connect with SO_RCVTIMEO

DavidCozens
and
claude
committed
feat: S08.05 slice 7a FatFsFile f_sync after each write

DavidCozens
and
claude
committed
feat: S08.05 slice 7b graceful FatFs shutdown for power_cycle_replay

DavidCozens
and
claude
committed
chore: gitignore solidsyslog-disk.img FatFs semihosting artefact

DavidCozens
and
claude
committed
fix: S08.05 FatFsFake f_read reports actual bytes copied

DavidCozens
and
claude
committed
chore: BDD before_scenario removes stale FatFs disk image

DavidCozens
and
claude
committed
refactor: drop g_* Hungarian prefix in FreeRTOS BDD target

DavidCozens
and
claude
committed
refactor: S08.05 unify FreeRTOS BDD-target shutdown via TeardownAll

DavidCozens
and
claude
committed
fix: S08.05 slice 7c ARP-prime FreeRTOS TCP connect

DavidCozens
and
claude
committed
fix: BDD FreeRTOS extra_args guard checks known flags not hyphen prefix

DavidCozens
and
claude
committed
fix: S08.05 SemihostingExit propagates status via SYS_EXIT_EXTENDED

DavidCozens
and
claude
committed
test: S08.05 add BlockStore drain-ordering harness

DavidCozens
and
claude
committed
test: S08.05 add Service-level [1,11,2..] reproducer (RED, IGNORE_TEST)

DavidCozens
and
claude
committed
fix: S08.05 BlockStore Write rejection no longer bypasses to sender

DavidCozens
and
claude
committed
fix: S08.05 drain-ordering test passes tidy / tunable-override

DavidCozens
and
claude
committed
chore: address CodeRabbit + IWYU on PR #352 drain-ordering harness

DavidCozens
and
claude
committed
docs: S08.05 record FatFs/FreeRTOS in CLAUDE.md, DEVLOG, README + linked docs

DavidCozens
and
claude
committed