Grant·oujE6VM6b_·Record·Profile

Advanced Research and Invention Agency (ARIA) record

Verdictunverifiable85%

3 checks · 1 src · 6/29/2026

1 → unverifiable; stale (excluded): 1 → confirmed, 1 → partial

Our claim

entire record

Name: ARIA TA1.1: True Categorical Programming for Composable Systems
Currency: GBP
Date: January 2024
Source: https://www.aria.org.uk/programme-safeguarded-ai/
Notes: [Safeguarded AI TA1.1] True Categorical Programming for Composable Systems. Lead(s): Jade Master, Zans Mihejevs, Andre Videla, Dylan Braithwaite. Institutions: GLAIVE. Status: closed.

Source evidence

1 src · 3 checks

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

confirmed95%deterministic-row-match · 6/29/2026

Grantee: GLAIVE
Focus Area: TA1.1
Name: True Categorical Programming for Composable Systems
Description: GLAIVE
Status: closed

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

unverifiable85%Haiku 4.5 · 6/29/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. The claim is about 'ARIA TA1.1: True Categorical Programming for Composable Systems', which is a different technical area/project. Per QUA-648, programmes and projects within an organization count as MISMATCHES from the parent organization itself.

Case № oujE6VM6b_Filed 6/29/2026Confidence 85%