fix(aztec-nr): reject zero delays in DelayedPublicMutable - #25104

Open

vezenovm wants to merge 15 commits into

merge-train/fairiesfrom

mv/f-840-nonzero-delay

Commits on Aug 4, 2026

fix: reject zero delays in DelayedPublicMutable
vezenovm
committed
5e27080
fix: reject a zero initial delay when declaring a DelayedPublicMutable
vezenovm
committed
7eed79a
test: tighten the effective-minimum-delay invariant and drop the zero-delay globals
vezenovm
committed
1a16744

Commits on Aug 5, 2026

test: drop the redundant minimum-delay test and the invariant helper rename
vezenovm
committed
5f2f94a
docs: explain the zero-delay rule where delay selection is discussed
vezenovm
committed
0cce33f
refactor: drop the redundant compile-time guard in ScheduledDelayChange
vezenovm
committed
1020773
Merge branch 'merge-train/fairies' into mv/f-840-nonzero-delay
vezenovm
authored
8e7be2c
Merge branch 'merge-train/fairies' into mv/f-840-nonzero-delay
vezenovm
authored
80b96ef
fix: reject a zero initial delay on every delay read path
vezenovm
committed
4c7d3bf
docs: note both zero-delay guards on ScheduledDelayChange
vezenovm
committed
bf727d5
Apply suggestion from @vezenovm
vezenovm
authored
963548d
docs: expand delay selection guidance for DelayedPublicMutable
vezenovm
committed
7e98006
Merge remote-tracking branch 'origin/mv/f-840-nonzero-delay' into mv/f-840-nonzero-delay
vezenovm
committed
f40ddca

Commits on Aug 10, 2026

Merge branch 'merge-train/fairies' into mv/f-840-nonzero-delay
vezenovm
authored
439c594
Apply suggestion from @vezenovm
vezenovm
authored
0da9ef6