Search results

[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]: SchemaVerifier can return VALID in strict mode when additionalProperties is false

bugSomething isn't workingSomething isn't working

Status: Open.

#132 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

[Bug]: SymbolicVerifier marks unverified code as VERIFIED when no typed functions are present

bugSomething isn't workingSomething isn't working

Status: Open.

#128 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

Add bounded model checking for loop analysis

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#16 In QWED-AI/qwed-verification;

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

[Feature]: Add CrossHair integration for Python symbolic execution

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#15 In QWED-AI/qwed-verification;

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