{ "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": "cooling_off_completed", "pins": [{ "name": "respond with permitted high risk answer", "variable": 51, "value": 1, "source": "action" }, { "name": "cooling_off_completed", "variable": 42, "value": 0, "source": "obligation" }, { "name": "product_is_rmmi", "variable": 38, "value": 1, "source": "conditioning" }, { "name": "client_is_first_time_investor", "variable": 41, "value": 1, "source": "conditioning" }, { "name": "client_is_certified_high_net_worth", "variable": 13, "value": 0, "source": "conditioning" }, { "name": "client_is_professional", "variable": 26, "value": 0, "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" } }, "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*x52 = 0", "named_definition": "x16 + block incentive + x15*aux_52 = 0", "derived_from": ["x11", "x15", "x52"] }, "x17": { "kind": "gate", "colang": { "file": "policy.co", "line": 308, "flow": "high risk investment gate" }, "definition": "x17 + x11*x53 + x16 = 0", "named_definition": "x17 + block incentive*aux_53 + x16 = 0", "derived_from": ["x11", "x16", "x53"] }, "x18": { "kind": "gate", "colang": { "file": "policy.co", "line": 312, "flow": "high risk investment gate" }, "definition": "x18 + x17 + x52*x54 = 0", "named_definition": "x18 + x17 + aux_52*aux_54 = 0", "derived_from": ["x17", "x52", "x54"] }, "x19": { "kind": "gate", "colang": { "file": "policy.co", "line": 312, "flow": "high risk investment gate" }, "definition": "x19 + x17*x55 + x18 = 0", "named_definition": "x19 + x17*aux_55 + x18 = 0", "derived_from": ["x17", "x18", "x55"] }, "x20": { "kind": "gate", "colang": { "file": "policy.co", "line": 316, "flow": "high risk investment gate" }, "definition": "x20 + x19 + x52*x57 = 0", "named_definition": "x20 + x19 + aux_52*aux_57 = 0", "derived_from": ["x19", "x52", "x57"] }, "x21": { "kind": "gate", "colang": { "file": "policy.co", "line": 316, "flow": "high risk investment gate" }, "definition": "x21 + x19*x58 + x20 = 0", "named_definition": "x21 + x19*aux_58 + x20 = 0", "derived_from": ["x19", "x20", "x58"] }, "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" } }, "x27": { "kind": "gate", "colang": { "file": "policy.co", "line": 321, "flow": "high risk investment gate" }, "definition": "x27 + x21 + x60*x61 = 0", "named_definition": "x27 + x21 + aux_60*aux_61 = 0", "derived_from": ["x21", "x60", "x61"] }, "x28": { "kind": "gate", "colang": { "file": "policy.co", "line": 321, "flow": "high risk investment gate" }, "definition": "x28 + x21*x62 + x27 = 0", "named_definition": "x28 + x21*aux_62 + x27 = 0", "derived_from": ["x21", "x27", "x62"] }, "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*x60 + x60 = 0", "named_definition": "x30 + x28 + $categorisation_verified*aux_60 + aux_60 = 0", "derived_from": ["x28", "x29", "x60"] }, "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*x60 + x60 = 0", "named_definition": "x33 + x31 + $risk_warning_given*aux_60 + aux_60 = 0", "derived_from": ["x31", "x32", "x60"] }, "x34": { "kind": "gate", "colang": { "file": "policy.co", "line": 329, "flow": "high risk investment gate" }, "definition": "x34 + x31*x64 + x33 = 0", "named_definition": "x34 + x31*aux_64 + x33 = 0", "derived_from": ["x31", "x33", "x64"] }, "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*x60 + x60 = 0", "named_definition": "x36 + x34 + $fscs_fos_loss_warning_given*aux_60 + aux_60 = 0", "derived_from": ["x34", "x35", "x60"] }, "x37": { "kind": "gate", "colang": { "file": "policy.co", "line": 336, "flow": "high risk investment gate" }, "definition": "x37 + x34*x65 + x36 = 0", "named_definition": "x37 + x34*aux_65 + x36 = 0", "derived_from": ["x34", "x36", "x65"] }, "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*x66 + x37 + x66 = 0", "named_definition": "x39 + $risk_warning_given*aux_66 + x37 + aux_66 = 0", "derived_from": ["x32", "x37", "x66"] }, "x40": { "kind": "gate", "colang": { "file": "policy.co", "line": 341, "flow": "high risk investment gate" }, "definition": "x40 + x37*x67 + x39 = 0", "named_definition": "x40 + x37*aux_67 + x39 = 0", "derived_from": ["x37", "x39", "x67"] }, "x41": { "kind": "context", "name": "client_is_first_time_investor", "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 + x41*x66 = 0", "named_definition": "x43 + x40 + $client_is_first_time_investor*aux_66 = 0", "derived_from": ["x40", "x41", "x66"] }, "x44": { "kind": "gate", "colang": { "file": "policy.co", "line": 348, "flow": "high risk investment gate" }, "definition": "x44 + x40*x68 + x43 = 0", "named_definition": "x44 + x40*aux_68 + x43 = 0", "derived_from": ["x40", "x43", "x68"] }, "x45": { "kind": "gate", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "definition": "x45 + x0*x69 + x44 = 0", "named_definition": "x45 + ask about high risk investment*aux_69 + x44 = 0", "derived_from": ["x0", "x44", "x69"] }, "x46": { "kind": "gate", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "definition": "x46 + x44*x70 + x45 = 0", "named_definition": "x46 + x44*aux_70 + x45 = 0", "derived_from": ["x44", "x45", "x70"] }, "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*x72 = 0", "named_definition": "x49 + x46 + x48*aux_72 = 0", "derived_from": ["x46", "x48", "x72"] }, "x50": { "kind": "gate", "colang": { "file": "policy.co", "line": 362, "flow": "high risk investment gate" }, "definition": "x50 + x46*x73 + x49 = 0", "named_definition": "x50 + x46*aux_73 + x49 = 0", "derived_from": ["x46", "x49", "x73"] }, "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 + x0*x12 = 0", "named_definition": "aux_52 + ask about high risk investment*$client_claims_high_net_worth = 0", "derived_from": ["x0", "x12"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x53": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x53 + x15*x52 = 0", "named_definition": "aux_53 + x15*aux_52 = 0", "derived_from": ["x52", "x15"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x54": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x54 + x6 + x6*x7 + x7 = 1", "named_definition": "aux_54 + $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." }, "x55": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x55 + x52*x54 = 0", "named_definition": "aux_55 + aux_52*aux_54 = 0", "derived_from": ["x52", "x54"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x56": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x56 + x6*x7 + x7 = 0", "named_definition": "aux_56 + $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." }, "x57": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x57 + x8*x56 + x56 = 0", "named_definition": "aux_57 + $hnw_excludes_residence_pension_insurance*aux_56 + aux_56 = 0", "derived_from": ["x56", "x8"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x58": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x58 + x52*x57 = 0", "named_definition": "aux_58 + aux_52*aux_57 = 0", "derived_from": ["x52", "x57"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x59": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x59 + x23 + x23*x24 = 0", "named_definition": "aux_59 + $client_is_retail + $client_is_retail*$client_is_certified_sophisticated = 0", "derived_from": ["x23", "x24"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x60": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x60 + x0*x22 = 0", "named_definition": "aux_60 + 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." }, "x61": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x61 + x25*x59 + x59 = 0", "named_definition": "aux_61 + $client_is_self_certified_sophisticated*aux_59 + aux_59 = 0", "derived_from": ["x59", "x25"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x62": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x62 + x60*x61 = 0", "named_definition": "aux_62 + aux_60*aux_61 = 0", "derived_from": ["x60", "x61"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x63": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x63 + x29*x60 + x60 = 0", "named_definition": "aux_63 + $categorisation_verified*aux_60 + aux_60 = 0", "derived_from": ["x60", "x29"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x64": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x64 + x32*x60 + x60 = 0", "named_definition": "aux_64 + $risk_warning_given*aux_60 + aux_60 = 0", "derived_from": ["x60", "x32"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x65": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x65 + x35*x60 + x60 = 0", "named_definition": "aux_65 + $fscs_fos_loss_warning_given*aux_60 + aux_60 = 0", "derived_from": ["x60", "x35"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x66": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x66 + x0*x38 = 0", "named_definition": "aux_66 + 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." }, "x67": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x67 + x32*x66 + x66 = 0", "named_definition": "aux_67 + $risk_warning_given*aux_66 + aux_66 = 0", "derived_from": ["x66", "x32"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x68": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x68 + x41*x66 = 0", "named_definition": "aux_68 + $client_is_first_time_investor*aux_66 = 0", "derived_from": ["x66", "x41"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x69": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x69 + x1 + x1*x2 = 0", "named_definition": "aux_69 + $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." }, "x70": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x70 + x0*x69 = 0", "named_definition": "aux_70 + ask about high risk investment*aux_69 = 0", "derived_from": ["x0", "x69"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x71": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x71 + x1*x2 = 0", "named_definition": "aux_71 + $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." }, "x72": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x72 + x0*x71 = 0", "named_definition": "aux_72 + ask about high risk investment*aux_71 = 0", "derived_from": ["x0", "x71"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." }, "x73": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x73 + x48*x72 = 0", "named_definition": "aux_73 + x48*aux_72 = 0", "derived_from": ["x72", "x48"], "introduced_because": "An AND gate fed another AND gate, which would have made the equation cubic; the inner one was given its own variable to keep the system quasilinear." } }, "steps_to_contradiction": 64, "operations": [ { "id": 92, "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": 147 }, { "id": 3502, "op": "MULTIPLY", "base_id": 92, "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": 2584, "op": "MULTIPLY", "base_id": 31, "multiplier": "x50", "pivot": 3673 }, { "id": 3503, "op": "ADD", "parents": [3502, 2584], "pivot": 51 }, { "id": 3873, "op": "MULTIPLY", "base_id": 3503, "multiplier": "x46" }, { "id": 91, "op": "INSERT", "source": "original-S1", "equation": "x46*x73 + x50 + x49 = 0", "named_equation": "x46*aux_73 + x50 + x49 = 0", "colang": { "file": "policy.co", "line": 362, "flow": "high risk investment gate" }, "pivot": 3505 }, { "id": 3493, "op": "MULTIPLY", "base_id": 91, "multiplier": "x46" }, { "id": 3494, "op": "ADD", "parents": [3493, 91], "pivot": 3482 }, { "id": 3874, "op": "ADD", "parents": [3873, 3494] }, { "id": 89, "op": "INSERT", "source": "original-S1", "equation": "x48*x72 + x73 = 0", "named_equation": "x48*aux_72 + aux_73 = 0" }, { "id": 88, "op": "INSERT", "source": "original-S1", "equation": "x48*x72 + x49 + x46 = 0", "named_equation": "x48*aux_72 + x49 + x46 = 0", "colang": { "file": "policy.co", "line": 362, "flow": "high risk investment gate" }, "pivot": 3601 }, { "id": 90, "op": "ADD", "parents": [89, 88], "pivot": 74 }, { "id": 3479, "op": "MULTIPLY", "base_id": 90, "multiplier": "x46" }, { "id": 3480, "op": "ADD", "parents": [3479, 91], "pivot": 3481 }, { "id": 3875, "op": "ADD", "parents": [3874, 3480] }, { "id": 80, "op": "INSERT", "source": "original-S1", "equation": "x0*x69 + x45 + x44 = 0", "named_equation": "ask about high risk investment*aux_69 + x45 + x44 = 0", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "pivot": 166 }, { "id": 3311, "op": "MULTIPLY", "base_id": 80, "multiplier": "x0" }, { "id": 3312, "op": "ADD", "parents": [3311, 80], "pivot": 142 }, { "id": 29, "op": "INSERT", "source": "original-S2", "equation": "x41 = 1", "named_equation": "$client_is_first_time_investor = 1", "reads_as": "$client_is_first_time_investor holds", "pin": { "name": "client_is_first_time_investor", "value": 1 }, "pivot": 42 }, { "id": 2464, "op": "MULTIPLY", "base_id": 29, "multiplier": "x66" }, { "id": 75, "op": "INSERT", "source": "original-S1", "equation": "x41*x66 + x43 + x40 = 0", "named_equation": "$client_is_first_time_investor*aux_66 + x43 + x40 = 0", "colang": { "file": "policy.co", "line": 348, "flow": "high risk investment gate" }, "pivot": 3238 }, { "id": 2465, "op": "ADD", "parents": [2464, 75] }, { "id": 28, "op": "INSERT", "source": "original-S2", "equation": "x38 = 1", "named_equation": "$product_is_rmmi = 1", "reads_as": "$product_is_rmmi holds", "pin": { "name": "product_is_rmmi", "value": 1 }, "pivot": 39 }, { "id": 2334, "op": "MULTIPLY", "base_id": 28, "multiplier": "x0" }, { "id": 70, "op": "INSERT", "source": "original-S1", "equation": "x0*x38 + x66 = 0", "named_equation": "ask about high risk investment*$product_is_rmmi + aux_66 = 0", "pivot": 135 }, { "id": 2335, "op": "ADD", "parents": [2334, 70], "pivot": 67 }, { "id": 2466, "op": "ADD", "parents": [2465, 2335], "pivot": 44 }, { "id": 3763, "op": "MULTIPLY", "base_id": 2466, "multiplier": "x44" }, { "id": 78, "op": "INSERT", "source": "original-S1", "equation": "x40*x68 + x44 + x43 = 0", "named_equation": "x40*aux_68 + x44 + x43 = 0", "colang": { "file": "policy.co", "line": 348, "flow": "high risk investment gate" }, "pivot": 3185 }, { "id": 3306, "op": "MULTIPLY", "base_id": 78, "multiplier": "x68" }, { "id": 76, "op": "INSERT", "source": "original-S1", "equation": "x41*x66 + x68 = 0", "named_equation": "$client_is_first_time_investor*aux_66 + aux_68 = 0" }, { "id": 77, "op": "ADD", "parents": [76, 75], "pivot": 69 }, { "id": 3286, "op": "MULTIPLY", "base_id": 77, "multiplier": "x44", "pivot": 3399 }, { "id": 3307, "op": "ADD", "parents": [3306, 3286] }, { "id": 3285, "op": "MULTIPLY", "base_id": 77, "multiplier": "x43", "pivot": 3347 }, { "id": 3308, "op": "ADD", "parents": [3307, 3285], "pivot": 3323 }, { "id": 3764, "op": "ADD", "parents": [3763, 3308] }, { "id": 3765, "op": "ADD", "parents": [3764, 78] }, { "id": 3283, "op": "MULTIPLY", "base_id": 77, "multiplier": "x40" }, { "id": 3284, "op": "ADD", "parents": [3283, 78], "pivot": 3160 }, { "id": 3766, "op": "ADD", "parents": [3765, 3284], "pivot": 141 }, { "id": 3780, "op": "ADD", "parents": [3312, 3766] }, { "id": 3781, "op": "MULTIPLY", "base_id": 3780, "multiplier": "x45" }, { "id": 81, "op": "INSERT", "source": "original-S1", "equation": "x0*x69 + x70 = 0", "named_equation": "ask about high risk investment*aux_69 + aux_70 = 0" }, { "id": 82, "op": "ADD", "parents": [81, 80], "pivot": 71 }, { "id": 3352, "op": "MULTIPLY", "base_id": 82, "multiplier": "x44" }, { "id": 83, "op": "INSERT", "source": "original-S1", "equation": "x44*x70 + x46 + x45 = 0", "named_equation": "x44*aux_70 + x46 + x45 = 0", "colang": { "file": "policy.co", "line": 355, "flow": "high risk investment gate" }, "pivot": 3401 }, { "id": 3353, "op": "ADD", "parents": [3352, 83], "pivot": 3376 }, { "id": 3782, "op": "ADD", "parents": [3781, 3353] }, { "id": 3767, "op": "MULTIPLY", "base_id": 2466, "multiplier": "x45", "pivot": 3324 }, { "id": 3783, "op": "ADD", "parents": [3782, 3767], "pivot": 47 }, { "id": 3876, "op": "ADD", "parents": [3875, 3783] }, { "id": 3498, "op": "MULTIPLY", "base_id": 92, "multiplier": "x0" }, { "id": 2541, "op": "MULTIPLY", "base_id": 31, "multiplier": "x0", "pivot": 148 }, { "id": 3499, "op": "ADD", "parents": [3498, 2541] }, { "id": 3500, "op": "ADD", "parents": [3499, 92] }, { "id": 3501, "op": "ADD", "parents": [3500, 31], "pivot": 1 }, { "id": 3824, "op": "MULTIPLY", "base_id": 3501, "multiplier": "x40" }, { "id": 3761, "op": "MULTIPLY", "base_id": 2466, "multiplier": "x40" }, { "id": 3762, "op": "ADD", "parents": [3761, 3284], "pivot": 137 }, { "id": 3825, "op": "ADD", "parents": [3824, 3762], "pivot": 45 }, { "id": 3877, "op": "ADD", "parents": [3876, 3825] }, { "id": 3878, "op": "ADD", "parents": [3877, 2466] } ], "final_step": { "op": "ADD", "inputs": [3878, 3501], "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", "x22", "x23", "x24", "x25", "x29", "x32", "x35", "x38", "x41"], "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": [] } }