D3-DOMAIN-GUARD-001YELLOW · EXPECTED_BLOCK_VERIFIED · THIRD_ARMEXECUTED WITNESS
WHAT THIS RECORD IS
Both adapter arms rejected base=1 before rank evaluation.
EXECUTED LEDGER
| input | value=2 · base=1 |
|---|---|
| DLL | FAILED · DLL_DOOR3_FAILED |
| WASM | FAILED · D3_DOMAIN |
| test | D3-003 EXPECTED_BLOCK |
FILING LEDGER
| record_id | D3-DOMAIN-GUARD-001 — Door 3 Base-One Domain Guard |
|---|---|
| species | GUARD WITNESS |
| standing | YELLOW · EXPECTED_BLOCK_VERIFIED |
| promotion_authority | author only |
| source_records | MN_CORE_V3_FAST_TEST_RECEIPT.json · D3-003 |
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 | base=1 NOT CALLED raw (log 1 = 0 → divide by zero; the lock-up). Freight verified it via the DLL adapter → HELD here |
| 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 |