Exact unstable-horizon, polynomial, and neural audits