# Preloaded-joint separation
# Scope: Linear bolt/member stiffness partition; no gasket nonlinearities.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

preload = 5000 N
external = 3000 N
boltFraction = 0.2

boltLoad := preload+boltFraction*external [N]
clampReserve := preload-(1-boltFraction)*external [N]

check joint stays clamped: clampReserve > 0 N

scenario alternative: preload = 4000 N