D4-DOMAIN-GUARD-001YELLOW · EXPECTED_BLOCK_VERIFIEDEXECUTED WITNESS
WHAT THIS RECORD IS
Both runtime arms rejected the zero-denominator measurement shape without crashing.
EXECUTED LEDGER
| input | top=1 · bottom=0 |
|---|---|
| DLL | FAILED · DLL_DOOR4_FAILED |
| WASM | FAILED · C_3 |
| test | D4-002 EXPECTED_BLOCK |
FILING LEDGER
| record_id | D4-DOMAIN-GUARD-001 — Door 4 Zero-Denominator Guard |
|---|---|
| species | GUARD WITNESS |
| standing | YELLOW · EXPECTED_BLOCK_VERIFIED |
| promotion_authority | author only |
| source_records | MN_CORE_V3_FAST_TEST_RECEIPT.json · D4-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 | den=0 → ret 3 (guard fired; no raw divide) |
| 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 |