convention
Spine III Correction & successors (P23–P29, P13, MB4–5, MB7c, MB8, MB10) → CCI, Risk, SuccessorSafe, TrueHarm
S3 is a sub-spine grouping in the overview diagram, not a single Lean declaration. Open the detailed graph for this part of the spine.