nx_ui_ship_gate.nx
buildroot/runtime/nx_ui_ship_gate.nx
about
nx_ui_ship_gate.nx -- the S-class LOCK-IN gate (wire into emitter/CI compile-gates).
Reads the data-driven manifest web_assets/ui_ship.conf (mode|path|label) and enforces:
require -> the page MUST be S-class-compliant (sce_violations==0) or the gate goes RED (exit 1) = ship BLOCKED.
debt -> a known legacy page: audited + reported, but NON-blocking until retrofitted onto nx_sclass_kit.
Composes the ONE canonical check (nx_sclass_enforce_lib) -> no duplicated logic. So once a page is S-class,
it can NEVER silently regress: any emitter change that breaks a required page fails this gate.
license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_syscalls_x86_64.nxnx_sclass_enforce_lib.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
| 11 | func sw(s: *u8) -> i64 { var n: i64=0; while s[n]!=0 { n=n+1 } sys_write(1,s,n); return 0 } |
| 12 | func sn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(1,"-" as *u8,1)} let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m-(m/10)*10)) as u8;m=m/10;k=k+1} var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1} sys_write(1,bb,k); return 0 } called by 1: main |
| 13 | func wslice(base: *u8, off: i64, len: i64) -> i64 { sys_write(1, ((base as i64) + off) as *u8, len); return 0 } called by 1: main |
| 16 | func feq(base: *u8, off: i64, len: i64, lit: *u8) -> i64 called by 1: main |
| 23 | func slice_z(base: *u8, off: i64, len: i64) -> *u8 called by 1: main |
| 31 | func splitp(base: *u8, ls: i64, le: i64, foff: *i64, flen: *i64) -> i64 called by 1: main |
| 41 | func list_gaps(h: *u8, n: i64) -> i64 |
| 52 | func main() -> i64 |