feat(gust): generic driver model — gust:hal seam + verified thin-seam UART driver (gale#65)#113

Merged

avrabe merged 10 commits into

mainfrom

feat/gust-driver-model

Jun 25, 2026

Commits on Jun 25, 2026

docs(gust): design spec — generic driver model via gust:hal seam (UART spike)

avrabe
and
claude
committed
docs(gust): revise driver-model spec — F100-only, SRAM-bound, per-node composition

avrabe
and
claude
committed
feat(rivet): typed artifacts for the gust driver model (gust:hal seam)

avrabe
and
claude
committed
feat(gust): gust:hal seam + thin-seam UART driver in verified wasm (gale#65)

avrabe
and
claude
committed
feat(gust): verify the driver — Kani-proven RX decision (earn "verified wasm")

avrabe
and
claude
committed
feat(gust): gust_uart demonstrator + Renode USART wiring + synth 0.15.0 perf test

avrabe
and
claude
committed
fix(gust): UART driver works end-to-end on Renode — emits "gust-uart-thin"

avrabe
and
claude
committed
test(gust): CI content gate for the UART driver — Wait For Line on a real USART

avrabe
and
claude
committed
Merge remote-tracking branch 'origin/main' into feat/gust-driver-model
avrabe
committed
ci(gust): run the gust-uart-renode content gate in CI

avrabe
and
claude
committed