Your wording is preserved exactly as written. Hard constraints are checked deterministically; the purpose and semantic condition are what the checkpoint reasons about later. Once activated, this policy is frozen.
Intent, in your own words
Hard constraints · decided deterministically, before any model runs
Evidence policy · frozen on activation, never set by the agent
Agent and expiry
Connect the principal wallet to sign this transaction.