{"abstract":"The deferred balance is ten times too large.","category":"Loyalty points ledgers","checks":7,"contract":"Input {issued, redeemed, value_mc (millicents per point), breakage_bp}. Deferred revenue = floor(issued*value_mc/1000) cents. Expected redemptions = floor(issued*(10000-breakage_bp)/10000); if zero return {\"error\"}. Recognized = floor(deferred*min(redeemed, expected)/expected); liability = deferred - recognized. Return {deferred, expected, recognized, liability}.","contract_signature":"x","evaluation_group":"w2-loyalty-points-ledgers-breakage-recognition","failed_approach":"Dividing by 10000 makes the balance ten times too small.","family":"w2-loyalty-points-ledgers-breakage-recognition-millicent-conversion","id":"FA-60611","implementations":{"attempt":{"sha256":"4aa1874b552ada9108ca08b2d1964c4e67e595de7f1dd741e71f2df657771dad","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    deferred = x['issued'] * x['value_mc'] // 10000\n    expected = x['issued'] * (10000 - x['breakage_bp']) // 10000\n    if expected <= 0:\n        return {'error': 'no expected redemptions'}\n    used = min(x['redeemed'], expected)\n    recognized = deferred * used // expected\n    return {'deferred': deferred, 'expected': expected, 'recognized': recognized, 'liability': deferred - recognized}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['mid program', {'issued': 100000, 'redeemed': 30001, 'value_mc': 1000, 'breakage_bp': 2000}, {'deferred': 100000, 'expected': 80000, 'recognized': 37501, 'liability': 62499}], ['fully redeemed', {'issued': 50000, 'redeemed': 45000, 'value_mc': 800, 'breakage_bp': 1001}, {'deferred': 40000, 'expected': 44995, 'recognized': 40000, 'liability': 0}], ['over redeemed', {'issued': 1000, 'redeemed': 950, 'value_mc': 1200, 'breakage_bp': 1500}, {'deferred': 1200, 'expected': 850, 'recognized': 1200, 'liability': 0}], ['fractional value', {'issued': 3333, 'redeemed': 1112, 'value_mc': 750, 'breakage_bp': 2500}, {'deferred': 2499, 'expected': 2499, 'recognized': 1112, 'liability': 1387}], ['no breakage', {'issued': 700, 'redeemed': 351, 'value_mc': 1000, 'breakage_bp': 0}, {'deferred': 700, 'expected': 700, 'recognized': 351, 'liability': 349}], ['all breakage', {'issued': 700, 'redeemed': 1, 'value_mc': 1000, 'breakage_bp': 10000}, {'error': 'no expected redemptions'}], ['tiny value', {'issued': 99999, 'redeemed': 12345, 'value_mc': 4, 'breakage_bp': 3000}, {'deferred': 399, 'expected': 69999, 'recognized': 70, 'liability': 329}]], [['mid program', {'issued': 100000, 'redeemed': 30002, 'value_mc': 1000, 'breakage_bp': 2000}, {'deferred': 100000, 'expected': 80000, 'recognized': 37502, 'liability': 62498}], ['fully redeemed', {'issued': 50000, 'redeemed': 45000, 'value_mc': 800, 'breakage_bp': 1002}, {'deferred': 40000, 'expected': 44990, 'recognized': 40000, 'liability': 0}], ['over redeemed', {'issued': 1000, 'redeemed': 950, 'value_mc': 1200, 'breakage_bp': 1500}, {'deferred': 1200, 'expected': 850, 'recognized': 1200, 'liability': 0}], ['fractional value', {'issued': 3333, 'redeemed': 1113, 'value_mc': 750, 'breakage_bp': 2500}, {'deferred': 2499, 'expected': 2499, 'recognized': 1113, 'liability': 1386}], ['no breakage', {'issued': 700, 'redeemed': 352, 'value_mc': 1000, 'breakage_bp': 0}, {'deferred': 700, 'expected': 700, 'recognized': 352, 'liability': 348}], ['all breakage', {'issued': 700, 'redeemed': 2, 'value_mc': 1000, 'breakage_bp': 10000}, {'error': 'no expected redemptions'}], ['tiny value', {'issued': 99999, 'redeemed': 12345, 'value_mc': 5, 'breakage_bp': 3000}, {'deferred': 499, 'expected': 69999, 'recognized': 88, 'liability': 411}]], [['mid program', {'issued': 100000, 'redeemed': 30003, 'value_mc': 1000, 'breakage_bp': 2000}, {'deferred': 100000, 'expected': 80000, 'recognized': 37503, 'liability': 62497}], ['fully redeemed', {'issued': 50000, 'redeemed': 45000, 'value_mc': 800, 'breakage_bp': 1003}, {'deferred': 40000, 'expected': 44985, 'recognized': 40000, 'liability': 0}], ['over redeemed', {'issued': 1000, 'redeemed': 950, 'value_mc': 1200, 'breakage_bp': 1500}, {'deferred': 1200, 'expected': 850, 'recognized': 1200, 'liability': 0}], ['fractional value', {'issued': 3333, 'redeemed': 1114, 'value_mc': 750, 'breakage_bp': 2500}, {'deferred': 2499, 'expected': 2499, 'recognized': 1114, 'liability': 1385}], ['no breakage', {'issued': 700, 'redeemed': 353, 'value_mc': 1000, 'breakage_bp': 0}, {'deferred': 700, 'expected': 700, 'recognized': 353, 'liability': 347}], ['all breakage', {'issued': 700, 'redeemed': 3, 'value_mc': 1000, 'breakage_bp': 10000}, {'error': 'no expected redemptions'}], ['tiny value', {'issued': 99999, 'redeemed': 12345, 'value_mc': 6, 'breakage_bp': 3000}, {'deferred': 599, 'expected': 69999, 'recognized': 105, 'liability': 494}]], [['mid program', {'issued': 100000, 'redeemed': 30004, 'value_mc': 1000, 'breakage_bp': 2000}, {'deferred': 100000, 'expected': 80000, 'recognized': 37505, 'liability': 62495}], ['fully redeemed', {'issued': 50000, 'redeemed': 45000, 'value_mc': 800, 'breakage_bp': 1004}, {'deferred': 40000, 'expected': 44980, 'recognized': 40000, 'liability': 0}], ['over redeemed', {'issued': 1000, 'redeemed': 950, 'value_mc': 1200, 'breakage_bp': 1500}, {'deferred': 1200, 'expected': 850, 'recognized': 1200, 'liability': 0}], ['fractional value', {'issued': 3333, 'redeemed': 1115, 'value_mc': 750, 'breakage_bp': 2500}, {'deferred': 2499, 'expected': 2499, 'recognized': 1115, 'liability': 1384}], ['no breakage', {'issued': 700, 'redeemed': 354, 'value_mc': 1000, 'breakage_bp': 0}, {'deferred': 700, 'expected': 700, 'recognized': 354, 'liability': 346}], ['all breakage', {'issued': 700, 'redeemed': 4, 'value_mc': 1000, 'breakage_bp': 10000}, {'error': 'no expected redemptions'}], ['tiny value', {'issued': 99999, 'redeemed': 12345, 'value_mc': 7, 'breakage_bp': 3000}, {'deferred': 699, 'expected': 69999, 'recognized': 123, 'liability': 576}]], [['mid program', {'issued': 100000, 'redeemed': 30005, 'value_mc': 1000, 'breakage_bp': 2000}, {'deferred': 100000, 'expected': 80000, 'recognized': 37506, 'liability': 62494}], ['fully redeemed', {'issued': 50000, 'redeemed': 45000, 'value_mc': 800, 'breakage_bp': 1005}, {'deferred': 40000, 'expected': 44975, 'recognized': 40000, 'liability': 0}], ['over redeemed', {'issued': 1000, 'redeemed': 950, 'value_mc': 1200, 'breakage_bp': 1500}, {'deferred': 1200, 'expected': 850, 'recognized': 1200, 'liability': 0}], ['fractional value', {'issued': 3333, 'redeemed': 1116, 'value_mc': 750, 'breakage_bp': 2500}, {'deferred': 2499, 'expected': 2499, 'recognized': 1116, 'liability': 1383}], ['no breakage', {'issued': 700, 'redeemed': 355, 'value_mc': 1000, 'breakage_bp': 0}, {'deferred': 700, 'expected': 700, 'recognized': 355, 'liability': 345}], ['all breakage', {'issued': 700, 'redeemed': 5, 'value_mc': 1000, 'breakage_bp': 10000}, {'error': 'no expected redemptions'}], ['tiny value', {'issued': 99999, 'redeemed': 12345, 'value_mc': 8, 'breakage_bp': 3000}, {'deferred': 799, 'expected': 69999, 'recognized': 140, 'liability': 659}]]]\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":"a64b30071d85e04f5979de79bbff83f8f4f8852ab9e8a588d966f4f667a44692","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    deferred = x['issued'] * x['value_mc'] // 100\n    expected = x['issued'] * (10000 - x['breakage_bp']) // 10000\n    if expected <= 0:\n        return {'error': 'no expected redemptions'}\n    used = min(x['redeemed'], expected)\n    recognized = deferred * used // expected\n    return {'deferred': deferred, 'expected': expected, 'recognized': recognized, 'liability': deferred - recognized}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['mid program', {'issued': 100000, 'redeemed': 30001, 'value_mc': 1000, 'breakage_bp': 2000}, {'deferred': 100000, 'expected': 80000, 'recognized': 37501, 'liability': 62499}], ['fully redeemed', {'issued': 50000, 'redeemed': 45000, 'value_mc': 800, 'breakage_bp': 1001}, {'deferred': 40000, 'expected': 44995, 'recognized': 40000, 'liability': 0}], ['over redeemed', {'issued': 1000, 'redeemed': 950, 'value_mc': 1200, 'breakage_bp': 1500}, {'deferred': 1200, 'expected': 850, 'recognized': 1200, 'liability': 0}], ['fractional value', {'issued': 3333, 'redeemed': 1112, 'value_mc': 750, 'breakage_bp': 2500}, {'deferred': 2499, 'expected': 2499, 'recognized': 1112, 'liability': 1387}], ['no breakage', {'issued': 700, 'redeemed': 351, 'value_mc': 1000, 'breakage_bp': 0}, {'deferred': 700, 'expected': 700, 'recognized': 351, 'liability': 349}], ['all breakage', {'issued': 700, 'redeemed': 1, 'value_mc': 1000, 'breakage_bp': 10000}, {'error': 'no expected redemptions'}], ['tiny value', {'issued': 99999, 'redeemed': 12345, 'value_mc': 4, 'breakage_bp': 3000}, {'deferred': 399, 'expected': 69999, 'recognized': 70, 'liability': 329}]], [['mid program', {'issued': 100000, 'redeemed': 30002, 'value_mc': 1000, 'breakage_bp': 2000}, {'deferred': 100000, 'expected': 80000, 'recognized': 37502, 'liability': 62498}], ['fully redeemed', {'issued': 50000, 'redeemed': 45000, 'value_mc': 800, 'breakage_bp': 1002}, {'deferred': 40000, 'expected': 44990, 'recognized': 40000, 'liability': 0}], ['over redeemed', {'issued': 1000, 'redeemed': 950, 'value_mc': 1200, 'breakage_bp': 1500}, {'deferred': 1200, 'expected': 850, 'recognized': 1200, 'liability': 0}], ['fractional value', {'issued': 3333, 'redeemed': 1113, 'value_mc': 750, 'breakage_bp': 2500}, {'deferred': 2499, 'expected': 2499, 'recognized': 1113, 'liability': 1386}], ['no breakage', {'issued': 700, 'redeemed': 352, 'value_mc': 1000, 'breakage_bp': 0}, {'deferred': 700, 'expected': 700, 'recognized': 352, 'liability': 348}], ['all breakage', {'issued': 700, 'redeemed': 2, 'value_mc': 1000, 'breakage_bp': 10000}, {'error': 'no expected redemptions'}], ['tiny value', {'issued': 99999, 'redeemed': 12345, 'value_mc': 5, 'breakage_bp': 3000}, {'deferred': 499, 'expected': 69999, 'recognized': 88, 'liability': 411}]], [['mid program', {'issued': 100000, 'redeemed': 30003, 'value_mc': 1000, 'breakage_bp': 2000}, {'deferred': 100000, 'expected': 80000, 'recognized': 37503, 'liability': 62497}], ['fully redeemed', {'issued': 50000, 'redeemed': 45000, 'value_mc': 800, 'breakage_bp': 1003}, {'deferred': 40000, 'expected': 44985, 'recognized': 40000, 'liability': 0}], ['over redeemed', {'issued': 1000, 'redeemed': 950, 'value_mc': 1200, 'breakage_bp': 1500}, {'deferred': 1200, 'expected': 850, 'recognized': 1200, 'liability': 0}], ['fractional value', {'issued': 3333, 'redeemed': 1114, 'value_mc': 750, 'breakage_bp': 2500}, {'deferred': 2499, 'expected': 2499, 'recognized': 1114, 'liability': 1385}], ['no breakage', {'issued': 700, 'redeemed': 353, 'value_mc': 1000, 'breakage_bp': 0}, {'deferred': 700, 'expected': 700, 'recognized': 353, 'liability': 347}], ['all breakage', {'issued': 700, 'redeemed': 3, 'value_mc': 1000, 'breakage_bp': 10000}, {'error': 'no expected redemptions'}], ['tiny value', {'issued': 99999, 'redeemed': 12345, 'value_mc': 6, 'breakage_bp': 3000}, {'deferred': 599, 'expected': 69999, 'recognized': 105, 'liability': 494}]], [['mid program', {'issued': 100000, 'redeemed': 30004, 'value_mc': 1000, 'breakage_bp': 2000}, {'deferred': 100000, 'expected': 80000, 'recognized': 37505, 'liability': 62495}], ['fully redeemed', {'issued': 50000, 'redeemed': 45000, 'value_mc': 800, 'breakage_bp': 1004}, {'deferred': 40000, 'expected': 44980, 'recognized': 40000, 'liability': 0}], ['over redeemed', {'issued': 1000, 'redeemed': 950, 'value_mc': 1200, 'breakage_bp': 1500}, {'deferred': 1200, 'expected': 850, 'recognized': 1200, 'liability': 0}], ['fractional value', {'issued': 3333, 'redeemed': 1115, 'value_mc': 750, 'breakage_bp': 2500}, {'deferred': 2499, 'expected': 2499, 'recognized': 1115, 'liability': 1384}], ['no breakage', {'issued': 700, 'redeemed': 354, 'value_mc': 1000, 'breakage_bp': 0}, {'deferred': 700, 'expected': 700, 'recognized': 354, 'liability': 346}], ['all breakage', {'issued': 700, 'redeemed': 4, 'value_mc': 1000, 'breakage_bp': 10000}, {'error': 'no expected redemptions'}], ['tiny value', {'issued': 99999, 'redeemed': 12345, 'value_mc': 7, 'breakage_bp': 3000}, {'deferred': 699, 'expected': 69999, 'recognized': 123, 'liability': 576}]], [['mid program', {'issued': 100000, 'redeemed': 30005, 'value_mc': 1000, 'breakage_bp': 2000}, {'deferred': 100000, 'expected': 80000, 'recognized': 37506, 'liability': 62494}], ['fully redeemed', {'issued': 50000, 'redeemed': 45000, 'value_mc': 800, 'breakage_bp': 1005}, {'deferred': 40000, 'expected': 44975, 'recognized': 40000, 'liability': 0}], ['over redeemed', {'issued': 1000, 'redeemed': 950, 'value_mc': 1200, 'breakage_bp': 1500}, {'deferred': 1200, 'expected': 850, 'recognized': 1200, 'liability': 0}], ['fractional value', {'issued': 3333, 'redeemed': 1116, 'value_mc': 750, 'breakage_bp': 2500}, {'deferred': 2499, 'expected': 2499, 'recognized': 1116, 'liability': 1383}], ['no breakage', {'issued': 700, 'redeemed': 355, 'value_mc': 1000, 'breakage_bp': 0}, {'deferred': 700, 'expected': 700, 'recognized': 355, 'liability': 345}], ['all breakage', {'issued': 700, 'redeemed': 5, 'value_mc': 1000, 'breakage_bp': 10000}, {'error': 'no expected redemptions'}], ['tiny value', {'issued': 99999, 'redeemed': 12345, 'value_mc': 8, 'breakage_bp': 3000}, {'deferred': 799, 'expected': 69999, 'recognized': 140, 'liability': 659}]]]\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":"Stipulated bounded loyalty-program model with explicit toy rules; not any real program terms. 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-loyalty-points-ledgers-breakage-recognition-millicent-conversion","generated_at":"2026-09-29T14:46:47.302969+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Member point balances, statements and the program liability depend on this ledger rule.","root_cause":"Millicents per point are converted to cents by dividing by 100.","sha256":"031cb1f983cb15bbe72c5c0970a4d509191dbab8951dc77a619ad8a7723df0c3","title":"Breakage-based revenue recognition: millicent conversion · 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":42.064,"exit_code":1,"observations":[{"actual":{"deferred":10000,"expected":80000,"liability":6250,"recognized":3750},"check":"mid program","expected":{"deferred":100000,"expected":80000,"liability":62499,"recognized":37501},"passed":false},{"actual":{"deferred":4000,"expected":44995,"liability":0,"recognized":4000},"check":"fully redeemed","expected":{"deferred":40000,"expected":44995,"liability":0,"recognized":40000},"passed":false},{"actual":{"deferred":120,"expected":850,"liability":0,"recognized":120},"check":"over redeemed","expected":{"deferred":1200,"expected":850,"liability":0,"recognized":1200},"passed":false},{"actual":{"deferred":249,"expected":2499,"liability":139,"recognized":110},"check":"fractional value","expected":{"deferred":2499,"expected":2499,"liability":1387,"recognized":1112},"passed":false},{"actual":{"deferred":70,"expected":700,"liability":35,"recognized":35},"check":"no breakage","expected":{"deferred":700,"expected":700,"liability":349,"recognized":351},"passed":false},{"actual":{"error":"no expected redemptions"},"check":"all breakage","expected":{"error":"no expected redemptions"},"passed":true},{"actual":{"deferred":39,"expected":69999,"liability":33,"recognized":6},"check":"tiny value","expected":{"deferred":399,"expected":69999,"liability":329,"recognized":70},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mid program\", \"actual\": {\"deferred\": 10000, \"expected\": 80000, \"recognized\": 3750, \"liability\": 6250}, \"expected\": {\"deferred\": 100000, \"expected\": 80000, \"recognized\": 37501, \"liability\": 62499}, \"passed\": false}, {\"check\": \"fully redeemed\", \"actual\": {\"deferred\": 4000, \"expected\": 44995, \"recognized\": 4000, \"liability\": 0}, \"expected\": {\"deferred\": 40000, \"expected\": 44995, \"recognized\": 40000, \"liability\": 0}, \"passed\": false}, {\"check\": \"over redeemed\", \"actual\": {\"deferred\": 120, \"expected\": 850, \"recognized\": 120, \"liability\": 0}, \"expected\": {\"deferred\": 1200, \"expected\": 850, \"recognized\": 1200, \"liability\": 0}, \"passed\": false}, {\"check\": \"fractional value\", \"actual\": {\"deferred\": 249, \"expected\": 2499, \"recognized\": 110, \"liability\": 139}, \"expected\": {\"deferred\": 2499, \"expected\": 2499, \"recognized\": 1112, \"liability\": 1387}, \"passed\": false}, {\"check\": \"no breakage\", \"actual\": {\"deferred\": 70, \"expected\": 700, \"recognized\": 35, \"liability\": 35}, \"expected\": {\"deferred\": 700, \"expected\": 700, \"recognized\": 351, \"liability\": 349}, \"passed\": false}, {\"check\": \"all breakage\", \"actual\": {\"error\": \"no expected redemptions\"}, \"expected\": {\"error\": \"no expected redemptions\"}, \"passed\": true}, {\"check\": \"tiny value\", \"actual\": {\"deferred\": 39, \"expected\": 69999, \"recognized\": 6, \"liability\": 33}, \"expected\": {\"deferred\": 399, \"expected\": 69999, \"recognized\": 70, \"liability\": 329}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.738,"exit_code":1,"observations":[{"actual":{"deferred":1000000,"expected":80000,"liability":624988,"recognized":375012},"check":"mid program","expected":{"deferred":100000,"expected":80000,"liability":62499,"recognized":37501},"passed":false},{"actual":{"deferred":400000,"expected":44995,"liability":0,"recognized":400000},"check":"fully redeemed","expected":{"deferred":40000,"expected":44995,"liability":0,"recognized":40000},"passed":false},{"actual":{"deferred":12000,"expected":850,"liability":0,"recognized":12000},"check":"over redeemed","expected":{"deferred":1200,"expected":850,"liability":0,"recognized":1200},"passed":false},{"actual":{"deferred":24997,"expected":2499,"liability":13874,"recognized":11123},"check":"fractional value","expected":{"deferred":2499,"expected":2499,"liability":1387,"recognized":1112},"passed":false},{"actual":{"deferred":7000,"expected":700,"liability":3490,"recognized":3510},"check":"no breakage","expected":{"deferred":700,"expected":700,"liability":349,"recognized":351},"passed":false},{"actual":{"error":"no expected redemptions"},"check":"all breakage","expected":{"error":"no expected redemptions"},"passed":true},{"actual":{"deferred":3999,"expected":69999,"liability":3294,"recognized":705},"check":"tiny value","expected":{"deferred":399,"expected":69999,"liability":329,"recognized":70},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mid program\", \"actual\": {\"deferred\": 1000000, \"expected\": 80000, \"recognized\": 375012, \"liability\": 624988}, \"expected\": {\"deferred\": 100000, \"expected\": 80000, \"recognized\": 37501, \"liability\": 62499}, \"passed\": false}, {\"check\": \"fully redeemed\", \"actual\": {\"deferred\": 400000, \"expected\": 44995, \"recognized\": 400000, \"liability\": 0}, \"expected\": {\"deferred\": 40000, \"expected\": 44995, \"recognized\": 40000, \"liability\": 0}, \"passed\": false}, {\"check\": \"over redeemed\", \"actual\": {\"deferred\": 12000, \"expected\": 850, \"recognized\": 12000, \"liability\": 0}, \"expected\": {\"deferred\": 1200, \"expected\": 850, \"recognized\": 1200, \"liability\": 0}, \"passed\": false}, {\"check\": \"fractional value\", \"actual\": {\"deferred\": 24997, \"expected\": 2499, \"recognized\": 11123, \"liability\": 13874}, \"expected\": {\"deferred\": 2499, \"expected\": 2499, \"recognized\": 1112, \"liability\": 1387}, \"passed\": false}, {\"check\": \"no breakage\", \"actual\": {\"deferred\": 7000, \"expected\": 700, \"recognized\": 3510, \"liability\": 3490}, \"expected\": {\"deferred\": 700, \"expected\": 700, \"recognized\": 351, \"liability\": 349}, \"passed\": false}, {\"check\": \"all breakage\", \"actual\": {\"error\": \"no expected redemptions\"}, \"expected\": {\"error\": \"no expected redemptions\"}, \"passed\": true}, {\"check\": \"tiny value\", \"actual\": {\"deferred\": 3999, \"expected\": 69999, \"recognized\": 705, \"liability\": 3294}, \"expected\": {\"deferred\": 399, \"expected\": 69999, \"recognized\": 70, \"liability\": 329}, \"passed\": false}], \"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."}}