All issues

Search results

Write TC-025 sequence/ordered-set test cases for FR-008-AC-10/11/12

E

Status: Open.

#65 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 22, 2026

[Runtime#56] ADR-013 TK-03: adopt quire-exact and fix the C-06 ClauseKind mapping table

E

quire-contract-runtime

Status: Open.

#56 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 19, 2026

[Runtime#55] ADR-011 T-9: retarget qsl-agreement to quire-exact against QSpec vectors

E

quire-contract-runtime

Status: Open.

#55 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 19, 2026

[Runtime#50] make kani never compiles src/exact/: the proof gate excludes the oracle the lane exists to prove

E

quire-contract-runtime

Status: Open.

#50 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 19, 2026

[Runtime#48] make size measures a population that cannot link exact; the footprint crate has no global allocator

E

quire-contract-runtime

Status: Open.

#48 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 19, 2026

[Runtime#46] The chain demonstrates none of the four receipt edits verify-receipt's own help advertises

E

quire-contract-runtime

Status: Open.

#46 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 19, 2026

[Runtime#45] verify-accepts-an-unedited-receipt cannot observe acceptance; FR-005-AC-5 is stronger than the control backing it

E

quire-contract-runtime

Status: Open.

#45 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 19, 2026

[Runtime#43] FR-273 Behavior and AD-002 Risks contradict each other on who proves totality

E

quire-contract-runtime

Status: Open.

#43 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 19, 2026

[Runtime#36] Derived Debug/PartialEq on Meter cannot distinguish a fired denial from one never configured

E

quire-contract-runtime

Status: Open.

#36 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 18, 2026

[Runtime#32] make test is red on main: refuse-an-edited-receipt scenario MISMATCHes, and the shared pins no longer classify

E

quire-contract-runtime

Status: Open.

#32 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 18, 2026

[Runtime#28] Deferred criterion-strength findings from the #19 sweep (F9-F16)

E

quire-contract-runtime

Status: Open.

#28 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 18, 2026

[Runtime#27] exact/numeric.rs has no stop-carrying Boolean connective for FR-011-AC-3

E

quire-contract-runtime

Status: Open.

#27 In agent-ix/quire-contract-runtime;

· kreneskyp opened on Sep 18, 2026