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 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 ↻ nx_https_cert_pipeline_ver _pipeline_verify_n sys_mmap ↻ tls13_parse_certificate_ch tls13_auth_check_handshake tls_read_u16_be nx_https_cert_pipeline_ver nx_https_cert_pipeline_ver sys_mmap ↻ tls13_parse_certificate_ch ↻ _pipeline_verify_n ↻

structs

none

consts

none

functions

21func main() -> i64