Repository navigation

C source emitter Stage 0: author minimal c_target_model + run_c_smoke harness — emit 'int add(int,int){return x+y;}' + main, cc-compile, run, assert, --inject-fault RED - #6770

Merged

briansrls merged 8 commits into

mainfrom

session/merry-heron-533

Jul 16, 2026

Merged

C source emitter Stage 0: author minimal c_target_model + run_c_smoke harness — emit 'int add(int,int){return x+y;}' + main, cc-compile, run, assert, --inject-fault RED#6770
briansrls merged 8 commits into
mainfrom
session/merry-heron-533

Commits on Jul 16, 2026
- WIP: C source emitter Stage 0: author minimal c_target_model + run_c_smoke ha
  Brian Searls
  committed
  ccef4d7
- WIP: C source emitter Stage 0: author minimal c_target_model + run_c_smoke ha
  Brian Searls
  committed
  aa6f94c
- WIP: C source emitter Stage 0: author minimal c_target_model + run_c_smoke ha
  Brian Searls
  committed
  10bd135
- fix(c): drop unused import in c_add_emit_translate_test
  
  Brian Searls
  and
  cursoragent
  committed
  00126fe
- test(c): restore byte-width and nonzero-exit RED on c emit-host run
  
  Brian Searls
  and
  cursoragent
  committed
  1c66068
- fix(c): inject-fault RED via stdout octet mismatch, not early exit
  
  Brian Searls
  and
  cursoragent
  committed
  0d8b232
- fix(ci): drop hermetic c_emit_host_smoke witness; gate covers wet path
  
  Brian Searls
  and
  cursoragent
  committed
  7292c5f
- Merge remote-tracking branch 'origin/main' into session/merry-heron-533
  Brian Searls
  committed
  154dac2