Update from code changes: qwed-tax top-level exports and ABC guard rename

[mintlify]

Summary

Documents the new top-level qwed_tax public import surface and the rename of the state-level ABC-Test classification guard to ABCClassificationGuard.

Changes

• tax/integration.mdx — added a "Public imports" section listing entry points, diagnostics, and every guard now re-exported from qwed_tax; switched TaxPreFlight, TaxVerifier, and QWEDTaxMiddleware examples to the top-level import; added a note disambiguating the federal ClassificationGuard from the state ABCClassificationGuard.
• tax/guards.mdx — renamed the state ABC-Test section heading to ABCClassificationGuard, updated the code example to import and instantiate ABCClassificationGuard, and switched the federal ClassificationGuard example to the top-level import.
• tax/overview.mdx — updated the guard-catalogue row and the Z3 integration list so the ABC Test guard is listed by its new name.

Context

• Export TaxPreFlight, diagnostics, and guards from __init__.py qwed-tax#54 — Export TaxPreFlight, diagnostics, and guards from __init__.py
• fix: rename state ABC Test ClassificationGuard to ABCClassificationGuard qwed-tax#56 — Rename state ABC Test ClassificationGuard to ABCClassificationGuard

[codeant-ai]

Skipping PR review because a bot author is detected.

If you want to trigger CodeAnt AI, comment @codeant-ai review to trigger a manual review.

[qwed-security]

QWED Security Verification Report

3 files scanned | 0 blocked | 0 warnings | 0 info | 0 suppressed | 3 verified

Engines

• entropy_scan: ✅
• pattern_scan: ✅

Verified Files

• tax/guards.mdx
• tax/integration.mdx
• tax/overview.mdx

---

Verified by QWED — deterministic security verification. No LLM used.

[mintlify]

Preview deployment for your docs. Learn more about Mintlify Previews.

Project	Status	Preview	Updated (UTC)
qwed-ai	🟢 Ready	View Preview	Jul 28, 2026, 4:14 AM

[greptile-apps]

Greptile Summary

Updates QWED Tax documentation to reflect the renamed state ABC guard and expanded top-level import surface.

• Distinguishes the federal ClassificationGuard from the state-level ABCClassificationGuard.
• Adds a consolidated qwed_tax public-import example.
• Updates guard examples and catalogue references to use the new names.

Confidence Score: 5/5

The documentation-only PR appears safe to merge with no concrete defects identified.

The changed pages consistently distinguish the federal and state classification guards, and no stale state-guard references or internally contradictory examples remain.

Important Files Changed

Filename	Overview
tax/guards.mdx	Renames and disambiguates the ABC Test guard while updating examples to use documented top-level exports.
tax/integration.mdx	Documents the expanded public import surface and migrates primary integration examples to top-level imports.
tax/overview.mdx	Separates federal and state classification guards in the coverage catalogue and Z3 integration list.

_{Reviews (1): Last reviewed commit: "docs: document qwed-tax top-level export..." | Re-trigger Greptile}

[mintlify]

Preview deployment for your docs. Learn more about Mintlify Previews.

Project	Status	Preview	Updated (UTC)
qwed-ai	🟡 Building	–	Jul 28, 2026, 4:14 AM