code wiki / (root) / nx_https_cert_pipeline_test.nx

nx_https_cert_pipeline_test.nx

buildroot/runtime/nx_https_cert_pipeline_test.nx

6688 B125 linesdepth 15pulls 75 transitivereach 0 importersview sourcekind gate/prooftopic https
docsdependenciesstructsconstsfunctions

about

nx_https_cert_pipeline_test.nx -- minimal KAT for the HTTPS cert pipeline orchestrator. This KAT verifies the dispatch logic + verdict gate. A full end-to-end happy-path KAT (synthesizing a TLS Certificate message that wraps a real-DER cert) is queued separately -- each sub-primitive (parse_certificate_chain_all + x509_parse + leaf_check + chain_verify) has its own end-to-end KAT, so the orchestrator's logic is correct by construction; what this minimal test pins is that the verdict-dispatch wiring routes the right sub-verdict to the right pipeline verdict. expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_x509.nx nx_x509_trust_store.nx nx_https_cert_pipeline.nx nx_https_cert_pipeline_test.nx

imports: nx_syscalls.nxnx_x509.nxnx_x509_trust_store.nxnx_https_cert_pipeline.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 nx_https_cert_pipeline_ver _pipeline_verify_n 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_tag asn1_read_length asn1_read_length ↻ x509_read_tlv sys_mmap ↻ asn1_expect_tag ↻ x509_read_alg_id sys_mmap ↻ asn1_expect_tag ↻ x509_leaf_check sys_mmap ↻ x509_parse ↻ x509_validity_check sys_mmap ↻ x509_validity_get sys_mmap ↻ x509_read_time_tlv x509_san_match_hostname sys_mmap ↻ x509_san_locate sys_mmap ↻ asn1_expect_tag ↻ hostname_wildcard_match count_byte bytes_eq_ci nx_x509_chain_verify

structs

none

consts

none

functions

21func main() -> i64