Hacker NewsLeo de Moura Formal Verification for AI Code via LeanLeo de Moura Blog·high signalXBlueskyLinkedInCopy linkLean creator argues formal verification is the only scalable answer to AI code that half fails security tests. 249 pts.SourceSource pageLeo de Moura Blog↳ Follow the threadPolicy dependency / Stack layerFour advisories land on Databricks' Omnigent meta-harness, one critical, all reported by an autonomous security agentGitHub Security AdvisoriesPolicy dependency / Stack layerDRACO Redistributes One Rubric Score Across Agent Steps and Beats Ground-Truth-Reward GRPO by 5.3 Points on AppWorldarXiv 2609.04094Policy dependency / Stack layerDistilling 1,000 ML repos into 5,000 verified skills lifted an agent 134% on MLE-bench with the model and budget held fixedarXiv 2609.02749Stack layer / Threat patternFable 5.1 Agent Swarms Generate Walkable 3D Worlds as Code, Verified Against Photos With PlaywrightGitHub (PhiloLabs/fable51-worlds)Policy dependency / Stack layerAgentic Settlement Protocol Adds Escrow and Three Deadlines Because x402's Atomic Payment Fails Real CommercearXiv 2609.02208Policy dependency / Stack layerCROSS-CATEGORY: Four Unrelated Vendors Shipped Agent Authorization Control Planes Inside 48 HoursJetStream (corroborated by Genesys Xperience 2026 coverage, aiagentstore.ai and Hacker News Show HN)Policy dependency / Stack layerAnthropic ships a commerce-agent blueprint with Visa, Mastercard, Shopify and Square, claiming carts 35% largerAnthropicStack layer / Threat patternThe Post-Training Method, Not the Data, Decides How Refusal Is Computed Inside a ModelarXiv 2609.03887