invert the HTLC timelock direction (#482) - #559

Merged

Zyrtnin merged 12 commits into

mainfrom

fix/482-invert-timelock-direction

Sep 1, 2026

Commits on Sep 1, 2026

WIP fix: invert the HTLC timelock direction (#482) — SOURCE done, 531 tests to migrate

Mudwood Labs
and
claude
committed
44f2e1c
WIP: migrate the suite to the inverted relation — 531 -> ~400, plus two findings

Mudwood Labs
and
claude
committed
38c2459
WIP: fix the unsafe sizing anchor, invert the punctuality gate, migrate further

Mudwood Labs
and
claude
committed
71641df
fix(swap): close the maker-controlled elapsed-depth hole the inversion exposed

Mudwood Labs
and
claude
committed
a043143
fix(conformance): the published vectors taught the exploitable direction

Mudwood Labs
and
claude
committed
1912973
fix(eth): the sizer searched AWAY from the gate after the inversion

Mudwood Labs
and
claude
committed
5616e83
fix(eth): the sizer overshot by a block, and its own property test hid it

Mudwood Labs
and
claude
committed
deaa07a
test(482): migrate swap_state, watch_decide and watch_v2 fixtures

Mudwood Labs
and
claude
committed
aafd99b
fix(scripts): three production runners still built the exploitable ordering

Mudwood Labs
and
claude
committed
a7f8fc0
fix(eth-runner): the deadline bound changed SIDES, and with it a whole defect class

Mudwood Labs
and
claude
committed
d142f63
test(482): the runner bounds file, and two more defect classes that vanished

Mudwood Labs
and
claude
committed
55d4651
test(482): the last 14 — every one needed re-derivation, not renumbering

Mudwood Labs
and
claude
committed
4b68370