Repository navigation

Floor: derive cross-claim pure-share from planned claims' call-site demand; delete the hand roster - #13043

Merged

gunbai-bot[bot] merged 59 commits into

mainfrom

session/royal-deer-478

Oct 5, 2026

Commits on Oct 3, 2026

Floor: derive cross-claim pure-share admission from planned claims' call-site demand

Brian Searls
and
claude
committed
3519979
Floor share derivation: function-value calls are unresolved; name unattributed hits by key

Brian Searls
and
claude
committed
7d142a0
Share observer: every call shape ends in a typed, counted cause

Brian Searls
and
claude
committed
c081563
Share derivation decode: read the fold's lists in either representation

Brian Searls
and
claude
committed
c2558b2
Derived share: a declared cost floor, one store per warm, retained rows only

Brian Searls
and
claude
committed
98a4286
Derived share: admission is a std.materialization_ladder judgment

Brian Searls
and
claude
committed
066c479
Derived share: recurrence over declared claims, warm only planned reach

Brian Searls
and
claude
committed
f64b8f9
Class-2 dispositions: 20 single-claim fixture witnesses withheld as declared cost debt

Brian Searls
and
claude
committed
bb22c44
Derived share: print every decline, single-claim included

Brian Searls
and
claude
committed
d957126
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
0f871da
Derived share: name unadmissible sites by producer for disposition

Brian Searls
and
claude
committed
b5fe692
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
d496968
Derived share: no preparation warm; fills are lazy, floored at retention, wall-excused in flight

Brian Searls
and
claude
committed
97f1921
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
e049ff6
Derived share: a site gate never narrows an existing admission

Brian Searls
and
claude
committed
dbaf1d8
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
1f7903d
Class-2 dispositions from the planning probe: 25 more withheld as declared cost debt

Brian Searls
and
claude
committed
183afcf
Cost debt: one identity was withheld twice

Brian Searls
and
claude
committed
808dccc
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
0debdb6
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
b682c73
Rung drop: the restoration trigger covers both cost-debt chunks

Brian Searls
and
claude
committed
ded8a88
Single-claim fill debt: 345 claims keep running, each transfer named per claim

Brian Searls
and
claude
committed
c5cff13
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
8f174f3
Merge origin/main; report what the cross-claim tier declines to retain

Brian Searls
and
claude
committed
7eda7a8
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
58f4b5f
Fill debt: statement_let_then_reference_lowers_holds became shared by demand

Brian Searls
and
claude
committed
ee0f886
Single-claim fill debt is netted, not retained; publish unkeyed admitted fills

Brian Searls
and
claude
committed
309c200
Fill debt: five members from the later probe; receipt lists the net-only and decline-report declarations

Brian Searls
and
claude
committed
9184803
In-flight fill wall excusal is bounded by the fill's own steps

Brian Searls
and
claude
committed
b172ba5
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
3f2242c
Frozen runtime-identity residual: five producers whose arguments are never closed constants stay shareable

Brian Searls
and
claude
committed
baee1a5
Merge remote-tracking branch 'origin/main' into session/royal-deer-478
Brian Searls
committed
cdbcd0c
Fill wall ceiling per step is a std.measure Nanosecond, not a bare Int (review 75137)

Brian Searls
and
claude
committed
01d10d2

Commits on Oct 4, 2026

Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
7d67b4c
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
11389c7
Merge remote-tracking branch 'origin/main' into session/royal-deer-478
Brian Searls
committed
d4ff7b6
Fill debt: seven members behind the eleven roster rows main added (#13118, #13069, #13120), from probe 37177499463

Brian Searls
and
claude
committed
88fbe67
Carried-input seed controls carry the residual producer function their fixture module now owes (review 75438)

Brian Searls
and
claude
committed
931d459
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
e1d28ab
Merge remote-tracking branch 'origin/main' into session/royal-deer-478
Brian Searls
committed
22fb7f4
Fill debt: five members behind the six roster rows #13060 added, from probe 37186494805

Brian Searls
and
claude
committed
766fa1d
Cost floor counts a fill's native work: thread CPU read as steps at the calibration rate

Brian Searls
and
claude
committed
a99fc0d
Merge remote-tracking branch 'origin/main' into session/royal-deer-478
Brian Searls
committed
40cfe21
Merge remote-tracking branch 'origin/main' into session/royal-deer-478
Brian Searls
committed
cca7d74
Site-gate check allocates nothing; a site whose fill is below the cost floor is retired for the run

Brian Searls
and
claude
committed
26471cb
Merge remote-tracking branch 'origin/main' into session/royal-deer-478
Brian Searls
committed
c130ee2
Cost floor's CPU arm is the new-witness envelope, not the step floor converted to time

Brian Searls
and
claude
committed
b968968
Merge remote-tracking branch 'origin/main' into session/royal-deer-478
Brian Searls
committed
0009896
Tier lookup verifies a served-instance argument by its digest, not by reifying it per call

Brian Searls
and
claude
committed
95d7e67
Fill debt: four members from probe pair 37204679518 / 37204680949

Brian Searls
and
claude
committed
e644ab5
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
e46846f
Fill debt: nine members behind the nine roster rows #13038 added, from probe pair 37210396855 / 37210398646

Brian Searls
and
claude
committed
a5ae2c7
Merge remote-tracking branch 'origin/main' into session/royal-deer-478
Brian Searls
committed
488a6d6
Merge origin/main; retire the nine type_application_kind fill-debt members as ClaimDeleted

Brian Searls
and
claude
committed
dcdb8d6
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
2fa5771
Merge origin/main into session/royal-deer-478

Brian Searls
and
claude
committed
255af02
Fill debt: twelve members behind the sixteen roster rows #13187 added, from probe 37238532455

Brian Searls
and
claude
committed
6d7f9ae
Merge remote-tracking branch 'origin/main' into session/royal-deer-478
Brian Searls
committed
d0a206d

Commits on Oct 5, 2026

Cross-claim lookup: a served argument matches by INSTANCE identity, never by digest alone

Brian Searls
and
claude
committed
628b258