{"abstract":"A glaze used by both the filling and the topping is reported as a cycle.","category":"Recipe scaling and nutrition","checks":8,"contract":"recipes maps name -> {allergens, may_contain, uses}. Walk root and every used sub-recipe (depth first, in order). Names canonicalize: trim, lower, synonyms dairy->milk, peanuts->peanut, tree nuts->tree nut, eggs->egg. Result {contains, may_contain (minus contains), error: None}, both sorted. A shared sub-recipe reached twice (diamond) is fine; a cycle returns error \"cycle: name\" and an unknown name \"unknown: name\", with empty lists, stopping at the first error.","evaluation_group":"w2-recipe_scaling_and_nutrition-allergen-rollup","failed_approach":"Exempting only the root still flags every shared sub-recipe.","family":"w2-recipe_scaling_and_nutrition-allergen-rollup-diamond-versus-cycle","id":"FA-97241","implementations":{"attempt":{"sha256":"09483b6d4467e0bf217875b44a142b1323166a7e048315d45af238062f383fd6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(recipes, root):\n    SYN = {'dairy': 'milk', 'peanuts': 'peanut', 'tree nuts': 'tree nut', 'eggs': 'egg'}\n    def canon(a):\n        a = a.strip().lower()\n        return SYN.get(a, a)\n    contains, may = set(), set()\n    state = {}\n    def visit(n):\n        if n not in recipes:\n            return 'unknown: ' + n\n        if n in state and n != root:\n            return 'cycle: ' + n\n        if state.get(n) == 2:\n            return None\n        state[n] = 1\n        r = recipes[n]\n        contains.update(canon(a) for a in r.get('allergens', []))\n        may.update(canon(a) for a in r.get('may_contain', []))\n        for s in r.get('uses', []):\n            e = visit(s)\n            if e:\n                return e\n        state[n] = 2\n        return None\n    err = visit(root)\n    if err:\n        return {'contains': [], 'may_contain': [], 'error': err}\n    return {'contains': sorted(contains), 'may_contain': sorted(may - contains), 'error': None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': [], 'may_contain': ['soy', 'peanuts'], 'uses': ['crust', 'topping']},\n     'crust': {'allergens': [], 'may_contain': ['soy'], 'uses': ['topping']},\n     'filling': {'allergens': ['peanuts'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['Egg', 'wheat'], 'uses': ['filling', 'mystery']},\n     'topping': {'allergens': ['dairy', ' sesame '], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'sesame'], 'error': None, 'may_contain': ['peanut', 'soy']}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': ['tree nuts', 'soy'], 'may_contain': [' sesame '], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': ['peanuts'], 'may_contain': ['dairy'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['tree nuts', 'Egg'], 'may_contain': ['tree nuts'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['wheat', 'eggs'], 'uses': ['crust']},\n     'topping': {'allergens': ['tree nuts'], 'may_contain': [' sesame ', 'peanuts'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'peanut', 'soy', 'tree nut'], 'error': None, 'may_contain': ['milk', 'sesame']}],\n  ['generated control 1',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': []},\n     'crust': {'allergens': ['Egg', 'soy'], 'may_contain': ['soy', 'milk'], 'uses': ['topping']},\n     'filling': {'allergens': ['eggs', 'tree nuts'], 'may_contain': ['Egg'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': ['dairy', 'soy'], 'uses': ['filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': None, 'may_contain': []}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['soy', 'tree nuts'], 'uses': ['mystery']},\n     'crust': {'allergens': ['wheat'], 'may_contain': [' sesame ', 'milk'], 'uses': ['topping']},\n     'filling': {'allergens': ['tree nuts', 'wheat'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['peanuts'], 'may_contain': ['Egg'], 'uses': ['filling', 'topping']},\n     'topping': {'allergens': ['soy'], 'may_contain': ['tree nuts', 'wheat'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': ['dairy', 'tree nuts'], 'may_contain': [], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': [], 'may_contain': ['Egg'], 'uses': []},\n     'filling': {'allergens': ['dairy'], 'may_contain': [' sesame '], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': ['tree nuts', 'Egg'], 'uses': []},\n     'topping': {'allergens': [' sesame ', 'tree nuts'], 'may_contain': ['dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'sesame', 'tree nut'], 'error': None, 'may_contain': ['egg']}]],\n [['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['unknown sub', [{'base': {'uses': ['ghost']}}, 'base'],\n   {'contains': [], 'error': 'unknown: ghost', 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': ['peanuts', 'tree nuts'], 'may_contain': [], 'uses': ['sauce', 'crust']},\n     'crust': {'allergens': ['wheat', 'soy'], 'may_contain': [], 'uses': ['filling']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy', 'wheat'], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['peanut', 'soy', 'tree nut', 'wheat'], 'error': None, 'may_contain': []}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': [' sesame '], 'may_contain': [], 'uses': ['crust']},\n     'crust': {'allergens': ['Egg', 'milk'],\n               'may_contain': ['milk', 'tree nuts'],\n               'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy', 'dairy'], 'may_contain': ['Egg', 'tree nuts'], 'uses': ['filling']},\n     'topping': {'allergens': ['eggs', 'tree nuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'sesame', 'tree nut'], 'error': None, 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['eggs'], 'may_contain': ['milk', 'wheat'], 'uses': ['sauce', 'filling']},\n     'crust': {'allergens': [' sesame ', 'wheat'],\n               'may_contain': ['peanuts'],\n               'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['tree nuts', 'soy'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': ['peanuts'], 'uses': ['crust']},\n     'topping': {'allergens': ['eggs', 'soy'], 'may_contain': ['peanuts'], 'uses': ['mystery']}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 2',\n   [{'base': {'allergens': ['eggs', 'soy'],\n              'may_contain': ['tree nuts', 'Egg'],\n              'uses': ['filling', 'topping']},\n     'crust': {'allergens': ['tree nuts', 'Egg'], 'may_contain': ['milk'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': ['dairy', 'wheat'], 'uses': []},\n     'sauce': {'allergens': ['soy', 'peanuts'], 'may_contain': [], 'uses': ['crust']},\n     'topping': {'allergens': ['soy'], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'soy'], 'error': None, 'may_contain': ['milk', 'tree nut', 'wheat']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts', 'dairy'], 'uses': ['topping']},\n     'crust': {'allergens': ['peanuts'], 'may_contain': ['dairy', 'peanuts'], 'uses': []},\n     'filling': {'allergens': ['Egg', 'soy'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['milk'], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': ['eggs'], 'may_contain': ['wheat'], 'uses': ['filling']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: topping', 'may_contain': []}]],\n [['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['unknown sub', [{'base': {'uses': ['ghost']}}, 'base'],\n   {'contains': [], 'error': 'unknown: ghost', 'may_contain': []}],\n  ['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': ['soy', 'tree nuts'], 'may_contain': ['wheat'], 'uses': ['sauce']},\n     'crust': {'allergens': ['eggs'], 'may_contain': ['eggs'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame '],\n               'may_contain': ['peanuts', 'tree nuts'],\n               'uses': ['crust', 'mystery']},\n     'topping': {'allergens': ['tree nuts', 'dairy'], 'may_contain': ['peanuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': ['eggs'], 'may_contain': ['wheat', 'tree nuts'], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': ['soy', 'tree nuts'], 'may_contain': ['soy'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['soy', 'wheat'], 'uses': ['base']},\n     'topping': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['peanuts'], 'may_contain': [], 'uses': ['sauce']},\n     'crust': {'allergens': ['soy'], 'may_contain': ['tree nuts'], 'uses': []},\n     'filling': {'allergens': ['tree nuts', 'dairy'], 'may_contain': ['dairy', 'tree nuts'], 'uses': []},\n     'sauce': {'allergens': ['Egg', 'milk'], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [' sesame '], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'peanut', 'sesame'], 'error': None, 'may_contain': []}],\n  ['generated control 2',\n   [{'base': {'allergens': ['tree nuts', 'Egg'], 'may_contain': ['Egg'], 'uses': ['sauce']},\n     'crust': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': ['milk', 'dairy'], 'may_contain': ['dairy'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [' sesame ', 'peanuts'], 'may_contain': ['milk', 'soy'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'peanut', 'sesame', 'tree nut'], 'error': None, 'may_contain': ['milk', 'soy']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce', 'filling', 'topping', 'mystery']},\n     'crust': {'allergens': ['Egg'], 'may_contain': [], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['soy'], 'may_contain': ['milk'], 'uses': ['topping']},\n     'sauce': {'allergens': ['tree nuts', 'peanuts'], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': ['wheat', ' sesame '], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}]],\n [['unknown sub', [{'base': {'uses': ['ghost']}}, 'base'],\n   {'contains': [], 'error': 'unknown: ghost', 'may_contain': []}],\n  ['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce']},\n     'crust': {'allergens': [], 'may_contain': ['eggs'], 'uses': ['topping']},\n     'filling': {'allergens': [' sesame '], 'may_contain': ['dairy'], 'uses': ['topping', 'base', 'mystery']},\n     'sauce': {'allergens': [' sesame ', 'soy'],\n               'may_contain': ['soy', 'tree nuts'],\n               'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['eggs'], 'may_contain': ['wheat', 'milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'sesame', 'soy'], 'error': None, 'may_contain': ['milk', 'tree nut', 'wheat']}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce', 'mystery']},\n     'crust': {'allergens': [], 'may_contain': ['wheat', 'eggs'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['milk', 'soy'], 'uses': []},\n     'sauce': {'allergens': ['Egg', 'soy'],\n               'may_contain': ['peanuts'],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': ['dairy'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': [], 'may_contain': [' sesame '], 'uses': []},\n     'crust': {'allergens': ['dairy'], 'may_contain': ['soy', 'wheat'], 'uses': ['filling']},\n     'filling': {'allergens': ['soy'], 'may_contain': ['eggs', 'soy'], 'uses': []},\n     'sauce': {'allergens': ['Egg'], 'may_contain': [], 'uses': ['filling', 'base']},\n     'topping': {'allergens': ['milk', 'soy'], 'may_contain': [' sesame '], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': None, 'may_contain': ['sesame']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['topping', 'mystery']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['milk', 'peanuts'], 'may_contain': ['wheat'], 'uses': []},\n     'topping': {'allergens': ['peanuts'], 'may_contain': ['milk', 'Egg'], 'uses': []}},\n    'base'],\n   {'contains': ['peanut'], 'error': None, 'may_contain': ['egg', 'milk']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['filling']},\n     'crust': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': [], 'may_contain': ['wheat', 'eggs'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['filling', 'base']},\n     'topping': {'allergens': ['wheat'], 'may_contain': ['eggs'], 'uses': []}},\n    'base'],\n   {'contains': ['wheat'], 'error': None, 'may_contain': ['egg']}]],\n [['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': ['wheat'],\n              'may_contain': [' sesame ', 'dairy'],\n              'uses': ['sauce', 'crust', 'topping', 'mystery']},\n     'crust': {'allergens': ['peanuts', ' sesame '], 'may_contain': ['eggs', 'milk'], 'uses': ['sauce']},\n     'filling': {'allergens': ['peanuts'], 'may_contain': ['Egg', 'dairy'], 'uses': []},\n     'sauce': {'allergens': ['soy', 'tree nuts'], 'may_contain': ['peanuts'], 'uses': []},\n     'topping': {'allergens': [' sesame '], 'may_contain': ['tree nuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [' sesame '], 'uses': ['sauce', 'crust']},\n     'crust': {'allergens': [], 'may_contain': ['eggs'], 'uses': ['topping']},\n     'filling': {'allergens': ['dairy', 'Egg'], 'may_contain': ['milk'], 'uses': []},\n     'sauce': {'allergens': ['eggs'], 'may_contain': ['milk', 'tree nuts'], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'tree nut'], 'error': None, 'may_contain': ['milk', 'sesame']}],\n  ['generated control 1',\n   [{'base': {'allergens': ['Egg'], 'may_contain': ['dairy'], 'uses': []},\n     'crust': {'allergens': ['milk'], 'may_contain': ['tree nuts'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['milk'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['wheat'], 'may_contain': [], 'uses': ['crust', 'filling', 'base']},\n     'topping': {'allergens': [], 'may_contain': ['Egg', ' sesame '], 'uses': ['mystery']}},\n    'base'],\n   {'contains': ['egg'], 'error': None, 'may_contain': ['milk']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts', ' sesame '], 'uses': ['filling']},\n     'crust': {'allergens': [], 'may_contain': ['peanuts', 'soy'], 'uses': ['filling', 'mystery']},\n     'filling': {'allergens': ['milk', 'wheat'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': [' sesame '], 'may_contain': ['wheat'], 'uses': ['crust', 'topping', 'base']},\n     'topping': {'allergens': [], 'may_contain': ['tree nuts', 'peanuts'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': ['sesame', 'tree nut']}],\n  ['generated control 3',\n   [{'base': {'allergens': ['dairy'], 'may_contain': ['eggs'], 'uses': ['filling', 'topping']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['dairy', 'eggs'], 'may_contain': [' sesame '], 'uses': ['topping']},\n     'sauce': {'allergens': ['peanuts'], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': ['peanuts'], 'may_contain': ['milk'], 'uses': ['sauce']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: topping', 'may_contain': []}]]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"64853a6e307b9dfde6e959b002a663d89ea25d155452647e2c5310253a7cd04e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(recipes, root):\n    SYN = {'dairy': 'milk', 'peanuts': 'peanut', 'tree nuts': 'tree nut', 'eggs': 'egg'}\n    def canon(a):\n        a = a.strip().lower()\n        return SYN.get(a, a)\n    contains, may = set(), set()\n    state = {}\n    def visit(n):\n        if n not in recipes:\n            return 'unknown: ' + n\n        if n in state:\n            return 'cycle: ' + n\n        if state.get(n) == 2:\n            return None\n        state[n] = 1\n        r = recipes[n]\n        contains.update(canon(a) for a in r.get('allergens', []))\n        may.update(canon(a) for a in r.get('may_contain', []))\n        for s in r.get('uses', []):\n            e = visit(s)\n            if e:\n                return e\n        state[n] = 2\n        return None\n    err = visit(root)\n    if err:\n        return {'contains': [], 'may_contain': [], 'error': err}\n    return {'contains': sorted(contains), 'may_contain': sorted(may - contains), 'error': None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': [], 'may_contain': ['soy', 'peanuts'], 'uses': ['crust', 'topping']},\n     'crust': {'allergens': [], 'may_contain': ['soy'], 'uses': ['topping']},\n     'filling': {'allergens': ['peanuts'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['Egg', 'wheat'], 'uses': ['filling', 'mystery']},\n     'topping': {'allergens': ['dairy', ' sesame '], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'sesame'], 'error': None, 'may_contain': ['peanut', 'soy']}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': ['tree nuts', 'soy'], 'may_contain': [' sesame '], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': ['peanuts'], 'may_contain': ['dairy'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['tree nuts', 'Egg'], 'may_contain': ['tree nuts'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['wheat', 'eggs'], 'uses': ['crust']},\n     'topping': {'allergens': ['tree nuts'], 'may_contain': [' sesame ', 'peanuts'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'peanut', 'soy', 'tree nut'], 'error': None, 'may_contain': ['milk', 'sesame']}],\n  ['generated control 1',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': []},\n     'crust': {'allergens': ['Egg', 'soy'], 'may_contain': ['soy', 'milk'], 'uses': ['topping']},\n     'filling': {'allergens': ['eggs', 'tree nuts'], 'may_contain': ['Egg'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': ['dairy', 'soy'], 'uses': ['filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': None, 'may_contain': []}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['soy', 'tree nuts'], 'uses': ['mystery']},\n     'crust': {'allergens': ['wheat'], 'may_contain': [' sesame ', 'milk'], 'uses': ['topping']},\n     'filling': {'allergens': ['tree nuts', 'wheat'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['peanuts'], 'may_contain': ['Egg'], 'uses': ['filling', 'topping']},\n     'topping': {'allergens': ['soy'], 'may_contain': ['tree nuts', 'wheat'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': ['dairy', 'tree nuts'], 'may_contain': [], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': [], 'may_contain': ['Egg'], 'uses': []},\n     'filling': {'allergens': ['dairy'], 'may_contain': [' sesame '], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': ['tree nuts', 'Egg'], 'uses': []},\n     'topping': {'allergens': [' sesame ', 'tree nuts'], 'may_contain': ['dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'sesame', 'tree nut'], 'error': None, 'may_contain': ['egg']}]],\n [['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['unknown sub', [{'base': {'uses': ['ghost']}}, 'base'],\n   {'contains': [], 'error': 'unknown: ghost', 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': ['peanuts', 'tree nuts'], 'may_contain': [], 'uses': ['sauce', 'crust']},\n     'crust': {'allergens': ['wheat', 'soy'], 'may_contain': [], 'uses': ['filling']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy', 'wheat'], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['peanut', 'soy', 'tree nut', 'wheat'], 'error': None, 'may_contain': []}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': [' sesame '], 'may_contain': [], 'uses': ['crust']},\n     'crust': {'allergens': ['Egg', 'milk'],\n               'may_contain': ['milk', 'tree nuts'],\n               'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy', 'dairy'], 'may_contain': ['Egg', 'tree nuts'], 'uses': ['filling']},\n     'topping': {'allergens': ['eggs', 'tree nuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'sesame', 'tree nut'], 'error': None, 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['eggs'], 'may_contain': ['milk', 'wheat'], 'uses': ['sauce', 'filling']},\n     'crust': {'allergens': [' sesame ', 'wheat'],\n               'may_contain': ['peanuts'],\n               'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['tree nuts', 'soy'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': ['peanuts'], 'uses': ['crust']},\n     'topping': {'allergens': ['eggs', 'soy'], 'may_contain': ['peanuts'], 'uses': ['mystery']}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 2',\n   [{'base': {'allergens': ['eggs', 'soy'],\n              'may_contain': ['tree nuts', 'Egg'],\n              'uses': ['filling', 'topping']},\n     'crust': {'allergens': ['tree nuts', 'Egg'], 'may_contain': ['milk'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': ['dairy', 'wheat'], 'uses': []},\n     'sauce': {'allergens': ['soy', 'peanuts'], 'may_contain': [], 'uses': ['crust']},\n     'topping': {'allergens': ['soy'], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'soy'], 'error': None, 'may_contain': ['milk', 'tree nut', 'wheat']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts', 'dairy'], 'uses': ['topping']},\n     'crust': {'allergens': ['peanuts'], 'may_contain': ['dairy', 'peanuts'], 'uses': []},\n     'filling': {'allergens': ['Egg', 'soy'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['milk'], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': ['eggs'], 'may_contain': ['wheat'], 'uses': ['filling']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: topping', 'may_contain': []}]],\n [['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['unknown sub', [{'base': {'uses': ['ghost']}}, 'base'],\n   {'contains': [], 'error': 'unknown: ghost', 'may_contain': []}],\n  ['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': ['soy', 'tree nuts'], 'may_contain': ['wheat'], 'uses': ['sauce']},\n     'crust': {'allergens': ['eggs'], 'may_contain': ['eggs'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame '],\n               'may_contain': ['peanuts', 'tree nuts'],\n               'uses': ['crust', 'mystery']},\n     'topping': {'allergens': ['tree nuts', 'dairy'], 'may_contain': ['peanuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': ['eggs'], 'may_contain': ['wheat', 'tree nuts'], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': ['soy', 'tree nuts'], 'may_contain': ['soy'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['soy', 'wheat'], 'uses': ['base']},\n     'topping': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['peanuts'], 'may_contain': [], 'uses': ['sauce']},\n     'crust': {'allergens': ['soy'], 'may_contain': ['tree nuts'], 'uses': []},\n     'filling': {'allergens': ['tree nuts', 'dairy'], 'may_contain': ['dairy', 'tree nuts'], 'uses': []},\n     'sauce': {'allergens': ['Egg', 'milk'], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [' sesame '], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'peanut', 'sesame'], 'error': None, 'may_contain': []}],\n  ['generated control 2',\n   [{'base': {'allergens': ['tree nuts', 'Egg'], 'may_contain': ['Egg'], 'uses': ['sauce']},\n     'crust': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': ['milk', 'dairy'], 'may_contain': ['dairy'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [' sesame ', 'peanuts'], 'may_contain': ['milk', 'soy'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'peanut', 'sesame', 'tree nut'], 'error': None, 'may_contain': ['milk', 'soy']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce', 'filling', 'topping', 'mystery']},\n     'crust': {'allergens': ['Egg'], 'may_contain': [], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['soy'], 'may_contain': ['milk'], 'uses': ['topping']},\n     'sauce': {'allergens': ['tree nuts', 'peanuts'], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': ['wheat', ' sesame '], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}]],\n [['unknown sub', [{'base': {'uses': ['ghost']}}, 'base'],\n   {'contains': [], 'error': 'unknown: ghost', 'may_contain': []}],\n  ['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce']},\n     'crust': {'allergens': [], 'may_contain': ['eggs'], 'uses': ['topping']},\n     'filling': {'allergens': [' sesame '], 'may_contain': ['dairy'], 'uses': ['topping', 'base', 'mystery']},\n     'sauce': {'allergens': [' sesame ', 'soy'],\n               'may_contain': ['soy', 'tree nuts'],\n               'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['eggs'], 'may_contain': ['wheat', 'milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'sesame', 'soy'], 'error': None, 'may_contain': ['milk', 'tree nut', 'wheat']}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce', 'mystery']},\n     'crust': {'allergens': [], 'may_contain': ['wheat', 'eggs'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['milk', 'soy'], 'uses': []},\n     'sauce': {'allergens': ['Egg', 'soy'],\n               'may_contain': ['peanuts'],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': ['dairy'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': [], 'may_contain': [' sesame '], 'uses': []},\n     'crust': {'allergens': ['dairy'], 'may_contain': ['soy', 'wheat'], 'uses': ['filling']},\n     'filling': {'allergens': ['soy'], 'may_contain': ['eggs', 'soy'], 'uses': []},\n     'sauce': {'allergens': ['Egg'], 'may_contain': [], 'uses': ['filling', 'base']},\n     'topping': {'allergens': ['milk', 'soy'], 'may_contain': [' sesame '], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': None, 'may_contain': ['sesame']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['topping', 'mystery']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['milk', 'peanuts'], 'may_contain': ['wheat'], 'uses': []},\n     'topping': {'allergens': ['peanuts'], 'may_contain': ['milk', 'Egg'], 'uses': []}},\n    'base'],\n   {'contains': ['peanut'], 'error': None, 'may_contain': ['egg', 'milk']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['filling']},\n     'crust': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': [], 'may_contain': ['wheat', 'eggs'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['filling', 'base']},\n     'topping': {'allergens': ['wheat'], 'may_contain': ['eggs'], 'uses': []}},\n    'base'],\n   {'contains': ['wheat'], 'error': None, 'may_contain': ['egg']}]],\n [['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': ['wheat'],\n              'may_contain': [' sesame ', 'dairy'],\n              'uses': ['sauce', 'crust', 'topping', 'mystery']},\n     'crust': {'allergens': ['peanuts', ' sesame '], 'may_contain': ['eggs', 'milk'], 'uses': ['sauce']},\n     'filling': {'allergens': ['peanuts'], 'may_contain': ['Egg', 'dairy'], 'uses': []},\n     'sauce': {'allergens': ['soy', 'tree nuts'], 'may_contain': ['peanuts'], 'uses': []},\n     'topping': {'allergens': [' sesame '], 'may_contain': ['tree nuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [' sesame '], 'uses': ['sauce', 'crust']},\n     'crust': {'allergens': [], 'may_contain': ['eggs'], 'uses': ['topping']},\n     'filling': {'allergens': ['dairy', 'Egg'], 'may_contain': ['milk'], 'uses': []},\n     'sauce': {'allergens': ['eggs'], 'may_contain': ['milk', 'tree nuts'], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'tree nut'], 'error': None, 'may_contain': ['milk', 'sesame']}],\n  ['generated control 1',\n   [{'base': {'allergens': ['Egg'], 'may_contain': ['dairy'], 'uses': []},\n     'crust': {'allergens': ['milk'], 'may_contain': ['tree nuts'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['milk'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['wheat'], 'may_contain': [], 'uses': ['crust', 'filling', 'base']},\n     'topping': {'allergens': [], 'may_contain': ['Egg', ' sesame '], 'uses': ['mystery']}},\n    'base'],\n   {'contains': ['egg'], 'error': None, 'may_contain': ['milk']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts', ' sesame '], 'uses': ['filling']},\n     'crust': {'allergens': [], 'may_contain': ['peanuts', 'soy'], 'uses': ['filling', 'mystery']},\n     'filling': {'allergens': ['milk', 'wheat'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': [' sesame '], 'may_contain': ['wheat'], 'uses': ['crust', 'topping', 'base']},\n     'topping': {'allergens': [], 'may_contain': ['tree nuts', 'peanuts'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': ['sesame', 'tree nut']}],\n  ['generated control 3',\n   [{'base': {'allergens': ['dairy'], 'may_contain': ['eggs'], 'uses': ['filling', 'topping']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['dairy', 'eggs'], 'may_contain': [' sesame '], 'uses': ['topping']},\n     'sauce': {'allergens': ['peanuts'], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': ['peanuts'], 'may_contain': ['milk'], 'uses': ['sauce']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: topping', 'may_contain': []}]]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"c2c70ef03cf0aa0efd05d831eae006cebbe694a01c319b52c0d0655384381293","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(recipes, root):\n    SYN = {'dairy': 'milk', 'peanuts': 'peanut', 'tree nuts': 'tree nut', 'eggs': 'egg'}\n    def canon(a):\n        a = a.strip().lower()\n        return SYN.get(a, a)\n    contains, may = set(), set()\n    state = {}\n    def visit(n):\n        if n not in recipes:\n            return 'unknown: ' + n\n        if state.get(n) == 1:\n            return 'cycle: ' + n\n        if state.get(n) == 2:\n            return None\n        state[n] = 1\n        r = recipes[n]\n        contains.update(canon(a) for a in r.get('allergens', []))\n        may.update(canon(a) for a in r.get('may_contain', []))\n        for s in r.get('uses', []):\n            e = visit(s)\n            if e:\n                return e\n        state[n] = 2\n        return None\n    err = visit(root)\n    if err:\n        return {'contains': [], 'may_contain': [], 'error': err}\n    return {'contains': sorted(contains), 'may_contain': sorted(may - contains), 'error': None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': [], 'may_contain': ['soy', 'peanuts'], 'uses': ['crust', 'topping']},\n     'crust': {'allergens': [], 'may_contain': ['soy'], 'uses': ['topping']},\n     'filling': {'allergens': ['peanuts'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['Egg', 'wheat'], 'uses': ['filling', 'mystery']},\n     'topping': {'allergens': ['dairy', ' sesame '], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'sesame'], 'error': None, 'may_contain': ['peanut', 'soy']}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': ['tree nuts', 'soy'], 'may_contain': [' sesame '], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': ['peanuts'], 'may_contain': ['dairy'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['tree nuts', 'Egg'], 'may_contain': ['tree nuts'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['wheat', 'eggs'], 'uses': ['crust']},\n     'topping': {'allergens': ['tree nuts'], 'may_contain': [' sesame ', 'peanuts'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'peanut', 'soy', 'tree nut'], 'error': None, 'may_contain': ['milk', 'sesame']}],\n  ['generated control 1',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': []},\n     'crust': {'allergens': ['Egg', 'soy'], 'may_contain': ['soy', 'milk'], 'uses': ['topping']},\n     'filling': {'allergens': ['eggs', 'tree nuts'], 'may_contain': ['Egg'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': ['dairy', 'soy'], 'uses': ['filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': None, 'may_contain': []}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['soy', 'tree nuts'], 'uses': ['mystery']},\n     'crust': {'allergens': ['wheat'], 'may_contain': [' sesame ', 'milk'], 'uses': ['topping']},\n     'filling': {'allergens': ['tree nuts', 'wheat'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['peanuts'], 'may_contain': ['Egg'], 'uses': ['filling', 'topping']},\n     'topping': {'allergens': ['soy'], 'may_contain': ['tree nuts', 'wheat'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': ['dairy', 'tree nuts'], 'may_contain': [], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': [], 'may_contain': ['Egg'], 'uses': []},\n     'filling': {'allergens': ['dairy'], 'may_contain': [' sesame '], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': ['tree nuts', 'Egg'], 'uses': []},\n     'topping': {'allergens': [' sesame ', 'tree nuts'], 'may_contain': ['dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'sesame', 'tree nut'], 'error': None, 'may_contain': ['egg']}]],\n [['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['unknown sub', [{'base': {'uses': ['ghost']}}, 'base'],\n   {'contains': [], 'error': 'unknown: ghost', 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': ['peanuts', 'tree nuts'], 'may_contain': [], 'uses': ['sauce', 'crust']},\n     'crust': {'allergens': ['wheat', 'soy'], 'may_contain': [], 'uses': ['filling']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy', 'wheat'], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['peanut', 'soy', 'tree nut', 'wheat'], 'error': None, 'may_contain': []}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': [' sesame '], 'may_contain': [], 'uses': ['crust']},\n     'crust': {'allergens': ['Egg', 'milk'],\n               'may_contain': ['milk', 'tree nuts'],\n               'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy', 'dairy'], 'may_contain': ['Egg', 'tree nuts'], 'uses': ['filling']},\n     'topping': {'allergens': ['eggs', 'tree nuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'sesame', 'tree nut'], 'error': None, 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['eggs'], 'may_contain': ['milk', 'wheat'], 'uses': ['sauce', 'filling']},\n     'crust': {'allergens': [' sesame ', 'wheat'],\n               'may_contain': ['peanuts'],\n               'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['tree nuts', 'soy'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': ['peanuts'], 'uses': ['crust']},\n     'topping': {'allergens': ['eggs', 'soy'], 'may_contain': ['peanuts'], 'uses': ['mystery']}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 2',\n   [{'base': {'allergens': ['eggs', 'soy'],\n              'may_contain': ['tree nuts', 'Egg'],\n              'uses': ['filling', 'topping']},\n     'crust': {'allergens': ['tree nuts', 'Egg'], 'may_contain': ['milk'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': ['dairy', 'wheat'], 'uses': []},\n     'sauce': {'allergens': ['soy', 'peanuts'], 'may_contain': [], 'uses': ['crust']},\n     'topping': {'allergens': ['soy'], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'soy'], 'error': None, 'may_contain': ['milk', 'tree nut', 'wheat']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts', 'dairy'], 'uses': ['topping']},\n     'crust': {'allergens': ['peanuts'], 'may_contain': ['dairy', 'peanuts'], 'uses': []},\n     'filling': {'allergens': ['Egg', 'soy'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['milk'], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': ['eggs'], 'may_contain': ['wheat'], 'uses': ['filling']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: topping', 'may_contain': []}]],\n [['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['unknown sub', [{'base': {'uses': ['ghost']}}, 'base'],\n   {'contains': [], 'error': 'unknown: ghost', 'may_contain': []}],\n  ['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': ['soy', 'tree nuts'], 'may_contain': ['wheat'], 'uses': ['sauce']},\n     'crust': {'allergens': ['eggs'], 'may_contain': ['eggs'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame '],\n               'may_contain': ['peanuts', 'tree nuts'],\n               'uses': ['crust', 'mystery']},\n     'topping': {'allergens': ['tree nuts', 'dairy'], 'may_contain': ['peanuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': ['eggs'], 'may_contain': ['wheat', 'tree nuts'], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': ['soy', 'tree nuts'], 'may_contain': ['soy'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['soy', 'wheat'], 'uses': ['base']},\n     'topping': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['peanuts'], 'may_contain': [], 'uses': ['sauce']},\n     'crust': {'allergens': ['soy'], 'may_contain': ['tree nuts'], 'uses': []},\n     'filling': {'allergens': ['tree nuts', 'dairy'], 'may_contain': ['dairy', 'tree nuts'], 'uses': []},\n     'sauce': {'allergens': ['Egg', 'milk'], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [' sesame '], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'peanut', 'sesame'], 'error': None, 'may_contain': []}],\n  ['generated control 2',\n   [{'base': {'allergens': ['tree nuts', 'Egg'], 'may_contain': ['Egg'], 'uses': ['sauce']},\n     'crust': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': ['milk', 'dairy'], 'may_contain': ['dairy'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [' sesame ', 'peanuts'], 'may_contain': ['milk', 'soy'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'peanut', 'sesame', 'tree nut'], 'error': None, 'may_contain': ['milk', 'soy']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce', 'filling', 'topping', 'mystery']},\n     'crust': {'allergens': ['Egg'], 'may_contain': [], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['soy'], 'may_contain': ['milk'], 'uses': ['topping']},\n     'sauce': {'allergens': ['tree nuts', 'peanuts'], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': ['wheat', ' sesame '], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}]],\n [['unknown sub', [{'base': {'uses': ['ghost']}}, 'base'],\n   {'contains': [], 'error': 'unknown: ghost', 'may_contain': []}],\n  ['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce']},\n     'crust': {'allergens': [], 'may_contain': ['eggs'], 'uses': ['topping']},\n     'filling': {'allergens': [' sesame '], 'may_contain': ['dairy'], 'uses': ['topping', 'base', 'mystery']},\n     'sauce': {'allergens': [' sesame ', 'soy'],\n               'may_contain': ['soy', 'tree nuts'],\n               'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['eggs'], 'may_contain': ['wheat', 'milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'sesame', 'soy'], 'error': None, 'may_contain': ['milk', 'tree nut', 'wheat']}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce', 'mystery']},\n     'crust': {'allergens': [], 'may_contain': ['wheat', 'eggs'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['milk', 'soy'], 'uses': []},\n     'sauce': {'allergens': ['Egg', 'soy'],\n               'may_contain': ['peanuts'],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': ['dairy'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': [], 'may_contain': [' sesame '], 'uses': []},\n     'crust': {'allergens': ['dairy'], 'may_contain': ['soy', 'wheat'], 'uses': ['filling']},\n     'filling': {'allergens': ['soy'], 'may_contain': ['eggs', 'soy'], 'uses': []},\n     'sauce': {'allergens': ['Egg'], 'may_contain': [], 'uses': ['filling', 'base']},\n     'topping': {'allergens': ['milk', 'soy'], 'may_contain': [' sesame '], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': None, 'may_contain': ['sesame']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['topping', 'mystery']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['milk', 'peanuts'], 'may_contain': ['wheat'], 'uses': []},\n     'topping': {'allergens': ['peanuts'], 'may_contain': ['milk', 'Egg'], 'uses': []}},\n    'base'],\n   {'contains': ['peanut'], 'error': None, 'may_contain': ['egg', 'milk']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['filling']},\n     'crust': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': [], 'may_contain': ['wheat', 'eggs'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['filling', 'base']},\n     'topping': {'allergens': ['wheat'], 'may_contain': ['eggs'], 'uses': []}},\n    'base'],\n   {'contains': ['wheat'], 'error': None, 'may_contain': ['egg']}]],\n [['flat recipe', [{'base': {'allergens': ['milk'], 'may_contain': ['soy'], 'uses': []}}, 'base'],\n   {'contains': ['milk'], 'error': None, 'may_contain': ['soy']}],\n  ['diamond sharing',\n   [{'a': {'allergens': ['wheat'], 'uses': ['c']},\n     'b': {'allergens': [], 'uses': ['c']},\n     'base': {'allergens': [], 'uses': ['a', 'b']},\n     'c': {'allergens': ['Dairy'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': []}],\n  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['regression: diamond versus cycle',\n   [{'base': {'allergens': ['wheat'],\n              'may_contain': [' sesame ', 'dairy'],\n              'uses': ['sauce', 'crust', 'topping', 'mystery']},\n     'crust': {'allergens': ['peanuts', ' sesame '], 'may_contain': ['eggs', 'milk'], 'uses': ['sauce']},\n     'filling': {'allergens': ['peanuts'], 'may_contain': ['Egg', 'dairy'], 'uses': []},\n     'sauce': {'allergens': ['soy', 'tree nuts'], 'may_contain': ['peanuts'], 'uses': []},\n     'topping': {'allergens': [' sesame '], 'may_contain': ['tree nuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: diamond versus cycle',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [' sesame '], 'uses': ['sauce', 'crust']},\n     'crust': {'allergens': [], 'may_contain': ['eggs'], 'uses': ['topping']},\n     'filling': {'allergens': ['dairy', 'Egg'], 'may_contain': ['milk'], 'uses': []},\n     'sauce': {'allergens': ['eggs'], 'may_contain': ['milk', 'tree nuts'], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'tree nut'], 'error': None, 'may_contain': ['milk', 'sesame']}],\n  ['generated control 1',\n   [{'base': {'allergens': ['Egg'], 'may_contain': ['dairy'], 'uses': []},\n     'crust': {'allergens': ['milk'], 'may_contain': ['tree nuts'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['milk'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['wheat'], 'may_contain': [], 'uses': ['crust', 'filling', 'base']},\n     'topping': {'allergens': [], 'may_contain': ['Egg', ' sesame '], 'uses': ['mystery']}},\n    'base'],\n   {'contains': ['egg'], 'error': None, 'may_contain': ['milk']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts', ' sesame '], 'uses': ['filling']},\n     'crust': {'allergens': [], 'may_contain': ['peanuts', 'soy'], 'uses': ['filling', 'mystery']},\n     'filling': {'allergens': ['milk', 'wheat'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': [' sesame '], 'may_contain': ['wheat'], 'uses': ['crust', 'topping', 'base']},\n     'topping': {'allergens': [], 'may_contain': ['tree nuts', 'peanuts'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'wheat'], 'error': None, 'may_contain': ['sesame', 'tree nut']}],\n  ['generated control 3',\n   [{'base': {'allergens': ['dairy'], 'may_contain': ['eggs'], 'uses': ['filling', 'topping']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': ['dairy', 'eggs'], 'may_contain': [' sesame '], 'uses': ['topping']},\n     'sauce': {'allergens': ['peanuts'], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': ['peanuts'], 'may_contain': ['milk'], 'uses': ['sauce']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: topping', 'may_contain': []}]]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic toy contract stated in full here; it is a bounded teaching model, not an authoritative reference or standards implementation. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-recipe_scaling_and_nutrition-allergen-rollup-diamond-versus-cycle","generated_at":"2026-09-29T14:52:30.265499+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Menu allergen matrices must propagate through nested sub-recipes without false cycle errors.","repair":"Report a cycle only for nodes still on the current path.","root_cause":"Any previously seen node is treated as a cycle, including finished shared sub-recipes.","sha256":"d3c7304a77171a01ed2210f945e69437c6fca616e470af7aacb4d64afd4aa408","title":"Sub-recipe allergen roll-up: diamond versus cycle · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.81,"exit_code":1,"observations":[{"actual":{"contains":["milk"],"error":null,"may_contain":["soy"]},"check":"flat recipe","expected":{"contains":["milk"],"error":null,"may_contain":["soy"]},"passed":true},{"actual":{"contains":[],"error":"cycle: c","may_contain":[]},"check":"diamond sharing","expected":{"contains":["milk","wheat"],"error":null,"may_contain":[]},"passed":false},{"actual":{"contains":[],"error":"cycle: a","may_contain":[]},"check":"cycle","expected":{"contains":[],"error":"cycle: base","may_contain":[]},"passed":false},{"actual":{"contains":[],"error":"cycle: topping","may_contain":[]},"check":"regression: diamond versus cycle","expected":{"contains":["milk","sesame"],"error":null,"may_contain":["peanut","soy"]},"passed":false},{"actual":{"contains":[],"error":"cycle: topping","may_contain":[]},"check":"repair check: diamond versus cycle","expected":{"contains":["egg","peanut","soy","tree nut"],"error":null,"may_contain":["milk","sesame"]},"passed":false},{"actual":{"contains":[],"error":null,"may_contain":[]},"check":"generated control 1","expected":{"contains":[],"error":null,"may_contain":[]},"passed":true},{"actual":{"contains":[],"error":"unknown: mystery","may_contain":[]},"check":"generated control 2","expected":{"contains":[],"error":"unknown: mystery","may_contain":[]},"passed":true},{"actual":{"contains":["milk","sesame","tree nut"],"error":null,"may_contain":["egg"]},"check":"generated control 3","expected":{"contains":["milk","sesame","tree nut"],"error":null,"may_contain":["egg"]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"flat recipe\", \"actual\": {\"contains\": [\"milk\"], \"may_contain\": [\"soy\"], \"error\": null}, \"expected\": {\"contains\": [\"milk\"], \"error\": null, \"may_contain\": [\"soy\"]}, \"passed\": true}, {\"check\": \"diamond sharing\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: c\"}, \"expected\": {\"contains\": [\"milk\", \"wheat\"], \"error\": null, \"may_contain\": []}, \"passed\": false}, {\"check\": \"cycle\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: a\"}, \"expected\": {\"contains\": [], \"error\": \"cycle: base\", \"may_contain\": []}, \"passed\": false}, {\"check\": \"regression: diamond versus cycle\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: topping\"}, \"expected\": {\"contains\": [\"milk\", \"sesame\"], \"error\": null, \"may_contain\": [\"peanut\", \"soy\"]}, \"passed\": false}, {\"check\": \"repair check: diamond versus cycle\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: topping\"}, \"expected\": {\"contains\": [\"egg\", \"peanut\", \"soy\", \"tree nut\"], \"error\": null, \"may_contain\": [\"milk\", \"sesame\"]}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": null}, \"expected\": {\"contains\": [], \"error\": null, \"may_contain\": []}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"unknown: mystery\"}, \"expected\": {\"contains\": [], \"error\": \"unknown: mystery\", \"may_contain\": []}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"contains\": [\"milk\", \"sesame\", \"tree nut\"], \"may_contain\": [\"egg\"], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"sesame\", \"tree nut\"], \"error\": null, \"may_contain\": [\"egg\"]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.21,"exit_code":1,"observations":[{"actual":{"contains":["milk"],"error":null,"may_contain":["soy"]},"check":"flat recipe","expected":{"contains":["milk"],"error":null,"may_contain":["soy"]},"passed":true},{"actual":{"contains":[],"error":"cycle: c","may_contain":[]},"check":"diamond sharing","expected":{"contains":["milk","wheat"],"error":null,"may_contain":[]},"passed":false},{"actual":{"contains":[],"error":"cycle: base","may_contain":[]},"check":"cycle","expected":{"contains":[],"error":"cycle: base","may_contain":[]},"passed":true},{"actual":{"contains":[],"error":"cycle: topping","may_contain":[]},"check":"regression: diamond versus cycle","expected":{"contains":["milk","sesame"],"error":null,"may_contain":["peanut","soy"]},"passed":false},{"actual":{"contains":[],"error":"cycle: topping","may_contain":[]},"check":"repair check: diamond versus cycle","expected":{"contains":["egg","peanut","soy","tree nut"],"error":null,"may_contain":["milk","sesame"]},"passed":false},{"actual":{"contains":[],"error":null,"may_contain":[]},"check":"generated control 1","expected":{"contains":[],"error":null,"may_contain":[]},"passed":true},{"actual":{"contains":[],"error":"unknown: mystery","may_contain":[]},"check":"generated control 2","expected":{"contains":[],"error":"unknown: mystery","may_contain":[]},"passed":true},{"actual":{"contains":["milk","sesame","tree nut"],"error":null,"may_contain":["egg"]},"check":"generated control 3","expected":{"contains":["milk","sesame","tree nut"],"error":null,"may_contain":["egg"]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"flat recipe\", \"actual\": {\"contains\": [\"milk\"], \"may_contain\": [\"soy\"], \"error\": null}, \"expected\": {\"contains\": [\"milk\"], \"error\": null, \"may_contain\": [\"soy\"]}, \"passed\": true}, {\"check\": \"diamond sharing\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: c\"}, \"expected\": {\"contains\": [\"milk\", \"wheat\"], \"error\": null, \"may_contain\": []}, \"passed\": false}, {\"check\": \"cycle\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: base\"}, \"expected\": {\"contains\": [], \"error\": \"cycle: base\", \"may_contain\": []}, \"passed\": true}, {\"check\": \"regression: diamond versus cycle\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: topping\"}, \"expected\": {\"contains\": [\"milk\", \"sesame\"], \"error\": null, \"may_contain\": [\"peanut\", \"soy\"]}, \"passed\": false}, {\"check\": \"repair check: diamond versus cycle\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: topping\"}, \"expected\": {\"contains\": [\"egg\", \"peanut\", \"soy\", \"tree nut\"], \"error\": null, \"may_contain\": [\"milk\", \"sesame\"]}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": null}, \"expected\": {\"contains\": [], \"error\": null, \"may_contain\": []}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"unknown: mystery\"}, \"expected\": {\"contains\": [], \"error\": \"unknown: mystery\", \"may_contain\": []}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"contains\": [\"milk\", \"sesame\", \"tree nut\"], \"may_contain\": [\"egg\"], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"sesame\", \"tree nut\"], \"error\": null, \"may_contain\": [\"egg\"]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.719,"exit_code":0,"observations":[{"actual":{"contains":["milk"],"error":null,"may_contain":["soy"]},"check":"flat recipe","expected":{"contains":["milk"],"error":null,"may_contain":["soy"]},"passed":true},{"actual":{"contains":["milk","wheat"],"error":null,"may_contain":[]},"check":"diamond sharing","expected":{"contains":["milk","wheat"],"error":null,"may_contain":[]},"passed":true},{"actual":{"contains":[],"error":"cycle: base","may_contain":[]},"check":"cycle","expected":{"contains":[],"error":"cycle: base","may_contain":[]},"passed":true},{"actual":{"contains":["milk","sesame"],"error":null,"may_contain":["peanut","soy"]},"check":"regression: diamond versus cycle","expected":{"contains":["milk","sesame"],"error":null,"may_contain":["peanut","soy"]},"passed":true},{"actual":{"contains":["egg","peanut","soy","tree nut"],"error":null,"may_contain":["milk","sesame"]},"check":"repair check: diamond versus cycle","expected":{"contains":["egg","peanut","soy","tree nut"],"error":null,"may_contain":["milk","sesame"]},"passed":true},{"actual":{"contains":[],"error":null,"may_contain":[]},"check":"generated control 1","expected":{"contains":[],"error":null,"may_contain":[]},"passed":true},{"actual":{"contains":[],"error":"unknown: mystery","may_contain":[]},"check":"generated control 2","expected":{"contains":[],"error":"unknown: mystery","may_contain":[]},"passed":true},{"actual":{"contains":["milk","sesame","tree nut"],"error":null,"may_contain":["egg"]},"check":"generated control 3","expected":{"contains":["milk","sesame","tree nut"],"error":null,"may_contain":["egg"]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"flat recipe\", \"actual\": {\"contains\": [\"milk\"], \"may_contain\": [\"soy\"], \"error\": null}, \"expected\": {\"contains\": [\"milk\"], \"error\": null, \"may_contain\": [\"soy\"]}, \"passed\": true}, {\"check\": \"diamond sharing\", \"actual\": {\"contains\": [\"milk\", \"wheat\"], \"may_contain\": [], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"wheat\"], \"error\": null, \"may_contain\": []}, \"passed\": true}, {\"check\": \"cycle\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: base\"}, \"expected\": {\"contains\": [], \"error\": \"cycle: base\", \"may_contain\": []}, \"passed\": true}, {\"check\": \"regression: diamond versus cycle\", \"actual\": {\"contains\": [\"milk\", \"sesame\"], \"may_contain\": [\"peanut\", \"soy\"], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"sesame\"], \"error\": null, \"may_contain\": [\"peanut\", \"soy\"]}, \"passed\": true}, {\"check\": \"repair check: diamond versus cycle\", \"actual\": {\"contains\": [\"egg\", \"peanut\", \"soy\", \"tree nut\"], \"may_contain\": [\"milk\", \"sesame\"], \"error\": null}, \"expected\": {\"contains\": [\"egg\", \"peanut\", \"soy\", \"tree nut\"], \"error\": null, \"may_contain\": [\"milk\", \"sesame\"]}, \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": null}, \"expected\": {\"contains\": [], \"error\": null, \"may_contain\": []}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"unknown: mystery\"}, \"expected\": {\"contains\": [], \"error\": \"unknown: mystery\", \"may_contain\": []}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"contains\": [\"milk\", \"sesame\", \"tree nut\"], \"may_contain\": [\"egg\"], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"sesame\", \"tree nut\"], \"error\": null, \"may_contain\": [\"egg\"]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}