Skip to content

IINTS-AF SDK v1.5.27

Release date: 2026-07-15

Summary

This patch hardens the independent safety supervisor around formal safety-contract boundary checks.

The failing case came from a property-based test: a requested glucose trend of exactly -1.0 mg/dL/min was reconstructed from floating-point glucose history as -0.9999999999999993, causing the formal low-and-falling insulin inhibition contract to miss the threshold. The supervisor now applies a tiny numeric tolerance for this boundary comparison.

The release also prevents a hard hypo cutoff from being downgraded from EMERGENCY to CRITICAL by a later hypoglycemia classification branch.

Fixed

  • Added a small trend-comparison tolerance to the formal safety contract.
  • Preserved the highest active safety level when the hypo cutoff and hypoglycemia checks both trigger.
  • Added deterministic regression coverage for both cases.

Verified

  • python3 -m pytest tests/core/test_supervisor.py tests/core/test_safety_contract.py tests/core/test_supervisor_property.py -q
  • python3 -m pytest tests/ -q
  • python3 -m mypy src/iints/
  • python3 tools/desktop/smoke_qt_desktop_app.py

Safety

The SDK remains a research and education workbench. It is not a medical device and must not be used for diagnosis, insulin dosing, treatment decisions, or real-time patient care.