Proving Non-Generation: Cryptographic Completeness Guarantees for AI Content Moderation Logs — A Case Study and Protocol Design Inspired by the Grok Incident | Synapse