Repository navigation

frames: A0 correctness pass — S-flush, C3 hold, C5 data scope, C12 report, rulings - #3837

Merged

ryansolid merged 20 commits into

nextfrom

wip/frames-pass-integration

Oct 6, 2026

Commits on Oct 6, 2026

fix(web/frames): the address is an async source — one landing per bound address, one response per store (S-flush)

committed
b4880fc
fix(web/frames): hydration-done counts the frame's holds — a waiting adopted occurrence is a pending boundary (C3)

committed
b39248f
fix(web/frames): a data chunk of a superseded response lands nowhere (C5)

committed
736fe95
fix(web/frames): report a rejected server <Loading> fragment inside an adopted frame in dev; the client shows the server's outcome (C12 c, client half)

committed
f354324
web/frames: trim the hold's bytes — one mounted read per occurrence in #syncSlots, the guard reads isHydrationInProgress alone

committed
af64ec1
web/frames: the data guard needs no undefined check (n < undefined is false)

committed
63b5e85
Merge branch 'fix/frames-c5-data-response-scoped' into wip/frames-pass-integration
ryansolid
committed
509f1ec
Merge branch 'fix/frames-c12-server-outcome' into wip/frames-pass-integration
ryansolid
committed
0d1cdd7
docs(server-components): frames rulings — the three seams the consistency reds and the size audit's duplicates share (proposed)

ryansolid
and
Claude via Cursor
committed
ed631c3
docs(server-components): frames rulings — C13 confirmed, C18 first, C19 under seam 3; gate is #3813

ryansolid
and
cursoragent
committed
3f22860
docs(server-components): frames rulings — principle: SCs are rendered data; a frame is one async value outward, its inner boundaries are the server's; 3.1 ruled

ryansolid
and
cursoragent
committed
78cbb4b
docs(server-components): A0 — equivalence: SCs are rendered data, the hold model governs; axioms annotated with the Solid 2 rules they restate

ryansolid
and
cursoragent
committed
9d4fcbb
docs(server-components): frames rulings — prior art comparison

committed
687a48c
docs(plans): bring the frames A0 re-attribution and the savings-pass plan onto the rulings branch (from size/frames-a0-reattribution @ 1e0be39d9)

committed
d279b33
docs(server-components): frames rulings — the overnight pass's defaults, the server-half drafts, the as-landed table

committed
903165e
docs(server-components): frames rulings — the maintainer's 2026-10-06 decisions: the defaults accepted, the C3 hold cost accepted (caps raised), #3827 closed as superseded by S-flush

ryansolid
and
cursoragent
committed
ab99cb0
size: raise frames/hydration caps for C3 hold (maintainer Size-Exception)

ryansolid
and
cursoragent
committed
665bda8
docs(server-components): frames rulings — the pass lands as one PR, #3837

ryansolid
and
cursoragent
committed
4030be5
docs: record 2026-10-06 rulings (3.6 (iii), wire order, §6 decisions, holes eager) and the measured Phase D floor

ryansolid
and
cursoragent
committed
00dbc86
Merge remote-tracking branch 'origin/next' into mq-3837
ryansolid
committed
e968866

Navigation Menu

Repository navigation

frames: A0 correctness pass — S-flush, C3 hold, C5 data scope, C12 report, rulings - #3837

frames: A0 correctness pass — S-flush, C3 hold, C5 data scope, C12 report, rulings#3837
ryansolid merged 20 commits into
nextfrom
wip/frames-pass-integration

Commits on Oct 6, 2026

fix(web/frames): the address is an async source — one landing per bound address, one response per store (S-flush)

fix(web/frames): hydration-done counts the frame's holds — a waiting adopted occurrence is a pending boundary (C3)

fix(web/frames): a data chunk of a superseded response lands nowhere (C5)

fix(web/frames): report a rejected server <Loading> fragment inside an adopted frame in dev; the client shows the server's outcome (C12 c, client half)

web/frames: trim the hold's bytes — one mounted read per occurrence in #syncSlots, the guard reads isHydrationInProgress alone

web/frames: the data guard needs no undefined check (n < undefined is false)

Merge branch 'fix/frames-c5-data-response-scoped' into wip/frames-pass-integration

Merge branch 'fix/frames-c12-server-outcome' into wip/frames-pass-integration

docs(server-components): frames rulings — the three seams the consistency reds and the size audit's duplicates share (proposed)

docs(server-components): frames rulings — C13 confirmed, C18 first, C19 under seam 3; gate is #3813

docs(server-components): frames rulings — principle: SCs are rendered data; a frame is one async value outward, its inner boundaries are the server's; 3.1 ruled

docs(server-components): A0 — equivalence: SCs are rendered data, the hold model governs; axioms annotated with the Solid 2 rules they restate

docs(server-components): frames rulings — prior art comparison

docs(plans): bring the frames A0 re-attribution and the savings-pass plan onto the rulings branch (from size/frames-a0-reattribution @ 1e0be39d9)

docs(server-components): frames rulings — the overnight pass's defaults, the server-half drafts, the as-landed table

docs(server-components): frames rulings — the maintainer's 2026-10-06 decisions: the defaults accepted, the C3 hold cost accepted (caps raised), #3827 closed as superseded by S-flush

size: raise frames/hydration caps for C3 hold (maintainer Size-Exception)

docs(server-components): frames rulings — the pass lands as one PR, #3837

docs: record 2026-10-06 rulings (3.6 (iii), wire order, §6 decisions, holes eager) and the measured Phase D floor

Merge remote-tracking branch 'origin/next' into mq-3837