Skip to content

Phase 1 — complete the agnostic orchestration emit so the intent graph can express what pushed workflows to bash_build. Brief: docs/plans/shell-intent-emit-realization-design.md phase 1. In src/v2/std/orchestration.dag the emit has holes: While/bounded-poll is rejected and Retry is hardcoded to two - #6852

Closed
briansrls wants to merge 1 commit into
mainfrom
session/nimble-tern-201

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session nimble-tern-201.
Pushing to session/nimble-tern-201 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.

Implementation (While/BoundedPoll/general Retry emit) merged via #6832; update design doc, roadmap, and open-thread status so workers are not re-dispatched onto finished Phase 1.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
briansrls marked this pull request as ready for review July 18, 2026 14:40
@cursor

cursor Bot commented Jul 18, 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.

@gunbai-bot

gunbai-bot Bot commented Jul 18, 2026

Copy link
Copy Markdown
Contributor

Thanks — verified both findings against the current tree (review 39633).

Finding 1 (valid, will reconcile). Confirmed: shell_emission_model.dag still asserts For/While refuse by design / NOT in scope / While stays emitter-unsupported at the control-flow li, the 2026-07-03 census p, and the Slice-1 li — on the premise that no pre-runtime site needs While. Phase 1 (#6832) falsified that premise: it lowers While/BoundedPoll in the same 05_emit_orchestration.dag emitter and ci_floor_peak_emit.dag is a live pre-runtime While consumer. So those rows are stale, and adding the landing note without reconciling them makes the carrier self-contradictory. I'll update them to record that the census's 'zero pre-runtime While sites' finding was superseded by #6832 (a pre-runtime readiness-poll site emerged), rather than leave them as present-tense design decisions.

Finding 2 (won't forge; proposing done: false + sign-pending). The sibling landed rows carry sign(…, signed(by: "operator", …)), and this carrier's invariant is that every done: true row is operator-signed. #6832 was merged, not operator-signed — I can't add an operator attestation on the operator's behalf. Per the Slice-2 precedent (work observably complete → done: false, 'operator sign-off pending'), I'll set 6-shell-intent-phase1 to done: false with a merged-#6832/sign-pending note, so the invariant holds without a fabricated signature. The operator can flip it to done: true + signed(...) whenever they sign.

Regenerating DESIGN.md/ROADMAP.md to clear the drift gate is part of the same fix. Landing is pending the operator's go/no-go on carrying this doc-status PR at all. — sent from calm-ferret-849

briansrls added a commit that referenced this pull request Jul 19, 2026
…ain-merge

Addresses cursor review 39633 on the Phase-0/1 landing-record and the two
batch-2 witness failures after merging main (which landed #6853/#6854):

- shell_emission_model.dag (finding 1): reconcile the three "For/While refuse
  by design / NOT in scope / While stays emitter-unsupported" rows — the
  2026-07-03 census's "zero pre-runtime While sites" was superseded by #6832,
  which landed While/BoundedPoll emit for the ci_floor_peak_emit readiness-poll.
- roadmap_authority.dag (finding 2): 6-shell-intent-phase1 set done: false /
  operator-sign-pending (merged #6832, not operator-signed — no forged sign,
  mirrors 6-shell-slice2). Reverted the redundant #6832 add to
  2-debash-orchestration's prs (restored the render witness_emit_refs_from_binding
  pins as "(#6106)").
- Regenerated DESIGN.md / ROADMAP.md / shell-emission-model.md (drift gate green).

live_deploy_emit_holds was a stale-base failure, resolved by the main-merge.
Verified green-by-execution: roadmap_authority_witnesses, live_deploy_emit_holds,
generated_artifact_drift_witnesses all true.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@gunbai-bot

gunbai-bot Bot commented Jul 19, 2026

Copy link
Copy Markdown
Contributor

Superseded by #6878, which carries this same Phase-0/1 landing record rebased onto current main (after #6853/#6854 merged) with the review 39633 findings addressed and CI green. Verified green-by-execution: roadmap_authority_witnesses, live_deploy_emit_holds, generated_artifact_drift_witnesses all pass. — sent from calm-ferret-849

@gunbai-bot gunbai-bot Bot closed this Jul 19, 2026
briansrls added a commit that referenced this pull request Jul 19, 2026
…des #6852) (#6878)

* Record shell→intent Phase 1 landing in authority carriers (#6832).

Implementation (While/BoundedPoll/general Retry emit) merged via #6832; update design doc, roadmap, and open-thread status so workers are not re-dispatched onto finished Phase 1.

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

* Fix #6852 CI: reconcile stale While-rows + roadmap done-state after main-merge

Addresses cursor review 39633 on the Phase-0/1 landing-record and the two
batch-2 witness failures after merging main (which landed #6853/#6854):

- shell_emission_model.dag (finding 1): reconcile the three "For/While refuse
  by design / NOT in scope / While stays emitter-unsupported" rows — the
  2026-07-03 census's "zero pre-runtime While sites" was superseded by #6832,
  which landed While/BoundedPoll emit for the ci_floor_peak_emit readiness-poll.
- roadmap_authority.dag (finding 2): 6-shell-intent-phase1 set done: false /
  operator-sign-pending (merged #6832, not operator-signed — no forged sign,
  mirrors 6-shell-slice2). Reverted the redundant #6832 add to
  2-debash-orchestration's prs (restored the render witness_emit_refs_from_binding
  pins as "(#6106)").
- Regenerated DESIGN.md / ROADMAP.md / shell-emission-model.md (drift gate green).

live_deploy_emit_holds was a stale-base failure, resolved by the main-merge.
Verified green-by-execution: roadmap_authority_witnesses, live_deploy_emit_holds,
generated_artifact_drift_witnesses all true.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

* WIP: shell -> dag

---------

Co-authored-by: Brian Searls <briansearls1@gmail.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.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