TA1.1 — Theory (Scaffolding)
1 → partial; dissent: 1 → confirmed
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 'Division: TA1.1 — Theory (Scaffolding)' 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 refers to it as 'TA1 Scaffolding' rather than 'TA1.1 — Theory (Scaffolding)', but this is a naming/notation difference rather than a contradiction — the source confirms the existence and active status of this technical area. The record's more specific designation (TA1.1, 'Theory') is not contradicted by the source, which uses a simpler naming convention. The status 'active' is confirmed by the ongoing discussion of TA1 work and recent programme updates (February 2026) that reference TA1 expansion.
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.