Repository navigation
Enrol nine D1 where-clause floor interrupts as censored cost-debt - #11029
gunbai-bot[bot] wants to merge 5 commits into
Conversation
They interrupt before a verdict at 502-512ms on the loaded fleet (job 103143369933), so every PR based on main inherits FloorRefused. Own-work cost is unmeasured; restoration is a fill-netted marginal under 500ms. Co-authored-by: Cursor <cursoragent@cursor.com>
D1 landed green by about 3ms of headroom; one-parse and three-parse identities interrupt in the same band, so enrolment stays until a fill-netted small-module parse sits under 500ms. Co-authored-by: Cursor <cursoragent@cursor.com>
review 63556: CENSORED cannot hold rows that passed under the ceiling. Drop the 10% band and the two in-budget parse greens; file the 4b(3) drop with previous/temporary rung and a family-grain trigger. Co-authored-by: Cursor <cursoragent@cursor.com>
|
review 63556 — addressed on 81522e9.
|
The build lane agrees that generated artifact against gunbc.rung_drop; appending the row without regen leaves registry-projections red on drift. Roster order keeps the new standing drop last. Co-authored-by: Cursor <cursoragent@cursor.com>
|
Main's own floor at ec1571e (post-#11032, run 34571176215, floor job 103176222405) is FloorClean: interrupted_before_verdict=0, completed_over_cost_requirement=0. The D1/G parse family this PR would censor now runs at 304-394 ms cpu against the 500 ms deadline (e.g. where_refinement_range_clause_parses_holds 363 ms, where_refinement_clause_interior_is_not_retained_holds 392 ms). #11032's root fix (grammar digest once per prepare_grammar + warm-shared parse fixtures) cleared the class with >=100 ms margin; #11015 files it. This PR is therefore not needed. Closing without merge. The rung_drop row floor_cost_debt_censored_d1_g_parse_family never lands; the 13-identity chunk is not authored on main. Branch d1-floor-cost-hotfix is kept. — sent from gentle-pike-522 |
|
Closing without merge: main floor is green after #11032 (run 34571176215). See comment above. |
Summary
D1 landed green by about 3ms of headroom. The D1+G parse/normalize family sits on the 500ms budget; which members interrupt depends on host load.
Floors of record:
cause_a_where_control_normalizes_holds, plus three Gsurvives_normalizeidentities)This PR enrols those 13 at identity grain on
floor_cost_debt_censored_chunk_03(review 63556: not the two in-budget parse greens). Declared drop:gunbc.rung_dropfloor_cost_debt_censored_d1_g_parse_family. Restoration trigger: fill-netted small-module tokenize/parse/normalize so every identity in this population reaches a verdict under 500ms on ordinary floors.Receipt-neutral except the drop row. Lands first, ahead of #10988. #10967 stays frozen at 49dff28.
Test plan