code wiki / (root) / nx_fin_route_gate.nx

nx_fin_route_gate.nx

buildroot/runtime/nx_fin_route_gate.nx

9487 B166 linesdepth 17pulls 77 transitivereach 0 importersview sourcekind gate/prooftopic fin
docsdependenciesstructsconstsfunctions

about

nx_fin_route_gate.nx -- proves nishifamily.com/finance is correctly served BEHIND THE OPAQUE WALL. Drives the shared route table (olg_route) in-process, exactly as the daemon would, with a real OPAQUE ctx (temp /tmp keys/store; light KSF for test speed, like nx_opaque_login_gate): (a) GET /finance with NO session -> 401, and the page does NOT leak (no brand bytes in the response) (b) GET /finance with a VALID Ed25519 no-cookie token -> 200 OK + the zero-JS dashboard (brand + live engine output present, NO <script over the wire, served as text/html) This is the integration proof of "finance behind the opaque system" AND a compile-check of the new route. It does NOT touch the live daemon -- activation in production = an operator-coordinated daemon rebuild/restart (the daemon imports this same route table). Exits 0 iff ALL pass. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_opaque_login_routes.nx nx_opaque_login.nx nx_syscalls.nx nx_fin_route_gate.nx

imports: nx_opaque_login_routes.nxnx_opaque_login.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 sys_mmap olg_trunc sys_openat_wr sys_close olg_ctx_setup olg_ctx_setup_ttl 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_opq_hash_to_scalar sys_mmap ↻ nx_h2c_expand_message_xmd_ u256_alloc ↻ _opq_reduce_48be_mod_n u256_store_be u256_load_be u256_is_zero p256_point_alloc nx_scratch ↻ u256_alloc ↻ p256_field_one

structs

none

consts

none

functions

14func g_puts(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: chkmain calls 1: sys_write
15func g_putn(v: i64) -> i64
called by 2: chkmain calls 2: sys_writesys_mmap
24func chk(name: *u8, got: i64, want: i64, st: *i64) -> i64
called by 1: main calls 2: g_putsg_putn
29func rfind(hay: *u8, n: i64, needle: *u8) -> i64
called by 1: main
41func cpstr(dst: *u8, off: i64, s: *u8) -> i64 { var o: i64 = off; var i: i64 = 0; while s[i] != (0 as u8) { dst[o] = s[i]; o = o + 1; i = i + 1 } return o }
called by 1: main
42func cpbuf(dst: *u8, off: i64, src: *u8, n: i64) -> i64 { var o: i64 = off; var i: i64 = 0; while i < n { dst[o] = src[i]; o = o + 1; i = i + 1 } return o }
called by 1: main
43func olg_trunc(path: *u8) -> i64 { let fd: i64 = sys_openat_wr(path, 0x1a4); if fd >= 0 { sys_close(fd) } return 0 }
called by 1: main calls 2: sys_openat_wrsys_close
45func main() -> i64