nx_distexec_gate.nx
buildroot/runtime/nx_distexec_gate.nx
about
nx_distexec_gate.nx -- the correctness a distributed scheduler stands on: the merged result is IDENTICAL
for any partition count (partition-invariance), for sum/count/min/max AND group-by-sum, including a
partition count that does NOT divide the row count (ragged partitions). If any of these failed, running
partitions on different workers would silently return a wrong answer. Hand-computed known answers + a
cross-P invariance sweep on a larger frame. D001 verdict via nx_gate_verdict. expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_gate_verdict.nxnx_distexec.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 9 | func dg_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 } called by 1: main |
| 10 | func dg_frame1(a: *i64, nm: *u8, n: i64) -> *u8 |
| 20 | func dg_frame2(a: *i64, b: *i64, na: *u8, nb: *u8, n: i64) -> *u8 |
| 33 | func main() -> i64 |