{"abstract":"Successful sellers lose their deposit as if the listing expired.","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":"Withholding one block still charges part of a refundable deposit.","family":"w2-game-economy-crafting-balance-auction-fees-deposit-refund-on-sale","id":"FA-85991","implementations":{"attempt":{"sha256":"093415292bb41aac51fe57a01b3bddfbcd4b8b19e3c3b215be723a67067e9537","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 + 50) // 100\n        net = listing['price'] - cut - per_block\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  ('regression deposit refund on sale #1',\n   [{'price': 1, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 1}),\n  ('regression deposit refund on sale #2',\n   [{'price': 30, 'hours': 12, 'stack_value': 6}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 28}),\n  ('regression deposit refund on sale #3',\n   [{'price': 190, 'hours': 12, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 180}),\n  ('regression deposit refund on sale #4',\n   [{'price': 30, 'hours': 24, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\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  ('regression deposit refund on sale #1',\n   [{'price': 30, 'hours': 12, 'stack_value': 6}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 28}),\n  ('regression deposit refund on sale #2',\n   [{'price': 190, 'hours': 12, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 180}),\n  ('regression deposit refund on sale #3',\n   [{'price': 30, 'hours': 24, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\n  ('regression deposit refund on sale #4',\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  ('regression deposit refund on sale #1',\n   [{'price': 30, 'hours': 24, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\n  ('regression deposit refund on sale #2',\n   [{'price': 5141, 'hours': 12, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 4884}),\n  ('regression deposit refund on sale #3',\n   [{'price': 34146, 'hours': 48, 'stack_value': 3106}, {'status': 'sold'}],\n   {'deposit': 1860, 'net': 32439}),\n  ('regression deposit refund on sale #4',\n   [{'price': 10, 'hours': 24, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 2, '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  ('regression deposit refund on sale #1',\n   [{'price': 34146, 'hours': 48, 'stack_value': 3106}, {'status': 'sold'}],\n   {'deposit': 1860, 'net': 32439}),\n  ('regression deposit refund on sale #2',\n   [{'price': 10, 'hours': 24, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 9}),\n  ('regression deposit refund on sale #3',\n   [{'price': 9, 'hours': 48, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 9}),\n  ('regression deposit refund on sale #4',\n   [{'price': 91070, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 86516}),\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  ('regression deposit refund on sale #1',\n   [{'price': 9, 'hours': 48, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 9}),\n  ('regression deposit refund on sale #2',\n   [{'price': 91070, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 86516}),\n  ('regression deposit refund on sale #3',\n   [{'price': 72766, 'hours': 24, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 69128}),\n  ('regression deposit refund on sale #4',\n   [{'price': 30, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\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":"a91e433c516b3a692349632e9e8ae70f7746e313adee1593b0225ce3b20b83b8","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 + 50) // 100\n        net = listing['price'] - cut - deposit\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  ('regression deposit refund on sale #1',\n   [{'price': 1, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 1}),\n  ('regression deposit refund on sale #2',\n   [{'price': 30, 'hours': 12, 'stack_value': 6}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 28}),\n  ('regression deposit refund on sale #3',\n   [{'price': 190, 'hours': 12, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 180}),\n  ('regression deposit refund on sale #4',\n   [{'price': 30, 'hours': 24, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\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  ('regression deposit refund on sale #1',\n   [{'price': 30, 'hours': 12, 'stack_value': 6}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 28}),\n  ('regression deposit refund on sale #2',\n   [{'price': 190, 'hours': 12, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 180}),\n  ('regression deposit refund on sale #3',\n   [{'price': 30, 'hours': 24, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\n  ('regression deposit refund on sale #4',\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  ('regression deposit refund on sale #1',\n   [{'price': 30, 'hours': 24, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\n  ('regression deposit refund on sale #2',\n   [{'price': 5141, 'hours': 12, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 1, 'net': 4884}),\n  ('regression deposit refund on sale #3',\n   [{'price': 34146, 'hours': 48, 'stack_value': 3106}, {'status': 'sold'}],\n   {'deposit': 1860, 'net': 32439}),\n  ('regression deposit refund on sale #4',\n   [{'price': 10, 'hours': 24, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 2, '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  ('regression deposit refund on sale #1',\n   [{'price': 34146, 'hours': 48, 'stack_value': 3106}, {'status': 'sold'}],\n   {'deposit': 1860, 'net': 32439}),\n  ('regression deposit refund on sale #2',\n   [{'price': 10, 'hours': 24, 'stack_value': 0}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 9}),\n  ('regression deposit refund on sale #3',\n   [{'price': 9, 'hours': 48, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 9}),\n  ('regression deposit refund on sale #4',\n   [{'price': 91070, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 86516}),\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  ('regression deposit refund on sale #1',\n   [{'price': 9, 'hours': 48, 'stack_value': 1}, {'status': 'sold'}],\n   {'deposit': 4, 'net': 9}),\n  ('regression deposit refund on sale #2',\n   [{'price': 91070, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 86516}),\n  ('regression deposit refund on sale #3',\n   [{'price': 72766, 'hours': 24, 'stack_value': 13}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 69128}),\n  ('regression deposit refund on sale #4',\n   [{'price': 30, 'hours': 24, 'stack_value': 7}, {'status': 'sold'}],\n   {'deposit': 2, 'net': 28}),\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-deposit-refund-on-sale","generated_at":"2026-09-29T14:50:45.490767+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 sale branch still subtracts the deposit, which is refunded on sale.","sha256":"325a237549df47f356b17839d05b2cb97f718895d6f937124ff8f55a15517cec","title":"Auction house fees: Sold listings keep the deposit · 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":39.435,"exit_code":1,"observations":[{"actual":{"deposit":15,"net":-6},"check":"half-up cut boundary #1","expected":{"deposit":15,"net":9},"passed":false},{"actual":{"deposit":2,"net":0},"check":"regression deposit refund on sale #1","expected":{"deposit":2,"net":1},"passed":false},{"actual":{"deposit":1,"net":27},"check":"regression deposit refund on sale #2","expected":{"deposit":1,"net":28},"passed":false},{"actual":{"deposit":1,"net":179},"check":"regression deposit refund on sale #3","expected":{"deposit":1,"net":180},"passed":false},{"actual":{"deposit":2,"net":27},"check":"regression deposit refund on sale #4","expected":{"deposit":2,"net":28},"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\": -6}, \"expected\": {\"deposit\": 15, \"net\": 9}, \"passed\": false}, {\"check\": \"regression deposit refund on sale #1\", \"actual\": {\"deposit\": 2, \"net\": 0}, \"expected\": {\"deposit\": 2, \"net\": 1}, \"passed\": false}, {\"check\": \"regression deposit refund on sale #2\", \"actual\": {\"deposit\": 1, \"net\": 27}, \"expected\": {\"deposit\": 1, \"net\": 28}, \"passed\": false}, {\"check\": \"regression deposit refund on sale #3\", \"actual\": {\"deposit\": 1, \"net\": 179}, \"expected\": {\"deposit\": 1, \"net\": 180}, \"passed\": false}, {\"check\": \"regression deposit refund on sale #4\", \"actual\": {\"deposit\": 2, \"net\": 27}, \"expected\": {\"deposit\": 2, \"net\": 28}, \"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":39.238,"exit_code":1,"observations":[{"actual":{"deposit":15,"net":-6},"check":"half-up cut boundary #1","expected":{"deposit":15,"net":9},"passed":false},{"actual":{"deposit":2,"net":-1},"check":"regression deposit refund on sale #1","expected":{"deposit":2,"net":1},"passed":false},{"actual":{"deposit":1,"net":27},"check":"regression deposit refund on sale #2","expected":{"deposit":1,"net":28},"passed":false},{"actual":{"deposit":1,"net":179},"check":"regression deposit refund on sale #3","expected":{"deposit":1,"net":180},"passed":false},{"actual":{"deposit":2,"net":26},"check":"regression deposit refund on sale #4","expected":{"deposit":2,"net":28},"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\": -6}, \"expected\": {\"deposit\": 15, \"net\": 9}, \"passed\": false}, {\"check\": \"regression deposit refund on sale #1\", \"actual\": {\"deposit\": 2, \"net\": -1}, \"expected\": {\"deposit\": 2, \"net\": 1}, \"passed\": false}, {\"check\": \"regression deposit refund on sale #2\", \"actual\": {\"deposit\": 1, \"net\": 27}, \"expected\": {\"deposit\": 1, \"net\": 28}, \"passed\": false}, {\"check\": \"regression deposit refund on sale #3\", \"actual\": {\"deposit\": 1, \"net\": 179}, \"expected\": {\"deposit\": 1, \"net\": 180}, \"passed\": false}, {\"check\": \"regression deposit refund on sale #4\", \"actual\": {\"deposit\": 2, \"net\": 26}, \"expected\": {\"deposit\": 2, \"net\": 28}, \"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"}},"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."}}