code wiki / _hdl_build / nx_auth_unification_census.nx

nx_auth_unification_census.nx

buildroot/runtime/_hdl_build/nx_auth_unification_census.nx

7458 B138 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_auth_unification_census.nx -- MEASURED unification scoreboard for auth ACROSS every Nishi surface (operator 2026-07-05: "make sure we are using opaque or whatever is state of the art and that its the unified approach across all our nishi systems use the nishi researcher and census"). nx_login_census grades the login LIBRARY's quality; THIS grades COVERAGE: does every surface in knowledge/security/auth_surfaces.conf route through the ONE OPAQUE credential, and which SESSION CARRIER each uses. Every cell PROVEN by reading the REAL organ source on disk (Rule 4, no assumptions). Research-grounded: requires knowledge/library/auth_rfc9807_opaque.txt (nx_auth_research primary corpus). CRED -- surface MINTS (nx_modern_auth_login|olg_login) or VALIDATES (nx_sa_validate) the OPAQUE session. CARRIER -- no-cookie header (nx_sa_validate/X-Nishi-Session) vs `ngs=` cookie -> the unification split. FRONTIER -- passkeys/WebAuthn = the passwordless next rung (honest gap, not a regression). Self-contained. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_auth_unification_census.nx

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

main au_w sys_write sys_mmap sys_openat_rd sys_close au_n au_w ↻ sys_mmap ↻ sys_write ↻ au_read sys_openat_rd ↻ sys_read sys_close ↻ au_ncopy sys_mmap ↻ au_has sys_exit

structs

none

consts

13const K_MAGIC_524288: i64 = 524288

functions

15func au_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 2: au_nmain calls 1: sys_write
16func au_n(v: i64) -> i64 { var m: i64=v; if m<0 { au_w("-" as *u8); m=0-m } let t: *u8=sys_mmap(24); var k: i64=0; if m==0 {t[0]=48 as u8;k=1} while m>0 {t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} let o: *u8=sys_mmap(24); var i: i64=0; while i<k {o[i]=t[k-1-i];i=i+1} sys_write(1,o,k); return 0 }
called by 1: main calls 3: au_wsys_mmapsys_write
17func au_read(path: *u8, buf: *u8, cap: i64) -> i64
called by 1: main calls 3: sys_openat_rdsys_readsys_close
25func au_has(buf: *u8, n: i64, needle: *u8) -> i64
called by 1: main
40func au_ncopy(src: *u8, n: i64) -> *u8
called by 1: main calls 1: sys_mmap
48func main() -> i64