Division·Cf0dXNt8tu·Record

TA1.2 + TA1.3 — Platform (Backend + HCI)

Verdictunverifiable85%

1 check · 4/29/2026

1 → unverifiable

Our claim

entire record

Parent Org: Advanced Research and Invention Agency (ARIA)
Name: TA1.2 + TA1.3 — Platform (Backend + HCI)
Division Type: program-area
Status: active
Start Date: 2024
Source: https://www.aria.org.uk/programme-safeguarded-ai/
Notes: GBP 14.2M across 8 projects. TA1.2 (backend): proof checking, automated reasoning, GPU optimization. TA1.3 (human-computer interface): collaborative modeling, type-theoretic environments.

Source evidence

1 src · 1 check

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

unverifiable85%Haiku 4.5 · 4/27/2026

NoteThe source confirms that TA1 exists and is called 'TA1 Scaffolding' with the objective to 'build an extendable, interoperable language and platform to maintain formal world models and specifications, and check proof certificates.' However, the source does not provide any subdivision of TA1 into components like 'TA1.2' and 'TA1.3', nor does it mention a 'Platform (Backend + HCI)' division. The record claims a specific subdivision structure that is not addressed in the source text. The source treats TA1 as a single technical area without breaking it into numbered sub-divisions. This makes the specific claim about 'TA1.2 + TA1.3' unverifiable from the provided source.

Case № Cf0dXNt8tuFiled 4/29/2026Confidence 85%