_offc_gap3_repro_v3.nx
buildroot/runtime/_offc_gap3_repro_v3.nx
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
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
structs
| 11 | struct Image { w: nx_int, h: nx_int, c: nx_int } |
| 12 | struct RegionSet { n: nx_int, dummy: nx_int } |
| 13 | struct Verdict { kind: nx_int, score: nx_int } |
consts
| none |
functions
| 15 | func nx_image_alloc(w: nx_int, h: nx_int, c: nx_int) -> *Image |
| 21 | func fill_black(img: *Image) -> nx_int { return 0 } called by 1: main |
| 23 | func nx_region_segment(img: *Image) -> *RegionSet |
| 29 | func compute(img: *Image, set: *RegionSet) -> *Verdict |
| 36 | func main() -> nx_exit |