-
-
Notifications
You must be signed in to change notification settings - Fork 13
All issues
Issue creation is restricted in this repository
- #216 · rahuldass19 opened
on Jul 23, 2026 6
Issues
is:issue state:open
is:issue state:open
Search results
[Tracker] Verification/execution boundary - ERROR semantics, retry provenance, attempt identity (credit @dariusbrandon880-art)
architecturearchitecturearchitectureIssue TrackerIssue TrackerIssue Trackermetametametaqwed securityQWED security surface workQWED security surface workStatus: Open.#385 In QWED-AI/qwed-verification;feat(agent-service): execution-outcome feedback path - ActivityLog.execution_success/error are never written
architecturearchitecturearchitectureenhancementNew feature or requestNew feature or requestqwed securityQWED security surface workQWED security surface workStatus: Open.#382 In QWED-AI/qwed-verification;spec(v1.1): attempt identity and retry provenance in Verification Context evidence
architecturearchitecturearchitecturedocumentationImprovements or additions to documentationImprovements or additions to documentationresearchresearchresearchStatus: Open.#381 In QWED-AI/qwed-verification;fix(agent-service): verify_action() accepts require_attestation but never uses it - no attestation minted
architecturearchitecturearchitecturebugSomething isn't workingSomething isn't workingqwed securityQWED security surface workQWED security surface workStatus: Open.#383 In QWED-AI/qwed-verification;design(agent-state-guard): commit proof_ref binds committed bytes only - transition lineage lives in a side field
architecturearchitecturearchitectureqwed securityQWED security surface workQWED security surface workverificationverificationverificationStatus: Open.#384 In QWED-AI/qwed-verification;[Tracker] OpenVuln external audit (2026-08) — security findings remediation
bugSomething isn't workingSomething isn't workingexternal-auditFindings from external security auditsFindings from external security auditsIssue TrackerIssue TrackerIssue TrackerP0Critical priority — blocks trust boundary completionCritical priority — blocks trust boundary completionqwed securityQWED security surface workQWED security surface worksecuritySecurity finding from adversarial auditSecurity finding from adversarial auditStatus: Open.#342 In QWED-AI/qwed-verification;[Security] Math engine compute-cost DoS: factorial/power bombs stall the event loop or OOM-kill the process
bugSomething isn't workingSomething isn't workingexternal-auditFindings from external security auditsFindings from external security auditsP0Critical priority — blocks trust boundary completionCritical priority — blocks trust boundary completionqwed securityQWED security surface workQWED security surface worksecuritySecurity finding from adversarial auditSecurity finding from adversarial auditverificationverificationverificationStatus: Open.#331 In QWED-AI/qwed-verification;SDK surface findings from #325 (credit @adhabnr-ux): offline VERIFIED fallback + legacy two-state verify_* paths
architecturearchitecturearchitecturebugSomething isn't workingSomething isn't workingdiagnosticsdiagnosticsdiagnosticsqwed securityQWED security surface workQWED security surface worksdkSDK surface (QWEDClient / qwed_sdk)SDK surface (QWEDClient / qwed_sdk)Status: Open.#328 In QWED-AI/qwed-verification;Five verify_* SDK methods return legacy two-state results — bypass DiagnosticResult / VC contract (no proof_ref, no admission)
architecturearchitecturearchitecturebugSomething isn't workingSomething isn't workingdiagnosticsdiagnosticsdiagnosticsP2Medium priorityMedium priorityqwed securityQWED security surface workQWED security surface worksdkSDK surface (QWEDClient / qwed_sdk)SDK surface (QWEDClient / qwed_sdk)Status: Open.#327 In QWED-AI/qwed-verification;verify_fact offline fallback returns VERIFIED when verification service is unreachable — fail-open inside the SDK
bugSomething isn't workingSomething isn't workingdiagnosticsdiagnosticsdiagnosticsP1High priorityHigh priorityqwed securityQWED security surface workQWED security surface worksdkSDK surface (QWEDClient / qwed_sdk)SDK surface (QWEDClient / qwed_sdk)securitySecurity finding from adversarial auditSecurity finding from adversarial auditStatus: Open.#326 In QWED-AI/qwed-verification;Proposal: qwed-verification-openeval-adapter (DiagnosticResult ↔ EvalPort ResultSet)
enhancementNew feature or requestNew feature or requestStatus: Open.#325 In QWED-AI/qwed-verification;[Advisory]: P3 audit batch — env-integrity skip trust note, BLOCKED/DENY vocabulary drift, /health version disclosure
architecturearchitecturearchitecturediagnosticsdiagnosticsdiagnosticsdocumentationImprovements or additions to documentationImprovements or additions to documentationqwed securityQWED security surface workQWED security surface workTech-DebtTech-DebtTech-DebtStatus: Open.#324 In QWED-AI/qwed-verification;