A Framework for Cryptographic Verifiability of End-to-End AI Pipelines