nx_p256_point_test.nx

nx_p256_point_test.nx -- KAT for P-256 point operations. Verifies: - p256_point_load_b matches FIPS 186-5 §D.2.4 constant b - p256_point_load_g produces a G that satisfies y^2 = x^3 - 3x + b - infinity is on-curve by convention - set_affine + to_affine round-trips coordinates - point_double(infinity) = infinity - point_double(G) is on curve, != G, != infinity - point_double then point_double produces 4G also on curve - point_eq self-equality + infinity vs finite - aliasing (out == in_pt) in point_double - perturbed point (G with x flipped) fails on_curve expect_exit: 0 license_tier: ORIGINAL