_pp_minimal2.nx source
↩ module page · 14 lines · 384 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"
10import "nx_kernel_v2.nx"
11
12func main() -> nx_exit {
13 return 0
14}