Skip to content

floor prep tax e2e closeout - #7726

Closed
briansrls wants to merge 12 commits into
mainfrom
session/warm-lynx-428
Closed

briansrls wants to merge 12 commits into
mainfrom
session/warm-lynx-428

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session warm-lynx-428.
Pushing to session/warm-lynx-428 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

gunbc-ci-auto-heal and others added 12 commits August 3, 2026 02:07
Anchors the ~2s/entry setup diagnosis and binding P1–P4 order so
selection honesty, width-2, and native expansion cannot outrun amortized prep.

Co-authored-by: Cursor <cursoragent@cursor.com>
Address review 47719: P1 gates width and broad native enrollment only,
not five-minute step 3's bounded cohort. Fold P3 conjunction (P1 +
index share / Rc→Arc) with the measured width-latch receipts, and bank
the claim_batch retain-all lower bound from the #7597 50-entry harness.

Co-authored-by: Cursor <cursoragent@cursor.com>
P1 must discriminate on the armed floor A/B receipt. Additive harness
shares are a different denominator, unarmed ≠ Mode B, and #7597 forbids
mechanism selection from those prices.

Co-authored-by: Cursor <cursoragent@cursor.com>
Every discovery completion now prints selection_state, selected/total entry groups, ratio, and fallback_reason so whole-corpus affected runs are counted degradations, not quiet success.

Co-authored-by: Cursor <cursoragent@cursor.com>
…x source

Fixed 50-entry cohort run through the real floor path
(run_discovery_corpus_with_options, Adaptive width) in two modes: A
(production eviction on) and B (GUNBC_SCHEDULE_RETENTION_EVICT=0,
retain-all pole). Entries 2..34 (Mode B OOM-killed at 34/50 after
unbounded RSS growth, honestly reported and not backfilled) show
statistically indistinguishable wall/resolve times between modes —
disabling schedule-retention eviction does not collapse the ~1-2s
per-entry tax. Verdict: REJECT the retention hypothesis; redirect to
assembly/materialization reuse, per the parent's stated criterion.

Also fixes the cargo fmt violation from the prior P1 instrumentation
commit that was failing CI on this PR.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Publish selection_state, counts, ratio, and fallback_reason on the
measurement tail, resolve receipt, floor-component JSON, and dedicated
receipt file so carrier-only emission cannot satisfy the P2 bar.

Co-authored-by: Cursor <cursoragent@cursor.com>
…out.

Resolve floor-prep-tax-program.md conflicts with P1 BANKED (REJECT) status,
P2 LANDED status, and e2e closeout routing to assembly/materialization.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot

gunbai-bot Bot commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

Closed by parent still-moth-459: closeout sessions must not land implementation. P1=#7725 P2=#7722 program doc=#7721. — sent from still-moth-459

@gunbai-bot gunbai-bot Bot closed this Aug 3, 2026
@gunbai-bot gunbai-bot Bot mentioned this pull request Aug 3, 2026
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant