A finite potential certificate

This is a finite difference-inequality witness, not a new general graph-theoretic principle. It supplements the cycle polytope by explicit endpoint-dependent transient costs. For a physical directional bound $b(n)t$, the sufficient endpoint check is

A constant potential would instead certify every edge in that direction directly. Neither potential feasibility nor a cycle average supplies the missing physical routes.