code wiki / hub / nx_no_cookie_session_test.nx

nx_no_cookie_session_test.nx

buildroot/runtime/hub/nx_no_cookie_session_test.nx

2214 B54 linesdepth 10pulls 17 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_no_cookie_session_test.nx -- 1:1 runtime proof of the no-cookie session auth (mint -> validate -> realm + negative cases). This is the MONITOR-pillar regression for T#ncs-verify-convention: the verify-success check in nx_ncs_validate_token was `!= 0` (wrong: ed25519_verify_full returns 1 on valid), which rejected every valid token AND would accept invalid ones. main() returns 0 on all-pass, else the failing assertion number.

dependencies 1 imports · 0 importers

nx_no_cookie_session.nx nx_no_cookie_session_test.nx

imports: nx_no_cookie_session.nx

imported by: nobody (leaf or entry point)

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

main ed25519_pub_from_priv sys_mmap ed25519_sha512 sys_mmap ↻ sha512_init sha512_update sha512_blk_set_byte blk_get_i64 blk_set_i64 sha512_compress sys_mmap ↻ blk_get_i64 ↻ sha512_gamma0 rotr64_v shr64_v sha512_gamma1 rotr64_v ↻ shr64_v ↻ sha512_sigma1 rotr64_v ↻ sha512_ch sha512_k sha512_sigma0 rotr64_v ↻ sha512_maj sha512_final sha512_blk_set_byte ↻ sha512_compress ↻ ge_p3_alloc sys_mmap ↻ fe_alloc nx_scratch nx_scratch_init sys_mmap ↻ nx_scratch_oom sys_write sys_exit sys_mmap ↻ fe_zero

structs

none

consts

none

functions

9func main() -> i64