Index
Grant: ARIA TA1.1: Doubly Categorical Systems Logic (Advanced Research and Invention Agency (ARIA) → Matteo Capucci (Independent))
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: Doubly Categorical Systems Logic
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Doubly Categorical Systems Logic. Lead(s): Matteo Capucci. Institutions: Independent Researcher. Status: closed.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- 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)
unverifiable95%Haiku 4.5 · 3/25/2026
NoteThe source text provides an overview of the Safeguarded AI programme structure and mentions TA1 as 'Scaffolding' with general objectives, but contains no information about specific TA1.1 projects, individual grant recipients, or Matteo Capucci. The funder identifier 'XqjV4mbMXQ' is not mentioned in the source. While the source confirms TA1 exists within the Safeguarded AI programme, it does not provide the specific grant details needed to verify the record.
Case № Bk3ib0zNHJFiled 4/13/2026Confidence 95%