D2-LHOPITAL-001YELLOW · EXECUTED_PARITY · THIRD_ARMEXECUTED WITNESS
WHAT THIS RECORD IS
Both runtime arms returned carrier 1 in the named L'Hôpital lane.
EXECUTED LEDGER
| mode | 0 · L'Hôpital |
|---|---|
| DLL carrier | 1 |
| WASM carrier | 1 |
| test | D2-001 PASS |
FILING LEDGER
| record_id | D2-LHOPITAL-001 — Door 2 L'Hôpital Carrier |
|---|---|
| species | EXECUTED WITNESS |
| standing | YELLOW · EXECUTED_PARITY |
| promotion_authority | author only |
| source_records | MN_CORE_V3_FAST_TEST_RECEIPT.json · D2-001 |
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 | sin x/x → ret 0 carrier 1 |
| 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 |