Coverage-integrity release: generated headline metrics, separate baseline/direct-mapped/SECDED structural coverage, reviewed hole classification, consolidated formal/debug documentation, and expanded SECDED-focused stimulus. Baseline cache behavior is unchanged.