nx_isa_armv7a_gate.nx

nx_isa_armv7a_gate.nx -- THE ARMv7-A CONFORMANCE RULER. WHY IT EXISTS: nx_emu_armv7a.nx is one of ten sovereign ISA emulators in this estate and, until 2026-09-03, it was one of the EIGHT that had never been measured by anything. nx_isa_conform_gate listed armv7a under "UNMEASURED: armv7a cortexm loongarch64 s390x sparc64 -- each owes a manual-derived KAT block here". This organ is that block, kept as its OWN gate so that armv7a can be built, promoted, run and ratcheted without touching a file five other lanes are editing at the same time. THE LAW THIS ORGAN OBEYS: expectations come FROM THE ARM ARCHITECTURE REFERENCE MANUAL (ARMv7-A/R, sections A5.1 data processing, A5.2 load/store, A8.3 condition codes, A8.8 instruction details), never from reading the emulator and writing down what it happens to do. Reading the decoder tells you which classes are IMPLEMENTED; it must never tell you what the answer is, or the ruler is calibrated to the subject it is meant to judge. FIVE OUTCOMES, NEVER ONE. Collapsing them into "FAIL" makes a gap unactionable: an unimplemented class and a miscomputed value need OPPOSITE fixes, and a program that walked off its image is neither. PASS ran and matched the manual-derived expectation WRONG-ANSWER ran to completion and computed the wrong value UNSUPPORTED hit an instruction class the emulator does not decode RAN-OFF-END pc left the image with no exit syscall FAULT bad pc, out-of-range access, or the step budget The sentinels are read out of nx_emu_armv7a.nx's own constant table (A7_UNSUPPORTED -1, A7_RANOFF -2, A7_FAULT -3) and an EABI exit status is masked to 0..255, so no sentinel can collide with an answer. EVERY KAT IS BUILT SO A WRONG IMPLEMENTATION GIVES A DIFFERENT NUMBER, and the exit-status mask is the trap that makes that hard: & 0xff hides every difference that lives above bit 7. So the byte-load KAT shifts the loaded value down before exiting (a word load and a byte load have the SAME low byte and are otherwise indistinguishable), and the rotated-immediate KAT does the same. WHAT THIS RUN CAUSED TO BE BUILT: the first draft of these KATs