TOOLCHAIN-001-XRTYELLOW · CROSS_RUNTIME_VERIFIED · INTERPRETER_REVIEWEXECUTED WITNESS
WHAT THIS RECORD IS
The complete DLL/WASM campaign executed with 9 PASS, 4 EXPECTED_BLOCK, 0 FAIL, and required_pass=true.
EXECUTED LEDGER
| campaign | MN_CORE_V3_FAST_TEST 1.1.0 |
|---|---|
| DLL | mncore_v3.dll · ABI 6 · 416 fraction bits |
| WASM | mncore_v3.wasm · ABI 6 · 416 fraction bits |
| result | 9 PASS · 4 EXPECTED_BLOCK · 0 FAIL |
| receipt | required_pass = true |
FILING LEDGER
| record_id | TOOLCHAIN-001 — MN Core V3 Cross-Runtime Toolchain |
|---|---|
| species | TOOLCHAIN · EXECUTED |
| standing | YELLOW · CROSS_RUNTIME_VERIFIED · INTERPRETER_REVIEW |
| promotion_authority | author only |
| source_records | MN_CORE_V3_FAST_TEST_RECEIPT.json |
THIRD-ARM LEDGER — INDEPENDENT RE-EXECUTION, 2026-09-02
| arm | Claude, mncore_v3.wasm (MN_Core_V3 (3), 33,288 B) instantiated directly in the project sandbox |
|---|---|
| verdict | HELD |
| note | not executed |
| divide-by-zero discipline | every zero-arm / zero-denominator / base=1 case was probed ONLY through an exported guard adapter; no raw routine was called on a singular input |