Proof Decay
Review whether an older artifact still supports a current claim.
Public source package
Available: Source code · Sample files
The work
A past run can keep being cited after the system or its operating conditions change.
A local comparison of current claims with structured proof notes, including stale-artifact and changed-condition flags.
Where it stands
Freshness and matching are heuristic. A review report does not validate the underlying evidence.
Take a look
Browse the public repository, documentation and examples.