{ "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": "has_advising_permission", "pins": [{ "name": "respond with permitted investment answer", "variable": 47, "value": 1, "source": "action" }, { "name": "has_advising_permission", "variable": 10, "value": 0, "source": "obligation" }, { "name": "personal_recommendation", "variable": 2, "value": 1, "source": "conditioning" }, { "name": "is_targeted_support", "variable": 12, "value": 0, "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*x49 = 0", "named_definition": "x9 + x8*aux_49 = 0", "derived_from": ["x49", "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." }, "x11": { "kind": "gate", "colang": { "file": "policy.co", "line": 219, "flow": "investment specific product" }, "definition": "x11 = 1", "named_definition": "x11 = 1" }, "x13": { "kind": "gate", "colang": { "file": "policy.co", "line": 222, "flow": "investment specific product" }, "definition": "x13 + x9 + x11*x50 = 0", "named_definition": "x13 + x9 + x11*aux_50 = 0", "derived_from": ["x9", "x11", "x50"] }, "x14": { "kind": "gate", "colang": { "file": "policy.co", "line": 222, "flow": "investment specific product" }, "definition": "x14 + x9*x51 + x13 = 0", "named_definition": "x14 + x9*aux_51 + x13 = 0", "derived_from": ["x9", "x13", "x51"] }, "x15": { "kind": "context", "name": "suitability_assessment_done", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" } }, "x16": { "kind": "context", "name": "risk_profile_assessed", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" } }, "x17": { "kind": "gate", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" }, "definition": "x17 + x15 + x16 = 0", "named_definition": "x17 + $suitability_assessment_done + $risk_profile_assessed = 0", "derived_from": ["x15", "x16"] }, "x18": { "kind": "gate", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" }, "definition": "x18 + x15 + x15*x16 + x16 + x17 = 1", "named_definition": "x18 + $suitability_assessment_done + $suitability_assessment_done*$risk_profile_assessed + $risk_profile_assessed + x17 = 1", "derived_from": ["x15", "x16", "x17"] }, "x19": { "kind": "context", "name": "capacity_for_loss_assessed", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" } }, "x20": { "kind": "gate", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" }, "definition": "x20 + x18 + x19 = 1", "named_definition": "x20 + x18 + $capacity_for_loss_assessed = 1", "derived_from": ["x18", "x19"] }, "x21": { "kind": "gate", "colang": { "file": "policy.co", "line": 229, "flow": "investment specific product" }, "definition": "x21 + x18 + x18*x19 + x20 = 0", "named_definition": "x21 + x18 + x18*$capacity_for_loss_assessed + x20 = 0", "derived_from": ["x18", "x19", "x20"] }, "x22": { "kind": "gate", "colang": { "file": "policy.co", "line": 231, "flow": "investment specific product" }, "definition": "x22 + x14 + x21*x50 = 0", "named_definition": "x22 + x14 + x21*aux_50 = 0", "derived_from": ["x14", "x21", "x50"] }, "x23": { "kind": "gate", "colang": { "file": "policy.co", "line": 231, "flow": "investment specific product" }, "definition": "x23 + x14*x52 + x22 = 0", "named_definition": "x23 + x14*aux_52 + x22 = 0", "derived_from": ["x14", "x22", "x52"] }, "x24": { "kind": "context", "name": "foreseeable_harm_identified", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" } }, "x25": { "kind": "context", "name": "fair_value_assessed", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" } }, "x26": { "kind": "gate", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" }, "definition": "x26 + x24 + x25 = 1", "named_definition": "x26 + $foreseeable_harm_identified + $fair_value_assessed = 1", "derived_from": ["x24", "x25"] }, "x27": { "kind": "gate", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" }, "definition": "x27 + x24 + x24*x25 + x26 = 0", "named_definition": "x27 + $foreseeable_harm_identified + $foreseeable_harm_identified*$fair_value_assessed + x26 = 0", "derived_from": ["x24", "x25", "x26"] }, "x28": { "kind": "context", "name": "target_market_matches", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" } }, "x29": { "kind": "gate", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" }, "definition": "x29 + x27 + x28 = 1", "named_definition": "x29 + x27 + $target_market_matches = 1", "derived_from": ["x27", "x28"] }, "x30": { "kind": "gate", "colang": { "file": "policy.co", "line": 233, "flow": "investment specific product" }, "definition": "x30 + x27 + x27*x28 + x29 = 0", "named_definition": "x30 + x27 + x27*$target_market_matches + x29 = 0", "derived_from": ["x27", "x28", "x29"] }, "x31": { "kind": "gate", "colang": { "file": "policy.co", "line": 235, "flow": "investment specific product" }, "definition": "x31 + x23 + x30*x50 = 0", "named_definition": "x31 + x23 + x30*aux_50 = 0", "derived_from": ["x23", "x30", "x50"] }, "x32": { "kind": "gate", "colang": { "file": "policy.co", "line": 235, "flow": "investment specific product" }, "definition": "x32 + x23*x53 + x31 = 0", "named_definition": "x32 + x23*aux_53 + x31 = 0", "derived_from": ["x23", "x31", "x53"] }, "x33": { "kind": "context", "name": "consultant_receives_higher_commission", "colang": { "file": "policy.co", "line": 237, "flow": "investment specific product" } }, "x34": { "kind": "gate", "colang": { "file": "policy.co", "line": 239, "flow": "investment specific product" }, "definition": "x34 + x32 + x50*x54 = 0", "named_definition": "x34 + x32 + aux_50*aux_54 = 0", "derived_from": ["x32", "x50", "x54"] }, "x35": { "kind": "gate", "colang": { "file": "policy.co", "line": 239, "flow": "investment specific product" }, "definition": "x35 + x32*x55 + x34 = 0", "named_definition": "x35 + x32*aux_55 + x34 = 0", "derived_from": ["x32", "x34", "x55"] }, "x36": { "kind": "gate", "subkind": "quadratic-split", "colang": { "file": "policy.co", "line": 241, "flow": "investment specific product" }, "definition": "x36 + x1 + x1*x35 = 0", "named_definition": "x36 + ask about specific fund + ask about specific fund*x35 = 0", "derived_from": ["x1", "x35"], "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." }, "x37": { "kind": "context", "name": "is_generic_asset_class_only", "colang": { "file": "policy.co", "line": 247, "flow": "investment generic advice" } }, "x38": { "kind": "context", "name": "names_specific_product", "colang": { "file": "policy.co", "line": 247, "flow": "investment generic advice" } }, "x39": { "kind": "action", "subkind": "quadratic-split", "name": "respond with generic asset class commentary", "colang": { "file": "policy.co", "line": 248, "flow": "investment generic advice" }, "definition": "x39 + x0*x56 = 0", "named_definition": "respond with generic asset class commentary + ask investment advice*aux_56 = 0", "derived_from": ["x0", "x56"], "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." }, "x40": { "kind": "gate", "colang": { "file": "policy.co", "line": 253, "flow": "investment generic advice" }, "definition": "x40 + x0*x2 + x39 = 0", "named_definition": "x40 + ask investment advice*$personal_recommendation + respond with generic asset class commentary = 0", "derived_from": ["x0", "x2", "x39"] }, "x41": { "kind": "gate", "colang": { "file": "policy.co", "line": 253, "flow": "investment generic advice" }, "definition": "x41 + x39*x57 + x40 = 0", "named_definition": "x41 + respond with generic asset class commentary*aux_57 + x40 = 0", "derived_from": ["x39", "x40", "x57"] }, "x42": { "kind": "gate", "colang": { "file": "policy.co", "line": 255, "flow": "investment generic advice" }, "definition": "x42 + x15 + x19 = 0", "named_definition": "x42 + $suitability_assessment_done + $capacity_for_loss_assessed = 0", "derived_from": ["x15", "x19"] }, "x43": { "kind": "gate", "colang": { "file": "policy.co", "line": 255, "flow": "investment generic advice" }, "definition": "x43 + x15 + x15*x19 + x19 + x42 = 1", "named_definition": "x43 + $suitability_assessment_done + $suitability_assessment_done*$capacity_for_loss_assessed + $capacity_for_loss_assessed + x42 = 1", "derived_from": ["x15", "x19", "x42"] }, "x44": { "kind": "gate", "colang": { "file": "policy.co", "line": 257, "flow": "investment generic advice" }, "definition": "x44 + x0*x43 + x41 = 0", "named_definition": "x44 + ask investment advice*x43 + x41 = 0", "derived_from": ["x0", "x41", "x43"] }, "x45": { "kind": "gate", "colang": { "file": "policy.co", "line": 257, "flow": "investment generic advice" }, "definition": "x45 + x41*x58 + x44 = 0", "named_definition": "x45 + x41*aux_58 + x44 = 0", "derived_from": ["x41", "x44", "x58"] }, "x46": { "kind": "gate", "colang": { "file": "policy.co", "line": 259, "flow": "investment generic advice" }, "definition": "x46 + x0 + x0*x45 + x36 = 0", "named_definition": "x46 + ask investment advice + ask investment advice*x45 + x36 = 0", "derived_from": ["x0", "x36", "x45"] }, "x47": { "kind": "action", "name": "respond with permitted investment answer", "colang": { "file": "policy.co", "line": 241, "flow": "investment specific product" }, "definition": "x47 + x36*x59 + x46 = 0", "named_definition": "respond with permitted investment answer + x36*aux_59 + x46 = 0", "derived_from": ["x36", "x46", "x59"] }, "x48": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x48 + x3 + x3*x4 = 0", "named_definition": "aux_48 + $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." }, "x49": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x49 + x1*x48 = 0", "named_definition": "aux_49 + ask about specific fund*aux_48 = 0", "derived_from": ["x1", "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." }, "x50": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x50 + x1*x2 = 0", "named_definition": "aux_50 + 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." }, "x51": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x51 + x11*x50 = 0", "named_definition": "aux_51 + x11*aux_50 = 0", "derived_from": ["x50", "x11"], "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." }, "x52": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x52 + x21*x50 = 0", "named_definition": "aux_52 + x21*aux_50 = 0", "derived_from": ["x50", "x21"], "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 + x30*x50 = 0", "named_definition": "aux_53 + x30*aux_50 = 0", "derived_from": ["x50", "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." }, "x54": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x54 + x25*x33 + x33 = 0", "named_definition": "aux_54 + $fair_value_assessed*$consultant_receives_higher_commission + $consultant_receives_higher_commission = 0", "derived_from": ["x33", "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." }, "x55": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x55 + x50*x54 = 0", "named_definition": "aux_55 + aux_50*aux_54 = 0", "derived_from": ["x50", "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 + x37 + x37*x38 = 0", "named_definition": "aux_56 + $is_generic_asset_class_only + $is_generic_asset_class_only*$names_specific_product = 0", "derived_from": ["x37", "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." }, "x57": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x57 + x0*x2 = 0", "named_definition": "aux_57 + ask investment advice*$personal_recommendation = 0", "derived_from": ["x0", "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." }, "x58": { "kind": "aux", "subkind": "degree3-materialisation", "definition": "x58 + x0*x43 = 0", "named_definition": "aux_58 + ask investment advice*x43 = 0", "derived_from": ["x0", "x43"], "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 + x0 + x0*x45 = 0", "named_definition": "aux_59 + ask investment advice + ask investment advice*x45 = 0", "derived_from": ["x0", "x45"], "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": 163, "operations": [ { "id": 23, "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": 1469, "op": "MULTIPLY", "base_id": 23, "multiplier": "x1" }, { "id": 30, "op": "INSERT", "source": "original-S1", "equation": "x1*x2 + x50 = 0", "named_equation": "ask about specific fund*$personal_recommendation + aux_50 = 0", "pivot": 150 }, { "id": 1470, "op": "ADD", "parents": [1469, 30] }, { "id": 2, "op": "INSERT", "source": "original-S2", "equation": "x11 = 1", "named_equation": "x11 = 1", "reads_as": "x11 holds", "colang": { "file": "policy.co", "line": 219, "flow": "investment specific product" }, "pivot": 12 }, { "id": 191, "op": "MULTIPLY", "base_id": 2, "multiplier": "x50" }, { "id": 32, "op": "INSERT", "source": "original-S1", "equation": "x11*x50 + x13 + x9 = 0", "named_equation": "x11*aux_50 + x13 + x9 = 0", "colang": { "file": "policy.co", "line": 222, "flow": "investment specific product" }, "pivot": 873 }, { "id": 192, "op": "ADD", "parents": [191, 32], "pivot": 51 }, { "id": 1471, "op": "ADD", "parents": [1470, 192], "pivot": 14 }, { "id": 2301, "op": "MULTIPLY", "base_id": 1471, "multiplier": "x49", "pivot": 995 }, { "id": 29, "op": "INSERT", "source": "original-S1", "equation": "x1*x48 + x49 = 0", "named_equation": "ask about specific fund*aux_48 + aux_49 = 0", "pivot": 196 }, { "id": 2369, "op": "ADD", "parents": [2301, 29] }, { "id": 31, "op": "INSERT", "source": "original-S1", "equation": "x8*x49 + x9 = 0", "named_equation": "x8*aux_49 + x9 = 0", "colang": { "file": "policy.co", "line": 214, "flow": "investment specific product" }, "pivot": 680 }, { "id": 2370, "op": "ADD", "parents": [2369, 31] }, { "id": 1676, "op": "MULTIPLY", "base_id": 29, "multiplier": "x1", "pivot": 197 }, { "id": 2371, "op": "ADD", "parents": [2370, 1676] }, { "id": 1681, "op": "MULTIPLY", "base_id": 31, "multiplier": "x49", "pivot": 745 }, { "id": 2372, "op": "ADD", "parents": [2371, 1681] }, { "id": 2373, "op": "MULTIPLY", "base_id": 2372, "multiplier": "x13" }, { "id": 33, "op": "INSERT", "source": "original-S1", "equation": "x11*x50 + x51 = 0", "named_equation": "x11*aux_50 + aux_51 = 0" }, { "id": 34, "op": "ADD", "parents": [33, 32], "pivot": 52 }, { "id": 1690, "op": "MULTIPLY", "base_id": 34, "multiplier": "x9" }, { "id": 35, "op": "INSERT", "source": "original-S1", "equation": "x9*x51 + x14 + x13 = 0", "named_equation": "x9*aux_51 + x14 + x13 = 0", "colang": { "file": "policy.co", "line": 222, "flow": "investment specific product" }, "pivot": 747 }, { "id": 1691, "op": "ADD", "parents": [1690, 35], "pivot": 709 }, { "id": 2374, "op": "ADD", "parents": [2373, 1691], "pivot": 15 }, { "id": 2511, "op": "MULTIPLY", "base_id": 2374, "multiplier": "x31" }, { "id": 38, "op": "INSERT", "source": "original-S1", "equation": "x21*x50 + x22 + x14 = 0", "named_equation": "x21*aux_50 + x22 + x14 = 0", "colang": { "file": "policy.co", "line": 231, "flow": "investment specific product" }, "pivot": 1448 }, { "id": 1743, "op": "MULTIPLY", "base_id": 38, "multiplier": "x50", "pivot": 1500 }, { "id": 2305, "op": "ADD", "parents": [1743, 35] }, { "id": 2306, "op": "ADD", "parents": [2305, 38] }, { "id": 2307, "op": "ADD", "parents": [2306, 1691] }, { "id": 1734, "op": "MULTIPLY", "base_id": 35, "multiplier": "x51" }, { "id": 1693, "op": "MULTIPLY", "base_id": 34, "multiplier": "x14", "pivot": 1057 }, { "id": 1735, "op": "ADD", "parents": [1734, 1693] }, { "id": 1692, "op": "MULTIPLY", "base_id": 34, "multiplier": "x13", "pivot": 997 }, { "id": 1736, "op": "ADD", "parents": [1735, 1692], "pivot": 960 }, { "id": 2308, "op": "ADD", "parents": [2307, 1736] }, { "id": 2078, "op": "MULTIPLY", "base_id": 192, "multiplier": "x14", "pivot": 1056 }, { "id": 2309, "op": "ADD", "parents": [2308, 2078] }, { "id": 2310, "op": "MULTIPLY", "base_id": 2309, "multiplier": "x22" }, { "id": 2311, "op": "ADD", "parents": [2310, 1743] }, { "id": 2312, "op": "ADD", "parents": [2311, 38] }, { "id": 2313, "op": "ADD", "parents": [2312, 2078] }, { "id": 39, "op": "INSERT", "source": "original-S1", "equation": "x21*x50 + x52 = 0", "named_equation": "x21*aux_50 + aux_52 = 0" }, { "id": 40, "op": "ADD", "parents": [39, 38], "pivot": 53 }, { "id": 1753, "op": "MULTIPLY", "base_id": 40, "multiplier": "x14" }, { "id": 41, "op": "INSERT", "source": "original-S1", "equation": "x14*x52 + x23 + x22 = 0", "named_equation": "x14*aux_52 + x23 + x22 = 0", "colang": { "file": "policy.co", "line": 231, "flow": "investment specific product" }, "pivot": 1058 }, { "id": 1754, "op": "ADD", "parents": [1753, 41], "pivot": 1028 }, { "id": 2314, "op": "ADD", "parents": [2313, 1754] }, { "id": 2085, "op": "MULTIPLY", "base_id": 192, "multiplier": "x22" }, { "id": 2086, "op": "ADD", "parents": [2085, 1743] }, { "id": 2087, "op": "ADD", "parents": [2086, 38] }, { "id": 2088, "op": "ADD", "parents": [2087, 2078], "pivot": 968 }, { "id": 2315, "op": "ADD", "parents": [2314, 2088], "pivot": 24 }, { "id": 2393, "op": "MULTIPLY", "base_id": 2315, "multiplier": "x31" }, { "id": 45, "op": "INSERT", "source": "original-S1", "equation": "x30*x50 + x53 = 0", "named_equation": "x30*aux_50 + aux_53 = 0" }, { "id": 44, "op": "INSERT", "source": "original-S1", "equation": "x30*x50 + x31 + x23 = 0", "named_equation": "x30*aux_50 + x31 + x23 = 0", "colang": { "file": "policy.co", "line": 235, "flow": "investment specific product" }, "pivot": 1880 }, { "id": 46, "op": "ADD", "parents": [45, 44], "pivot": 54 }, { "id": 1820, "op": "MULTIPLY", "base_id": 46, "multiplier": "x23" }, { "id": 47, "op": "INSERT", "source": "original-S1", "equation": "x23*x53 + x32 + x31 = 0", "named_equation": "x23*aux_53 + x32 + x31 = 0", "colang": { "file": "policy.co", "line": 235, "flow": "investment specific product" }, "pivot": 1554 }, { "id": 1821, "op": "ADD", "parents": [1820, 47], "pivot": 1532 }, { "id": 2394, "op": "ADD", "parents": [2393, 1821], "pivot": 1037 }, { "id": 2512, "op": "ADD", "parents": [2511, 2394] }, { "id": 2096, "op": "MULTIPLY", "base_id": 192, "multiplier": "x31" }, { "id": 1803, "op": "MULTIPLY", "base_id": 44, "multiplier": "x50", "pivot": 1923 }, { "id": 2097, "op": "ADD", "parents": [2096, 1803] }, { "id": 2098, "op": "ADD", "parents": [2097, 44] }, { "id": 2089, "op": "MULTIPLY", "base_id": 192, "multiplier": "x23", "pivot": 1551 }, { "id": 2099, "op": "ADD", "parents": [2098, 2089], "pivot": 977 }, { "id": 2513, "op": "ADD", "parents": [2512, 2099] }, { "id": 2275, "op": "MULTIPLY", "base_id": 1471, "multiplier": "x23", "pivot": 969 }, { "id": 2514, "op": "ADD", "parents": [2513, 2275] }, { "id": 2376, "op": "MULTIPLY", "base_id": 2315, "multiplier": "x1", "pivot": 171 }, { "id": 2515, "op": "ADD", "parents": [2514, 2376] }, { "id": 2260, "op": "MULTIPLY", "base_id": 1471, "multiplier": "x14" }, { "id": 2261, "op": "ADD", "parents": [2260, 1736] }, { "id": 2262, "op": "ADD", "parents": [2261, 35] }, { "id": 2263, "op": "ADD", "parents": [2262, 1691], "pivot": 162 }, { "id": 2516, "op": "ADD", "parents": [2515, 2263], "pivot": 33 }, { "id": 2593, "op": "MULTIPLY", "base_id": 2516, "multiplier": "x34" }, { "id": 50, "op": "INSERT", "source": "original-S1", "equation": "x50*x54 + x55 = 0", "named_equation": "aux_50*aux_54 + aux_55 = 0" }, { "id": 49, "op": "INSERT", "source": "original-S1", "equation": "x50*x54 + x34 + x32 = 0", "named_equation": "aux_50*aux_54 + x34 + x32 = 0", "colang": { "file": "policy.co", "line": 239, "flow": "investment specific product" }, "pivot": 2554 }, { "id": 51, "op": "ADD", "parents": [50, 49], "pivot": 56 }, { "id": 1885, "op": "MULTIPLY", "base_id": 51, "multiplier": "x32" }, { "id": 52, "op": "INSERT", "source": "original-S1", "equation": "x32*x55 + x35 + x34 = 0", "named_equation": "x32*aux_55 + x35 + x34 = 0", "colang": { "file": "policy.co", "line": 239, "flow": "investment specific product" }, "pivot": 1970 }, { "id": 1886, "op": "ADD", "parents": [1885, 52], "pivot": 1949 }, { "id": 2594, "op": "ADD", "parents": [2593, 1886] }, { "id": 2102, "op": "MULTIPLY", "base_id": 192, "multiplier": "x34" }, { "id": 1858, "op": "MULTIPLY", "base_id": 49, "multiplier": "x50" }, { "id": 1859, "op": "ADD", "parents": [1858, 49], "pivot": 2046 }, { "id": 2103, "op": "ADD", "parents": [2102, 1859] }, { "id": 2100, "op": "MULTIPLY", "base_id": 192, "multiplier": "x32", "pivot": 1965 }, { "id": 2104, "op": "ADD", "parents": [2103, 2100], "pivot": 980 }, { "id": 2595, "op": "ADD", "parents": [2594, 2104] }, { "id": 2285, "op": "MULTIPLY", "base_id": 1471, "multiplier": "x32", "pivot": 978 }, { "id": 2596, "op": "ADD", "parents": [2595, 2285] }, { "id": 2517, "op": "MULTIPLY", "base_id": 2374, "multiplier": "x32" }, { "id": 2395, "op": "MULTIPLY", "base_id": 2315, "multiplier": "x32" }, { "id": 1851, "op": "MULTIPLY", "base_id": 47, "multiplier": "x23" }, { "id": 1852, "op": "ADD", "parents": [1851, 47], "pivot": 1533 }, { "id": 2396, "op": "ADD", "parents": [2395, 1852] }, { "id": 2397, "op": "ADD", "parents": [2396, 1821], "pivot": 1038 }, { "id": 2518, "op": "ADD", "parents": [2517, 2397] }, { "id": 2519, "op": "ADD", "parents": [2518, 2285], "pivot": 180 }, { "id": 2597, "op": "ADD", "parents": [2596, 2519] }, { "id": 1467, "op": "MULTIPLY", "base_id": 23, "multiplier": "x0" }, { "id": 55, "op": "INSERT", "source": "original-S1", "equation": "x0*x2 + x40 + x39 = 0", "named_equation": "ask investment advice*$personal_recommendation + x40 + respond with generic asset class commentary = 0", "colang": { "file": "policy.co", "line": 253, "flow": "investment generic advice" }, "pivot": 77 }, { "id": 1468, "op": "ADD", "parents": [1467, 55], "pivot": 41 }, { "id": 2238, "op": "MULTIPLY", "base_id": 1468, "multiplier": "x39" }, { "id": 56, "op": "INSERT", "source": "original-S1", "equation": "x0*x2 + x57 = 0", "named_equation": "ask investment advice*$personal_recommendation + aux_57 = 0" }, { "id": 57, "op": "ADD", "parents": [56, 55], "pivot": 58 }, { "id": 1949, "op": "MULTIPLY", "base_id": 57, "multiplier": "x39" }, { "id": 58, "op": "INSERT", "source": "original-S1", "equation": "x39*x57 + x41 + x40 = 0", "named_equation": "respond with generic asset class commentary*aux_57 + x41 + x40 = 0", "colang": { "file": "policy.co", "line": 253, "flow": "investment generic advice" }, "pivot": 2238 }, { "id": 1950, "op": "ADD", "parents": [1949, 58], "pivot": 2221 }, { "id": 2239, "op": "ADD", "parents": [2238, 1950] }, { "id": 54, "op": "INSERT", "source": "original-S1", "equation": "x0*x56 + x39 = 0", "named_equation": "ask investment advice*aux_56 + respond with generic asset class commentary = 0", "colang": { "file": "policy.co", "line": 247, "flow": "investment generic advice" }, "pivot": 131 }, { "id": 1915, "op": "MULTIPLY", "base_id": 54, "multiplier": "x0" }, { "id": 1916, "op": "ADD", "parents": [1915, 54], "pivot": 114 }, { "id": 2240, "op": "ADD", "parents": [2239, 1916], "pivot": 42 }, { "id": 2359, "op": "MULTIPLY", "base_id": 2240, "multiplier": "x45" }, { "id": 63, "op": "INSERT", "source": "original-S1", "equation": "x41*x58 + x45 + x44 = 0", "named_equation": "x41*aux_58 + x45 + x44 = 0", "colang": { "file": "policy.co", "line": 257, "flow": "investment generic advice" }, "pivot": 2306 }, { "id": 2017, "op": "MULTIPLY", "base_id": 63, "multiplier": "x41" }, { "id": 2018, "op": "ADD", "parents": [2017, 63], "pivot": 2293 }, { "id": 2360, "op": "ADD", "parents": [2359, 2018] }, { "id": 61, "op": "INSERT", "source": "original-S1", "equation": "x0*x43 + x58 = 0", "named_equation": "ask investment advice*x43 + aux_58 = 0" }, { "id": 60, "op": "INSERT", "source": "original-S1", "equation": "x0*x43 + x44 + x41 = 0", "named_equation": "ask investment advice*x43 + x44 + x41 = 0", "colang": { "file": "policy.co", "line": 257, "flow": "investment generic advice" }, "pivot": 118 }, { "id": 62, "op": "ADD", "parents": [61, 60], "pivot": 59 }, { "id": 2005, "op": "MULTIPLY", "base_id": 62, "multiplier": "x41" }, { "id": 2006, "op": "ADD", "parents": [2005, 63], "pivot": 2292 }, { "id": 2361, "op": "ADD", "parents": [2360, 2006] }, { "id": 2247, "op": "MULTIPLY", "base_id": 1468, "multiplier": "x45", "pivot": 2260 }, { "id": 2362, "op": "ADD", "parents": [2361, 2247] }, { "id": 65, "op": "INSERT", "source": "original-S1", "equation": "x0*x45 + x46 + x36 + x0 = 0", "named_equation": "ask investment advice*x45 + x46 + x36 + ask investment advice = 0", "colang": { "file": "policy.co", "line": 259, "flow": "investment generic advice" }, "pivot": 120 }, { "id": 2363, "op": "ADD", "parents": [2362, 65], "pivot": 47 }, { "id": 2470, "op": "MULTIPLY", "base_id": 2363, "multiplier": "x36" }, { "id": 66, "op": "INSERT", "source": "original-S1", "equation": "x0*x45 + x59 + x0 = 0", "named_equation": "ask investment advice*x45 + aux_59 + ask investment advice = 0" }, { "id": 67, "op": "ADD", "parents": [66, 65], "pivot": 60 }, { "id": 2053, "op": "MULTIPLY", "base_id": 67, "multiplier": "x36" }, { "id": 68, "op": "INSERT", "source": "original-S1", "equation": "x36*x59 + x47 + x46 = 0", "named_equation": "x36*aux_59 + respond with permitted investment answer + x46 = 0", "colang": { "file": "policy.co", "line": 259, "flow": "investment generic advice" }, "pivot": 2132 }, { "id": 2054, "op": "ADD", "parents": [2053, 68], "pivot": 2119 }, { "id": 2471, "op": "ADD", "parents": [2470, 2054] }, { "id": 2355, "op": "MULTIPLY", "base_id": 2240, "multiplier": "x36", "pivot": 2114 }, { "id": 2472, "op": "ADD", "parents": [2471, 2355] }, { "id": 2235, "op": "MULTIPLY", "base_id": 1468, "multiplier": "x36", "pivot": 2113 }, { "id": 2473, "op": "ADD", "parents": [2472, 2235] }, { "id": 26, "op": "INSERT", "source": "original-S2", "equation": "x47 = 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": 48 }, { "id": 2474, "op": "ADD", "parents": [2473, 26] }, { "id": 2475, "op": "ADD", "parents": [2474, 2363] }, { "id": 2476, "op": "ADD", "parents": [2475, 2240] }, { "id": 2477, "op": "ADD", "parents": [2476, 1468], "pivot": 37 }, { "id": 2563, "op": "MULTIPLY", "base_id": 2477, "multiplier": "x35" }, { "id": 64, "op": "INSERT", "source": "original-S1", "equation": "x1*x35 + x36 + x1 = 0", "named_equation": "ask about specific fund*x35 + x36 + ask about specific fund = 0", "colang": { "file": "policy.co", "line": 241, "flow": "investment specific product" }, "pivot": 183 }, { "id": 2023, "op": "MULTIPLY", "base_id": 64, "multiplier": "x35", "pivot": 2071 }, { "id": 2564, "op": "ADD", "parents": [2563, 2023], "pivot": 36 }, { "id": 2598, "op": "ADD", "parents": [2597, 2564] }, { "id": 2599, "op": "ADD", "parents": [2598, 2315] }, { "id": 2600, "op": "ADD", "parents": [2599, 2374] }, { "id": 2601, "op": "ADD", "parents": [2600, 1471] }, { "id": 2534, "op": "MULTIPLY", "base_id": 2477, "multiplier": "x1" }, { "id": 2022, "op": "MULTIPLY", "base_id": 64, "multiplier": "x1", "pivot": 184 }, { "id": 2535, "op": "ADD", "parents": [2534, 2022] }, { "id": 2536, "op": "ADD", "parents": [2535, 64] }, { "id": 2537, "op": "ADD", "parents": [2536, 2477], "pivot": 2 } ], "final_step": { "op": "ADD", "inputs": [2601, 2537], "instruction": "Compute the linear combination of the final inputs to derive 0 = 1." }, "provenance": { "declared": false, "controls": {}, "undeclared": ["x2", "x3", "x4", "x5", "x6", "x15", "x16", "x19", "x24", "x25", "x28", "x33", "x37", "x38"], "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": [] } }