From db212f167b6743fb4422cc39fd475798625fdbfa Mon Sep 17 00:00:00 2001 From: Drew T <50529377+Druthulu@users.noreply.github.com> Date: Fri, 11 Sep 2026 21:47:22 -0600 Subject: [PATCH] =?UTF-8?q?phase-36:=20close=20rows=20for=20both=20Gen3=20?= =?UTF-8?q?series=20=E2=80=94=20levers=204,010=20(78=20milestones);=20read?= =?UTF-8?q?ability:=2033=20lying=20declarations=20left=20in=2025=20pinned?= =?UTF-8?q?=20bodies=20(was=20461=20in=20314=20at=20S102),=2098,648=20over?= =?UTF-8?q?=201,609=20callees=20now=20that=20argcheck=20reads=20K&R=20defi?= =?UTF-8?q?nitions?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/lever-progress.tsv | 1 + docs/levers.md | 1 + docs/readability-progress.tsv | 1 + docs/readability.md | 1 + 4 files changed, 4 insertions(+) diff --git a/docs/lever-progress.tsv b/docs/lever-progress.tsv index 594afd7590..06be7aed8a 100644 --- a/docs/lever-progress.tsv +++ b/docs/lever-progress.tsv @@ -76,3 +76,4 @@ date milestone head sites_AB pins asm bodies_AB distinct_AB marked unmarked gte_ 2026-09-11 S105 f9 (6) c2455f5d3 4032 2157 1875 1989 683 4032 0 450 314 1589 50 7802 445 76 2026-09-11 S105 f10 (4) ff22c1fba 4026 2152 1874 1985 679 4026 0 450 314 1589 50 7802 445 76 2026-09-11 S105 f11 (4 + 4 copies) — T7 ENDS 31cf8695f 4010 2141 1869 1980 674 4010 0 450 314 1589 50 7802 445 76 +2026-09-11 P36 close (T8/T9 done; the @unstuck retag) 60c4bb1cc 4010 2141 1869 1980 674 4010 0 450 314 1589 50 7802 445 76 diff --git a/docs/levers.md b/docs/levers.md index a7a0ba982e..f6a769471f 100644 --- a/docs/levers.md +++ b/docs/levers.md @@ -122,6 +122,7 @@ counted, not marked). E, F and G belong to the canonical type layer and are the | 2026-09-11 | S105 f9 (6) | 2157 | 1875 | **4032** | 1989 | 683 | 450 | 314 | 1589 | 50 | 7802 | 445 | 76 | `c2455f5d3` | | 2026-09-11 | S105 f10 (4) | 2152 | 1874 | **4026** | 1985 | 679 | 450 | 314 | 1589 | 50 | 7802 | 445 | 76 | `ff22c1fba` | | 2026-09-11 | S105 f11 (4 + 4 copies) — T7 ENDS | 2141 | 1869 | **4010** | 1980 | 674 | 450 | 314 | 1589 | 50 | 7802 | 445 | 76 | `31cf8695f` | +| 2026-09-11 | P36 close (T8/T9 done; the @unstuck retag) | 2141 | 1869 | **4010** | 1980 | 674 | 450 | 314 | 1589 | 50 | 7802 | 445 | 76 | `60c4bb1cc` | ### The campaign — every batch, from the ledger (derived on every render) diff --git a/docs/readability-progress.tsv b/docs/readability-progress.tsv index adbef8c5d4..ba43153f86 100644 --- a/docs/readability-progress.tsv +++ b/docs/readability-progress.tsv @@ -1,2 +1,3 @@ date label commit definitions narrow_decls callees kr_empty narrow pinned_rows pinned_bodies raw_casts struct_members 2026-09-10 P36 S102 — after the 16,759 free declaration repairs 51028a78d377b0ff8e0a12a86500ed2ae1f2346d 15626 94001 1564 86701 7300 461 314 414148 173286 +2026-09-11 P36 close 7a7f78e255ec3661992d12b5ceb1bd2ec2c1d680 15726 98648 1609 91357 7291 33 25 411850 177902 diff --git a/docs/readability.md b/docs/readability.md index 015d22e217..8dabb3a893 100644 --- a/docs/readability.md +++ b/docs/readability.md @@ -8,6 +8,7 @@ | date | label | commit | lying declarations | of which `()` | of which `(void)` | in a pinned body | raw cast derefs | struct member reads | |---|---|---|---:|---:|---:|---:|---:|---:| | 2026-09-10 | P36 S102 — after the 16,759 free declaration repairs | `51028a78d` | 94001 | 86701 | 7300 | 461 | 414148 | 173286 | +| 2026-09-11 | P36 close | `7a7f78e25` | 98648 | 91357 | 7291 | 33 | 411850 | 177902 | **How to read it.** A *lying declaration* is a call site whose in-scope declaration names fewer parameters than the callee's own definition. It is not a style problem: on this processor an argument travels in a