CAPTURE-CONTRACT defines the INVOCORDER capture contract for machine-action evidence.
A capture contract defines what must be recorded, what may be omitted only with declaration, and what must never be claimed.
INVOCORDER records boundary facts before anyone argues about what they mean.