Repository navigation

Train 35: name tower (#432, @mpapis) + --lego role order + PEER-S (map stem row, --for slots / constructor hop) - #439

Merged

joyful-ii-V-I merged 44 commits into

mainfrom

integration/train-35

Oct 26, 2026

Merged

Train 35: name tower (#432, @mpapis) + --lego role order + PEER-S (map stem row, --for slots / constructor hop)#439
joyful-ii-V-I merged 44 commits into
mainfrom
integration/train-35

Commits on Oct 20, 2026
Commits on Oct 21, 2026
Commits on Oct 22, 2026
- review-fix iteration 4: the emitted sentence, discarded-sort claims, premise-pinned arms
  mpapis
  committed
  96d8ae4
- review-fix iteration 5: equivalence claims checked against the code they describe
  mpapis
  committed
  75df8eb
Commits on Oct 24, 2026
- Merge origin/main (train 33) into #432
  
  joyful-ii-V-I
  and
  claude
  committed
  467bbad
- tower: a constructor ranks below its class; the multi-def sentence no longer claims a split
  
  joyful-ii-V-I
  and
  claude
  committed
  f5d18ae
- changelog.d: #432 fragment, crediting @mpapis
  
  joyful-ii-V-I
  and
  claude
  committed
  97d0b6d
- lspcheck: arm the tower's tier order; resolve WORK so URI pins hold on macOS
  
  joyful-ii-V-I
  and
  claude
  committed
  d9fe1e7
- printf_parity.manifest: re-pin around and safe_delete for the tower legend text
  
  joyful-ii-V-I
  and
  claude
  committed
  c1a9973
Commits on Oct 25, 2026
- Merge origin/main (train 34) into #432
  
  joyful-ii-V-I
  and
  claude
  committed
  a6a3afe
- for: slots= names the functions a shown table initializer binds (FOR-SLOTS)
  
  joyful-ii-V-I
  and
  claude
  committed
  8b24c05
- map: reserve one row per shown file for its stem-namesake type (MAP-STEM)
  
  joyful-ii-V-I
  and
  claude
  committed
  6e05349
- for: the r=1 method row names its class constructor's callees (OWNER-CTOR-HOP)
  
  joyful-ii-V-I
  and
  claude
  committed
  e1f2773
- peer-s: reuse the house helpers the three cards restated (quality-delta)
  
  joyful-ii-V-I
  and
  claude
  committed
  482c085
- changelog: OWNER-CTOR-HOP byte figure re-measured at the final head
  
  joyful-ii-V-I
  and
  claude
  committed
  75adff5
- lego: read the tower by role — extracted contract, then implementors, on one type rung
  
  joyful-ii-V-I
  and
  claude
  committed
  0cd08b6
- peer-s: gate hygiene, gate count 714, lcom4= in the compact metrics legend
  
  joyful-ii-V-I
  and
  claude
  committed
  760e7b8
- peer-s fix1: MAP-STEM rows are the first to go under --max-tokens, disclosed as stem_cut=N
  
  joyful-ii-V-I
  and
  claude
  committed
  d00e399
- lego: implementors outrank the extracted contract on the type rung (rv-pr432-delta B1)
  
  joyful-ii-V-I
  and
  claude
  committed
  e59e5d8
- peer-s fix1: regenerate docs/LIMITS.md and docs/TUNING.md for the slots and ctor-hop caps
  
  joyful-ii-V-I
  and
  claude
  committed
  531c6fc
- peer-s fix1: trim the metrics map's purpose clause (the s-row reading below already lists those attributes)
  
  joyful-ii-V-I
  and
  claude
  committed
  ca78dac
- peer-s fix1: README cap count 278 -> 280 (readmedriftcheck L2, found re-verifying the regenerated LIMITS.md)
  
  joyful-ii-V-I
  and
  claude
  committed
  246e0b7
- Merge PR #432 (e59e5d80) into integration/train-35: name tower + --lego role order (@mpapis)
  
  joyful-ii-V-I
  and
  claude
  committed
  333576b
- Merge lane/peer-s (246e0b7d) into integration/train-35: FOR-SLOTS + MAP-STEM + OWNER-CTOR-HOP
  
  joyful-ii-V-I
  and
  claude
  committed
  45d52a1
- train 35: showcase recount skips MAP-STEM rows; --in window may start at HEAD~2
  
  joyful-ii-V-I
  and
  claude
  committed
  3e42c36
- train 35: versions fragment names the composed legend dictionary
  
  joyful-ii-V-I
  and
  claude
  committed
  d3605fd
Commits on Oct 26, 2026

Commits

Commits on Oct 20, 2026

Commits on Oct 21, 2026

Commits on Oct 22, 2026

Commits on Oct 24, 2026

Commits on Oct 25, 2026

Commits on Oct 26, 2026