code wiki / _hdl_build / nx_connect_auth_gate.nx

nx_connect_auth_gate.nx

buildroot/runtime/_hdl_build/nx_connect_auth_gate.nx

9424 B159 linesdepth 16pulls 56 transitivereach 0 importersview sourcekind gate/prooftopic connect
docsdependenciesstructsconstsfunctions

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

nx_connect_serve.nx nx_opaque_login.nx nx_connect_auth_gate.nx

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

main cs_world_new sys_mmap cs_world_reset cs_cat au_w au_get cs_cat ↻ cs_handle cs_handle2 cs_starts sys_mmap ↻ cs_slen cs_seq cs_cat ↻ cs_catn cu_putn cs_json_resp cs_cat ↻ cs_catn ↻ cs_form_get cs_slen ↻ cs_hexval cs_sh_pub_put2 cs_name_ok cs_hex_len cs_sh_pub_find cs_seq ↻ sh_pub_at sh_own_at cs_eq32 sh_pub_at ↻ cs_sh_copyz cs_copy32 cs_catsn cs_cat ↻ cs_catn ↻ sh_pub_at ↻ sh_own_at ↻ cs_name_ok ↻

structs

none

consts

12const AU_BUF: i64 = 262144

functions

14func 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_checkmain
15func au_check(pass: i64, label: *u8, fails: *i64) -> i64
called by 1: main calls 1: au_w
20func au_has(buf: *u8, n: i64, needle: *u8) -> i64
called by 1: main calls 1: cs_slen
27func au_count(buf: *u8, n: i64, needle: *u8) -> i64
called by 1: main calls 1: cs_slen
35func au_get(dst: *u8, path: *u8) -> i64
called by 1: main calls 1: cs_cat
42func main() -> i64