Definition. Versioned harness configuration [ftip-00C6]
✍️source

    Let \(\mathcal I_{\rm har}\) be a content-identifier space. A versioned harness configuration is a finite record \(\kappa ^{\rm har}\in \mathcal I_{\rm har}\) that resolves the active-context assembly rule, managed-computation interface, tool permissions, session and message semantics, compaction policy, persistent-state schema, refinement policy, recovery rule, and implementation versions.

    Together with a state \(\Xi \), the record resolves a non-anticipating harness policy. Changing one field produces a different declared intervention even when the executable model artifact is unchanged. The record does not include an evaluation binding; that is a separate record coordinate.