{"abstract":"Exactly three gems stay uncombined.","category":"Game economy crafting balance","checks":8,"contract":"gems[t] = count of tier t gems for t = 0..max_tier. Tiers are processed upward: three tier t gems make one tier t+1 gem at a cost of (t+1)*10 gold each, limited by the remaining gold budget; newly made gems can cascade into the next tier. Max-tier gems never combine. Returns [counts, gold_spent].","evaluation_group":"w2-game-economy-crafting-balance-gem-combine","failed_approach":"Reading the original counts ignores gems produced by the cascade.","family":"w2-game-economy-crafting-balance-gem-combine-triple-availability","id":"FA-86201","implementations":{"attempt":{"sha256":"6e7e41542f7250d72c6f2c8030198629712398af07cd4b605fc65836778e6b1c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(gems, max_tier, budget):\n    g = list(gems)\n    gold = 0\n    for t in range(max_tier):\n        price = (t + 1) * 10\n        made = min(gems[t] // 3, (budget - gold) // price)\n        g[t] -= made * 3\n        g[t + 1] += made\n        gold += made * price\n    return [g, gold]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[3, 9, 8, 3], 3, 60], [[0, 4, 10, 3], 50]),\n  ('regression triple availability #1', [[4, 2, 0, 3, 6], 4, 201], [[1, 0, 1, 0, 7], 70]),\n  ('partial repair boundary #1', [[9, 3, 2], 2, 1000], [[0, 0, 4], 70]),\n  ('partial repair boundary #2', [[9, 8, 2, 9], 3, 277], [[0, 2, 2, 10], 120]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[4, 4, 3, 3, 9], 4, 29], [[1, 5, 3, 3, 9], 10])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('regression triple availability #1', [[4, 2, 0, 3, 6], 4, 201], [[1, 0, 1, 0, 7], 70]),\n  ('fault site triple availability #1', [[3, 8, 0], 2, 29], [[0, 9, 0], 10]),\n  ('partial repair boundary #1', [[9, 8, 2, 9], 3, 277], [[0, 2, 2, 10], 120]),\n  ('partial repair boundary #2', [[8, 2, 0], 2, 83], [[2, 1, 1], 40]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[4, 4, 3, 3, 9], 4, 29], [[1, 5, 3, 3, 9], 10])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[3, 3], 1, 30], [[0, 4], 10]),\n  ('fault site triple availability #2', [[3, 8], 1, 60], [[0, 9], 10]),\n  ('partial repair boundary #1', [[8, 2, 0], 2, 83], [[2, 1, 1], 40]),\n  ('partial repair boundary #2', [[4, 3, 14, 8, 20], 4, 1000], [[1, 1, 0, 1, 24], 340]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[4, 4, 3, 3, 9], 4, 29], [[1, 5, 3, 3, 9], 10])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[3, 4, 4, 3], 3, 273], [[0, 2, 2, 4], 60]),\n  ('fault site triple availability #2', [[3, 8, 9, 13], 3, 60], [[0, 3, 11, 13], 50]),\n  ('partial repair boundary #1', [[8, 4, 4], 2, 153], [[2, 0, 6], 60]),\n  ('regression triple availability #1', [[9, 0, 2], 2, 199], [[0, 0, 3], 50]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[27, 2, 2], 2, 60], [[9, 8, 2], 60])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[2, 3, 9], 2, 30], [[2, 0, 10], 20]),\n  ('fault site triple availability #2', [[2, 0, 3, 3, 8], 4, 1000], [[2, 0, 0, 1, 9], 70]),\n  ('partial repair boundary #1', [[0, 9, 9, 8], 3, 1000], [[0, 0, 0, 12], 180]),\n  ('regression triple availability #1', [[3, 8, 3, 12], 3, 1000], [[0, 0, 0, 14], 130]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[9, 28, 24], 2, 10], [[6, 29, 24], 10])]]\nfor label, args, expected in cases[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":"1afc42366d024d3441112fa3f869a5db6fe3f4dbc60bd86cc284fe3cfafcde8c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(gems, max_tier, budget):\n    g = list(gems)\n    gold = 0\n    for t in range(max_tier):\n        price = (t + 1) * 10\n        made = min(g[t] // 3 if g[t] > 3 else 0, (budget - gold) // price)\n        g[t] -= made * 3\n        g[t + 1] += made\n        gold += made * price\n    return [g, gold]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[3, 9, 8, 3], 3, 60], [[0, 4, 10, 3], 50]),\n  ('regression triple availability #1', [[4, 2, 0, 3, 6], 4, 201], [[1, 0, 1, 0, 7], 70]),\n  ('partial repair boundary #1', [[9, 3, 2], 2, 1000], [[0, 0, 4], 70]),\n  ('partial repair boundary #2', [[9, 8, 2, 9], 3, 277], [[0, 2, 2, 10], 120]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[4, 4, 3, 3, 9], 4, 29], [[1, 5, 3, 3, 9], 10])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('regression triple availability #1', [[4, 2, 0, 3, 6], 4, 201], [[1, 0, 1, 0, 7], 70]),\n  ('fault site triple availability #1', [[3, 8, 0], 2, 29], [[0, 9, 0], 10]),\n  ('partial repair boundary #1', [[9, 8, 2, 9], 3, 277], [[0, 2, 2, 10], 120]),\n  ('partial repair boundary #2', [[8, 2, 0], 2, 83], [[2, 1, 1], 40]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[4, 4, 3, 3, 9], 4, 29], [[1, 5, 3, 3, 9], 10])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[3, 3], 1, 30], [[0, 4], 10]),\n  ('fault site triple availability #2', [[3, 8], 1, 60], [[0, 9], 10]),\n  ('partial repair boundary #1', [[8, 2, 0], 2, 83], [[2, 1, 1], 40]),\n  ('partial repair boundary #2', [[4, 3, 14, 8, 20], 4, 1000], [[1, 1, 0, 1, 24], 340]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[4, 4, 3, 3, 9], 4, 29], [[1, 5, 3, 3, 9], 10])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[3, 4, 4, 3], 3, 273], [[0, 2, 2, 4], 60]),\n  ('fault site triple availability #2', [[3, 8, 9, 13], 3, 60], [[0, 3, 11, 13], 50]),\n  ('partial repair boundary #1', [[8, 4, 4], 2, 153], [[2, 0, 6], 60]),\n  ('regression triple availability #1', [[9, 0, 2], 2, 199], [[0, 0, 3], 50]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[27, 2, 2], 2, 60], [[9, 8, 2], 60])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[2, 3, 9], 2, 30], [[2, 0, 10], 20]),\n  ('fault site triple availability #2', [[2, 0, 3, 3, 8], 4, 1000], [[2, 0, 0, 1, 9], 70]),\n  ('partial repair boundary #1', [[0, 9, 9, 8], 3, 1000], [[0, 0, 0, 12], 180]),\n  ('regression triple availability #1', [[3, 8, 3, 12], 3, 1000], [[0, 0, 0, 14], 130]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[9, 28, 24], 2, 10], [[6, 29, 24], 10])]]\nfor label, args, expected in cases[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":"66e9f529649aafa926956234ce601d2009f382fca8cad2d4b2326fb71d213ac0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(gems, max_tier, budget):\n    g = list(gems)\n    gold = 0\n    for t in range(max_tier):\n        price = (t + 1) * 10\n        made = min(g[t] // 3, (budget - gold) // price)\n        g[t] -= made * 3\n        g[t + 1] += made\n        gold += made * price\n    return [g, gold]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[3, 9, 8, 3], 3, 60], [[0, 4, 10, 3], 50]),\n  ('regression triple availability #1', [[4, 2, 0, 3, 6], 4, 201], [[1, 0, 1, 0, 7], 70]),\n  ('partial repair boundary #1', [[9, 3, 2], 2, 1000], [[0, 0, 4], 70]),\n  ('partial repair boundary #2', [[9, 8, 2, 9], 3, 277], [[0, 2, 2, 10], 120]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[4, 4, 3, 3, 9], 4, 29], [[1, 5, 3, 3, 9], 10])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('regression triple availability #1', [[4, 2, 0, 3, 6], 4, 201], [[1, 0, 1, 0, 7], 70]),\n  ('fault site triple availability #1', [[3, 8, 0], 2, 29], [[0, 9, 0], 10]),\n  ('partial repair boundary #1', [[9, 8, 2, 9], 3, 277], [[0, 2, 2, 10], 120]),\n  ('partial repair boundary #2', [[8, 2, 0], 2, 83], [[2, 1, 1], 40]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[4, 4, 3, 3, 9], 4, 29], [[1, 5, 3, 3, 9], 10])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[3, 3], 1, 30], [[0, 4], 10]),\n  ('fault site triple availability #2', [[3, 8], 1, 60], [[0, 9], 10]),\n  ('partial repair boundary #1', [[8, 2, 0], 2, 83], [[2, 1, 1], 40]),\n  ('partial repair boundary #2', [[4, 3, 14, 8, 20], 4, 1000], [[1, 1, 0, 1, 24], 340]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[4, 4, 3, 3, 9], 4, 29], [[1, 5, 3, 3, 9], 10])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[3, 4, 4, 3], 3, 273], [[0, 2, 2, 4], 60]),\n  ('fault site triple availability #2', [[3, 8, 9, 13], 3, 60], [[0, 3, 11, 13], 50]),\n  ('partial repair boundary #1', [[8, 4, 4], 2, 153], [[2, 0, 6], 60]),\n  ('regression triple availability #1', [[9, 0, 2], 2, 199], [[0, 0, 3], 50]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[27, 2, 2], 2, 60], [[9, 8, 2], 60])],\n [('two level cascade #1', [[9, 0, 0], 2, 1000], [[0, 0, 1], 50]),\n  ('fault site triple availability #1', [[2, 3, 9], 2, 30], [[2, 0, 10], 20]),\n  ('fault site triple availability #2', [[2, 0, 3, 3, 8], 4, 1000], [[2, 0, 0, 1, 9], 70]),\n  ('partial repair boundary #1', [[0, 9, 9, 8], 3, 1000], [[0, 0, 0, 12], 180]),\n  ('regression triple availability #1', [[3, 8, 3, 12], 3, 1000], [[0, 0, 0, 14], 130]),\n  ('budget stops second tier #1', [[9, 1, 0], 2, 30], [[0, 4, 0], 30]),\n  ('max tier untouched #1', [[0, 6], 1, 1000], [[0, 6], 0]),\n  ('control #1', [[9, 28, 24], 2, 10], [[6, 29, 24], 10])]]\nfor label, args, expected in cases[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":"Deterministic toy contract stipulated for this model; integer or exact arithmetic only, not a reproduction of any specific game engine. 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-game-economy-crafting-balance-gem-combine-triple-availability","generated_at":"2026-09-29T14:50:47.418766+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Game economies leak or destroy currency when one crafting or pricing rule is off by one boundary, rounding stage or state update; the defect is observable in exact integer outcomes.","repair":"Restore `min(g[t] // 3, (budget - gold) // price)` at the triple availability step.","root_cause":"The availability test requires more than three gems.","sha256":"63f7059f023fb192adbe79e9c0099e9723516d7a14d430c696417e74bef3cda1","title":"Gem combining cascade: An exact triple does not combine · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.996,"exit_code":1,"observations":[{"actual":[[0,3,0],30],"check":"two level cascade #1","expected":[[0,0,1],50],"passed":false},{"actual":[[0,4,10,3],50],"check":"fault site triple availability #1","expected":[[0,4,10,3],50],"passed":true},{"actual":[[1,3,0,0,7],50],"check":"regression triple availability #1","expected":[[1,0,1,0,7],70],"passed":false},{"actual":[[0,3,3],50],"check":"partial repair boundary #1","expected":[[0,0,4],70],"passed":false},{"actual":[[0,5,4,9],70],"check":"partial repair boundary #2","expected":[[0,2,2,10],120],"passed":false},{"actual":[[0,4,0],30],"check":"budget stops second tier #1","expected":[[0,4,0],30],"passed":true},{"actual":[[0,6],0],"check":"max tier untouched #1","expected":[[0,6],0],"passed":true},{"actual":[[1,5,3,3,9],10],"check":"control #1","expected":[[1,5,3,3,9],10],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"two level cascade #1\", \"actual\": [[0, 3, 0], 30], \"expected\": [[0, 0, 1], 50], \"passed\": false}, {\"check\": \"fault site triple availability #1\", \"actual\": [[0, 4, 10, 3], 50], \"expected\": [[0, 4, 10, 3], 50], \"passed\": true}, {\"check\": \"regression triple availability #1\", \"actual\": [[1, 3, 0, 0, 7], 50], \"expected\": [[1, 0, 1, 0, 7], 70], \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": [[0, 3, 3], 50], \"expected\": [[0, 0, 4], 70], \"passed\": false}, {\"check\": \"partial repair boundary #2\", \"actual\": [[0, 5, 4, 9], 70], \"expected\": [[0, 2, 2, 10], 120], \"passed\": false}, {\"check\": \"budget stops second tier #1\", \"actual\": [[0, 4, 0], 30], \"expected\": [[0, 4, 0], 30], \"passed\": true}, {\"check\": \"max tier untouched #1\", \"actual\": [[0, 6], 0], \"expected\": [[0, 6], 0], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [[1, 5, 3, 3, 9], 10], \"expected\": [[1, 5, 3, 3, 9], 10], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.28,"exit_code":1,"observations":[{"actual":[[0,3,0],30],"check":"two level cascade #1","expected":[[0,0,1],50],"passed":false},{"actual":[[3,0,11,3],60],"check":"fault site triple availability #1","expected":[[0,4,10,3],50],"passed":false},{"actual":[[1,3,0,3,6],10],"check":"regression triple availability #1","expected":[[1,0,1,0,7],70],"passed":false},{"actual":[[0,0,4],70],"check":"partial repair boundary #1","expected":[[0,0,4],70],"passed":true},{"actual":[[0,2,2,10],120],"check":"partial repair boundary #2","expected":[[0,2,2,10],120],"passed":true},{"actual":[[0,4,0],30],"check":"budget stops second tier #1","expected":[[0,4,0],30],"passed":true},{"actual":[[0,6],0],"check":"max tier untouched #1","expected":[[0,6],0],"passed":true},{"actual":[[1,5,3,3,9],10],"check":"control #1","expected":[[1,5,3,3,9],10],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"two level cascade #1\", \"actual\": [[0, 3, 0], 30], \"expected\": [[0, 0, 1], 50], \"passed\": false}, {\"check\": \"fault site triple availability #1\", \"actual\": [[3, 0, 11, 3], 60], \"expected\": [[0, 4, 10, 3], 50], \"passed\": false}, {\"check\": \"regression triple availability #1\", \"actual\": [[1, 3, 0, 3, 6], 10], \"expected\": [[1, 0, 1, 0, 7], 70], \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": [[0, 0, 4], 70], \"expected\": [[0, 0, 4], 70], \"passed\": true}, {\"check\": \"partial repair boundary #2\", \"actual\": [[0, 2, 2, 10], 120], \"expected\": [[0, 2, 2, 10], 120], \"passed\": true}, {\"check\": \"budget stops second tier #1\", \"actual\": [[0, 4, 0], 30], \"expected\": [[0, 4, 0], 30], \"passed\": true}, {\"check\": \"max tier untouched #1\", \"actual\": [[0, 6], 0], \"expected\": [[0, 6], 0], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [[1, 5, 3, 3, 9], 10], \"expected\": [[1, 5, 3, 3, 9], 10], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.136,"exit_code":0,"observations":[{"actual":[[0,0,1],50],"check":"two level cascade #1","expected":[[0,0,1],50],"passed":true},{"actual":[[0,4,10,3],50],"check":"fault site triple availability #1","expected":[[0,4,10,3],50],"passed":true},{"actual":[[1,0,1,0,7],70],"check":"regression triple availability #1","expected":[[1,0,1,0,7],70],"passed":true},{"actual":[[0,0,4],70],"check":"partial repair boundary #1","expected":[[0,0,4],70],"passed":true},{"actual":[[0,2,2,10],120],"check":"partial repair boundary #2","expected":[[0,2,2,10],120],"passed":true},{"actual":[[0,4,0],30],"check":"budget stops second tier #1","expected":[[0,4,0],30],"passed":true},{"actual":[[0,6],0],"check":"max tier untouched #1","expected":[[0,6],0],"passed":true},{"actual":[[1,5,3,3,9],10],"check":"control #1","expected":[[1,5,3,3,9],10],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"two level cascade #1\", \"actual\": [[0, 0, 1], 50], \"expected\": [[0, 0, 1], 50], \"passed\": true}, {\"check\": \"fault site triple availability #1\", \"actual\": [[0, 4, 10, 3], 50], \"expected\": [[0, 4, 10, 3], 50], \"passed\": true}, {\"check\": \"regression triple availability #1\", \"actual\": [[1, 0, 1, 0, 7], 70], \"expected\": [[1, 0, 1, 0, 7], 70], \"passed\": true}, {\"check\": \"partial repair boundary #1\", \"actual\": [[0, 0, 4], 70], \"expected\": [[0, 0, 4], 70], \"passed\": true}, {\"check\": \"partial repair boundary #2\", \"actual\": [[0, 2, 2, 10], 120], \"expected\": [[0, 2, 2, 10], 120], \"passed\": true}, {\"check\": \"budget stops second tier #1\", \"actual\": [[0, 4, 0], 30], \"expected\": [[0, 4, 0], 30], \"passed\": true}, {\"check\": \"max tier untouched #1\", \"actual\": [[0, 6], 0], \"expected\": [[0, 6], 0], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [[1, 5, 3, 3, 9], 10], \"expected\": [[1, 5, 3, 3, 9], 10], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}