ActualRibbonHistory.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Construct the history required by the uniform passage theorem from an actual global first-front event and physical prefix containment.