{
  "behavioural_suite": {
    "included": false,
    "why": "the policy's behavioural suite drives a hosted model, so its result is not a file this engine can reproduce; the corpus holds what the engine decides"
  },
  "config": null,
  "engine": {
    "build": "FRAT",
    "commit": "9a7b248691f9a1f1e60c94a7e7f64cd9504e5a11"
  },
  "environment": {
    "OMP_NUM_THREADS": "1"
  },
  "files": [
    {
      "file": "policy.co",
      "kind": "policy",
      "obligation": "",
      "sha256": "470bfaea5ca9297edde3c6f9dd1287ac090b0db94091edd9bf067c4d63c22ec5"
    },
    {
      "file": "properties.json",
      "kind": "properties",
      "obligation": "",
      "sha256": "a2c852b894835722ad786069b12e3cf29dfea9f514f28ec1c7e2fab1523fbda3"
    },
    {
      "file": "FCA-01a/proof.result.json",
      "kind": "result",
      "obligation": "FCA-01a",
      "profile": "proof",
      "sha256": "ca2fe0e857a2e6ac9d31323c6470c4c0c2bf1f496f3dcad0b6b1342fabd59f83"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-01a/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-01a",
      "profile": "proof",
      "sha256": "6ed9c0c6dc1f644364ea3a819100b14efadd14578d656d3dbe24b4c4fb53e4ea"
    },
    {
      "file": "FCA-01a/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-01a",
      "profile": "proof",
      "sha256": "68c0ad211daeee7ae68132992b0684ec0749a89a976e5fa38703950f3e056123"
    },
    {
      "file": "FCA-01a/patch.result.json",
      "kind": "result",
      "obligation": "FCA-01a",
      "profile": "patch",
      "sha256": "4236fbce5c3142408c29de361808d62ac6bd946105f36a4bedba7c6dc2ac8fbf"
    },
    {
      "expected_check": "verified",
      "file": "FCA-01a/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-01a",
      "profile": "patch",
      "sha256": "110b26e1453d1118dbb503413abbdb3c5aa649387e40dfc42f4404932fbab023"
    },
    {
      "file": "FCA-01a/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-01a",
      "profile": "patch",
      "sha256": "a9a67f01fdf154238675be8bd56f75611afd0085e4cf8e04ab553598f18c4a64"
    },
    {
      "file": "FCA-01a/frat/result.json",
      "kind": "result",
      "obligation": "FCA-01a",
      "profile": "proof",
      "sha256": "1830fc19f9ece53f4e78b0466bd7ba0cda51c7a5a440ccfb274140eadf6efdf0"
    },
    {
      "file": "FCA-01a/frat/phase0.cnf",
      "kind": "frat_cnf",
      "obligation": "FCA-01a",
      "profile": "proof",
      "sha256": "18b942923ffcd94b37b605d01d273d395d623592765d16b17d4afc3b210d28fd"
    },
    {
      "file": "FCA-01a/frat/phase0.frat",
      "kind": "frat_proof",
      "obligation": "FCA-01a",
      "profile": "proof",
      "sha256": "db81a584c3de98ec584f350c80b518adddeb7aac52565886ca676b64753c9aff"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-01a/frat/certificate.json",
      "kind": "frat_certificate",
      "obligation": "FCA-01a",
      "profile": "proof",
      "sha256": "17a18a2d74323be8a9210b7631bd5efcc99d7b45ecd702d98f1421370273630c"
    },
    {
      "file": "FCA-01b/proof.result.json",
      "kind": "result",
      "obligation": "FCA-01b",
      "profile": "proof",
      "sha256": "f0b800301ad5881ced7566e77ddcb9ab35efd8cdf5332a0d84ef90a30d5a96e3"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-01b/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-01b",
      "profile": "proof",
      "sha256": "944ba3ee325aceb74f94a2856a54c82c1537c08c0015b298ab525770c5f2c3b7"
    },
    {
      "file": "FCA-01b/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-01b",
      "profile": "proof",
      "sha256": "3b89aa5b24458d7ea05b8ae03a1f238136d5de2c8d4cc96803b22b982b644c2f"
    },
    {
      "file": "FCA-01b/patch.result.json",
      "kind": "result",
      "obligation": "FCA-01b",
      "profile": "patch",
      "sha256": "af483e6bad747b7d9ebd975be49acc016305a71f5368013c2f950fb070309ef6"
    },
    {
      "expected_check": "verified",
      "file": "FCA-01b/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-01b",
      "profile": "patch",
      "sha256": "ab8ef70e8a4332ca1e28be23fb1fc6699a32b4781a16db4fa7ef9cd5f2e30d17"
    },
    {
      "file": "FCA-01b/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-01b",
      "profile": "patch",
      "sha256": "f534901aa01c97cdca217c6d15ef7095252494dbd71e264e6a4e829552da885b"
    },
    {
      "file": "FCA-02/proof.result.json",
      "kind": "result",
      "obligation": "FCA-02",
      "profile": "proof",
      "sha256": "09f61d59301f4896364cb4e13ecc497e33b5e083c986b0ec4092a6515e753165"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-02/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-02",
      "profile": "proof",
      "sha256": "e43b4fc40af251f4a3f2f6cefaaf5cc7cc18989ce163c732999cce615ee3ab0b"
    },
    {
      "file": "FCA-02/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-02",
      "profile": "proof",
      "sha256": "0aaf10a34f6d0a449f468e50937fa467aca020e5183272898f59245803d640e3"
    },
    {
      "file": "FCA-02/patch.result.json",
      "kind": "result",
      "obligation": "FCA-02",
      "profile": "patch",
      "sha256": "8b990c0b872522cdfbc8611b9fd63bbdac4e01161a2713440a150b2441d09ce6"
    },
    {
      "expected_check": "verified",
      "file": "FCA-02/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-02",
      "profile": "patch",
      "sha256": "390390cc509b36b0844c7b24db1bb6ce8b02b0a14da882048db6bc014079af7d"
    },
    {
      "file": "FCA-02/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-02",
      "profile": "patch",
      "sha256": "8bd225678794ccadcb7c279869c7ad230673cd712546b40925e8e23c9a948b19"
    },
    {
      "file": "FCA-03/proof.result.json",
      "kind": "result",
      "obligation": "FCA-03",
      "profile": "proof",
      "sha256": "16a472122f81e98130fd40f39a885f81b50a4879bfad3cd0ad0088842d1108ce"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-03/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-03",
      "profile": "proof",
      "sha256": "71a56ba163ad3cfdbc0bd6e12f96e03ec04ef8e26948c73de3352ba53b2afdb8"
    },
    {
      "file": "FCA-03/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-03",
      "profile": "proof",
      "sha256": "df54bc58a7b65904d8e6512ef00e793711f9d3600cda7b0783869e8547a96696"
    },
    {
      "file": "FCA-03/patch.result.json",
      "kind": "result",
      "obligation": "FCA-03",
      "profile": "patch",
      "sha256": "8a8b3f5dc6d029f80a4bb833d4df171a2b56ac87aa50a3507e764495809ed5c7"
    },
    {
      "expected_check": "verified",
      "file": "FCA-03/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-03",
      "profile": "patch",
      "sha256": "7fb5c115ba27bd83c820ff8033477528f488bde73590d8578fed40de9a358505"
    },
    {
      "file": "FCA-03/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-03",
      "profile": "patch",
      "sha256": "b1f677d8cd602498473d1e419185144c15ca9d9a0b03ec56edf23640a283890e"
    },
    {
      "file": "FCA-04/proof.result.json",
      "kind": "result",
      "obligation": "FCA-04",
      "profile": "proof",
      "sha256": "e6b2fac24cfaf0124756c38fb834cf5af19a7117259578c210747ca6ba8e8e69"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-04/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-04",
      "profile": "proof",
      "sha256": "19733359b003a48d77cb3e062584aa4c28c191e2a77c2ba559e28ed987c557a3"
    },
    {
      "file": "FCA-04/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-04",
      "profile": "proof",
      "sha256": "09417e0d51d7b122915a991b96e8dfb74e48e34a2db98ae8589b24d67c5b4d3c"
    },
    {
      "file": "FCA-04/patch.result.json",
      "kind": "result",
      "obligation": "FCA-04",
      "profile": "patch",
      "sha256": "f57b98303f93ea983b5044fca4fca51d9d82a481fae3b03ebc26469cfea1f7e5"
    },
    {
      "expected_check": "verified",
      "file": "FCA-04/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-04",
      "profile": "patch",
      "sha256": "ea746a305ec3af8e271e3c5b560a5d1e3c8eb94b1dc9c4e9c0a9a8d8d62ab421"
    },
    {
      "file": "FCA-04/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-04",
      "profile": "patch",
      "sha256": "b2c3095236466c99ed8eeb6a6218add4632ce9a227e823d4a6424e7902cac060"
    },
    {
      "file": "FCA-05/patch.result.json",
      "kind": "result",
      "obligation": "FCA-05",
      "profile": "patch",
      "sha256": "012aaca1046273026b1b85f6d324f78725742c34f658b7e8b0360492148f00a0"
    },
    {
      "expected_check": "verified",
      "file": "FCA-05/patch.certificate.json",
      "kind": "patched_certificate",
      "obligation": "FCA-05",
      "profile": "patch",
      "sha256": "7ddb6409cff9c2f3aa440824cfbaf08333a4d806a67ad3064d46e07b51e0ae05"
    },
    {
      "file": "FCA-05/patched.co",
      "kind": "patched_policy",
      "obligation": "FCA-05",
      "profile": "patch",
      "sha256": "33921cb9e292701156fcdf731f98eb204011a32431b08100df5c7a35526114a4"
    },
    {
      "file": "FCA-05/patch.proof.txt",
      "kind": "safety_proof",
      "obligation": "FCA-05",
      "profile": "patch",
      "sha256": "282e022471af13f6efcc02e605a75cb6b950c7203c78a31e291b88a0a091b15d"
    },
    {
      "file": "FCA-06/proof.result.json",
      "kind": "result",
      "obligation": "FCA-06",
      "profile": "proof",
      "sha256": "eb614d42c4ad62f09255ecf46216e9adb5f7ed8ea135411ac608fcef5f65c087"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-06/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-06",
      "profile": "proof",
      "sha256": "9cff8694e04203bb5c5f1c7a06f2bd2ce0d1752984473ad03a3fe8237c5473fa"
    },
    {
      "file": "FCA-06/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-06",
      "profile": "proof",
      "sha256": "d466bbb8bf62017a0b615620200684bbb4b69758100b9dd4dc5a6e2edea45985"
    },
    {
      "file": "FCA-06/patch.result.json",
      "kind": "result",
      "obligation": "FCA-06",
      "profile": "patch",
      "sha256": "d1fd118f1a8cefa6793e169f83e307364da6324311af8431cc0bae3f7377091c"
    },
    {
      "expected_check": "verified",
      "file": "FCA-06/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-06",
      "profile": "patch",
      "sha256": "d3a8c6b13ffd9167ab69d1675cd05b0206b6d598ef6ed488cc405aaee9471c3a"
    },
    {
      "file": "FCA-06/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-06",
      "profile": "patch",
      "sha256": "ccfd5ef5ae4914a8d845bc3814abbc6fc75c83dba5f5de1009a3586ba40d918e"
    },
    {
      "file": "FCA-07/patch.result.json",
      "kind": "result",
      "obligation": "FCA-07",
      "profile": "patch",
      "sha256": "83c3da6d1bf9db73ab875e3c5a3aee5bf1169dd0803941c97f899633b4071ad9"
    },
    {
      "expected_check": "verified",
      "file": "FCA-07/patch.certificate.json",
      "kind": "patched_certificate",
      "obligation": "FCA-07",
      "profile": "patch",
      "sha256": "2496424c4680814191483d289d9d5180871efc58b69ea9fa0cea27b55ce3da9c"
    },
    {
      "file": "FCA-07/patched.co",
      "kind": "patched_policy",
      "obligation": "FCA-07",
      "profile": "patch",
      "sha256": "6afb39e0339e99e2641b7295560738ec8f9d33f801de343bfb5834d7e1dd9c44"
    },
    {
      "file": "FCA-07/patch.proof.txt",
      "kind": "safety_proof",
      "obligation": "FCA-07",
      "profile": "patch",
      "sha256": "f15993e6b9e15369a36198a57e01004b0ad782b29fef48628f19bb33a184941a"
    },
    {
      "file": "FCA-08/proof.result.json",
      "kind": "result",
      "obligation": "FCA-08",
      "profile": "proof",
      "sha256": "d4ef19b4376de8d9e648c21ca9489682acc8453699893849bada7b923255e052"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-08/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-08",
      "profile": "proof",
      "sha256": "2816c7d679d1483df24872bfb1250e1e1c97ecdf62cb540bf7ecbf7bc9eda689"
    },
    {
      "file": "FCA-08/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-08",
      "profile": "proof",
      "sha256": "87acf3fb15e90e92bcf6550cfeaee105bfa41e852476ca24ed8b0ea55c0c2346"
    },
    {
      "file": "FCA-08/patch.result.json",
      "kind": "result",
      "obligation": "FCA-08",
      "profile": "patch",
      "sha256": "c7bce5f2eb8a2e9c17b478407887aff7af7243986fe71fa46ca9542405635e0e"
    },
    {
      "expected_check": "verified",
      "file": "FCA-08/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-08",
      "profile": "patch",
      "sha256": "ad227f5a0aaef4293d6baa4f9baeced5b9e710966869212787b0f2f6a457d1a3"
    },
    {
      "file": "FCA-08/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-08",
      "profile": "patch",
      "sha256": "39311f9203ad51191188df2300f2788fa145c2186bf4b6850bcc9f71e5c1ac14"
    },
    {
      "file": "FCA-09a/proof.result.json",
      "kind": "result",
      "obligation": "FCA-09a",
      "profile": "proof",
      "sha256": "5493cabe2017ef6e8b777e9d732bed2799f9cb0eba2ecbb9728f99e7f877f8ea"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-09a/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-09a",
      "profile": "proof",
      "sha256": "2d487c18c58c12a68c9c3f76ac0418c3e1b8f1c8fd4df709dbba9b078c6c511a"
    },
    {
      "file": "FCA-09a/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-09a",
      "profile": "proof",
      "sha256": "cb05ba10973fc5009af290bd5e7144c02b4568629f00570500f3eb16bac6a631"
    },
    {
      "file": "FCA-09a/patch.result.json",
      "kind": "result",
      "obligation": "FCA-09a",
      "profile": "patch",
      "sha256": "6a0fb263754ae2f5a3c66e19e157a78f149bd4794bc376f1d6f5ed0f1e6bfe1f"
    },
    {
      "expected_check": "verified",
      "file": "FCA-09a/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-09a",
      "profile": "patch",
      "sha256": "0d0713aeaa1fc7b9ee025dfb87ce93d3f9e6e9e26a6e5bd5bab950b2a3493f92"
    },
    {
      "file": "FCA-09a/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-09a",
      "profile": "patch",
      "sha256": "75c63058325f5aa7cb3f117487db830238a3af2dc04376b9998ca198bae3ccf8"
    },
    {
      "file": "FCA-09b/proof.result.json",
      "kind": "result",
      "obligation": "FCA-09b",
      "profile": "proof",
      "sha256": "3995b4f5bcce1b3f30500d8920621abb3d07636933dc1b5f8bb6813a790b28ea"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-09b/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-09b",
      "profile": "proof",
      "sha256": "270a2482c61292c316323750e9ed187c96ee9b2ed8a9c4b9aca6539a88168466"
    },
    {
      "file": "FCA-09b/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-09b",
      "profile": "proof",
      "sha256": "4cfd166a084abf6205f0a76738b7fe42a22b9899ed91c8ff54b134fbd4fb784e"
    },
    {
      "file": "FCA-09b/patch.result.json",
      "kind": "result",
      "obligation": "FCA-09b",
      "profile": "patch",
      "sha256": "45252a56081ed0e8ccdd693da3c1f72691820c2a1e106107f8139714a95e3fba"
    },
    {
      "expected_check": "verified",
      "file": "FCA-09b/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-09b",
      "profile": "patch",
      "sha256": "5a1a401923fc5d1bab9ee5f9e016b3ef2a8b94b0d5871946e4aa5973cfc98248"
    },
    {
      "file": "FCA-09b/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-09b",
      "profile": "patch",
      "sha256": "4c98c84ee474a3f7718304e34e0e26327f0775f7b9d6922c0d613fcc3aa06893"
    },
    {
      "file": "FCA-10a/proof.result.json",
      "kind": "result",
      "obligation": "FCA-10a",
      "profile": "proof",
      "sha256": "9d165c78458561b3105b71252db4b818a86d668a5162df309694c8652da7aaf6"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-10a/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-10a",
      "profile": "proof",
      "sha256": "478a323f1b2ad057ea9dd4084156da256d981bd3fc3a0422530773a03dda6b57"
    },
    {
      "file": "FCA-10a/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-10a",
      "profile": "proof",
      "sha256": "f55e659073cefe855e56d41f8d89c4a9d3f0aa3534fe1ad4e7bd8020a672d94f"
    },
    {
      "file": "FCA-10a/patch.result.json",
      "kind": "result",
      "obligation": "FCA-10a",
      "profile": "patch",
      "sha256": "afde0ad4708d8ac319e3fefe9feeadd0ee259e6ae4db899f85821f4cdfbcb832"
    },
    {
      "expected_check": "verified",
      "file": "FCA-10a/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-10a",
      "profile": "patch",
      "sha256": "10573fbbf498eb5823df778ba2c15ad8c30321459b4a2e7ce76b4ee617387870"
    },
    {
      "file": "FCA-10a/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-10a",
      "profile": "patch",
      "sha256": "3158e02fdbf5c6c776e686979725cde58aa3ed4703cf6adda74f4360dbe4ce95"
    },
    {
      "file": "FCA-10b/proof.result.json",
      "kind": "result",
      "obligation": "FCA-10b",
      "profile": "proof",
      "sha256": "fb6762bb4efcc0559c9e48e4214d0782ed750f5dfdb618684283bbc6b25c2459"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-10b/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-10b",
      "profile": "proof",
      "sha256": "f6527353dc4ea304d85949e8d720d902cbe13e4ef7b49df20426ceb581c494e1"
    },
    {
      "file": "FCA-10b/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-10b",
      "profile": "proof",
      "sha256": "7934415215395020fa224b92999ca82607b0823b610179f68d446107b3ad29ca"
    },
    {
      "file": "FCA-10b/patch.result.json",
      "kind": "result",
      "obligation": "FCA-10b",
      "profile": "patch",
      "sha256": "38635d50acfd04ae4e7a353430301dc47c0d780bc1ffbdadf6b6fb7dfec08d00"
    },
    {
      "expected_check": "verified",
      "file": "FCA-10b/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-10b",
      "profile": "patch",
      "sha256": "74218679ba2e105595737dd5b523ff455ae1775dc5b09ef651257d869dea3122"
    },
    {
      "file": "FCA-10b/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-10b",
      "profile": "patch",
      "sha256": "4358e0aadab52e9b771ff5c40acf54f60fdf2922348b0689340ccd2763ccde6f"
    },
    {
      "file": "FCA-11/proof.result.json",
      "kind": "result",
      "obligation": "FCA-11",
      "profile": "proof",
      "sha256": "5dfc23896df6f8f013419c38e80465cb37711f7ffd6550382a0495903f89a8d9"
    },
    {
      "expected_check": "not_self_contained",
      "file": "FCA-11/proof.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-11",
      "profile": "proof",
      "sha256": "dc6a516e7533223dff027adeb6f763be61863f8dfbb4b0caf075361e10dde4e3"
    },
    {
      "file": "FCA-11/proof.proof.txt",
      "kind": "proof",
      "obligation": "FCA-11",
      "profile": "proof",
      "sha256": "1ded4192b860df43dfec1027df9a78d297a52745414ed77c7428570bfbd8c1f4"
    },
    {
      "file": "FCA-11/patch.result.json",
      "kind": "result",
      "obligation": "FCA-11",
      "profile": "patch",
      "sha256": "2a6aa39e73baed934409771484ec2e19be2e847e84e6d4628fe524067856fb83"
    },
    {
      "expected_check": "verified",
      "file": "FCA-11/patch.certificate.json",
      "kind": "certificate",
      "obligation": "FCA-11",
      "profile": "patch",
      "sha256": "9d7abf07452f755b7e289ed629a2905e0f5834a227dd6f237d6a65cf192d5d81"
    },
    {
      "file": "FCA-11/patch.proof.txt",
      "kind": "proof",
      "obligation": "FCA-11",
      "profile": "patch",
      "sha256": "1def4ac1b948f8f8468a68f4e97d69e8fc77c4f0af10a92c4e421f722b623fca"
    }
  ],
  "format": "qls-corpus/1",
  "profiles": {
    "patch": "Phase 0 off; every refutation derived",
    "proof": "Phase 0 decides; an asserted refutation is admitted"
  },
  "provenance": [
    {
      "owner": "Stalwart Technologies Ltd",
      "policy": "policy.co",
      "replacements": [],
      "source": "Written by Stalwart from the Financial Conduct Authority's published rules it cites (the Consumer Duty, COBS, MCOB and the financial promotion rules); no clause derives from a customer's material."
    }
  ],
  "run_date": "2026-10-13"
}