nx_rsa_pkcs1_v1_5_sha256_4096_test.nx

nx_rsa_pkcs1_v1_5_sha256_4096_test.nx -- compile + sealed-enum gate. What this test DOES assert: - Module compiles + composes rsa4096_mod_exp + u4096_load_be/store_be - Verdict-validity predicate matches the declared sealed enum - Constants have the expected numeric values What this test DOES NOT assert: - End-to-end RSA-4096 sign/verify round-trip -- requires either real 4096-bit prime generation (substantial side-arc) or a known NIST CAVS RSA-4096 KAT vector (queued). The load-bearing end-to-end exercise is the L11 step 2d re-run with this primitive wired into the cert-chain verifier. expect_exit: 0