Skip to content
Longterm Wiki
All Source Checks
Grant

Grant: ARIA TA1.1: Doubly Categorical Systems Logic (Advanced Research and Invention Agency (ARIA) -> Matteo Capucci (Independent))

confirmed95% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

Evidence — 1 source, 2 checks

confirmed95%deterministic-row-match · 4/3/2026
Found: Matched row: {"grantee":"Matteo Capucci (Independent)","focusArea":"TA1.1","name":"Doubly Categorical Systems Logic","description":"Independent Researcher","status":"closed"}

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable95%Haiku 4.5 · 3/25/2026
Found: The source text discusses the Safeguarded AI programme with Technical Area 1 (TA1) but does not mention any specific grant titled 'ARIA TA1.1: Doubly Categorical Systems Logic' or any grantee named Ma

Note: While 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.

Debug info

Record type: grant

Record ID: JtOpNlW2q7