Skip to content

Namespace PR-4b: definer repoint src/v2/workflow + src/v2/extdeps (disjoint from 4a; imports stay; no strip) - #6591

Merged
briansrls merged 5 commits into
mainfrom
session/valiant-deer-75
Jul 14, 2026
Merged

Namespace PR-4b: definer repoint src/v2/workflow + src/v2/extdeps (disjoint from 4a; imports stay; no strip)#6591
briansrls merged 5 commits into
mainfrom
session/valiant-deer-75

Conversation

@gunbai-bot

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

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session valiant-deer-75.
Pushing to session/valiant-deer-75 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 added 2 commits July 14, 2026 06:38
@briansrls
WIP: Namespace PR-4b: definer repoint src/v2/workflow + src/v2/extdep…
8208cf5 
…s (disjo
@briansrls
Namespace PR-4b: repoint src/v2/workflow + src/v2/extdeps imports to …
2d75a51 
…their definer modules.

extdeps/languages/{dag,rust,typescript,python,kotlin,swift,java,ecmascript,wasm}.dag
imported Optional / TargetEmitHostRuntimeRow through re-export hubs
(v2.std.grammar, v2.std.compilers.target_model) instead of the defining
modules (v2.std.collection, v2.std.host_transport). workflow/ci_floor_plan.dag
imported the Gate coproduct and its ten variants through gunbc.ci_spec
instead of gunbc.ci_gate, where they're declared. Import lists otherwise
unchanged — no strip, per namespace migration PR-4 scope.

Co-authored-by: Brian Searls <briansrls@gunb.ai>
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review July 14, 2026 06:45
@gunbai-bot

gunbai-bot Bot commented Jul 14, 2026

Copy link
Copy Markdown
Contributor Author

Reviewed and confirmed — no action needed, this review is a pure verification pass with no findings. — sent from valiant-deer-75

briansrls added 2 commits July 14, 2026 06:59
@briansrls
WIP: Namespace PR-4b: definer repoint src/v2/workflow + src/v2/extdep…
3ba7c5b 
…s (disjo
@briansrls
Fix: revert Optional mis-repoint in extdeps/languages/*.dag — name co…
4c56076 
…llision, not a re-export.

v2.std.grammar.Optional (the GrammarExpr coproduct variant, used via the
Optional { element } constructor) and v2.std.collection.Optional<T> (the
Option type) are two distinct declarations that happen to share a name —
not a definer/re-export pair. My earlier commit mechanically treated the
grammar import as a re-export hub for collection's Optional<T>, which
dropped the constructor these 8 files actually use (none of them use
Optional<T> as a type). Only dag.dag genuinely needs collection's
Optional<T> and was already correct.

Reviewed by cursor/composer-2.5.
@gunbai-bot

gunbai-bot Bot commented Jul 14, 2026

Copy link
Copy Markdown
Contributor Author

Confirmed valid — v2.std.grammar.Optional (GrammarExpr coproduct variant) and v2.std.collection.Optional (Option type) are two distinct declarations sharing a name, not a definer/re-export pair. Fixed in 4c56076: restored Optional to the grammar import in all 8 language files and removed the incorrect collection addition (dag.dag's TargetEmitHostRuntimeRow and ci_floor_plan.dag's Gate repoints are unaffected and remain correct). Verified with gunbc compile --target dag --dry-run (1361 sources resolved, exit 0). — sent from valiant-deer-75

@briansrls
briansrls merged commit 8e0085a into main Jul 14, 2026
3 checks passed
@briansrls
briansrls deleted the session/valiant-deer-75 branch July 14, 2026 14:45
gunbai-bot Bot pushed a commit that referenced this pull request Jul 14, 2026
Brian Searls @claude
Resolve merge conflict in ci_floor_plan.dag: main #6591 ci_gate defin…
1208799 
…er-repoint split + Phase D emit_determinism deletion

Keep main's split of the over-broad gunbc.ci_spec import into
gunbc.ci_spec {specs} + gunbc.ci_gate {gates}, minus the Phase-D-deleted
gunbc_ci_emit_determinism_spec and EmitDeterminismGate symbols. Supersedes the
dashboard-auto-committed unresolved merge (81aac8d).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
briansrls added a commit that referenced this pull request Jul 14, 2026
@briansrls Brian Searls @claude
Determinism: construction compile-gate in, x2 sampling gate out (Phas…
609ede4 
…e D) (#6594)

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* Phase D: regenerate ci.yml — remove emit_determinism job (x2 gate deleted)

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

* WIP: emit determinism

* WIP: emit determinism

* Resolve merge conflict in ci_floor_plan.dag: main #6591 ci_gate definer-repoint split + Phase D emit_determinism deletion

Keep main's split of the over-broad gunbc.ci_spec import into
gunbc.ci_spec {specs} + gunbc.ci_gate {gates}, minus the Phase-D-deleted
gunbc_ci_emit_determinism_spec and EmitDeterminismGate symbols. Supersedes the
dashboard-auto-committed unresolved merge (81aac8d).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Brian Searls <briansearls1@gmail.com>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
briansrls pushed a commit that referenced this pull request Jul 14, 2026
@gunbai-bot Brian Searls @claude
docs: dissolve stale determinism parallel-ledger; DESIGN reflects lan…
c446045 
…ded gate + dropped Phase B (#6628)

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* Phase D: regenerate ci.yml — remove emit_determinism job (x2 gate deleted)

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

* WIP: emit determinism

* WIP: emit determinism

* Resolve merge conflict in ci_floor_plan.dag: main #6591 ci_gate definer-repoint split + Phase D emit_determinism deletion

Keep main's split of the over-broad gunbc.ci_spec import into
gunbc.ci_spec {specs} + gunbc.ci_gate {gates}, minus the Phase-D-deleted
gunbc_ci_emit_determinism_spec and EmitDeterminismGate symbols. Supersedes the
dashboard-auto-committed unresolved merge (81aac8d).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

* docs: dissolve stale determinism parallel-ledger; DESIGN open-thread reflects landed gate + dropped Phase B

Audit finding: the determinism mechanism (A/C/D) landed and the x2 emit gate was
deleted (#6551/#6576/#6594), but docs still described the superseded model. The code
is clean — the stale concepts (NonDetSource, DeterminismClass, OperationDeterminism)
exist in ZERO .dag files; the lens's in-code prose is current. This is DESIGN §6
parallel-ledger drift, fixed here:

- delete docs/plans/determinism-mechanism-design.md — a stale parallel ledger whose
  body §0-§9 described the superseded NonDetSource label enum / DeterminismClass +
  OperationDeterminism split / emit_determinism_gate-as-permanent-backstop. Authority
  is the carrier (dag/std/determinism.dag, src/v2/lens/determinism.dag), not a doc.
- DESIGN.md open thread (via design_document.dag, regenerated): "P1 landed" ->
  landed + enforced by construction; remaining = E (consolidation + rename),
  F (cross-function, gated on SymbolIndex); Phase B (kind:Observation clock/entropy
  roots) DROPPED — resource Clock/Entropy + kind:Observation are dead (0 consumers,
  ~1 real occurrence), so grounding would cement a §3 fork for no displaced cost.
- non-fold-irreducible-residue-catalogue.md: remove 2 rows naming deleted symbols
  (determinism_class_eq / non_det_source_eq).
- mechanism-inventory-red-controls.md: EmitDeterminismGate row -> determinism_compile_gate.
- type-env-single-authority-design.md: repoint the inbound link to the deleted doc.

DESIGN.md regenerated via main_wet (drift gate green). No code changes.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Brian Searls <briansearls1@gmail.com>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
briansrls added a commit that referenced this pull request Jul 14, 2026
@briansrls Brian Searls @claude
Phase E (part 1): rename std.determinism DeterminismAxis → Determinis…
2eceae8 
…m (single-authority canonical name) (#6643)

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* WIP: emit determinism

* Phase D: regenerate ci.yml — remove emit_determinism job (x2 gate deleted)

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

* WIP: emit determinism

* WIP: emit determinism

* Resolve merge conflict in ci_floor_plan.dag: main #6591 ci_gate definer-repoint split + Phase D emit_determinism deletion

Keep main's split of the over-broad gunbc.ci_spec import into
gunbc.ci_spec {specs} + gunbc.ci_gate {gates}, minus the Phase-D-deleted
gunbc_ci_emit_determinism_spec and EmitDeterminismGate symbols. Supersedes the
dashboard-auto-committed unresolved merge (81aac8d).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

* docs: dissolve stale determinism parallel-ledger; DESIGN open-thread reflects landed gate + dropped Phase B

Audit finding: the determinism mechanism (A/C/D) landed and the x2 emit gate was
deleted (#6551/#6576/#6594), but docs still described the superseded model. The code
is clean — the stale concepts (NonDetSource, DeterminismClass, OperationDeterminism)
exist in ZERO .dag files; the lens's in-code prose is current. This is DESIGN §6
parallel-ledger drift, fixed here:

- delete docs/plans/determinism-mechanism-design.md — a stale parallel ledger whose
  body §0-§9 described the superseded NonDetSource label enum / DeterminismClass +
  OperationDeterminism split / emit_determinism_gate-as-permanent-backstop. Authority
  is the carrier (dag/std/determinism.dag, src/v2/lens/determinism.dag), not a doc.
- DESIGN.md open thread (via design_document.dag, regenerated): "P1 landed" ->
  landed + enforced by construction; remaining = E (consolidation + rename),
  F (cross-function, gated on SymbolIndex); Phase B (kind:Observation clock/entropy
  roots) DROPPED — resource Clock/Entropy + kind:Observation are dead (0 consumers,
  ~1 real occurrence), so grounding would cement a §3 fork for no displaced cost.
- non-fold-irreducible-residue-catalogue.md: remove 2 rows naming deleted symbols
  (determinism_class_eq / non_det_source_eq).
- mechanism-inventory-red-controls.md: EmitDeterminismGate row -> determinism_compile_gate.
- type-env-single-authority-design.md: repoint the inbound link to the deleted doc.

DESIGN.md regenerated via main_wet (drift gate green). No code changes.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

* WIP: emit determinism

---------

Co-authored-by: Brian Searls <briansearls1@gmail.com>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@briansrls