Division·UO9LvMlj_x·Record

TA1.1 — Theory (Scaffolding)

Verdictconfirmed95%

1 check · 4/29/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 · 4/24/2026

NoteThe record claims 'TA1.1 — Theory (Scaffolding)' is a division with type 'program-area' and status 'active'. The source confirms TA1 (Scaffolding) exists as a technical area within the active Safeguarded AI programme. The source uses 'TA1 Scaffolding' rather than 'TA1.1 — Theory (Scaffolding)', but this is a minor naming variation (the source may use a simplified label while the record uses a more formal hierarchical identifier). The core facts are confirmed: it is a scaffolding-focused technical area, it is part of an active programme, and it functions as a program area. The status is confirmed as active given the programme's ongoing operations and recent updates (February 2026 update mentions TA1 expansion).

Case № UO9LvMlj_xFiled 4/29/2026Confidence 95%