Grant·hVGwZX8_Ke·Record·Profile

Grant: ARIA TA1.1: True Categorical Programming for Composable Systems (Advanced Research and Invention Agency (ARIA) → GLAIVE)

Verdictunverifiable85%

3 checks · 1 src · 9/21/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: June 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 · 9/21/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 · 9/14/2026

NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.

partial95%qua650-retro-scan-subject-identity · 4/21/2026

NoteQUA-650 retro-scan: The claim is about a specific ARIA grant (TA1.1: True Categorical Programming for Composable Systems), but the source is about the broader Safeguarded AI programme within ARIA. Per QUA-648, programmes and specific grants within an organization count as different entities. The source does not focus on the TA1.1 grant or GLAIVE project specifically.

Case № hVGwZX8_KeFiled 9/21/2026Confidence 85%