Provable
Composer
Proves: the Gate checks every line before it can ship — you can hold a fact, but you can’t recite it.
Try it
Load an example — watch the Gate block any line that recites a hold fact and name its source.
The creepiness invariant: a hold fact can never reach copy — enforced, not hoped.