❌ Failed Tests (9)
Verify simple SAT constraints
Engine: logic
Priority: CRITICAL
ID: LOGIC_SAT_001
HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x > 5 AND x < 10","context":{}}}]}
Detect simple contradiction (UNSAT)
Engine: logic
Priority: CRITICAL
ID: LOGIC_UNSAT_001
HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x > 10 AND x < 5","context":{}}}]}
Verify boolean logic constraints
Engine: logic
Priority: CRITICAL
ID: LOGIC_SAT_002
HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"P or Q","context":{}}}]}
Verify inequality chain (x < y < z)
Engine: logic
Priority: HIGH
ID: LOGIC_SAT_003
HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x < y AND y < z","context":{}}}]}
Verify divisibility constraint (x % 5 == 0)
Engine: logic
Priority: MEDIUM
ID: LOGIC_SAT_004
HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x % 5 == 0 AND x > 0 AND x < 20","context":{}}}]}
Verify implication (P implies Q)
Engine: logic
Priority: MEDIUM
ID: LOGIC_SAT_005
HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"P and (not P or Q)","context":{}}}]}
Detect circular dependency (x=y+1 AND y=x+1)
Engine: logic
Priority: HIGH
ID: LOGIC_UNSAT_002
HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x == y + 1 AND y == x + 1","context":{}}}]}
Detect boolean contradiction (P AND NOT P)
Engine: logic
Priority: CRITICAL
ID: LOGIC_UNSAT_003
HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"P and not P","context":{}}}]}
Detect conflict in multiple constraints
Engine: logic
Priority: HIGH
ID: LOGIC_UNSAT_004
HTTP 422: {"detail":[{"type":"missing","loc":["body","query"],"msg":"Field required","input":{"constraints":"x > 5 AND x < 10 AND x == 15","context":{}}}]}