code wiki / (root) / nx_chain_pair_real_diag_test.nx

nx_chain_pair_real_diag_test.nx

buildroot/runtime/nx_chain_pair_real_diag_test.nx

3718 B100 linesdepth 13pulls 65 transitivereach 0 importersview sourcekind gate/prooftopic chain
docsdependenciesstructsconstsfunctions

about

nx_chain_pair_real_diag_test.nx -- per-pair verify diagnostic against the REAL example.com 4-cert chain. Reads /tmp/cert1..4.der and for each (cert[i], issuer=cert[i+1]) pair calls nx_x509_verify_under_issuer directly, then dumps the individual verdict. This isolates which exact rung of the chain is the sig-verify blocker after wiring ECDSA-SHA384 + P-384. expect_exit: 0 (diagnostic always returns 0; assertions in the shell smoke check the per-pair verdict pattern).

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_x509.nx nx_x509_verify_under_issuer.nx nx_chain_pair_real_diag_test.n

imports: nx_syscalls.nxnx_x509.nxnx_x509_verify_under_issuer.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 mkpath read_to sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close 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 ↻ nx_x509_verify_under_issue nx_x509_sig_alg_identify sys_mmap ↻ asn1_expect_tag ↻ nx_x509_sig_alg_is_support nx_x509_pubkey_alg_identif sys_mmap ↻ asn1_expect_tag ↻ oid_is_ed25519 oid_is_rsa_encryption oid_is_id_ec_public_key oid_is_prime256v1 oid_is_secp384r1 nx_x509_pubkey_alg_is_supp

structs

none

consts

none

functions

16func read_to(path: *u8, out_buf: *u8, max: i64) -> i64
called by 1: main calls 2: sys_mmapsys_read_file
27func mkpath(out: *u8, num: i64) -> i64
called by 1: main
37func dump_dec(l0: i64, l1: i64, l2: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
61func main() -> i64