nx_gatelib.nx

nx_gatelib.nx -- the shared substrate under the gate-coverage scanners. ===== WHY THIS EXISTS ============================================ nx_gatescan (does anything test this organ?) and nx_gatequality (how much of it does that test reach?) are two questions over the same tree, and they were written as two files that duplicated NINE functions between them: the directory walk, file read, path join, the .nx and gate-name predicates, the ends-with helper, the string length helper, and the gate-to-organ attribution rule. ★I WROTE BOTH COPIES, IN ONE SESSION, WHILE BUILDING TOOLS TO FIND EXACTLY THIS CLASS OF PROBLEM. The tree walk was already named as debt twice -- filed rather than fixed, on the reasoning that extracting it would touch other consumers -- and then the very next organ added a fourth copy. Naming a debt is not paying it, and a filed debt keeps accruing. ===== THE ATTRIBUTION RULE IS THE REAL REASON TO SHARE ========= The mechanical helpers are cheap to duplicate; the attribution rule is not. It decides whether a gate named <organ>_<aspect>_test.nx counts as covering <organ>, and getting it wrong is how the first gatescan run reported 1019 ungated organs when the true figure was 963. With two copies, one can be corrected and the other silently left behind -- and the two tools would then disagree about which organs are gated while both looked healthy. ★A RULE THAT TWO TOOLS MUST AGREE ON BELONGS IN ONE PLACE, and that is a stronger reason than the line count. ===== WHAT IS NOT SHARED ========================================= The gates of both consumers keep their own INDEPENDENT re-derivations of these rules. That is deliberate and is not duplication in the sense that matters: a gate calling the code under test can only confirm it is self-consistent, whereas a second implementation agreeing is evidence. The same reasoning kept nx_arrhenius and nx_stability as separate Arrhenius implementations -- and that decision is what caught the dead primitive, so it has already paid for itself once. license_tier: ORIGINAL