Spine IV Selection & limits (P12, P31–P34, P41–P45, MB6a–b, MB7d) → percolation evidence, basin, normative boundary

S4 is a sub-spine grouping in the overview diagram, not a single Lean declaration. Open the detailed graph for this part of the spine.

Open selection limits graph