quorum v0.1.2

Faster, more independently checked, and ready for commissioning.

• Checks are about 30 times faster and use every core. The output is byte-identical: a 30-reading rulebook takes about 2 minutes on an 8-core PC.
• A second implementation of the rulebook language (tools/refcheck.py), written from the documentation, is compared with the compiler in every situation. On its first run it found a compiler bug, now fixed. No rulebook on a board was affected.
• Commissioning sheet. After a passing check, quorum studio prints a loop-check sheet for the real machine: what each reading must cause, with room to sign it off. Test the board drives a board over Modbus through every line of the sheet; on a Pico 2, 41 of 41 states matched.
• One-click repair. When a rulebook is refused because nothing can argue with it, the studio adds a failed-sensor check for each reading, each marked for an engineer to confirm.
• A fair drafting test. On four regulations no model had seen, with the answer key written down first, AI drafts got 116 of 135 checks (86%). The results and every draft are in casebook/fixtures/manual/eval/.
• Building from a fresh checkout needs only Docker, git and bash.

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.