Correction and Retraction — Withdrawal Propagation

Direct answer

Correction and Retraction — Withdrawal Propagation is implemented as a source-bounded withdrawal propagation guide.

Answer contract

Apply the withdrawal propagation lens only to the exact inspected source scope; do not infer authority from adjacent topics.

Evidence and exact locators

Source-reference withdrawal propagation contract — lib/source-evidence-reference.ts — GOVERNANCE_MODEL and evaluateSourcePage; test/source-first-engine.test.ts — must trace to an active released revision. Supports: Makes source-reference pages projections of active released claims and removes eligibility when an underlying record is withdrawn or no active released claim remains.

What the evidence does not establish

The projection does not retract external copies, prove the underlying claim false, or replace canonical release governance.

Rights and reuse

project-owned-reference-only

Dependencies and related concepts

applies-to: urn:maha:concept:evidence:correction-and-retraction

governed-by: urn:maha:concept:governance

evidence-for: urn:maha:concept:evidence

Executable contract

This executable contract section is constrained to the same inspected scope: Makes source-reference pages projections of active released claims and removes eligibility when an underlying record is withdrawn or no active released claim remains.

It must preserve the recorded boundary: The projection does not retract external copies, prove the underlying claim false, or replace canonical release governance.

Verification evidence

This verification evidence section is constrained to the same inspected scope: Makes source-reference pages projections of active released claims and removes eligibility when an underlying record is withdrawn or no active released claim remains.

It must preserve the recorded boundary: The projection does not retract external copies, prove the underlying claim false, or replace canonical release governance.

Failure boundaries

This failure boundaries section is constrained to the same inspected scope: Makes source-reference pages projections of active released claims and removes eligibility when an underlying record is withdrawn or no active released claim remains.

It must preserve the recorded boundary: The projection does not retract external copies, prove the underlying claim false, or replace canonical release governance.

Dependencies

This dependencies section is constrained to the same inspected scope: Makes source-reference pages projections of active released claims and removes eligibility when an underlying record is withdrawn or no active released claim remains.

It must preserve the recorded boundary: The projection does not retract external copies, prove the underlying claim false, or replace canonical release governance.

Questions this page can answer