QWED Legal troubleshooting

ImportError: No module named 'z3'

pip install z3-solver

AttributeError: module 'holidays' has no attribute 'country_holidays'

pip install --upgrade holidays>=0.40

# Be explicit about jurisdiction
guard = DeadlineGuard(country="US", state="CA")  # California holidays
guard = DeadlineGuard(country="GB")              # UK holidays
guard = DeadlineGuard(country="IN")              # India holidays

Failed to parse dates: Unknown string format

# ✅ Good
guard.verify("2026-01-15", "30 days", "2026-02-14")

# ❌ Bad (ambiguous)
guard.verify("01/02/2026", ...)  # Is this Jan 2 or Feb 1?

# ✅ Good — explicit quantity and unit
guard.verify("2026-01-01", "30 days", "2026-01-31")
guard.verify("2026-01-01", "10 business days", "2026-01-15")
guard.verify("2026-01-01", "2 weeks", "2026-01-15")

# ❌ Fails closed — no numeric quantity
guard.verify("2026-01-01", "within a reasonable period", "2026-01-31")

# ❌ Fails closed — no recognized time unit
guard.verify("2026-01-01", "30", "2026-01-31")
guard.verify("2026-01-01", "15 intervals", "2026-01-16")

guard = LiabilityGuard(tolerance_percent=0.001)  # Stricter
guard = LiabilityGuard(tolerance_percent=0.1)    # More lenient

clauses = [
    "Termination allowed after 30 days notice",  # Clear pattern
    "Minimum term 90 days",                       # Clear pattern
]

# ✅ Correct
guard.check_statute_citation("42 U.S.C. § 1983")

# ❌ Missing section symbol
guard.check_statute_citation("42 USC 1983")

result = guard.verify(
    claim_type="breach_of_contract",
    jurisdiction="Calif",
    incident_date="2023-01-15",
    filing_date="2026-06-01",
)

if not result.jurisdiction_matched:
    # Use the full supported name, e.g. "California"
    ...
elif not result.claim_type_matched:
    # Use one of the supported claim types, e.g. "breach_of_contract"
    ...

if not result.verified and not (
    result.jurisdiction_matched and result.claim_type_matched
):
    raise ValueError(result.message)  # Surface to the user — do not pass.

ImportError: cannot import name 'LegalGuard' from 'qwed_legal'

pip install --upgrade qwed-legal

pip install qwed-legal
pip install --upgrade qwed-mcp