nx_tls13_server_session_emit_sh_test.nx
buildroot/runtime/nx_tls13_server_session_emit_sh_test.nx
about
nx_tls13_server_session_emit_sh_test.nx -- verify server emits a
ServerHello bytes that the existing CLIENT parser consumes (round-
trip), and that the session advances CH_RECEIVED -> SH_SENT.
Closed-form invariants:
(a) Wrong-state session (INIT) -> BAD_STATE
(b) After recv_ch + emit_sh: state == SH_SENT + n > 0
(c) Client's tls13_server_hello_parse consumes our SH bytes
cleanly (positive verdict)
(d) Parsed legacy_version == 0x0303
(e) Parsed cipher_suite == TLS_CHACHA20_POLY1305_SHA256 (0x1303)
(f) Server's emitted random appears at the byte offset the
parser reports
(g) Extensions blob contains supported_versions(43) + key_share(51)
(h) Calling emit_sh again -> BAD_STATE (state moved past CH_RECEIVED)
expect_exit: 0
license_tier: ORIGINAL
dependencies 8 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.nxnx_tls13_server_session_emit_sh.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 |