From 9f988a83155a1574e6685ef704bab67ae80d9e8d Mon Sep 17 00:00:00 2001 From: iris-ai <4+iris-ai@noreply.localhost> Date: Fri, 18 Sep 2026 18:36:33 -0400 Subject: [PATCH] Record that both long fuzzers agree at 0ef87eb Co-Authored-By: Claude Fable 5.1 --- docs/HANDOFF.md | 24 ++++++++++++------------ docs/LAYOUT_LOG.md | 6 +++--- 2 files changed, 15 insertions(+), 15 deletions(-) diff --git a/docs/HANDOFF.md b/docs/HANDOFF.md index 298d066..6e1c3f9 100644 --- a/docs/HANDOFF.md +++ b/docs/HANDOFF.md @@ -16,8 +16,7 @@ the reviewed baseline this work must preserve or improve. The continuation is `/home/bob/repos/iris-layout-experiment`, now on branch **`wip/one-ask`** at **`0ef87eb`**, two commits over `4328eac` (the head of `wip/transparent-frames`, which is unchanged). It replaces the step 3 plan -below with a smaller protocol change, and it passes every check that has -finished: +below with a smaller protocol change, and it passes every check: | check at `0ef87eb` | result | | --- | --- | @@ -26,11 +25,11 @@ finished: | the two decided-box pins from step 1, and the new seed 946 pin | **pass** (the first two were red at `4328eac`) | | `cargo test --release --test generated` | 11/11 | | shrinker, 400 seeds, depth 5, all fifteen cases | agree, 56 s | -| 2000-seed depth-4 scan, all fifteen cases | agreed at `3091fb8` (269 s); rerun at `0ef87eb` was running when this was written | -| 1000 seeds at depth 6 | found seed 946 at `3091fb8`, fixed and pinned in `0ef87eb`; rerun was running when this was written | +| 2000-seed depth-4 scan, all fifteen cases | agree, 262 s | +| 1000 seeds at depth 6 | agree, 148 s (found seed 946 at `3091fb8`, fixed and pinned in `0ef87eb`) | -Read `/tmp/oracle-1000-6b.log` and `/tmp/shrink-2000-4b.log` for the reruns -if they still exist; otherwise run them (step 1). +Not done: the renders and the `tabs` replay (step 2), and the pre-submit +review of the two commits. The worker's uncommitted step 3/4 experiment is preserved as branch `wip/step3-experiment` (one commit over `4328eac`) and as @@ -251,13 +250,14 @@ Work in `/home/bob/repos/iris-layout-experiment` on `wip/one-ask` from before the next. If a step exposes a different mechanism, stop and update this handoff rather than papering over it. -### 1. Read the long fuzzer results +### 1. Review the two commits -`docs/LAYOUT_LOG.md` records the 1000/6 oracle and the 2000/4 scan at -`3091fb8` if they finished. If either found a seed, shrink it first -(`SHRINK_SEED= SHRINK_DEPTH= SHRINK_CASE=`), pin it as a -named test in `tests/cases/unsettled.rs`, then fix it under the rule above. -Do not add a second draw back. +Run the pre-submit review over `3091fb8` and `0ef87eb` as one diff against +`4328eac`; they were written as a probe and reviewed only by their tests. +Anything a fuzzer finds later is shrunk first (`SHRINK_SEED= +SHRINK_DEPTH= SHRINK_CASE=`), pinned as a named test in +`tests/cases/unsettled.rs`, then fixed under the rule above. Do not add a +second draw back. ### 2. Render and replay diff --git a/docs/LAYOUT_LOG.md b/docs/LAYOUT_LOG.md index fa6d16f..6e86155 100644 --- a/docs/LAYOUT_LOG.md +++ b/docs/LAYOUT_LOG.md @@ -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)