code wiki / (root) / nx_canary_test.nx

nx_canary_test.nx

buildroot/runtime/nx_canary_test.nx

8570 B171 linesdepth 7pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic canary
docsdependenciesstructsconstsfunctions

about

nx_canary_test.nx -- end-to-end smoke for nx_canary_value. Exercises the verify-constant path, verify-bytes path, verify-file path (composing sys_read_file), and the aggregate scan with a mixed-verdict canary array. All five exit codes are mapped to specific assertions so a failed smoke pinpoints the broken invariant.

dependencies 2 imports · 0 importers

syscalls.nx nx_canary_value.nx nx_canary_test.nx

imports: syscalls.nxnx_canary_value.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_canary_install nx_canary_verify_constant nx_canary_hash_bytes nx_canary_verify_bytes nx_canary_hash_bytes ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap sys_read sys_close nx_canary_verify_file sys_read_file ↻ nx_canary_hash_bytes ↻ nx_canary_scan_aggregate nx_canary_scan_files nx_canary_verify_file ↻ nx_canary_scan_aggregate ↻

structs

none

consts

12const NX_TEST_NOW_UNIX: i64 = 1747436400 // 2026-05-16 reference timestamp

functions

14func main() -> i64