RESIDUAL: evidence-bound controls for AI software agents | Manifund