{
  "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": "2873f86f0c72cf838b30d9e3aac47844d37f8745"
  },
  "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": "4efaa3add8f51a6d6e133945b321a196665ce9e955f5a053ec0aa616ae15793c"
    },
    {
      "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": "944738da31cf673268ad8e46fea7a8c8e5afec3d5c610447b57c8126d46b06b4"
    },
    {
      "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": "d87f439b591a2b687aee4932ff60b0d71309717f6f66cd06163e2caa64df02c5"
    },
    {
      "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": "78104b6826af4e6785364c0b93801d6a649b0c6371ef993d2b5e08fce99c9c61"
    },
    {
      "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": "9cc0031b24a0d0f269c67b27a82d90278d6be2e90b5fa0d4e18ecda6ba1af16d"
    },
    {
      "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": "f1aa72f8154fcc527c46d6fc11fe606667811589297533afc516c05a08396d9a"
    },
    {
      "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": "1fa02b29bc2414fbd7d34cd2269d3b7611f9a8bda6095da6cd3ac1f0c36d21fa"
    },
    {
      "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": "cb4f09aca17d6abcb3dc5c8975c92a35af4743ce4dd1927387dbee49b2b6f25a"
    },
    {
      "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": "6bc04c45b05bb608380650df22be28bd64ca0e0797748de09728be2e160f12b8"
    },
    {
      "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": "c87bc0190eff7506809339d9428704d4e460a27b02abc1da6318dec8b5952f02"
    },
    {
      "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": "5a2fc4783c86f1b4d83a8942f2814c8ada42722d160e5391d0373af438293d38"
    },
    {
      "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": "46c6ad71a09ff2f90386ada8282afac6c7376e3fa53af60062b9d0acb4fe88d4"
    },
    {
      "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": "4934e1a0809b1d2fb5748533fb18c62fb8579a5031895eb0d3a7cd866414ff91"
    },
    {
      "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": "e00b30070a3978d48f7d270834a03cdc2e6835d32309a6f9d649c77c75ec9bc6"
    },
    {
      "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": "8082e20ed04615a3d16905fd2e4f2d4ef1839b32ad9c358b6931a1e51045c474"
    },
    {
      "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": "c678f607cf8e45730f555318bd986609215ac5761666ed8944d046eda2381726"
    },
    {
      "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": "bd1c731ce64b3a19995e4778f8e7ed00f005fe92a50465df43348f061b4de3cc"
    },
    {
      "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": "d23dbf42e06df78d34e503b559ca5de5f86ea640af8e13793d2aa06dda578cf3"
    },
    {
      "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": "1f48cbd1d8fcc6406692d368c3d138d606340018a92406a9309129b477997305"
    },
    {
      "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": "d83de7986ad729291076277e7b272c7cf195d1edf6a23238c0089d8556111003"
    },
    {
      "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": "e766e5235cf6cc67b18049ed5fc380916724cae229b35d3d6870d3e6f5f9d7f1"
    },
    {
      "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": "1f7136bacec96901bc4591e624dea58246146ceebd6dbd2bdd64dc74f0ff00d1"
    },
    {
      "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": "c895523a5c9f37ce0e7ff1e5571a2280f11f1729c92a7d6a4dee89586491ce8d"
    },
    {
      "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": "0a6b43cbf1abdb002c7bdcfc59530e918ee6173c4d4d6c83197cd3a3829f2640"
    },
    {
      "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": "cca89e2fb9f8f746a8d19212c2c74591fd2e592176645f19455d2bda694c3b59"
    },
    {
      "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": "21354a307a6873ddd2970f91f2f880610a1fcde11b1fc8449d765fab6094880b"
    },
    {
      "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": "5cd4e34de0ee092a1742cfc884a78f46a51b7edbfb8c516bb5593c80cf3e391e"
    },
    {
      "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-23"
}