Leanstral 1.5: Proof Abundance for All — The AI Wire