Library / Method Engineering Principles Framework
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 05:45:20 UTC

ME.24:5.2 - Change one source without rewriting the repertoire

The later facts are:

Retained contributionBasis after the change
A1, the use of H’s argument in a new recheckH is now available only as excerpts; the retained dossier has a locator but not the required argument.
A2, a narrower condition supplied independently by paper LL remains available and its relied-on claim is unchanged.
A3, an unresolved shortcut from returned MR account WW retains its rival explanations and evidence gap; the H argument was not its basis.

Return A1’s new recheck as unavailable and lower only the dependent current use. Keep its earlier result with the historical basis; do not infer falsity from lost access. Retain A2’s condition and A3’s uncertainty. If another pattern copied A1’s assumption, it is affected even if its file did not change.

The repair is either to recover the required argument, use a separately justified sufficient basis, or narrow the current use. A full repertoire rewrite would add no supported correction to A2 or A3.