| T1 |
Integer and bitstring type system |
Frozen |
| T2 |
Numerical assurance chain (REAL = ℝ, Float64 representation, Gappa roundoff, Engineering Error Report) |
Frozen |
| T2.2 |
Float64 representation assurance |
Frozen |
| T2.4 |
Per-step roundoff bound (Gappa) |
Frozen |
| T2.5 |
Lipschitz bound and trajectory bound |
Frozen |
| T2.6 |
Physical input bound and step error budget |
Frozen |
| T2.7/T2.8 |
Roundoff-minimisation rewrite (experimental) |
Frozen |
| T2.9 |
Temporal discretisation and jitter analysis |
Frozen |
| T2.10 |
Engineering Error Report |
Frozen |
| T2.11 |
External Real Contract and External Implementation Warrant |
Frozen |
| T3 |
PARAMETER block |
Frozen |
| T3b |
PARAMETER block (refinement) |
Frozen |
| T4 |
SSFC v1 (initial implementation) |
Frozen |
| T4.0 |
SSFC semantic freeze |
Frozen |
| T4.5 |
SSFC structural claims (C-SAF, C-INT, C-DEAD, C-GUARD-SAT, C-DET, C-DATA-DEAD, C-REACH, C-HOME) |
Frozen |
| T5 |
Parallel regions (PARALLEL / REGION / JOIN) |
Frozen |
| T6 |
SSFC composition (VAR instance + WIRING block) |
Frozen |
| T7 |
SSFC advanced assurance (C-NO-STUCK-MARKING, C-REVERSI, C-INV, C-WITHIN, C-ASSUME, C-LIVE, C-NO-STUCK-Z3, Engineering Assurance Report) |
Frozen |
| T7.2 |
C-REVERSI — reversibility to initial marking |
Frozen |
| T7.6 |
C-LIVE — structural liveness (LIVENESS declaration) |
Frozen |
| T7.7 |
Engineering Assurance Report (Markdown) |
Frozen |
| T7.8 |
SSFC Assurance Policy Gate ([ssfc_assurance] TOML section) |
Frozen |
| T8 |
(not used publicly) |
— |
| CU |
Component Unification — equal-rank FB/SSFC composition |
Frozen |
| CU-H |
Component Unification hardening (CLI --project for SSFC) |
Frozen |
| A1 |
Write Ownership analysis (analyze_ownership, OwnershipReport) |
Frozen |
| A2 |
Recovery and Progress analysis (analyze_recovery, RecoveryClaim) |
Frozen |
| A2-H |
Recovery and Progress analysis soundness hardening |
Frozen |
| AP-H |
Assurance Policy hardening (CLI) |
Frozen |
| D1–D6 |
Documentation suite v1 (2026-08-14) |
Frozen |
| D7 |
Documentation integration: CU/A1/A2 across all four Diátaxis quadrants (2026-08-17) |
Frozen |
| G1 |
Acceptance test suite v1 |
Frozen |
| G2 |
Semantic implementation resolution |
Frozen |
| P2 |
SSFC validation pass |
Frozen |
| P05 |
RULE / ConstructiveEvidence decision |
Frozen |
| LAC |
Language Architecture Challenge — POU kind vs. behavior model (2026-08-18) |
Frozen |