quorum v0.1.5

Timed readings: a start-up bypass and an on-delay.

reading starting "the first 30 s after a start"           when motor_started within first 30s
reading door_off "the guard switch has read open for 2 s" when door_open for 2s

• X within first T is set during the first T after X became set, while X stays set. The usual use is a start-up bypass: excuse start_transient "..." needs starting with start_transient undercuts cavitation keeps low suction from raising an alarm for the first 30 s of each start, and no longer.
• X for T is an on-delay for any reading: a switch must read open for 2 s before it counts, so a bounce does not. Before, only a sensor-channel threshold could be held.
• Both chain with the other timed forms, are covered by the bench script and the test clock, and are refused at load by older firmware rather than run wrongly.

Checked: the board's timer code against a second, whole-history implementation over random histories with all five forms (two deliberately planted bugs were each caught), the bench script against the device code on the host, the second implementation of the language on all 256 states of the new example, and CI 15 of 15. On a Raspberry Pi Pico 2 the new example's bench test passed 17 of 17 on the test clock and 17 of 17 in real time; the earlier timed examples still pass on the new firmware. The Uno R4 has not run these forms yet.

Example: casebook/fixtures/timed/startup.cb. Definitions: casebook/LANGUAGE.md, "Timed readings".

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.