A practical compaction primitive is a synthesis checkpoint. New syntheses should form a chain, each describing the current position and linking the evidence and unresolved branches it still considers live. Older subtrees remain available but stop being default navigation.