Skip to content

Dispatch K: register the five-minute-ci-gate program boundary in the roadmap authority - product boundary: an ordinary source edit reaches a required CI verdict in five minutes without recomputing any semantic fact whose inputs did not change; six sub-lanes (warm-merge-admission, native-selected-wit - #7597

Merged
briansrls merged 9 commits into
mainfrom
session/still-wolf-404
Aug 1, 2026

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session still-wolf-404.
Pushing to session/still-wolf-404 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.

@gunbai-bot
gunbai-bot Bot force-pushed the session/still-wolf-404 branch from f636fc7 to 3f6cc97 Compare August 1, 2026 17:38
gunbai-bot Bot pushed a commit that referenced this pull request Aug 1, 2026
Settle native-at-small-scale (#7599 BANKED), register the six-step
dependency sequence and staged expectations A/B/C, and add the
warm-merge → native-bundle sequence edge.

Co-authored-by: Cursor <cursoragent@cursor.com>
Brian Searls and others added 9 commits August 1, 2026 19:54
Correct six sub-lanes, close entry-graph-union as sibling disposition,
and restore required red_control on all ticket fields so main_wet and
the generated-artifact drift gate can execute.

Co-authored-by: Cursor <cursoragent@cursor.com>
Settle native-at-small-scale (#7599 BANKED), register the six-step
dependency sequence and staged expectations A/B/C, and add the
warm-merge → native-bundle sequence edge.

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

Executed 25/25 witnesses at head 2f9e780; timing ratio figures are
claimed-not-verified (PR body) until merge + fleet rerun. Regenerated DESIGN.md.

Co-authored-by: Cursor <cursoragent@cursor.com>
Keeps #7533 entry-graph-union adjudication from main; five-minute-ci-gate
registration preserved from branch.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot force-pushed the session/still-wolf-404 branch from d749640 to 2f91a3c Compare August 1, 2026 19:57
@briansrls
briansrls marked this pull request as ready for review August 1, 2026 21:25
@cursor

cursor Bot commented Aug 1, 2026

Copy link
Copy Markdown

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@briansrls
briansrls merged commit 023f920 into main Aug 1, 2026
6 checks passed
@briansrls
briansrls deleted the session/still-wolf-404 branch August 1, 2026 21:25
gunbai-bot Bot pushed a commit that referenced this pull request Aug 3, 2026
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>
gunbai-bot Bot pushed a commit that referenced this pull request Aug 3, 2026
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>
briansrls pushed a commit that referenced this pull request Aug 3, 2026
* docs: register floor prep-tax program (retention-first CI wall)

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>

* docs: clarify prep-tax gates vs five-minute native cutover

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>

* docs: retract #7597 Mode-B prior from prep-tax P1 framing

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>

* fix(docs): bind floor-prep-tax-program in doc graph

Unbound hand-authored plan was an orphan under doc_graph_has_no_orphan_docs
and blocked #7721 CI; enroll HandAuthoredDocBind and link from five-minute.

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

* docs: park floor prep-tax program with pickup snapshot

Record P1 REJECT / open PR heads / HOLD leaves and ordered resume steps
before operator pause; no further dispatch this stretch.

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

* docs: note closeout #7731 closed in park snapshot

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

* fix(docs): drop dangling P1 receipt link until #7725 merges

doc_graph_has_no_dangling_links reds a relative link to a file that
exists only on the P1 branch; cite the path/PR in prose instead.

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

* docs: correct #7725 CI block — main E0061, not leaf

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

* fix: restore 9-arg clone-bound call (main tip E0061)

Same three-arg restore as #7734 — main's merge-ref fails the build gate
on a stale 6-arg site. Temporary carry until #7733/#7734 land on main;
dissolves when main is green.

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

* fix: align stage0 emit_rust with main after #7733

Regen failed: seed lagged the restored emitter (#7708 via #7733). Drop the
temporary 3-line E0061 carry in favor of main's fixed-point seed.

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

* docs: bank P1 REJECT on #7725 in park snapshot

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

* docs: mark #7722 P2 merge-ready in park snapshot

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

---------

Co-authored-by: gunbc-ci-auto-heal <gunbc-ci-auto-heal@users.noreply.github.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
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