_offc_gap3_repro_v3.nx source
↩ module page · 44 lines · 1297 B
1// nx_safety_envelope:
2// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
3// sil_target: SIL1
4// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
5// verdict: NOT_YET_EVALUATED
6
7import "nx_syscalls.nx"
8import "nx_runtime.nx"
9import "nx_tier.nx"
10
11struct Image { w: nx_int, h: nx_int, c: nx_int }
12struct RegionSet { n: nx_int, dummy: nx_int }
13struct Verdict { kind: nx_int, score: nx_int }
14
15func nx_image_alloc(w: nx_int, h: nx_int, c: nx_int) -> *Image {
16 let img: *Image = (sys_mmap(24)) as *Image
17 img.w = w; img.h = h; img.c = c
18 return img
19}
20
21func fill_black(img: *Image) -> nx_int { return 0 }
22
23func nx_region_segment(img: *Image) -> *RegionSet {
24 let r: *RegionSet = (sys_mmap(16)) as *RegionSet
25 r.n = 4; r.dummy = 0
26 return r
27}
28
29func compute(img: *Image, set: *RegionSet) -> *Verdict {
30 let v: *Verdict = (sys_mmap(16)) as *Verdict
31 v.kind = 0
32 v.score = 99
33 return v
34}
35
36func main() -> nx_exit {
37 let img: *Image = nx_image_alloc(64, 64, 3)
38 let _f: nx_int = fill_black(img)
39 let set: *RegionSet = nx_region_segment(img)
40 let v: *Verdict = compute(img, set)
41 if v.kind != 0 { return 1 } // <- Elder-AI-reported SEGFAULT
42 if v.score != 99 { return 2 }
43 return 0
44}