D2-CESARO-001YELLOW · EXECUTED_PARITY · THIRD_ARMEXECUTED WITNESS
WHAT THIS RECORD IS
Both runtime arms returned carrier 1/2 for the six-term Grandi sequence in the Cesàro lane.
EXECUTED LEDGER
| mode | 2 · Cesàro |
|---|---|
| sequence | 1,-1,1,-1,1,-1 |
| DLL/WASM carrier | 0.5 |
| test | D2-003 PASS |
FILING LEDGER
| record_id | D2-CESARO-001 — Door 2 Cesàro Grandi Carrier |
|---|---|
| species | EXECUTED WITNESS |
| standing | YELLOW · EXECUTED_PARITY |
| promotion_authority | author only |
| source_records | MN_CORE_V3_FAST_TEST_RECEIPT.json · D2-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 | PASS |
| note | Grandi Cesàro → ret 0 carrier 0.5 (finite-N Cesàro mean; →1/2) |
| 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 |