T12: phase-close docs for 3.39: log and summary

phase-ends/current/logs/T12.c1.md

@@ -0,0 +1,24 @@
+# T12.c1 — Phase 3.39 close docs
+
+Sources: .run/t12_facts.md; key numbers cross-checked in phase-ends/current/tasks/T9.md:18-25, T8.md.
+
+Changed (commit 1, 20faec8d40):
+- docs/story.md §10: heading + Phase 39; source note + P39 plan change lines/summaries; new part "Phase 39 (2026-10-01 → 10-03), the cast campaign" (8 paragraphs, after P38, before §11); terms defined in place (raw cast dereference + P/I/X/M, kept cast, residue/ledger, reading A/B, TYPE-NOT-CANONICAL, lying declaration, GTE, lever).
+- docs/story.md §11: Gen3 row → "snapshot at the P39 close" (per-form raw before→after, 20,963 kept, 291,819 TNC covered, lying 11/3, levers 3,364 + lever_residue 2,433 rows/3,528 sites, 1,650 defs).
+- docs/retrospective.md §7: heading 35–39; source note; one (P39) passage in each of believed / failed / cost / sooner. Carries: P38 lesson unapplied, hit twice (T4 → reading A; T7 → T7.1); per-site coverage; alias-keyed planner; pins all NEEDED; planning-gate step recommended.
+- docs/wiki/Where-the-project-goes-next.md: gap rows raw casts / register pins / struct defs in ~~old~~ **new** style; rule 2 italics + one P39 sentence; rule 4 had no italics, added one italic P39 sentence.
+- docs/wiki/Docs-and-scratch-conventions.md:17: R121 + owner's standing request 2026-10-02 (README graphs, story §10, retro §7, wiki at every phase close).
+
+D1 chain (all rc 0):
+- type_census -j 16 --out-dir .run/P39/census → 1650 defs, 336225 cast sites, 11 lying / 3 callees, controls 4/4
+- readability_progress --snapshot "P3.39 T12: phase-close docs" → row at 20faec8d4
+- timeline.py → 82 rows, self-check OK
+- progress.py --readme → progress.json written; README block unchanged (README not committed)
+Verify: timeline --check → fresh (82 rows) rc 0; readability_progress --check → OK last row at HEAD 20faec8d4 rc 0.
+make doc-links: no such target (doc_links.py is a recipe line inside another target); ran tools/doc_links.py directly → OK (pre-existing WARNs only).
+Commit 2: 89f52cd82a (progress.json/.md, readability.md/.tsv, story-timeline.md/.svg, struct-map.md).
+
+Notes for expert:
+- Series census reads 336,225 (P 257,475) vs the gate's 336,219; prose uses gate numbers (T9), the discrepancy is mentioned.
+- docs/progress.md was already dirty at task start (pre-existing); regenerated by progress.py and committed in commit 2.
+- Phase dates follow the facts file (close 10-03) though the run date is 10-02.

phase-ends/current/logs/T12.md

@@ -0,0 +1,16 @@
+# T12 log — phase-close docs (Phase 3.39)
+
+- Start HEAD aa334295a8. Read card slice, plan Context/Interfaces/Cookbook/Research, T12 entry, Changes; summaries T1-T11.
+- Located the habit: story §10 + §11 Gen3 row (docs/story.md), retrospective §7 (docs/retrospective.md), wiki page
+  docs/wiki/Where-the-project-goes-next.md gap table + rules, docs/wiki/Docs-and-scratch-conventions.md:17 (the R121 duty row);
+  P38 close commit 3752a7cea5/7eac53da51 pattern. decision-log has no P38 entry; not extended (story/retrospective carry it).
+- Pre-check: timeline --check fresh (82 rows); readability_progress --check STALE (last row 3a9377c92 vs HEAD aa334295a).
+  `progress.py --help` has no help: it runs and rewrote docs/progress.md (harness gotcha).
+- Wrote facts file .run/t12_facts.md (synthesis of T1-T11 summaries, hindsight list) as coder input.
+- Coder T12.c1 (opus55): five doc edits, commit 20faec8d40; D1 chain (type_census -j16 --out-dir .run/P39/census → 336,225 sites,
+  11 lying/3 callees; readability_progress --snapshot "P3.39 T12: phase-close docs"; timeline.py 82 rows; progress.py --readme,
+  README block unchanged); timeline --check fresh + readability_progress --check OK at 20faec8d4 before commit 2; tools/doc_links.py OK;
+  commit 89f52cd82a. Log: logs/T12.c1.md.
+- Expert re-check after commit 2: timeline --check fresh (82 rows); readability_progress --check STALE (row at 20faec8d4, HEAD 89f52cd82):
+  the known self-referential staleness (T9/T11 gotcha), verify green was recorded before the commit.
+- Retrievers: none. Research: none.

phase-ends/current/tasks/INDEX.md

@@ -11,3 +11,4 @@ T6 | done | lying declarations to 0 outside the ledger | - | tasks/T6.md | logs/
 T7.1 | done | GTE to one spelling (predicate read as the census documents it) | - | tasks/T7.1.md | logs/T7.1.md | -
 T8 | done | pins and asm the unified types explain; residue ledger | - | tasks/T8.md | logs/T8.md | -
 T9 | done | milestone gate and record (Phase 3.39, the cast campaign, reading A) | - | tasks/T9.md | logs/T9.md | -
+T12 | done | phase-close docs: README graphs, story and hindsight lessons, wiki (Phase 3.39) | - | tasks/T12.md | logs/T12.md | -

phase-ends/current/tasks/T12.md

@@ -0,0 +1,27 @@
+# T12 — phase-close docs: README graphs, story and hindsight lessons, wiki (Phase 3.39)
+
+Status: done | expert: expert-opus55 | ctx-at-completion: n/a | commit: see COMMIT | coder runs: c1 opus55 done (20faec8d40, 89f52cd82a)
+Done: story §10 Phase 39 part + §11 row at the P39 close, retrospective §7 (P39) passages, two wiki pages updated; readability row 'P3.39 T12: phase-close docs', timeline (82 rows), progress regenerated.
+progress: readability snapshot 'P3.39 T12: phase-close docs' at 20faec8d4; timeline and README regenerated (README block unchanged).
+Files:
+- docs/story.md:173-177 (heading/sources), :356-423 (Phase 39 part: casts per form, kept macros, residue by cause, reading A replan, T10 per-site gap, lying 229 -> 11, GTE one spelling, critic's T7.1 ruling, lever residue 2,433 rows / 3,528 sites, 3.40 inputs), :436 (§11 Gen3 row at the P39 close)
+- docs/retrospective.md:155-160, 181-187, 216-225, 240-245, 264-268 — §7 extended to Phase 39 (believed/true, failed, cost, sooner)
+- docs/wiki/Where-the-project-goes-next.md:42-52, 56-63 — rules 2 and 4 P39 sentences; gap table rows raw casts, pins, struct defs
+- docs/wiki/Docs-and-scratch-conventions.md:17 — the phase-close duty row names the standing request
+- docs/progress.json, docs/progress.md, docs/readability.md, docs/readability-progress.tsv, docs/story-timeline.md, docs/story-timeline.svg, docs/struct-map.md — D1 regeneration (README.md regenerated, unchanged)
+Decisions:
+- Standing request (developer, 2026-10-02), carried to every later phase: before the close of every phase, bring the README graphs (timeline.py, progress.py --readme, readability snapshot), story §10 / retrospective §7 and the wiki pages up to date. The 3.40 planner must give it a task (as T12 here).
+- docs/decision-log.md not extended: P38 also kept its narrative in story/retrospective only.
+Deviations:
+- Prose written by the coder from an expert facts file (.run/t12_facts.md, synthesised from tasks/T1-T11.md), per the delegation rule.
+- README.md not committed: progress.py --readme left it byte-unchanged.
+- docs/progress.md was dirty before the task (rewritten by `progress.py --help`); regenerated and committed in 89f52cd82a.
+Findings:
+- Hindsight carried into §7: the P38 lesson (test each milestone count against its instrument on the planning tree, both directions) was not applied in P39 planning and failed twice (T4 TYPE-NOT-CANONICAL wall -> reading A; T7 "direct GTE" predicate -> T7.1).
+Gotchas:
+- harness: `tools/progress.py --help` prints no help; it runs the report and rewrites docs/progress.md.
+- harness: `readability_progress --check` compares the last row with HEAD, so it is green only before the commit that records the row; the verify is recorded pre-commit.
+Research: none
+Next task needs: 3.40 planner: carry the standing phase-close docs request as a task; 3.40 inputs are named in story §10 Phase 39 part (residue_census TNC 291,819, config/lever_residue.tsv).
+Verified: `PY tools/timeline.py --check && PY tools/readability_progress.py --check` → fresh (82 rows), OK last row at HEAD 20faec8d4, rc 0 (coder, before commit 2, logs/T12.c1.md); re-run by expert at 89f52cd82a: timeline fresh, readability STALE by the self-referential HEAD comparison only
+Full log: phase-ends/current/logs/T12.md