Repository navigation
Grow bash AST: EnvUnset node + multi-binding env nesting (dissolve orch_emit_run_env_welded) - #5846
Closed
gunbai-bot[bot] wants to merge 7 commits into
Closed
gunbai-bot[bot] wants to merge 7 commits into
gunbai-bot[bot] wants to merge 7 commits into
Conversation
…_env_bindings to bridge module Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
6 tasks
briansrls
added a commit
that referenced
this pull request
Jun 26, 2026
My follow-on work-item duplicated snappy-newt-85's in-flight #5846, which is the correct per-spec EnvUnset + multi-binding nesting and dissolves orch_emit_run_env_welded outright. Point the trigger at the single authority instead of the now-superseded duplicate work-item. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
6 tasks
briansrls
added a commit
that referenced
this pull request
Jun 27, 2026
…le (unblocks env-prefix/cmdsubst/concat emit welds post-#5828) (#5841) * WIP: Ground String into realization: dissolve emit-kernel codepoint straddle * WIP: Ground String into realization: dissolve emit-kernel codepoint straddle * WIP: Ground String into realization: dissolve emit-kernel codepoint straddle * WIP: Ground String into realization: dissolve emit-kernel codepoint straddle * WIP: Ground String into realization: dissolve emit-kernel codepoint straddle * Wire orch env-weld follow-on work-item id into dissolution trigger The bash-AST EnvUnset + multi-binding modeling gap (the residual blocker after String grounding) is now tracked at node://adhoc-44b6225c-69f. Carrier names its own follow-on (DESIGN §6 mark-on-carrier). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * Repoint env-weld dissolution trigger to gunbc#5846 (real authority) My follow-on work-item duplicated snappy-newt-85's in-flight #5846, which is the correct per-spec EnvUnset + multi-binding nesting and dissolves orch_emit_run_env_welded outright. Point the trigger at the single authority instead of the now-superseded duplicate work-item. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * WIP: Ground String into realization: dissolve emit-kernel codepoint straddle * WIP: Ground String into realization: dissolve emit-kernel codepoint straddle * Name .chars() Value::List straddle residual on-carrier (DESIGN §6, latent) The Value::List exemption in the String-straddle wall is a ratchet with a named hole: .chars() materializes a string as a Value::List of codepoint Ints, indistinguishable at the Value level from a generic Int list. Latent (no .dag program evaluates chars into a Str-concat; the two .chars() rows in languages.dag/rust/emit.dag are emit templates). Dissolves when Char is regrounded so a codepoint-sequence is distinguishable (grounding root, #5428). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…tness Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Contributor
Author
3 tasks done
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
ShellStmtindsl/extdeps/languages/bash/program.dag(renamed fromEnvUnsetto avoid collision withEnvBinding.EnvUnsetfrom orchestration module), withserialize_stmtarm producingenv -u NAME cmdbash_stmt_env_unsetadded tosrc/v2/extdeps/languages/bash.dagwithenv -ufixed prefix + bound name + bound command tokensEnvUnsetCmdinshell_emit.dagsrc/v2/workflow/orch_env_lower.dag:lower_env_bindingsfoldsFreeMonoid<EnvBinding>into nestedEnvPrefixed/EnvUnsetCmdShellStmt tree (no separate list-based node needed — nesting IS the composition)orch_run_env_reduction_dissolution_triggernaming the gated integration path: wireemit_shell_stmt(lower_env_bindings(r.env, RawLine { text: r.command }))inorch_emit_runafter Ground String into realization: dissolve emit-kernel codepoint straddle (unblocks env-prefix/cmdsubst/concat emit welds post-#5828) #5841 lands, deleteorch_emit_run_env_weldedWitnesses (green-by-execution)
stmt_env_unset_byte_identical_holds— EnvUnsetCmd emitsenv -u TMPDIR truebyte-identical to oracle ✓stmt_env_unset_has_teeth_holds— discriminating input (different name) ✓stmt_env_multi_binding_byte_identical_holds— nestedEnvPrefixed { EnvUnsetCmd { ... } }emits byte-identical ✓stmt_env_multi_binding_has_teeth_holds— discriminating input (different value) ✓Gated on #5841
orch_emit_runstill callsorch_emit_run_env_weldedfor env-bearing Runs. The weld dissolution +orch_run_multi_binding_env_emits_correctlywitness are gated on #5841 (String-grounding, emit-kernel straddle fix). The modeling is complete; wiring lands as a follow-on after #5841 merges.Pre-existing failures (not caused by this PR)
contracts_sidecar_wired_into_emit_scope— fails on main HEAD before this branchlive_tree_has_no_orphan_docs— pre-existing orphan doc🤖 Generated with Claude Code