Index
Grant: ARIA TA1.1: True Categorical Programming for Composable Systems (Advanced Research and Invention Agency (ARIA) → GLAIVE)
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
Our claim
entire record- Name
- ARIA TA1.1: True Categorical Programming for Composable Systems
- Currency
- GBP
- Date
- June 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 · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- 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)
unverifiable95%Haiku 4.5 · 3/25/2026
NoteWhile the source confirms the existence of TA1 within the Safeguarded AI programme and mentions expanding TA1's scope, it does not contain any information about the specific grant record being verified. The grant name, grantee organization (GLAIVE), the funder identifier (XqjV4mbMXQ), or the date (2024-06) are not mentioned in the provided text. The source text appears to be a programme overview rather than a detailed grants list, so the specific grant details cannot be confirmed or contradicted.
Case № hVGwZX8_KeFiled 4/13/2026Confidence 95%