code wiki / (root) / nx_argon2id_xvalidate_test.nx

nx_argon2id_xvalidate_test.nx

buildroot/runtime/nx_argon2id_xvalidate_test.nx

3034 B82 linesdepth 3pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic argon2id
docsdependenciesstructsconstsfunctions

about

nx_argon2id_xvalidate_test.nx -- byte-exact cross-validation vs argon2_ref C reference output. expect_exit: 0 Reference tag generated 2026-05-17 with libargon2-1 (20190702): /tmp/argon2id_ref_harness password somesalt 8 2 1 32 -> fdb4ddb6d5887131b66f0b2a3740c077dd05b755845861f6b5a1dde8b1071646 Closes the verdict gap from NOT_YET_EVALUATED to OK if PASSES; surfaces the first mismatching byte index + 100 if FAILS so the bisect path stays open. Per cardinal feedback-honest-perf-verdict-no-aspirational-claims: a from-scratch Argon2id implementation matching reference output byte-exact on the first run is rare. Expect to bisect. license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls_x86_64.nx nx_blake2b.nx nx_argon2_block.nx nx_argon2id.nx nx_argon2id_xvalidate_test.nx

imports: nx_syscalls_x86_64.nxnx_blake2b.nxnx_argon2_block.nxnx_argon2id.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main make_ctx write_expected nx_argon2id_hash _ar2_h0 _ar2_write_le32 nx_blake2b_hash nx_blake2b_init _b2b_iv nx_blake2b_update _b2b_compress _b2b_load_u64_le _b2b_iv ↻ _b2b_mix _b2b_sigma nx_blake2b_final _b2b_compress ↻ _b2b_store_u64_le _b2b_shr64 _b2b_shr64 ↻ _ar2_block_at nx_blake2b_long _b2bl_write_le32 nx_blake2b_hash ↻ _b2bl_copy _ar2_gen_address_block _ar2_write_le64 nx_argon2_g _a2b_load_u64_le _a2b_p _a2b_gb _a2b_rotr64 _a2b_store_u64_le _a2b_shr64 _ar2_load_u64_le _ar2_map_index _ar2_lshr32 nx_argon2_g ↻ _ar2_block_xor_into _ar2_block_copy

structs

none

consts

none

functions

25func make_ctx(m_kib_cap: i64) -> *NxArgon2idCtx
called by 1: main
49func write_expected(out: *u8) -> i64
called by 1: main
61func main() -> i64