Grant oujE6VM6b_
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
Our claim
entire record- Name
- ARIA TA1.1: True Categorical Programming for Composable Systems
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] True Categorical Programming for Composable Systems. Lead(s): Jade Master, Zans Mihejevs, Andre Videla, Dylan Braithwaite. Institutions: GLAIVE. Status: closed.
Source evidence
1 src · 3 checks- Grantee
- GLAIVE
- Focus Area
- TA1.1
- Name
- True Categorical Programming for Composable Systems
- Description
- GLAIVE
- Status
- closed
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
NoteQUA-650 retro-scan: The source is about the 'Safeguarded AI' programme, which is a specific programme within ARIA. The claim is about 'ARIA TA1.1: True Categorical Programming for Composable Systems', which is a different technical area/project. Per QUA-648, programmes and projects within an organization count as MISMATCHES from the parent organization itself.
NoteWhile 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.