{
  "certificate": {
    "certificate_type": "algebraic",
    "control_integrity": {
      "checked": true,
      "clean": true,
      "findings": []
    },
    "detail": "full",
    "detection": {
      "atoms": [],
      "bound": null,
      "computed": true,
      "dependent": false,
      "uncalibrated": []
    },
    "final_step": {
      "inputs": [
        2601,
        2537
      ],
      "instruction": "Compute the linear combination of the final inputs to derive 0 = 1.",
      "op": "ADD"
    },
    "format_version": 1,
    "operations": [
      {
        "equation": "x2 = 1",
        "id": 23,
        "named_equation": "$personal_recommendation = 1",
        "op": "INSERT",
        "pin": {
          "name": "personal_recommendation",
          "value": 1
        },
        "pivot": 3,
        "reads_as": "$personal_recommendation holds",
        "source": "original-S2"
      },
      {
        "base_id": 23,
        "id": 1469,
        "multiplier": "x1",
        "op": "MULTIPLY"
      },
      {
        "equation": "x1*x2 + x50 = 0",
        "id": 30,
        "named_equation": "ask about specific fund*$personal_recommendation + aux_50 = 0",
        "op": "INSERT",
        "pivot": 150,
        "source": "original-S1"
      },
      {
        "id": 1470,
        "op": "ADD",
        "parents": [
          1469,
          30
        ]
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 219
        },
        "equation": "x11 = 1",
        "id": 2,
        "named_equation": "x11 = 1",
        "op": "INSERT",
        "pivot": 12,
        "reads_as": "x11 holds",
        "source": "original-S2"
      },
      {
        "base_id": 2,
        "id": 191,
        "multiplier": "x50",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 222
        },
        "equation": "x11*x50 + x13 + x9 = 0",
        "id": 32,
        "named_equation": "x11*aux_50 + x13 + x9 = 0",
        "op": "INSERT",
        "pivot": 873,
        "source": "original-S1"
      },
      {
        "id": 192,
        "op": "ADD",
        "parents": [
          191,
          32
        ],
        "pivot": 51
      },
      {
        "id": 1471,
        "op": "ADD",
        "parents": [
          1470,
          192
        ],
        "pivot": 14
      },
      {
        "base_id": 1471,
        "id": 2301,
        "multiplier": "x49",
        "op": "MULTIPLY",
        "pivot": 995
      },
      {
        "equation": "x1*x48 + x49 = 0",
        "id": 29,
        "named_equation": "ask about specific fund*aux_48 + aux_49 = 0",
        "op": "INSERT",
        "pivot": 196,
        "source": "original-S1"
      },
      {
        "id": 2369,
        "op": "ADD",
        "parents": [
          2301,
          29
        ]
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 214
        },
        "equation": "x8*x49 + x9 = 0",
        "id": 31,
        "named_equation": "x8*aux_49 + x9 = 0",
        "op": "INSERT",
        "pivot": 680,
        "source": "original-S1"
      },
      {
        "id": 2370,
        "op": "ADD",
        "parents": [
          2369,
          31
        ]
      },
      {
        "base_id": 29,
        "id": 1676,
        "multiplier": "x1",
        "op": "MULTIPLY",
        "pivot": 197
      },
      {
        "id": 2371,
        "op": "ADD",
        "parents": [
          2370,
          1676
        ]
      },
      {
        "base_id": 31,
        "id": 1681,
        "multiplier": "x49",
        "op": "MULTIPLY",
        "pivot": 745
      },
      {
        "id": 2372,
        "op": "ADD",
        "parents": [
          2371,
          1681
        ]
      },
      {
        "base_id": 2372,
        "id": 2373,
        "multiplier": "x13",
        "op": "MULTIPLY"
      },
      {
        "equation": "x11*x50 + x51 = 0",
        "id": 33,
        "named_equation": "x11*aux_50 + aux_51 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "id": 34,
        "op": "ADD",
        "parents": [
          33,
          32
        ],
        "pivot": 52
      },
      {
        "base_id": 34,
        "id": 1690,
        "multiplier": "x9",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 222
        },
        "equation": "x9*x51 + x14 + x13 = 0",
        "id": 35,
        "named_equation": "x9*aux_51 + x14 + x13 = 0",
        "op": "INSERT",
        "pivot": 747,
        "source": "original-S1"
      },
      {
        "id": 1691,
        "op": "ADD",
        "parents": [
          1690,
          35
        ],
        "pivot": 709
      },
      {
        "id": 2374,
        "op": "ADD",
        "parents": [
          2373,
          1691
        ],
        "pivot": 15
      },
      {
        "base_id": 2374,
        "id": 2511,
        "multiplier": "x31",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 231
        },
        "equation": "x21*x50 + x22 + x14 = 0",
        "id": 38,
        "named_equation": "x21*aux_50 + x22 + x14 = 0",
        "op": "INSERT",
        "pivot": 1448,
        "source": "original-S1"
      },
      {
        "base_id": 38,
        "id": 1743,
        "multiplier": "x50",
        "op": "MULTIPLY",
        "pivot": 1500
      },
      {
        "id": 2305,
        "op": "ADD",
        "parents": [
          1743,
          35
        ]
      },
      {
        "id": 2306,
        "op": "ADD",
        "parents": [
          2305,
          38
        ]
      },
      {
        "id": 2307,
        "op": "ADD",
        "parents": [
          2306,
          1691
        ]
      },
      {
        "base_id": 35,
        "id": 1734,
        "multiplier": "x51",
        "op": "MULTIPLY"
      },
      {
        "base_id": 34,
        "id": 1693,
        "multiplier": "x14",
        "op": "MULTIPLY",
        "pivot": 1057
      },
      {
        "id": 1735,
        "op": "ADD",
        "parents": [
          1734,
          1693
        ]
      },
      {
        "base_id": 34,
        "id": 1692,
        "multiplier": "x13",
        "op": "MULTIPLY",
        "pivot": 997
      },
      {
        "id": 1736,
        "op": "ADD",
        "parents": [
          1735,
          1692
        ],
        "pivot": 960
      },
      {
        "id": 2308,
        "op": "ADD",
        "parents": [
          2307,
          1736
        ]
      },
      {
        "base_id": 192,
        "id": 2078,
        "multiplier": "x14",
        "op": "MULTIPLY",
        "pivot": 1056
      },
      {
        "id": 2309,
        "op": "ADD",
        "parents": [
          2308,
          2078
        ]
      },
      {
        "base_id": 2309,
        "id": 2310,
        "multiplier": "x22",
        "op": "MULTIPLY"
      },
      {
        "id": 2311,
        "op": "ADD",
        "parents": [
          2310,
          1743
        ]
      },
      {
        "id": 2312,
        "op": "ADD",
        "parents": [
          2311,
          38
        ]
      },
      {
        "id": 2313,
        "op": "ADD",
        "parents": [
          2312,
          2078
        ]
      },
      {
        "equation": "x21*x50 + x52 = 0",
        "id": 39,
        "named_equation": "x21*aux_50 + aux_52 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "id": 40,
        "op": "ADD",
        "parents": [
          39,
          38
        ],
        "pivot": 53
      },
      {
        "base_id": 40,
        "id": 1753,
        "multiplier": "x14",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 231
        },
        "equation": "x14*x52 + x23 + x22 = 0",
        "id": 41,
        "named_equation": "x14*aux_52 + x23 + x22 = 0",
        "op": "INSERT",
        "pivot": 1058,
        "source": "original-S1"
      },
      {
        "id": 1754,
        "op": "ADD",
        "parents": [
          1753,
          41
        ],
        "pivot": 1028
      },
      {
        "id": 2314,
        "op": "ADD",
        "parents": [
          2313,
          1754
        ]
      },
      {
        "base_id": 192,
        "id": 2085,
        "multiplier": "x22",
        "op": "MULTIPLY"
      },
      {
        "id": 2086,
        "op": "ADD",
        "parents": [
          2085,
          1743
        ]
      },
      {
        "id": 2087,
        "op": "ADD",
        "parents": [
          2086,
          38
        ]
      },
      {
        "id": 2088,
        "op": "ADD",
        "parents": [
          2087,
          2078
        ],
        "pivot": 968
      },
      {
        "id": 2315,
        "op": "ADD",
        "parents": [
          2314,
          2088
        ],
        "pivot": 24
      },
      {
        "base_id": 2315,
        "id": 2393,
        "multiplier": "x31",
        "op": "MULTIPLY"
      },
      {
        "equation": "x30*x50 + x53 = 0",
        "id": 45,
        "named_equation": "x30*aux_50 + aux_53 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 235
        },
        "equation": "x30*x50 + x31 + x23 = 0",
        "id": 44,
        "named_equation": "x30*aux_50 + x31 + x23 = 0",
        "op": "INSERT",
        "pivot": 1880,
        "source": "original-S1"
      },
      {
        "id": 46,
        "op": "ADD",
        "parents": [
          45,
          44
        ],
        "pivot": 54
      },
      {
        "base_id": 46,
        "id": 1820,
        "multiplier": "x23",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 235
        },
        "equation": "x23*x53 + x32 + x31 = 0",
        "id": 47,
        "named_equation": "x23*aux_53 + x32 + x31 = 0",
        "op": "INSERT",
        "pivot": 1554,
        "source": "original-S1"
      },
      {
        "id": 1821,
        "op": "ADD",
        "parents": [
          1820,
          47
        ],
        "pivot": 1532
      },
      {
        "id": 2394,
        "op": "ADD",
        "parents": [
          2393,
          1821
        ],
        "pivot": 1037
      },
      {
        "id": 2512,
        "op": "ADD",
        "parents": [
          2511,
          2394
        ]
      },
      {
        "base_id": 192,
        "id": 2096,
        "multiplier": "x31",
        "op": "MULTIPLY"
      },
      {
        "base_id": 44,
        "id": 1803,
        "multiplier": "x50",
        "op": "MULTIPLY",
        "pivot": 1923
      },
      {
        "id": 2097,
        "op": "ADD",
        "parents": [
          2096,
          1803
        ]
      },
      {
        "id": 2098,
        "op": "ADD",
        "parents": [
          2097,
          44
        ]
      },
      {
        "base_id": 192,
        "id": 2089,
        "multiplier": "x23",
        "op": "MULTIPLY",
        "pivot": 1551
      },
      {
        "id": 2099,
        "op": "ADD",
        "parents": [
          2098,
          2089
        ],
        "pivot": 977
      },
      {
        "id": 2513,
        "op": "ADD",
        "parents": [
          2512,
          2099
        ]
      },
      {
        "base_id": 1471,
        "id": 2275,
        "multiplier": "x23",
        "op": "MULTIPLY",
        "pivot": 969
      },
      {
        "id": 2514,
        "op": "ADD",
        "parents": [
          2513,
          2275
        ]
      },
      {
        "base_id": 2315,
        "id": 2376,
        "multiplier": "x1",
        "op": "MULTIPLY",
        "pivot": 171
      },
      {
        "id": 2515,
        "op": "ADD",
        "parents": [
          2514,
          2376
        ]
      },
      {
        "base_id": 1471,
        "id": 2260,
        "multiplier": "x14",
        "op": "MULTIPLY"
      },
      {
        "id": 2261,
        "op": "ADD",
        "parents": [
          2260,
          1736
        ]
      },
      {
        "id": 2262,
        "op": "ADD",
        "parents": [
          2261,
          35
        ]
      },
      {
        "id": 2263,
        "op": "ADD",
        "parents": [
          2262,
          1691
        ],
        "pivot": 162
      },
      {
        "id": 2516,
        "op": "ADD",
        "parents": [
          2515,
          2263
        ],
        "pivot": 33
      },
      {
        "base_id": 2516,
        "id": 2593,
        "multiplier": "x34",
        "op": "MULTIPLY"
      },
      {
        "equation": "x50*x54 + x55 = 0",
        "id": 50,
        "named_equation": "aux_50*aux_54 + aux_55 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 239
        },
        "equation": "x50*x54 + x34 + x32 = 0",
        "id": 49,
        "named_equation": "aux_50*aux_54 + x34 + x32 = 0",
        "op": "INSERT",
        "pivot": 2554,
        "source": "original-S1"
      },
      {
        "id": 51,
        "op": "ADD",
        "parents": [
          50,
          49
        ],
        "pivot": 56
      },
      {
        "base_id": 51,
        "id": 1885,
        "multiplier": "x32",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 239
        },
        "equation": "x32*x55 + x35 + x34 = 0",
        "id": 52,
        "named_equation": "x32*aux_55 + x35 + x34 = 0",
        "op": "INSERT",
        "pivot": 1970,
        "source": "original-S1"
      },
      {
        "id": 1886,
        "op": "ADD",
        "parents": [
          1885,
          52
        ],
        "pivot": 1949
      },
      {
        "id": 2594,
        "op": "ADD",
        "parents": [
          2593,
          1886
        ]
      },
      {
        "base_id": 192,
        "id": 2102,
        "multiplier": "x34",
        "op": "MULTIPLY"
      },
      {
        "base_id": 49,
        "id": 1858,
        "multiplier": "x50",
        "op": "MULTIPLY"
      },
      {
        "id": 1859,
        "op": "ADD",
        "parents": [
          1858,
          49
        ],
        "pivot": 2046
      },
      {
        "id": 2103,
        "op": "ADD",
        "parents": [
          2102,
          1859
        ]
      },
      {
        "base_id": 192,
        "id": 2100,
        "multiplier": "x32",
        "op": "MULTIPLY",
        "pivot": 1965
      },
      {
        "id": 2104,
        "op": "ADD",
        "parents": [
          2103,
          2100
        ],
        "pivot": 980
      },
      {
        "id": 2595,
        "op": "ADD",
        "parents": [
          2594,
          2104
        ]
      },
      {
        "base_id": 1471,
        "id": 2285,
        "multiplier": "x32",
        "op": "MULTIPLY",
        "pivot": 978
      },
      {
        "id": 2596,
        "op": "ADD",
        "parents": [
          2595,
          2285
        ]
      },
      {
        "base_id": 2374,
        "id": 2517,
        "multiplier": "x32",
        "op": "MULTIPLY"
      },
      {
        "base_id": 2315,
        "id": 2395,
        "multiplier": "x32",
        "op": "MULTIPLY"
      },
      {
        "base_id": 47,
        "id": 1851,
        "multiplier": "x23",
        "op": "MULTIPLY"
      },
      {
        "id": 1852,
        "op": "ADD",
        "parents": [
          1851,
          47
        ],
        "pivot": 1533
      },
      {
        "id": 2396,
        "op": "ADD",
        "parents": [
          2395,
          1852
        ]
      },
      {
        "id": 2397,
        "op": "ADD",
        "parents": [
          2396,
          1821
        ],
        "pivot": 1038
      },
      {
        "id": 2518,
        "op": "ADD",
        "parents": [
          2517,
          2397
        ]
      },
      {
        "id": 2519,
        "op": "ADD",
        "parents": [
          2518,
          2285
        ],
        "pivot": 180
      },
      {
        "id": 2597,
        "op": "ADD",
        "parents": [
          2596,
          2519
        ]
      },
      {
        "base_id": 23,
        "id": 1467,
        "multiplier": "x0",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 253
        },
        "equation": "x0*x2 + x40 + x39 = 0",
        "id": 55,
        "named_equation": "ask investment advice*$personal_recommendation + x40 + respond with generic asset class commentary = 0",
        "op": "INSERT",
        "pivot": 77,
        "source": "original-S1"
      },
      {
        "id": 1468,
        "op": "ADD",
        "parents": [
          1467,
          55
        ],
        "pivot": 41
      },
      {
        "base_id": 1468,
        "id": 2238,
        "multiplier": "x39",
        "op": "MULTIPLY"
      },
      {
        "equation": "x0*x2 + x57 = 0",
        "id": 56,
        "named_equation": "ask investment advice*$personal_recommendation + aux_57 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "id": 57,
        "op": "ADD",
        "parents": [
          56,
          55
        ],
        "pivot": 58
      },
      {
        "base_id": 57,
        "id": 1949,
        "multiplier": "x39",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 253
        },
        "equation": "x39*x57 + x41 + x40 = 0",
        "id": 58,
        "named_equation": "respond with generic asset class commentary*aux_57 + x41 + x40 = 0",
        "op": "INSERT",
        "pivot": 2238,
        "source": "original-S1"
      },
      {
        "id": 1950,
        "op": "ADD",
        "parents": [
          1949,
          58
        ],
        "pivot": 2221
      },
      {
        "id": 2239,
        "op": "ADD",
        "parents": [
          2238,
          1950
        ]
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 247
        },
        "equation": "x0*x56 + x39 = 0",
        "id": 54,
        "named_equation": "ask investment advice*aux_56 + respond with generic asset class commentary = 0",
        "op": "INSERT",
        "pivot": 131,
        "source": "original-S1"
      },
      {
        "base_id": 54,
        "id": 1915,
        "multiplier": "x0",
        "op": "MULTIPLY"
      },
      {
        "id": 1916,
        "op": "ADD",
        "parents": [
          1915,
          54
        ],
        "pivot": 114
      },
      {
        "id": 2240,
        "op": "ADD",
        "parents": [
          2239,
          1916
        ],
        "pivot": 42
      },
      {
        "base_id": 2240,
        "id": 2359,
        "multiplier": "x45",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 257
        },
        "equation": "x41*x58 + x45 + x44 = 0",
        "id": 63,
        "named_equation": "x41*aux_58 + x45 + x44 = 0",
        "op": "INSERT",
        "pivot": 2306,
        "source": "original-S1"
      },
      {
        "base_id": 63,
        "id": 2017,
        "multiplier": "x41",
        "op": "MULTIPLY"
      },
      {
        "id": 2018,
        "op": "ADD",
        "parents": [
          2017,
          63
        ],
        "pivot": 2293
      },
      {
        "id": 2360,
        "op": "ADD",
        "parents": [
          2359,
          2018
        ]
      },
      {
        "equation": "x0*x43 + x58 = 0",
        "id": 61,
        "named_equation": "ask investment advice*x43 + aux_58 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 257
        },
        "equation": "x0*x43 + x44 + x41 = 0",
        "id": 60,
        "named_equation": "ask investment advice*x43 + x44 + x41 = 0",
        "op": "INSERT",
        "pivot": 118,
        "source": "original-S1"
      },
      {
        "id": 62,
        "op": "ADD",
        "parents": [
          61,
          60
        ],
        "pivot": 59
      },
      {
        "base_id": 62,
        "id": 2005,
        "multiplier": "x41",
        "op": "MULTIPLY"
      },
      {
        "id": 2006,
        "op": "ADD",
        "parents": [
          2005,
          63
        ],
        "pivot": 2292
      },
      {
        "id": 2361,
        "op": "ADD",
        "parents": [
          2360,
          2006
        ]
      },
      {
        "base_id": 1468,
        "id": 2247,
        "multiplier": "x45",
        "op": "MULTIPLY",
        "pivot": 2260
      },
      {
        "id": 2362,
        "op": "ADD",
        "parents": [
          2361,
          2247
        ]
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 259
        },
        "equation": "x0*x45 + x46 + x36 + x0 = 0",
        "id": 65,
        "named_equation": "ask investment advice*x45 + x46 + x36 + ask investment advice = 0",
        "op": "INSERT",
        "pivot": 120,
        "source": "original-S1"
      },
      {
        "id": 2363,
        "op": "ADD",
        "parents": [
          2362,
          65
        ],
        "pivot": 47
      },
      {
        "base_id": 2363,
        "id": 2470,
        "multiplier": "x36",
        "op": "MULTIPLY"
      },
      {
        "equation": "x0*x45 + x59 + x0 = 0",
        "id": 66,
        "named_equation": "ask investment advice*x45 + aux_59 + ask investment advice = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "id": 67,
        "op": "ADD",
        "parents": [
          66,
          65
        ],
        "pivot": 60
      },
      {
        "base_id": 67,
        "id": 2053,
        "multiplier": "x36",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 259
        },
        "equation": "x36*x59 + x47 + x46 = 0",
        "id": 68,
        "named_equation": "x36*aux_59 + respond with permitted investment answer + x46 = 0",
        "op": "INSERT",
        "pivot": 2132,
        "source": "original-S1"
      },
      {
        "id": 2054,
        "op": "ADD",
        "parents": [
          2053,
          68
        ],
        "pivot": 2119
      },
      {
        "id": 2471,
        "op": "ADD",
        "parents": [
          2470,
          2054
        ]
      },
      {
        "base_id": 2240,
        "id": 2355,
        "multiplier": "x36",
        "op": "MULTIPLY",
        "pivot": 2114
      },
      {
        "id": 2472,
        "op": "ADD",
        "parents": [
          2471,
          2355
        ]
      },
      {
        "base_id": 1468,
        "id": 2235,
        "multiplier": "x36",
        "op": "MULTIPLY",
        "pivot": 2113
      },
      {
        "id": 2473,
        "op": "ADD",
        "parents": [
          2472,
          2235
        ]
      },
      {
        "equation": "x47 = 1",
        "id": 26,
        "named_equation": "respond with permitted investment answer = 1",
        "op": "INSERT",
        "pin": {
          "name": "respond with permitted investment answer",
          "value": 1
        },
        "pivot": 48,
        "reads_as": "respond with permitted investment answer holds",
        "source": "original-S2"
      },
      {
        "id": 2474,
        "op": "ADD",
        "parents": [
          2473,
          26
        ]
      },
      {
        "id": 2475,
        "op": "ADD",
        "parents": [
          2474,
          2363
        ]
      },
      {
        "id": 2476,
        "op": "ADD",
        "parents": [
          2475,
          2240
        ]
      },
      {
        "id": 2477,
        "op": "ADD",
        "parents": [
          2476,
          1468
        ],
        "pivot": 37
      },
      {
        "base_id": 2477,
        "id": 2563,
        "multiplier": "x35",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 241
        },
        "equation": "x1*x35 + x36 + x1 = 0",
        "id": 64,
        "named_equation": "ask about specific fund*x35 + x36 + ask about specific fund = 0",
        "op": "INSERT",
        "pivot": 183,
        "source": "original-S1"
      },
      {
        "base_id": 64,
        "id": 2023,
        "multiplier": "x35",
        "op": "MULTIPLY",
        "pivot": 2071
      },
      {
        "id": 2564,
        "op": "ADD",
        "parents": [
          2563,
          2023
        ],
        "pivot": 36
      },
      {
        "id": 2598,
        "op": "ADD",
        "parents": [
          2597,
          2564
        ]
      },
      {
        "id": 2599,
        "op": "ADD",
        "parents": [
          2598,
          2315
        ]
      },
      {
        "id": 2600,
        "op": "ADD",
        "parents": [
          2599,
          2374
        ]
      },
      {
        "id": 2601,
        "op": "ADD",
        "parents": [
          2600,
          1471
        ]
      },
      {
        "base_id": 2477,
        "id": 2534,
        "multiplier": "x1",
        "op": "MULTIPLY"
      },
      {
        "base_id": 64,
        "id": 2022,
        "multiplier": "x1",
        "op": "MULTIPLY",
        "pivot": 184
      },
      {
        "id": 2535,
        "op": "ADD",
        "parents": [
          2534,
          2022
        ]
      },
      {
        "id": 2536,
        "op": "ADD",
        "parents": [
          2535,
          64
        ]
      },
      {
        "id": 2537,
        "op": "ADD",
        "parents": [
          2536,
          2477
        ],
        "pivot": 2
      }
    ],
    "origin_class": "derived",
    "policy": {
      "file": "policy.co",
      "parse_diagnostics": 0,
      "sha256": "470bfaea5ca9297edde3c6f9dd1287ac090b0db94091edd9bf067c4d63c22ec5",
      "unroll_depth": []
    },
    "provenance": {
      "controls": {},
      "declared": false,
      "limits": [
        "The declaration may be false: nothing here verifies that the system named as asserting a control is that system. It is bounded by custody, not proof: the source manifest is a reviewed artefact bound to a policy digest and carried on this certificate with its own hash, so a false declaration is a signed and attributable statement rather than an assumption.",
        "A resolver may launder an argument into a reading: returning a value taken from the model's arguments is the one thing a resolver cannot be checked for in general. It is bounded by the argument-invariance conformance test, which mutates the arguments with the systems of record held fixed and requires the readings not to move. That is a test and not a proof, and a resolver that passes it may still launder on an input the mutation did not reach.",
        "Detection is bounded, not proved: a detection-dependent obligation's bound is a union over rates measured on a stated corpus. A corpus unrepresentative of the traffic gives a number that is arithmetically correct and practically wrong, which is why the corpus, its size and the date it was measured travel with the bound."
      ],
      "undeclared": [
        "x2",
        "x3",
        "x4",
        "x5",
        "x6",
        "x15",
        "x16",
        "x19",
        "x24",
        "x25",
        "x28",
        "x33",
        "x37",
        "x38"
      ]
    },
    "question": {
      "action": "respond with permitted investment answer",
      "obligation_context": "has_advising_permission",
      "pins": [
        {
          "name": "respond with permitted investment answer",
          "source": "action",
          "value": 1,
          "variable": 47
        },
        {
          "name": "has_advising_permission",
          "source": "obligation",
          "value": 0,
          "variable": 10
        },
        {
          "name": "personal_recommendation",
          "source": "conditioning",
          "value": 1,
          "variable": 2
        },
        {
          "name": "is_targeted_support",
          "source": "conditioning",
          "value": 0,
          "variable": 12
        }
      ]
    },
    "self_contained": true,
    "status": "verified_unsat",
    "steps_to_contradiction": 163,
    "variables": {
      "x0": {
        "colang": {
          "file": "policy.co",
          "line": 104
        },
        "kind": "intent",
        "name": "ask investment advice"
      },
      "x1": {
        "colang": {
          "file": "policy.co",
          "line": 110
        },
        "kind": "intent",
        "name": "ask about specific fund"
      },
      "x11": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 219
        },
        "definition": "x11 = 1",
        "kind": "gate",
        "named_definition": "x11 = 1"
      },
      "x13": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 222
        },
        "definition": "x13 + x9 + x11*x50 = 0",
        "derived_from": [
          "x9",
          "x11",
          "x50"
        ],
        "kind": "gate",
        "named_definition": "x13 + x9 + x11*aux_50 = 0"
      },
      "x14": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 222
        },
        "definition": "x14 + x9*x51 + x13 = 0",
        "derived_from": [
          "x9",
          "x13",
          "x51"
        ],
        "kind": "gate",
        "named_definition": "x14 + x9*aux_51 + x13 = 0"
      },
      "x15": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 229
        },
        "kind": "context",
        "name": "suitability_assessment_done"
      },
      "x16": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 229
        },
        "kind": "context",
        "name": "risk_profile_assessed"
      },
      "x17": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 229
        },
        "definition": "x17 + x15 + x16 = 0",
        "derived_from": [
          "x15",
          "x16"
        ],
        "kind": "gate",
        "named_definition": "x17 + $suitability_assessment_done + $risk_profile_assessed = 0"
      },
      "x18": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 229
        },
        "definition": "x18 + x15 + x15*x16 + x16 + x17 = 1",
        "derived_from": [
          "x15",
          "x16",
          "x17"
        ],
        "kind": "gate",
        "named_definition": "x18 + $suitability_assessment_done + $suitability_assessment_done*$risk_profile_assessed + $risk_profile_assessed + x17 = 1"
      },
      "x19": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 229
        },
        "kind": "context",
        "name": "capacity_for_loss_assessed"
      },
      "x2": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 209
        },
        "kind": "context",
        "name": "personal_recommendation"
      },
      "x20": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 229
        },
        "definition": "x20 + x18 + x19 = 1",
        "derived_from": [
          "x18",
          "x19"
        ],
        "kind": "gate",
        "named_definition": "x20 + x18 + $capacity_for_loss_assessed = 1"
      },
      "x21": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 229
        },
        "definition": "x21 + x18 + x18*x19 + x20 = 0",
        "derived_from": [
          "x18",
          "x19",
          "x20"
        ],
        "kind": "gate",
        "named_definition": "x21 + x18 + x18*$capacity_for_loss_assessed + x20 = 0"
      },
      "x22": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 231
        },
        "definition": "x22 + x14 + x21*x50 = 0",
        "derived_from": [
          "x14",
          "x21",
          "x50"
        ],
        "kind": "gate",
        "named_definition": "x22 + x14 + x21*aux_50 = 0"
      },
      "x23": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 231
        },
        "definition": "x23 + x14*x52 + x22 = 0",
        "derived_from": [
          "x14",
          "x22",
          "x52"
        ],
        "kind": "gate",
        "named_definition": "x23 + x14*aux_52 + x22 = 0"
      },
      "x24": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 233
        },
        "kind": "context",
        "name": "foreseeable_harm_identified"
      },
      "x25": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 233
        },
        "kind": "context",
        "name": "fair_value_assessed"
      },
      "x26": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 233
        },
        "definition": "x26 + x24 + x25 = 1",
        "derived_from": [
          "x24",
          "x25"
        ],
        "kind": "gate",
        "named_definition": "x26 + $foreseeable_harm_identified + $fair_value_assessed = 1"
      },
      "x27": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 233
        },
        "definition": "x27 + x24 + x24*x25 + x26 = 0",
        "derived_from": [
          "x24",
          "x25",
          "x26"
        ],
        "kind": "gate",
        "named_definition": "x27 + $foreseeable_harm_identified + $foreseeable_harm_identified*$fair_value_assessed + x26 = 0"
      },
      "x28": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 233
        },
        "kind": "context",
        "name": "target_market_matches"
      },
      "x29": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 233
        },
        "definition": "x29 + x27 + x28 = 1",
        "derived_from": [
          "x27",
          "x28"
        ],
        "kind": "gate",
        "named_definition": "x29 + x27 + $target_market_matches = 1"
      },
      "x3": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 209
        },
        "kind": "context",
        "name": "is_inducement"
      },
      "x30": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 233
        },
        "definition": "x30 + x27 + x27*x28 + x29 = 0",
        "derived_from": [
          "x27",
          "x28",
          "x29"
        ],
        "kind": "gate",
        "named_definition": "x30 + x27 + x27*$target_market_matches + x29 = 0"
      },
      "x31": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 235
        },
        "definition": "x31 + x23 + x30*x50 = 0",
        "derived_from": [
          "x23",
          "x30",
          "x50"
        ],
        "kind": "gate",
        "named_definition": "x31 + x23 + x30*aux_50 = 0"
      },
      "x32": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 235
        },
        "definition": "x32 + x23*x53 + x31 = 0",
        "derived_from": [
          "x23",
          "x31",
          "x53"
        ],
        "kind": "gate",
        "named_definition": "x32 + x23*aux_53 + x31 = 0"
      },
      "x33": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 237
        },
        "kind": "context",
        "name": "consultant_receives_higher_commission"
      },
      "x34": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 239
        },
        "definition": "x34 + x32 + x50*x54 = 0",
        "derived_from": [
          "x32",
          "x50",
          "x54"
        ],
        "kind": "gate",
        "named_definition": "x34 + x32 + aux_50*aux_54 = 0"
      },
      "x35": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 239
        },
        "definition": "x35 + x32*x55 + x34 = 0",
        "derived_from": [
          "x32",
          "x34",
          "x55"
        ],
        "kind": "gate",
        "named_definition": "x35 + x32*aux_55 + x34 = 0"
      },
      "x36": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 241
        },
        "definition": "x36 + x1 + x1*x35 = 0",
        "derived_from": [
          "x1",
          "x35"
        ],
        "introduced_because": "Both inputs of an XOR were AND gates, which would have put two quadratic terms in one equation; the first was split into its own variable to keep exactly one.",
        "kind": "gate",
        "named_definition": "x36 + ask about specific fund + ask about specific fund*x35 = 0",
        "subkind": "quadratic-split"
      },
      "x37": {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 247
        },
        "kind": "context",
        "name": "is_generic_asset_class_only"
      },
      "x38": {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 247
        },
        "kind": "context",
        "name": "names_specific_product"
      },
      "x39": {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 248
        },
        "definition": "x39 + x0*x56 = 0",
        "derived_from": [
          "x0",
          "x56"
        ],
        "introduced_because": "Both inputs of an XOR were AND gates, which would have put two quadratic terms in one equation; the first was split into its own variable to keep exactly one.",
        "kind": "action",
        "name": "respond with generic asset class commentary",
        "named_definition": "respond with generic asset class commentary + ask investment advice*aux_56 = 0",
        "subkind": "quadratic-split"
      },
      "x4": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 213
        },
        "kind": "context",
        "name": "firm_is_authorised"
      },
      "x40": {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 253
        },
        "definition": "x40 + x0*x2 + x39 = 0",
        "derived_from": [
          "x0",
          "x2",
          "x39"
        ],
        "kind": "gate",
        "named_definition": "x40 + ask investment advice*$personal_recommendation + respond with generic asset class commentary = 0"
      },
      "x41": {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 253
        },
        "definition": "x41 + x39*x57 + x40 = 0",
        "derived_from": [
          "x39",
          "x40",
          "x57"
        ],
        "kind": "gate",
        "named_definition": "x41 + respond with generic asset class commentary*aux_57 + x40 = 0"
      },
      "x42": {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 255
        },
        "definition": "x42 + x15 + x19 = 0",
        "derived_from": [
          "x15",
          "x19"
        ],
        "kind": "gate",
        "named_definition": "x42 + $suitability_assessment_done + $capacity_for_loss_assessed = 0"
      },
      "x43": {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 255
        },
        "definition": "x43 + x15 + x15*x19 + x19 + x42 = 1",
        "derived_from": [
          "x15",
          "x19",
          "x42"
        ],
        "kind": "gate",
        "named_definition": "x43 + $suitability_assessment_done + $suitability_assessment_done*$capacity_for_loss_assessed + $capacity_for_loss_assessed + x42 = 1"
      },
      "x44": {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 257
        },
        "definition": "x44 + x0*x43 + x41 = 0",
        "derived_from": [
          "x0",
          "x41",
          "x43"
        ],
        "kind": "gate",
        "named_definition": "x44 + ask investment advice*x43 + x41 = 0"
      },
      "x45": {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 257
        },
        "definition": "x45 + x41*x58 + x44 = 0",
        "derived_from": [
          "x41",
          "x44",
          "x58"
        ],
        "kind": "gate",
        "named_definition": "x45 + x41*aux_58 + x44 = 0"
      },
      "x46": {
        "colang": {
          "file": "policy.co",
          "flow": "investment generic advice",
          "line": 259
        },
        "definition": "x46 + x0 + x0*x45 + x36 = 0",
        "derived_from": [
          "x0",
          "x36",
          "x45"
        ],
        "kind": "gate",
        "named_definition": "x46 + ask investment advice + ask investment advice*x45 + x36 = 0"
      },
      "x47": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 241
        },
        "definition": "x47 + x36*x59 + x46 = 0",
        "derived_from": [
          "x36",
          "x46",
          "x59"
        ],
        "kind": "action",
        "name": "respond with permitted investment answer",
        "named_definition": "respond with permitted investment answer + x36*aux_59 + x46 = 0"
      },
      "x48": {
        "definition": "x48 + x3 + x3*x4 = 0",
        "derived_from": [
          "x3",
          "x4"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_48 + $is_inducement + $is_inducement*$firm_is_authorised = 0",
        "subkind": "degree3-materialisation"
      },
      "x49": {
        "definition": "x49 + x1*x48 = 0",
        "derived_from": [
          "x1",
          "x48"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_49 + ask about specific fund*aux_48 = 0",
        "subkind": "degree3-materialisation"
      },
      "x5": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 214
        },
        "kind": "context",
        "name": "promotion_approved"
      },
      "x50": {
        "definition": "x50 + x1*x2 = 0",
        "derived_from": [
          "x1",
          "x2"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_50 + ask about specific fund*$personal_recommendation = 0",
        "subkind": "degree3-materialisation"
      },
      "x51": {
        "definition": "x51 + x11*x50 = 0",
        "derived_from": [
          "x50",
          "x11"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_51 + x11*aux_50 = 0",
        "subkind": "degree3-materialisation"
      },
      "x52": {
        "definition": "x52 + x21*x50 = 0",
        "derived_from": [
          "x50",
          "x21"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_52 + x21*aux_50 = 0",
        "subkind": "degree3-materialisation"
      },
      "x53": {
        "definition": "x53 + x30*x50 = 0",
        "derived_from": [
          "x50",
          "x30"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_53 + x30*aux_50 = 0",
        "subkind": "degree3-materialisation"
      },
      "x54": {
        "definition": "x54 + x25*x33 + x33 = 0",
        "derived_from": [
          "x33",
          "x25"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_54 + $fair_value_assessed*$consultant_receives_higher_commission + $consultant_receives_higher_commission = 0",
        "subkind": "degree3-materialisation"
      },
      "x55": {
        "definition": "x55 + x50*x54 = 0",
        "derived_from": [
          "x50",
          "x54"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_55 + aux_50*aux_54 = 0",
        "subkind": "degree3-materialisation"
      },
      "x56": {
        "definition": "x56 + x37 + x37*x38 = 0",
        "derived_from": [
          "x37",
          "x38"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_56 + $is_generic_asset_class_only + $is_generic_asset_class_only*$names_specific_product = 0",
        "subkind": "degree3-materialisation"
      },
      "x57": {
        "definition": "x57 + x0*x2 = 0",
        "derived_from": [
          "x0",
          "x2"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_57 + ask investment advice*$personal_recommendation = 0",
        "subkind": "degree3-materialisation"
      },
      "x58": {
        "definition": "x58 + x0*x43 = 0",
        "derived_from": [
          "x0",
          "x43"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_58 + ask investment advice*x43 = 0",
        "subkind": "degree3-materialisation"
      },
      "x59": {
        "definition": "x59 + x0 + x0*x45 = 0",
        "derived_from": [
          "x0",
          "x45"
        ],
        "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear.",
        "kind": "aux",
        "named_definition": "aux_59 + ask investment advice + ask investment advice*x45 = 0",
        "subkind": "degree3-materialisation"
      },
      "x6": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 214
        },
        "kind": "context",
        "name": "has_s21_approver_permission"
      },
      "x7": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 214
        },
        "definition": "x7 + x5 + x6 = 0",
        "derived_from": [
          "x5",
          "x6"
        ],
        "kind": "gate",
        "named_definition": "x7 + $promotion_approved + $has_s21_approver_permission = 0"
      },
      "x8": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 214
        },
        "definition": "x8 + x5 + x5*x6 + x6 + x7 = 1",
        "derived_from": [
          "x5",
          "x6",
          "x7"
        ],
        "kind": "gate",
        "named_definition": "x8 + $promotion_approved + $promotion_approved*$has_s21_approver_permission + $has_s21_approver_permission + x7 = 1"
      },
      "x9": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 214
        },
        "definition": "x9 + x8*x49 = 0",
        "derived_from": [
          "x49",
          "x8"
        ],
        "introduced_because": "Both inputs of an XOR were AND gates, which would have put two quadratic terms in one equation; the first was split into its own variable to keep exactly one.",
        "kind": "gate",
        "named_definition": "x9 + x8*aux_49 = 0",
        "subkind": "quadratic-split"
      }
    }
  },
  "certificate_detail": "full",
  "decided_by": "candidate-derivation",
  "oracle_dependent": false,
  "origin_class": "derived",
  "status": "UNSAT"
}