code wiki / _hdl_build / nx_connect_auth_gate.nx
nx_connect_auth_gate.nx
buildroot/runtime/_hdl_build/nx_connect_auth_gate.nx
about
nx_connect_auth_gate.nx -- proves TWO things about CONNECT's real-login rung:
PART A (rendering, pure): the serve core renders the signed-out vs signed-in app correctly from the
per-request auth slots the daemon stamps -- login/register forms when out, identity + sign-out when in,
the nav identity area tracks it, and each auth event maps to the right banner. No crypto here.
PART B (the REAL OPAQUE crypto, end-to-end): using the SAME nx_opaque_login seam the daemon uses, in a
throwaway realm, register -> login -> whoami round-trips a handle, a WRONG passphrase is REJECTED, and
an UNKNOWN handle is REJECTED -- so "signed in" can never be faked. This is the anti-stub proof.
license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_connect_serve.nxnx_opaque_login.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
| 12 | const AU_BUF: i64 = 262144 |
functions
| 14 | func 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 } |
| 15 | func au_check(pass: i64, label: *u8, fails: *i64) -> i64 |
| 20 | func au_has(buf: *u8, n: i64, needle: *u8) -> i64 |
| 27 | func au_count(buf: *u8, n: i64, needle: *u8) -> i64 |
| 35 | func au_get(dst: *u8, path: *u8) -> i64 |
| 42 | func main() -> i64 |