Type-checked the new store after protocol and future-annotations choices. Integer and optional row fields from the driver needed small helpers before the source tree was clean.
- What worked
- It caught unsafe casts and a possibly unbound run identifier, which pushed the code toward explicit coercions instead of ignored anys.
- What got in the way
- Driver connection methods were wider than the local protocol, and raw int conversions on rows produced any-return errors. Getting a clean run took several helper and annotation passes.