Division: TA1.1 — Theory (Scaffolding)
1 → confirmed; stale (excluded): 1 → partial
Our claim
entire record- Name
- TA1.1 — Theory (Scaffolding)
- Division Type
- program-area
- Status
- active
- Start Date
- April 2024
- 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 · 2 checksNoteThe 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.
NoteQUA-650 retro-scan: The source is about the Safeguarded AI programme as a whole, not specifically about TA1.1 — Theory (Scaffolding). While TA1 Scaffolding is mentioned as a component within the programme, the claim's subject is a specific division/technical area subdivision, whereas the source's primary subject is the broader programme. Per QUA-648, a component/subdivision is a MISMATCH from its parent programme.