D4-QHE-001YELLOW · EXACT_GIVEN · EXECUTED_PARITY · THIRD_ARMEXECUTED WITNESS
WHAT THIS RECORD IS
Both runtime arms returned the same measured-class collection and preserved EXACT_GIVEN rather than EXACT.
EXECUTED LEDGER
| collected | 25812.807459 |
|---|---|
| uncertainty | 1.00033309503831e-6 |
| DLL/WASM code | EXACT_GIVEN |
| test | D4-001 PASS |
FILING LEDGER
| record_id | D4-QHE-001 — Door 4 QHE Measured-Class Collection |
|---|---|
| species | EXECUTED MEASUREMENT WITNESS |
| standing | YELLOW · EXACT_GIVEN · EXECUTED_PARITY |
| promotion_authority | author only |
| source_records | MN_CORE_V3_FAST_TEST_RECEIPT.json · D4-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 | h/e² → ret 0 25812.80746 Ω (R_K 25812.80745, EXACT-GIVEN SI) |
| 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 |