# QWED Comprehensive Test Audit Report

**Generated:** 2025-12-02 02:32:02

**Duration:** 0.0 seconds

---

## Executive Summary

- **Total Tests:** 9
- **Passed:** 0 ✅
- **Failed:** 9 ❌
- **Pass Rate:** 0.0%

**Status:** ❌ CRITICAL ISSUES

---

## Results by Priority

| Priority | Total | Passed | Failed | Pass Rate |
|----------|-------|--------|--------|-----------|
| ❌ CRITICAL | 4 | 0 | 4 | 0.0% |
| ❌ HIGH | 3 | 0 | 3 | 0.0% |
| ❌ MEDIUM | 2 | 0 | 2 | 0.0% |


## Results by Engine

| Engine | Total | Passed | Failed | Pass Rate |
|--------|-------|--------|--------|-----------|
| ❌ logic | 9 | 0 | 9 | 0.0% |


## ❌ Failed Tests (9)

### Verify simple SAT constraints
- **Engine:** logic
- **Priority:** CRITICAL
- **Test ID:** `LOGIC_SAT_001`
- **Error:** 'QWEDAPIClient' object has no attribute 'verify_logic'
- **Expected:** N/A
- **Timestamp:** 2025-12-02T02:32:02.018146

### Detect simple contradiction (UNSAT)
- **Engine:** logic
- **Priority:** CRITICAL
- **Test ID:** `LOGIC_UNSAT_001`
- **Error:** 'QWEDAPIClient' object has no attribute 'verify_logic'
- **Expected:** N/A
- **Timestamp:** 2025-12-02T02:32:02.019135

### Verify boolean logic constraints
- **Engine:** logic
- **Priority:** CRITICAL
- **Test ID:** `LOGIC_SAT_002`
- **Error:** 'QWEDAPIClient' object has no attribute 'verify_logic'
- **Expected:** N/A
- **Timestamp:** 2025-12-02T02:32:02.019507

### Verify inequality chain (x < y < z)
- **Engine:** logic
- **Priority:** HIGH
- **Test ID:** `LOGIC_SAT_003`
- **Error:** 'QWEDAPIClient' object has no attribute 'verify_logic'
- **Expected:** N/A
- **Timestamp:** 2025-12-02T02:32:02.020012

### Verify divisibility constraint (x % 5 == 0)
- **Engine:** logic
- **Priority:** MEDIUM
- **Test ID:** `LOGIC_SAT_004`
- **Error:** 'QWEDAPIClient' object has no attribute 'verify_logic'
- **Expected:** N/A
- **Timestamp:** 2025-12-02T02:32:02.021018

### Verify implication (P implies Q)
- **Engine:** logic
- **Priority:** MEDIUM
- **Test ID:** `LOGIC_SAT_005`
- **Error:** 'QWEDAPIClient' object has no attribute 'verify_logic'
- **Expected:** N/A
- **Timestamp:** 2025-12-02T02:32:02.022021

### Detect circular dependency (x=y+1 AND y=x+1)
- **Engine:** logic
- **Priority:** HIGH
- **Test ID:** `LOGIC_UNSAT_002`
- **Error:** 'QWEDAPIClient' object has no attribute 'verify_logic'
- **Expected:** N/A
- **Timestamp:** 2025-12-02T02:32:02.022021

### Detect boolean contradiction (P AND NOT P)
- **Engine:** logic
- **Priority:** CRITICAL
- **Test ID:** `LOGIC_UNSAT_003`
- **Error:** 'QWEDAPIClient' object has no attribute 'verify_logic'
- **Expected:** N/A
- **Timestamp:** 2025-12-02T02:32:02.022021

### Detect conflict in multiple constraints
- **Engine:** logic
- **Priority:** HIGH
- **Test ID:** `LOGIC_UNSAT_004`
- **Error:** 'QWEDAPIClient' object has no attribute 'verify_logic'
- **Expected:** N/A
- **Timestamp:** 2025-12-02T02:32:02.022021


---

*Generated by QWED Advanced Testing Framework*
