TA1.1 — Theory (Scaffolding)
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.
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 · 1 checkNoteThe 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.