{"abstract":"A missing sub-recipe is silently ignored and a partial allergen list is published.","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":"Propagating only cycles still hides unknown sub-recipes.","family":"w2-recipe_scaling_and_nutrition-allergen-rollup-error-propagation","id":"FA-97256","implementations":{"attempt":{"sha256":"c14aa39789809bc02c63a7d851b0e8be0117a451510fab5c4791d4ac45974657","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 and e.startswith('cycle'):\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: error propagation',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce']},\n     'crust': {'allergens': [], 'may_contain': ['eggs'], 'uses': ['filling', 'topping', 'sauce']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame '],\n               'may_contain': ['tree nuts', 'wheat'],\n               'uses': ['crust', 'filling']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'cycle: sauce', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': ['soy'], 'may_contain': ['wheat', 'milk'], 'uses': ['topping', 'mystery']},\n     'crust': {'allergens': ['dairy', 'peanuts'], 'may_contain': ['milk'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['sauce']},\n     'sauce': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['crust']},\n     'topping': {'allergens': ['milk'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': ['crust']},\n     'crust': {'allergens': ['dairy'], 'may_contain': [], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['tree nuts'], 'may_contain': ['milk'], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['peanuts', 'soy'], 'may_contain': [' sesame '], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'peanut', 'soy', 'tree nut'], 'error': None, 'may_contain': ['sesame']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['peanuts', 'wheat'], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': ['dairy'], 'may_contain': ['dairy', 'milk'], 'uses': ['filling']},\n     'filling': {'allergens': ['peanuts', 'wheat'], 'may_contain': ['peanuts'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': []},\n     'topping': {'allergens': [], 'may_contain': ['peanuts', 'milk'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'peanut', 'wheat'], 'error': None, 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['sauce', 'filling', 'mystery']},\n     'crust': {'allergens': ['Egg'], 'may_contain': ['peanuts', 'eggs'], 'uses': []},\n     'filling': {'allergens': [' sesame ', 'soy'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['filling']},\n     'topping': {'allergens': ['milk', 'tree nuts'], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}]],\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: error propagation',\n   [{'base': {'allergens': ['Egg'], 'may_contain': ['soy'], 'uses': ['crust', 'filling', 'mystery']},\n     'crust': {'allergens': ['milk'], 'may_contain': ['milk'], 'uses': []},\n     'filling': {'allergens': ['eggs', 'milk'], 'may_contain': ['wheat'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['milk'], 'uses': ['filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': ['wheat'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': ['wheat'], 'may_contain': ['peanuts', 'wheat'], 'uses': ['sauce', 'mystery']},\n     'crust': {'allergens': ['eggs'], 'may_contain': ['soy'], 'uses': ['topping', 'base']},\n     'filling': {'allergens': ['soy', 'wheat'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['eggs'], 'may_contain': ['dairy', 'tree nuts'], 'uses': ['filling']},\n     'topping': {'allergens': ['eggs', 'wheat'], 'may_contain': ['wheat', 'milk'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['filling']},\n     'crust': {'allergens': [], 'may_contain': [' sesame '], 'uses': ['topping']},\n     'filling': {'allergens': ['milk', 'dairy'], 'may_contain': ['tree nuts'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['crust', 'base', 'mystery']},\n     'topping': {'allergens': ['Egg', 'peanuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'peanut'], 'error': None, 'may_contain': ['tree nut']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['eggs', 'soy'], 'uses': ['crust']},\n     'crust': {'allergens': [], 'may_contain': ['dairy', 'eggs'], 'uses': ['filling']},\n     'filling': {'allergens': [], 'may_contain': [' sesame ', 'tree nuts'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['wheat'], 'may_contain': [' sesame ', 'tree nuts'], 'uses': ['mystery']}},\n    'base'],\n   {'contains': [], 'error': None, 'may_contain': ['egg', 'milk', 'sesame', 'soy', 'tree nut']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['soy', 'eggs'], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': ['filling']},\n     'filling': {'allergens': [' sesame ', 'Egg'], 'may_contain': ['eggs', 'peanuts'], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame ', 'eggs'],\n               'may_contain': [' sesame ', 'peanuts'],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'sesame'], 'error': None, 'may_contain': ['peanut', 'soy']}]],\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: error propagation',\n   [{'base': {'allergens': ['milk'], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': ['eggs'], 'may_contain': [' sesame ', 'dairy'], 'uses': []},\n     'filling': {'allergens': ['dairy', 'peanuts'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame ', 'tree nuts'],\n               'may_contain': [' sesame ', 'peanuts'],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': ['Egg', 'eggs'], 'may_contain': ['dairy'], 'uses': ['mystery']}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': [], 'may_contain': [' sesame '], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': ['mystery']},\n     'filling': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['topping', 'base']},\n     'sauce': {'allergens': [], 'may_contain': ['peanuts', 'eggs'], 'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': ['eggs', 'peanuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['soy'],\n              'may_contain': ['dairy', 'wheat'],\n              'uses': ['sauce', 'filling', 'topping']},\n     'crust': {'allergens': ['dairy'], 'may_contain': ['Egg', 'dairy'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': ['dairy', 'soy'], 'uses': []},\n     'sauce': {'allergens': ['soy', 'Egg'], 'may_contain': ['Egg'], 'uses': ['crust']},\n     'topping': {'allergens': ['soy', 'milk'], 'may_contain': ['tree nuts', 'soy'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'soy'], 'error': None, 'may_contain': ['tree nut', 'wheat']}],\n  ['generated control 2',\n   [{'base': {'allergens': ['dairy'], 'may_contain': ['soy', 'wheat'], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': ['Egg'], 'may_contain': [' sesame ', 'milk'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': ['Egg', 'tree nuts'], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy'],\n               'may_contain': ['wheat', ' sesame '],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'soy'], 'error': None, 'may_contain': ['sesame', 'tree nut', 'wheat']}],\n  ['generated control 3',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'crust': {'allergens': ['milk', 'eggs'], 'may_contain': ['wheat'], 'uses': []},\n     'filling': {'allergens': ['peanuts', 'wheat'], 'may_contain': ['peanuts', 'wheat'], 'uses': ['topping']},\n     'sauce': {'allergens': ['wheat', 'soy'], 'may_contain': ['eggs', ' sesame '], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': ['wheat'], 'uses': []}},\n    'base'],\n   {'contains': ['tree nut'], 'error': None, '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: error propagation',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['crust', 'topping']},\n     'crust': {'allergens': [' sesame '], 'may_contain': ['soy', 'wheat'], 'uses': ['filling']},\n     'filling': {'allergens': [], 'may_contain': [' sesame '], 'uses': ['topping', 'mystery']},\n     'sauce': {'allergens': [], 'may_contain': [' sesame ', 'soy'], 'uses': []},\n     'topping': {'allergens': ['eggs'], 'may_contain': [], 'uses': ['filling']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: filling', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': ['eggs', 'peanuts'], 'may_contain': [], 'uses': ['crust', 'topping', 'mystery']},\n     'crust': {'allergens': ['Egg'], 'may_contain': ['tree nuts'], 'uses': []},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy', 'Egg'], 'may_contain': ['dairy'], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['eggs', 'soy'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['Egg'], 'may_contain': [], 'uses': ['crust']},\n     'crust': {'allergens': ['tree nuts', 'milk'],\n               'may_contain': [' sesame ', 'tree nuts'],\n               'uses': ['topping']},\n     'filling': {'allergens': [' sesame '], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': [], 'may_contain': ['dairy', ' sesame '], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'tree nut'], 'error': None, 'may_contain': ['sesame']}],\n  ['generated control 2',\n   [{'base': {'allergens': ['dairy', ' sesame '], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': [' sesame ', 'soy'], 'may_contain': [' sesame '], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'sesame'], 'error': None, 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': ['Egg', 'eggs'], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['filling']},\n     'filling': {'allergens': ['Egg', 'milk'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['eggs'], 'may_contain': ['tree nuts', 'Egg'], 'uses': ['crust']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk'], 'error': None, '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  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['regression: error propagation',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts', 'wheat'], 'uses': ['mystery']},\n     'crust': {'allergens': ['eggs', 'peanuts'], 'may_contain': ['eggs'], 'uses': ['topping']},\n     'filling': {'allergens': ['Egg', 'peanuts'], 'may_contain': ['Egg'], 'uses': ['topping']},\n     'sauce': {'allergens': ['dairy', 'soy'], 'may_contain': ['dairy', ' sesame '], 'uses': ['topping']},\n     'topping': {'allergens': ['eggs', 'wheat'], 'may_contain': ['tree nuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce', 'filling', 'topping', 'mystery']},\n     'crust': {'allergens': ['peanuts'], 'may_contain': ['wheat', ' sesame '], 'uses': ['filling']},\n     'filling': {'allergens': ['wheat', 'soy'], 'may_contain': ['peanuts'], 'uses': []},\n     'sauce': {'allergens': ['eggs', 'wheat'], 'may_contain': [], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['dairy', 'peanuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': ['tree nuts', 'wheat'],\n               'may_contain': ['tree nuts', ' sesame '],\n               'uses': ['filling']},\n     'filling': {'allergens': ['peanuts'], 'may_contain': ['wheat'], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame ', 'eggs'], 'may_contain': ['tree nuts', 'wheat'], 'uses': ['filling']},\n     'topping': {'allergens': [], 'may_contain': ['tree nuts', 'Egg'], 'uses': []}},\n    'base'],\n   {'contains': ['tree nut'], 'error': None, 'may_contain': ['egg']}],\n  ['generated control 2',\n   [{'base': {'allergens': ['soy', 'peanuts'], 'may_contain': ['tree nuts'], 'uses': ['crust', 'topping']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': ['peanuts', 'tree nuts'], 'may_contain': [], 'uses': ['base']},\n     'sauce': {'allergens': [' sesame '], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['filling']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['Egg', 'wheat'], 'uses': ['topping']},\n     'crust': {'allergens': ['Egg'], 'may_contain': [' sesame ', 'soy'], 'uses': ['filling']},\n     'filling': {'allergens': ['wheat'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['wheat'], 'may_contain': ['milk'], 'uses': ['crust', 'base']},\n     'topping': {'allergens': ['eggs'], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg'], 'error': None, 'may_contain': ['milk', 'wheat']}]]]\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":"c702dc9e0dac5966b88d8d9afa76a3e3d74d6a806b77619dbdc1228239446835","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                pass\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: error propagation',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce']},\n     'crust': {'allergens': [], 'may_contain': ['eggs'], 'uses': ['filling', 'topping', 'sauce']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame '],\n               'may_contain': ['tree nuts', 'wheat'],\n               'uses': ['crust', 'filling']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'cycle: sauce', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': ['soy'], 'may_contain': ['wheat', 'milk'], 'uses': ['topping', 'mystery']},\n     'crust': {'allergens': ['dairy', 'peanuts'], 'may_contain': ['milk'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['sauce']},\n     'sauce': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['crust']},\n     'topping': {'allergens': ['milk'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': ['crust']},\n     'crust': {'allergens': ['dairy'], 'may_contain': [], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['tree nuts'], 'may_contain': ['milk'], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['peanuts', 'soy'], 'may_contain': [' sesame '], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'peanut', 'soy', 'tree nut'], 'error': None, 'may_contain': ['sesame']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['peanuts', 'wheat'], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': ['dairy'], 'may_contain': ['dairy', 'milk'], 'uses': ['filling']},\n     'filling': {'allergens': ['peanuts', 'wheat'], 'may_contain': ['peanuts'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': []},\n     'topping': {'allergens': [], 'may_contain': ['peanuts', 'milk'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'peanut', 'wheat'], 'error': None, 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['sauce', 'filling', 'mystery']},\n     'crust': {'allergens': ['Egg'], 'may_contain': ['peanuts', 'eggs'], 'uses': []},\n     'filling': {'allergens': [' sesame ', 'soy'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['filling']},\n     'topping': {'allergens': ['milk', 'tree nuts'], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}]],\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: error propagation',\n   [{'base': {'allergens': ['Egg'], 'may_contain': ['soy'], 'uses': ['crust', 'filling', 'mystery']},\n     'crust': {'allergens': ['milk'], 'may_contain': ['milk'], 'uses': []},\n     'filling': {'allergens': ['eggs', 'milk'], 'may_contain': ['wheat'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['milk'], 'uses': ['filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': ['wheat'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': ['wheat'], 'may_contain': ['peanuts', 'wheat'], 'uses': ['sauce', 'mystery']},\n     'crust': {'allergens': ['eggs'], 'may_contain': ['soy'], 'uses': ['topping', 'base']},\n     'filling': {'allergens': ['soy', 'wheat'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['eggs'], 'may_contain': ['dairy', 'tree nuts'], 'uses': ['filling']},\n     'topping': {'allergens': ['eggs', 'wheat'], 'may_contain': ['wheat', 'milk'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['filling']},\n     'crust': {'allergens': [], 'may_contain': [' sesame '], 'uses': ['topping']},\n     'filling': {'allergens': ['milk', 'dairy'], 'may_contain': ['tree nuts'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['crust', 'base', 'mystery']},\n     'topping': {'allergens': ['Egg', 'peanuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'peanut'], 'error': None, 'may_contain': ['tree nut']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['eggs', 'soy'], 'uses': ['crust']},\n     'crust': {'allergens': [], 'may_contain': ['dairy', 'eggs'], 'uses': ['filling']},\n     'filling': {'allergens': [], 'may_contain': [' sesame ', 'tree nuts'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['wheat'], 'may_contain': [' sesame ', 'tree nuts'], 'uses': ['mystery']}},\n    'base'],\n   {'contains': [], 'error': None, 'may_contain': ['egg', 'milk', 'sesame', 'soy', 'tree nut']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['soy', 'eggs'], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': ['filling']},\n     'filling': {'allergens': [' sesame ', 'Egg'], 'may_contain': ['eggs', 'peanuts'], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame ', 'eggs'],\n               'may_contain': [' sesame ', 'peanuts'],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'sesame'], 'error': None, 'may_contain': ['peanut', 'soy']}]],\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: error propagation',\n   [{'base': {'allergens': ['milk'], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': ['eggs'], 'may_contain': [' sesame ', 'dairy'], 'uses': []},\n     'filling': {'allergens': ['dairy', 'peanuts'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame ', 'tree nuts'],\n               'may_contain': [' sesame ', 'peanuts'],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': ['Egg', 'eggs'], 'may_contain': ['dairy'], 'uses': ['mystery']}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': [], 'may_contain': [' sesame '], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': ['mystery']},\n     'filling': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['topping', 'base']},\n     'sauce': {'allergens': [], 'may_contain': ['peanuts', 'eggs'], 'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': ['eggs', 'peanuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['soy'],\n              'may_contain': ['dairy', 'wheat'],\n              'uses': ['sauce', 'filling', 'topping']},\n     'crust': {'allergens': ['dairy'], 'may_contain': ['Egg', 'dairy'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': ['dairy', 'soy'], 'uses': []},\n     'sauce': {'allergens': ['soy', 'Egg'], 'may_contain': ['Egg'], 'uses': ['crust']},\n     'topping': {'allergens': ['soy', 'milk'], 'may_contain': ['tree nuts', 'soy'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'soy'], 'error': None, 'may_contain': ['tree nut', 'wheat']}],\n  ['generated control 2',\n   [{'base': {'allergens': ['dairy'], 'may_contain': ['soy', 'wheat'], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': ['Egg'], 'may_contain': [' sesame ', 'milk'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': ['Egg', 'tree nuts'], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy'],\n               'may_contain': ['wheat', ' sesame '],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'soy'], 'error': None, 'may_contain': ['sesame', 'tree nut', 'wheat']}],\n  ['generated control 3',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'crust': {'allergens': ['milk', 'eggs'], 'may_contain': ['wheat'], 'uses': []},\n     'filling': {'allergens': ['peanuts', 'wheat'], 'may_contain': ['peanuts', 'wheat'], 'uses': ['topping']},\n     'sauce': {'allergens': ['wheat', 'soy'], 'may_contain': ['eggs', ' sesame '], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': ['wheat'], 'uses': []}},\n    'base'],\n   {'contains': ['tree nut'], 'error': None, '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: error propagation',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['crust', 'topping']},\n     'crust': {'allergens': [' sesame '], 'may_contain': ['soy', 'wheat'], 'uses': ['filling']},\n     'filling': {'allergens': [], 'may_contain': [' sesame '], 'uses': ['topping', 'mystery']},\n     'sauce': {'allergens': [], 'may_contain': [' sesame ', 'soy'], 'uses': []},\n     'topping': {'allergens': ['eggs'], 'may_contain': [], 'uses': ['filling']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: filling', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': ['eggs', 'peanuts'], 'may_contain': [], 'uses': ['crust', 'topping', 'mystery']},\n     'crust': {'allergens': ['Egg'], 'may_contain': ['tree nuts'], 'uses': []},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy', 'Egg'], 'may_contain': ['dairy'], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['eggs', 'soy'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['Egg'], 'may_contain': [], 'uses': ['crust']},\n     'crust': {'allergens': ['tree nuts', 'milk'],\n               'may_contain': [' sesame ', 'tree nuts'],\n               'uses': ['topping']},\n     'filling': {'allergens': [' sesame '], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': [], 'may_contain': ['dairy', ' sesame '], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'tree nut'], 'error': None, 'may_contain': ['sesame']}],\n  ['generated control 2',\n   [{'base': {'allergens': ['dairy', ' sesame '], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': [' sesame ', 'soy'], 'may_contain': [' sesame '], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'sesame'], 'error': None, 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': ['Egg', 'eggs'], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['filling']},\n     'filling': {'allergens': ['Egg', 'milk'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['eggs'], 'may_contain': ['tree nuts', 'Egg'], 'uses': ['crust']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk'], 'error': None, '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  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['regression: error propagation',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts', 'wheat'], 'uses': ['mystery']},\n     'crust': {'allergens': ['eggs', 'peanuts'], 'may_contain': ['eggs'], 'uses': ['topping']},\n     'filling': {'allergens': ['Egg', 'peanuts'], 'may_contain': ['Egg'], 'uses': ['topping']},\n     'sauce': {'allergens': ['dairy', 'soy'], 'may_contain': ['dairy', ' sesame '], 'uses': ['topping']},\n     'topping': {'allergens': ['eggs', 'wheat'], 'may_contain': ['tree nuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce', 'filling', 'topping', 'mystery']},\n     'crust': {'allergens': ['peanuts'], 'may_contain': ['wheat', ' sesame '], 'uses': ['filling']},\n     'filling': {'allergens': ['wheat', 'soy'], 'may_contain': ['peanuts'], 'uses': []},\n     'sauce': {'allergens': ['eggs', 'wheat'], 'may_contain': [], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['dairy', 'peanuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': ['tree nuts', 'wheat'],\n               'may_contain': ['tree nuts', ' sesame '],\n               'uses': ['filling']},\n     'filling': {'allergens': ['peanuts'], 'may_contain': ['wheat'], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame ', 'eggs'], 'may_contain': ['tree nuts', 'wheat'], 'uses': ['filling']},\n     'topping': {'allergens': [], 'may_contain': ['tree nuts', 'Egg'], 'uses': []}},\n    'base'],\n   {'contains': ['tree nut'], 'error': None, 'may_contain': ['egg']}],\n  ['generated control 2',\n   [{'base': {'allergens': ['soy', 'peanuts'], 'may_contain': ['tree nuts'], 'uses': ['crust', 'topping']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': ['peanuts', 'tree nuts'], 'may_contain': [], 'uses': ['base']},\n     'sauce': {'allergens': [' sesame '], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['filling']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['Egg', 'wheat'], 'uses': ['topping']},\n     'crust': {'allergens': ['Egg'], 'may_contain': [' sesame ', 'soy'], 'uses': ['filling']},\n     'filling': {'allergens': ['wheat'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['wheat'], 'may_contain': ['milk'], 'uses': ['crust', 'base']},\n     'topping': {'allergens': ['eggs'], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg'], 'error': None, 'may_contain': ['milk', 'wheat']}]]]\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":"53b57a17c10a69f735c8707df8873fb1fde82dac2264995123aa4c8d750e6b17","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: error propagation',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce']},\n     'crust': {'allergens': [], 'may_contain': ['eggs'], 'uses': ['filling', 'topping', 'sauce']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame '],\n               'may_contain': ['tree nuts', 'wheat'],\n               'uses': ['crust', 'filling']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'cycle: sauce', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': ['soy'], 'may_contain': ['wheat', 'milk'], 'uses': ['topping', 'mystery']},\n     'crust': {'allergens': ['dairy', 'peanuts'], 'may_contain': ['milk'], 'uses': ['filling', 'topping']},\n     'filling': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['sauce']},\n     'sauce': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['crust']},\n     'topping': {'allergens': ['milk'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': ['crust']},\n     'crust': {'allergens': ['dairy'], 'may_contain': [], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['tree nuts'], 'may_contain': ['milk'], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['peanuts', 'soy'], 'may_contain': [' sesame '], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'peanut', 'soy', 'tree nut'], 'error': None, 'may_contain': ['sesame']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['peanuts', 'wheat'], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': ['dairy'], 'may_contain': ['dairy', 'milk'], 'uses': ['filling']},\n     'filling': {'allergens': ['peanuts', 'wheat'], 'may_contain': ['peanuts'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': []},\n     'topping': {'allergens': [], 'may_contain': ['peanuts', 'milk'], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'peanut', 'wheat'], 'error': None, 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['sauce', 'filling', 'mystery']},\n     'crust': {'allergens': ['Egg'], 'may_contain': ['peanuts', 'eggs'], 'uses': []},\n     'filling': {'allergens': [' sesame ', 'soy'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['filling']},\n     'topping': {'allergens': ['milk', 'tree nuts'], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}]],\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: error propagation',\n   [{'base': {'allergens': ['Egg'], 'may_contain': ['soy'], 'uses': ['crust', 'filling', 'mystery']},\n     'crust': {'allergens': ['milk'], 'may_contain': ['milk'], 'uses': []},\n     'filling': {'allergens': ['eggs', 'milk'], 'may_contain': ['wheat'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['milk'], 'uses': ['filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': ['wheat'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': ['wheat'], 'may_contain': ['peanuts', 'wheat'], 'uses': ['sauce', 'mystery']},\n     'crust': {'allergens': ['eggs'], 'may_contain': ['soy'], 'uses': ['topping', 'base']},\n     'filling': {'allergens': ['soy', 'wheat'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['eggs'], 'may_contain': ['dairy', 'tree nuts'], 'uses': ['filling']},\n     'topping': {'allergens': ['eggs', 'wheat'], 'may_contain': ['wheat', 'milk'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['filling']},\n     'crust': {'allergens': [], 'may_contain': [' sesame '], 'uses': ['topping']},\n     'filling': {'allergens': ['milk', 'dairy'], 'may_contain': ['tree nuts'], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['crust', 'base', 'mystery']},\n     'topping': {'allergens': ['Egg', 'peanuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'peanut'], 'error': None, 'may_contain': ['tree nut']}],\n  ['generated control 2',\n   [{'base': {'allergens': [], 'may_contain': ['eggs', 'soy'], 'uses': ['crust']},\n     'crust': {'allergens': [], 'may_contain': ['dairy', 'eggs'], 'uses': ['filling']},\n     'filling': {'allergens': [], 'may_contain': [' sesame ', 'tree nuts'], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['wheat'], 'may_contain': [' sesame ', 'tree nuts'], 'uses': ['mystery']}},\n    'base'],\n   {'contains': [], 'error': None, 'may_contain': ['egg', 'milk', 'sesame', 'soy', 'tree nut']}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['soy', 'eggs'], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': ['filling']},\n     'filling': {'allergens': [' sesame ', 'Egg'], 'may_contain': ['eggs', 'peanuts'], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame ', 'eggs'],\n               'may_contain': [' sesame ', 'peanuts'],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'sesame'], 'error': None, 'may_contain': ['peanut', 'soy']}]],\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: error propagation',\n   [{'base': {'allergens': ['milk'], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': ['eggs'], 'may_contain': [' sesame ', 'dairy'], 'uses': []},\n     'filling': {'allergens': ['dairy', 'peanuts'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame ', 'tree nuts'],\n               'may_contain': [' sesame ', 'peanuts'],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': ['Egg', 'eggs'], 'may_contain': ['dairy'], 'uses': ['mystery']}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': [], 'may_contain': [' sesame '], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': ['mystery']},\n     'filling': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['topping', 'base']},\n     'sauce': {'allergens': [], 'may_contain': ['peanuts', 'eggs'], 'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': ['eggs', 'peanuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['soy'],\n              'may_contain': ['dairy', 'wheat'],\n              'uses': ['sauce', 'filling', 'topping']},\n     'crust': {'allergens': ['dairy'], 'may_contain': ['Egg', 'dairy'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': ['dairy', 'soy'], 'uses': []},\n     'sauce': {'allergens': ['soy', 'Egg'], 'may_contain': ['Egg'], 'uses': ['crust']},\n     'topping': {'allergens': ['soy', 'milk'], 'may_contain': ['tree nuts', 'soy'], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'soy'], 'error': None, 'may_contain': ['tree nut', 'wheat']}],\n  ['generated control 2',\n   [{'base': {'allergens': ['dairy'], 'may_contain': ['soy', 'wheat'], 'uses': ['sauce', 'topping']},\n     'crust': {'allergens': ['Egg'], 'may_contain': [' sesame ', 'milk'], 'uses': ['topping']},\n     'filling': {'allergens': [], 'may_contain': ['Egg', 'tree nuts'], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy'],\n               'may_contain': ['wheat', ' sesame '],\n               'uses': ['crust', 'filling', 'topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'soy'], 'error': None, 'may_contain': ['sesame', 'tree nut', 'wheat']}],\n  ['generated control 3',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'crust': {'allergens': ['milk', 'eggs'], 'may_contain': ['wheat'], 'uses': []},\n     'filling': {'allergens': ['peanuts', 'wheat'], 'may_contain': ['peanuts', 'wheat'], 'uses': ['topping']},\n     'sauce': {'allergens': ['wheat', 'soy'], 'may_contain': ['eggs', ' sesame '], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': ['wheat'], 'uses': []}},\n    'base'],\n   {'contains': ['tree nut'], 'error': None, '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: error propagation',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts'], 'uses': ['crust', 'topping']},\n     'crust': {'allergens': [' sesame '], 'may_contain': ['soy', 'wheat'], 'uses': ['filling']},\n     'filling': {'allergens': [], 'may_contain': [' sesame '], 'uses': ['topping', 'mystery']},\n     'sauce': {'allergens': [], 'may_contain': [' sesame ', 'soy'], 'uses': []},\n     'topping': {'allergens': ['eggs'], 'may_contain': [], 'uses': ['filling']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: filling', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': ['eggs', 'peanuts'], 'may_contain': [], 'uses': ['crust', 'topping', 'mystery']},\n     'crust': {'allergens': ['Egg'], 'may_contain': ['tree nuts'], 'uses': []},\n     'filling': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['soy', 'Egg'], 'may_contain': ['dairy'], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['eggs', 'soy'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['Egg'], 'may_contain': [], 'uses': ['crust']},\n     'crust': {'allergens': ['tree nuts', 'milk'],\n               'may_contain': [' sesame ', 'tree nuts'],\n               'uses': ['topping']},\n     'filling': {'allergens': [' sesame '], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': [], 'may_contain': ['dairy', ' sesame '], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk', 'tree nut'], 'error': None, 'may_contain': ['sesame']}],\n  ['generated control 2',\n   [{'base': {'allergens': ['dairy', ' sesame '], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': [' sesame ', 'soy'], 'may_contain': [' sesame '], 'uses': ['topping']},\n     'sauce': {'allergens': [], 'may_contain': [], 'uses': ['topping']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['milk', 'sesame'], 'error': None, 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': ['Egg', 'eggs'], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'crust': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['filling']},\n     'filling': {'allergens': ['Egg', 'milk'], 'may_contain': [], 'uses': []},\n     'sauce': {'allergens': ['eggs'], 'may_contain': ['tree nuts', 'Egg'], 'uses': ['crust']},\n     'topping': {'allergens': [], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': ['egg', 'milk'], 'error': None, '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  ['cycle', [{'a': {'uses': ['base']}, 'base': {'uses': ['a']}}, 'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['regression: error propagation',\n   [{'base': {'allergens': [], 'may_contain': ['tree nuts', 'wheat'], 'uses': ['mystery']},\n     'crust': {'allergens': ['eggs', 'peanuts'], 'may_contain': ['eggs'], 'uses': ['topping']},\n     'filling': {'allergens': ['Egg', 'peanuts'], 'may_contain': ['Egg'], 'uses': ['topping']},\n     'sauce': {'allergens': ['dairy', 'soy'], 'may_contain': ['dairy', ' sesame '], 'uses': ['topping']},\n     'topping': {'allergens': ['eggs', 'wheat'], 'may_contain': ['tree nuts'], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['repair check: error propagation',\n   [{'base': {'allergens': [], 'may_contain': [], 'uses': ['sauce', 'filling', 'topping', 'mystery']},\n     'crust': {'allergens': ['peanuts'], 'may_contain': ['wheat', ' sesame '], 'uses': ['filling']},\n     'filling': {'allergens': ['wheat', 'soy'], 'may_contain': ['peanuts'], 'uses': []},\n     'sauce': {'allergens': ['eggs', 'wheat'], 'may_contain': [], 'uses': ['crust', 'topping']},\n     'topping': {'allergens': ['dairy', 'peanuts'], 'may_contain': [], 'uses': []}},\n    'base'],\n   {'contains': [], 'error': 'unknown: mystery', 'may_contain': []}],\n  ['generated control 1',\n   [{'base': {'allergens': ['tree nuts'], 'may_contain': [], 'uses': ['topping']},\n     'crust': {'allergens': ['tree nuts', 'wheat'],\n               'may_contain': ['tree nuts', ' sesame '],\n               'uses': ['filling']},\n     'filling': {'allergens': ['peanuts'], 'may_contain': ['wheat'], 'uses': ['topping']},\n     'sauce': {'allergens': [' sesame ', 'eggs'], 'may_contain': ['tree nuts', 'wheat'], 'uses': ['filling']},\n     'topping': {'allergens': [], 'may_contain': ['tree nuts', 'Egg'], 'uses': []}},\n    'base'],\n   {'contains': ['tree nut'], 'error': None, 'may_contain': ['egg']}],\n  ['generated control 2',\n   [{'base': {'allergens': ['soy', 'peanuts'], 'may_contain': ['tree nuts'], 'uses': ['crust', 'topping']},\n     'crust': {'allergens': [], 'may_contain': [], 'uses': []},\n     'filling': {'allergens': ['peanuts', 'tree nuts'], 'may_contain': [], 'uses': ['base']},\n     'sauce': {'allergens': [' sesame '], 'may_contain': [], 'uses': ['crust', 'filling']},\n     'topping': {'allergens': [], 'may_contain': ['Egg'], 'uses': ['filling']}},\n    'base'],\n   {'contains': [], 'error': 'cycle: base', 'may_contain': []}],\n  ['generated control 3',\n   [{'base': {'allergens': [], 'may_contain': ['Egg', 'wheat'], 'uses': ['topping']},\n     'crust': {'allergens': ['Egg'], 'may_contain': [' sesame ', 'soy'], 'uses': ['filling']},\n     'filling': {'allergens': ['wheat'], 'may_contain': [], 'uses': ['topping']},\n     'sauce': {'allergens': ['wheat'], 'may_contain': ['milk'], 'uses': ['crust', 'base']},\n     'topping': {'allergens': ['eggs'], 'may_contain': ['milk'], 'uses': []}},\n    'base'],\n   {'contains': ['egg'], 'error': None, 'may_contain': ['milk', 'wheat']}]]]\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-error-propagation","generated_at":"2026-09-29T14:52:30.347578+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":"Return the first sub-recipe error immediately.","root_cause":"Errors returned from sub-recipe visits are discarded.","sha256":"bb00bbedb9adbe9aa751c05f83573b0b55b6bc360953e5f93e331b877150ae20","title":"Sub-recipe allergen roll-up: error propagation · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":45.433,"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":["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":[],"error":"cycle: sauce","may_contain":[]},"check":"regression: error propagation","expected":{"contains":[],"error":"cycle: sauce","may_contain":[]},"passed":true},{"actual":{"contains":["milk","soy"],"error":null,"may_contain":["wheat"]},"check":"repair check: error propagation","expected":{"contains":[],"error":"unknown: mystery","may_contain":[]},"passed":false},{"actual":{"contains":["milk","peanut","soy","tree nut"],"error":null,"may_contain":["sesame"]},"check":"generated control 1","expected":{"contains":["milk","peanut","soy","tree nut"],"error":null,"may_contain":["sesame"]},"passed":true},{"actual":{"contains":["milk","peanut","wheat"],"error":null,"may_contain":[]},"check":"generated control 2","expected":{"contains":["milk","peanut","wheat"],"error":null,"may_contain":[]},"passed":true},{"actual":{"contains":["milk","sesame","soy","tree nut"],"error":null,"may_contain":["egg"]},"check":"generated control 3","expected":{"contains":[],"error":"unknown: mystery","may_contain":[]},"passed":false}],"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\": [\"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: error propagation\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: sauce\"}, \"expected\": {\"contains\": [], \"error\": \"cycle: sauce\", \"may_contain\": []}, \"passed\": true}, {\"check\": \"repair check: error propagation\", \"actual\": {\"contains\": [\"milk\", \"soy\"], \"may_contain\": [\"wheat\"], \"error\": null}, \"expected\": {\"contains\": [], \"error\": \"unknown: mystery\", \"may_contain\": []}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"contains\": [\"milk\", \"peanut\", \"soy\", \"tree nut\"], \"may_contain\": [\"sesame\"], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"peanut\", \"soy\", \"tree nut\"], \"error\": null, \"may_contain\": [\"sesame\"]}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"contains\": [\"milk\", \"peanut\", \"wheat\"], \"may_contain\": [], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"peanut\", \"wheat\"], \"error\": null, \"may_contain\": []}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"contains\": [\"milk\", \"sesame\", \"soy\", \"tree nut\"], \"may_contain\": [\"egg\"], \"error\": null}, \"expected\": {\"contains\": [], \"error\": \"unknown: mystery\", \"may_contain\": []}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.232,"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":["milk","wheat"],"error":null,"may_contain":[]},"check":"diamond sharing","expected":{"contains":["milk","wheat"],"error":null,"may_contain":[]},"passed":true},{"actual":{"contains":[],"error":null,"may_contain":[]},"check":"cycle","expected":{"contains":[],"error":"cycle: base","may_contain":[]},"passed":false},{"actual":{"contains":["sesame"],"error":null,"may_contain":["egg","tree nut","wheat"]},"check":"regression: error propagation","expected":{"contains":[],"error":"cycle: sauce","may_contain":[]},"passed":false},{"actual":{"contains":["milk","soy"],"error":null,"may_contain":["wheat"]},"check":"repair check: error propagation","expected":{"contains":[],"error":"unknown: mystery","may_contain":[]},"passed":false},{"actual":{"contains":["milk","peanut","soy","tree nut"],"error":null,"may_contain":["sesame"]},"check":"generated control 1","expected":{"contains":["milk","peanut","soy","tree nut"],"error":null,"may_contain":["sesame"]},"passed":true},{"actual":{"contains":["milk","peanut","wheat"],"error":null,"may_contain":[]},"check":"generated control 2","expected":{"contains":["milk","peanut","wheat"],"error":null,"may_contain":[]},"passed":true},{"actual":{"contains":["milk","sesame","soy","tree nut"],"error":null,"may_contain":["egg"]},"check":"generated control 3","expected":{"contains":[],"error":"unknown: mystery","may_contain":[]},"passed":false}],"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\": [\"milk\", \"wheat\"], \"may_contain\": [], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"wheat\"], \"error\": null, \"may_contain\": []}, \"passed\": true}, {\"check\": \"cycle\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": null}, \"expected\": {\"contains\": [], \"error\": \"cycle: base\", \"may_contain\": []}, \"passed\": false}, {\"check\": \"regression: error propagation\", \"actual\": {\"contains\": [\"sesame\"], \"may_contain\": [\"egg\", \"tree nut\", \"wheat\"], \"error\": null}, \"expected\": {\"contains\": [], \"error\": \"cycle: sauce\", \"may_contain\": []}, \"passed\": false}, {\"check\": \"repair check: error propagation\", \"actual\": {\"contains\": [\"milk\", \"soy\"], \"may_contain\": [\"wheat\"], \"error\": null}, \"expected\": {\"contains\": [], \"error\": \"unknown: mystery\", \"may_contain\": []}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"contains\": [\"milk\", \"peanut\", \"soy\", \"tree nut\"], \"may_contain\": [\"sesame\"], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"peanut\", \"soy\", \"tree nut\"], \"error\": null, \"may_contain\": [\"sesame\"]}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"contains\": [\"milk\", \"peanut\", \"wheat\"], \"may_contain\": [], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"peanut\", \"wheat\"], \"error\": null, \"may_contain\": []}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"contains\": [\"milk\", \"sesame\", \"soy\", \"tree nut\"], \"may_contain\": [\"egg\"], \"error\": null}, \"expected\": {\"contains\": [], \"error\": \"unknown: mystery\", \"may_contain\": []}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.76,"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":[],"error":"cycle: sauce","may_contain":[]},"check":"regression: error propagation","expected":{"contains":[],"error":"cycle: sauce","may_contain":[]},"passed":true},{"actual":{"contains":[],"error":"unknown: mystery","may_contain":[]},"check":"repair check: error propagation","expected":{"contains":[],"error":"unknown: mystery","may_contain":[]},"passed":true},{"actual":{"contains":["milk","peanut","soy","tree nut"],"error":null,"may_contain":["sesame"]},"check":"generated control 1","expected":{"contains":["milk","peanut","soy","tree nut"],"error":null,"may_contain":["sesame"]},"passed":true},{"actual":{"contains":["milk","peanut","wheat"],"error":null,"may_contain":[]},"check":"generated control 2","expected":{"contains":["milk","peanut","wheat"],"error":null,"may_contain":[]},"passed":true},{"actual":{"contains":[],"error":"unknown: mystery","may_contain":[]},"check":"generated control 3","expected":{"contains":[],"error":"unknown: mystery","may_contain":[]},"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: error propagation\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"cycle: sauce\"}, \"expected\": {\"contains\": [], \"error\": \"cycle: sauce\", \"may_contain\": []}, \"passed\": true}, {\"check\": \"repair check: error propagation\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"unknown: mystery\"}, \"expected\": {\"contains\": [], \"error\": \"unknown: mystery\", \"may_contain\": []}, \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": {\"contains\": [\"milk\", \"peanut\", \"soy\", \"tree nut\"], \"may_contain\": [\"sesame\"], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"peanut\", \"soy\", \"tree nut\"], \"error\": null, \"may_contain\": [\"sesame\"]}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"contains\": [\"milk\", \"peanut\", \"wheat\"], \"may_contain\": [], \"error\": null}, \"expected\": {\"contains\": [\"milk\", \"peanut\", \"wheat\"], \"error\": null, \"may_contain\": []}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"contains\": [], \"may_contain\": [], \"error\": \"unknown: mystery\"}, \"expected\": {\"contains\": [], \"error\": \"unknown: mystery\", \"may_contain\": []}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}