# Weibull life and reliability
# Scope: Two-parameter Weibull survival with supplied shape/scale; no fitting.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

time = 1000 h
scale = 5000 h
shape = 2

survival := exp(-(time/scale)^shape)

check survival target: survival >= 0.95

scenario alternative: time = 800 h