Issues

• Go SDK has no versioned release: go get .../sdk-go@v7.2.3 fails

  QWED-AI/qwed-verification#443 · Filter by author rahuldass19 opened on Oct 13, 2026

• qwed init / qwed test output uses BLOCKED and "verified" in ways the result vocabulary does not allow

  documentationsdk
  QWED-AI/qwed-verification#438 · Filter by author rahuldass19 opened on Oct 12, 2026

• A math claim proven false is reported as UNVERIFIABLE ("inconclusive"), not VERIFIED + DENY

  diagnosticsverification
  QWED-AI/qwed-verification#437 · Filter by author rahuldass19 opened on Oct 12, 2026

• [Tracker]: Verification correctness & engine hardening (Oct 2026)

  Issue Trackerqwed securityverification
  QWED-AI/qwed-verification#433 · Filter by author rahuldass19 opened on Oct 9, 2026

• [Tech-Debt]: TestWrapperCap sandbox-containment tests fail instead of skip when Docker is unavailable

  P2pythonTech-Debt
  QWED-AI/qwed-verification#432 · Filter by author rahuldass19 opened on Oct 9, 2026

• [Engineering]: SymbolicVerifier should run CrossHair inside the secure sandbox (code is imported on the host)

  enhancementP1qwed securitysecurity
  QWED-AI/qwed-verification#431 · Filter by author rahuldass19 opened on Oct 9, 2026

• [Bug]: Money accepts NaN / Infinity amounts; verify_invoice_total raises raw InvalidOperation instead of a structured failure

  bugP2verification
  QWED-AI/qwed-verification#430 · Filter by author rahuldass19 opened on Oct 9, 2026

• [Bug]: verify_identity() treats expressions as equivalent across removable singularities (x**2/x vs x)

  bugP2verification
  QWED-AI/qwed-verification#429 · Filter by author rahuldass19 opened on Oct 9, 2026

• [Bug]: DSL parser accepts IFF / FORALL / EXISTS but the Z3 compiler has no implementation for them

  bugP2verification
  QWED-AI/qwed-verification#428 · Filter by author rahuldass19 opened on Oct 9, 2026

• fix(security): disposition exfiltrated key.pem key material (deleted file, lives in history)

  security
  QWED-AI/qwed-verification#422 · Filter by author rahuldass19 opened on Oct 5, 2026

• chore(deps): Rust hygiene — tokio floor and lockfile decision (race advisories unexploitable)

  security
  QWED-AI/qwed-verification#421 · Filter by author rahuldass19 opened on Oct 5, 2026

• fix(security): deployment runs container as root (no securityContext)

  security
  QWED-AI/qwed-verification#419 · Filter by author rahuldass19 opened on Oct 3, 2026

• fix(security): benchmark executes LLM-generated code via exec/eval without sandbox

  security
  QWED-AI/qwed-verification#418 · Filter by author rahuldass19 opened on Oct 3, 2026

• chore(security): Go toolchain pinned to EOL 1.21 (no updates)

  security
  QWED-AI/qwed-verification#417 · Filter by author rahuldass19 opened on Oct 3, 2026

• [Tracker] Source-only security audit (run-2) — 5 new + 2 existing findings remediation

  Issue Trackerqwed securitysecurity
  QWED-AI/qwed-verification#394 · Filter by author rahuldass19 opened on Sep 23, 2026

• [Security] Per-agent daily spend cap (max_cost_per_day) not enforced on the tool-call path

  bugP2qwed securitysecurity
  QWED-AI/qwed-verification#393 · Filter by author rahuldass19 opened on Sep 23, 2026

• [Security] /verify/image and JSON routes have no request-body size cap (body-size middleware is /verify/stats-only)

  bugP2qwed securitysecurity
  QWED-AI/qwed-verification#392 · Filter by author rahuldass19 opened on Sep 23, 2026

• [Security] /verify/batch runs sympy inline per item and retains jobs in an unbounded in-process dict

  bugP2qwed securitysecurity
  QWED-AI/qwed-verification#391 · Filter by author rahuldass19 opened on Sep 23, 2026

• [Security] /verify natural_language, logic and fact run synchronous provider calls on the event loop (tenant-availability DoS)

  bugP2qwed securitysecurity
  QWED-AI/qwed-verification#390 · Filter by author rahuldass19 opened on Sep 23, 2026

• [Security] Tenant auth ignores ApiKey.expires_at — expired API keys keep authenticating

  bugP2qwed securitysecurity
  QWED-AI/qwed-verification#389 · Filter by author rahuldass19 opened on Sep 23, 2026

• [Tracker] Verification/execution boundary - ERROR semantics, retry provenance, attempt identity (credit @dariusbrandon880-art)

  architectureIssue Trackermetaqwed security
  QWED-AI/qwed-verification#385 · Filter by author rahuldass19 opened on Sep 21, 2026
  1

• spec(v1.1): attempt identity and retry provenance in Verification Context evidence

  architecturedocumentationresearch
  QWED-AI/qwed-verification#381 · Filter by author rahuldass19 opened on Sep 21, 2026

• design(agent-state-guard): commit proof_ref binds committed bytes only - transition lineage lives in a side field

  architectureqwed securityverification
  QWED-AI/qwed-verification#384 · Filter by author rahuldass19 opened on Sep 21, 2026

• fix(agent-service): verify_action() accepts require_attestation but never uses it - no attestation minted

  architecturebugqwed security
  QWED-AI/qwed-verification#383 · Filter by author rahuldass19 opened on Sep 21, 2026

• feat(agent-service): execution-outcome feedback path - ActivityLog.execution_success/error are never written

  architectureenhancementqwed security
  QWED-AI/qwed-verification#382 · Filter by author rahuldass19 opened on Sep 21, 2026