{ "format_version": 1, "certificate_type": "algebraic", "status": "verified_unsat", "detail": "full", "origin_class": "derived", "self_contained": true, "policy": { "file": "policy.co", "sha256": "470bfaea5ca9297edde3c6f9dd1287ac090b0db94091edd9bf067c4d63c22ec5", "parse_diagnostics": 0, "unroll_depth": [] }, "question": { "action": "respond with permitted high risk answer", "obligation_context": "risk_warning_given", "pins": [{ "name": "respond with permitted high risk answer", "variable": 51, "value": 1, "source": "action" }, { "name": "risk_warning_given", "variable": 32, "value": 0, "source": "obligation" }, { "name": "product_is_nmmi", "variable": 22, "value": 1, "source": "conditioning" }] }, "variables": { "x0": { "kind": "intent", "name": "ask about high risk investment", "colang": { "file": "policy.co", "line": 116 } }, "x1": { "kind": "context", "name": "personal_recommendation", "colang": { "file": "policy.co", "line": 209, "flow": "investment specific product" } }, "x2": { "kind": "context", "name": "has_advising_permission", "colang": { "file": "policy.co", "line": 219, "flow": "investment specific product" } }, "x3": { "kind": "context", "name": "suitability_assessment_done", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" } }, "x4": { "kind": "context", "name": "capacity_for_loss_assessed", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" } }, "x5": { "kind": "context", "name": "hnw_signed_prescribed_statement", "colang": { "file": "policy.co", "line": 273, "flow": "self certification gate" } }, "x6": { "kind": "context", "name": "hnw_income_over_100k", "colang": { "file": "policy.co", "line": 277, "flow": "self certification gate" } }, "x7": { "kind": "context", "name": "hnw_net_assets_over_250k", "colang": { "file": "policy.co", "line": 277, "flow": "self certification gate" } }, "x8": { "kind": "context", "name": "hnw_excludes_residence_pension_insurance", "colang": { "file": "policy.co", "line": 282, "flow": "self certification gate" } }, "x9": { "kind": "context", "name": "hnw_statement_within_12_months", "colang": { "file": "policy.co", "line": 286, "flow": "self certification gate" } }, "x10": { "kind": "context", "name": "incentive_offered", "colang": { "file": "policy.co", "line": 298, "flow": "high risk investment gate" } }, "x11": { "kind": "action", "subkind": "quadratic-split", "name": "block incentive", "colang": { "file": "policy.co", "line": 299, "flow": "high risk investment gate" }, "definition": "x11 + x0*x10 = 0", "named_definition": "block incentive + ask about high risk investment*$incentive_offered = 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." }, "x12": { "kind": "context", "name": "client_claims_high_net_worth", "colang": { "file": "policy.co", "line": 305, "flow": "high risk investment gate" } }, "x13": { "kind": "context", "name": "client_is_certified_high_net_worth", "colang": { "file": "policy.co", "line": 305, "flow": "high risk investment gate" } }, "x14": { "kind": "gate", "colang": { "file": "policy.co", "line": 306, "flow": "high risk investment gate" }, "definition": "x14 + x5 + x9 = 0", "named_definition": "x14 + $hnw_signed_prescribed_statement + $hnw_statement_within_12_months = 0", "derived_from": ["x5", "x9"] }, "x15": { "kind": "gate", "colang": { "file": "policy.co", "line": 306, "flow": "high risk investment gate" }, "definition": "x15 + x5 + x5*x9 + x9 + x14 = 1", "named_definition": "x15 + $hnw_signed_prescribed_statement + $hnw_signed_prescribed_statement*$hnw_statement_within_12_months + $hnw_statement_within_12_months + x14 = 1", "derived_from": ["x5", "x9", "x14"] }, "x16": { "kind": "gate", "colang": { "file": "policy.co", "line": 308, "flow": "high risk investment gate" }, "definition": "x16 + x11 + x15*x53 = 0", "named_definition": "x16 + block incentive + x15*aux_53 = 0", "derived_from": ["x11", "x15", "x53"] }, "x17": { "kind": "gate", "colang": { "file": "policy.co", "line": 308, "flow": "high risk investment gate" }, "definition": "x17 + x11*x54 + x16 = 0", "named_definition": "x17 + block incentive*aux_54 + x16 = 0", "derived_from": ["x11", "x16", "x54"] }, "x18": { "kind": "gate", "colang": { "file": "policy.co", "line": 312, "flow": "high risk investment gate" }, "definition": "x18 + x17 + x53*x55 = 0", "named_definition": "x18 + x17 + aux_53*aux_55 = 0", "derived_from": ["x17", "x53", "x55"] }, "x19": { "kind": "gate", "colang": { "file": "policy.co", "line": 312, "flow": "high risk investment gate" }, "definition": "x19 + x17*x56 + x18 = 0", "named_definition": "x19 + x17*aux_56 + x18 = 0", "derived_from": ["x17", "x18", "x56"] }, "x20": { "kind": "gate", "colang": { "file": "policy.co", "line": 316, "flow": "high risk investment gate" }, "definition": "x20 + x19 + x53*x58 = 0", "named_definition": "x20 + x19 + aux_53*aux_58 = 0", "derived_from": ["x19", "x53", "x58"] }, "x21": { "kind": "gate", "colang": { "file": "policy.co", "line": 316, "flow": "high risk investment gate" }, "definition": "x21 + x19*x59 + x20 = 0", "named_definition": "x21 + x19*aux_59 + x20 = 0", "derived_from": ["x19", "x20", "x59"] }, "x22": { "kind": "context", "name": "product_is_nmmi", "colang": { "file": "policy.co", "line": 318, "flow": "high risk investment gate" } }, "x23": { "kind": "context", "name": "client_is_retail", "colang": { "file": "policy.co", "line": 319, "flow": "high risk investment gate" } }, "x24": { "kind": "context", "name": "client_is_certified_sophisticated", "colang": { "file": "policy.co", "line": 319, "flow": "high risk investment gate" } }, "x25": { "kind": "context", "name": "client_is_self_certified_sophisticated", "colang": { "file": "policy.co", "line": 319, "flow": "high risk investment gate" } }, "x26": { "kind": "context", "name": "client_is_professional", "colang": { "file": "policy.co", "line": 319, "flow": "high risk investment gate" } }, "x27": { "kind": "gate", "colang": { "file": "policy.co", "line": 321, "flow": "high risk investment gate" }, "definition": "x27 + x21 + x63*x64 = 0", "named_definition": "x27 + x21 + aux_63*aux_64 = 0", "derived_from": ["x21", "x63", "x64"] }, "x28": { "kind": "gate", "colang": { "file": "policy.co", "line": 321, "flow": "high risk investment gate" }, "definition": "x28 + x21*x65 + x27 = 0", "named_definition": "x28 + x21*aux_65 + x27 = 0", "derived_from": ["x21", "x27", "x65"] }, "x29": { "kind": "context", "name": "categorisation_verified", "colang": { "file": "policy.co", "line": 323, "flow": "high risk investment gate" } }, "x30": { "kind": "gate", "colang": { "file": "policy.co", "line": 325, "flow": "high risk investment gate" }, "definition": "x30 + x28 + x29*x63 + x63 = 0", "named_definition": "x30 + x28 + $categorisation_verified*aux_63 + aux_63 = 0", "derived_from": ["x28", "x29", "x63"] }, "x31": { "kind": "gate", "colang": { "file": "policy.co", "line": 325, "flow": "high risk investment gate" }, "definition": "x31 + x28*x66 + x30 = 0", "named_definition": "x31 + x28*aux_66 + x30 = 0", "derived_from": ["x28", "x30", "x66"] }, "x33": { "kind": "gate", "colang": { "file": "policy.co", "line": 329, "flow": "high risk investment gate" }, "definition": "x33 + x0*x22 + x31 = 0", "named_definition": "x33 + ask about high risk investment*$product_is_nmmi + x31 = 0", "derived_from": ["x0", "x22", "x31"] }, "x34": { "kind": "gate", "colang": { "file": "policy.co", "line": 329, "flow": "high risk investment gate" }, "definition": "x34 + x31*x63 + x33 = 0", "named_definition": "x34 + x31*aux_63 + x33 = 0", "derived_from": ["x31", "x33", "x63"] }, "x35": { "kind": "context", "name": "fscs_fos_loss_warning_given", "colang": { "file": "policy.co", "line": 334, "flow": "high risk investment gate" } }, "x36": { "kind": "gate", "colang": { "file": "policy.co", "line": 336, "flow": "high risk investment gate" }, "definition": "x36 + x34 + x35*x63 + x63 = 0", "named_definition": "x36 + x34 + $fscs_fos_loss_warning_given*aux_63 + aux_63 = 0", "derived_from": ["x34", "x35", "x63"] }, "x37": { "kind": "gate", "colang": { "file": "policy.co", "line": 336, "flow": "high risk investment gate" }, "definition": "x37 + x34*x67 + x36 = 0", "named_definition": "x37 + x34*aux_67 + x36 = 0", "derived_from": ["x34", "x36", "x67"] }, "x38": { "kind": "context", "name": "product_is_rmmi", "colang": { "file": "policy.co", "line": 338, "flow": "high risk investment gate" } }, "x39": { "kind": "gate", "colang": { "file": "policy.co", "line": 341, "flow": "high risk investment gate" }, "definition": "x39 + x0*x38 + x37 = 0", "named_definition": "x39 + ask about high risk investment*$product_is_rmmi + x37 = 0", "derived_from": ["x0", "x37", "x38"] }, "x40": { "kind": "gate", "colang": { "file": "policy.co", "line": 341, "flow": "high risk investment gate" }, "definition": "x40 + x37*x68 + x39 = 0", "named_definition": "x40 + x37*aux_68 + x39 = 0", "derived_from": ["x37", "x39", "x68"] }, "x41": { "kind": "context", "name": "client_is_first_time_investor", "colang": { "file": "policy.co", "line": 345, "flow": "high risk investment gate" } }, "x42": { "kind": "context", "name": "cooling_off_completed", "colang": { "file": "policy.co", "line": 345, "flow": "high risk investment gate" } }, "x43": { "kind": "gate", "colang": { "file": "policy.co", "line": 348, "flow": "high risk investment gate" }, "definition": "x43 + x40 + x70*x71 = 0", "named_definition": "x43 + x40 + aux_70*aux_71 = 0", "derived_from": ["x40", "x70", "x71"] }, "x44": { "kind": "gate", "colang": { "file": "policy.co", "line": 348, "flow": "high risk investment gate" }, "definition": "x44 + x40*x72 + x43 = 0", "named_definition": "x44 + x40*aux_72 + x43 = 0", "derived_from": ["x40", "x43", "x72"] }, "x45": { "kind": "gate", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "definition": "x45 + x0*x73 + x44 = 0", "named_definition": "x45 + ask about high risk investment*aux_73 + x44 = 0", "derived_from": ["x0", "x44", "x73"] }, "x46": { "kind": "gate", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "definition": "x46 + x44*x74 + x45 = 0", "named_definition": "x46 + x44*aux_74 + x45 = 0", "derived_from": ["x44", "x45", "x74"] }, "x47": { "kind": "gate", "colang": { "file": "policy.co", "line": 360, "flow": "high risk investment gate" }, "definition": "x47 + x3 + x4 = 0", "named_definition": "x47 + $suitability_assessment_done + $capacity_for_loss_assessed = 0", "derived_from": ["x3", "x4"] }, "x48": { "kind": "gate", "colang": { "file": "policy.co", "line": 360, "flow": "high risk investment gate" }, "definition": "x48 + x3 + x3*x4 + x4 + x47 = 1", "named_definition": "x48 + $suitability_assessment_done + $suitability_assessment_done*$capacity_for_loss_assessed + $capacity_for_loss_assessed + x47 = 1", "derived_from": ["x3", "x4", "x47"] }, "x49": { "kind": "gate", "colang": { "file": "policy.co", "line": 362, "flow": "high risk investment gate" }, "definition": "x49 + x46 + x48*x76 = 0", "named_definition": "x49 + x46 + x48*aux_76 = 0", "derived_from": ["x46", "x48", "x76"] }, "x50": { "kind": "gate", "colang": { "file": "policy.co", "line": 362, "flow": "high risk investment gate" }, "definition": "x50 + x46*x77 + x49 = 0", "named_definition": "x50 + x46*aux_77 + x49 = 0", "derived_from": ["x46", "x49", "x77"] }, "x51": { "kind": "action", "subkind": "forced-materialisation", "name": "respond with permitted high risk answer", "colang": { "file": "policy.co", "line": 364, "flow": "high risk investment gate" }, "definition": "x51 + x0 + x0*x50 = 0", "named_definition": "respond with permitted high risk answer + ask about high risk investment + ask about high risk investment*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." }, "x52": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x52 + x12 + x12*x13 = 0", "named_definition": "aux_52 + $client_claims_high_net_worth + $client_claims_high_net_worth*$client_is_certified_high_net_worth = 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." }, "x53": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x53 + x0*x52 = 0", "named_definition": "aux_53 + ask about high risk investment*aux_52 = 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." }, "x54": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x54 + x15*x53 = 0", "named_definition": "aux_54 + x15*aux_53 = 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." }, "x55": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x55 + x6 + x6*x7 + x7 = 1", "named_definition": "aux_55 + $hnw_income_over_100k + $hnw_income_over_100k*$hnw_net_assets_over_250k + $hnw_net_assets_over_250k = 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." }, "x56": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x56 + x53*x55 = 0", "named_definition": "aux_56 + aux_53*aux_55 = 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." }, "x57": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x57 + x6*x7 + x7 = 0", "named_definition": "aux_57 + $hnw_income_over_100k*$hnw_net_assets_over_250k + $hnw_net_assets_over_250k = 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." }, "x58": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x58 + x8*x57 + x57 = 0", "named_definition": "aux_58 + $hnw_excludes_residence_pension_insurance*aux_57 + aux_57 = 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." }, "x59": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x59 + x53*x58 = 0", "named_definition": "aux_59 + aux_53*aux_58 = 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." }, "x60": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x60 + x13*x23 + x23 = 0", "named_definition": "aux_60 + $client_is_certified_high_net_worth*$client_is_retail + $client_is_retail = 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." }, "x61": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x61 + x24*x60 + x60 = 0", "named_definition": "aux_61 + $client_is_certified_sophisticated*aux_60 + aux_60 = 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." }, "x62": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x62 + x25*x61 + x61 = 0", "named_definition": "aux_62 + $client_is_self_certified_sophisticated*aux_61 + aux_61 = 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." }, "x63": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x63 + x0*x22 = 0", "named_definition": "aux_63 + ask about high risk investment*$product_is_nmmi = 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." }, "x64": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x64 + x26*x62 + x62 = 0", "named_definition": "aux_64 + $client_is_professional*aux_62 + aux_62 = 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." }, "x65": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x65 + x63*x64 = 0", "named_definition": "aux_65 + aux_63*aux_64 = 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." }, "x66": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x66 + x29*x63 + x63 = 0", "named_definition": "aux_66 + $categorisation_verified*aux_63 + aux_63 = 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." }, "x67": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x67 + x35*x63 + x63 = 0", "named_definition": "aux_67 + $fscs_fos_loss_warning_given*aux_63 + aux_63 = 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." }, "x68": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x68 + x0*x38 = 0", "named_definition": "aux_68 + ask about high risk investment*$product_is_rmmi = 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." }, "x69": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x69 + x41 + x41*x42 = 0", "named_definition": "aux_69 + $client_is_first_time_investor + $client_is_first_time_investor*$cooling_off_completed = 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." }, "x70": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x70 + x68*x69 = 0", "named_definition": "aux_70 + aux_68*aux_69 = 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." }, "x71": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x71 + x13 + x13*x26 + x26 = 1", "named_definition": "aux_71 + $client_is_certified_high_net_worth + $client_is_certified_high_net_worth*$client_is_professional + $client_is_professional = 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." }, "x72": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x72 + x70*x71 = 0", "named_definition": "aux_72 + aux_70*aux_71 = 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." }, "x73": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x73 + x1 + x1*x2 = 0", "named_definition": "aux_73 + $personal_recommendation + $personal_recommendation*$has_advising_permission = 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." }, "x74": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x74 + x0*x73 = 0", "named_definition": "aux_74 + ask about high risk investment*aux_73 = 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." }, "x75": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x75 + x1*x2 = 0", "named_definition": "aux_75 + $personal_recommendation*$has_advising_permission = 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." }, "x76": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x76 + x0*x75 = 0", "named_definition": "aux_76 + ask about high risk investment*aux_75 = 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." }, "x77": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x77 + x48*x76 = 0", "named_definition": "aux_77 + x48*aux_76 = 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." } }, "steps_to_contradiction": 105, "operations": [ { "id": 94, "op": "INSERT", "source": "original-S1", "equation": "x0*x50 + x51 + x0 = 0", "named_equation": "ask about high risk investment*x50 + respond with permitted high risk answer + ask about high risk investment = 0", "colang": { "file": "policy.co", "line": 364, "flow": "high risk investment gate" }, "pivot": 152 }, { "id": 3625, "op": "MULTIPLY", "base_id": 94, "multiplier": "x0" }, { "id": 29, "op": "INSERT", "source": "original-S2", "equation": "x51 = 1", "named_equation": "respond with permitted high risk answer = 1", "reads_as": "respond with permitted high risk answer holds", "pin": { "name": "respond with permitted high risk answer", "value": 1 }, "pivot": 52 }, { "id": 2547, "op": "MULTIPLY", "base_id": 29, "multiplier": "x0", "pivot": 153 }, { "id": 3626, "op": "ADD", "parents": [3625, 2547] }, { "id": 3627, "op": "ADD", "parents": [3626, 94] }, { "id": 3628, "op": "ADD", "parents": [3627, 29], "pivot": 1 }, { "id": 3887, "op": "MULTIPLY", "base_id": 3628, "multiplier": "x31" }, { "id": 27, "op": "INSERT", "source": "original-S2", "equation": "x22 = 1", "named_equation": "$product_is_nmmi = 1", "reads_as": "$product_is_nmmi holds", "pin": { "name": "product_is_nmmi", "value": 1 }, "pivot": 23 }, { "id": 2396, "op": "MULTIPLY", "base_id": 27, "multiplier": "x0" }, { "id": 53, "op": "INSERT", "source": "original-S1", "equation": "x0*x22 + x63 = 0", "named_equation": "ask about high risk investment*$product_is_nmmi + aux_63 = 0", "pivot": 124 }, { "id": 2397, "op": "ADD", "parents": [2396, 53] }, { "id": 63, "op": "INSERT", "source": "original-S1", "equation": "x0*x22 + x33 + x31 = 0", "named_equation": "ask about high risk investment*$product_is_nmmi + x33 + x31 = 0", "colang": { "file": "policy.co", "line": 329, "flow": "high risk investment gate" } }, { "id": 64, "op": "ADD", "parents": [63, 53], "pivot": 64 }, { "id": 2398, "op": "ADD", "parents": [2397, 64], "pivot": 34 }, { "id": 3811, "op": "MULTIPLY", "base_id": 2398, "multiplier": "x31" }, { "id": 3140, "op": "MULTIPLY", "base_id": 64, "multiplier": "x31" }, { "id": 65, "op": "INSERT", "source": "original-S1", "equation": "x31*x63 + x34 + x33 = 0", "named_equation": "x31*aux_63 + x34 + x33 = 0", "colang": { "file": "policy.co", "line": 329, "flow": "high risk investment gate" }, "pivot": 2800 }, { "id": 3141, "op": "ADD", "parents": [3140, 65], "pivot": 2770 }, { "id": 3812, "op": "ADD", "parents": [3811, 3141], "pivot": 133 }, { "id": 3888, "op": "ADD", "parents": [3887, 3812], "pivot": 35 }, { "id": 4240, "op": "MULTIPLY", "base_id": 3888, "multiplier": "x39" }, { "id": 66, "op": "INSERT", "source": "original-S1", "equation": "x35*x63 + x63 + x36 + x34 = 0", "named_equation": "$fscs_fos_loss_warning_given*aux_63 + aux_63 + x36 + x34 = 0", "colang": { "file": "policy.co", "line": 336, "flow": "high risk investment gate" }, "pivot": 3070 }, { "id": 3186, "op": "MULTIPLY", "base_id": 66, "multiplier": "x63" }, { "id": 3146, "op": "MULTIPLY", "base_id": 64, "multiplier": "x36", "pivot": 3135 }, { "id": 3187, "op": "ADD", "parents": [3186, 3146] }, { "id": 3188, "op": "ADD", "parents": [3187, 66] }, { "id": 3143, "op": "MULTIPLY", "base_id": 64, "multiplier": "x34", "pivot": 3004 }, { "id": 3189, "op": "ADD", "parents": [3188, 3143], "pivot": 2910 }, { "id": 3851, "op": "ADD", "parents": [3189, 65] }, { "id": 3852, "op": "ADD", "parents": [3851, 3141] }, { "id": 3182, "op": "MULTIPLY", "base_id": 65, "multiplier": "x63" }, { "id": 3183, "op": "ADD", "parents": [3182, 3143] }, { "id": 3142, "op": "MULTIPLY", "base_id": 64, "multiplier": "x33", "pivot": 2937 }, { "id": 3184, "op": "ADD", "parents": [3183, 3142], "pivot": 2908 }, { "id": 3853, "op": "ADD", "parents": [3852, 3184] }, { "id": 3854, "op": "MULTIPLY", "base_id": 3853, "multiplier": "x36" }, { "id": 67, "op": "INSERT", "source": "original-S1", "equation": "x35*x63 + x67 + x63 = 0", "named_equation": "$fscs_fos_loss_warning_given*aux_63 + aux_67 + aux_63 = 0" }, { "id": 68, "op": "ADD", "parents": [67, 66], "pivot": 68 }, { "id": 3221, "op": "MULTIPLY", "base_id": 68, "multiplier": "x34" }, { "id": 69, "op": "INSERT", "source": "original-S1", "equation": "x34*x67 + x37 + x36 = 0", "named_equation": "x34*aux_67 + x37 + x36 = 0", "colang": { "file": "policy.co", "line": 336, "flow": "high risk investment gate" }, "pivot": 3008 }, { "id": 3222, "op": "ADD", "parents": [3221, 69], "pivot": 2977 }, { "id": 3855, "op": "ADD", "parents": [3854, 3222], "pivot": 38 }, { "id": 4022, "op": "MULTIPLY", "base_id": 3855, "multiplier": "x39" }, { "id": 71, "op": "INSERT", "source": "original-S1", "equation": "x0*x38 + x68 = 0", "named_equation": "ask about high risk investment*$product_is_rmmi + aux_68 = 0" }, { "id": 70, "op": "INSERT", "source": "original-S1", "equation": "x0*x38 + x39 + x37 = 0", "named_equation": "ask about high risk investment*$product_is_rmmi + x39 + x37 = 0", "colang": { "file": "policy.co", "line": 341, "flow": "high risk investment gate" }, "pivot": 140 }, { "id": 72, "op": "ADD", "parents": [71, 70], "pivot": 69 }, { "id": 3297, "op": "MULTIPLY", "base_id": 72, "multiplier": "x37" }, { "id": 73, "op": "INSERT", "source": "original-S1", "equation": "x37*x68 + x40 + x39 = 0", "named_equation": "x37*aux_68 + x40 + x39 = 0", "colang": { "file": "policy.co", "line": 341, "flow": "high risk investment gate" }, "pivot": 3204 }, { "id": 3298, "op": "ADD", "parents": [3297, 73], "pivot": 3175 }, { "id": 4023, "op": "ADD", "parents": [4022, 3298], "pivot": 2980 }, { "id": 4241, "op": "ADD", "parents": [4240, 4023] }, { "id": 3826, "op": "MULTIPLY", "base_id": 2398, "multiplier": "x39", "pivot": 2913 }, { "id": 4242, "op": "ADD", "parents": [4241, 3826] }, { "id": 3261, "op": "MULTIPLY", "base_id": 70, "multiplier": "x0", "pivot": 141 }, { "id": 4243, "op": "ADD", "parents": [4242, 3261] }, { "id": 4244, "op": "ADD", "parents": [4243, 70] }, { "id": 3892, "op": "MULTIPLY", "base_id": 3628, "multiplier": "x37", "pivot": 139 }, { "id": 4245, "op": "ADD", "parents": [4244, 3892], "pivot": 41 }, { "id": 4634, "op": "MULTIPLY", "base_id": 4245, "multiplier": "x43" }, { "id": 78, "op": "INSERT", "source": "original-S1", "equation": "x70*x71 + x72 = 0", "named_equation": "aux_70*aux_71 + aux_72 = 0" }, { "id": 77, "op": "INSERT", "source": "original-S1", "equation": "x70*x71 + x43 + x40 = 0", "named_equation": "aux_70*aux_71 + x43 + x40 = 0", "colang": { "file": "policy.co", "line": 348, "flow": "high risk investment gate" }, "pivot": 4758 }, { "id": 79, "op": "ADD", "parents": [78, 77], "pivot": 73 }, { "id": 3383, "op": "MULTIPLY", "base_id": 79, "multiplier": "x40" }, { "id": 80, "op": "INSERT", "source": "original-S1", "equation": "x40*x72 + x44 + x43 = 0", "named_equation": "x40*aux_72 + x44 + x43 = 0", "colang": { "file": "policy.co", "line": 348, "flow": "high risk investment gate" }, "pivot": 3394 }, { "id": 3384, "op": "ADD", "parents": [3383, 80], "pivot": 3365 }, { "id": 4635, "op": "ADD", "parents": [4634, 3384] }, { "id": 4029, "op": "MULTIPLY", "base_id": 3855, "multiplier": "x43", "pivot": 3179 }, { "id": 4636, "op": "ADD", "parents": [4635, 4029] }, { "id": 4248, "op": "MULTIPLY", "base_id": 3888, "multiplier": "x43", "pivot": 2984 }, { "id": 4637, "op": "ADD", "parents": [4636, 4248] }, { "id": 3830, "op": "MULTIPLY", "base_id": 2398, "multiplier": "x43", "pivot": 2917 }, { "id": 4638, "op": "ADD", "parents": [4637, 3830] }, { "id": 3898, "op": "MULTIPLY", "base_id": 3628, "multiplier": "x43", "pivot": 145 }, { "id": 4639, "op": "ADD", "parents": [4638, 3898] }, { "id": 3629, "op": "MULTIPLY", "base_id": 94, "multiplier": "x50" }, { "id": 2593, "op": "MULTIPLY", "base_id": 29, "multiplier": "x50", "pivot": 3928 }, { "id": 3630, "op": "ADD", "parents": [3629, 2593], "pivot": 51 }, { "id": 3958, "op": "MULTIPLY", "base_id": 3630, "multiplier": "x46" }, { "id": 93, "op": "INSERT", "source": "original-S1", "equation": "x46*x77 + x50 + x49 = 0", "named_equation": "x46*aux_77 + x50 + x49 = 0", "colang": { "file": "policy.co", "line": 362, "flow": "high risk investment gate" }, "pivot": 3744 }, { "id": 3620, "op": "MULTIPLY", "base_id": 93, "multiplier": "x46" }, { "id": 3621, "op": "ADD", "parents": [3620, 93], "pivot": 3717 }, { "id": 3959, "op": "ADD", "parents": [3958, 3621] }, { "id": 91, "op": "INSERT", "source": "original-S1", "equation": "x48*x76 + x77 = 0", "named_equation": "x48*aux_76 + aux_77 = 0" }, { "id": 90, "op": "INSERT", "source": "original-S1", "equation": "x48*x76 + x49 + x46 = 0", "named_equation": "x48*aux_76 + x49 + x46 = 0", "colang": { "file": "policy.co", "line": 362, "flow": "high risk investment gate" }, "pivot": 3850 }, { "id": 92, "op": "ADD", "parents": [91, 90], "pivot": 78 }, { "id": 3602, "op": "MULTIPLY", "base_id": 92, "multiplier": "x46" }, { "id": 3603, "op": "ADD", "parents": [3602, 93], "pivot": 3716 }, { "id": 3960, "op": "ADD", "parents": [3959, 3603], "pivot": 47 }, { "id": 4545, "op": "MULTIPLY", "base_id": 3960, "multiplier": "x44" }, { "id": 85, "op": "INSERT", "source": "original-S1", "equation": "x44*x74 + x46 + x45 = 0", "named_equation": "x44*aux_74 + x46 + x45 = 0", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "pivot": 3630 }, { "id": 3483, "op": "MULTIPLY", "base_id": 85, "multiplier": "x44" }, { "id": 3484, "op": "ADD", "parents": [3483, 85], "pivot": 3602 }, { "id": 4546, "op": "ADD", "parents": [4545, 3484] }, { "id": 83, "op": "INSERT", "source": "original-S1", "equation": "x0*x73 + x74 = 0", "named_equation": "ask about high risk investment*aux_73 + aux_74 = 0" }, { "id": 82, "op": "INSERT", "source": "original-S1", "equation": "x0*x73 + x45 + x44 = 0", "named_equation": "ask about high risk investment*aux_73 + x45 + x44 = 0", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "pivot": 175 }, { "id": 84, "op": "ADD", "parents": [83, 82], "pivot": 75 }, { "id": 3461, "op": "MULTIPLY", "base_id": 84, "multiplier": "x44" }, { "id": 3462, "op": "ADD", "parents": [3461, 85], "pivot": 3601 }, { "id": 4547, "op": "ADD", "parents": [4546, 3462], "pivot": 45 }, { "id": 4640, "op": "ADD", "parents": [4639, 4547] }, { "id": 4641, "op": "ADD", "parents": [4640, 4245] }, { "id": 4642, "op": "ADD", "parents": [4641, 3855] }, { "id": 4643, "op": "ADD", "parents": [4642, 3888] }, { "id": 4644, "op": "ADD", "parents": [4643, 2398] } ], "final_step": { "op": "ADD", "inputs": [4644, 3628], "instruction": "Compute the linear combination of the final inputs to derive 0 = 1." }, "provenance": { "declared": false, "controls": {}, "undeclared": ["x1", "x2", "x3", "x4", "x5", "x6", "x7", "x8", "x9", "x10", "x12", "x13", "x22", "x23", "x24", "x25", "x26", "x29", "x35", "x38", "x41", "x42"], "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."] }, "control_integrity": { "checked": true, "clean": true, "findings": [] }, "detection": { "computed": true, "dependent": false, "atoms": [], "bound": null, "uncalibrated": [] } }