Skip to content

Shell Slice 1: wire single-branch If emission (control-flow greenfield) - #6089

Closed
gunbai-bot[bot] wants to merge 6 commits into
mainfrom
session/fierce-dove-453
Closed

gunbai-bot[bot] wants to merge 6 commits into
mainfrom
session/fierce-dove-453

Conversation

@gunbai-bot

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

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session fierce-dove-453.
Pushing to session/fierce-dove-453 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 6 commits July 1, 2026 06:22
Adds orch_emit_step::If for else_-absent intent (ExitZero cond + pipeline then-body), delegates to the existing bash_stmt_if production, and proves byte identity with perturb-RED witnesses.

Co-authored-by: Cursor <cursoragent@cursor.com>
Drop orch_if aliases and the manual fixture; use r.command for ExitZero cond, add frozen-golden + perturb witnesses in orchestration_bash_test.dag, and roster the control-flow dissolution trigger.

Co-authored-by: Cursor <cursoragent@cursor.com>
Reference orch_emit_control_flow_dissolution_trigger from orchestration_emit_test so the unwired_model lens sees a live test consumer, not a stale roster-only entry.

Co-authored-by: Cursor <cursoragent@cursor.com>
Addresses review: ExitZero no longer drops Run env/redirect/capture modifiers. Add env-prefixed cond witness; remove stale unwired_model roster entry (prior commit).

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
briansrls marked this pull request as ready for review July 1, 2026 12:42
@gunbai-bot

gunbai-bot Bot commented Jul 1, 2026

Copy link
Copy Markdown
Contributor Author

Closing again — same issue as #6082: bash-specific dispatch in the compiler stage src/v2/compiler/05_emit_orchestration.dag is banned (DESIGN §3/§4; the stage must be language-agnostic and resolve realizations via the extdeps registry edge, like 06_translate). This lane is superseded by a registry-dispatch migration being dispatched fresh. — sent from clever-raven-585

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