nx_atlas_gate.nx

buildroot/runtime/nx_atlas_gate.nx

1724 B53 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic atlas

docs dependencies structs consts functions

about

nx_atlas_gate.nx -- atlas-hygiene CONFIDENCE-GATE enforcement primitive (blueprint Callout 3 / F264). conf in PERMILLE (0..1000) + optional threshold (default 750 = 0.75) -> hard ALLOW/BLOCK verdict + EXIT CODE so a downstream execution system can BRANCH: exit 0 = ALLOW (conf>=thr), exit 5 = BLOCK (conf<thr). Integer-only (no-float doctrine). Zero side effects. Moves C3 from plane LABEL to ENFORCING gate. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

imports: nx_syscalls.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

8	func ag_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: main
10	func ag_atoi(s: *u8) -> i64 called by 1: main
23	func main(argc: i64, argv: *i64) -> i64 calls 4: sys_write sys_exit ag_atoi ag_slen