# QWED Comprehensive Test Audit Report

**Generated:** 2025-12-02 02:31:14

**Duration:** 1.2 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:** HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x > 5 AND x < 10","context":{}}}]}
- **Expected:** SAT with solution
- **Timestamp:** 2025-12-02T02:31:13.051407

### Detect simple contradiction (UNSAT)
- **Engine:** logic
- **Priority:** CRITICAL
- **Test ID:** `LOGIC_UNSAT_001`
- **Error:** HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x > 10 AND x < 5","context":{}}}]}
- **Expected:** UNSAT (contradictory)
- **Timestamp:** 2025-12-02T02:31:13.177198

### Verify boolean logic constraints
- **Engine:** logic
- **Priority:** CRITICAL
- **Test ID:** `LOGIC_SAT_002`
- **Error:** HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"P or Q","context":{}}}]}
- **Expected:** SAT with boolean solution
- **Timestamp:** 2025-12-02T02:31:13.308781

### Verify inequality chain (x < y < z)
- **Engine:** logic
- **Priority:** HIGH
- **Test ID:** `LOGIC_SAT_003`
- **Error:** HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x < y AND y < z","context":{}}}]}
- **Expected:** SAT
- **Timestamp:** 2025-12-02T02:31:13.432062

### Verify divisibility constraint (x % 5 == 0)
- **Engine:** logic
- **Priority:** MEDIUM
- **Test ID:** `LOGIC_SAT_004`
- **Error:** HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x % 5 == 0 AND x > 0 AND x < 20","context":{}}}]}
- **Expected:** SAT
- **Timestamp:** 2025-12-02T02:31:13.595295

### Verify implication (P implies Q)
- **Engine:** logic
- **Priority:** MEDIUM
- **Test ID:** `LOGIC_SAT_005`
- **Error:** HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"P and (not P or Q)","context":{}}}]}
- **Expected:** SAT
- **Timestamp:** 2025-12-02T02:31:13.701826

### Detect circular dependency (x=y+1 AND y=x+1)
- **Engine:** logic
- **Priority:** HIGH
- **Test ID:** `LOGIC_UNSAT_002`
- **Error:** HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x == y + 1 AND y == x + 1","context":{}}}]}
- **Expected:** UNSAT (circular)
- **Timestamp:** 2025-12-02T02:31:13.884107

### Detect boolean contradiction (P AND NOT P)
- **Engine:** logic
- **Priority:** CRITICAL
- **Test ID:** `LOGIC_UNSAT_003`
- **Error:** HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"P and not P","context":{}}}]}
- **Expected:** UNSAT
- **Timestamp:** 2025-12-02T02:31:14.047571

### Detect conflict in multiple constraints
- **Engine:** logic
- **Priority:** HIGH
- **Test ID:** `LOGIC_UNSAT_004`
- **Error:** HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x > 5 AND x < 10 AND x == 15","context":{}}}]}
- **Expected:** UNSAT
- **Timestamp:** 2025-12-02T02:31:14.176526


---

*Generated by QWED Advanced Testing Framework*
