code wiki / _hdl_build / nx_wiki_login_live_gate.nx

nx_wiki_login_live_gate.nx

buildroot/runtime/_hdl_build/nx_wiki_login_live_gate.nx

13340 B293 linesdepth 16pulls 46 transitivereach 0 importersview sourcekind gate/prooftopic wiki
docsdependenciesstructsconstsfunctions

about

nx_wiki_login_live_gate.nx -- ENGINEER gate: the wiki accessibility gate over REAL HTTP bytes. Drives nx_wiki_admin_handle (the exact function the multi-vhost daemon dispatches to) with synthetic-but-real HTTP requests, against an ARMED auth context (persistent key bundle + account store + argon2id KSF) -- the full production path minus the TLS socket. 12 rows: 1 ops provisioning: register stores the admin record + issues 24-word mnemonic 2 POST /wiki/admin/login (urlencoded body, %20 + '+' both exercised) -> 200 {"token":...} 3 GET /wiki/admin/x with X-Nishi-Session: <base64 token from row 2> -> 200 4 POST login wrong passphrase -> 401 5 GET without session header -> 401 6 GET with garbage session header -> 401 7 POST login on UNARMED ctx -> honest 503 8 POST login unknown handle -> 401 (same body as row 4: enumeration defense) 9 POST /wiki/admin/recover w/ mnemonic -> 200 {"mnemonic": NEW} + login w/ new pw -> 200 10 POST recover with a WRONG (valid-checksum) mnemonic -> 401 11 POST /wiki/admin/refresh w/ valid token -> 200 fresh token that passes GET 12 POST refresh with garbage session -> 401 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_wiki_admin_wiring.nx nx_syscalls.nx nx_wiki_login_live_gate.nx

imports: nx_wiki_admin_wiring.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

23func wg_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
24func wg_z(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
25func wg_row(idx: i64, ok: i64, name: *u8) -> i64
40func wg_app(buf: *u8, off: i64, s: *u8) -> i64
48func wg_build_post_login(req: *u8, body: *u8) -> i64
63func wg_build_get(req: *u8, session_b64: *u8, session_n: i64) -> i64
78func wg_status(resp: *u8) -> i64
83func wg_extract_token(resp: *u8, resp_n: i64, out: *u8) -> i64
109func main() -> i64