Downloadable computer software for verifying regulatory compliance and operational safety of artificial intelligence and automated systems.” ✔ “Downloadable computer software for generating cryptographic audit logs, integrity receipts, and tamper-evident execution records.” ✔ “Downloadable computer security software for preventing unauthorized automated actions.” and instructional user guides sold as a unit