A principle whose statement is written as an H2 heading (## The rule) is projected by projectField's heading leg before the labelled-paragraph leg, so the whole section travels to a reading, its Why and Bounds included, under a manifest naming the field The rule; the lint judges only the labelled paragraph, so no gate refuses the shape and the floor's statement-alone promise breaks on a file shape.

A principle whose statement is written as an H2 heading (## The rule) is projected by projectField's heading leg before the labelled-paragraph leg, so the whole section travels to a reading, its Why and Bounds included, under a manifest naming the field The rule; the lint judges only the labelled paragraph, so no gate refuses the shape and the floor's statement-alone promise breaks on a file shape.

Grounds

• pursued: the LEAKHEAD probe (TestHeadingShapedStatementNeverTravels) carries no Why or Bounds at any cold position and TestHeadingShapedPrincipleHasNoStatement reports the typed shape; a bundle holding LEAKHEAD-WHY, or a typed heading-shaped principle passing record-lint, would show it wrong