{"abstract":"Sales exactly on a half-copper cut pay too little fee.","category":"Game economy crafting balance","checks":8,"contract":"Deposit = per_block * (hours//12) where per_block = max(1, floor(stack_value*15/100)). Sold: net = price - cut with cut = 5% of price rounded half up (deposit refunded). Expired: net = -deposit. Cancelled: net = -deposit - floor(bid*5/100) (bid defaults to 0). Returns {deposit, net} in copper.","contract_signature":"listing, outcome","evaluation_group":"w2-game-economy-crafting-balance-auction-fees","failed_approach":"Ceiling rounding overcharges every sale with any fractional cut.","family":"w2-game-economy-crafting-balance-auction-fees-cut-rounding","id":"FA-85986","implementations":{"attempt":{"sha256":"579e4718cb5397efc631d094a725b31f89b852e3aec0fa1535647c8341125850","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(listing, outcome):\n    blocks = listing['hours'] // 12\n    per_block = max(1, listing['stack_value'] * 15 // 100)\n    deposit = per_block * blocks\n    status = outcome['status']\n    if status == 'sold':\n        cut = (listing['price'] * 5 + 99) // 100\n        net = listing['price'] - cut\n    elif status == 'cancelled':\n        net = -deposit - outcome.get('bid', 0) * 5 // 100\n    else:\n        net = -deposit\n    return {'deposit': deposit, 'net': net}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('half-up cut boundary #1',\n   [{'price': 10, 'hours': 12, 'stack_value': 100}, {'status': 'sold'}],\n   {'deposit': 15, 'net': 9}),\n  ('fault site cut rounding #1',\n   [{'price': 30, 'hours': 12, 'stack_value': 6}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 28}),\n  ('fault site cut rounding #2',\n   [{'price': 190, 'hours': 12, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 180}),\n  ('partial repair boundary #1',\n   [{'price': 1, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 1}),\n  ('partial repair boundary #2',\n   [{'price': 5141, 'hours': 12, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 4884}),\n  ('long cheap listing #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 3}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4}),\n  ('cancel with bid #1',\n   [{'price': 500, 'hours': 24, 'stack_value': 40}, {'status': 'cancelled', 'bid': 390}],\n   {'deposit': 12, 'net': -31}),\n  ('control #1',\n   [{'price': 11, 'hours': 24, 'stack_value': 13}, {'status': 'cancelled', 'bid': 0}],\n   {'deposit': 2, 'net': -2})],\n [('half-up cut boundary #1',\n   [{'price': 10, 'hours': 12, 'stack_value': 100}, {'status': 'sold'}],\n   {'deposit': 15, 'net': 9}),\n  ('fault site cut rounding #1',\n   [{'price': 190, 'hours': 12, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 180}),\n  ('fault site cut rounding #2',\n   [{'price': 30, 'hours': 24, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\n  ('partial repair boundary #1',\n   [{'price': 34146, 'hours': 48, 'stack_value': 3106}, {'status': 'sold'}],\n   {'deposit': 1860, 'net': 32439}),\n  ('partial repair boundary #2',\n   [{'price': 9, 'hours': 48, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 9}),\n  ('long cheap listing #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 3}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4}),\n  ('cancel with bid #1',\n   [{'price': 500, 'hours': 24, 'stack_value': 40}, {'status': 'cancelled', 'bid': 390}],\n   {'deposit': 12, 'net': -31}),\n  ('control #1',\n   [{'price': 11, 'hours': 24, 'stack_value': 13}, {'status': 'cancelled', 'bid': 0}],\n   {'deposit': 2, 'net': -2})],\n [('half-up cut boundary #1',\n   [{'price': 10, 'hours': 12, 'stack_value': 100}, {'status': 'sold'}],\n   {'deposit': 15, 'net': 9}),\n  ('fault site cut rounding #1',\n   [{'price': 10, 'hours': 24, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 9}),\n  ('fault site cut rounding #2',\n   [{'price': 91070, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 86516}),\n  ('partial repair boundary #1',\n   [{'price': 72766, 'hours': 24, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 69128}),\n  ('partial repair boundary #2',\n   [{'price': 9, 'hours': 12, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 9}),\n  ('long cheap listing #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 3}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4}),\n  ('cancel with bid #1',\n   [{'price': 500, 'hours': 24, 'stack_value': 40}, {'status': 'cancelled', 'bid': 390}],\n   {'deposit': 12, 'net': -31}),\n  ('control #1',\n   [{'price': 11, 'hours': 24, 'stack_value': 13}, {'status': 'cancelled', 'bid': 0}],\n   {'deposit': 2, 'net': -2})],\n [('half-up cut boundary #1',\n   [{'price': 10, 'hours': 12, 'stack_value': 100}, {'status': 'sold'}],\n   {'deposit': 15, 'net': 9}),\n  ('fault site cut rounding #1',\n   [{'price': 30, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\n  ('fault site cut rounding #2',\n   [{'price': 190, 'hours': 12, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 180}),\n  ('partial repair boundary #1',\n   [{'price': 9, 'hours': 48, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 9}),\n  ('partial repair boundary #2',\n   [{'price': 74548, 'hours': 48, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 70821}),\n  ('long cheap listing #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 3}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4}),\n  ('cancel with bid #1',\n   [{'price': 500, 'hours': 24, 'stack_value': 40}, {'status': 'cancelled', 'bid': 390}],\n   {'deposit': 12, 'net': -31}),\n  ('control #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 0}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4})],\n [('half-up cut boundary #1',\n   [{'price': 10, 'hours': 12, 'stack_value': 100}, {'status': 'sold'}],\n   {'deposit': 15, 'net': 9}),\n  ('fault site cut rounding #1',\n   [{'price': 30, 'hours': 12, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 28}),\n  ('fault site cut rounding #2',\n   [{'price': 70012, 'hours': 12, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 66511}),\n  ('partial repair boundary #1',\n   [{'price': 9, 'hours': 48, 'stack_value': 6}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 9}),\n  ('partial repair boundary #2',\n   [{'price': 1, 'hours': 48, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 1}),\n  ('long cheap listing #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 3}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4}),\n  ('cancel with bid #1',\n   [{'price': 500, 'hours': 24, 'stack_value': 40}, {'status': 'cancelled', 'bid': 390}],\n   {'deposit': 12, 'net': -31}),\n  ('control #1',\n   [{'price': 50, 'hours': 24, 'stack_value': 6}, {'status': 'expired'}],\n   {'deposit': 2, 'net': -2})]]\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":"7e6c18aa1239fb3d328ecb409a17e8acf8f9bab5cce8099e05235e169fd2a623","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(listing, outcome):\n    blocks = listing['hours'] // 12\n    per_block = max(1, listing['stack_value'] * 15 // 100)\n    deposit = per_block * blocks\n    status = outcome['status']\n    if status == 'sold':\n        cut = listing['price'] * 5 // 100\n        net = listing['price'] - cut\n    elif status == 'cancelled':\n        net = -deposit - outcome.get('bid', 0) * 5 // 100\n    else:\n        net = -deposit\n    return {'deposit': deposit, 'net': net}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('half-up cut boundary #1',\n   [{'price': 10, 'hours': 12, 'stack_value': 100}, {'status': 'sold'}],\n   {'deposit': 15, 'net': 9}),\n  ('fault site cut rounding #1',\n   [{'price': 30, 'hours': 12, 'stack_value': 6}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 28}),\n  ('fault site cut rounding #2',\n   [{'price': 190, 'hours': 12, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 180}),\n  ('partial repair boundary #1',\n   [{'price': 1, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 1}),\n  ('partial repair boundary #2',\n   [{'price': 5141, 'hours': 12, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 4884}),\n  ('long cheap listing #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 3}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4}),\n  ('cancel with bid #1',\n   [{'price': 500, 'hours': 24, 'stack_value': 40}, {'status': 'cancelled', 'bid': 390}],\n   {'deposit': 12, 'net': -31}),\n  ('control #1',\n   [{'price': 11, 'hours': 24, 'stack_value': 13}, {'status': 'cancelled', 'bid': 0}],\n   {'deposit': 2, 'net': -2})],\n [('half-up cut boundary #1',\n   [{'price': 10, 'hours': 12, 'stack_value': 100}, {'status': 'sold'}],\n   {'deposit': 15, 'net': 9}),\n  ('fault site cut rounding #1',\n   [{'price': 190, 'hours': 12, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 180}),\n  ('fault site cut rounding #2',\n   [{'price': 30, 'hours': 24, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\n  ('partial repair boundary #1',\n   [{'price': 34146, 'hours': 48, 'stack_value': 3106}, {'status': 'sold'}],\n   {'deposit': 1860, 'net': 32439}),\n  ('partial repair boundary #2',\n   [{'price': 9, 'hours': 48, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 9}),\n  ('long cheap listing #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 3}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4}),\n  ('cancel with bid #1',\n   [{'price': 500, 'hours': 24, 'stack_value': 40}, {'status': 'cancelled', 'bid': 390}],\n   {'deposit': 12, 'net': -31}),\n  ('control #1',\n   [{'price': 11, 'hours': 24, 'stack_value': 13}, {'status': 'cancelled', 'bid': 0}],\n   {'deposit': 2, 'net': -2})],\n [('half-up cut boundary #1',\n   [{'price': 10, 'hours': 12, 'stack_value': 100}, {'status': 'sold'}],\n   {'deposit': 15, 'net': 9}),\n  ('fault site cut rounding #1',\n   [{'price': 10, 'hours': 24, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 9}),\n  ('fault site cut rounding #2',\n   [{'price': 91070, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 86516}),\n  ('partial repair boundary #1',\n   [{'price': 72766, 'hours': 24, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 69128}),\n  ('partial repair boundary #2',\n   [{'price': 9, 'hours': 12, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 9}),\n  ('long cheap listing #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 3}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4}),\n  ('cancel with bid #1',\n   [{'price': 500, 'hours': 24, 'stack_value': 40}, {'status': 'cancelled', 'bid': 390}],\n   {'deposit': 12, 'net': -31}),\n  ('control #1',\n   [{'price': 11, 'hours': 24, 'stack_value': 13}, {'status': 'cancelled', 'bid': 0}],\n   {'deposit': 2, 'net': -2})],\n [('half-up cut boundary #1',\n   [{'price': 10, 'hours': 12, 'stack_value': 100}, {'status': 'sold'}],\n   {'deposit': 15, 'net': 9}),\n  ('fault site cut rounding #1',\n   [{'price': 30, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\n  ('fault site cut rounding #2',\n   [{'price': 190, 'hours': 12, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 180}),\n  ('partial repair boundary #1',\n   [{'price': 9, 'hours': 48, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 9}),\n  ('partial repair boundary #2',\n   [{'price': 74548, 'hours': 48, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 70821}),\n  ('long cheap listing #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 3}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4}),\n  ('cancel with bid #1',\n   [{'price': 500, 'hours': 24, 'stack_value': 40}, {'status': 'cancelled', 'bid': 390}],\n   {'deposit': 12, 'net': -31}),\n  ('control #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 0}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4})],\n [('half-up cut boundary #1',\n   [{'price': 10, 'hours': 12, 'stack_value': 100}, {'status': 'sold'}],\n   {'deposit': 15, 'net': 9}),\n  ('fault site cut rounding #1',\n   [{'price': 30, 'hours': 12, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 28}),\n  ('fault site cut rounding #2',\n   [{'price': 70012, 'hours': 12, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 66511}),\n  ('partial repair boundary #1',\n   [{'price': 9, 'hours': 48, 'stack_value': 6}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 9}),\n  ('partial repair boundary #2',\n   [{'price': 1, 'hours': 48, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 1}),\n  ('long cheap listing #1',\n   [{'price': 10, 'hours': 48, 'stack_value': 3}, {'status': 'expired'}],\n   {'deposit': 4, 'net': -4}),\n  ('cancel with bid #1',\n   [{'price': 500, 'hours': 24, 'stack_value': 40}, {'status': 'cancelled', 'bid': 390}],\n   {'deposit': 12, 'net': -31}),\n  ('control #1',\n   [{'price': 50, 'hours': 24, 'stack_value': 6}, {'status': 'expired'}],\n   {'deposit': 2, 'net': -2})]]\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-auction-fees-cut-rounding","generated_at":"2026-09-29T14:50:45.448088+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.","root_cause":"The cut is floored rather than rounded half up.","sha256":"c8169499644ea88dc3a1ec7e59f912a779c59ded1cf184b0e8852d164054aa64","title":"Auction house fees: Auction cut truncates halves · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":38.726,"exit_code":1,"observations":[{"actual":{"deposit":15,"net":9},"check":"half-up cut boundary #1","expected":{"deposit":15,"net":9},"passed":true},{"actual":{"deposit":1,"net":28},"check":"fault site cut rounding #1","expected":{"deposit":1,"net":28},"passed":true},{"actual":{"deposit":1,"net":180},"check":"fault site cut rounding #2","expected":{"deposit":1,"net":180},"passed":true},{"actual":{"deposit":2,"net":0},"check":"partial repair boundary #1","expected":{"deposit":2,"net":1},"passed":false},{"actual":{"deposit":1,"net":4883},"check":"partial repair boundary #2","expected":{"deposit":1,"net":4884},"passed":false},{"actual":{"deposit":4,"net":-4},"check":"long cheap listing #1","expected":{"deposit":4,"net":-4},"passed":true},{"actual":{"deposit":12,"net":-31},"check":"cancel with bid #1","expected":{"deposit":12,"net":-31},"passed":true},{"actual":{"deposit":2,"net":-2},"check":"control #1","expected":{"deposit":2,"net":-2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"half-up cut boundary #1\", \"actual\": {\"deposit\": 15, \"net\": 9}, \"expected\": {\"deposit\": 15, \"net\": 9}, \"passed\": true}, {\"check\": \"fault site cut rounding #1\", \"actual\": {\"deposit\": 1, \"net\": 28}, \"expected\": {\"deposit\": 1, \"net\": 28}, \"passed\": true}, {\"check\": \"fault site cut rounding #2\", \"actual\": {\"deposit\": 1, \"net\": 180}, \"expected\": {\"deposit\": 1, \"net\": 180}, \"passed\": true}, {\"check\": \"partial repair boundary #1\", \"actual\": {\"deposit\": 2, \"net\": 0}, \"expected\": {\"deposit\": 2, \"net\": 1}, \"passed\": false}, {\"check\": \"partial repair boundary #2\", \"actual\": {\"deposit\": 1, \"net\": 4883}, \"expected\": {\"deposit\": 1, \"net\": 4884}, \"passed\": false}, {\"check\": \"long cheap listing #1\", \"actual\": {\"deposit\": 4, \"net\": -4}, \"expected\": {\"deposit\": 4, \"net\": -4}, \"passed\": true}, {\"check\": \"cancel with bid #1\", \"actual\": {\"deposit\": 12, \"net\": -31}, \"expected\": {\"deposit\": 12, \"net\": -31}, \"passed\": true}, {\"check\": \"control #1\", \"actual\": {\"deposit\": 2, \"net\": -2}, \"expected\": {\"deposit\": 2, \"net\": -2}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.728,"exit_code":1,"observations":[{"actual":{"deposit":15,"net":10},"check":"half-up cut boundary #1","expected":{"deposit":15,"net":9},"passed":false},{"actual":{"deposit":1,"net":29},"check":"fault site cut rounding #1","expected":{"deposit":1,"net":28},"passed":false},{"actual":{"deposit":1,"net":181},"check":"fault site cut rounding #2","expected":{"deposit":1,"net":180},"passed":false},{"actual":{"deposit":2,"net":1},"check":"partial repair boundary #1","expected":{"deposit":2,"net":1},"passed":true},{"actual":{"deposit":1,"net":4884},"check":"partial repair boundary #2","expected":{"deposit":1,"net":4884},"passed":true},{"actual":{"deposit":4,"net":-4},"check":"long cheap listing #1","expected":{"deposit":4,"net":-4},"passed":true},{"actual":{"deposit":12,"net":-31},"check":"cancel with bid #1","expected":{"deposit":12,"net":-31},"passed":true},{"actual":{"deposit":2,"net":-2},"check":"control #1","expected":{"deposit":2,"net":-2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"half-up cut boundary #1\", \"actual\": {\"deposit\": 15, \"net\": 10}, \"expected\": {\"deposit\": 15, \"net\": 9}, \"passed\": false}, {\"check\": \"fault site cut rounding #1\", \"actual\": {\"deposit\": 1, \"net\": 29}, \"expected\": {\"deposit\": 1, \"net\": 28}, \"passed\": false}, {\"check\": \"fault site cut rounding #2\", \"actual\": {\"deposit\": 1, \"net\": 181}, \"expected\": {\"deposit\": 1, \"net\": 180}, \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": {\"deposit\": 2, \"net\": 1}, \"expected\": {\"deposit\": 2, \"net\": 1}, \"passed\": true}, {\"check\": \"partial repair boundary #2\", \"actual\": {\"deposit\": 1, \"net\": 4884}, \"expected\": {\"deposit\": 1, \"net\": 4884}, \"passed\": true}, {\"check\": \"long cheap listing #1\", \"actual\": {\"deposit\": 4, \"net\": -4}, \"expected\": {\"deposit\": 4, \"net\": -4}, \"passed\": true}, {\"check\": \"cancel with bid #1\", \"actual\": {\"deposit\": 12, \"net\": -31}, \"expected\": {\"deposit\": 12, \"net\": -31}, \"passed\": true}, {\"check\": \"control #1\", \"actual\": {\"deposit\": 2, \"net\": -2}, \"expected\": {\"deposit\": 2, \"net\": -2}, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}