Repository navigation

Adopt orphaned #11998 and #12050: re-merge onto main after #12033/#12108/P4 - #12177

Closed

briansrls wants to merge 39 commits into

mainfrom

adopt-12050

Closed

Adopt orphaned #11998 and #12050: re-merge onto main after #12033/#12108/P4#12177
briansrls wants to merge 39 commits into
mainfrom
adopt-12050

Commits on Sep 21, 2026
- The eval driver's verb surface becomes a plan, the way the CLI driver's already is
  
  briansrls
  and
  claude
  committed
  22f252b
- The rendered eval-driver main calls the plan fold; its literal verb dispatch is deleted
  
  Brian Searls
  and
  claude
  committed
  b562cd8
- Regenerate the stage0 emitter mirror for the plan-fold main
  
  Brian Searls
  and
  claude
  committed
  1ee57f8
- Name facts_path as a known-wrong shape with its capability trigger
  
  Brian Searls
  and
  claude
  committed
  a02ad67
- Delete the dangling facts-path accessor; pin misuse status by its authority
  
  Brian Searls
  and
  claude
  committed
  18f5ff4
- Merge remote-tracking branch 'origin/main' into feat/native-driver-plan-spine
  Brian Searls
  committed
  0523f39
- Restore the emitted main's closing brace
  
  Brian Searls
  and
  claude
  committed
  4b4f29c
- Regenerate the stage0 emitter mirror for the restored brace
  
  Brian Searls
  and
  claude
  committed
  1c64418
- Merge remote-tracking branch 'origin/main' into feat/native-driver-plan-spine
  Brian Searls
  committed
  b6e4f80
- Merge remote-tracking branch 'origin/main' into feat/native-driver-plan-spine
  Brian Searls
  committed
  d83559a
- Regenerate the stage0 emitter mirror over merged main
  
  Brian Searls
  and
  claude
  committed
  9503030
- Merge remote-tracking branch 'origin/main' into feat/native-driver-plan-spine
  Brian Searls
  committed
  2d1f917
- adjudicate takes a target-pattern operand and derives the selected universe
  
  Brian Searls
  and
  claude
  committed
  1497db9
- Regenerate the stage0 emitter mirror for the adjudicate pattern operand over merged main
  
  Brian Searls
  and
  claude
  committed
  1d8095b
- Merge remote-tracking branch 'origin/main' into feat/native-driver-plan-spine
  Brian Searls
  committed
  b52c7b5
- wip: leading-pipe coproduct and positional variant payload grammar rows
  gunbc-ci-auto-heal
  committed
  81dd67a
- Witness the leading-pipe coproduct and positional payload rows on the prepared-grammar parse
  gunbc-ci-auto-heal
  committed
  318a377
- Leading separator lowers away in sugar; positional binders refuse; one frontier for unlowered variant fields
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cb1fe17
- Positional refusal fires only on a payload that names something; A(_) loses nothing and lowers
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dbaf88c
- Consume body_lower_is_identity_projection_edge instead of re-declaring it; witness cites the lead production by its real name (review 69768)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f49dd9e
- Witness specimens carry only their subject: elimination controls drop the type decl, the construction specimen (an ordinary call) is removed, the positional control is pipe-free
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0b6e27d
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbai-bot[bot]
  authored
  03f449a
Commits on Sep 22, 2026
- Declare and defer the binder loss (ruling after review 69815): positional refusal removed, braced-green witness deleted, the drop row names the silent shadowing case
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1ff83c3
- Merge CI auto-heal regen; the projection is re-derived from the amended drop row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c5aecdc
- Merge branch 'integ/pkg9-native-test-argv' of https://github.com/gunb-ai/gunbc into session/loyal-bear-675
  gunbc-ci-auto-heal
  committed
  5871307
- Merge remote-tracking branch 'origin/session/gentle-tern-521' into session/loyal-bear-675
  gunbc-ci-auto-heal
  committed
  62666cc
- Pkg11b batch 2 (continued from gentle-tern-521): generic int arg, module as a value, anonymous record type, admit_callers clause, else-less if refused at lowering
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fd3475c
- Parse-tree projection edges are a closed roster owned by the parser; namespace_graft consumes it instead of a _node_projection suffix test
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9d3dcd1
- Merge origin/main; bind Symbol at its use site, and take main's projection for heal to re-derive
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cc56c58
- Finish the projection-roster migration at its root: delete the graft alias, three stages ask the parser
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6792e92
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbai-bot[bot]
  authored
  789aa87
- Merge remote-tracking branch 'origin/main' into pkg11b-fix
  gunbc-ci-auto-heal
  committed
  7b3a0c7
- Rebuild the rung-drop projection as the union: take main's render, keep this branch's two new rows
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6668aaf
- Merge remote-tracking branch 'origin/main' into pkg11b-fix
  gunbc-ci-auto-heal
  committed
  5ff32e2
Commits on Sep 23, 2026
- Merge origin/main into #12050 after #12033/#12108/#12116; keep only Pkg11b batch 2
  
  Brian Searls
  and
  claude
  committed
  44a910c
- Repair the #12050 merge: split the fused CauseOwnership row; batch two over supplied streams
  
  Brian Searls
  and
  claude
  committed
  02ea6fd
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbai-bot[bot]
  authored
  d56ed9f
- Merge remote-tracking branch 'origin/main' into adopt-12050
  Brian Searls
  committed
  a887f5b
- Batch two: one prepared input per specimen, warmed outside the fold
  
  Brian Searls
  and
  claude
  committed
  4a4d922

Commits

Commits on Sep 21, 2026

Commits on Sep 22, 2026

Commits on Sep 23, 2026