code wiki / _hdl_build / nx_cms_session_gate.nx

nx_cms_session_gate.nx

buildroot/runtime/_hdl_build/nx_cms_session_gate.nx

2866 B51 linesdepth 7pulls 29 transitivereach 0 importersview sourcekind gate/prooftopic cms
docsdependenciesstructsconstsfunctions

about

nx_cms_session_gate.nx -- INTEGRATION gate for the #8 session-timeout wiring in nx_cms_admin. Drives the REAL ca_session_ok through the login lifecycle: no-session -> reject; fresh login (st_hex128 rotate + sess_issue stamp) -> accept (proves the wiring did NOT break login); absolute-aged + idle-aged sessions -> reject (proves the timeout fires). `now` is the real clock; session AGE is simulated by setting the packed issued_at/last_seen, so no waiting. exit 0 = pass, N = assertion N failed.

dependencies 3 imports · 0 importers

nx_cms_admin.nx nx_session_ttl.nx nx_assert.nx nx_cms_session_gate.nx

imports: nx_cms_admin.nxnx_session_ttl.nxnx_assert.nx

imported by: nobody (leaf or entry point)

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

main g_req ca_cat ca_session_ok ca_index st_eq_ct sess_verify sess_check sess_issued sess_lastseen sess_touch st_hex128 sys_openat_rd sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ sys_read sys_close sess_issue nx_puts_err sys_write ↻

structs

none

consts

none

functions

11func g_req(buf: *u8, sess: *u8) -> i64
called by 1: main calls 1: ca_cat
18func main() -> i64