Division·UO9LvMlj_x·Record·Parent

Division: TA1.1 — Theory (Scaffolding)

Verdictconfirmed95%

1 check · 9/14/2026

1 → confirmed

Our claim

entire record

Parent Org: Advanced Research and Invention Agency (ARIA)
Name: TA1.1 — Theory (Scaffolding)
Division Type: program-area
Status: active
Start Date: April 2024
Source: https://www.aria.org.uk/programme-safeguarded-ai/
Notes: GBP 3.5M Phase 1 across 22 projects. Mathematical representations and formal semantics for world-models, specifications, and proofs. Covers category theory, probabilistic logic, and formal verification foundations. Scope expanded in Nov 2025 pivot.

Source evidence

1 src · 1 check

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

confirmed95%Haiku 4.5 · 9/14/2026

NoteThe record claims the division is 'TA1.1 — Theory (Scaffolding)' with type 'program-area' and status 'active'. The source confirms TA1 exists and is called 'TA1 Scaffolding', describing it as a technical area within the active Safeguarded AI programme. The source consistently refers to TA1 as an active component with ongoing work ('Work on the toolsuite continues as planned'). The naming convention differs slightly (source says 'TA1 Scaffolding' vs. claim says 'TA1.1 — Theory (Scaffolding)'), but this is a minor notational difference that does not contradict the core claim. The record's designation as 'program-area' and 'active' status are both confirmed by the source material.

Case № UO9LvMlj_xFiled 9/14/2026Confidence 95%