! Pragma

Pragma uses the same commit mark as other actions, !. It names one constraint the surface obeys.

^"pragma_contract"{

Contract

Apply or inspect one named constraint. Neighboring surfaces stay as they were, and the constraint can be read before it acts.

The mark is force with a reason. The reason stays readable on the boundary while the force is still held.

The brace holds one named force. The reason sits on the boundary, and the force stays inside that scope.

Prefix !x applies force before contact. Postfix x! marks a discharged force or constraint after contact.

?["pragma_example"]

#!pragmatics
#!runtime
#!reduced_motion

Take this example apart in the parser: each mark becomes a token you can inspect, and the parser says whether the source rebuilds exactly.

~"operator_ring"