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 sys_now_realtime_ms sys_mmap sys_clock_gettime_real st_hex128 sys_openat_rd sys_mmap ↻ sys_read sys_close sess_issue sys_now_realtime_ms ↻ 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
calls 6: g_reqca_session_okst_hex128sess_issuesys_now_realtime_msnx_puts_err