code wiki / (root) / nx_tls13_client_dispatch_with_validation_test.nx

nx_tls13_client_dispatch_with_validation_test.nx

buildroot/runtime/nx_tls13_client_dispatch_with_validation_test.nx

5063 B121 linesdepth 17pulls 85 transitivereach 0 importersview sourcekind gate/prooftopic tls13
docsdependenciesstructsconstsfunctions

about

nx_tls13_client_dispatch_with_validation_test.nx -- KAT for the dispatcher variant that enforces cert validation at WAIT_CERT. We exercise the WRAPPER's contract: - non-WAIT_CERT states delegate to the underlying dispatcher (we test by feeding a malformed message at WAIT_EE and expecting BAD_MSG_TYPE -- proves delegation works) - WAIT_CERT with empty trust store -> CERT_VERIFY_FAIL (cert validation rejects because no trust anchor matches) - WAIT_CERT with malformed cert msg -> CERT_VERIFY_FAIL (the bridge rejects before validation even starts) - sealed verdict gate The full happy-path (handshake complete with cert valid) is proven by nx_https_pipeline_e2e_test for the cert pipeline; the bridge KAT proved the verdict routing; this KAT proves the dispatcher integration. expect_exit: 0 license_tier: ORIGINAL

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_x509_trust_store.nx nx_tls13_client.nx nx_tls13_client_validate_certifica nx_tls13_client_dispatch_with_vali nx_tls13_client_dispatch_with_

imports: nx_syscalls.nxnx_x509_trust_store.nxnx_tls13_client.nxnx_tls13_client_validate_certificate.nxnx_tls13_client_dispatch_with_validation.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_dispatch_with nx_tls13_client_validate_c nx_tls13_cv_memeq nx_https_cert_pipeline_ver sys_mmap ↻ tls13_parse_certificate_ch tls13_auth_check_handshake tls_read_u16_be _pipeline_verify_n sys_mmap ↻ tls13_parse_certificate_ch ↻ tls13_client_dispatch_hand sys_mmap ↻ tls13_parse_encrypted_exte tls13_auth_check_handshake ↻ tls_read_u16_be ↻ nx_tls13_transcript_update sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word sha512_update

structs

none

consts

none

functions

28func main() -> i64