No blanket “none” claim
A missing correction row means no eligible correction is present in the selected generation—not proof that every upstream assertion is error-free.
Upstream correction
A provider revision, rejection, or retraction appends a source-record successor. The predecessor remains available in its supported as-known generation.
CASCA erratum
If CASCA materially misstates evidence or derivation, the public erratum identifies the affected claim and interval, the corrected successor, remediation state, and prevention test. Fixing current output never erases the old error.
Report a concern
Send the CVE ID, receipt generation, cited source, and a concise discrepancy description to admin@lanzalabs.io. Do not send secrets, exploit code, customer data, or sensitive asset details.