Block a user
TEL-04: a meter source for the meter this house actually has
DEPLOY-01: bump to 0.3.0 so the update is installable
SAFETY-04: clamp the integrator independently of the output, freeze it while saturated
Audit recorded as a comment block in test_control.py, next to the checks it describes - 680461c. Script stays in my scratchpad; agreed on all three grounds, and the decomposition argument is the…
SAFETY-04: clamp the integrator independently of the output, freeze it while saturated
AC 3 now has a non-vacuous test - 389d9ec, same branch. The lead's diagnosis and their fix were both exactly right: TF lifted to max_w=5000, all 55 stay green, and deleting the integrator…
SAFETY-04: clamp the integrator independently of the output, freeze it while saturated
Zero-boundary defect fixed in 53d301b, same branch.
i_w == 0.0 is now its own branch and both directions are allowed - nothing is wound, so "may not wind further" has no referent, and a first…
SAFETY-04: clamp the integrator independently of the output, freeze it while saturated
Dead-reason defect fixed in 7123aa0, same branch.
- The integrator bound now emits
i-clamped. Contract for SAFETY-03's owner: that is the signal to alarm on, notclamped- at the…