code wiki / (root) / nx_tls13_client_session_run_test.nx

nx_tls13_client_session_run_test.nx

buildroot/runtime/nx_tls13_client_session_run_test.nx

3243 B74 linesdepth 19pulls 109 transitivereach 0 importersview sourcekind gate/prooftopic tls13
docsdependenciesstructsconstsfunctions

about

nx_tls13_client_session_run_test.nx -- KAT for the top-level TLS handshake orchestrator. Note on test scope: full handshake against a real TLS 1.3 server is exercised by Arc A's end-to-end demo (queued). This KAT verifies the orchestrator's CONTRACT SURFACE: - bad fd -> write or read step fails with mapped verdict - verdict gate (all 11 sealed values valid / invalid range rejected) expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_x509_trust_store.nx nx_tls13_client_validate_certifica nx_tls13_client_session_run.nx nx_tls13_client_session_run_te

imports: nx_syscalls.nxnx_x509_trust_store.nxnx_tls13_client_validate_certificate.nxnx_tls13_client_session_run.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 trust_store_alloc sys_mmap ↻ nx_tls13_client_session_ru sys_now_ms sys_mmap ↻ sys_clock_gettime_mono nx_tls13_client_session_ne sys_mmap ↻ x25519_keypair_public sys_mmap ↻ x25519_base_point x25519 nx_scratch_save nx_scratch_init nx_scratch nx_scratch_init ↻ nx_scratch_oom sys_mmap ↻ fe_alloc nx_scratch ↻ fe_from_bytes fe_one fe_zero fe_zero ↻ fe_copy x25519_ladder_step fe_cswap nx_scratch_save ↻ fe_alloc ↻ fe_add fe_sq fe_sub fe_mul fe_mul_a24 nx_scratch_restore fe_cswap ↻ fe_invert nx_scratch_save ↻

structs

none

consts

none

functions

19func main() -> i64
calls 4: sys_mmaptrust_store_allocnx_tls13_client_session_runnx_tls13_run_verdict_is_valid