AXI4 QoS Fabric DV v0.3.1

Verification-presentation release: generated metrics, corrected solver-backed versus bounded formal wording, reusable AXI4 UVM VIP guide, deterministic documentation checks, and updated traceability links. No fabric architecture changes.