nx_https_cert_pipeline_test.nx
buildroot/runtime/nx_https_cert_pipeline_test.nx
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
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
structs
| none |
consts
| none |
functions
| 21 | func main() -> i64 |