Repository navigation

N3-A: production structural-binding observations (namespace-reference-derived-closure clauses a-d) - #7772

Merged

gunbai-bot[bot] merged 73 commits into

mainfrom

session/cool-bear-298

Aug 5, 2026

Merged

N3-A: production structural-binding observations (namespace-reference-derived-closure clauses a-d)#7772
gunbai-bot[bot] merged 73 commits into
mainfrom
session/cool-bear-298

Commits on Aug 4, 2026
- WIP: N3-A: production structural-binding observations (namespace-reference-de
  gunbc-ci-auto-heal
  committed
  09786f1
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  588747b
- N3-A: land production structural-binding observations for clauses a-d.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4843afc
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  2c9f136
- Refresh namespace-derived-closure authority notes after N3-A.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5c5b3bf
- Merge branch 'session/cool-bear-298' of https://github.com/gunb-ai/gunbc into session/cool-bear-298
  gunbc-ci-auto-heal
  committed
  9beb388
- WIP: N3-A: production structural-binding observations (namespace-reference-de
  gunbc-ci-auto-heal
  committed
  d746ad3
- Fix stage0 emit for clause (d) ambiguous-candidate rest check.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  dfd703a
- Route clause (d) rest check through std.algebra is_empty.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  94f8636
- WIP: N3-A: production structural-binding observations (namespace-reference-de
  gunbc-ci-auto-heal
  committed
  69c412a
- Fix CI: drop std.algebra is_empty to resolve v2 ambiguity.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3c1dd0d
- Merge origin/main (#7773 roadmap graph)
  gunbc-ci-auto-heal
  committed
  af04974
- WIP: N3-A: production structural-binding observations (namespace-reference-de
  gunbc-ci-auto-heal
  committed
  b08d1a3
- Fix clause (d) emptiness emit: match FreeMonoid instead of is_empty.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  facc83e
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  991d861
- Merge origin/main (#7771 accepted-receipt continuity wall)
  gunbc-ci-auto-heal
  committed
  2131033
- Regenerate ci.yml for new stage0 emit paths (author-commit heal).
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e9227d9
- WIP: N3-A: production structural-binding observations (namespace-reference-de
  gunbc-ci-auto-heal
  committed
  3b4c0d0
- WIP: N3-A: production structural-binding observations (namespace-reference-de
  gunbc-ci-auto-heal
  committed
  d335208
- Regenerate ci.yml heal exclusions for acceptance stage0 emit path.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a386b79
- Route v1-scoped known-red witness through dag+src/v1 floor batch.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c00cd30
- WIP: N3-A: production structural-binding observations (namespace-reference-de
  gunbc-ci-auto-heal
  committed
  e69a1aa
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  3a2babf
- Compose closure admissions at the dag witness seam.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  861c42d
- Exclude v1-envelope known-red rows from corpus falsifier roster.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  0aa18ec
- WIP: N3-A: production structural-binding observations (namespace-reference-de
  gunbc-ci-auto-heal
  committed
  e60fee6
- Use compile_clean_source_roots pool for compile-clean gate.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e24d759
- Restore SubstrateInputsOnly on closure acceptance witness.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4a53ff9
- WIP: N3-A: production structural-binding observations (namespace-reference-de
  gunbc-ci-auto-heal
  committed
  d90c1c6
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  89827cd
- N3-A carrier move: neutral ReferenceBindingObservation in std/, zero admission types in src/v1.
  
  Brian Searls
  and
  cursoragent
  committed
  366d946
- Merge remote and fix acceptance witness placement for regen closure.
  
  Brian Searls
  and
  cursoragent
  committed
  abbade1
- Merge origin/session/cool-bear-298; keep dag acceptance witness placement.
  
  Brian Searls
  and
  cursoragent
  committed
  78cc16f
- WIP: N3-A: production structural-binding observations (namespace-reference-de
  gunbc-ci-auto-heal
  committed
  9fb0218
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  fb99505
- Merge branch 'session/cool-bear-298' of https://github.com/gunb-ai/gunbc into session/cool-bear-298
  Brian Searls
  committed
  f508bbf
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  6358278
- Rename v1 production module to namespace_reference_derived_closure_production_observations.
  
  Brian Searls
  and
  cursoragent
  committed
  e50532b
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  9ddda69
- Regenerate ci.yml after the N3-A carrier move (author commit; heal bot cannot write workflows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  275d252
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  a091791
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  d3c19cb
- Merge remote-tracking branch 'origin/main' into HEAD
  gunbc-ci-auto-heal
  committed
  51c7ef7
- Regenerate ROADMAP.md after merging main
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f68462e
- Enroll N3-A dag witnesses in scoped batch and fix compile-clean imports.
  
  Brian Searls
  and
  cursoragent
  committed
  6c1f196
- Drop orphaned v1-envelope known-red clamp row after parent witness recut.
  
  Brian Searls
  and
  cursoragent
  committed
  f070d9b
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  a86b989
- Revert the json_emit_witness import block: it names modules that do not exist
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a1ea9c9
- Enroll namespace-structural-observations closing witness as expect-red.
  
  Brian Searls
  and
  cursoragent
  committed
  ce3250b
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  edf5582
- Fix compile-clean fallout from src/v1 pool widening.
  
  Brian Searls
  and
  cursoragent
  committed
  328c36d
- Add v1-scoped known-red clamp row to match enrolled batch.
  
  Brian Searls
  and
  cursoragent
  committed
  b7dc6f3
- Revert mistaken v1-envelope clamp row; clear dead declarations.
  
  Brian Searls
  and
  cursoragent
  committed
  e86d531
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  9acf052
- Delete known_red_probe_v1_scoped_roster alias; keep envelope name.
  
  Brian Searls
  and
  cursoragent
  committed
  a81c1c3
- Execute Produced arm of N3-A closing contract via synthetic controls.
  
  Brian Searls
  and
  cursoragent
  committed
  5d8cc8e
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  cb58e4f
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  0d1fafd
- Regen stage0 after consolidating v1 admissions witness.
  
  Brian Searls
  and
  cursoragent
  committed
  6707da0
- Retract unsound N3-A closing predicate; interim narrow landing.
  
  Brian Searls
  and
  cursoragent
  committed
  f857c90
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  57b75ab
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  b64e4ab
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  e0a341b
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  984d72b
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  0478478
- Heal ci.yml exclude list for new N3-A stage0 modules.
  
  Brian Searls
  and
  cursoragent
  committed
  4daf72d
- Revert ci_floor_declared_resolve_count 1→2 to avoid reding main.
  
  Brian Searls
  and
  cursoragent
  committed
  1f3bccd
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  fac1ebc
- Delete unused assess_reference_derived_closure_observation nickname.
  
  Brian Searls
  and
  cursoragent
  committed
  1afc366
Commits on Aug 5, 2026
- WIP: N3-A carrier move: neutral ReferenceBindingObservation, zero roadmap adm
  Brian Searls
  committed
  31b013e
- Merge origin/main into session/cool-bear-298
  Brian Searls
  committed
  3515583
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  1f1c634
- chore: regenerate ci.yml after stage0 module roster growth
  
  Brian Searls
  and
  cursoragent
  committed
  6930aca

Commits

Commits on Aug 4, 2026

Commits on Aug 5, 2026