Troubleshooting QWED-Legal
Installation Issues
Z3 Solver Not Found
Error:z3-solver, not z3.
Holidays Package Version
Error:DeadlineGuard Issues
Unexpected Holiday Calculation
Problem: Deadline seems off by a few days. Cause: Different jurisdictions have different holidays. Solution:“Failed to parse dates” Error
Problem:LiabilityGuard Issues
Float Precision Errors
Problem: Small differences in large calculations. Cause: Floating-point precision. Solution: LiabilityGuard usesDecimal internally. The default tolerance is 0.01%. Adjust if needed:
ClauseGuard Issues
No Conflicts Detected (False Negative)
Problem: You expect a conflict but ClauseGuard doesn’t find it. Cause: ClauseGuard uses heuristic pattern matching, not full NLP. Current Limitations:- Only detects termination-related conflicts
- Limited to English text
- Requires specific keyword patterns
CitationGuard Issues
Valid Citation Marked Invalid
Problem: A real citation is flagged as invalid. Cause: The reporter isn’t in our list. Solution: Check if the reporter is a valid Bluebook abbreviation. If it’s a less common reporter, it may not be in our list. File an issue to add it: https://github.com/QWED-AI/qwed-legal/issuesStatute Citation Format
Problem:42 USC 1983 doesn’t validate.
Solution: Use proper formatting with section symbol: