v0.26.0 — Counterfactual Interface Quotient

CQ-SAT/GCC v0.26.0 introduces the Counterfactual Interface Quotient (CIQ), an exact bounded experiment for small firmware controllers with repeated input phases.

CIQ preserves constant phases as cached powered state relations instead of expanding every frame, suppresses semantically irrelevant repairs, and reconstructs concrete avoiding traces on demand. An independent verifier re-enumerates causal queries with fresh CDCL, validates witnesses, checks source identity and coverage, and rejects altered or incomplete reports.

On the bounded infusion-pump door-interlock regression, ten trials per horizon produced median end-to-end speedups of 1.42x, 2.38x, 4.15x, and 7.00x at horizons 8, 16, 32, and 64. Every query agreed with CDCL and every recovered witness validated.

This is a robust result for one narrow product-shaped controller class. It is not a claim of general superiority, production readiness, or established scholarly novelty.

Full details: https://github.com/kabudu/continuation-quotient-sat/blob/v0.26.0/docs/COUNTERFACTUAL_INTERFACE_QUOTIENT.md