Record that both long fuzzers agree at 0ef87eb

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
iris-aiandClaude Fable 5.1 committed 2026-09-18 18:36:33 -04:00
1 parent 82c0ac4960
commit 9f988a8315
2 files changed
+15 -15

No files matched your search

+3 -3
View File
@@ -71,9 +71,9 @@ Branch `wip/one-ask` at `3091fb8` over `4328eac`. The change is described in
`unsettled::emptying_a_column_the_row_asked_twice_asks_the_row_again`
(checked red without the deferral, green with it). Cost: `many` at depth
8 went from 78/78 to 110/92 draws/distinct at seed 1 and from 335/333 to
424/364 at seed 13; still under #18's 157/95 and 524/159 draws. The
reruns of both long fuzzers at `0ef87eb` were running when this was
written (`/tmp/oracle-1000-6b.log`, `/tmp/shrink-2000-4b.log`).
424/364 at seed 13; still under #18's 157/95 and 524/159 draws. At
`0ef87eb` the 1000-seed depth-6 oracle (148 s) and the 2000-seed depth-4
scan (262 s) both agree over all fifteen cases.
## What the step 3 plan got wrong (planner, 2026-09-18, third session)