Grant: ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI (Advanced Research and Invention Agency (ARIA) -> Topos Institute)

Note: [deterministic-row-match] Partial deterministic match: name matched but grantee did not (48 rows)

Note: While the source confirms the existence of the Safeguarded AI programme and TA1 as a technical area, it does not contain the specific grant name, the date (2024-01), or the encoded identifiers (XqjV4mbMXQ and K40O5WixNQ) mentioned in the record. The source material appears to be a programme overview page rather than a detailed grants database, so the absence of this specific grant information does not contradict the record—it simply cannot be verified from this source.