v2.4.0: The Reasoning Engine 🧠

Release v2.4.0: The Reasoning Engine 🧠

"Compliance checks if you followed the rules. Reasoning decides what the rules should be."

This release transforms the Core Logic Engine (LogicVerifier) from a passive constraint checker into an active optimization engine.

🚀 New Features

1. Optimization Engine (verify_optimization)

• What: Solves for the best outcome, not just a valid one.
• Use Case: "Maximize Loan Amount subject to Risk < 5% AND DTI < 40%."
• Tech: Wraps Z3's Optimize() context.

2. Vacuity Checker (check_vacuity)

• What: Detects "Fake True" rules (Vacuous Truth).
• Use Case: Catching LLM-generated rules like "If Transaction_Year < 1900, then Reject" (useless but valid).
• Tech: Proves antecedent satisfiability.

🛠️ Enhancements

• Core logic_verifier.py updated with zero breaking changes (additive update).
• Full backwards compatibility with v2.x.