quorum v0.1.3

Timed readings: rules can now say what happened before what.

reading dead_head "pressure went high within 10 s of a start" when pressure_high within 10s after motor_started
reading ran_hot   "the bearing was hot in the last 5 minutes"   when bearing_hot within last 5m
reading repeated  "the overload relay tripped 3 times in an hour" when overload_trip 3 times in 1h

• Each timed reading is one more yes/no reading, so every rule is still checked in every combination of readings. The board works out when to set it, using a few timestamps per reading.
• When a timed reading is set is checked by tests against a second, whole-history implementation: 360,000 timer steps with no disagreement, and two deliberately planted bugs were each caught. On a Raspberry Pi Pico 2 and an Arduino Uno R4, each with its own clock, 8 of 8 timed checks passed on each.
• Rulebooks without timed readings compile exactly as before: identical images, headers, certificates and fingerprints for all 67 rulebooks in the repository.
• Limits: the three forms cannot be nested or chained, a reading shorter than the board's step (about 1 ms) can be missed. The studio's bench test refuses rulebooks with timed readings; the printed commissioning sheet describes each one in words.
• See casebook/LANGUAGE.md, "Timed readings", and the example casebook/fixtures/timed/timed.cb.

Boards running an older runtime refuse a timed image rather than run it wrongly; quorum studio writes the new runtime with the image.

Downloads

• Windows: quorum-studio-windows-setup.exe. It is not code-signed, so SmartScreen may warn.
• Linux: quorum-studio-linux-amd64.tar.gz.
• macOS: quorum-studio-macos.zip. It is not notarized: the first time, Control-click the program and choose Open.

Verify the downloads against SHA256SUMS.

Licence: PolyForm Noncommercial 1.0.0. Commercial licences from BioDream LLC (firstmind@biodream.ai). Not certified for safety-critical use.