D2-ABEL-001YELLOW · EXECUTED_PARITY · THIRD_ARMEXECUTED WITNESS
WHAT THIS RECORD IS
Both runtime arms returned the Grandi carrier 1/2 in the rational generating-function lane.
EXECUTED LEDGER
| mode | 1 · rational generating function |
|---|---|
| DLL carrier | 0.5 |
| WASM carrier | 0.5 |
| test | D2-002 PASS |
FILING LEDGER
| record_id | D2-ABEL-001 — Door 2 Rational-GF Grandi Carrier |
|---|---|
| species | EXECUTED WITNESS |
| standing | YELLOW · EXECUTED_PARITY |
| promotion_authority | author only |
| source_records | MN_CORE_V3_FAST_TEST_RECEIPT.json · D2-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 | Grandi GF 1/(1+x) → ret 0 carrier 0.5 |
| 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 |