Issues

• Wire check-no-committed-binaries.sh into CI (blocked on PLAT-887)

  agent-ix/quire-spec-language#283 · Filter by author kreneskyp opened on Sep 21, 2026

• DomainPackage <-> TypeEnvironment bridge: state the intended equivalence, and settle the NodeKey collision question

  agent-ix/quire-spec-language#252 · Filter by author kreneskyp opened on Sep 20, 2026
  1

• Model intake has no dispatch arm for RECORD_VALUE_TYPE, so record-value-type/v1 nodes are refused as unsupported_construct

  agent-ix/quire-spec-language#251 · Filter by author kreneskyp opened on Sep 20, 2026
  1

• [QSL#238] model normalize: a reference naming a refused node is reported again (model-complete.md:82)

  quire-spec-language
  agent-ix/quire-spec-language#238 · Filter by author kreneskyp opened on Sep 19, 2026
  1

• [V1-A06a][ARCH] Implement the bounded lifecycle surfaces required by architecture conformance

  quire-spec-language
  agent-ix/quire-spec-language#232 · Filter by author kreneskyp opened on Sep 19, 2026
  1

• [QSL#230] [ARCH-52] Demonstrate one bounded CLI/library/provider/cache conformance slice

  quire-spec-language
  agent-ix/quire-spec-language#230 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#227] [ARCH-G5] Pass lifecycle, reproducibility, architecture-drift, and qualification readiness gate

  gatequire-spec-language
  agent-ix/quire-spec-language#227 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#226] [ARCH-51] Institutionalize architecture drift and cross-repository compatibility gates

  quire-spec-language
  agent-ix/quire-spec-language#226 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#225] [ARCH-50] Accept and integrate lifecycle, CLI, provider, plugin, cache, and code-generation boundaries

  quire-spec-language
  agent-ix/quire-spec-language#225 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#224] [ARCH-G4] Pass the semantic-facet extension and coherence gate

  gatequire-spec-language
  agent-ix/quire-spec-language#224 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#223] [ARCH-43] Coordinate protocol/frame, refinement, and abstraction-relation boundaries

  quire-spec-language
  agent-ix/quire-spec-language#223 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#221] [ARCH-41] Map sum/case delivery to the checked-family extension contract

  quire-spec-language
  agent-ix/quire-spec-language#221 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#220] [ARCH-40] Map state, model, and finite execution to the shared foundation

  quire-spec-language
  agent-ix/quire-spec-language#220 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#219] [ARCH-G3] Pass the executable proof, witness, and native-replay gate

  gatelowered-proofsquire-spec-language
  agent-ix/quire-spec-language#219 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#218] [ARCH-31] Carry frames and scoped clauses through the executable proof spine

  lowered-proofsquire-spec-language
  agent-ix/quire-spec-language#218 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#205] [EPIC][ARCH] Establish the QSL V1 semantic and execution architecture

  quire-spec-language
  agent-ix/quire-spec-language#205 · Filter by author kreneskyp opened on Sep 19, 2026
  1

• [QSL#198] [V1-A15] Model-to-implementation abstraction relation, with refusal when unbound

  lowered-proofsquire-spec-language
  agent-ix/quire-spec-language#198 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#192] [V1-A14] Profile-layering refinement gate: every parent refusal is still a child refusal

  quire-spec-language
  agent-ix/quire-spec-language#192 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#191] [V1-A13] Spec-versioning refinement gate: v2 admits everything v1 admitted

  quire-spec-language
  agent-ix/quire-spec-language#191 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#190] QSL spec pins: FR-046 scoping clause, FR-095 re-baseline, FR-047 graph-witness ADR

  quire-spec-language
  agent-ix/quire-spec-language#190 · Filter by author kreneskyp opened on Sep 19, 2026
  1

• [QSL#189] [V1-A12] Unbounded declarations: lift the three ceiling sites through NativeModelProfile

  quire-spec-language
  agent-ix/quire-spec-language#189 · Filter by author kreneskyp opened on Sep 19, 2026
  1

• [QSL#188] [V1-A11] Infinite-trace temporal profile slice

  quire-spec-language
  agent-ix/quire-spec-language#188 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#187] [V1-A10] Sum types and case with exhaustiveness obligation

  quire-spec-language
  agent-ix/quire-spec-language#187 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#186] [V1-A09] State forall separating-witness channel and native-run-result/2 serializer

  lowered-proofsquire-spec-language
  agent-ix/quire-spec-language#186 · Filter by author kreneskyp opened on Sep 19, 2026

• [QSL#183] Meter the redefinition-chain walk

  quire-spec-language
  agent-ix/quire-spec-language#183 · Filter by author kreneskyp opened on Sep 19, 2026