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 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 ↻ mkpath read_to sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close dump_dec sys_mmap ↻ sys_write ↻

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
calls 4: sys_mmapmkpathread_todump_dec