fix(decayvolume): derive helium from the SBT surfaces instead of a ha…#68

Open

matclim wants to merge 5 commits into

ShipSoft:mainfrom

matclim:sbt_fix

Commits on Jul 13, 2026

fix(decayvolume): derive helium from the SBT surfaces instead of a hand-written inset
Matei Climescu
committed
fix(decayvolume): reject sensor_clearance_mm that inverts the container
Matei Climescu
committed

Commits on Jul 14, 2026

fix(decayvolume): single contract for helium_clearance_mm; drop dead code
Matei Climescu
committed

Commits on Jul 16, 2026

docs(decayvolume): rigorous SAT bound, planarity guard, README refresh
Matei Climescu
committed
docs(decayvolume): clarify sbt/ is a name prefix, not a grouping volume
Matei Climescu
committed