All issues

Search results

tc_024 hand-maintains a second copy of scalar_profile()'s supported_tags that drifts silently

Status: Open.

#134 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 21, 2026

scalar_profile() admits CheckedNodeTag::Correspondence but no corpus node carries it

Status: Open.

#133 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 21, 2026

No spec criterion owns the conformance producer's exit contract

Status: Open.

#131 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 21, 2026

tc_013's census floors are stale by ~2.7x and would not catch a narrowing

Status: Open.

#129 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 21, 2026

a_run_exceeding_its_budget_kills_a_real_grandchild fails under parallel load, passes in isolation

Status: Open.

#128 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 21, 2026

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

E

Status: Open.

#121 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 21, 2026

The unsafe audit's own behaviour is untested

E

Status: Open.

#119 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 21, 2026

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

Status: Open.

#104 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 20, 2026

exact_scalar's blocked_on: operation identity not carried by CheckedPackage V2 is false at IR ef11217; OperationProvenance has one variant

defect

E

Status: Open.

#102 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 20, 2026

The vacuous-proof rule has two independent implementations: CG classify_run and IR proved_from_checks

defect

E

Status: Open.

#99 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 20, 2026

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

E

quire-contract-codegen

Status: Open.

#95 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 19, 2026

[Codegen#94] [CG-86-4] S6 enum matches and the string-edge scan

E

quire-contract-codegen

Status: Open.

#94 In agent-ix/quire-contract-codegen;

· kreneskyp opened on Sep 19, 2026