Repository navigation

Language self-host lane — design capture as generated .dag carriers (solve ruling + frontier map) - #6655

Merged

briansrls merged 21 commits into

mainfrom

session/eager-ferret-110

Jul 15, 2026

Merged

Language self-host lane — design capture as generated .dag carriers (solve ruling + frontier map)#6655
briansrls merged 21 commits into
mainfrom
session/eager-ferret-110

Commits on Jul 14, 2026
- WIP: c emission
  Brian Searls
  committed
  cef2cf7
- WIP: c emission
  Brian Searls
  committed
  6dd64bd
- Phase 0: C emission bar-c (emit→cc→run) green by execution
  
  Brian Searls
  and
  claude
  committed
  710193e
Commits on Jul 15, 2026
- WIP: c emission
  Brian Searls
  committed
  2def7e5
- CI fix: offline over-budget wave1_gate1 body-producer keystones from per-PR
  
  Brian Searls
  and
  claude
  committed
  3b4dc59
- Merge remote-tracking branch 'origin/main' into session/eager-ferret-110
  Brian Searls
  committed
  688f5be
- Merge remote-tracking branch 'origin/main' into session/eager-ferret-110
  Brian Searls
  committed
  74f199d
- Merge remote-tracking branch 'origin/main' into session/eager-ferret-110
  Brian Searls
  committed
  45d829e
- Merge remote-tracking branch 'origin/main' into session/eager-ferret-110
  Brian Searls
  committed
  8ee464e
- WIP: c emission
  Brian Searls
  committed
  a8f8f8f
- WIP: c emission
  Brian Searls
  committed
  7cbc9fa
- WIP: c emission
  Brian Searls
  committed
  a27d48e
- WIP: c emission
  Brian Searls
  committed
  5a61188
- WIP: c emission
  Brian Searls
  committed
  f34b631
- regen solve doc: fix Converged → real DescentEvidence variants (Strict|NonIncreasing|DescentUnknown)
  
  Brian Searls
  and
  claude
  committed
  135e0c9
- WIP: c emission
  Brian Searls
  committed
  386281a
- Grounded revision per operator review: correct solve mechanism + frontier facts
  
  Brian Searls
  and
  claude
  committed
  f6447d4
- Merge remote-tracking branch 'origin/main' into session/eager-ferret-110
  Brian Searls
  committed
  2996f51
- WIP: c emission
  Brian Searls
  committed
  f70d79f
- Merge remote-tracking branch 'origin/main' into session/eager-ferret-110
  Brian Searls
  committed
  6330e2f
- Merge remote-tracking branch 'origin/main' into session/eager-ferret-110
  Brian Searls
  committed
  8b1934a

Commits

Commits on Jul 14, 2026

Commits on Jul 15, 2026