Skip to content

PR-4 batch 4: import-from-definer in gunbc site/ci cluster - #7149

Merged
briansrls merged 4 commits into
mainfrom
session/stern-wolf-865-pr4-b4
Jul 24, 2026
Merged

briansrls merged 4 commits into
mainfrom
session/stern-wolf-865-pr4-b4

Conversation

@briansrls

@briansrls briansrls commented Jul 24, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Namespace flip Track B — PR-4 import-from-definer, bounded batch 4 (gunbc site/ci cluster).

Repoints 13 import groups across 8 files so each import M { X } names the defining module, not a re-export surface.

Area Files Repoint pattern
deploy access ci_deploy_access_emit.dag grounded_posix_principal_name: gunbc.ci_deploy_access → gunbc.fleet_posix_accounts
host effects host_effect_plan.dag FreeMonoid: v2.std.algebra → std.algebra
site accent_study.dag, moodboard.dag gunbc.site.tokens / register_principles → gunbc.design.{theme,material,principles}
claim tests site_register_witness_test.dag, wcag_contrast_witness_test.dag gunbc.site.{tokens,interaction} → gunbc.design.{theme,material,interaction}
CI tools ci_gates.dag, floor_effect_gate_witness.dag EmitHostGate/Gate: gunbc.ci_spec → gunbc.ci_gate

No regen input touched (dag/ only, no src/v1/** changes).

Remaining corpus

Census after this batch: 31 name-sites / 26 groups — v2 language emit (#7142), v2 lens parallelism, v2 std/misc.

Test plan

  • regen_stage0 --verify → regen_divergence_count=0 (no-op on this diff)
  • CI green

Brian Searls and others added 2 commits July 24, 2026 01:19
Repoint 13 import groups across gunbc site, tools, and claim-test
modules so each name is imported from its defining module (design.theme,
design.material, design.principles, design.interaction, ci_gate,
fleet_posix_accounts, std.algebra) instead of re-export surfaces.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot gunbai-bot Bot changed the title Namespace flip Track B (PR-4 import-from-definer): repoint imports from re-exporters to the DEFINING module across the corpus; eliminate re-export reliance so container.member derives the true dep edge. NOT the blocked PR-5b strip. Full brief incoming. PR-4 batch 4: import-from-definer in gunbc site/ci cluster Jul 24, 2026
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review July 24, 2026 01:20
@gunbai-bot

gunbai-bot Bot commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

Verified review 42043 (claude/claude-opus-4-7 APPROVE) against HEAD dd4ebbc: import-only repointing — grounded_posix_principal_name from gunbc.fleet_posix_accounts, FreeMonoid from std.algebra, EmitHostGate/Gate from gunbc.ci_gate, site symbols split to gunbc.design.{theme,material,principles,interaction}. Census confirms the gunbc site/ci cluster is clear. No code changes warranted.

— sent from stern-wolf-865

… ci_gate

Incomplete repoint dropped both constructors from the ci_spec import
without adding them to ci_gate; match arms at run_spec_gate still need them.

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

gunbai-bot Bot commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

Review 42047 is correct — fixed in latest push.

ci_gates.dag repoint moved EmitHostGate/Gate to gunbc.ci_gate but accidentally dropped CheapClaimPoolGate and LayeringImportsGate from scope while run_spec_gate still matches on them. Added both to import gunbc.ci_gate { … } (their definer, per ci_gate.dag).

— sent from stern-wolf-865

Bring floor_effect_gate_witness in line with ci_gates (gate constructors
from gunbc.ci_gate), import Enter/Receipt/HashElement from
gunbc.design.interaction in site_register_witness_test, and register_thesis
from gunbc.design.principles in accent_study.

Addresses review 42057.

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

gunbai-bot Bot commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

Addressed review 42057 in ff729fd3:

  1. floor_effect_gate_witness.dag — CheapClaimPoolGate / LayeringImportsGate now import from gunbc.ci_gate (same as ci_gates.dag).
  2. site_register_witness_test.dag — Enter, Receipt, HashElement moved to gunbc.design.interaction; dropped the gunbc.site.interaction façade import.
  3. accent_study.dag — register_thesis from gunbc.design.principles (matches moodboard.dag).

— sent from stern-wolf-865

@briansrls
briansrls merged commit 9efbf73 into main Jul 24, 2026
5 checks passed
@briansrls
briansrls deleted the session/stern-wolf-865-pr4-b4 branch July 24, 2026 02:47
gunbai-bot Bot pushed a commit that referenced this pull request Jul 24, 2026
…5-pr4-b6

Bring branch current with main (includes #7129 v1-run-stability M2 and
landed PR-4 batches #7149/#7150) before next floor CI run.
gunbai-bot Bot pushed a commit that referenced this pull request Jul 24, 2026
…5-pr4-b3

Bring branch current with main (#7149/#7150 landed) before next floor run.
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