Download Latest Version quint-code-4.1.1-darwin-arm64.tar.gz (3.5 MB)
Email in envelope

Get an email when there's a new version of Quint Code

Home / 3.2.0
Name Modified Size InfoDownloads / Week
Parent folder
README.md 2025-12-15 1.1 kB
0
Release_ 3.2.0 source code.tar.gz 2025-12-15 174.7 kB
0
Release_ 3.2.0 source code.zip 2025-12-15 243.4 kB
0
Totals: 3 Items   419.1 kB 0

Added: Process Hardening & Flexibility

Strict Phase Gating (FPF Integrity)

  • Hard Block in /q1-hypothesize: Explicitly forbids generating new hypotheses if the cycle has passed Deduction. This prevents the "Helpfulness Bias" vulnerability where AI assistants might break process integrity to be "nice".
  • Conditional Logic in /q2-check: The cycle phase now only advances to DEDUCTION_COMPLETE when all active L0 hypotheses are resolved. If any remain unchecked, the door stays open for extensions.

New Command: /q1-extend

  • Legitimate Extension Path: A dedicated command to add a missed hypothesis during the ABDUCTION_COMPLETE phase.
  • Safety Rails: Strictly blocked once DEDUCTION_COMPLETE is reached, ensuring evidence integrity (WLNK validity) during testing.

Changed

  • Updated /q-status: State machine visualization now includes the (q1-extend) loop.
  • Refined /q3-test & /q3-research: Reinforced checks to ensure testing only happens after deduction is fully complete.
Source: README.md, updated 2025-12-15