Grant·DwRI3_j8rF·Record

Grant DwRI3_j8rF

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: Philosophical Applied Category Theory
Currency: GBP
Date: June 2024
Source: https://www.aria.org.uk/programme-safeguarded-ai/
Notes: [Safeguarded AI TA1.1] Philosophical Applied Category Theory. Lead(s): David Corfield. Institutions: Independent Researcher. 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: David Corfield (Independent)
Focus Area: TA1.1
Name: Philosophical Applied Category Theory
Description: Independent Researcher
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, not about ARIA itself as the grantor organization. Per QUA-648, programmes/projects within an organization count as MISMATCHES from the parent organization. The claim is about a grant from ARIA (the organization), while the source discusses a specific ARIA programme.

unverifiable85%Haiku 4.5 · 3/25/2026

NoteWhile the source confirms the existence of TA1 within the Safeguarded AI programme, it does not provide information about specific TA1.1 grants, their titles, dates, or individual grantees like David Corfield. The source text appears to be a programme overview rather than a detailed grants list. The funder identifier 'XqjV4mbMXQ' is also not mentioned in the source. Without specific information about this grant in the source material, the record cannot be verified.

Case № DwRI3_j8rFFiled 4/29/2026Confidence 95%