{ "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 investment answer", "obligation_context": "suitability_assessment_done", "pins": [{ "name": "respond with permitted investment answer", "variable": 55, "value": 1, "source": "action" }, { "name": "suitability_assessment_done", "variable": 25, "value": 0, "source": "obligation" }, { "name": "personal_recommendation", "variable": 2, "value": 1, "source": "conditioning" }] }, "variables": { "x0": { "kind": "intent", "name": "ask investment advice", "colang": { "file": "policy.co", "line": 104 } }, "x1": { "kind": "intent", "name": "ask about specific fund", "colang": { "file": "policy.co", "line": 110 } }, "x2": { "kind": "context", "name": "personal_recommendation", "colang": { "file": "policy.co", "line": 209, "flow": "investment specific product" } }, "x3": { "kind": "context", "name": "is_inducement", "colang": { "file": "policy.co", "line": 209, "flow": "investment specific product" } }, "x4": { "kind": "context", "name": "firm_is_authorised", "colang": { "file": "policy.co", "line": 213, "flow": "investment specific product" } }, "x5": { "kind": "context", "name": "promotion_approved", "colang": { "file": "policy.co", "line": 214, "flow": "investment specific product" } }, "x6": { "kind": "context", "name": "has_s21_approver_permission", "colang": { "file": "policy.co", "line": 214, "flow": "investment specific product" } }, "x7": { "kind": "gate", "colang": { "file": "policy.co", "line": 214, "flow": "investment specific product" }, "definition": "x7 + x5 + x6 = 0", "named_definition": "x7 + $promotion_approved + $has_s21_approver_permission = 0", "derived_from": ["x5", "x6"] }, "x8": { "kind": "gate", "colang": { "file": "policy.co", "line": 214, "flow": "investment specific product" }, "definition": "x8 + x5 + x5*x6 + x6 + x7 = 1", "named_definition": "x8 + $promotion_approved + $promotion_approved*$has_s21_approver_permission + $has_s21_approver_permission + x7 = 1", "derived_from": ["x5", "x6", "x7"] }, "x9": { "kind": "gate", "subkind": "quadratic-split", "colang": { "file": "policy.co", "line": 214, "flow": "investment specific product" }, "definition": "x9 + x8*x57 = 0", "named_definition": "x9 + x8*aux_57 = 0", "derived_from": ["x57", "x8"], "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." }, "x10": { "kind": "context", "name": "has_advising_permission", "colang": { "file": "policy.co", "line": 219, "flow": "investment specific product" } }, "x11": { "kind": "gate", "colang": { "file": "policy.co", "line": 219, "flow": "investment specific product" }, "definition": "x11 + x4 + x10 = 0", "named_definition": "x11 + $firm_is_authorised + $has_advising_permission = 0", "derived_from": ["x4", "x10"] }, "x12": { "kind": "gate", "colang": { "file": "policy.co", "line": 219, "flow": "investment specific product" }, "definition": "x12 + x4 + x4*x10 + x10 + x11 = 1", "named_definition": "x12 + $firm_is_authorised + $firm_is_authorised*$has_advising_permission + $has_advising_permission + x11 = 1", "derived_from": ["x4", "x10", "x11"] }, "x13": { "kind": "context", "name": "is_targeted_support", "colang": { "file": "policy.co", "line": 220, "flow": "investment specific product" } }, "x14": { "kind": "gate", "colang": { "file": "policy.co", "line": 222, "flow": "investment specific product" }, "definition": "x14 + x9 + x13*x59 + x59 = 0", "named_definition": "x14 + x9 + $is_targeted_support*aux_59 + aux_59 = 0", "derived_from": ["x9", "x13", "x59"] }, "x15": { "kind": "gate", "colang": { "file": "policy.co", "line": 222, "flow": "investment specific product" }, "definition": "x15 + x9*x60 + x14 = 0", "named_definition": "x15 + x9*aux_60 + x14 = 0", "derived_from": ["x9", "x14", "x60"] }, "x16": { "kind": "context", "name": "has_targeted_support_permission", "colang": { "file": "policy.co", "line": 225, "flow": "investment specific product" } }, "x17": { "kind": "context", "name": "consumer_segment_predefined", "colang": { "file": "policy.co", "line": 225, "flow": "investment specific product" } }, "x18": { "kind": "gate", "colang": { "file": "policy.co", "line": 225, "flow": "investment specific product" }, "definition": "x18 + x16 + x17 = 0", "named_definition": "x18 + $has_targeted_support_permission + $consumer_segment_predefined = 0", "derived_from": ["x16", "x17"] }, "x19": { "kind": "gate", "colang": { "file": "policy.co", "line": 225, "flow": "investment specific product" }, "definition": "x19 + x16 + x16*x17 + x17 + x18 = 1", "named_definition": "x19 + $has_targeted_support_permission + $has_targeted_support_permission*$consumer_segment_predefined + $consumer_segment_predefined + x18 = 1", "derived_from": ["x16", "x17", "x18"] }, "x20": { "kind": "context", "name": "suggestion_is_ready_made", "colang": { "file": "policy.co", "line": 225, "flow": "investment specific product" } }, "x21": { "kind": "gate", "colang": { "file": "policy.co", "line": 225, "flow": "investment specific product" }, "definition": "x21 + x19 + x20 = 1", "named_definition": "x21 + x19 + $suggestion_is_ready_made = 1", "derived_from": ["x19", "x20"] }, "x22": { "kind": "gate", "colang": { "file": "policy.co", "line": 225, "flow": "investment specific product" }, "definition": "x22 + x19 + x19*x20 + x21 = 0", "named_definition": "x22 + x19 + x19*$suggestion_is_ready_made + x21 = 0", "derived_from": ["x19", "x20", "x21"] }, "x23": { "kind": "gate", "colang": { "file": "policy.co", "line": 227, "flow": "investment specific product" }, "definition": "x23 + x15 + x22*x61 = 0", "named_definition": "x23 + x15 + x22*aux_61 = 0", "derived_from": ["x15", "x22", "x61"] }, "x24": { "kind": "gate", "colang": { "file": "policy.co", "line": 227, "flow": "investment specific product" }, "definition": "x24 + x15*x62 + x23 = 0", "named_definition": "x24 + x15*aux_62 + x23 = 0", "derived_from": ["x15", "x23", "x62"] }, "x27": { "kind": "gate", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" }, "definition": "x27 = 1", "named_definition": "x27 = 1" }, "x28": { "kind": "context", "name": "capacity_for_loss_assessed", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" } }, "x29": { "kind": "gate", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" }, "definition": "x29 + x27 + x28 = 1", "named_definition": "x29 + x27 + $capacity_for_loss_assessed = 1", "derived_from": ["x27", "x28"] }, "x30": { "kind": "gate", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" }, "definition": "x30 + x27 + x27*x28 + x29 = 0", "named_definition": "x30 + x27 + x27*$capacity_for_loss_assessed + x29 = 0", "derived_from": ["x27", "x28", "x29"] }, "x31": { "kind": "gate", "colang": { "file": "policy.co", "line": 231, "flow": "investment specific product" }, "definition": "x31 + x24 + x30*x58 = 0", "named_definition": "x31 + x24 + x30*aux_58 = 0", "derived_from": ["x24", "x30", "x58"] }, "x32": { "kind": "gate", "colang": { "file": "policy.co", "line": 231, "flow": "investment specific product" }, "definition": "x32 + x24*x63 + x31 = 0", "named_definition": "x32 + x24*aux_63 + x31 = 0", "derived_from": ["x24", "x31", "x63"] }, "x33": { "kind": "context", "name": "foreseeable_harm_identified", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" } }, "x34": { "kind": "context", "name": "fair_value_assessed", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" } }, "x35": { "kind": "gate", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" }, "definition": "x35 + x33 + x34 = 1", "named_definition": "x35 + $foreseeable_harm_identified + $fair_value_assessed = 1", "derived_from": ["x33", "x34"] }, "x36": { "kind": "gate", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" }, "definition": "x36 + x33 + x33*x34 + x35 = 0", "named_definition": "x36 + $foreseeable_harm_identified + $foreseeable_harm_identified*$fair_value_assessed + x35 = 0", "derived_from": ["x33", "x34", "x35"] }, "x37": { "kind": "context", "name": "target_market_matches", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" } }, "x38": { "kind": "gate", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" }, "definition": "x38 + x36 + x37 = 1", "named_definition": "x38 + x36 + $target_market_matches = 1", "derived_from": ["x36", "x37"] }, "x39": { "kind": "gate", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" }, "definition": "x39 + x36 + x36*x37 + x38 = 0", "named_definition": "x39 + x36 + x36*$target_market_matches + x38 = 0", "derived_from": ["x36", "x37", "x38"] }, "x40": { "kind": "gate", "colang": { "file": "policy.co", "line": 235, "flow": "investment specific product" }, "definition": "x40 + x32 + x39*x58 = 0", "named_definition": "x40 + x32 + x39*aux_58 = 0", "derived_from": ["x32", "x39", "x58"] }, "x41": { "kind": "gate", "colang": { "file": "policy.co", "line": 235, "flow": "investment specific product" }, "definition": "x41 + x32*x64 + x40 = 0", "named_definition": "x41 + x32*aux_64 + x40 = 0", "derived_from": ["x32", "x40", "x64"] }, "x42": { "kind": "context", "name": "consultant_receives_higher_commission", "colang": { "file": "policy.co", "line": 237, "flow": "investment specific product" } }, "x43": { "kind": "gate", "colang": { "file": "policy.co", "line": 239, "flow": "investment specific product" }, "definition": "x43 + x41 + x58*x65 = 0", "named_definition": "x43 + x41 + aux_58*aux_65 = 0", "derived_from": ["x41", "x58", "x65"] }, "x44": { "kind": "gate", "colang": { "file": "policy.co", "line": 239, "flow": "investment specific product" }, "definition": "x44 + x41*x66 + x43 = 0", "named_definition": "x44 + x41*aux_66 + x43 = 0", "derived_from": ["x41", "x43", "x66"] }, "x45": { "kind": "gate", "subkind": "quadratic-split", "colang": { "file": "policy.co", "line": 241, "flow": "investment specific product" }, "definition": "x45 + x1 + x1*x44 = 0", "named_definition": "x45 + ask about specific fund + ask about specific fund*x44 = 0", "derived_from": ["x1", "x44"], "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." }, "x46": { "kind": "context", "name": "is_generic_asset_class_only", "colang": { "file": "policy.co", "line": 247, "flow": "investment generic advice" } }, "x47": { "kind": "context", "name": "names_specific_product", "colang": { "file": "policy.co", "line": 247, "flow": "investment generic advice" } }, "x48": { "kind": "action", "subkind": "quadratic-split", "name": "respond with generic asset class commentary", "colang": { "file": "policy.co", "line": 248, "flow": "investment generic advice" }, "definition": "x48 + x0*x67 = 0", "named_definition": "respond with generic asset class commentary + ask investment advice*aux_67 = 0", "derived_from": ["x0", "x67"], "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." }, "x49": { "kind": "gate", "colang": { "file": "policy.co", "line": 253, "flow": "investment generic advice" }, "definition": "x49 + x0*x68 + x48 = 0", "named_definition": "x49 + ask investment advice*aux_68 + respond with generic asset class commentary = 0", "derived_from": ["x0", "x48", "x68"] }, "x50": { "kind": "gate", "colang": { "file": "policy.co", "line": 253, "flow": "investment generic advice" }, "definition": "x50 + x48*x69 + x49 = 0", "named_definition": "x50 + respond with generic asset class commentary*aux_69 + x49 = 0", "derived_from": ["x48", "x49", "x69"] }, "x51": { "kind": "gate", "colang": { "file": "policy.co", "line": 255, "flow": "investment generic advice" }, "definition": "x51 = 1", "named_definition": "x51 = 1" }, "x52": { "kind": "gate", "colang": { "file": "policy.co", "line": 257, "flow": "investment generic advice" }, "definition": "x52 + x0*x51 + x50 = 0", "named_definition": "x52 + ask investment advice*x51 + x50 = 0", "derived_from": ["x0", "x50", "x51"] }, "x53": { "kind": "gate", "colang": { "file": "policy.co", "line": 257, "flow": "investment generic advice" }, "definition": "x53 + x50*x70 + x52 = 0", "named_definition": "x53 + x50*aux_70 + x52 = 0", "derived_from": ["x50", "x52", "x70"] }, "x54": { "kind": "gate", "colang": { "file": "policy.co", "line": 259, "flow": "investment generic advice" }, "definition": "x54 + x0 + x0*x53 + x45 = 0", "named_definition": "x54 + ask investment advice + ask investment advice*x53 + x45 = 0", "derived_from": ["x0", "x45", "x53"] }, "x55": { "kind": "action", "name": "respond with permitted investment answer", "colang": { "file": "policy.co", "line": 241, "flow": "investment specific product" }, "definition": "x55 + x45*x71 + x54 = 0", "named_definition": "respond with permitted investment answer + x45*aux_71 + x54 = 0", "derived_from": ["x45", "x54", "x71"] }, "x56": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x56 + x3 + x3*x4 = 0", "named_definition": "aux_56 + $is_inducement + $is_inducement*$firm_is_authorised = 0", "derived_from": ["x3", "x4"], "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 + x1*x56 = 0", "named_definition": "aux_57 + ask about specific fund*aux_56 = 0", "derived_from": ["x1", "x56"], "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 + x1*x2 = 0", "named_definition": "aux_58 + ask about specific fund*$personal_recommendation = 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." }, "x59": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x59 + x12*x58 = 0", "named_definition": "aux_59 + x12*aux_58 = 0", "derived_from": ["x58", "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." }, "x60": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x60 + x13*x59 + x59 = 0", "named_definition": "aux_60 + $is_targeted_support*aux_59 + aux_59 = 0", "derived_from": ["x59", "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 + x13*x58 = 0", "named_definition": "aux_61 + $is_targeted_support*aux_58 = 0", "derived_from": ["x58", "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." }, "x62": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x62 + x22*x61 = 0", "named_definition": "aux_62 + x22*aux_61 = 0", "derived_from": ["x61", "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." }, "x63": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x63 + x30*x58 = 0", "named_definition": "aux_63 + x30*aux_58 = 0", "derived_from": ["x58", "x30"], "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 + x39*x58 = 0", "named_definition": "aux_64 + x39*aux_58 = 0", "derived_from": ["x58", "x39"], "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 + x34*x42 + x42 = 0", "named_definition": "aux_65 + $fair_value_assessed*$consultant_receives_higher_commission + $consultant_receives_higher_commission = 0", "derived_from": ["x42", "x34"], "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 + x58*x65 = 0", "named_definition": "aux_66 + aux_58*aux_65 = 0", "derived_from": ["x58", "x65"], "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 + x46 + x46*x47 = 0", "named_definition": "aux_67 + $is_generic_asset_class_only + $is_generic_asset_class_only*$names_specific_product = 0", "derived_from": ["x46", "x47"], "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 + x2 + x2*x10 = 0", "named_definition": "aux_68 + $personal_recommendation + $personal_recommendation*$has_advising_permission = 0", "derived_from": ["x2", "x10"], "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 + x0*x68 = 0", "named_definition": "aux_69 + ask investment advice*aux_68 = 0", "derived_from": ["x0", "x68"], "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*x51 = 0", "named_definition": "aux_70 + ask investment advice*x51 = 0", "derived_from": ["x0", "x51"], "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 + x0 + x0*x53 = 0", "named_definition": "aux_71 + ask investment advice + ask investment advice*x53 = 0", "derived_from": ["x0", "x53"], "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": 108, "operations": [ { "id": 9, "op": "INSERT", "source": "original-S2", "equation": "x51 = 1", "named_equation": "x51 = 1", "reads_as": "x51 holds", "colang": { "file": "policy.co", "line": 255, "flow": "investment generic advice" }, "pivot": 52 }, { "id": 757, "op": "MULTIPLY", "base_id": 9, "multiplier": "x0" }, { "id": 71, "op": "INSERT", "source": "original-S1", "equation": "x0*x51 + x52 + x50 = 0", "named_equation": "ask investment advice*x51 + x52 + x50 = 0", "colang": { "file": "policy.co", "line": 257, "flow": "investment generic advice" }, "pivot": 140 }, { "id": 758, "op": "ADD", "parents": [757, 71], "pivot": 53 }, { "id": 2870, "op": "MULTIPLY", "base_id": 758, "multiplier": "x53" }, { "id": 74, "op": "INSERT", "source": "original-S1", "equation": "x50*x70 + x53 + x52 = 0", "named_equation": "x50*aux_70 + x53 + x52 = 0", "colang": { "file": "policy.co", "line": 257, "flow": "investment generic advice" }, "pivot": 3284 }, { "id": 2713, "op": "MULTIPLY", "base_id": 74, "multiplier": "x70" }, { "id": 72, "op": "INSERT", "source": "original-S1", "equation": "x0*x51 + x70 = 0", "named_equation": "ask investment advice*x51 + aux_70 = 0" }, { "id": 73, "op": "ADD", "parents": [72, 71], "pivot": 71 }, { "id": 2700, "op": "MULTIPLY", "base_id": 73, "multiplier": "x53", "pivot": 3392 }, { "id": 2714, "op": "ADD", "parents": [2713, 2700] }, { "id": 2699, "op": "MULTIPLY", "base_id": 73, "multiplier": "x52", "pivot": 3357 }, { "id": 2715, "op": "ADD", "parents": [2714, 2699], "pivot": 3340 }, { "id": 2871, "op": "ADD", "parents": [2870, 2715] }, { "id": 2872, "op": "ADD", "parents": [2871, 74] }, { "id": 2697, "op": "MULTIPLY", "base_id": 73, "multiplier": "x50" }, { "id": 2698, "op": "ADD", "parents": [2697, 74], "pivot": 3266 }, { "id": 2873, "op": "ADD", "parents": [2872, 2698] }, { "id": 76, "op": "INSERT", "source": "original-S1", "equation": "x0*x53 + x54 + x45 + x0 = 0", "named_equation": "ask investment advice*x53 + x54 + x45 + ask investment advice = 0", "colang": { "file": "policy.co", "line": 259, "flow": "investment generic advice" }, "pivot": 142 }, { "id": 2874, "op": "ADD", "parents": [2873, 76], "pivot": 55 }, { "id": 3167, "op": "MULTIPLY", "base_id": 2874, "multiplier": "x45" }, { "id": 77, "op": "INSERT", "source": "original-S1", "equation": "x0*x53 + x71 + x0 = 0", "named_equation": "ask investment advice*x53 + aux_71 + ask investment advice = 0" }, { "id": 78, "op": "ADD", "parents": [77, 76], "pivot": 72 }, { "id": 2755, "op": "MULTIPLY", "base_id": 78, "multiplier": "x45" }, { "id": 79, "op": "INSERT", "source": "original-S1", "equation": "x45*x71 + x55 + x54 = 0", "named_equation": "x45*aux_71 + respond with permitted investment answer + x54 = 0", "colang": { "file": "policy.co", "line": 259, "flow": "investment generic advice" }, "pivot": 3085 }, { "id": 2756, "op": "ADD", "parents": [2755, 79], "pivot": 3068 }, { "id": 3168, "op": "ADD", "parents": [3167, 2756] }, { "id": 2863, "op": "MULTIPLY", "base_id": 758, "multiplier": "x45", "pivot": 3066 }, { "id": 3169, "op": "ADD", "parents": [3168, 2863] }, { "id": 29, "op": "INSERT", "source": "original-S2", "equation": "x55 = 1", "named_equation": "respond with permitted investment answer = 1", "reads_as": "respond with permitted investment answer holds", "pin": { "name": "respond with permitted investment answer", "value": 1 }, "pivot": 56 }, { "id": 3170, "op": "ADD", "parents": [3169, 29] }, { "id": 3171, "op": "ADD", "parents": [3170, 2874] }, { "id": 3172, "op": "ADD", "parents": [3171, 758], "pivot": 46 }, { "id": 3229, "op": "MULTIPLY", "base_id": 3172, "multiplier": "x44" }, { "id": 75, "op": "INSERT", "source": "original-S1", "equation": "x1*x44 + x45 + x1 = 0", "named_equation": "ask about specific fund*x44 + x45 + ask about specific fund = 0", "colang": { "file": "policy.co", "line": 241, "flow": "investment specific product" }, "pivot": 220 }, { "id": 2717, "op": "MULTIPLY", "base_id": 75, "multiplier": "x44", "pivot": 3016 }, { "id": 3230, "op": "ADD", "parents": [3229, 2717], "pivot": 45 }, { "id": 3349, "op": "MULTIPLY", "base_id": 3230, "multiplier": "x32" }, { "id": 27, "op": "INSERT", "source": "original-S2", "equation": "x2 = 1", "named_equation": "$personal_recommendation = 1", "reads_as": "$personal_recommendation holds", "pin": { "name": "personal_recommendation", "value": 1 }, "pivot": 3 }, { "id": 2046, "op": "MULTIPLY", "base_id": 27, "multiplier": "x1" }, { "id": 34, "op": "INSERT", "source": "original-S1", "equation": "x1*x2 + x58 = 0", "named_equation": "ask about specific fund*$personal_recommendation + aux_58 = 0", "pivot": 178 }, { "id": 2047, "op": "ADD", "parents": [2046, 34], "pivot": 59 }, { "id": 3004, "op": "MULTIPLY", "base_id": 2047, "multiplier": "x40" }, { "id": 55, "op": "INSERT", "source": "original-S1", "equation": "x39*x58 + x40 + x32 = 0", "named_equation": "x39*aux_58 + x40 + x32 = 0", "colang": { "file": "policy.co", "line": 235, "flow": "investment specific product" }, "pivot": 2799 }, { "id": 2457, "op": "MULTIPLY", "base_id": 55, "multiplier": "x58", "pivot": 2847 }, { "id": 3005, "op": "ADD", "parents": [3004, 2457] }, { "id": 3006, "op": "ADD", "parents": [3005, 55] }, { "id": 2997, "op": "MULTIPLY", "base_id": 2047, "multiplier": "x32", "pivot": 2435 }, { "id": 3007, "op": "ADD", "parents": [3006, 2997], "pivot": 216 }, { "id": 5, "op": "INSERT", "source": "original-S2", "equation": "x27 = 1", "named_equation": "x27 = 1", "reads_as": "x27 holds", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" }, "pivot": 28 }, { "id": 449, "op": "MULTIPLY", "base_id": 5, "multiplier": "x28" }, { "id": 48, "op": "INSERT", "source": "original-S1", "equation": "x27*x28 + x30 + x29 + x27 = 0", "named_equation": "x27*$capacity_for_loss_assessed + x30 + x29 + x27 = 0", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" }, "pivot": 2115 }, { "id": 450, "op": "ADD", "parents": [449, 48], "pivot": 31 }, { "id": 2821, "op": "MULTIPLY", "base_id": 450, "multiplier": "x58" }, { "id": 49, "op": "INSERT", "source": "original-S1", "equation": "x30*x58 + x31 + x24 = 0", "named_equation": "x30*aux_58 + x31 + x24 = 0", "colang": { "file": "policy.co", "line": 231, "flow": "investment specific product" }, "pivot": 2322 }, { "id": 2822, "op": "ADD", "parents": [2821, 49] }, { "id": 6, "op": "INSERT", "source": "original-S2", "equation": "x29 + x28 + x27 = 1", "named_equation": "x29 + $capacity_for_loss_assessed + x27 = 1", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" }, "pivot": 30 }, { "id": 563, "op": "MULTIPLY", "base_id": 6, "multiplier": "x58", "pivot": 2264 }, { "id": 2823, "op": "ADD", "parents": [2822, 563] }, { "id": 2824, "op": "ADD", "parents": [2823, 2047], "pivot": 32 }, { "id": 3108, "op": "MULTIPLY", "base_id": 2824, "multiplier": "x32" }, { "id": 52, "op": "INSERT", "source": "original-S1", "equation": "x24*x63 + x32 + x31 = 0", "named_equation": "x24*aux_63 + x32 + x31 = 0", "colang": { "file": "policy.co", "line": 231, "flow": "investment specific product" }, "pivot": 1964 }, { "id": 2448, "op": "MULTIPLY", "base_id": 52, "multiplier": "x63" }, { "id": 50, "op": "INSERT", "source": "original-S1", "equation": "x30*x58 + x63 = 0", "named_equation": "x30*aux_58 + aux_63 = 0" }, { "id": 51, "op": "ADD", "parents": [50, 49], "pivot": 64 }, { "id": 2413, "op": "MULTIPLY", "base_id": 51, "multiplier": "x32", "pivot": 2440 }, { "id": 2449, "op": "ADD", "parents": [2448, 2413] }, { "id": 2412, "op": "MULTIPLY", "base_id": 51, "multiplier": "x31", "pivot": 2384 }, { "id": 2450, "op": "ADD", "parents": [2449, 2412], "pivot": 2353 }, { "id": 3109, "op": "ADD", "parents": [3108, 2450] }, { "id": 3110, "op": "ADD", "parents": [3109, 52] }, { "id": 2407, "op": "MULTIPLY", "base_id": 51, "multiplier": "x24" }, { "id": 2408, "op": "ADD", "parents": [2407, 52], "pivot": 1932 }, { "id": 3111, "op": "ADD", "parents": [3110, 2408], "pivot": 208 }, { "id": 3190, "op": "ADD", "parents": [3007, 3111] }, { "id": 3191, "op": "MULTIPLY", "base_id": 3190, "multiplier": "x40" }, { "id": 56, "op": "INSERT", "source": "original-S1", "equation": "x39*x58 + x64 = 0", "named_equation": "x39*aux_58 + aux_64 = 0" }, { "id": 57, "op": "ADD", "parents": [56, 55], "pivot": 65 }, { "id": 2482, "op": "MULTIPLY", "base_id": 57, "multiplier": "x32" }, { "id": 58, "op": "INSERT", "source": "original-S1", "equation": "x32*x64 + x41 + x40 = 0", "named_equation": "x32*aux_64 + x41 + x40 = 0", "colang": { "file": "policy.co", "line": 235, "flow": "investment specific product" }, "pivot": 2441 }, { "id": 2483, "op": "ADD", "parents": [2482, 58], "pivot": 2417 }, { "id": 3192, "op": "ADD", "parents": [3191, 2483] }, { "id": 3117, "op": "MULTIPLY", "base_id": 2824, "multiplier": "x40", "pivot": 2361 }, { "id": 3193, "op": "ADD", "parents": [3192, 3117], "pivot": 42 }, { "id": 3272, "op": "MULTIPLY", "base_id": 3193, "multiplier": "x44" }, { "id": 63, "op": "INSERT", "source": "original-S1", "equation": "x41*x66 + x44 + x43 = 0", "named_equation": "x41*aux_66 + x44 + x43 = 0", "colang": { "file": "policy.co", "line": 239, "flow": "investment specific product" }, "pivot": 2902 }, { "id": 2582, "op": "MULTIPLY", "base_id": 63, "multiplier": "x41" }, { "id": 2583, "op": "ADD", "parents": [2582, 63], "pivot": 2880 }, { "id": 3273, "op": "ADD", "parents": [3272, 2583] }, { "id": 61, "op": "INSERT", "source": "original-S1", "equation": "x58*x65 + x66 = 0", "named_equation": "aux_58*aux_65 + aux_66 = 0" }, { "id": 60, "op": "INSERT", "source": "original-S1", "equation": "x58*x65 + x43 + x41 = 0", "named_equation": "aux_58*aux_65 + x43 + x41 = 0", "colang": { "file": "policy.co", "line": 239, "flow": "investment specific product" }, "pivot": 3547 }, { "id": 62, "op": "ADD", "parents": [61, 60], "pivot": 67 }, { "id": 2557, "op": "MULTIPLY", "base_id": 62, "multiplier": "x41" }, { "id": 2558, "op": "ADD", "parents": [2557, 63], "pivot": 2879 }, { "id": 3274, "op": "ADD", "parents": [3273, 2558], "pivot": 2421 }, { "id": 3350, "op": "ADD", "parents": [3349, 3274] }, { "id": 3351, "op": "ADD", "parents": [3350, 3193] }, { "id": 3195, "op": "MULTIPLY", "base_id": 3172, "multiplier": "x1" }, { "id": 2716, "op": "MULTIPLY", "base_id": 75, "multiplier": "x1", "pivot": 221 }, { "id": 3196, "op": "ADD", "parents": [3195, 2716] }, { "id": 3197, "op": "ADD", "parents": [3196, 75] }, { "id": 3198, "op": "ADD", "parents": [3197, 3172], "pivot": 2 }, { "id": 3306, "op": "MULTIPLY", "base_id": 3198, "multiplier": "x24" }, { "id": 3104, "op": "MULTIPLY", "base_id": 2824, "multiplier": "x24" }, { "id": 3105, "op": "ADD", "parents": [3104, 2408], "pivot": 200 }, { "id": 3307, "op": "ADD", "parents": [3306, 3105], "pivot": 33 }, { "id": 3352, "op": "ADD", "parents": [3351, 3307] }, { "id": 3353, "op": "ADD", "parents": [3352, 2824] } ], "final_step": { "op": "ADD", "inputs": [3353, 3198], "instruction": "Compute the linear combination of the final inputs to derive 0 = 1." }, "provenance": { "declared": false, "controls": {}, "undeclared": ["x2", "x3", "x4", "x5", "x6", "x10", "x13", "x16", "x17", "x20", "x28", "x33", "x34", "x37", "x42", "x46", "x47"], "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": [] } }