out-beliefs-imported-without-justifications

IN premise

Beliefs that are OUT or STALE in the source are imported with an empty justification list, preventing `recompute_all` from resurrecting them to IN

Summary

When beliefs are exported from one system and imported into another, any that were marked as retracted or stale in the original system come in without any supporting justifications. This means the automatic recomputation process cannot accidentally flip them back to active status, preserving the original system's retraction decisions across the import boundary.

Dependents

These beliefs depend on this one:

import-handles-heterogeneous-truth-states — The import pipeline handles mixed truth states: OUT/STALE beliefs arrive without justifications, topological sort tolerates cycles, and two-phase truth maintenance reconciles everything post-import

Details

Source

entries/2026/04/23/reasons_lib-import_agent.md