Brittany SamuelsEventsAI Safety Thursdays - Formal Containment: Proof-Carrying Code and AI Safety 2025-06-26