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 trust_store_alloc sys_mmap ↻ 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 x509_parse sys_mmap ↻ asn1_cursor_init asn1_expect_tag sys_mmap ↻ asn1_read_tlv_header asn1_read_length x509_read_tlv sys_mmap ↻ asn1_expect_tag ↻ x509_read_alg_id sys_mmap ↻ asn1_expect_tag ↻ trust_store_lookup_by_subj nx_x509_dn_match _pipeline_verify_n sys_mmap ↻ tls13_parse_certificate_ch ↻ x509_parse ↻ x509_leaf_check sys_mmap ↻ x509_parse ↻ x509_validity_check x509_san_match_hostname nx_x509_chain_verify nx_u384_scratch_save nx_x509_dn_match ↻ nx_u384_scratch_restore

structs

none

consts

none

functions

28func main() -> i64