# Constraint-feasibility explorer
# Scope: Intersection of two scalar bound intervals; no general constraint solver.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

lowerA = 1 mm
upperA = 5 mm
lowerB = 3 mm
upperB = 8 mm

lower := max(lowerA,lowerB) [mm]
upper := min(upperA,upperB) [mm]
width := upper-lower [mm]

check nonempty intersection: width >= 0 mm

scenario alternative: lowerB = 4 mm