PRN-040 · approved history
T0 · 2026-09-14
Scope
Classified before searching as a methodological dependency constraint. Assess the intelligibility and limits of preserving independent local assessment after withdrawal of optional Beyond premises; do not audit actual programme links or evaluate Beyond propositions.
Uncertainty
Which local inferences and interpretive commitments remain dependent on optional premises is unknown. Withdrawing an assumption and establishing its falsity can have different consequences when a supposedly local claim independently entails it.
History is append-only.