{ "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": "categorisation_verified", "pins": [{ "name": "respond with permitted high risk answer", "variable": 51, "value": 1, "source": "action" }, { "name": "categorisation_verified", "variable": 29, "value": 0, "source": "obligation" }, { "name": "product_is_nmmi", "variable": 22, "value": 1, "source": "conditioning" }, { "name": "client_is_retail", "variable": 23, "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"] }, "x30": { "kind": "gate", "colang": { "file": "policy.co", "line": 325, "flow": "high risk investment gate" }, "definition": "x30 + x0*x22 + x28 = 0", "named_definition": "x30 + ask about high risk investment*$product_is_nmmi + x28 = 0", "derived_from": ["x0", "x22", "x28"] }, "x31": { "kind": "gate", "colang": { "file": "policy.co", "line": 325, "flow": "high risk investment gate" }, "definition": "x31 + x28*x63 + x30 = 0", "named_definition": "x31 + x28*aux_63 + x30 = 0", "derived_from": ["x28", "x30", "x63"] }, "x32": { "kind": "context", "name": "risk_warning_given", "colang": { "file": "policy.co", "line": 327, "flow": "high risk investment gate" } }, "x33": { "kind": "gate", "colang": { "file": "policy.co", "line": 329, "flow": "high risk investment gate" }, "definition": "x33 + x31 + x32*x63 + x63 = 0", "named_definition": "x33 + x31 + $risk_warning_given*aux_63 + aux_63 = 0", "derived_from": ["x31", "x32", "x63"] }, "x34": { "kind": "gate", "colang": { "file": "policy.co", "line": 329, "flow": "high risk investment gate" }, "definition": "x34 + x31*x66 + x33 = 0", "named_definition": "x34 + x31*aux_66 + x33 = 0", "derived_from": ["x31", "x33", "x66"] }, "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 + x32*x68 + x37 + x68 = 0", "named_definition": "x39 + $risk_warning_given*aux_68 + x37 + aux_68 = 0", "derived_from": ["x32", "x37", "x68"] }, "x40": { "kind": "gate", "colang": { "file": "policy.co", "line": 341, "flow": "high risk investment gate" }, "definition": "x40 + x37*x69 + x39 = 0", "named_definition": "x40 + x37*aux_69 + x39 = 0", "derived_from": ["x37", "x39", "x69"] }, "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 + x71*x72 = 0", "named_definition": "x43 + x40 + aux_71*aux_72 = 0", "derived_from": ["x40", "x71", "x72"] }, "x44": { "kind": "gate", "colang": { "file": "policy.co", "line": 348, "flow": "high risk investment gate" }, "definition": "x44 + x40*x73 + x43 = 0", "named_definition": "x44 + x40*aux_73 + x43 = 0", "derived_from": ["x40", "x43", "x73"] }, "x45": { "kind": "gate", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "definition": "x45 + x0*x74 + x44 = 0", "named_definition": "x45 + ask about high risk investment*aux_74 + x44 = 0", "derived_from": ["x0", "x44", "x74"] }, "x46": { "kind": "gate", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "definition": "x46 + x44*x75 + x45 = 0", "named_definition": "x46 + x44*aux_75 + x45 = 0", "derived_from": ["x44", "x45", "x75"] }, "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*x77 = 0", "named_definition": "x49 + x46 + x48*aux_77 = 0", "derived_from": ["x46", "x48", "x77"] }, "x50": { "kind": "gate", "colang": { "file": "policy.co", "line": 362, "flow": "high risk investment gate" }, "definition": "x50 + x46*x78 + x49 = 0", "named_definition": "x50 + x46*aux_78 + x49 = 0", "derived_from": ["x46", "x49", "x78"] }, "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 + x32*x63 + x63 = 0", "named_definition": "aux_66 + $risk_warning_given*aux_63 + aux_63 = 0", "derived_from": ["x63", "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." }, "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 + x32*x68 + x68 = 0", "named_definition": "aux_69 + $risk_warning_given*aux_68 + aux_68 = 0", "derived_from": ["x68", "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." }, "x70": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x70 + x41 + x41*x42 = 0", "named_definition": "aux_70 + $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." }, "x71": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x71 + x68*x70 = 0", "named_definition": "aux_71 + aux_68*aux_70 = 0", "derived_from": ["x68", "x70"], "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 + x13 + x13*x26 + x26 = 1", "named_definition": "aux_72 + $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." }, "x73": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x73 + x71*x72 = 0", "named_definition": "aux_73 + aux_71*aux_72 = 0", "derived_from": ["x71", "x72"], "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 + x1 + x1*x2 = 0", "named_definition": "aux_74 + $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." }, "x75": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x75 + x0*x74 = 0", "named_definition": "aux_75 + ask about high risk investment*aux_74 = 0", "derived_from": ["x0", "x74"], "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 + x1*x2 = 0", "named_definition": "aux_76 + $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." }, "x77": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x77 + x0*x76 = 0", "named_definition": "aux_77 + ask about high risk investment*aux_76 = 0", "derived_from": ["x0", "x76"], "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." }, "x78": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x78 + x48*x77 = 0", "named_definition": "aux_78 + x48*aux_77 = 0", "derived_from": ["x77", "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": 120, "operations": [ { "id": 97, "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": 154 }, { "id": 3838, "op": "MULTIPLY", "base_id": 97, "multiplier": "x50" }, { "id": 31, "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": 2801, "op": "MULTIPLY", "base_id": 31, "multiplier": "x50", "pivot": 4030 }, { "id": 3839, "op": "ADD", "parents": [3838, 2801], "pivot": 51 }, { "id": 4220, "op": "MULTIPLY", "base_id": 3839, "multiplier": "x46" }, { "id": 96, "op": "INSERT", "source": "original-S1", "equation": "x46*x78 + x50 + x49 = 0", "named_equation": "x46*aux_78 + x50 + x49 = 0", "colang": { "file": "policy.co", "line": 362, "flow": "high risk investment gate" }, "pivot": 3839 }, { "id": 3829, "op": "MULTIPLY", "base_id": 96, "multiplier": "x46" }, { "id": 3830, "op": "ADD", "parents": [3829, 96], "pivot": 3811 }, { "id": 4221, "op": "ADD", "parents": [4220, 3830] }, { "id": 94, "op": "INSERT", "source": "original-S1", "equation": "x48*x77 + x78 = 0", "named_equation": "x48*aux_77 + aux_78 = 0" }, { "id": 93, "op": "INSERT", "source": "original-S1", "equation": "x48*x77 + x49 + x46 = 0", "named_equation": "x48*aux_77 + x49 + x46 = 0", "colang": { "file": "policy.co", "line": 362, "flow": "high risk investment gate" }, "pivot": 3949 }, { "id": 95, "op": "ADD", "parents": [94, 93], "pivot": 79 }, { "id": 3810, "op": "MULTIPLY", "base_id": 95, "multiplier": "x46" }, { "id": 3811, "op": "ADD", "parents": [3810, 96], "pivot": 3810 }, { "id": 4222, "op": "ADD", "parents": [4221, 3811], "pivot": 47 }, { "id": 4799, "op": "MULTIPLY", "base_id": 4222, "multiplier": "x44" }, { "id": 88, "op": "INSERT", "source": "original-S1", "equation": "x44*x75 + x46 + x45 = 0", "named_equation": "x44*aux_75 + x46 + x45 = 0", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "pivot": 3721 }, { "id": 3692, "op": "MULTIPLY", "base_id": 88, "multiplier": "x44" }, { "id": 3693, "op": "ADD", "parents": [3692, 88], "pivot": 3692 }, { "id": 4800, "op": "ADD", "parents": [4799, 3693] }, { "id": 86, "op": "INSERT", "source": "original-S1", "equation": "x0*x74 + x75 = 0", "named_equation": "ask about high risk investment*aux_74 + aux_75 = 0" }, { "id": 85, "op": "INSERT", "source": "original-S1", "equation": "x0*x74 + x45 + x44 = 0", "named_equation": "ask about high risk investment*aux_74 + x45 + x44 = 0", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "pivot": 178 }, { "id": 87, "op": "ADD", "parents": [86, 85], "pivot": 76 }, { "id": 3669, "op": "MULTIPLY", "base_id": 87, "multiplier": "x44" }, { "id": 3670, "op": "ADD", "parents": [3669, 88], "pivot": 3691 }, { "id": 4801, "op": "ADD", "parents": [4800, 3670], "pivot": 45 }, { "id": 4930, "op": "MULTIPLY", "base_id": 4801, "multiplier": "x40" }, { "id": 83, "op": "INSERT", "source": "original-S1", "equation": "x40*x73 + x44 + x43 = 0", "named_equation": "x40*aux_73 + x44 + x43 = 0", "colang": { "file": "policy.co", "line": 348, "flow": "high risk investment gate" }, "pivot": 3477 }, { "id": 3619, "op": "MULTIPLY", "base_id": 83, "multiplier": "x40" }, { "id": 3620, "op": "ADD", "parents": [3619, 83], "pivot": 3448 }, { "id": 4931, "op": "ADD", "parents": [4930, 3620] }, { "id": 81, "op": "INSERT", "source": "original-S1", "equation": "x71*x72 + x73 = 0", "named_equation": "aux_71*aux_72 + aux_73 = 0" }, { "id": 80, "op": "INSERT", "source": "original-S1", "equation": "x71*x72 + x43 + x40 = 0", "named_equation": "aux_71*aux_72 + x43 + x40 = 0", "colang": { "file": "policy.co", "line": 348, "flow": "high risk investment gate" }, "pivot": 4933 }, { "id": 82, "op": "ADD", "parents": [81, 80], "pivot": 74 }, { "id": 3591, "op": "MULTIPLY", "base_id": 82, "multiplier": "x40" }, { "id": 3592, "op": "ADD", "parents": [3591, 83], "pivot": 3447 }, { "id": 4932, "op": "ADD", "parents": [4931, 3592] }, { "id": 3834, "op": "MULTIPLY", "base_id": 97, "multiplier": "x0" }, { "id": 2756, "op": "MULTIPLY", "base_id": 31, "multiplier": "x0", "pivot": 155 }, { "id": 3835, "op": "ADD", "parents": [3834, 2756] }, { "id": 3836, "op": "ADD", "parents": [3835, 97] }, { "id": 3837, "op": "ADD", "parents": [3836, 31], "pivot": 1 }, { "id": 4146, "op": "MULTIPLY", "base_id": 3837, "multiplier": "x28" }, { "id": 28, "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": 2528, "op": "MULTIPLY", "base_id": 28, "multiplier": "x0" }, { "id": 55, "op": "INSERT", "source": "original-S1", "equation": "x0*x22 + x63 = 0", "named_equation": "ask about high risk investment*$product_is_nmmi + aux_63 = 0", "pivot": 126 }, { "id": 2529, "op": "ADD", "parents": [2528, 55] }, { "id": 61, "op": "INSERT", "source": "original-S1", "equation": "x0*x22 + x30 + x28 = 0", "named_equation": "ask about high risk investment*$product_is_nmmi + x30 + x28 = 0", "colang": { "file": "policy.co", "line": 325, "flow": "high risk investment gate" } }, { "id": 62, "op": "ADD", "parents": [61, 55], "pivot": 64 }, { "id": 2530, "op": "ADD", "parents": [2529, 62], "pivot": 31 }, { "id": 4002, "op": "MULTIPLY", "base_id": 2530, "multiplier": "x28" }, { "id": 3267, "op": "MULTIPLY", "base_id": 62, "multiplier": "x28" }, { "id": 63, "op": "INSERT", "source": "original-S1", "equation": "x28*x63 + x31 + x30 = 0", "named_equation": "x28*aux_63 + x31 + x30 = 0", "colang": { "file": "policy.co", "line": 325, "flow": "high risk investment gate" }, "pivot": 2645 }, { "id": 3268, "op": "ADD", "parents": [3267, 63], "pivot": 2612 }, { "id": 4003, "op": "ADD", "parents": [4002, 3268], "pivot": 132 }, { "id": 4147, "op": "ADD", "parents": [4146, 4003], "pivot": 32 }, { "id": 4443, "op": "MULTIPLY", "base_id": 4147, "multiplier": "x36" }, { "id": 64, "op": "INSERT", "source": "original-S1", "equation": "x32*x63 + x63 + x33 + x31 = 0", "named_equation": "$risk_warning_given*aux_63 + aux_63 + x33 + x31 = 0", "colang": { "file": "policy.co", "line": 329, "flow": "high risk investment gate" }, "pivot": 2935 }, { "id": 3319, "op": "MULTIPLY", "base_id": 64, "multiplier": "x63" }, { "id": 3273, "op": "MULTIPLY", "base_id": 62, "multiplier": "x33", "pivot": 3005 }, { "id": 3320, "op": "ADD", "parents": [3319, 3273] }, { "id": 3321, "op": "ADD", "parents": [3320, 64] }, { "id": 3270, "op": "MULTIPLY", "base_id": 62, "multiplier": "x31", "pivot": 2864 }, { "id": 3322, "op": "ADD", "parents": [3321, 3270], "pivot": 2762 }, { "id": 4116, "op": "ADD", "parents": [3322, 63] }, { "id": 4117, "op": "ADD", "parents": [4116, 3268] }, { "id": 3315, "op": "MULTIPLY", "base_id": 63, "multiplier": "x63" }, { "id": 3316, "op": "ADD", "parents": [3315, 3270] }, { "id": 3269, "op": "MULTIPLY", "base_id": 62, "multiplier": "x30", "pivot": 2792 }, { "id": 3317, "op": "ADD", "parents": [3316, 3269], "pivot": 2760 }, { "id": 4118, "op": "ADD", "parents": [4117, 3317] }, { "id": 4119, "op": "MULTIPLY", "base_id": 4118, "multiplier": "x33" }, { "id": 65, "op": "INSERT", "source": "original-S1", "equation": "x32*x63 + x66 + x63 = 0", "named_equation": "$risk_warning_given*aux_63 + aux_66 + aux_63 = 0" }, { "id": 66, "op": "ADD", "parents": [65, 64], "pivot": 67 }, { "id": 3350, "op": "MULTIPLY", "base_id": 66, "multiplier": "x31" }, { "id": 67, "op": "INSERT", "source": "original-S1", "equation": "x31*x66 + x34 + x33 = 0", "named_equation": "x31*aux_66 + x34 + x33 = 0", "colang": { "file": "policy.co", "line": 329, "flow": "high risk investment gate" }, "pivot": 2867 }, { "id": 3351, "op": "ADD", "parents": [3350, 67], "pivot": 2834 }, { "id": 4120, "op": "ADD", "parents": [4119, 3351], "pivot": 35 }, { "id": 4280, "op": "MULTIPLY", "base_id": 4120, "multiplier": "x36" }, { "id": 69, "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": "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": 3142 }, { "id": 70, "op": "ADD", "parents": [69, 68], "pivot": 68 }, { "id": 3430, "op": "MULTIPLY", "base_id": 70, "multiplier": "x34" }, { "id": 71, "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": 3078 }, { "id": 3431, "op": "ADD", "parents": [3430, 71], "pivot": 3047 }, { "id": 4281, "op": "ADD", "parents": [4280, 3431], "pivot": 2837 }, { "id": 4444, "op": "ADD", "parents": [4443, 4281] }, { "id": 3396, "op": "MULTIPLY", "base_id": 68, "multiplier": "x63" }, { "id": 3277, "op": "MULTIPLY", "base_id": 62, "multiplier": "x36", "pivot": 3209 }, { "id": 3397, "op": "ADD", "parents": [3396, 3277] }, { "id": 3398, "op": "ADD", "parents": [3397, 68] }, { "id": 3274, "op": "MULTIPLY", "base_id": 62, "multiplier": "x34", "pivot": 3074 }, { "id": 3399, "op": "ADD", "parents": [3398, 3274], "pivot": 2765 }, { "id": 4445, "op": "ADD", "parents": [4444, 3399] }, { "id": 4015, "op": "MULTIPLY", "base_id": 2530, "multiplier": "x34", "pivot": 2763 }, { "id": 4446, "op": "ADD", "parents": [4445, 4015] }, { "id": 4151, "op": "MULTIPLY", "base_id": 3837, "multiplier": "x34", "pivot": 138 }, { "id": 4447, "op": "ADD", "parents": [4446, 4151], "pivot": 38 }, { "id": 4882, "op": "MULTIPLY", "base_id": 4447, "multiplier": "x39" }, { "id": 74, "op": "INSERT", "source": "original-S1", "equation": "x32*x68 + x69 + x68 = 0", "named_equation": "$risk_warning_given*aux_68 + aux_69 + aux_68 = 0" }, { "id": 73, "op": "INSERT", "source": "original-S1", "equation": "x32*x68 + x68 + x39 + x37 = 0", "named_equation": "$risk_warning_given*aux_68 + aux_68 + x39 + x37 = 0", "colang": { "file": "policy.co", "line": 341, "flow": "high risk investment gate" }, "pivot": 2940 }, { "id": 75, "op": "ADD", "parents": [74, 73], "pivot": 70 }, { "id": 3508, "op": "MULTIPLY", "base_id": 75, "multiplier": "x37" }, { "id": 76, "op": "INSERT", "source": "original-S1", "equation": "x37*x69 + x40 + x39 = 0", "named_equation": "x37*aux_69 + x40 + x39 = 0", "colang": { "file": "policy.co", "line": 341, "flow": "high risk investment gate" }, "pivot": 3281 }, { "id": 3509, "op": "ADD", "parents": [3508, 76], "pivot": 3251 }, { "id": 4883, "op": "ADD", "parents": [4882, 3509] }, { "id": 4286, "op": "MULTIPLY", "base_id": 4120, "multiplier": "x39", "pivot": 3050 }, { "id": 4884, "op": "ADD", "parents": [4883, 4286] }, { "id": 4449, "op": "MULTIPLY", "base_id": 4147, "multiplier": "x39", "pivot": 2840 }, { "id": 4885, "op": "ADD", "parents": [4884, 4449] }, { "id": 4023, "op": "MULTIPLY", "base_id": 2530, "multiplier": "x39", "pivot": 2768 }, { "id": 4886, "op": "ADD", "parents": [4885, 4023] }, { "id": 4158, "op": "MULTIPLY", "base_id": 3837, "multiplier": "x39", "pivot": 143 }, { "id": 4887, "op": "ADD", "parents": [4886, 4158], "pivot": 41 }, { "id": 4933, "op": "ADD", "parents": [4932, 4887] }, { "id": 4934, "op": "ADD", "parents": [4933, 4447] }, { "id": 4935, "op": "ADD", "parents": [4934, 4120] }, { "id": 4936, "op": "ADD", "parents": [4935, 4147] }, { "id": 4937, "op": "ADD", "parents": [4936, 2530] } ], "final_step": { "op": "ADD", "inputs": [4937, 3837], "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", "x32", "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": [] } }