Repository navigation

Emitter: an effectful fold step is realized as a loop in the enclosing async frame (native broker class E) - #13154

Merged

gunbai-bot[bot] merged 10 commits into

mainfrom

session/loyal-gull-749

Oct 4, 2026

Merged

Emitter: an effectful fold step is realized as a loop in the enclosing async frame (native broker class E)#13154
gunbai-bot[bot] merged 10 commits into
mainfrom
session/loyal-gull-749

Commits on Oct 3, 2026
- Emitter: an effectful fold step is realized as a loop in the enclosing async frame
  
  Brian Searls
  and
  claude
  committed
  284de2e
- Merge origin/main (generated emit_rust mirror taken from main; regenerated next)
  Brian Searls
  committed
  9a4f187
- stage0 mirror: regenerate v1_compiler_emit_rust.rs over the merged tree (required-regen; second pass is a fixed point)
  
  Brian Searls
  and
  claude
  committed
  6be3086
Commits on Oct 4, 2026
- NativeClaimDriver: a declared resource set {Filesystem}; the main binds the filesystem_io handler when the report demands it
  
  Brian Searls
  and
  claude
  committed
  09f8645
- Merge origin/main (label case re-applied; emit_rust mirror taken from main, regenerated next)
  Brian Searls
  committed
  bbd3a15
- stage0 mirror: regenerate v1_compiler_emit_rust.rs over the merged tree
  
  Brian Searls
  and
  claude
  committed
  d896e4f
- Merge #13180 (claim driver Filesystem binding); move the effectful-fold control into native-emission-controls and delete the hand-written test
  Brian Searls
  committed
  bf0fb73
- native-emission-controls: effectful fold step cases (replaces the hand-written test); stage0 mirror regenerated
  
  Brian Searls
  and
  claude
  committed
  308bb29
- Merge origin/main (#13180 landed; label case re-applied; emit_rust mirror taken from main, regenerated next)
  Brian Searls
  committed
  9ad478b
- stage0 mirror: regenerate v1_compiler_emit_rust.rs over the merged tree
  
  Brian Searls
  and
  claude
  committed
  25d98b7

Commits

Commits on Oct 3, 2026

Commits on Oct 4, 2026