Module propagate 

Correction propagation through the frontier link graph.

When a finding is corrected or retracted, everything that depends on it should know. This module walks the link graph and flags downstream findings, creating ReviewEvent records for each propagation step.

Structs

PropagationResult

Result of a propagation pass.

Enums

PropagationAction

The type of correction being propagated.

Functions

make_retraction_event

Create a review event recording a retraction with a human-readable reason.

print_result

Print a propagation result to stdout.

propagate_correction

Propagate a correction through the frontier. Returns a PropagationResult describing the cascade.