{ "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": "fscs_fos_loss_warning_given", "pins": [{ "name": "respond with permitted high risk answer", "variable": 51, "value": 1, "source": "action" }, { "name": "fscs_fos_loss_warning_given", "variable": 35, "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"] }, "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*x67 + x33 = 0", "named_definition": "x34 + x31*aux_67 + x33 = 0", "derived_from": ["x31", "x33", "x67"] }, "x36": { "kind": "gate", "colang": { "file": "policy.co", "line": 336, "flow": "high risk investment gate" }, "definition": "x36 + x0*x22 + x34 = 0", "named_definition": "x36 + ask about high risk investment*$product_is_nmmi + x34 = 0", "derived_from": ["x0", "x22", "x34"] }, "x37": { "kind": "gate", "colang": { "file": "policy.co", "line": 336, "flow": "high risk investment gate" }, "definition": "x37 + x34*x63 + x36 = 0", "named_definition": "x37 + x34*aux_63 + x36 = 0", "derived_from": ["x34", "x36", "x63"] }, "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 + 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 + x32*x63 + x63 = 0", "named_definition": "aux_67 + $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." }, "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": 76, "operations": [ { "id": 96, "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": 3769, "op": "MULTIPLY", "base_id": 96, "multiplier": "x0" }, { "id": 30, "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": 2680, "op": "MULTIPLY", "base_id": 30, "multiplier": "x0", "pivot": 155 }, { "id": 3770, "op": "ADD", "parents": [3769, 2680] }, { "id": 3771, "op": "ADD", "parents": [3770, 96] }, { "id": 3772, "op": "ADD", "parents": [3771, 30], "pivot": 1 }, { "id": 4008, "op": "MULTIPLY", "base_id": 3772, "multiplier": "x34" }, { "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": 2527, "op": "MULTIPLY", "base_id": 28, "multiplier": "x0" }, { "id": 54, "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": 2528, "op": "ADD", "parents": [2527, 54] }, { "id": 68, "op": "INSERT", "source": "original-S1", "equation": "x0*x22 + x36 + x34 = 0", "named_equation": "ask about high risk investment*$product_is_nmmi + x36 + x34 = 0", "colang": { "file": "policy.co", "line": 336, "flow": "high risk investment gate" } }, { "id": 69, "op": "ADD", "parents": [68, 54], "pivot": 64 }, { "id": 2529, "op": "ADD", "parents": [2528, 69], "pivot": 37 }, { "id": 3939, "op": "MULTIPLY", "base_id": 2529, "multiplier": "x34" }, { "id": 3360, "op": "MULTIPLY", "base_id": 69, "multiplier": "x34" }, { "id": 70, "op": "INSERT", "source": "original-S1", "equation": "x34*x63 + x37 + x36 = 0", "named_equation": "x34*aux_63 + x37 + x36 = 0", "colang": { "file": "policy.co", "line": 336, "flow": "high risk investment gate" }, "pivot": 3074 }, { "id": 3361, "op": "ADD", "parents": [3360, 70], "pivot": 3047 }, { "id": 3940, "op": "ADD", "parents": [3939, 3361], "pivot": 138 }, { "id": 4009, "op": "ADD", "parents": [4008, 3940], "pivot": 38 }, { "id": 4362, "op": "MULTIPLY", "base_id": 4009, "multiplier": "x39" }, { "id": 73, "op": "INSERT", "source": "original-S1", "equation": "x32*x68 + x69 + x68 = 0", "named_equation": "$risk_warning_given*aux_68 + aux_69 + aux_68 = 0" }, { "id": 72, "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": 74, "op": "ADD", "parents": [73, 72], "pivot": 70 }, { "id": 3439, "op": "MULTIPLY", "base_id": 74, "multiplier": "x37" }, { "id": 75, "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": 3440, "op": "ADD", "parents": [3439, 75], "pivot": 3251 }, { "id": 4363, "op": "ADD", "parents": [4362, 3440] }, { "id": 3946, "op": "MULTIPLY", "base_id": 2529, "multiplier": "x39", "pivot": 3185 }, { "id": 4364, "op": "ADD", "parents": [4363, 3946] }, { "id": 4012, "op": "MULTIPLY", "base_id": 3772, "multiplier": "x39", "pivot": 143 }, { "id": 4365, "op": "ADD", "parents": [4364, 4012], "pivot": 41 }, { "id": 4724, "op": "MULTIPLY", "base_id": 4365, "multiplier": "x43" }, { "id": 80, "op": "INSERT", "source": "original-S1", "equation": "x71*x72 + x73 = 0", "named_equation": "aux_71*aux_72 + aux_73 = 0" }, { "id": 79, "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": 81, "op": "ADD", "parents": [80, 79], "pivot": 74 }, { "id": 3523, "op": "MULTIPLY", "base_id": 81, "multiplier": "x40" }, { "id": 82, "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": 3524, "op": "ADD", "parents": [3523, 82], "pivot": 3447 }, { "id": 4725, "op": "ADD", "parents": [4724, 3524] }, { "id": 4368, "op": "MULTIPLY", "base_id": 4009, "multiplier": "x43", "pivot": 3255 }, { "id": 4726, "op": "ADD", "parents": [4725, 4368] }, { "id": 3950, "op": "MULTIPLY", "base_id": 2529, "multiplier": "x43", "pivot": 3189 }, { "id": 4727, "op": "ADD", "parents": [4726, 3950] }, { "id": 4016, "op": "MULTIPLY", "base_id": 3772, "multiplier": "x43", "pivot": 147 }, { "id": 4728, "op": "ADD", "parents": [4727, 4016] }, { "id": 3773, "op": "MULTIPLY", "base_id": 96, "multiplier": "x50" }, { "id": 2726, "op": "MULTIPLY", "base_id": 30, "multiplier": "x50", "pivot": 4030 }, { "id": 3774, "op": "ADD", "parents": [3773, 2726], "pivot": 51 }, { "id": 4076, "op": "MULTIPLY", "base_id": 3774, "multiplier": "x46" }, { "id": 95, "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": 3764, "op": "MULTIPLY", "base_id": 95, "multiplier": "x46" }, { "id": 3765, "op": "ADD", "parents": [3764, 95], "pivot": 3811 }, { "id": 4077, "op": "ADD", "parents": [4076, 3765] }, { "id": 93, "op": "INSERT", "source": "original-S1", "equation": "x48*x77 + x78 = 0", "named_equation": "x48*aux_77 + aux_78 = 0" }, { "id": 92, "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": 94, "op": "ADD", "parents": [93, 92], "pivot": 79 }, { "id": 3745, "op": "MULTIPLY", "base_id": 94, "multiplier": "x46" }, { "id": 3746, "op": "ADD", "parents": [3745, 95], "pivot": 3810 }, { "id": 4078, "op": "ADD", "parents": [4077, 3746], "pivot": 47 }, { "id": 4631, "op": "MULTIPLY", "base_id": 4078, "multiplier": "x44" }, { "id": 87, "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": 3625, "op": "MULTIPLY", "base_id": 87, "multiplier": "x44" }, { "id": 3626, "op": "ADD", "parents": [3625, 87], "pivot": 3692 }, { "id": 4632, "op": "ADD", "parents": [4631, 3626] }, { "id": 85, "op": "INSERT", "source": "original-S1", "equation": "x0*x74 + x75 = 0", "named_equation": "ask about high risk investment*aux_74 + aux_75 = 0" }, { "id": 84, "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": 86, "op": "ADD", "parents": [85, 84], "pivot": 76 }, { "id": 3602, "op": "MULTIPLY", "base_id": 86, "multiplier": "x44" }, { "id": 3603, "op": "ADD", "parents": [3602, 87], "pivot": 3691 }, { "id": 4633, "op": "ADD", "parents": [4632, 3603], "pivot": 45 }, { "id": 4729, "op": "ADD", "parents": [4728, 4633] }, { "id": 4730, "op": "ADD", "parents": [4729, 4365] }, { "id": 4731, "op": "ADD", "parents": [4730, 4009] }, { "id": 4732, "op": "ADD", "parents": [4731, 2529] } ], "final_step": { "op": "ADD", "inputs": [4732, 3772], "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", "x32", "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": [] } }