# Gasket compression and closure travel
# Scope: Nominal gasket compression fraction and remaining thickness.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

freeThickness = 3 mm
installedThickness = 2.4 mm

compression := (freeThickness-installedThickness)/freeThickness

check example compression budget: compression <= 0.25

scenario alternative: freeThickness = 2.4 mm