code wiki / _hdl_build / _pe14_probe.nx

_pe14_probe.nx

buildroot/runtime/_hdl_build/_pe14_probe.nx

1728 B41 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind probe
docsdependenciesstructsconstsfunctions

about

_pe14_probe.nx -- bootstrap probe: drive pe14 (PERMIL_VERDICT, shape 20) to author a verdict organ from a DATA spec, hands-off. Two specs prove DATA -> DIFFERENT organ. spec A = the WP-exceed scoreboard: total=14 buckets, bands RED(0)/ONLADDER(1)/EXCEED(2).

dependencies 2 imports · 0 importers

nx_pattern_emit14.nx nx_syscalls.nx _pe14_probe.nx

imports: nx_pattern_emit14.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ pe14_author_permil_verdict p14_spec_ok sys_openat_wr pe14_emit_permil_verdict p14_w sys_write ↻ p14_wn sys_mmap ↻ sys_write ↻ sys_close sys_write ↻ sys_exit ↻

structs

none

consts

none

functions

7func main() -> i64
calls 4: sys_mmappe14_author_permil_verdictsys_writesys_exit