{
  "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": [
        4443,
        3628
      ],
      "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": 94,
        "named_equation": "ask about high risk investment*x50 + respond with permitted high risk answer + ask about high risk investment = 0",
        "op": "INSERT",
        "pivot": 152,
        "source": "original-S1"
      },
      {
        "base_id": 94,
        "id": 3629,
        "multiplier": "x50",
        "op": "MULTIPLY"
      },
      {
        "equation": "x51 = 1",
        "id": 29,
        "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": 29,
        "id": 2592,
        "multiplier": "x50",
        "op": "MULTIPLY",
        "pivot": 3928
      },
      {
        "id": 3630,
        "op": "ADD",
        "parents": [
          3629,
          2592
        ],
        "pivot": 51
      },
      {
        "base_id": 3630,
        "id": 3931,
        "multiplier": "x46",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 362
        },
        "equation": "x46*x77 + x50 + x49 = 0",
        "id": 93,
        "named_equation": "x46*aux_77 + x50 + x49 = 0",
        "op": "INSERT",
        "pivot": 3744,
        "source": "original-S1"
      },
      {
        "base_id": 93,
        "id": 3620,
        "multiplier": "x46",
        "op": "MULTIPLY"
      },
      {
        "id": 3621,
        "op": "ADD",
        "parents": [
          3620,
          93
        ],
        "pivot": 3717
      },
      {
        "id": 3932,
        "op": "ADD",
        "parents": [
          3931,
          3621
        ]
      },
      {
        "equation": "x48*x76 + x77 = 0",
        "id": 91,
        "named_equation": "x48*aux_76 + aux_77 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 362
        },
        "equation": "x48*x76 + x49 + x46 = 0",
        "id": 90,
        "named_equation": "x48*aux_76 + x49 + x46 = 0",
        "op": "INSERT",
        "pivot": 3850,
        "source": "original-S1"
      },
      {
        "id": 92,
        "op": "ADD",
        "parents": [
          91,
          90
        ],
        "pivot": 78
      },
      {
        "base_id": 92,
        "id": 3602,
        "multiplier": "x46",
        "op": "MULTIPLY"
      },
      {
        "id": 3603,
        "op": "ADD",
        "parents": [
          3602,
          93
        ],
        "pivot": 3716
      },
      {
        "id": 3933,
        "op": "ADD",
        "parents": [
          3932,
          3603
        ],
        "pivot": 47
      },
      {
        "base_id": 3933,
        "id": 4438,
        "multiplier": "x44",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 355
        },
        "equation": "x44*x74 + x46 + x45 = 0",
        "id": 85,
        "named_equation": "x44*aux_74 + x46 + x45 = 0",
        "op": "INSERT",
        "pivot": 3630,
        "source": "original-S1"
      },
      {
        "base_id": 85,
        "id": 3483,
        "multiplier": "x44",
        "op": "MULTIPLY"
      },
      {
        "id": 3484,
        "op": "ADD",
        "parents": [
          3483,
          85
        ],
        "pivot": 3602
      },
      {
        "id": 4439,
        "op": "ADD",
        "parents": [
          4438,
          3484
        ]
      },
      {
        "equation": "x0*x73 + x74 = 0",
        "id": 83,
        "named_equation": "ask about high risk investment*aux_73 + aux_74 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 355
        },
        "equation": "x0*x73 + x45 + x44 = 0",
        "id": 82,
        "named_equation": "ask about high risk investment*aux_73 + x45 + x44 = 0",
        "op": "INSERT",
        "pivot": 175,
        "source": "original-S1"
      },
      {
        "id": 84,
        "op": "ADD",
        "parents": [
          83,
          82
        ],
        "pivot": 75
      },
      {
        "base_id": 84,
        "id": 3461,
        "multiplier": "x44",
        "op": "MULTIPLY"
      },
      {
        "id": 3462,
        "op": "ADD",
        "parents": [
          3461,
          85
        ],
        "pivot": 3601
      },
      {
        "id": 4440,
        "op": "ADD",
        "parents": [
          4439,
          3462
        ]
      },
      {
        "base_id": 94,
        "id": 3625,
        "multiplier": "x0",
        "op": "MULTIPLY"
      },
      {
        "base_id": 29,
        "id": 2546,
        "multiplier": "x0",
        "op": "MULTIPLY",
        "pivot": 153
      },
      {
        "id": 3626,
        "op": "ADD",
        "parents": [
          3625,
          2546
        ]
      },
      {
        "id": 3627,
        "op": "ADD",
        "parents": [
          3626,
          94
        ]
      },
      {
        "id": 3628,
        "op": "ADD",
        "parents": [
          3627,
          29
        ],
        "pivot": 1
      },
      {
        "base_id": 3628,
        "id": 3868,
        "multiplier": "x37",
        "op": "MULTIPLY"
      },
      {
        "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": 2471,
        "multiplier": "x0",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 341
        },
        "equation": "x0*x38 + x39 + x37 = 0",
        "id": 70,
        "named_equation": "ask about high risk investment*$product_is_rmmi + x39 + x37 = 0",
        "op": "INSERT",
        "pivot": 140,
        "source": "original-S1"
      },
      {
        "id": 2472,
        "op": "ADD",
        "parents": [
          2471,
          70
        ],
        "pivot": 40
      },
      {
        "base_id": 2472,
        "id": 3796,
        "multiplier": "x37",
        "op": "MULTIPLY"
      },
      {
        "equation": "x0*x38 + x68 = 0",
        "id": 71,
        "named_equation": "ask about high risk investment*$product_is_rmmi + aux_68 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "id": 72,
        "op": "ADD",
        "parents": [
          71,
          70
        ],
        "pivot": 69
      },
      {
        "base_id": 72,
        "id": 3298,
        "multiplier": "x37",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 341
        },
        "equation": "x37*x68 + x40 + x39 = 0",
        "id": 73,
        "named_equation": "x37*aux_68 + x40 + x39 = 0",
        "op": "INSERT",
        "pivot": 3204,
        "source": "original-S1"
      },
      {
        "id": 3299,
        "op": "ADD",
        "parents": [
          3298,
          73
        ],
        "pivot": 3175
      },
      {
        "id": 3797,
        "op": "ADD",
        "parents": [
          3796,
          3299
        ],
        "pivot": 139
      },
      {
        "id": 3869,
        "op": "ADD",
        "parents": [
          3868,
          3797
        ],
        "pivot": 41
      },
      {
        "base_id": 3869,
        "id": 4233,
        "multiplier": "x43",
        "op": "MULTIPLY"
      },
      {
        "equation": "x70*x71 + x72 = 0",
        "id": 78,
        "named_equation": "aux_70*aux_71 + aux_72 = 0",
        "op": "INSERT",
        "source": "original-S1"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 348
        },
        "equation": "x70*x71 + x43 + x40 = 0",
        "id": 77,
        "named_equation": "aux_70*aux_71 + x43 + x40 = 0",
        "op": "INSERT",
        "pivot": 4758,
        "source": "original-S1"
      },
      {
        "id": 79,
        "op": "ADD",
        "parents": [
          78,
          77
        ],
        "pivot": 73
      },
      {
        "base_id": 79,
        "id": 3383,
        "multiplier": "x40",
        "op": "MULTIPLY"
      },
      {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 348
        },
        "equation": "x40*x72 + x44 + x43 = 0",
        "id": 80,
        "named_equation": "x40*aux_72 + x44 + x43 = 0",
        "op": "INSERT",
        "pivot": 3394,
        "source": "original-S1"
      },
      {
        "id": 3384,
        "op": "ADD",
        "parents": [
          3383,
          80
        ],
        "pivot": 3365
      },
      {
        "id": 4234,
        "op": "ADD",
        "parents": [
          4233,
          3384
        ]
      },
      {
        "base_id": 2472,
        "id": 3804,
        "multiplier": "x43",
        "op": "MULTIPLY",
        "pivot": 3304
      },
      {
        "id": 4235,
        "op": "ADD",
        "parents": [
          4234,
          3804
        ]
      },
      {
        "base_id": 3628,
        "id": 3872,
        "multiplier": "x43",
        "op": "MULTIPLY",
        "pivot": 145
      },
      {
        "id": 4236,
        "op": "ADD",
        "parents": [
          4235,
          3872
        ],
        "pivot": 45
      },
      {
        "id": 4441,
        "op": "ADD",
        "parents": [
          4440,
          4236
        ]
      },
      {
        "id": 4442,
        "op": "ADD",
        "parents": [
          4441,
          3869
        ]
      },
      {
        "id": 4443,
        "op": "ADD",
        "parents": [
          4442,
          2472
        ]
      }
    ],
    "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",
        "x13",
        "x22",
        "x23",
        "x24",
        "x25",
        "x26",
        "x29",
        "x35",
        "x38",
        "x41",
        "x42"
      ]
    },
    "question": {
      "action": "respond with permitted high risk answer",
      "obligation_context": "risk_warning_given",
      "pins": [
        {
          "name": "respond with permitted high risk answer",
          "source": "action",
          "value": 1,
          "variable": 51
        },
        {
          "name": "risk_warning_given",
          "source": "obligation",
          "value": 0,
          "variable": 32
        },
        {
          "name": "product_is_rmmi",
          "source": "conditioning",
          "value": 1,
          "variable": 38
        }
      ]
    },
    "self_contained": true,
    "status": "verified_unsat",
    "steps_to_contradiction": 60,
    "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"
      },
      "x13": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 305
        },
        "kind": "context",
        "name": "client_is_certified_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*x53 = 0",
        "derived_from": [
          "x11",
          "x15",
          "x53"
        ],
        "kind": "gate",
        "named_definition": "x16 + block incentive + x15*aux_53 = 0"
      },
      "x17": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 308
        },
        "definition": "x17 + x11*x54 + x16 = 0",
        "derived_from": [
          "x11",
          "x16",
          "x54"
        ],
        "kind": "gate",
        "named_definition": "x17 + block incentive*aux_54 + x16 = 0"
      },
      "x18": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 312
        },
        "definition": "x18 + x17 + x53*x55 = 0",
        "derived_from": [
          "x17",
          "x53",
          "x55"
        ],
        "kind": "gate",
        "named_definition": "x18 + x17 + aux_53*aux_55 = 0"
      },
      "x19": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 312
        },
        "definition": "x19 + x17*x56 + x18 = 0",
        "derived_from": [
          "x17",
          "x18",
          "x56"
        ],
        "kind": "gate",
        "named_definition": "x19 + x17*aux_56 + 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 + x53*x58 = 0",
        "derived_from": [
          "x19",
          "x53",
          "x58"
        ],
        "kind": "gate",
        "named_definition": "x20 + x19 + aux_53*aux_58 = 0"
      },
      "x21": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 316
        },
        "definition": "x21 + x19*x59 + x20 = 0",
        "derived_from": [
          "x19",
          "x20",
          "x59"
        ],
        "kind": "gate",
        "named_definition": "x21 + x19*aux_59 + 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"
      },
      "x26": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 319
        },
        "kind": "context",
        "name": "client_is_professional"
      },
      "x27": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 321
        },
        "definition": "x27 + x21 + x63*x64 = 0",
        "derived_from": [
          "x21",
          "x63",
          "x64"
        ],
        "kind": "gate",
        "named_definition": "x27 + x21 + aux_63*aux_64 = 0"
      },
      "x28": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 321
        },
        "definition": "x28 + x21*x65 + x27 = 0",
        "derived_from": [
          "x21",
          "x27",
          "x65"
        ],
        "kind": "gate",
        "named_definition": "x28 + x21*aux_65 + 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*x63 + x63 = 0",
        "derived_from": [
          "x28",
          "x29",
          "x63"
        ],
        "kind": "gate",
        "named_definition": "x30 + x28 + $categorisation_verified*aux_63 + aux_63 = 0"
      },
      "x31": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 325
        },
        "definition": "x31 + x28*x66 + x30 = 0",
        "derived_from": [
          "x28",
          "x30",
          "x66"
        ],
        "kind": "gate",
        "named_definition": "x31 + x28*aux_66 + x30 = 0"
      },
      "x33": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 329
        },
        "definition": "x33 + x0*x22 + x31 = 0",
        "derived_from": [
          "x0",
          "x22",
          "x31"
        ],
        "kind": "gate",
        "named_definition": "x33 + ask about high risk investment*$product_is_nmmi + x31 = 0"
      },
      "x34": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 329
        },
        "definition": "x34 + x31*x63 + x33 = 0",
        "derived_from": [
          "x31",
          "x33",
          "x63"
        ],
        "kind": "gate",
        "named_definition": "x34 + x31*aux_63 + 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*x63 + x63 = 0",
        "derived_from": [
          "x34",
          "x35",
          "x63"
        ],
        "kind": "gate",
        "named_definition": "x36 + x34 + $fscs_fos_loss_warning_given*aux_63 + aux_63 = 0"
      },
      "x37": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 336
        },
        "definition": "x37 + x34*x67 + x36 = 0",
        "derived_from": [
          "x34",
          "x36",
          "x67"
        ],
        "kind": "gate",
        "named_definition": "x37 + x34*aux_67 + 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 + x0*x38 + x37 = 0",
        "derived_from": [
          "x0",
          "x37",
          "x38"
        ],
        "kind": "gate",
        "named_definition": "x39 + ask about high risk investment*$product_is_rmmi + x37 = 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*x68 + x39 = 0",
        "derived_from": [
          "x37",
          "x39",
          "x68"
        ],
        "kind": "gate",
        "named_definition": "x40 + x37*aux_68 + x39 = 0"
      },
      "x41": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 345
        },
        "kind": "context",
        "name": "client_is_first_time_investor"
      },
      "x42": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 345
        },
        "kind": "context",
        "name": "cooling_off_completed"
      },
      "x43": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 348
        },
        "definition": "x43 + x40 + x70*x71 = 0",
        "derived_from": [
          "x40",
          "x70",
          "x71"
        ],
        "kind": "gate",
        "named_definition": "x43 + x40 + aux_70*aux_71 = 0"
      },
      "x44": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 348
        },
        "definition": "x44 + x40*x72 + x43 = 0",
        "derived_from": [
          "x40",
          "x43",
          "x72"
        ],
        "kind": "gate",
        "named_definition": "x44 + x40*aux_72 + x43 = 0"
      },
      "x45": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 355
        },
        "definition": "x45 + x0*x73 + x44 = 0",
        "derived_from": [
          "x0",
          "x44",
          "x73"
        ],
        "kind": "gate",
        "named_definition": "x45 + ask about high risk investment*aux_73 + x44 = 0"
      },
      "x46": {
        "colang": {
          "file": "policy.co",
          "flow": "high risk investment gate",
          "line": 355
        },
        "definition": "x46 + x44*x74 + x45 = 0",
        "derived_from": [
          "x44",
          "x45",
          "x74"
        ],
        "kind": "gate",
        "named_definition": "x46 + x44*aux_74 + 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*x76 = 0",
        "derived_from": [
          "x46",
          "x48",
          "x76"
        ],
        "kind": "gate",
        "named_definition": "x49 + x46 + x48*aux_76 = 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*x77 + x49 = 0",
        "derived_from": [
          "x46",
          "x49",
          "x77"
        ],
        "kind": "gate",
        "named_definition": "x50 + x46*aux_77 + 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 + x12 + x12*x13 = 0",
        "derived_from": [
          "x12",
          "x13"
        ],
        "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 + $client_claims_high_net_worth + $client_claims_high_net_worth*$client_is_certified_high_net_worth = 0",
        "subkind": "degree3-materialisation"
      },
      "x53": {
        "definition": "x53 + x0*x52 = 0",
        "derived_from": [
          "x0",
          "x52"
        ],
        "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 + ask about high risk investment*aux_52 = 0",
        "subkind": "degree3-materialisation"
      },
      "x54": {
        "definition": "x54 + x15*x53 = 0",
        "derived_from": [
          "x53",
          "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_54 + x15*aux_53 = 0",
        "subkind": "degree3-materialisation"
      },
      "x55": {
        "definition": "x55 + 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_55 + $hnw_income_over_100k + $hnw_income_over_100k*$hnw_net_assets_over_250k + $hnw_net_assets_over_250k = 1",
        "subkind": "degree3-materialisation"
      },
      "x56": {
        "definition": "x56 + x53*x55 = 0",
        "derived_from": [
          "x53",
          "x55"
        ],
        "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 + aux_53*aux_55 = 0",
        "subkind": "degree3-materialisation"
      },
      "x57": {
        "definition": "x57 + 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_57 + $hnw_income_over_100k*$hnw_net_assets_over_250k + $hnw_net_assets_over_250k = 0",
        "subkind": "degree3-materialisation"
      },
      "x58": {
        "definition": "x58 + x8*x57 + x57 = 0",
        "derived_from": [
          "x57",
          "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_58 + $hnw_excludes_residence_pension_insurance*aux_57 + aux_57 = 0",
        "subkind": "degree3-materialisation"
      },
      "x59": {
        "definition": "x59 + x53*x58 = 0",
        "derived_from": [
          "x53",
          "x58"
        ],
        "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 + aux_53*aux_58 = 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 + x13*x23 + x23 = 0",
        "derived_from": [
          "x23",
          "x13"
        ],
        "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 + $client_is_certified_high_net_worth*$client_is_retail + $client_is_retail = 0",
        "subkind": "degree3-materialisation"
      },
      "x61": {
        "definition": "x61 + x24*x60 + x60 = 0",
        "derived_from": [
          "x60",
          "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_61 + $client_is_certified_sophisticated*aux_60 + aux_60 = 0",
        "subkind": "degree3-materialisation"
      },
      "x62": {
        "definition": "x62 + x25*x61 + x61 = 0",
        "derived_from": [
          "x61",
          "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_62 + $client_is_self_certified_sophisticated*aux_61 + aux_61 = 0",
        "subkind": "degree3-materialisation"
      },
      "x63": {
        "definition": "x63 + 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_63 + ask about high risk investment*$product_is_nmmi = 0",
        "subkind": "degree3-materialisation"
      },
      "x64": {
        "definition": "x64 + x26*x62 + x62 = 0",
        "derived_from": [
          "x62",
          "x26"
        ],
        "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 + $client_is_professional*aux_62 + aux_62 = 0",
        "subkind": "degree3-materialisation"
      },
      "x65": {
        "definition": "x65 + x63*x64 = 0",
        "derived_from": [
          "x63",
          "x64"
        ],
        "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 + aux_63*aux_64 = 0",
        "subkind": "degree3-materialisation"
      },
      "x66": {
        "definition": "x66 + x29*x63 + x63 = 0",
        "derived_from": [
          "x63",
          "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_66 + $categorisation_verified*aux_63 + aux_63 = 0",
        "subkind": "degree3-materialisation"
      },
      "x67": {
        "definition": "x67 + x35*x63 + x63 = 0",
        "derived_from": [
          "x63",
          "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_67 + $fscs_fos_loss_warning_given*aux_63 + aux_63 = 0",
        "subkind": "degree3-materialisation"
      },
      "x68": {
        "definition": "x68 + 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_68 + ask about high risk investment*$product_is_rmmi = 0",
        "subkind": "degree3-materialisation"
      },
      "x69": {
        "definition": "x69 + x41 + x41*x42 = 0",
        "derived_from": [
          "x41",
          "x42"
        ],
        "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 + $client_is_first_time_investor + $client_is_first_time_investor*$cooling_off_completed = 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 + x68*x69 = 0",
        "derived_from": [
          "x68",
          "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 + aux_68*aux_69 = 0",
        "subkind": "degree3-materialisation"
      },
      "x71": {
        "definition": "x71 + x13 + x13*x26 + x26 = 1",
        "derived_from": [
          "x13",
          "x26"
        ],
        "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 + $client_is_certified_high_net_worth + $client_is_certified_high_net_worth*$client_is_professional + $client_is_professional = 1",
        "subkind": "degree3-materialisation"
      },
      "x72": {
        "definition": "x72 + x70*x71 = 0",
        "derived_from": [
          "x70",
          "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 + aux_70*aux_71 = 0",
        "subkind": "degree3-materialisation"
      },
      "x73": {
        "definition": "x73 + 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_73 + $personal_recommendation + $personal_recommendation*$has_advising_permission = 0",
        "subkind": "degree3-materialisation"
      },
      "x74": {
        "definition": "x74 + x0*x73 = 0",
        "derived_from": [
          "x0",
          "x73"
        ],
        "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_74 + ask about high risk investment*aux_73 = 0",
        "subkind": "degree3-materialisation"
      },
      "x75": {
        "definition": "x75 + 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_75 + $personal_recommendation*$has_advising_permission = 0",
        "subkind": "degree3-materialisation"
      },
      "x76": {
        "definition": "x76 + x0*x75 = 0",
        "derived_from": [
          "x0",
          "x75"
        ],
        "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_76 + ask about high risk investment*aux_75 = 0",
        "subkind": "degree3-materialisation"
      },
      "x77": {
        "definition": "x77 + x48*x76 = 0",
        "derived_from": [
          "x76",
          "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_77 + x48*aux_76 = 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"
}