code wiki / (root) / nx_cert_monitor_gate.nx

nx_cert_monitor_gate.nx

buildroot/runtime/nx_cert_monitor_gate.nx

3377 B56 linesdepth 6pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic cert

docs dependencies structs consts functions

about

nx_cert_monitor_gate.nx -- KAT for the cert-expiry monitor. Hand-builds a validity field (two UTCTime TLVs), extracts notAfter via the REUSED x509_validity_get (epoch seconds), and asserts the days-until + verdict across OK / WARN(expiring) / EXPIRED. exit 0 = pass, N = assertion N failed.

dependencies 2 imports · 0 importers

imports: nx_cert_monitor.nxnx_assert.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

8	func g_time(buf: u8, off: i64, s: u8) -> i64 called by 1: main
14	func main() -> i64 calls 7: g_time x509_validity_get nx_puts_err nx_puti_err cm_days_until cm_verdict+1