lin-0226
Design lesson
SID turns local-to-global structure into a learning interface. The cover localizes responsibility; the equalizer distinguishes compatibility from effectivity; tangent descent preserves admissible families; transverse repair returns obstructed families toward them; and admission prevents numerical agreement from being mistaken for global truth. This is the sheaf-theoretic core behind foundry persistence.