feat(igla): Wave Loop 406 — live CCLK capture + OSCFSEL/CCLK flash-spec safety in Lean 4#1315

Closed

gHashTag wants to merge 2 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