D3-SELFBASE-GUARD-001YELLOW · EXPECTED_BLOCK_VERIFIED · THIRD_ARMEXECUTED WITNESS
WHAT THIS RECORD IS
Both adapter arms blocked the degenerate self-base shape log(x)/log(x)=1.
EXECUTED LEDGER
| input | value=10 · base=10 |
|---|---|
| DLL | FAILED · DLL_DOOR3_FAILED |
| WASM | FAILED · D3_SELF_BASE |
| location | adapter guard; raw rank routine unchanged |
| test | D3-002 EXPECTED_BLOCK |
FILING LEDGER
| record_id | D3-SELFBASE-GUARD-001 — Door 3 Self-Base Ordering-Trap Guard |
|---|---|
| species | GUARD WITNESS |
| standing | YELLOW · EXPECTED_BLOCK_VERIFIED |
| promotion_authority | author only |
| source_records | MN_CORE_V3_FAST_TEST_RECEIPT.json · D3-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 | HELD |
| note | raw rank_str(0.5,0.5) = “1” — guard NOT in the raw routine; the freight claims it via the DLL adapter, which this wasm does not export → HELD, not reproducible 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 |