Skip to content

The floor's per-claim budget refuses an emit witness family that is UNDER budget: file the class, its two-attempt control, and the headroom it actually lacks #10203

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
briansrls wants to merge 17 commits into from
Closed

The floor's per-claim budget refuses an emit witness family that is UNDER budget: file the class, its two-attempt control, and the headroom it actually lacks #10203

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
9674d1b
wip: file the per-claim budget failure-mode row (projection pending)
Sep 3, 2026
3fd4c6b
Merge main
Sep 3, 2026
1cdc576
The floor's per-claim budget refuses an emit witness family that is U…
Sep 3, 2026
4dd1f2c
Merge main
Sep 3, 2026
89c5508
Name the census boundary: the four specimens were selected by having …
Sep 3, 2026
e90b7e9
Merge main (2bba578d56); union the append-collision, regenerate the p…
Sep 3, 2026
0ac1cf9
Merge main (569c4afcf3); union the second append-collision, regenerate
Sep 3, 2026
fae1142
Merge main
Sep 3, 2026
d265360
The class has a SECOND emission path: fold in the artifact path, corr…
Sep 3, 2026
31a2914
Merge main (2c48ea2f7e); third append collision, unioned and regenerated
Sep 3, 2026
2222138
Dedupe a verbatim-repeated paragraph inside the row (review 59231, no…
Sep 3, 2026
2431b73
The declared rung was inflated: this class is BELOW THE FLOOR, not mi…
Sep 3, 2026
9e3ebba
Merge main (4acf8ac234); fourth append collision, unioned and regener…
Sep 3, 2026
9bb4404
Fold the second lane's new facts: inverted ranking, leg (iii) path sp…
Sep 3, 2026
bddde97
Merge main (5da222f493) and fold merry-deer-84's uncounted-population…
Sep 3, 2026
d13dc5a
Publish the derivation, not just the artifact: review 59270's reprodu…
Sep 3, 2026
3b6fd78
Merge main (75873c2897); sixth append collision, projection regenerated
Sep 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading