code wiki / _hdl_build / nx_orchestrate_status_gate_t48.nx

nx_orchestrate_status_gate_t48.nx source

↩ module page · 11 lines · 456 B

1import "nx_orchestrate_status_t48.nx" 2import "nx_gate_verdict.nx" 3func main(argc: i64, argv: *i64) -> i64 { 4 let c: *i64 = gv_ctr() 5 let good: i64 = orch_dispatch("nx_orchestrate_signal_audit_t48") 6 gv_check("actual successful worker preserved", good == 0, c) 7 let bad: i64 = orch_dispatch("nx_absent_worker_control_1789053113") 8 gv_check("actual missing worker remains nonzero", bad != 0, c) 9 if c[0] != c[1] { return 3 } 10 return 0 11}