gstoner · gstoner · Aug 25, 2026 · Aug 25, 2026 · Aug 25, 2026 · Aug 25, 2026
diff --git a/docs/audit/backend/apple/todo.md b/docs/audit/backend/apple/todo.md
@@ -8,6 +8,17 @@ last_updated: 2026-08-24
 
 # Apple compiler, exact-device, and performance plan
 
+Cross-backend sync `SCHEDULE-AUTHORITY-RESHARD-2026-08-24` — **shared SO-3 and W5.4 contracts assessed; Apple physical follow-up not applicable yet.** Pipeline and compound-spectral lowering now consume one digest-bound Schedule Object, inferred producer edges, roles, and resource evidence without scalar reconstruction. Placement now emits exact mesh-sized local-shard/collective SSA and executes all movement forms on the deterministic mock mesh. These Graph/Schedule/Tile contracts are portable, but x86/gfx1151 spectral numerics and mock transport transfer no Metal schedule or Apple-device claim. A future Metal distributed consumer must bind its own mesh/runtime proof. `NUMPOL-CARRIER-1` (queue row 3b) owns the generalized S5 carrier; no Apple Target change lands in this synchronization.
+
+
+Cross-backend sync `SO3-INFER-EDGES-2026-08-24` — **shared W2.1/W5.2e
+dependence-inference semantics + MegaMoE R3 producer; Apple outcome: not
+applicable today, inherited on adoption.** Same reason as the nvidia entry:
+host-side schedule analysis only, no Metal surface consumes it, no Apple
+artifact or numerical result changes. Apple's MoE/transport families would
+inherit the corrected inference if and when they adopt the overlap plan.
+
+
 Cross-backend sync `NUMPOL-CARRIER-1-2026-08-24` — **shared Schedule→Tile
 `numeric_policy` carrier contract (integrated-plan queue row 3b); Apple
 outcome: follow-up required.** Newly owned row, nothing implemented yet.

diff --git a/docs/audit/backend/nvidia/todo.md b/docs/audit/backend/nvidia/todo.md
@@ -8,6 +8,19 @@ last_updated: 2026-08-24
 
 # NVIDIA compiler test-suite evaluation and rearchitecture
 
+Cross-backend sync `SCHEDULE-AUTHORITY-RESHARD-2026-08-24` — **shared SO-3 and W5.4 parity validated; no CUDA physical change.** Pipeline and compound-spectral lowering now consume one digest-bound Schedule Object, inferred producer edges, roles, and resource evidence without scalar reconstruction. Placement emits exact mesh-sized local-shard/collective SSA and all movement forms execute on the deterministic mock mesh. The carrier and verifier changes are shared; Zen 5/gfx1151 spectral evidence and mock transport transfer no CUDA schedule, NCCL proof, or RTX claim. `NUMPOL-CARRIER-1` owns the generalized S5 carrier; SM120 consumption remains a later architecture-owned assessment.
+
+
+Cross-backend sync `SO3-INFER-EDGES-2026-08-24` — **shared W2.1/W5.2e
+dependence-inference semantics + MegaMoE R3 producer; NVIDIA outcome: not
+applicable today, inherited when NVIDIA adopts MoE plans.** The change is
+host-side schedule ANALYSIS (Python R3 composition), not target codegen: no
+NVIDIA-owned surface compiles through it and no sm_120 artifact or numerical
+result changes. When an NVIDIA MoE transport lane adopts the overlap plan it
+inherits the corrected inference unchanged; the exact-device evidence rules
+are unaffected (no ROCm/x86 analysis result transfers a NVIDIA claim).
+
+
 Cross-backend sync `NUMPOL-CARRIER-1-2026-08-24` — **shared Schedule→Tile
 `numeric_policy` carrier contract (integrated-plan queue row 3b); NVIDIA
 outcome: follow-up required, sequenced behind W1.1.** Newly owned row,

diff --git a/docs/audit/backend/rocm/todo.md b/docs/audit/backend/rocm/todo.md
@@ -7,6 +7,27 @@ scope: ROCm backend implementation and exact-device proof
 
 # ROCm backend TODO
 
+Cross-backend sync `SCHEDULE-AUTHORITY-RESHARD-2026-08-24` — **SO-3 exact gfx1151 regression and shared W5.4 mock boundary closed; native RCCL remains open.** Compound spectral producers now infer their fused-stage action DAG, bind roles/resources into one Schedule Object, and stamp its digest through Schedule→Tile; the complete compiled gfx1151 spectral suite remains numerically unchanged on the WSL-visible Radeon 8060S. Placement emits exact mesh-sized local-shard/collective SSA and executes every movement form on the deterministic mock mesh. Mock execution is not RCCL or multi-process evidence and cannot satisfy DIST-NATIVE-1. `NUMPOL-CARRIER-1` (queue row 3b) owns the generalized S5 carrier; no AMD Target policy promotion is implied.
+
+
+Cross-backend sync `SO3-INFER-EDGES-2026-08-24` — **shared W2.1/W5.2e
+dependence-inference semantics + MegaMoE R3 producer; ROCm outcome: parity
+validated (host analysis; gfx1151 numerics unchanged).** The MegaMoE
+candidate's edges are now inferred from registered Graph semantics rather
+than hand-authored, and three over-conservatisms in the SHARED analysis were
+corrected (they made any pipeline containing transport infer a total chain):
+ordered collectives order against each other rather than against all local
+work; a registered op declaring `aliasing="none"` yields a fresh alias root
+even when effectful; and a pure op with a disjoint alias set has no memory
+dependence on an effectful op (plus no alias edge between two pure ops).
+gfx1151 owns the executing MoE transport lane, so it is the backend most
+exposed: the change is analysis-only (prune/rank), selector authority remains
+measured scalar latency, and no generated code or numerical result changes —
+verified by the MoE transport and composition suites on this box. Exact-device
+re-validation is only required if a future change makes the inferred DAG
+select rather than prune.
+
+
 Cross-backend sync `NUMPOL-CARRIER-1-2026-08-24` — **shared Schedule→Tile
 `numeric_policy` carrier contract (integrated-plan queue row 3b); ROCm
 outcome: follow-up required — ROCm owns the worked reference.** The row is

diff --git a/docs/audit/backend/x86/todo.md b/docs/audit/backend/x86/todo.md
@@ -9,6 +9,18 @@ scope: x86 AVX-512 implementation/proof and AMX access planning
 
 # x86 backend TODO
 
+Cross-backend sync `SCHEDULE-AUTHORITY-RESHARD-2026-08-24` — **SO-3 exact Zen 5 regression and shared W5.4 mock boundary closed; native multi-rank remains open.** Compound spectral producers now infer their fused-stage action DAG, bind roles/resources into one Schedule Object, and stamp its digest through Schedule→Tile; the complete compiled AVX-512 spectral suite remains numerically unchanged on the Ryzen AI Max+ 395. Placement emits exact mesh-sized local-shard/collective SSA and executes every movement form on the deterministic mock mesh. Mock execution transfers no MPI/OFI/SHMEM proof and cannot satisfy DIST-NATIVE-1. `NUMPOL-CARRIER-1` (queue row 3b) owns the generalized S5 carrier; no x86 Target policy change is implied.
+
+
+Cross-backend sync `SO3-INFER-EDGES-2026-08-24` — **shared W2.1/W5.2e
+dependence-inference semantics + MegaMoE R3 producer; x86 outcome: parity
+validated (AVX-512 host).** Same shared-analysis correction as the rocm
+entry. x86 hosts the R3/composition analysis itself, so this backend is the
+regression gate for the change: the composition-cost, graph-dataflow, and
+MegaMoE suites pass on this host against the corrected semantics, with no
+generated code or numerical change (analysis is prune/rank-only).
+
+
 Cross-backend sync `NUMPOL-CARRIER-1-2026-08-24` — **shared Schedule→Tile
 `numeric_policy` carrier contract (integrated-plan queue row 3b); x86
 outcome: follow-up required.** Newly owned row, nothing implemented yet.