nx_evprofile_lib.nx

nx_evprofile_lib.nx -- THE ONE VOCABULARY AND THE ONE READER for the /compare EVIDENCE PROFILE. WHY THIS EXISTS (measured 2026-08-31). nx_swcompare_evidence ALREADY COMPUTES the whole gap profile of every domain and THROWS MOST OF IT AWAY: ev_scan classifies four row states (GROUNDED / UNGROUNDED / GAP-WATCH / LANDED) and prints the LANDED label WITHOUT COUNTING IT; ev_gates extracts pass=N/M and folds GREEN without ever looking at M. The stamp it materialises carries ten numbers, none of which name a REMEDY, so every consumer of that stamp can say a board is RED and none can say WHY -- and the verdict line itself is a bare disjunction (an ungrounded claim, dead gate, or neg-control leak) that never names its failing conjunct, so the reader always guesses the alarming third. A COUNT WITHOUT A WORKLIST IS NOT ACTIONABLE, AND A WORKLIST WITHOUT ITS REASON IS STILL ONE STEP SHORT. WHY A LIB AND NOT A PLANE. The obvious shape was producer -> sovereign plane -> PM board, and it was REJECTED on this estate's own law: WHEN TWO ORGANS MUST AGREE, MAKE DISAGREEMENT IMPOSSIBLE BY CONSTRUCTION RATHER THAN BY DISCIPLINE. A plane is a SECOND artifact of the same measurement, i.e. a producer/consumer WIRE, and every wire on this estate has eventually drifted (rm_field line-anchoring, the roi- ordinals, overall_permil= versus permil). There is exactly ONE evidence artifact -- the stamp the referee already writes -- and this lib is the ONLY thing that spells its keys or reads them. The referee IMPORTS these same key literals to WRITE them, so writer and reader cannot disagree about the wire: there is only one of it. It also avoids importing the 194 KB segment store into a referee that runs 96 times a beat, and avoids taking a plane lock on a box already under I/O pressure. ABSTAIN, NEVER ACQUIT. A stamp written before this change carries none of the profile keys. Every accessor returns -1 for an absent key and evp_parse sets EVP_F_V to 1, so a v1 stamp reads as UNKNOWN rather than as a domain with zero gaps. A ZERO-FILLED PROFILE IS A FABRICATED CONSTANT WEARING THE SHAPE OF A MEASUREMENT, and it fails in the flattering direction, which is the direction nobody audits. license_tier: ORIGINAL No hw writes (Rule 26).