code wiki / _hdl_build / nx_eng_repro_neverbrick_gate.nx
nx_eng_repro_neverbrick_gate.nx source
↩ module page · 10 lines · 519 B
1// EMITTED by nx_engineer_reproduce -- applies never-brick(#26): the safety bar dominates. license_tier: ORIGINAL
2import "nx_syscalls.nx"
3func certify(hw: i64, proven: i64, quality_ok: i64) -> i64 { if hw == 1 { if proven == 0 { return 0 } } return quality_ok }
4func main() -> i64 {
5 let unproven: i64 = certify(1, 0, 1)
6 let proven: i64 = certify(1, 1, 1)
7 let software: i64 = certify(0, 0, 1)
8 if unproven == 0 { if proven == 1 { if software == 1 { sys_exit(0); return 0 } } }
9 sys_exit(1); return 1
10}