0.0.19
Fixes
- Library integer slots compose with optional numbers. A declared
number | nullor optional-number slot projects asoptional<i64>and proves only its present numeric values across records, tagged-message payloads, and helper parameters/returns. When two sidecar paths collapse to the same structurally interned record field, the build now refuses with both paths instead of silently overwriting one proof obligation.