nx_tls13_server_session_emit_cv_test.nx
buildroot/runtime/nx_tls13_server_session_emit_cv_test.nx
about
nx_tls13_server_session_emit_cv_test.nx -- verify CertificateVerify
emission + ECDSA-P256 signing pipeline.
Closed-form invariants:
(a) Wrong state -> negative
(b) Null priv key -> negative
(c) After chain through emit_ee: emit_cv succeeds
(d) Output starts with 0x17 (app_data record)
(e) Output size sensible (header + CV message + tag)
(f) State advances CV_SENT
(g) server_seq increments (1 from emit_ee -> 2 after emit_cv)
(h) emit_sf still works AFTER emit_cv (state CV_SENT accepted)
(i) emit_cv called twice -> BAD_STATE
expect_exit: 0
license_tier: ORIGINAL
dependencies 13 imports · 0 importers
diagram shows first 10 each side; +3 more imports, +0 more importers in the complete lists below.
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.nxnx_tls13_server_session_derive_hs.nxnx_tls13_server_session_derive_traffic.nxnx_tls13_server_session_emit_ee.nxnx_tls13_server_session_emit_cv.nxnx_tls13_server_session_emit_sf.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
| 32 | func main() -> i64 |