Issues

• main is red: 4 exact_scalar_agreement tests fail — direct runtime charges each vector its own work budget, QSL authority shares one

  agent-ix/quire-contract-codegen#144 · Filter by author kreneskyp opened on Sep 22, 2026

• main is red: tc_024_generation_matches_the_committed_golden_files pins a stale quire-contract-runtime rev in Cargo.toml.golden

  agent-ix/quire-contract-codegen#143 · Filter by author kreneskyp opened on Sep 22, 2026

• composite_equality_profile() admits CheckedNodeTag::Correspondence but no corpus node carries it and no code handles it

  agent-ix/quire-contract-codegen#142 · Filter by author kreneskyp opened on Sep 22, 2026

• a_run_exceeding_its_budget_kills_a_real_grandchild fails under parallel load, passes in isolation

  agent-ix/quire-contract-codegen#128 · Filter by author kreneskyp opened on Sep 21, 2026

• make ci halts at msrv on host tool drift, so 7 of its 11 targets have never run

  agent-ix/quire-contract-codegen#121 · Filter by author kreneskyp opened on Sep 21, 2026
  1

• ADR-012 §14.2: CG S6 enum matches and the string-edge scan (deferred from #86)

  implmvpquire-contract-codegen
  agent-ix/quire-contract-codegen#104 · Filter by author kreneskyp opened on Sep 20, 2026

• [Codegen#95] [CG-86-5] End-to-end disposition test over wire, never calling route

  blocked:upstream-qslimplmvpquire-contract-codegen
  agent-ix/quire-contract-codegen#95 · Filter by author kreneskyp opened on Sep 19, 2026

• [Codegen#90] ADR-013 TK-05: obligation identity conformance

  blocked:upstream-qslmvpquire-contract-codegenseam
  agent-ix/quire-contract-codegen#90 · Filter by author kreneskyp opened on Sep 19, 2026

• [Codegen#89] ADR-013 TK-03: adopt quire-exact

  blocked:upstream-qslimplmvpquire-contract-codegen
  agent-ix/quire-contract-codegen#89 · Filter by author kreneskyp opened on Sep 19, 2026

• [Codegen#88] ADR-011 T-10: generated-harness gate — claimed-module list, unreached failure, mutation control

  implmvpquire-contract-codegen
  agent-ix/quire-contract-codegen#88 · Filter by author kreneskyp opened on Sep 19, 2026

• [Codegen#87] ADR-011 T-2: skeleton spine — one Boolean clause through Kani to native replay

  blocked:upstream-qslimplmvpquire-contract-codegen
  agent-ix/quire-contract-codegen#87 · Filter by author kreneskyp opened on Sep 19, 2026

• [Codegen#84] [V1-E10] Verus emission onto implementation Rust

  blocked:upstream-qslimplquire-contract-codegen
  agent-ix/quire-contract-codegen#84 · Filter by author kreneskyp opened on Sep 19, 2026

• [Codegen#80] Upgrade the scalar agreement vectors from agree2! to agree3! now that QSL exports the operators

  implmvpquire-contract-codegen
  agent-ix/quire-contract-codegen#80 · Filter by author kreneskyp opened on Sep 18, 2026

• [Codegen#70] spec-artifacts-process has no interface archetype, so quire coverage cannot mine interface-001

  implmvpquire-contract-codegen
  agent-ix/quire-contract-codegen#70 · Filter by author kreneskyp opened on Sep 18, 2026

• [Codegen#68] Structural under-coverage sweep: what every requirement promises that none of its acceptance criteria can falsify

  quire-contract-codegenspec
  agent-ix/quire-contract-codegen#68 · Filter by author kreneskyp opened on Sep 18, 2026

• [Codegen#56] FR-015 states none of the decisions that make its harnesses sound: non-vacuity covers, assumption resolution, solver, determinism

  mvpquire-contract-codegenspec
  agent-ix/quire-contract-codegen#56 · Filter by author kreneskyp opened on Sep 18, 2026

• [Codegen#52] Generated Rust license follows the consumer: user choice, then repo license, else none

  implquire-contract-codegen
  agent-ix/quire-contract-codegen#52 · Filter by author kreneskyp opened on Sep 15, 2026
  1

• [Codegen#50] [V1-E05] Canonicalize and replay every backend counterexample through native execution

  blocked:upstream-qslgatequire-contract-codegen
  agent-ix/quire-contract-codegen#50 · Filter by author kreneskyp opened on Sep 15, 2026
  3

• [Codegen#49] [V1-E04] Generate complete bounded Kani contracts and proof harnesses

  gatemvpquire-contract-codegen
  agent-ix/quire-contract-codegen#49 · Filter by author kreneskyp opened on Sep 15, 2026
  4

• [Codegen#24] Establish permitted Sireum/INSPECTA differential fixture provenance

  quire-contract-codegenspec
  agent-ix/quire-contract-codegen#24 · Filter by author kreneskyp opened on Sep 3, 2026
  1

• [Codegen#11] Hosted CI runs none of the gates five rounds of review have built

  implquire-contract-codegenquire-contract-ir
  agent-ix/quire-contract-codegen#11 · Filter by author kreneskyp opened on Aug 31, 2026

• [Codegen#6] Ship codegen CLI and cross-backend golden and differential conformance

  implquire-contract-codegen
  agent-ix/quire-contract-codegen#6 · Filter by author kreneskyp opened on Aug 30, 2026
  4

• [Codegen#5] Produce per-requirement vacuity and rejection evidence from LLVM coverage

  implmvpquire-contract-codegen
  agent-ix/quire-contract-codegen#5 · Filter by author kreneskyp opened on Aug 30, 2026