code wiki / (root) / nx_probe_test.nx

nx_probe_test.nx

buildroot/runtime/nx_probe_test.nx

4243 B99 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic probe
docsdependenciesstructsconstsfunctions

about

nx_probe_test.nx -- smoke for nx_probe SA-1 MVP. Exercises: - canary tamper-detect (pre + post) - endianness witness on qemu-riscv64 (little-endian) - pointer-width witness (64 on RV64) - page-size witness (>= 4096 on Linux RV64) - mono-clock witness (works + non-zero resolution) - mmap + write smoke - ISA-family compiled-target witness (RV64 under default --target asm) - FALSIFICATION GATE: synthetic wrong claim must produce falsification_count >= 1 with correct first_falsified_field tag SA-1 verification gate per NISHI_SELF_ASSEMBLY_ROADMAP.md ยง8.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_probe.nx nx_probe_test.nx

imports: nx_syscalls.nxnx_probe.nx

imported by: nobody (leaf or entry point)

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

main nx_probe_new sys_mmap nx_probe_run _probe_compiled_isa _probe_endianness sys_mmap ↻ _probe_pointer_width_bits _probe_page_size_bytes sys_mmap ↻ _probe_mmap_works sys_mmap ↻ _probe_write_works sys_mmap ↻ sys_write sys_mmap ↻ _probe_mono_clock sys_mmap ↻ sys_clock_gettime_mono sys_clock_gettime_mono ↻ nx_isa_family_is_valid

structs

none

consts

none

functions

19func main() -> i64