D1-GUARD-001YELLOW · EXPECTED_BLOCK_VERIFIEDEXECUTED WITNESS
WHAT THIS RECORD IS
Both runtime arms rejected zero-arm freight without crashing.
EXECUTED LEDGER
| input arms | 0 · 1 |
|---|---|
| DLL | FAILED · DLL_DOOR1_FAILED |
| WASM | FAILED · C_3 |
| test | D1-002 EXPECTED_BLOCK |
FILING LEDGER
| record_id | D1-GUARD-001 — Door 1 Zero-Arm Guard |
|---|---|
| species | GUARD WITNESS |
| standing | YELLOW · EXPECTED_BLOCK_VERIFIED |
| promotion_authority | author only |
| source_records | MN_CORE_V3_FAST_TEST_RECEIPT.json · D1-002 |
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 | PASS |
| note | X=(0,0) ret -3 (zero-arm guard fired; raw 1/0 never reached) |
| 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 |