nx_tls13_server_full_handshake_test.nx
buildroot/runtime/nx_tls13_server_full_handshake_test.nx
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
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
structs
| none |
consts
| none |
functions
| 51 | func build_client_finished( |
| 87 | func main() -> i64 |