Issues · QWED-AI/qwed-tax · GitHub

[META] Define QWED-Tax scope: a deterministic verification layer, NOT a GST/tax platform (non-goals)
#34 · rahuldass19 opened on Jun 2, 2026
1

Labels Milestones

[Bug]: ReciprocityGuard Z3 solver always returns sat — dead `== True` check, every input passes as verified

#40

· Rahul Dass (rahuldass19) opened

on Jun 19, 2026

Structured Verification Diagnostics — 3-Layer TaxDiagnosticResult Model

#39

· Rahul Dass (rahuldass19) opened

on Jun 19, 2026

[META] Define QWED-Tax scope: a deterministic verification layer, NOT a GST/tax platform (non-goals)

discussion/meta

#34

· Rahul Dass (rahuldass19) opened

on Jun 2, 2026

[Bug]: Input models do not strictly reject unexpected fields and malformed payload shapes

#22

· Rahul Dass (rahuldass19) opened

on Apr 22, 2026

[Bug]: Edge-case inputs like zero, negative, empty, and degenerate values are not consistently blocked

#21

· Rahul Dass (rahuldass19) opened

on Apr 22, 2026

[Bug]: Tolerance-based acceptance allows financially incorrect results to pass deterministic checks

#20

· Rahul Dass (rahuldass19) opened

on Apr 22, 2026

[Bug]: Middleware and facade APIs declare full verification after checking only a subset of tax legality

#19

· Rahul Dass (rahuldass19) opened

on Apr 22, 2026

[Bug]: Verification outputs overstate assurance by returning success without comparing a claim to the computed truth

#18

· Rahul Dass (rahuldass19) opened

on Apr 22, 2026

[Bug]: Legal and tax classifications are guessed instead of blocked when facts are ambiguous

#17

· Rahul Dass (rahuldass19) opened

on Apr 22, 2026