- commit
- 1313f8508703d20590d85c178c1aa7305c333d9a
- parent
- b86b2dcd7d4ce071d4cbf4a19aba83ed8a803a02
- author
- dami <gazey55@gmail.com>
| M | PLAN.md | 20 | +++++++++++++++++++- |
@@ -415,7 +415,25 @@ judged on the final marks).
415415 the fold (assigned to site core: structural sharing, target < 2 s).416416 Screenshots `output/playwright/after-2agents-L{1,2,3}-dark.png`,417417 `v3-field-530-9agents-L{0,2}.png`.418-- Items 1-2 (engine): in progress (9x9 field and G=200 repair timings).418+- Items 1-2 (engine): `gen --context`/`field` and the in-place repair are419+ built and committed; the timings were not: the 9x9 field's first run420+ took 52+ min and a second run was still going at 48 min, both under421+ contention from four other workloads, and my 10-minute target was an422+ extrapolation from one idle best-case chunk (41 s, one attempt) that423+ ignored multi-attempt chunks, the harder odd round, and `--jobs 9`424+ (~10 waves, not 6). Both runs were stopped as uninformative.425+- What the runs did show: each chunk process sits at 100-140% CPU on 18426+ cores (SAT is serialised inside a process by gophersat's package-level427+ buffer plus our mutex), and single flip trials take 13 s on a 204-cell428+ tile (the givens removal loop rebuilds and re-solves the CNF per429+ candidate clue). Decision (2026-08-26): optimise in evidence order430+ before measuring again — instrument per phase; vendor gophersat with a431+ per-solver buffer and drop the mutex; incremental removal loop (one432+ solver per tile, `Assume` per trial, propagation before counting);433+ retry the failing wave rather than the chunk. Then measure the 3x3 and434+ 9x9 fields idle with `--jobs` = cores / measured cores-per-chunk, and435+ restate item 1's proof from that measurement (the target is set by the436+ product cadence: minutes for the daily, ~10 min for the hourly).419437 420438 ### Status of the v2 items under this goal421439