Wave Loop 409 — per-OSCFSEL SPI transaction lookup + tighter duty bound#1324

Closed

gHashTag wants to merge 12 commits into

Commits on Jul 4, 2026

docs(w406): W406 plan and current-issue for CCLK measurement + formal timing-safety

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 406 — live CCLK capture, OSCFSEL/CCLK flash-spec safety in Lean 4, close-out reports

Dmitrii Vasilev
and
claude
committed
chore(w407): set current issue to Wave Loop 407 (#1316)

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 407 — deeper N25Q128 SPI timing in Lean 4 + synthetic CCLK fixture

Dmitrii Vasilev
and
claude
committed
chore(w408): set current issue to #1318 — real P12 CCLK + SPI transaction model

Dmitrii Vasilev
and
claude
committed
docs(w408): add W408 entry to NOW.md and experience log

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 408 — real P12 CCLK attempt + SPI transaction model in Lean 4

Dmitrii Vasilev
and
claude
committed
chore(w409): set current issue to Wave Loop 409 (#1323)

Dmitrii Vasilev
and
claude
committed
docs(w409): add W409 entry to NOW.md

Dmitrii Vasilev
and
claude
committed
docs(w409): add W408 learnings to experience log

Dmitrii Vasilev
and
claude
committed
chore(w409): update session log and commit count

Dmitrii Vasilev
and
claude
committed
feat(igla): Wave Loop 409 — per-OSCFSEL SPI transaction lookup + tighter duty bound

Dmitrii Vasilev
and
claude
committed