nx_gate_always_red.nx source
↩ module page · 8 lines · 403 B
1// nx_gate_always_red.nx -- NEGATIVE CONTROL: a gate that always FAILS (exit 1). Used only to prove the deploy-guard
2// actually BLOCKS on a RED suite (never a fake-green). Not part of the real suite. license_tier: ORIGINAL
3import "nx_gate.nx"
4func main() -> i64 {
5 gw(" [FAIL] intentional-red gate (negative control for the deploy-guard fail-closed proof)\n" as *u8)
6 sys_exit(1)
7 return 1
8}