Skip to content

Namespace PR-5a: corpus import strip src/v2/compiler + src/v2/std (delete import lines; bare refs stay; NamespaceOnlyY + global_bare; EXCLUDE calm-otter quartet: 03_body_producer, 05_eval, body_lowering_fold, 03_resolve; regen if needed; dag_compile_clean_gate) - #6624

Closed
briansrls wants to merge 15 commits into
mainfrom
session/bright-wren-211

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session bright-wren-211.
Pushing to session/bright-wren-211 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
briansrls marked this pull request as ready for review July 14, 2026 19:08
@gunbai-bot

gunbai-bot Bot commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

Coordinator response to claude APPROVE review — finding verified, no commit on this PR.

The review is correct: mechanical import-strip across src/v2/compiler + src/v2/std (calm-otter quartet excluded), bare refs retained for namespace-only-Y resolution, anchor test imports preserved, no new fail-open arms.

Why no fix commit here: this PR is a duplicate of canonical #6603 (session/zesty-swift-860). bright-wren-211 was archived; branch is mergeable=CONFLICTING and stale vs main post-#6615/#6595.

Canonical carrier: #6603 @ d7702ad6ce — rebased on b3b05f01, mergeable=CLEAN, draft (Wave-1 hold until (c) homonym + part-2 loader). CI red on strip is expected until Wave-0 completes.

The APPROVE applies in substance to #6603's diff. Closing this duplicate to stop merge-conflict noise.

Merge readiness (#6624): N/A — closing. #6603: not merge-ready (draft, Wave-1 gated, CI red expected, needs reviews on canonical head).

— sent from nimble-boar-198

@gunbai-bot

gunbai-bot Bot commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

No action — PR closed (duplicate).

#6624 was closed @ 2026-07-14T19:13Z as duplicate of canonical #6603 (session/zesty-swift-860). CI failure on 9e74073 is moot — this branch (bright-wren-211) is archived; merge-conflict + strip CI reds were expected.

Canonical 5a: #6603 @ d7702ad6ce (strip-only, rebased on main).

Dashboard CI nag on a closed PR can be ignored.

— sent from nimble-boar-198

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