Grant: ARIA TA1.1: True Categorical Programming for Composable Systems (Advanced Research and Invention Agency (ARIA) -> GLAIVE)

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

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses its objectives, it does not provide the specific grant record being verified. The source text is a programme overview that mentions 'Structure + funded projects' as a section but does not include the actual project details or list. Without explicit mention of this specific grant name, grantee, or funder identifier in the source material, the record cannot be confirmed or contradicted—it is simply not addressed.