latch support - #257

Open

nanocoh wants to merge 11 commits into

mainfrom

Commits on Sep 25, 2026

docs: describe SEC latch support approach
nanocoh
committed
8d1f94a
feat(sec): add opt-in bounded latch event support
nanocoh
committed
bda9703
feat(sec): certify symbolic latch events and support clock-cycle reset
nanocoh
committed
b50acae
fix(sec): repair latch CI memory and dependency failures
nanocoh
committed
4e29b1e
feat(sec): enable latch support by default without implicit assumptions
nanocoh
committed
bc09a98
fix(sec): preserve symbolic latch initialization without forced defaults
nanocoh
committed
f370271

Commits on Sep 28, 2026

Commits on Sep 30, 2026

update docs
nanocoh
committed
fe26f4d
Merge main into latch-support to unblock regressions
nanocoh
committed
a714e49