Grant: ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment (Advanced Research and Invention Agency (ARIA) -> University of Michigan)

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

Note: The source confirms the existence of the Safeguarded AI programme and TA1, but does not contain specific information about the individual grant record being verified. The identifiers (XqjV4mbMXQ and CBeGcCyOyw) are not mentioned in the source text, and no specific TA1.3 project is identified. The date (2024-01) and specific project title cannot be verified from this excerpt. This is unverifiable rather than contradicted because the source doesn't deny the grant exists—it simply doesn't provide the specific details needed to confirm the record.