_germ_man_nx_kat_add7.nx source
↩ module page · 6 lines · 352 B
1// nx_kat_add7.nx -- tiny KAT canary: computes 3+4 and exits the result (7).
2// A real-computation germination canary with a DISTINCT exit code from nx_exit42 (42),
3// used by nx_spore_manifest_gate to prove MULTI-piece manifest germination.
4// expect_exit: 7
5import "nx_syscalls.nx"
6func main() -> i64 { let a: i64 = 3; let b: i64 = 4; return a + b }