Skip to content

Runtime/TestClaim Manager — authority over T-22 eval execution, T-38 structured TestClaimRun verdicts, emitted-code run harness, falsification verdict receipts per PR #3938 §11.1. Critical path for L4 (emit runs and matches .dag eval) and rungs 4-6 on every fixture. First artifact: with Compiler Spi - #4207

Closed
briansrls wants to merge 24 commits into
mainfrom
session/neat-hawk-413
Closed

Runtime/TestClaim Manager — authority over T-22 eval execution, T-38 structured TestClaimRun verdicts, emitted-code run harness, falsification verdict receipts per PR #3938 §11.1. Critical path for L4 (emit runs and matches .dag eval) and rungs 4-6 on every fixture. First artifact: with Compiler Spi#4207
briansrls wants to merge 24 commits into
mainfrom
session/neat-hawk-413

Commits

  1. Commits on Jun 1, 2026