nx_tls13_server_session_recv_ch_test.nx
buildroot/runtime/nx_tls13_server_session_recv_ch_test.nx
about
nx_tls13_server_session_recv_ch_test.nx -- verify the server-side
ClientHello receive step.
Strategy: build a ClientHello using the shipped CLIENT emitter
(tls13_client_hello_emit), then feed those bytes into recv_ch on a
fresh server session. Round-trip proves the server correctly
parses + extracts the X25519 client public key emitted by the
client.
Closed-form invariants:
(a) Null session/buf -> BAD_STATE
(b) Wrong-state session (e.g., already CH_RECEIVED) -> BAD_STATE
(c) Truncated bytes -> PROTOCOL_ERR
(d) Real ClientHello -> OK + state advances to CH_RECEIVED
(e) After recv_ch, session.client_x25519_pub == client's pubkey
(round-trip bit-exact)
expect_exit: 0
license_tier: ORIGINAL
dependencies 7 imports · 0 importers
imports: nx_syscalls.nxnx_x25519.nxnx_x25519_ephemeral.nxnx_tls13.nxnx_tls13_hello.nxnx_tls13_server_session.nxnx_tls13_server_session_recv_ch.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
| 29 | func main() -> i64 |