feat: agree, a closeness test with an absolute and a proportional tolerance - #278

Merged

thedavidmeister merged 11 commits into

mainfrom

2026-09-25-agree

Sep 26, 2026

Commits on Sep 25, 2026

feat: agree, a closeness test with an absolute and a proportional tolerance

thedavidmeister
and
claude
committed
d1650af
fix: destructure agree's tuple returns for slither

thedavidmeister
and
claude
committed
33d5c86
test: port the arithmetic cases agree left behind, and add an oracle

thedavidmeister
and
claude
committed
02a1920
test: cover the new unpacked primitives directly, and drop a dead abs

thedavidmeister
and
claude
committed
b84cf08
Merge branch '2026-09-25-lint-pow-pure' into 2026-09-25-agree
thedavidmeister
committed
7937d30
Merge remote-tracking branch 'origin/main' into 2026-09-25-agree
thedavidmeister
committed
deffd58

Commits on Sep 26, 2026

docs: cut the tolerance-form comparison down to a reference

thedavidmeister
and
claude
committed
e5f32e7
refactor: give the unpacked surface the whole comparison set

thedavidmeister
and
claude
committed
8973bfc
docs: state agree's precision boundary, and pin it with tests

thedavidmeister
and
claude
committed
fb40a91
test: assert agree never reverts, which nothing was checking

thedavidmeister
and
claude
committed
6d131b4
Merge remote-tracking branch 'origin/main' into 2026-09-25-agree
thedavidmeister
committed
02bd227