- commit
- 2e2f8d4786e02b1b653eb8721311383aac527333
- parent
- 07323e75886b9df6979a0e931e5a277b70dc8f4d
- author
- dami <gazey55@gmail.com>
| M | PLAN.md | 26 | ++++++++++++++++++++++++++ |
@@ -471,6 +471,32 @@ cut is to make those wave-level retries too, and `--jobs` closer to the
471471 core count now that a chunk process is mostly single-threaded again472472 (the incremental loop serialises per tile; waves still run in parallel).473473 474+### Item 2 outcome (2026-08-26, night): converges, not one attempt475+476+`gen --seed a --G 200 --kind scatter`, idle: 444 tiles, **842 s**, of which477+the successful attempt was 92 s (fill 3.5 s, givens 24.5 s, settle and478+coupled count 64 s, 7 interior redraws, 67 regivens) and **750 s were479+nine wasted attempts**: five "too many backjumps" in the fill phase,480+two "shared cells stay ambiguous with every one given" in repair, one481+policy failure ("pinned tile falls to propagation alone"), one 6x6 whose482+only overlap is too small for any flip. Two real fixes landed on the483+way: the coupled-uniqueness count is SAT (`sat.Coupled`; the484+backtracking version spun 24 min at 450 tiles), and a mutually485+unwitnessed pair is broken by redrawing the stuck tile's interior, with486+repair rounds capped at 60 (the previous loop ran 40 min). So the repair487+converges, which was the point, but the proof as written (one attempt)488+is not met: the monolithic fill phase thrashes at 444 tiles.489+490+Judgment, flagged rather than silently narrowed: monolithic boards above491+~150 tiles are not a product path any more — the field (chunks of ~20-30492+tiles, 86 attempts over 81 chunks at 9x9) is — so the next cut for the493+fill phase (conflict-directed backjumping, or filling in overlap-graph494+order per connected component) is worth doing for robustness, not for495+the daily. If a single-pass G=200 is wanted, that is the work.496+497+Goal tally: items 1, 3-10 done and proven; item 2 half (converging498+repair, no one-attempt proof).499+474500 ### Status of the v2 items under this goal475501 476502 1 real packed run: done (v2 packings and v3 scatter fields played, logs