nx_tls13_client_session_run_test.nx
buildroot/runtime/nx_tls13_client_session_run_test.nx
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
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
structs
| none |
consts
| none |
functions
| 19 | func main() -> i64 |