ROUTING-PROTOCOL-001YELLOW · METHOD_IMPLEMENTEDEXECUTED WITNESS
WHAT THIS RECORD IS
The routing layer assigns arithmetic to engines, rejects self-base Door 3 freight, preserves measured-class standing, and blocks automatic GREEN promotion.
EXECUTED LEDGER
| rule | route before writing a digit |
|---|---|
| Door 3 | family base fixed before comparison |
| residual | NAMED, OPEN, or MUST_INVERT |
| measurement | EXACT_GIVEN, not EXACT |
| promotion | INTERPRETER_ONLY |
FILING LEDGER
| record_id | ROUTING-PROTOCOL-001 — Stage-0 Routing Protocol Implementation |
|---|---|
| species | METHOD IMPLEMENTATION RECORD |
| standing | YELLOW · METHOD_IMPLEMENTED |
| promotion_authority | author only |
| source_records | MN_RP_0001_router.py · mn_routing_adapters.py |
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 | Stage-0 protocol implementation — the METHOD is verified across this registry; the specific code artifact not executed 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 |