🏛️ Deterministic rejection layer for computational legal claims. Verifies dates, amounts, and structured constraints; blocks unproven legal outputs.

3 stars 3 forks 3 watchers Python Apache License 2.0
citation-validation clause-checking compliance computational-law contracts deadlines deterministic-verification fail-closed jurisdictions legal-ai legal-guardrails legal-verification liability llm-safety python qwed rejection-layer statute-of-limitations typescript z3-smt-solver
1 Open Issue Need Help Last updated: Jul 7, 2026

Open Issues Need Help

View All on GitHub

🏛️ Deterministic rejection layer for computational legal claims. Verifies dates, amounts, and structured constraints; blocks unproven legal outputs.

Python
#citation-validation#clause-checking#compliance#computational-law#contracts#deadlines#deterministic-verification#fail-closed#jurisdictions#legal-ai#legal-guardrails#legal-verification#liability#llm-safety#python#qwed#rejection-layer#statute-of-limitations#typescript#z3-smt-solver