ArtifactKeep the thing inspectable.
ConstraintLet validators stay hard.
ResidualLearn what rules cannot settle.

Proof

Method

Commercial Surface

Archive