code wiki / (root) / _offc_gap3_repro_v2.nx

_offc_gap3_repro_v2.nx

buildroot/runtime/_offc_gap3_repro_v2.nx

764 B27 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tooltopic offc
docsdependenciesstructsconstsfunctions

about

nx_safety_envelope: intended_use: AUTO_APPLIED -- primitive-specific tuning queued sil_target: SIL1 evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail] verdict: NOT_YET_EVALUATED

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_runtime.nx nx_tier.nx _offc_gap3_repro_v2.nx

imports: nx_syscalls.nxnx_runtime.nxnx_tier.nx

imported by: nobody (leaf or entry point)

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

main compute sys_mmap

structs

11struct Verdict { kind: nx_int, score: nx_int }

consts

none

functions

13func compute() -> *Verdict
called by 1: main calls 1: sys_mmap
20func main() -> nx_exit
calls 1: compute