Index
Grant: ARIA TA1.1: Doubly Categorical Systems Logic (Advanced Research and Invention Agency (ARIA) → Matteo Capucci (Independent))
Verdictunverifiable85%
3 checks · 1 src · 5/18/20261 → unverifiable; stale (excluded): 1 → confirmed, 1 → partial
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 · 3 checksconfirmed95%deterministic-row-match · 5/18/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)
unverifiable85%Haiku 4.5 · 5/18/2026
NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.
partial95%qua650-retro-scan-subject-identity · 4/21/2026
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 initiatives within an organization count as MISMATCHES from the parent organization. The claim is about ARIA as the grantor entity, while the source focuses on one of ARIA's programmes.
Case № Bk3ib0zNHJFiled 5/18/2026Confidence 85%