premise-derived-verifiability-asymmetry
IN premise
Premises record source file and line range at assertion time, enabling check-stale to verify them against current code; derived beliefs have no equivalent source-level grounding and can only be structurally validated (references exist and are IN).
Summary
Premises carry a pointer back to the exact code that created them, so the system can automatically detect when the underlying code changes and flag them as potentially stale. Derived beliefs lack this kind of anchor — their validity depends entirely on whether the beliefs they were derived from still hold, not on any direct connection to source code.
Details
| Source | entries/2026/05/05/epistemology-of-derived-beliefs.md |