nx_lane_attest.nx

nx_lane_attest.nx -- LANE-CLOSURE ATTESTOR (operator 2026-07-20: "this needs evidence and a feedback loop keeping it honest"). Replaces the trusting substring-count lane gate: a seat-lane closure is attested ONLY if the evidence ledger is COMPLETE (every manifest episode has a row -- silent drops refused), FRESH (every row ts within maxage of now -- a stale ledger from an old run can NEVER pass), and OVER THRESHOLD (>= min property-verified greens). All parameters are config DATA. exit 0 = attested; 1 = refused (any tooth); 2 = config. argv: <attestconf> conf keys: ledger= manifest= min= maxage= KNOWN LIMIT (filed, not hidden): greens are still only as good as the ledger row -- the loop reverts fixes post-judge, so post-hoc re-judging needs the patch-persistence rung (debt filed). license_tier: ORIGINAL No hw writes (Rule 26).