All pull requests

Pull requests

• QSL-540: E12 state constraints and symmetry reduction on safety; settle Reduced; concretise

  #1054·kreneskyp opened Oct 19, 2026Contributor·

  ·

• QSL-558 (E15a): S3 checks a parallel's memory default, attempt orderings, access classes and fences

  #1053·kreneskyp opened Oct 19, 2026Contributor·

  ·

• QSL-907: guard facts for deref(r).f in function bodies

  #1051·kreneskyp opened Oct 19, 2026Contributor·

  ·

• QSL-530 E9 (4/4): name the strong constraint that would exclude a lasso (FR-133)

  #1047·kreneskyp opened Oct 19, 2026Contributor·

  ·

• QSL-538 (E8d): state-graph certificate and its core checker (FR-169)

  #1046·kreneskyp opened Oct 19, 2026Contributor·

  ·

• QSL-530 E9 (3/4): rank liveness bindings across the run (FR-126)

  #1045·kreneskyp opened Oct 19, 2026Contributor·

  ·

• QSL-530 E9 (2/3): replay a formula counterexample, lasso and prefix (FR-128)

  #1044·kreneskyp opened Oct 19, 2026Contributor·

  ·

• QSL-548 E13e: RE-2 per-step simulation records and settlement (FR-146)

  #1040·kreneskyp opened Oct 19, 2026Contributor·

  ·

• STD-206: FR-140 refinement mapping rules, ADR-020 §8 guard, FR-141-AC-7 (spec)

  #1038·kreneskyp opened Oct 19, 2026Contributor·

  ·

• QSL-546 (E13d): population-valued refinement mapping (FR-139)

  #1035·kreneskyp opened Oct 19, 2026Contributor·

  ·

• QSL-544 (E13 part 1): map_state evaluates the refinement mapping at a concrete state (FR-140)

  #1032·kreneskyp opened Oct 19, 2026Contributor·

  ·

• IR-883: QSL emits direct dependency selections and derives the closure (follows QSpec #283)

  #1006·kreneskyp opened Oct 19, 2026Contributor·

  ·

• IR-878: allocate evaluator and supplied caller criteria to QSL

  #995·kreneskyp opened Oct 19, 2026Contributor·

  ·

• Rewrite the README for newcomers, with figures

  #972·kreneskyp opened Oct 19, 2026Contributor·

  ·
  2

• spec: complete typed checked-invariant normative contract

  #723·kreneskyp opened Oct 11, 2026Contributor·

  ·

• QSL-692: align derived type forms with QSpec

  #706·kreneskyp opened Oct 10, 2026Contributor·

  ·

• QSL-157: specify native CI empty-suite acceptance

  #703·kreneskyp opened Oct 10, 2026Contributor·

  ·

• QSL-157: fail make ci on an undeclared zero-test suite

  #700·kreneskyp opened Oct 10, 2026Contributor·

  ·

• QSL-59: retain business originals and record inheritance (partial model slice)

  #689·kreneskyp opened Oct 10, 2026Contributor·

  ·

• QSL-136: gate spec structure with native Quire and Rust controls

  #686·kreneskyp opened Oct 10, 2026Contributor·

  ·

• Isolate CI feature-lane build artifacts

  #683·kreneskyp opened Oct 10, 2026Contributor·

  ·

• QSL-190: require local QSpec conformance in make ci

  #681·kreneskyp opened Oct 10, 2026Contributor·

  ·

• Honor caller-owned clean build target directories

  #679·kreneskyp opened Oct 10, 2026Contributor·

  ·

• Define model conformance stage and checked refinement boundary

  #674·kreneskyp opened Oct 9, 2026Contributor·

  ·

• Back D01 runtime dispatch with exact budget evidence

  #673·kreneskyp opened Oct 9, 2026Contributor·

  ·
  1