# Extension-spring force
# Scope: Linear extension spring with supplied initial tension and rate.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

rate = 2 N/mm
extension = 10 mm
initialTension = 5 N

force := initialTension+rate*extension [N]

check force budget: force <= 40 N

scenario alternative: rate = 1.6 N/mm