# 🚀 QWED v2.4.1: The Reasoning Engine & Universal Commerce

**Release Date:** January 20-21, 2026

We're excited to announce a major ecosystem update across multiple QWED packages!

---

## 🧠 QWED-Verification v2.4.1

### New Features

- **Optimization Engine (`verify_optimization`)**: Added Z3's `Optimize` context to find maximum/minimum values in constrained problems
- **Vacuity Checker (`check_vacuity`)**: Detect "lazy rules" that are logically valid but practically useless

### Enterprise Updates

- **Dockerized GitHub Action**: Runs in isolated container for consistent behavior
- **Dogfood CI**: We now use our own Action on every push (eat our own cooking!)

---

## 💰 QWED-Finance v1.2.0

Now available on GitHub Marketplace!

- Verify Loan Amortization
- Check Tax Calculations  
- Validate ISO 20022 SWIFT Messages
- Block Compliance Violations

**🔗 [Get it on Marketplace](https://github.com/marketplace/actions/qwed-finance-guard)**

---

## 🛒 QWED-UCP v0.2.0

Universal Commerce Protocol verification is now a GitHub Action!

- Verify e-commerce cart totals
- Catch "Penny Slicing" attacks
- Validate tax calculations
- Check discount math

**🔗 [Get it on Marketplace](https://github.com/marketplace/actions/qwed-ucp-verification)**

---

## 🤖 QWED-MCP v0.2.0

**Turn Claude Desktop into a Compliance Officer!**

New tools added:
- `verify_banking_compliance` - Catch the "Senior Citizen Trap"
- `verify_commerce_transaction` - Block bad checkout math

---

## 📚 Learning Updates

Module 1 & 8 updated with:
- Real audit case studies (Senior Citizen FD Trap)
- Claude Desktop MCP tutorial

---

## 🗺️ What's Next?

Check our [Roadmap](https://github.com/orgs/QWED-AI/projects/2) for upcoming features:
- WebAssembly SDK
- VS Code Extension
- Terraform Provider

---

## 🙏 Contributors Welcome!

We're looking for contributors! Check out our `good first issue` labels:
- [qwed-verification issues](https://github.com/QWED-AI/qwed-verification/issues?q=is%3Aissue+is%3Aopen+label%3A%22good+first+issue%22)

---

**Questions?** Drop a comment below or start a new discussion!

**Star the repo** if you find QWED useful ⭐
