Grant JtOpNlW2q7
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
Our claim
entire record- Name
- ARIA TA1.1: Doubly Categorical Systems Logic
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] Doubly Categorical Systems Logic. Lead(s): Matteo Capucci. Institutions: Independent Researcher. Status: closed.
Source evidence
1 src · 3 checks- Grantee
- Matteo Capucci (Independent)
- Focus Area
- TA1.1
- Name
- Doubly Categorical Systems Logic
- Description
- Independent Researcher
- 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, not ARIA itself as the primary subject. Per QUA-648, programmes and sub-initiatives count as MISMATCHES from their parent organization. The claim is about ARIA as the grantor organization, while the source focuses on one of ARIA's programmes.
NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and discusses expanding TA1's scope, it does not provide information about specific TA1 sub-projects, their titles, dates, or individual grantees. The record references 'ARIA TA1.1' as a specific grant with a date of 2024-01 and grantee Matteo Capucci, but the source text does not contain any of these specific details. The funder identifier 'XqjV4mbMXQ' is also not mentioned in the source. Without confirmation of these specific details in the source material, the record cannot be verified.