code wiki / _hdl_build / nx_orchestrate_raci_status_gate_t49.nx
nx_orchestrate_raci_status_gate_t49.nx source
↩ module page · 10 lines · 497 B
1import "nx_orchestrate_raci_status_t49.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("RACI candidate successful worker",good==0,c)
7 let bad:i64=orch_dispatch("nx_absent_worker_control_1789053113")
8 gv_check("RACI candidate missing worker",bad!=0,c)
9 return gv_verdict("RACI-DISPATCH-STATUS",c,"real worker success and missing worker; shared signal decoder separately exercised")
10}