Skip to content

W2 (Runtime/TestClaim): host harness for rung 4 on nat_semiring — EmitHostRunReceipt + HostExit + RuntimeValueParse + run_emit_host (Rust row) + FalsificationReceipt + run_test_claim_emit_vs_eval + run_nat_semiring_rung34_eval. Per joint spec docs/planning/compiler-spine-runtime-rung34-min-runner-in - #3958

Merged
briansrls merged 51 commits into
mainfrom
session/keen-raven-290-w2-emit-host
May 30, 2026
Merged

W2 (Runtime/TestClaim): host harness for rung 4 on nat_semiring — EmitHostRunReceipt + HostExit + RuntimeValueParse + run_emit_host (Rust row) + FalsificationReceipt + run_test_claim_emit_vs_eval + run_nat_semiring_rung34_eval. Per joint spec docs/planning/compiler-spine-runtime-rung34-min-runner-in#3958
briansrls merged 51 commits into
mainfrom
session/keen-raven-290-w2-emit-host

Commits

  1. Commits on May 30, 2026