Search results

[Tracker]: Harden fail-closed verification boundaries across execution, graph, reasoning, and logic engines

Issue TrackerIssue TrackerIssue Tracker

Status: Open.

Task

#167 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on May 1, 2026

[Bug]: ReasoningVerifier can return valid results without an actual proof or provider path

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#164 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on May 1, 2026

[Bug]: GraphFactVerifier can return VERIFIED from probabilistic or partial support

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#163 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on May 1, 2026

[Bug]: Logic verification mutates proof semantics through implicit variable inference and undeclared symbol creation

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#162 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on May 1, 2026

[Feature]: [Research / Guard]: ContextIntegrityGuard: Prevent Lossy Context from Corrupting Verification

enhancementNew feature or requestNew feature or request

Status: Open.

#140 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on Apr 14, 2026

[Bug]: ConsensusVerifier fabricates fallback math values instead of failing closed on translation gaps

bugSomething isn't workingSomething isn't working

Status: Open.

#135 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on Apr 10, 2026

[Bug]: ImageVerifier allows VLM fallback to decide final verification verdicts

bugSomething isn't workingSomething isn't working

Status: Open.

#134 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on Apr 10, 2026

[Bug]: FactVerifier allows LLM fallback to overwrite deterministic verdicts

bugSomething isn't workingSomething isn't working

Status: Open.

#133 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on Apr 10, 2026

[Bug]: MathVerifier can return VERIFIED for IRR without convergence proof

bugSomething isn't workingSomething isn't working

Status: Open.

#131 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on Apr 10, 2026

[Bug]: MathVerifier can mark incomplete eigenvalue claims as VERIFIED

bugSomething isn't workingSomething isn't working

Status: Open.

#130 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on Apr 10, 2026

[Bug]: MathVerifier resolves ambiguous mode inputs heuristically and can return VERIFIED

bugSomething isn't workingSomething isn't working

Status: Open.

#129 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on Apr 10, 2026

[Feature]: Create CONTRIBUTING.md guide for new contributors

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#17 In QWED-AI/qwed-verification;

· Rahul Dass (rahuldass19) opened on Dec 24, 2025