Program Insert Credit Afteruse Receipt Mechanics

Program insert credit afteruse is a state-pressure mechanic: a prior printed credit becomes dangerous only when a future route tries to consume it as authority. The executable proof must preserve source row, contributor/absence, print-run/date context, scope, requested afteruse, harmed claimant/absence, proof bridge/absence, after-state, future route effect, and counter deltas.

It must not trigger from fixed turn/day, raw credit count, or dashboard/lens health. The false-clean default is allowed only as a visible failure state with durable mutation and at least three named counter deltas.