signals: the hold model (L2) — core rebuilt from its rulings; −23% floor, −18% hello world, 0 regressions - #3774

Merged

ryansolid merged 48 commits into

nextfrom

size/carve-step1

Oct 4, 2026

Commits on Oct 2, 2026

size(signals): L2 hold model, carve, lanes/verdicts/boundaries/reveal/actions — state at §27.2

ryansolid
and
Claude via Cursor
committed
143c530
size(signals): carve the lane layer (lanes.ts, verdict.ts) for the §28 replay

committed
8f304a3

Commits on Oct 3, 2026

size(signals): §28 S0 — the lane layer rebuilt on the slot (lanes.ts, verdict.ts)

committed
41a75a4
size(signals): §28 S1 — holds and seams (A15 LANE, #3463, #3648, #3540 latest(dep), V5)

committed
c1dadbc
size(signals): §28 S2 — verdicts and consolidation (watchers → stagedReaders, staleReader, dissolveLane by outcome)

committed
23f2870
size(signals): affects() on L2 — transaction-inert, as ruled (A24 (4)); GlobalQueue hooks declare-only

committed
9487c06
size: attribution on L2 — feed the observe engine from the lane/verdict layers

committed
8f292e5
docs(plan): §31 stores on L2 — T0 inventory, design candidate, perf contracts, phases, Q-list

committed
25200eb
docs(plan): §31.7 stores on L2 — rulings Q-A…Q-G, benchmark references and order

committed
6bd9f6e
size(signals): §31 S1 — plain stores on L2 (container node, slot literals)

committed
9b75c1c
size(signals): §31 S2 — plain stores under holds; read()'s held arm for untracked pass reads

committed
7bd0630
size(signals): §31 S3a — projections, derived stores, reconcile on L2

committed
5eb10eb
size(signals): §31 S3b — holds on derived stores (#3706, #3688, #3612 store twins)

committed
f53c670
size(signals): §35 S4 — optimistic stores on lanes (createOptimisticStore out of carved)

ryansolid
and
cursoragent
committed
32f640c
size(signals): §35.1 store size pass — attribution, seam trim (−29 br), finding

ryansolid
and
cursoragent
committed
69c946f
size(signals): §36 S-U — utils.ts back (merge/omit, views); the carve is closed

ryansolid
and
cursoragent
committed
ea7a9cc
size(signals): §37 S5 — affects() store half; StoreNode back; declarations green

ryansolid
and
cursoragent
committed
a0400de
docs(plan): §38 Q-D decision memo — overlapping actions on one array, the first landing (evidence + options, no pick)

ryansolid
and
cursoragent
committed
02798df
size(signals): §39 Q-D — provenance-gated landings on optimistic stores (option 2′)

ryansolid
and
cursoragent
committed
b9622e9

Commits on Oct 4, 2026