D-NFC: layers [1] and [7] as finally drawn (router; ONNX leaf facade #1754)

Marked supersession: 'R2IL polyfill' reads as the R2IL router
(D-MPF-4), and [7] is the lance-graph-onnx leaf facade.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg

Author: claude

.claude/plans/d-onnx-relalg-s4-s5-palette-export-v1.md

@@ -9,6 +9,8 @@
 > 5. **Exact versus approximate** is unchanged: approximate methods are opt-in with a named error contract and the exact native method as fallback.
 >
 > Passages below that contradict these points are marked ⊘ in place; nothing else in this plan changes. The #1744 / #1745 / #1750 S0 ownership dispute is unchanged.
+>
+> **⊘ Layers [1] and [7] as finally drawn (2026-10-23; #1752 §10, #1753, #1754).** Where this note or the plan says "R2IL polyfill (#1752)", read the R2IL **router**: a route resolved once per ClassId onto `ndarray::simd` (through mask-risc where a program is needed), with `FoldDialect` one strategy beneath it (D-MPF-4). Layer [7], the ONNX conformance adapter, is an external **leaf** facade implemented as `lance-graph-onnx` (#1754): ONNX names over existing native functions, no dispatch, and nothing native depends on it.
 
 **Date:** 2026-10-23 · **Status:** PROPOSED integration and falsification plan; documentation only  
 **Parents:** #1744, #1745, #1750 (CONFLICTING S0 ownership, no canonical merge approved), #1746 (intake/value dispatch), #1747 (focus), #1748 (physical execution).