# Mass-spring resonance
# Scope: Single spring-mass natural frequency; linear small motion.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

stiffness = 1000 N/m
mass = 1 kg

frequency := sqrt(stiffness/mass)/(2*pi) [Hz]

check resonance target: frequency >= 4 Hz

scenario alternative: stiffness = 800 N/m