Skip to content

Revert #6640 Wave-1 namespace strip — restore main to green - #6847

Merged
briansrls merged 1 commit into
mainfrom
revert-6640-wave1
Jul 18, 2026
Merged

briansrls merged 1 commit into
mainfrom
revert-6640-wave1

Conversation

@gunbai-bot

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

Copy link
Copy Markdown
Contributor

Reverts merge commit 5a0ed6f (#6640, -m 1). Nothing landed on main after it, so this is the exact inverse — main's tree returns byte-identical to pre-merge state c2859a6.

Why: #6640 stripped imports across ~1,650 files before the resolver could place every bare reference. Main went ci-RED: 957 hard compile-clean diagnostics on the dag/ tree (homonyms like Frame/Terminal/Nat/FilePath collapsed to ambiguous by the flat global-bare census) plus src/v2 witness-discovery failures on unique cross-module types (Symbol, ShellProgram — a separate census-scoping gap), plus bare value/function refs (shell, gcp, fold, render). Multiple mechanisms, two corpora — fix-forward means days of red main blocking every PR's CI. Operator-approved decision: revert now, re-land when actually green.

Verified at this head:

  • cargo build --bins EXIT 0
  • whole-tree compile-clean: HISTOGRAM_TOTAL_HARD 0 (was 957 on main)

Re-land plan (owned by quiet-gull-833): complete namespace resolution on a branch against the stripped corpus — nearest-container disambiguation replacing the flat census (operator-ruled uniform containment model), the src/v2 scoping gap, bare value/function resolution — then re-land strip + resolver as one atomic PR gated on whole-tree compile-clean green across BOTH trees, not just plan-resolve. The strip content stays in git history; nothing is lost.

🤖 Generated with Claude Code

…6607 #6610 #6611 #6612 #6613 #6622 into one draft integration branch/PR on main; atomic Wave-1 landing target; close/supersede individual strip PRs; hold draft until G1+(c) then single rebase+merge (#6640)"

This reverts commit 5a0ed6f.
@gunbai-bot gunbai-bot Bot changed the title namespace migration Revert #6640 Wave-1 namespace strip — restore main to green Jul 18, 2026
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review July 18, 2026 11:33
@briansrls
briansrls merged commit f355b13 into main Jul 18, 2026
1 of 2 checks passed
@briansrls
briansrls deleted the revert-6640-wave1 branch July 18, 2026 11:33
gunbai-bot Bot pushed a commit that referenced this pull request Jul 18, 2026
Rebase onto main (namespace revert #6847); drop redundant import-restore
commits. Remove misleading shell_path_prefix wrappers in ci_layer_roots
(plumb SourceRootShellStyle directly) and add cli_invoke dissolve-on marker
for interim _shell builders.

Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls added a commit that referenced this pull request Jul 18, 2026
…ff raw shell concat onto a modeled operation

Brief: docs/plans/shell-intent-emit-realization-design.md Phase 3 (operation family 1: gunbc-run / claim-executor invocations). The flagship (#6833 git.diff) proved the pattern; apply i (#6841)

* Phase 3a: centralize gunbc-run / claim-executor invocations (rebased on main)

Relocate first-party CLI argv/shell authority to gunbc.cli_invoke and typed
service ops to gunbc.cli_services; rewire CI/falsifier/runtime call sites;
add frozen deploy golden + witness coverage. Rebases onto main (5a0ed6f).

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

* fix(gunbc): rebase on main + address review 39605 nits

Rebase onto main (namespace revert #6847); drop redundant import-restore
commits. Remove misleading shell_path_prefix wrappers in ci_layer_roots
(plumb SourceRootShellStyle directly) and add cli_invoke dissolve-on marker
for interim _shell builders.

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

* fix(gunbc): single authority for claim_executor_bin_name (review 39618)

build_step_transport imports the constant from gunbc.cli_invoke instead of
re-declaring it, closing the §3 fork in the consolidated invocation family.

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

---------

Co-authored-by: Brian Searls <briansearls1@gmail.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