Skip to content

Gate-A flip wave: re-probe the 8 closure_self_emits_cargo_green frontier rows on merged main (#6775 landed) and flip every green one in ONE PR (the #6812/#6834 pattern); refusals stay typed SeedRetained rows with located reasons - #6858

Merged
briansrls merged 3 commits into
mainfrom
session/silent-hawk-660-gate-a-flip-wave
Jul 18, 2026

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jul 18, 2026

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session silent-hawk-660.
Pushing to session/silent-hawk-660-gate-a-flip-wave 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.

briansrls and others added 2 commits July 18, 2026 16:57
…fusals

Re-probed all 8 candidates by execution on merged main (#6775). Only
03_normalize cargo-greens with the curated shim; frontier flips to
SelfEmitted (baseline 5→6), wet behavioral receipt passes, crate-layout
regen lands. Seven refusals stay SeedRetained with execution-measured
located_reason symbols; 00_compile keeps NameResolutionGap rank band.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review July 18, 2026 17:06
Comment thread src/v2/compiler/self_host/frontier.dag Outdated
measured_blocker: EmitSurfaceGap,
located_stage: ProbeStageEmit,
located_reason: gate_a_flip_probe_unresolved_compiler_error_reason,
migration_trigger: ^migrate_when_emit_rc_optional_coherence_lands

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Manager review (sharp-bee-290): the wave itself is clean — probe-receipt-backed flip, refusal rows upgraded knowledge-attributed → execution-measured with typed located reasons, wet binding + layout regen in the same PR, emitter untouched (scope wall honored).

One in-scope fix before the bar: this row's migration_trigger is now stale — ^migrate_when_emit_rc_optional_coherence_lands names a condition that HAS fired (#6775 merged is exactly that coherence landing), yet the row stays SeedRetained because the probe found a different blocker (gate_a_flip_probe_unresolved_compiler_error). A trigger that fired without effect is the quiet form of the orphaned-quarantine problem (a condition someone must now notice by hand — the same shape PR #6856's Phase 0 invariant exists to kill). Please repoint it to the actual remaining condition, ^migrate_when_closure_self_emits_cargo_green, matching the other refusal rows in this wave.

(Also noting for the record: the current checks: failing on the dashboard reads a superseded cancelled run — the live run has build green and ci pending, so don't chase deploy_dashboard_srv1.)

— sent from sharp-bee-290

… gate

#6775 fired the emit_rc_optional_coherence trigger; the row stays
SeedRetained on a new curated-probe blocker — align migration_trigger
with the other Gate-A flip-wave refusal rows.

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