code wiki / _hdl_build / nx_docportal_admin_daemon_gate.nx

nx_docportal_admin_daemon_gate.nx

buildroot/runtime/_hdl_build/nx_docportal_admin_daemon_gate.nx

19242 B250 linesdepth 18pulls 75 transitivereach 0 importersview sourcekind gate/prooftopic docportal
docsdependenciesstructsconstsfunctions

about

nx_docportal_admin_daemon_gate.nx -- SOVEREIGN in-process referee for the admin.<domain> document-portal daemon on the CANONICAL ecosystem Modern Auth (no socket/curl/shell). Arms a realm + registers an admin via the REAL Modern Auth, then feeds crafted HTTP request BYTES into the pure router dad_handle and asserts the response bytes AND the real upload side effect in the sovereign store -- proving the document portal is gated by the SAME auth the rest of the ecosystem uses (not a bespoke scheme): T1 GET /admin -> 200 + the login/upload SPA shell (public) T2 POST /admin/login ok -> 200 + {"token":...} (mint a real no-cookie token) T3 POST /admin/upload +tok -> 200 UPLOADED, the doc is stored, and the owner ai_blog flag took effect T4 POST /admin/upload NOtok -> 401 (deny-by-default at the daemon, before da_handle) T5 POST /admin/upload BADtok-> 401 (forged session rejected) T6 POST /admin/login WRONGpw-> 401 R1 POST /admin/register +invite -> 200 + mnemonic, and the new firm admin can then log in R2 POST /admin/register garbage-invite -> 403, and the user is NOT registered (login fails) R3 POST /admin/register replayed (consumed) invite -> 403 (single-use enforced over HTTP) S1 GET /search?q=... (PUBLIC, no session) -> 200 + the seg_store hit rendered (route matched BEFORE the /admin chain; Host header -> dp-<host>-pub- shard; case-folded term match through the daemon) S2 GET /search with an absent-shard Host -> 200 + "0 result(s)" (graceful isolation, never a 500) S3 GET /doc?cid=<cid> (PUBLIC) -> 200 + the doc text (the SERP click-through, -pub- shard only) S4 GET /doc with an absent cid -> branded 404 (never a 500) GREEN iff 13/13. Appends knowledge/status/docportal_admin_daemon_gate.log. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_docportal_admin_daemon.nx nx_modern_auth_flow.nx nx_syscalls.nx nx_docportal_admin_daemon_gate

imports: nx_docportal_admin_daemon.nxnx_modern_auth_flow.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main g_w sys_write g_trunc sys_openat_wr sys_close sys_mmap nx_uas_server_keys_load_or sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close ↻ _uas_hex_dec _uas_nib nx_csprng_fill sys_mmap ↻ nx_csprng_urandom_path sys_openat_rd ↻ sys_read ↻ sys_close ↻ nx_opq_derive_keypair sys_mmap ↻ _voprf_load_context_string u256_alloc nx_scratch nx_scratch_init sys_mmap ↻ nx_scratch_oom sys_write ↻ sys_exit sys_mmap ↻ nx_opq_hash_to_scalar sys_mmap ↻ nx_h2c_expand_message_xmd_ sys_mmap ↻ _h2c_i2osp_1 _h2c_i2osp_2

structs

none

consts

none

functions

25func g_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 1: main calls 1: sys_write
26func g_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
27func g_lw(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 }
called by 1: main calls 1: sys_write
28func g_cat(d: *u8, o: i64, s: *u8) -> i64 { var i: i64 = 0; while s[i] != (0 as u8) { d[o + i] = s[i]; i = i + 1 } return o + i }
called by 1: main
29func g_cat_n(d: *u8, o: i64, s: *u8, n: i64) -> i64 { var i: i64 = 0; while i < n { d[o + i] = s[i]; i = i + 1 } return o + n }
called by 1: main
30func g_trunc(path: *u8) -> i64 { let fd: i64 = sys_openat_wr(path, 0x180); if fd >= 0 { sys_close(fd) } return 0 }
called by 1: main calls 2: sys_openat_wrsys_close
31func g_starts(buf: *u8, n: i64, s: *u8) -> i64 { let sn: i64 = g_len(s); if n < sn { return 0 } var i: i64 = 0; while i < sn { if (buf[i] as i64) != (s[i] as i64) { return 0 } i = i + 1 } return 1 }
called by 1: main calls 1: g_len
32func g_contains(hay: *u8, n: i64, needle: *u8) -> i64
called by 1: main calls 1: g_len
37func g_extract_token(resp: *u8, n: i64, out: *u8) -> i64
called by 1: main
47func main() -> i64