Repository navigation

general body producer: ingested if-body fn_decl → Arrow, green by execution (Wave 1 gate 1) - #6558

Merged

briansrls merged 45 commits into

mainfrom

consolidate/int-literal-body-producer

Jul 14, 2026

Merged

general body producer: ingested if-body fn_decl → Arrow, green by execution (Wave 1 gate 1)#6558
briansrls merged 45 commits into
mainfrom
consolidate/int-literal-body-producer

Commits on Jul 13, 2026
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  26d8f71
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  c957308
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  31d99c5
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  fda3314
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  9a1e150
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  f37fd78
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  f0df912
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  1b35825
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  246ec08
- Merge remote-tracking branch 'origin/main' into session/silent-lynx-25-int-literal-ingestion
  Brian Searls
  committed
  69cf0aa
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  f681dd3
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  cb6e07d
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  ef830a1
- Remove non-fold-residue debug scaffolding from int-literal PR.
  
  Brian Searls
  and
  cursoragent
  committed
  dda5068
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  3dece8b
- Revert "WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92"
  Brian Searls
  committed
  d060c82
- Provision node in emit-host TS smokes when runner lacks it.
  
  Brian Searls
  and
  cursoragent
  committed
  d733148
- Fix emit-host node bootstrap string for dag resolve.
  
  Brian Searls
  and
  cursoragent
  committed
  8a843b9
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  6e874d4
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  e6b2d66
- Fix Slice C de-cement completion and CI resolve failures on #6532.
  
  Brian Searls
  and
  cursoragent
  committed
  74edbed
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  6af863d
- Fix CI NFR roster and integer i32 decode diagnostic locus.
  
  Brian Searls
  and
  cursoragent
  committed
  6a3681b
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  6628b0f
- Remove stray audit tool outputs from repo root.
  
  Brian Searls
  and
  cursoragent
  committed
  ea31def
- Merge remote-tracking branch 'origin/main' into session/silent-lynx-25-int-literal-ingestion
  Brian Searls
  committed
  a928803
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  e5d251a
- Fix CI NFR roster after main merge and tidy resolve_atom indent.
  
  Brian Searls
  and
  cursoragent
  committed
  f30c705
- Remove stray .tmp_cmd_output.txt from repo root.
  
  Brian Searls
  and
  cursoragent
  committed
  11fce93
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  45af8cc
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  9bf844d
- Add dissolve-on receipt for v2 eval bool runtime predicates; preserve int-literal magnitude on Branch arm reify.
  
  Brian Searls
  and
  cursoragent
  committed
  ae0b25a
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  7772f1b
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  ef399c6
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  7ba9a89
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  f5b06e9
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  c35f972
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  00f5755
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  1a00cab
- Merge remote-tracking branch 'origin/main' into session/silent-lynx-25-int-literal-ingestion
  Brian Searls
  committed
  6a15d87
- WIP: Wave 1 criterion 1 — general body producer PR-A→E (resume; zesty-ant-92
  Brian Searls
  committed
  12bc08a
Commits on Jul 14, 2026
- general body producer: ingested if-body fn_decl -> Arrow, green by execution (Wave 1 exit criterion 1)
  
  Brian Searls
  and
  claude
  committed
  80e99aa
- address §5 review: body_lower_try_if_from_node returns honest Absent, no laundered reject
  
  Brian Searls
  and
  claude
  committed
  0b0ea0f
- Merge remote-tracking branch 'origin/main' into consolidate/int-literal-body-producer
  Brian Searls
  committed
  42fa164
- fix inherited doc-graph orphan: wire shell-to-dag census doc into its parent
  
  Brian Searls
  and
  claude
  committed
  5f9b320

Commits

Commits on Jul 13, 2026

Commits on Jul 14, 2026