Repository navigation

bright-otter-594 - #1046

Merged

briansrls merged 56 commits into

mainfrom

session/bright-otter-594

Apr 28, 2026

Merged

bright-otter-594#1046
briansrls merged 56 commits into
mainfrom
session/bright-otter-594

Commits on Apr 26, 2026
- WIP: bright-otter-594
  briansrls
  committed
  67f87f9
- WIP: bright-otter-594
  briansrls
  committed
  e0690d4
- WIP: bright-otter-594
  briansrls
  committed
  71a6c9c
- WIP: bright-otter-594
  briansrls
  committed
  8cf4459
- WIP: bright-otter-594
  briansrls
  committed
  d1bfb48
- WIP: bright-otter-594
  briansrls
  committed
  d049c96
- WIP: bright-otter-594
  briansrls
  committed
  0f40108
- WIP: bright-otter-594
  briansrls
  committed
  3d81d95
- WIP: bright-otter-594
  briansrls
  committed
  1a5c6a7
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  2ecefa0
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  1263469
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  c132436
- fix(go/primitives): use multi-arm algebra sums for v2 typecheck
  briansrls
  committed
  93f650a
- WIP: bright-otter-594
  briansrls
  committed
  ce88ad3
- Merge branch 'session/bright-otter-594' of https://github.com/gunb-ai/gunbc into session/bright-otter-594
  briansrls
  committed
  383c02e
- fix(go-primitives): drop redundant algebra atoms after sum-type fix
  briansrls
  committed
  f2d1092
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  1021e54
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  a698ee0
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  e0ea7c0
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  da7f8d1
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  a6379b9
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  b6e5ea0
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  d9ddcdd
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  1abfeee
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  ea1797b
- WIP: bright-otter-594
  briansrls
  committed
  50ec784
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  e79a00b
- docs(go/primitives): document IntegerRangeFact vs list duplication
  briansrls
  committed
  6494ee7
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  eaec285
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  6bdf6e7
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  7c95c14
Commits on Apr 27, 2026
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  0b486de
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  755286e
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  13ebfed
- docs(go/primitives): lockstep invariant for list vs IntegerRangeFact
  briansrls
  committed
  85fd351
- fix(go/primitives): wrap-only GoIntegerOverflow for spec fidelity
  briansrls
  committed
  97718d7
- fix(go/primitives): single-source float width on GoFloatAlgebra
  briansrls
  committed
  0d3dad5
- fix(go/primitives): coproduct pairs for bool/string/unit
  briansrls
  committed
  ae19898
- docs(go/primitives): Practice 4 coproduct dissolution checkpoint
  briansrls
  committed
  c6c6726
- fix(go/primitives): two-arm GoIntegerOverflow for loader + spec
  briansrls
  committed
  7e5b056
- docs(go/primitives): clarify float comment and lockstep test timing
  briansrls
  committed
  f6733e9
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  dd7ea47
- fix(go): sync primitives.dag + grounding pilot with canonical #910
  briansrls
  committed
  851d53e
- WIP: bright-otter-594
  briansrls
  committed
  eb45769
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  6b1565d
- WIP: bright-otter-594
  briansrls
  committed
  18ba0a5
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  254268d
- WIP: bright-otter-594
  briansrls
  committed
  8e00380
- WIP: bright-otter-594
  briansrls
  committed
  19c464d
- fix(go/primitives): sum-type GoIntegerOverflow for v2 bootstrap parse
  briansrls
  committed
  a648cdf
- WIP: bright-otter-594
  briansrls
  committed
  f040102
- Merge remote-tracking branch 'origin/main' into session/bright-otter-594
  briansrls
  committed
  f5154a3
- merge: origin/session/bright-otter-594 (bootstrap GoIntegerOverflow sum)
  briansrls
  committed
  e4160cd
- fix(go/primitives): neutral overflow placeholder arms for bootstrap
  briansrls
  committed
  f36dd68
- merge: origin/main (R1 Closure #1044)
  briansrls
  committed
  6a1ba54
- fix(go/primitives): Practice 4 notes + structural string witnesses
  briansrls
  committed
  a1eeb7d

Commits

Commits on Apr 26, 2026

Commits on Apr 27, 2026