restoration

Status: IN

When a retracted node comes back IN, dependents are recomputed — no manual rederivation needed. The TMS tracks structure so restoration is automatic

Source: repo:beliefs-pi/CLAUDE.md

Justifications

JSON