_germ_man_nx_kat_add7.nx
buildroot/runtime/_germ_man_nx_kat_add7.nx
about
nx_kat_add7.nx -- tiny KAT canary: computes 3+4 and exits the result (7).
A real-computation germination canary with a DISTINCT exit code from nx_exit42 (42),
used by nx_spore_manifest_gate to prove MULTI-piece manifest germination.
expect_exit: 7
dependencies 1 imports · 0 importers
imports: nx_syscalls.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| none |
functions
| 6 | func main() -> i64 { let a: i64 = 3; let b: i64 = 4; return a + b } |