code wiki / (root) / nx_tls13_server_full_handshake_test.nx

nx_tls13_server_full_handshake_test.nx

buildroot/runtime/nx_tls13_server_full_handshake_test.nx

9084 B225 linesdepth 12pulls 57 transitivereach 0 importersview sourcekind gate/prooftopic tls13
docsdependenciesstructsconstsfunctions

about

nx_tls13_server_full_handshake_test.nx -- end-to-end integration smoke composing ALL 10 TLS server stones in ONE authenticated handshake. Proves the substrate's complete TLS 1.3 server-side pipeline works in pure NishiLang. The 10-stone authenticated flow: client ClientHello bytes -> [stone 2] recv_ch state INIT -> CH_RECEIVED [stone 3] emit_sh -> SH_SENT [stone 4] derive_hs_secrets -> EE_SENT (placeholder) [stone 5] derive_traffic (no state change) [stone 6] emit_ee -> CERT_SENT [stone 6.5] emit_certificate (state stays CERT_SENT) [stone 7.5] emit_cv -> CV_SENT [stone 7] emit_sf -> SF_SENT <- client Finished bytes (constructed using shared keys) [stone 8] recv_cf + derive_app -> CONNECTED Asserts at every step: - State transition correct - server_seq / client_seq tracking correct - Each emit returns positive byte count + 0x17 (app_data) header - Final state CONNECTED + master_secret + 6 app-traffic buffers expect_exit: 0 license_tier: ORIGINAL

dependencies 19 imports · 0 importers

nx_syscalls.nx nx_x25519.nx nx_x25519_ephemeral.nx nx_hmac.nx nx_tls13.nx nx_tls13_hello.nx nx_tls13_kdf.nx nx_tls13_record.nx nx_tls13_transcript.nx nx_tls13_server_session.nx nx_tls13_server_full_handshake

diagram shows first 10 each side; +9 more imports, +0 more importers in the complete lists below.

imports: nx_syscalls.nxnx_x25519.nxnx_x25519_ephemeral.nxnx_hmac.nxnx_tls13.nxnx_tls13_hello.nxnx_tls13_kdf.nxnx_tls13_record.nxnx_tls13_transcript.nxnx_tls13_server_session.nxnx_tls13_server_session_recv_ch.nxnx_tls13_server_session_emit_sh.nxnx_tls13_server_session_derive_hs.nxnx_tls13_server_session_derive_traffic.nxnx_tls13_server_session_emit_ee.nxnx_tls13_server_session_emit_certificate.nxnx_tls13_server_session_emit_cv.nxnx_tls13_server_session_emit_sf.nxnx_tls13_server_session_recv_cf.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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ tls13_client_hello_emit tls13_client_hello_emit2 tls_write_u16_be tls13_ext_emit_supported_v tls_write_u16_be ↻ tls13_ext_emit_supported_g tls_write_u16_be ↻ tls13_ext_emit_signature_a tls_write_u16_be ↻ tls13_ext_emit_key_share_x tls_write_u16_be ↻ tls13_ext_emit_key_share_d tls_write_u16_be ↻ tls13_ext_emit_key_share_p tls_write_u16_be ↻ tls13_ext_emit_server_name tls_write_u16_be ↻ tls13_ext_emit_alpn_http11 tls_write_u16_be ↻ tls_write_u24_be nx_tls13_server_session_ne sys_mmap ↻ nx_tls13_transcript_new sys_mmap ↻

structs

none

consts

none

functions

51func build_client_finished(
87func main() -> i64