Grant·2D4SjNTcy3·Record

Grant 2D4SjNTcy3

Verdictpartial95%

3 checks · 1 src · 4/29/2026

⚠ Headline partial — 1 high-relevance source partial, 1 high-relevance source unverifiable, 1 high-relevance source confirmed.

1 → partial; dissent: 1 → unverifiable, 1 → confirmed

Our claim

entire record

Name: ARIA TA1.1: Monoidal Coalgebraic Metrics
Currency: GBP
Date: June 2024
Source: https://www.aria.org.uk/programme-safeguarded-ai/
Notes: [Safeguarded AI TA1.1] Monoidal Coalgebraic Metrics. Lead(s): Filippo Bonchi. Institutions: University of Pisa. Status: active.

Source evidence

1 src · 3 checks

www.aria.org.uk/programme-safeguarded-ai/ARIA resource

confirmed95%deterministic-row-match · 4/27/2026

Grantee: University of Pisa
Focus Area: TA1.1
Name: Monoidal Coalgebraic Metrics
Description: University of Pisa
Status: active

NoteDeterministic match: grantee, name matched in source snapshot (48 rows)

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. The claim is about ARIA itself as the grantor of a grant. Per QUA-648, programmes/initiatives within an organization count as MISMATCHES from the parent organization. The source does not address ARIA as a whole entity or its general grant-making, only this one specific programme.

unverifiable95%Haiku 4.5 · 3/25/2026

NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and discusses its general objectives (scaffolding, formal world models, proof certificates), it does not provide any information about specific funded projects under TA1, including the grant 'ARIA TA1.1: Monoidal Coalgebraic Metrics', its date (2024-06), grantee (University of Pisa), or the funder identifier (XqjV4mbMXQ). The source text appears to be truncated and does not include a detailed list of funded projects.

Case № 2D4SjNTcy3Filed 4/29/2026Confidence 95%