Kirkaldy Conformance Properties for Agent Infrastructure

A catalogue of testable properties of agent infrastructure (approval engines, gateways, durable execution engines, sandboxes and agent runtimes), and a method for testing them against pinned versions of real products. The properties ask whether the system around an agent stops it from doing what it should not, keeps what it was authorised to do, and records what happened. Version 0.1 defines properties KRK-1 to KRK-15, and four cross-organisation properties, KRK-16 to KRK-19, which are provisional in this version: effect receipt, reconcilable two-sided record, payload bound and single use, and withdrawal within a stated time. The method requires a held control that does not itself require the guarantee under test, and known-bad fixtures that must fail, pass and give no verdict. It sets rules for when a verdict lapses. It includes a catalogue of 65 measurement errors (KRK-M1 to KRK-M66), each with the check that now prevents it. The document contains no product results.