{
  "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": [
        3878,
        3501
      ],
      "instruction": "Compute the linear combination of the final inputs to derive 0 = 1.",
      "op": "ADD"
    },
    "format_version": 1,
    "operations": [
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 364
        },
        "equation": "x0*x50 + x51 + x0 = 0",
        "id": 92,
        "named_equation": "ask about high risk investment*x50 + respond with permitted high risk answer + ask about high risk investment = 0",
        "op": "INSERT",
        "pivot": 147,
        "source": "original-S1"
      },
      {
        "base_id": 92,
        "id": 3502,
        "multiplier": "x50",
        "op": "MULTIPLY"
      },
      {
        "equation": "x51 = 1",
        "id": 31,
        "named_equation": "respond with permitted high risk answer = 1",
        "op": "INSERT",
        "pin": {
          "name": "respond with permitted high risk answer",
          "value": 1
        },
        "pivot": 52,
        "reads_as": "respond with permitted high risk answer holds",
        "source": "original-S2"
      },
      {
        "base_id": 31,
        "id": 2584,
        "multiplier": "x50",
        "op": "MULTIPLY",
        "pivot": 3673
      },
      {
        "id": 3503,
        "op": "ADD",
        "parents": [
          3502,
          2584
        ],
        "pivot": 51
      },
      {
        "base_id": 3503,
        "id": 3873,
        "multiplier": "x46",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 362
        },
        "equation": "x46*x73 + x50 + x49 = 0",
        "id": 91,
        "named_equation": "x46*aux_73 + x50 + x49 = 0",
        "op": "INSERT",
        "pivot": 3505,
        "source": "original-S1"
      },
      {
        "base_id": 91,
        "id": 3493,
        "multiplier": "x46",
        "op": "MULTIPLY"
      },
      {
        "id": 3494,
        "op": "ADD",
        "parents": [
          3493,
          91
        ],
        "pivot": 3482
      },
      {
        "id": 3874,
        "op": "ADD",
        "parents": [
          3873,
          3494
        ]
      },
      {
        "equation": "x48*x72 + x73 = 0",
        "id": 89,
        "named_equation": "x48*aux_72 + aux_73 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 362
        },
        "equation": "x48*x72 + x49 + x46 = 0",
        "id": 88,
        "named_equation": "x48*aux_72 + x49 + x46 = 0",
        "op": "INSERT",
        "pivot": 3601,
        "source": "original-S1"
      },
      {
        "id": 90,
        "op": "ADD",
        "parents": [
          89,
          88
        ],
        "pivot": 74
      },
      {
        "base_id": 90,
        "id": 3479,
        "multiplier": "x46",
        "op": "MULTIPLY"
      },
      {
        "id": 3480,
        "op": "ADD",
        "parents": [
          3479,
          91
        ],
        "pivot": 3481
      },
      {
        "id": 3875,
        "op": "ADD",
        "parents": [
          3874,
          3480
        ]
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 355
        },
        "equation": "x0*x69 + x45 + x44 = 0",
        "id": 80,
        "named_equation": "ask about high risk investment*aux_69 + x45 + x44 = 0",
        "op": "INSERT",
        "pivot": 166,
        "source": "original-S1"
      },
      {
        "base_id": 80,
        "id": 3311,
        "multiplier": "x0",
        "op": "MULTIPLY"
      },
      {
        "id": 3312,
        "op": "ADD",
        "parents": [
          3311,
          80
        ],
        "pivot": 142
      },
      {
        "equation": "x41 = 1",
        "id": 29,
        "named_equation": "$client_is_first_time_investor = 1",
        "op": "INSERT",
        "pin": {
          "name": "client_is_first_time_investor",
          "value": 1
        },
        "pivot": 42,
        "reads_as": "$client_is_first_time_investor holds",
        "source": "original-S2"
      },
      {
        "base_id": 29,
        "id": 2464,
        "multiplier": "x66",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 348
        },
        "equation": "x41*x66 + x43 + x40 = 0",
        "id": 75,
        "named_equation": "$client_is_first_time_investor*aux_66 + x43 + x40 = 0",
        "op": "INSERT",
        "pivot": 3238,
        "source": "original-S1"
      },
      {
        "id": 2465,
        "op": "ADD",
        "parents": [
          2464,
          75
        ]
      },
      {
        "equation": "x38 = 1",
        "id": 28,
        "named_equation": "$product_is_rmmi = 1",
        "op": "INSERT",
        "pin": {
          "name": "product_is_rmmi",
          "value": 1
        },
        "pivot": 39,
        "reads_as": "$product_is_rmmi holds",
        "source": "original-S2"
      },
      {
        "base_id": 28,
        "id": 2334,
        "multiplier": "x0",
        "op": "MULTIPLY"
      },
      {
        "equation": "x0*x38 + x66 = 0",
        "id": 70,
        "named_equation": "ask about high risk investment*$product_is_rmmi + aux_66 = 0",
        "op": "INSERT",
        "pivot": 135,
        "source": "original-S1"
      },
      {
        "id": 2335,
        "op": "ADD",
        "parents": [
          2334,
          70
        ],
        "pivot": 67
      },
      {
        "id": 2466,
        "op": "ADD",
        "parents": [
          2465,
          2335
        ],
        "pivot": 44
      },
      {
        "base_id": 2466,
        "id": 3763,
        "multiplier": "x44",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 348
        },
        "equation": "x40*x68 + x44 + x43 = 0",
        "id": 78,
        "named_equation": "x40*aux_68 + x44 + x43 = 0",
        "op": "INSERT",
        "pivot": 3185,
        "source": "original-S1"
      },
      {
        "base_id": 78,
        "id": 3306,
        "multiplier": "x68",
        "op": "MULTIPLY"
      },
      {
        "equation": "x41*x66 + x68 = 0",
        "id": 76,
        "named_equation": "$client_is_first_time_investor*aux_66 + aux_68 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "id": 77,
        "op": "ADD",
        "parents": [
          76,
          75
        ],
        "pivot": 69
      },
      {
        "base_id": 77,
        "id": 3286,
        "multiplier": "x44",
        "op": "MULTIPLY",
        "pivot": 3399
      },
      {
        "id": 3307,
        "op": "ADD",
        "parents": [
          3306,
          3286
        ]
      },
      {
        "base_id": 77,
        "id": 3285,
        "multiplier": "x43",
        "op": "MULTIPLY",
        "pivot": 3347
      },
      {
        "id": 3308,
        "op": "ADD",
        "parents": [
          3307,
          3285
        ],
        "pivot": 3323
      },
      {
        "id": 3764,
        "op": "ADD",
        "parents": [
          3763,
          3308
        ]
      },
      {
        "id": 3765,
        "op": "ADD",
        "parents": [
          3764,
          78
        ]
      },
      {
        "base_id": 77,
        "id": 3283,
        "multiplier": "x40",
        "op": "MULTIPLY"
      },
      {
        "id": 3284,
        "op": "ADD",
        "parents": [
          3283,
          78
        ],
        "pivot": 3160
      },
      {
        "id": 3766,
        "op": "ADD",
        "parents": [
          3765,
          3284
        ],
        "pivot": 141
      },
      {
        "id": 3780,
        "op": "ADD",
        "parents": [
          3312,
          3766
        ]
      },
      {
        "base_id": 3780,
        "id": 3781,
        "multiplier": "x45",
        "op": "MULTIPLY"
      },
      {
        "equation": "x0*x69 + x70 = 0",
        "id": 81,
        "named_equation": "ask about high risk investment*aux_69 + aux_70 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "id": 82,
        "op": "ADD",
        "parents": [
          81,
          80
        ],
        "pivot": 71
      },
      {
        "base_id": 82,
        "id": 3352,
        "multiplier": "x44",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 355
        },
        "equation": "x44*x70 + x46 + x45 = 0",
        "id": 83,
        "named_equation": "x44*aux_70 + x46 + x45 = 0",
        "op": "INSERT",
        "pivot": 3401,
        "source": "original-S1"
      },
      {
        "id": 3353,
        "op": "ADD",
        "parents": [
          3352,
          83
        ],
        "pivot": 3376
      },
      {
        "id": 3782,
        "op": "ADD",
        "parents": [
          3781,
          3353
        ]
      },
      {
        "base_id": 2466,
        "id": 3767,
        "multiplier": "x45",
        "op": "MULTIPLY",
        "pivot": 3324
      },
      {
        "id": 3783,
        "op": "ADD",
        "parents": [
          3782,
          3767
        ],
        "pivot": 47
      },
      {
        "id": 3876,
        "op": "ADD",
        "parents": [
          3875,
          3783
        ]
      },
      {
        "base_id": 92,
        "id": 3498,
        "multiplier": "x0",
        "op": "MULTIPLY"
      },
      {
        "base_id": 31,
        "id": 2541,
        "multiplier": "x0",
        "op": "MULTIPLY",
        "pivot": 148
      },
      {
        "id": 3499,
        "op": "ADD",
        "parents": [
          3498,
          2541
        ]
      },
      {
        "id": 3500,
        "op": "ADD",
        "parents": [
          3499,
          92
        ]
      },
      {
        "id": 3501,
        "op": "ADD",
        "parents": [
          3500,
          31
        ],
        "pivot": 1
      },
      {
        "base_id": 3501,
        "id": 3824,
        "multiplier": "x40",
        "op": "MULTIPLY"
      },
      {
        "base_id": 2466,
        "id": 3761,
        "multiplier": "x40",
        "op": "MULTIPLY"
      },
      {
        "id": 3762,
        "op": "ADD",
        "parents": [
          3761,
          3284
        ],
        "pivot": 137
      },
      {
        "id": 3825,
        "op": "ADD",
        "parents": [
          3824,
          3762
        ],
        "pivot": 45
      },
      {
        "id": 3877,
        "op": "ADD",
        "parents": [
          3876,
          3825
        ]
      },
      {
        "id": 3878,
        "op": "ADD",
        "parents": [
          3877,
          2466
        ]
      }
    ],
    "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": [
        "x1",
        "x2",
        "x3",
        "x4",
        "x5",
        "x6",
        "x7",
        "x8",
        "x9",
        "x10",
        "x12",
        "x22",
        "x23",
        "x24",
        "x25",
        "x29",
        "x32",
        "x35",
        "x38",
        "x41"
      ]
    },
    "question": {
      "action": "respond with permitted high risk answer",
      "obligation_context": "cooling_off_completed",
      "pins": [
        {
          "name": "respond with permitted high risk answer",
          "source": "action",
          "value": 1,
          "variable": 51
        },
        {
          "name": "cooling_off_completed",
          "source": "obligation",
          "value": 0,
          "variable": 42
        },
        {
          "name": "product_is_rmmi",
          "source": "conditioning",
          "value": 1,
          "variable": 38
        },
        {
          "name": "client_is_first_time_investor",
          "source": "conditioning",
          "value": 1,
          "variable": 41
        },
        {
          "name": "client_is_certified_high_net_worth",
          "source": "conditioning",
          "value": 0,
          "variable": 13
        },
        {
          "name": "client_is_professional",
          "source": "conditioning",
          "value": 0,
          "variable": 26
        }
      ]
    },
    "self_contained": true,
    "status": "verified_unsat",
    "steps_to_contradiction": 64,
    "variables": {
      "x0": {
        "colang": {
          "file": "policy.co",
          "line": 116
        },
        "kind": "intent",
        "name": "ask about high risk investment"
      },
      "x1": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 209
        },
        "kind": "context",
        "name": "personal_recommendation"
      },
      "x10": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 298
        },
        "kind": "context",
        "name": "incentive_offered"
      },
      "x11": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 299
        },
        "definition": "x11 + x0*x10 = 0",
        "derived_from": [
          "x0",
          "x10"
        ],
        "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": "block incentive",
        "named_definition": "block incentive + ask about high risk investment*$incentive_offered = 0",
        "subkind": "quadratic-split"
      },
      "x12": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 305
        },
        "kind": "context",
        "name": "client_claims_high_net_worth"
      },
      "x14": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 306
        },
        "definition": "x14 + x5 + x9 = 0",
        "derived_from": [
          "x5",
          "x9"
        ],
        "kind": "gate",
        "named_definition": "x14 + $hnw_signed_prescribed_statement + $hnw_statement_within_12_months = 0"
      },
      "x15": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 306
        },
        "definition": "x15 + x5 + x5*x9 + x9 + x14 = 1",
        "derived_from": [
          "x5",
          "x9",
          "x14"
        ],
        "kind": "gate",
        "named_definition": "x15 + $hnw_signed_prescribed_statement + $hnw_signed_prescribed_statement*$hnw_statement_within_12_months + $hnw_statement_within_12_months + x14 = 1"
      },
      "x16": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 308
        },
        "definition": "x16 + x11 + x15*x52 = 0",
        "derived_from": [
          "x11",
          "x15",
          "x52"
        ],
        "kind": "gate",
        "named_definition": "x16 + block incentive + x15*aux_52 = 0"
      },
      "x17": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 308
        },
        "definition": "x17 + x11*x53 + x16 = 0",
        "derived_from": [
          "x11",
          "x16",
          "x53"
        ],
        "kind": "gate",
        "named_definition": "x17 + block incentive*aux_53 + x16 = 0"
      },
      "x18": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 312
        },
        "definition": "x18 + x17 + x52*x54 = 0",
        "derived_from": [
          "x17",
          "x52",
          "x54"
        ],
        "kind": "gate",
        "named_definition": "x18 + x17 + aux_52*aux_54 = 0"
      },
      "x19": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 312
        },
        "definition": "x19 + x17*x55 + x18 = 0",
        "derived_from": [
          "x17",
          "x18",
          "x55"
        ],
        "kind": "gate",
        "named_definition": "x19 + x17*aux_55 + x18 = 0"
      },
      "x2": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 219
        },
        "kind": "context",
        "name": "has_advising_permission"
      },
      "x20": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 316
        },
        "definition": "x20 + x19 + x52*x57 = 0",
        "derived_from": [
          "x19",
          "x52",
          "x57"
        ],
        "kind": "gate",
        "named_definition": "x20 + x19 + aux_52*aux_57 = 0"
      },
      "x21": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 316
        },
        "definition": "x21 + x19*x58 + x20 = 0",
        "derived_from": [
          "x19",
          "x20",
          "x58"
        ],
        "kind": "gate",
        "named_definition": "x21 + x19*aux_58 + x20 = 0"
      },
      "x22": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 318
        },
        "kind": "context",
        "name": "product_is_nmmi"
      },
      "x23": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 319
        },
        "kind": "context",
        "name": "client_is_retail"
      },
      "x24": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 319
        },
        "kind": "context",
        "name": "client_is_certified_sophisticated"
      },
      "x25": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 319
        },
        "kind": "context",
        "name": "client_is_self_certified_sophisticated"
      },
      "x27": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 321
        },
        "definition": "x27 + x21 + x60*x61 = 0",
        "derived_from": [
          "x21",
          "x60",
          "x61"
        ],
        "kind": "gate",
        "named_definition": "x27 + x21 + aux_60*aux_61 = 0"
      },
      "x28": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 321
        },
        "definition": "x28 + x21*x62 + x27 = 0",
        "derived_from": [
          "x21",
          "x27",
          "x62"
        ],
        "kind": "gate",
        "named_definition": "x28 + x21*aux_62 + x27 = 0"
      },
      "x29": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 323
        },
        "kind": "context",
        "name": "categorisation_verified"
      },
      "x3": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 229
        },
        "kind": "context",
        "name": "suitability_assessment_done"
      },
      "x30": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 325
        },
        "definition": "x30 + x28 + x29*x60 + x60 = 0",
        "derived_from": [
          "x28",
          "x29",
          "x60"
        ],
        "kind": "gate",
        "named_definition": "x30 + x28 + $categorisation_verified*aux_60 + aux_60 = 0"
      },
      "x31": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 325
        },
        "definition": "x31 + x28*x63 + x30 = 0",
        "derived_from": [
          "x28",
          "x30",
          "x63"
        ],
        "kind": "gate",
        "named_definition": "x31 + x28*aux_63 + x30 = 0"
      },
      "x32": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 327
        },
        "kind": "context",
        "name": "risk_warning_given"
      },
      "x33": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 329
        },
        "definition": "x33 + x31 + x32*x60 + x60 = 0",
        "derived_from": [
          "x31",
          "x32",
          "x60"
        ],
        "kind": "gate",
        "named_definition": "x33 + x31 + $risk_warning_given*aux_60 + aux_60 = 0"
      },
      "x34": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 329
        },
        "definition": "x34 + x31*x64 + x33 = 0",
        "derived_from": [
          "x31",
          "x33",
          "x64"
        ],
        "kind": "gate",
        "named_definition": "x34 + x31*aux_64 + x33 = 0"
      },
      "x35": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 334
        },
        "kind": "context",
        "name": "fscs_fos_loss_warning_given"
      },
      "x36": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 336
        },
        "definition": "x36 + x34 + x35*x60 + x60 = 0",
        "derived_from": [
          "x34",
          "x35",
          "x60"
        ],
        "kind": "gate",
        "named_definition": "x36 + x34 + $fscs_fos_loss_warning_given*aux_60 + aux_60 = 0"
      },
      "x37": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 336
        },
        "definition": "x37 + x34*x65 + x36 = 0",
        "derived_from": [
          "x34",
          "x36",
          "x65"
        ],
        "kind": "gate",
        "named_definition": "x37 + x34*aux_65 + x36 = 0"
      },
      "x38": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 338
        },
        "kind": "context",
        "name": "product_is_rmmi"
      },
      "x39": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 341
        },
        "definition": "x39 + x32*x66 + x37 + x66 = 0",
        "derived_from": [
          "x32",
          "x37",
          "x66"
        ],
        "kind": "gate",
        "named_definition": "x39 + $risk_warning_given*aux_66 + x37 + aux_66 = 0"
      },
      "x4": {
        "colang": {
          "file": "policy.co",
          "flow": "investment specific product",
          "line": 229
        },
        "kind": "context",
        "name": "capacity_for_loss_assessed"
      },
      "x40": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 341
        },
        "definition": "x40 + x37*x67 + x39 = 0",
        "derived_from": [
          "x37",
          "x39",
          "x67"
        ],
        "kind": "gate",
        "named_definition": "x40 + x37*aux_67 + x39 = 0"
      },
      "x41": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 345
        },
        "kind": "context",
        "name": "client_is_first_time_investor"
      },
      "x43": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 348
        },
        "definition": "x43 + x40 + x41*x66 = 0",
        "derived_from": [
          "x40",
          "x41",
          "x66"
        ],
        "kind": "gate",
        "named_definition": "x43 + x40 + $client_is_first_time_investor*aux_66 = 0"
      },
      "x44": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 348
        },
        "definition": "x44 + x40*x68 + x43 = 0",
        "derived_from": [
          "x40",
          "x43",
          "x68"
        ],
        "kind": "gate",
        "named_definition": "x44 + x40*aux_68 + x43 = 0"
      },
      "x45": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 355
        },
        "definition": "x45 + x0*x69 + x44 = 0",
        "derived_from": [
          "x0",
          "x44",
          "x69"
        ],
        "kind": "gate",
        "named_definition": "x45 + ask about high risk investment*aux_69 + x44 = 0"
      },
      "x46": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 355
        },
        "definition": "x46 + x44*x70 + x45 = 0",
        "derived_from": [
          "x44",
          "x45",
          "x70"
        ],
        "kind": "gate",
        "named_definition": "x46 + x44*aux_70 + x45 = 0"
      },
      "x47": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 360
        },
        "definition": "x47 + x3 + x4 = 0",
        "derived_from": [
          "x3",
          "x4"
        ],
        "kind": "gate",
        "named_definition": "x47 + $suitability_assessment_done + $capacity_for_loss_assessed = 0"
      },
      "x48": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 360
        },
        "definition": "x48 + x3 + x3*x4 + x4 + x47 = 1",
        "derived_from": [
          "x3",
          "x4",
          "x47"
        ],
        "kind": "gate",
        "named_definition": "x48 + $suitability_assessment_done + $suitability_assessment_done*$capacity_for_loss_assessed + $capacity_for_loss_assessed + x47 = 1"
      },
      "x49": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 362
        },
        "definition": "x49 + x46 + x48*x72 = 0",
        "derived_from": [
          "x46",
          "x48",
          "x72"
        ],
        "kind": "gate",
        "named_definition": "x49 + x46 + x48*aux_72 = 0"
      },
      "x5": {
        "colang": {
          "file": "policy.co",
          "flow": "self certification gate",
          "line": 273
        },
        "kind": "context",
        "name": "hnw_signed_prescribed_statement"
      },
      "x50": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 362
        },
        "definition": "x50 + x46*x73 + x49 = 0",
        "derived_from": [
          "x46",
          "x49",
          "x73"
        ],
        "kind": "gate",
        "named_definition": "x50 + x46*aux_73 + x49 = 0"
      },
      "x51": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 364
        },
        "definition": "x51 + x0 + x0*x50 = 0",
        "derived_from": [
          "x0",
          "x50"
        ],
        "introduced_because": "This wire is protected or pinned, so it could not be absorbed into the equation that uses it; it stayed an explicit variable with a defining equation of its own.",
        "kind": "action",
        "name": "respond with permitted high risk answer",
        "named_definition": "respond with permitted high risk answer + ask about high risk investment + ask about high risk investment*x50 = 0",
        "subkind": "forced-materialisation"
      },
      "x52": {
        "definition": "x52 + x0*x12 = 0",
        "derived_from": [
          "x0",
          "x12"
        ],
        "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 + ask about high risk investment*$client_claims_high_net_worth = 0",
        "subkind": "degree3-materialisation"
      },
      "x53": {
        "definition": "x53 + x15*x52 = 0",
        "derived_from": [
          "x52",
          "x15"
        ],
        "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 + x15*aux_52 = 0",
        "subkind": "degree3-materialisation"
      },
      "x54": {
        "definition": "x54 + x6 + x6*x7 + x7 = 1",
        "derived_from": [
          "x6",
          "x7"
        ],
        "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 + $hnw_income_over_100k + $hnw_income_over_100k*$hnw_net_assets_over_250k + $hnw_net_assets_over_250k = 1",
        "subkind": "degree3-materialisation"
      },
      "x55": {
        "definition": "x55 + x52*x54 = 0",
        "derived_from": [
          "x52",
          "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_52*aux_54 = 0",
        "subkind": "degree3-materialisation"
      },
      "x56": {
        "definition": "x56 + x6*x7 + x7 = 0",
        "derived_from": [
          "x7",
          "x6"
        ],
        "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 + $hnw_income_over_100k*$hnw_net_assets_over_250k + $hnw_net_assets_over_250k = 0",
        "subkind": "degree3-materialisation"
      },
      "x57": {
        "definition": "x57 + x8*x56 + x56 = 0",
        "derived_from": [
          "x56",
          "x8"
        ],
        "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 + $hnw_excludes_residence_pension_insurance*aux_56 + aux_56 = 0",
        "subkind": "degree3-materialisation"
      },
      "x58": {
        "definition": "x58 + x52*x57 = 0",
        "derived_from": [
          "x52",
          "x57"
        ],
        "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 + aux_52*aux_57 = 0",
        "subkind": "degree3-materialisation"
      },
      "x59": {
        "definition": "x59 + x23 + x23*x24 = 0",
        "derived_from": [
          "x23",
          "x24"
        ],
        "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 + $client_is_retail + $client_is_retail*$client_is_certified_sophisticated = 0",
        "subkind": "degree3-materialisation"
      },
      "x6": {
        "colang": {
          "file": "policy.co",
          "flow": "self certification gate",
          "line": 277
        },
        "kind": "context",
        "name": "hnw_income_over_100k"
      },
      "x60": {
        "definition": "x60 + x0*x22 = 0",
        "derived_from": [
          "x0",
          "x22"
        ],
        "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_60 + ask about high risk investment*$product_is_nmmi = 0",
        "subkind": "degree3-materialisation"
      },
      "x61": {
        "definition": "x61 + x25*x59 + x59 = 0",
        "derived_from": [
          "x59",
          "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_61 + $client_is_self_certified_sophisticated*aux_59 + aux_59 = 0",
        "subkind": "degree3-materialisation"
      },
      "x62": {
        "definition": "x62 + x60*x61 = 0",
        "derived_from": [
          "x60",
          "x61"
        ],
        "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_62 + aux_60*aux_61 = 0",
        "subkind": "degree3-materialisation"
      },
      "x63": {
        "definition": "x63 + x29*x60 + x60 = 0",
        "derived_from": [
          "x60",
          "x29"
        ],
        "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_63 + $categorisation_verified*aux_60 + aux_60 = 0",
        "subkind": "degree3-materialisation"
      },
      "x64": {
        "definition": "x64 + x32*x60 + x60 = 0",
        "derived_from": [
          "x60",
          "x32"
        ],
        "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_64 + $risk_warning_given*aux_60 + aux_60 = 0",
        "subkind": "degree3-materialisation"
      },
      "x65": {
        "definition": "x65 + x35*x60 + x60 = 0",
        "derived_from": [
          "x60",
          "x35"
        ],
        "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_65 + $fscs_fos_loss_warning_given*aux_60 + aux_60 = 0",
        "subkind": "degree3-materialisation"
      },
      "x66": {
        "definition": "x66 + x0*x38 = 0",
        "derived_from": [
          "x0",
          "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_66 + ask about high risk investment*$product_is_rmmi = 0",
        "subkind": "degree3-materialisation"
      },
      "x67": {
        "definition": "x67 + x32*x66 + x66 = 0",
        "derived_from": [
          "x66",
          "x32"
        ],
        "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_67 + $risk_warning_given*aux_66 + aux_66 = 0",
        "subkind": "degree3-materialisation"
      },
      "x68": {
        "definition": "x68 + x41*x66 = 0",
        "derived_from": [
          "x66",
          "x41"
        ],
        "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_68 + $client_is_first_time_investor*aux_66 = 0",
        "subkind": "degree3-materialisation"
      },
      "x69": {
        "definition": "x69 + x1 + 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_69 + $personal_recommendation + $personal_recommendation*$has_advising_permission = 0",
        "subkind": "degree3-materialisation"
      },
      "x7": {
        "colang": {
          "file": "policy.co",
          "flow": "self certification gate",
          "line": 277
        },
        "kind": "context",
        "name": "hnw_net_assets_over_250k"
      },
      "x70": {
        "definition": "x70 + x0*x69 = 0",
        "derived_from": [
          "x0",
          "x69"
        ],
        "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_70 + ask about high risk investment*aux_69 = 0",
        "subkind": "degree3-materialisation"
      },
      "x71": {
        "definition": "x71 + 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_71 + $personal_recommendation*$has_advising_permission = 0",
        "subkind": "degree3-materialisation"
      },
      "x72": {
        "definition": "x72 + x0*x71 = 0",
        "derived_from": [
          "x0",
          "x71"
        ],
        "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_72 + ask about high risk investment*aux_71 = 0",
        "subkind": "degree3-materialisation"
      },
      "x73": {
        "definition": "x73 + x48*x72 = 0",
        "derived_from": [
          "x72",
          "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_73 + x48*aux_72 = 0",
        "subkind": "degree3-materialisation"
      },
      "x8": {
        "colang": {
          "file": "policy.co",
          "flow": "self certification gate",
          "line": 282
        },
        "kind": "context",
        "name": "hnw_excludes_residence_pension_insurance"
      },
      "x9": {
        "colang": {
          "file": "policy.co",
          "flow": "self certification gate",
          "line": 286
        },
        "kind": "context",
        "name": "hnw_statement_within_12_months"
      }
    }
  },
  "certificate_detail": "full",
  "decided_by": "candidate-derivation",
  "oracle_dependent": false,
  "origin_class": "derived",
  "status": "UNSAT"
}