division
TA1.1 — Theory (Scaffolding)
Metadata
| Source Table | divisions |
| Source ID | UO9LvMlj_x |
| Description | program-area |
| Parent | Advanced Research and Invention Agency (ARIA) |
| Children | — |
| Created | Mar 25, 2026, 4:24 AM |
| Updated | Mar 25, 2026, 4:24 AM |
| Synced | Mar 25, 2026, 4:24 AM |
Record Data
id | UO9LvMlj_x |
slug | — |
parentOrgId | Advanced Research and Invention Agency (ARIA)(organization) |
name | TA1.1 — Theory (Scaffolding) |
divisionType | program-area |
lead | — |
status | active |
startDate | 2024-04 |
endDate | — |
website | — |
source | 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 Check Verdicts
confirmed95% confidence
Last checked: 3/26/2026
The source text explicitly identifies 'TA1 Scaffolding' as one of the three technical areas of the programme. The name matches the record exactly. The type 'program-area' is appropriate given the source describes it as a 'technical area' within the broader programme structure. The status 'active' is confirmed by the source's discussion of ongoing work to expand TA1 and current projects under development. All key fields are supported by the source material.
Debug info
Thing ID: UO9LvMlj_x
Source Table: divisions
Source ID: UO9LvMlj_x