FAILURE MAP
← Case archive

FA-85931 / Game economy crafting balance / Open access

Banner pity counter: Featured guarantee is never consumed · case 01

Every hit after one lost fifty-fifty is featured forever.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

A featured hit leaves the guarantee flag untouched.

VERIFIED REPAIR

Restore `guarantee = False` at the guarantee consumption step.

Unsuccessful approach: Toggling the flag turns a naturally won fifty-fifty into a free guarantee.

Case contract

Each roll is 0..999. Pull number n = pity+1. Top-rarity rate is 6 per mille, plus 50*(n-73) from n >= 74 (soft pity); n >= 90 always hits. On a hit pity resets to 0; the item is featured ("F") if guarantee is set or the roll is even, otherwise lost ("L") and the guarantee is set; a featured hit clears the guarantee. Misses ("-") set pity = n.

Why this case matters

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.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(rolls, state):
    pity = state['pity']
    guarantee = state['guarantee']
    out = []
    for r in rolls:
        n = pity + 1
        rate = 6
        if n >= 74:
            rate += 50 * (n - 73)
        if n >= 90 or r < rate:
            pity = 0
            if guarantee or r % 2 == 0:
                out.append('F')
                pass
            else:
                out.append('L')
                guarantee = True
        else:
            pity = n
            out.append('-')
    return {'results': ''.join(out), 'pity': pity, 'guarantee': guarantee}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[('first soft pity pull #1',
   [[100, 3], {'pity': 73, 'guarantee': True}],
   {'results': '-F', 'pity': 0, 'guarantee': False}),
  ('lost fifty fifty then featured #1',
   [[1, 999, 0], {'pity': 10, 'guarantee': False}],
   {'results': 'L-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],
   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),
  ('partial repair boundary #1',
   [[4, 155, 441, 951, 967, 353, 21], {'pity': 68, 'guarantee': False}],
   {'results': 'F------', 'pity': 6, 'guarantee': False}),
  ('partial repair boundary #2',
   [[4, 42, 253, 999, 775, 819, 42, 973, 811, 307, 835, 958, 247, 22], {'pity': 73, 'guarantee': False}],
   {'results': 'F-------------', 'pity': 13, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1',
   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],
   {'results': '-L------------', 'pity': 12, 'guarantee': True}),
  ('control #2', [[911], {'pity': 73, 'guarantee': True}], {'results': '-', 'pity': 74, 'guarantee': True})],
 [('lost fifty fifty then featured #1',
   [[1, 999, 0], {'pity': 10, 'guarantee': False}],
   {'results': 'L-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],
   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],
   {'results': '--F--', 'pity': 2, 'guarantee': False}),
  ('partial repair boundary #1',
   [[4], {'pity': 73, 'guarantee': False}],
   {'results': 'F', 'pity': 0, 'guarantee': False}),
  ('regression guarantee consumption #1',
   [[50, 38, 898, 817, 564, 877, 22, 812, 15, 0, 190], {'pity': 73, 'guarantee': True}],
   {'results': 'F--------F-', 'pity': 1, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1', [[911], {'pity': 73, 'guarantee': True}], {'results': '-', 'pity': 74, 'guarantee': True}),
  ('control #2',
   [[18, 973, 5], {'pity': 72, 'guarantee': False}],
   {'results': '--L', 'pity': 0, 'guarantee': True})],
 [('first soft pity pull #1',
   [[100, 3], {'pity': 73, 'guarantee': True}],
   {'results': '-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],
    {'pity': 89, 'guarantee': True}],
   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[935, 90, 29, 166, 937, 997, 903, 315, 848, 1, 893, 36, 218, 730, 858, 726, 972, 10],
    {'pity': 89, 'guarantee': True}],
   {'results': 'F--------L--------', 'pity': 8, 'guarantee': True}),
  ('partial repair boundary #1',
   [[30, 806], {'pity': 83, 'guarantee': False}],
   {'results': 'F-', 'pity': 1, 'guarantee': False}),
  ('partial repair boundary #2',
   [[891, 307, 20, 907, 30, 974, 462, 957, 860, 624, 42, 985, 46], {'pity': 73, 'guarantee': False}],
   {'results': '--F----------', 'pity': 10, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1',
   [[685, 976, 49, 33, 16, 30, 427, 839], {'pity': 0, 'guarantee': False}],
   {'results': '--------', 'pity': 8, 'guarantee': False}),
  ('control #2',
   [[773, 957, 60, 353, 59, 19, 862, 820, 993, 27, 22, 893, 950], {'pity': 0, 'guarantee': True}],
   {'results': '-------------', 'pity': 13, 'guarantee': True})],
 [('lost fifty fifty then featured #1',
   [[1, 999, 0], {'pity': 10, 'guarantee': False}],
   {'results': 'L-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[815, 889, 39, 873, 939, 933, 908, 992, 421, 939, 821, 53, 12, 40, 8, 884, 975, 551, 967, 39],
    {'pity': 63, 'guarantee': True}],
   {'results': '-----------F--------', 'pity': 8, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[18, 16, 60, 53, 197, 713, 972, 933], {'pity': 75, 'guarantee': True}],
   {'results': 'F-------', 'pity': 7, 'guarantee': False}),
  ('partial repair boundary #1',
   [[24, 872, 131, 279, 598, 873, 881, 532, 874, 898, 570, 33, 575, 16, 950, 871, 988, 895, 840],
    {'pity': 81, 'guarantee': False}],
   {'results': 'F------------------', 'pity': 18, 'guarantee': False}),
  ('partial repair boundary #2',
   [[764, 38, 847, 39, 859, 959, 58, 877, 56, 252, 44, 46, 23, 992, 525, 972, 997],
    {'pity': 89, 'guarantee': False}],
   {'results': 'F----------------', 'pity': 16, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1', [[54], {'pity': 61, 'guarantee': False}], {'results': '-', 'pity': 62, 'guarantee': False}),
  ('control #2',
   [[346, 740, 973, 629, 933, 35, 831, 930, 214, 969, 923], {'pity': 73, 'guarantee': False}],
   {'results': '-----L-----', 'pity': 5, 'guarantee': True})],
 [('first soft pity pull #1',
   [[100, 3], {'pity': 73, 'guarantee': True}],
   {'results': '-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[54, 849, 304, 44], {'pity': 72, 'guarantee': True}],
   {'results': '---F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[975, 474, 33, 973, 869, 8, 806, 843, 21, 34, 874], {'pity': 88, 'guarantee': True}],
   {'results': '-F---------', 'pity': 9, 'guarantee': False}),
  ('partial repair boundary #1',
   [[456, 631, 879, 18, 33, 855, 6], {'pity': 73, 'guarantee': False}],
   {'results': '---F---', 'pity': 3, 'guarantee': False}),
  ('partial repair boundary #2',
   [[32, 1], {'pity': 73, 'guarantee': False}],
   {'results': 'FL', 'pity': 0, 'guarantee': True}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1',
   [[860, 832, 950, 795, 21, 53, 128, 667, 5, 11, 16], {'pity': 0, 'guarantee': False}],
   {'results': '--------L--', 'pity': 2, 'guarantee': True}),
  ('control #2',
   [[938, 58, 37, 11, 926, 889, 844, 11, 265], {'pity': 0, 'guarantee': False}],
   {'results': '---------', 'pity': 9, 'guarantee': False})]]
for label, args, expected in cases[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
first soft pity pull #1{'guarantee': True, 'pity': 0, 'results': '-F'}{'guarantee': False, 'pity': 0, 'results': '-F'}Failed
lost fifty fifty then featured #1{'guarantee': True, 'pity': 0, 'results': 'L-F'}{'guarantee': False, 'pity': 0, 'results': 'L-F'}Failed
fault site guarantee consumption #1{'guarantee': True, 'pity': 14, 'results': 'F--------------'}{'guarantee': False, 'pity': 14, 'results': 'F--------------'}Failed
partial repair boundary #1{'guarantee': False, 'pity': 6, 'results': 'F------'}{'guarantee': False, 'pity': 6, 'results': 'F------'}Passed
partial repair boundary #2{'guarantee': False, 'pity': 13, 'results': 'F-------------'}{'guarantee': False, 'pity': 13, 'results': 'F-------------'}Passed
hard pity pull #1{'guarantee': True, 'pity': 1, 'results': 'L-'}{'guarantee': True, 'pity': 1, 'results': 'L-'}Passed
control #1{'guarantee': True, 'pity': 12, 'results': '-L------------'}{'guarantee': True, 'pity': 12, 'results': '-L------------'}Passed
control #2{'guarantee': True, 'pity': 74, 'results': '-'}{'guarantee': True, 'pity': 74, 'results': '-'}Passed

SHA-256 / 7ea5a4286b4793ee17bf38543382e2aaaa448df2972fe034030b7b8780d9d215

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(rolls, state):
    pity = state['pity']
    guarantee = state['guarantee']
    out = []
    for r in rolls:
        n = pity + 1
        rate = 6
        if n >= 74:
            rate += 50 * (n - 73)
        if n >= 90 or r < rate:
            pity = 0
            if guarantee or r % 2 == 0:
                out.append('F')
                guarantee = not guarantee
            else:
                out.append('L')
                guarantee = True
        else:
            pity = n
            out.append('-')
    return {'results': ''.join(out), 'pity': pity, 'guarantee': guarantee}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[('first soft pity pull #1',
   [[100, 3], {'pity': 73, 'guarantee': True}],
   {'results': '-F', 'pity': 0, 'guarantee': False}),
  ('lost fifty fifty then featured #1',
   [[1, 999, 0], {'pity': 10, 'guarantee': False}],
   {'results': 'L-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],
   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),
  ('partial repair boundary #1',
   [[4, 155, 441, 951, 967, 353, 21], {'pity': 68, 'guarantee': False}],
   {'results': 'F------', 'pity': 6, 'guarantee': False}),
  ('partial repair boundary #2',
   [[4, 42, 253, 999, 775, 819, 42, 973, 811, 307, 835, 958, 247, 22], {'pity': 73, 'guarantee': False}],
   {'results': 'F-------------', 'pity': 13, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1',
   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],
   {'results': '-L------------', 'pity': 12, 'guarantee': True}),
  ('control #2', [[911], {'pity': 73, 'guarantee': True}], {'results': '-', 'pity': 74, 'guarantee': True})],
 [('lost fifty fifty then featured #1',
   [[1, 999, 0], {'pity': 10, 'guarantee': False}],
   {'results': 'L-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],
   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],
   {'results': '--F--', 'pity': 2, 'guarantee': False}),
  ('partial repair boundary #1',
   [[4], {'pity': 73, 'guarantee': False}],
   {'results': 'F', 'pity': 0, 'guarantee': False}),
  ('regression guarantee consumption #1',
   [[50, 38, 898, 817, 564, 877, 22, 812, 15, 0, 190], {'pity': 73, 'guarantee': True}],
   {'results': 'F--------F-', 'pity': 1, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1', [[911], {'pity': 73, 'guarantee': True}], {'results': '-', 'pity': 74, 'guarantee': True}),
  ('control #2',
   [[18, 973, 5], {'pity': 72, 'guarantee': False}],
   {'results': '--L', 'pity': 0, 'guarantee': True})],
 [('first soft pity pull #1',
   [[100, 3], {'pity': 73, 'guarantee': True}],
   {'results': '-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],
    {'pity': 89, 'guarantee': True}],
   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[935, 90, 29, 166, 937, 997, 903, 315, 848, 1, 893, 36, 218, 730, 858, 726, 972, 10],
    {'pity': 89, 'guarantee': True}],
   {'results': 'F--------L--------', 'pity': 8, 'guarantee': True}),
  ('partial repair boundary #1',
   [[30, 806], {'pity': 83, 'guarantee': False}],
   {'results': 'F-', 'pity': 1, 'guarantee': False}),
  ('partial repair boundary #2',
   [[891, 307, 20, 907, 30, 974, 462, 957, 860, 624, 42, 985, 46], {'pity': 73, 'guarantee': False}],
   {'results': '--F----------', 'pity': 10, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1',
   [[685, 976, 49, 33, 16, 30, 427, 839], {'pity': 0, 'guarantee': False}],
   {'results': '--------', 'pity': 8, 'guarantee': False}),
  ('control #2',
   [[773, 957, 60, 353, 59, 19, 862, 820, 993, 27, 22, 893, 950], {'pity': 0, 'guarantee': True}],
   {'results': '-------------', 'pity': 13, 'guarantee': True})],
 [('lost fifty fifty then featured #1',
   [[1, 999, 0], {'pity': 10, 'guarantee': False}],
   {'results': 'L-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[815, 889, 39, 873, 939, 933, 908, 992, 421, 939, 821, 53, 12, 40, 8, 884, 975, 551, 967, 39],
    {'pity': 63, 'guarantee': True}],
   {'results': '-----------F--------', 'pity': 8, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[18, 16, 60, 53, 197, 713, 972, 933], {'pity': 75, 'guarantee': True}],
   {'results': 'F-------', 'pity': 7, 'guarantee': False}),
  ('partial repair boundary #1',
   [[24, 872, 131, 279, 598, 873, 881, 532, 874, 898, 570, 33, 575, 16, 950, 871, 988, 895, 840],
    {'pity': 81, 'guarantee': False}],
   {'results': 'F------------------', 'pity': 18, 'guarantee': False}),
  ('partial repair boundary #2',
   [[764, 38, 847, 39, 859, 959, 58, 877, 56, 252, 44, 46, 23, 992, 525, 972, 997],
    {'pity': 89, 'guarantee': False}],
   {'results': 'F----------------', 'pity': 16, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1', [[54], {'pity': 61, 'guarantee': False}], {'results': '-', 'pity': 62, 'guarantee': False}),
  ('control #2',
   [[346, 740, 973, 629, 933, 35, 831, 930, 214, 969, 923], {'pity': 73, 'guarantee': False}],
   {'results': '-----L-----', 'pity': 5, 'guarantee': True})],
 [('first soft pity pull #1',
   [[100, 3], {'pity': 73, 'guarantee': True}],
   {'results': '-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[54, 849, 304, 44], {'pity': 72, 'guarantee': True}],
   {'results': '---F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[975, 474, 33, 973, 869, 8, 806, 843, 21, 34, 874], {'pity': 88, 'guarantee': True}],
   {'results': '-F---------', 'pity': 9, 'guarantee': False}),
  ('partial repair boundary #1',
   [[456, 631, 879, 18, 33, 855, 6], {'pity': 73, 'guarantee': False}],
   {'results': '---F---', 'pity': 3, 'guarantee': False}),
  ('partial repair boundary #2',
   [[32, 1], {'pity': 73, 'guarantee': False}],
   {'results': 'FL', 'pity': 0, 'guarantee': True}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1',
   [[860, 832, 950, 795, 21, 53, 128, 667, 5, 11, 16], {'pity': 0, 'guarantee': False}],
   {'results': '--------L--', 'pity': 2, 'guarantee': True}),
  ('control #2',
   [[938, 58, 37, 11, 926, 889, 844, 11, 265], {'pity': 0, 'guarantee': False}],
   {'results': '---------', 'pity': 9, 'guarantee': False})]]
for label, args, expected in cases[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
first soft pity pull #1{'guarantee': False, 'pity': 0, 'results': '-F'}{'guarantee': False, 'pity': 0, 'results': '-F'}Passed
lost fifty fifty then featured #1{'guarantee': False, 'pity': 0, 'results': 'L-F'}{'guarantee': False, 'pity': 0, 'results': 'L-F'}Passed
fault site guarantee consumption #1{'guarantee': False, 'pity': 14, 'results': 'F--------------'}{'guarantee': False, 'pity': 14, 'results': 'F--------------'}Passed
partial repair boundary #1{'guarantee': True, 'pity': 6, 'results': 'F------'}{'guarantee': False, 'pity': 6, 'results': 'F------'}Failed
partial repair boundary #2{'guarantee': True, 'pity': 13, 'results': 'F-------------'}{'guarantee': False, 'pity': 13, 'results': 'F-------------'}Failed
hard pity pull #1{'guarantee': True, 'pity': 1, 'results': 'L-'}{'guarantee': True, 'pity': 1, 'results': 'L-'}Passed
control #1{'guarantee': True, 'pity': 12, 'results': '-L------------'}{'guarantee': True, 'pity': 12, 'results': '-L------------'}Passed
control #2{'guarantee': True, 'pity': 74, 'results': '-'}{'guarantee': True, 'pity': 74, 'results': '-'}Passed

SHA-256 / 7d4debd657ff90800bda7ea0557eb4f91360a1302ace09a2c72424f76048b694

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(rolls, state):
    pity = state['pity']
    guarantee = state['guarantee']
    out = []
    for r in rolls:
        n = pity + 1
        rate = 6
        if n >= 74:
            rate += 50 * (n - 73)
        if n >= 90 or r < rate:
            pity = 0
            if guarantee or r % 2 == 0:
                out.append('F')
                guarantee = False
            else:
                out.append('L')
                guarantee = True
        else:
            pity = n
            out.append('-')
    return {'results': ''.join(out), 'pity': pity, 'guarantee': guarantee}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[('first soft pity pull #1',
   [[100, 3], {'pity': 73, 'guarantee': True}],
   {'results': '-F', 'pity': 0, 'guarantee': False}),
  ('lost fifty fifty then featured #1',
   [[1, 999, 0], {'pity': 10, 'guarantee': False}],
   {'results': 'L-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],
   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),
  ('partial repair boundary #1',
   [[4, 155, 441, 951, 967, 353, 21], {'pity': 68, 'guarantee': False}],
   {'results': 'F------', 'pity': 6, 'guarantee': False}),
  ('partial repair boundary #2',
   [[4, 42, 253, 999, 775, 819, 42, 973, 811, 307, 835, 958, 247, 22], {'pity': 73, 'guarantee': False}],
   {'results': 'F-------------', 'pity': 13, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1',
   [[922, 571, 11, 40, 49, 776, 996, 952, 946, 14, 108, 822, 888, 25], {'pity': 84, 'guarantee': False}],
   {'results': '-L------------', 'pity': 12, 'guarantee': True}),
  ('control #2', [[911], {'pity': 73, 'guarantee': True}], {'results': '-', 'pity': 74, 'guarantee': True})],
 [('lost fifty fifty then featured #1',
   [[1, 999, 0], {'pity': 10, 'guarantee': False}],
   {'results': 'L-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[15, 31, 302, 259, 332, 886, 12, 851, 55, 45, 6, 903, 946, 869, 725], {'pity': 88, 'guarantee': True}],
   {'results': 'F--------------', 'pity': 14, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[507, 965, 27, 525, 851], {'pity': 73, 'guarantee': True}],
   {'results': '--F--', 'pity': 2, 'guarantee': False}),
  ('partial repair boundary #1',
   [[4], {'pity': 73, 'guarantee': False}],
   {'results': 'F', 'pity': 0, 'guarantee': False}),
  ('regression guarantee consumption #1',
   [[50, 38, 898, 817, 564, 877, 22, 812, 15, 0, 190], {'pity': 73, 'guarantee': True}],
   {'results': 'F--------F-', 'pity': 1, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1', [[911], {'pity': 73, 'guarantee': True}], {'results': '-', 'pity': 74, 'guarantee': True}),
  ('control #2',
   [[18, 973, 5], {'pity': 72, 'guarantee': False}],
   {'results': '--L', 'pity': 0, 'guarantee': True})],
 [('first soft pity pull #1',
   [[100, 3], {'pity': 73, 'guarantee': True}],
   {'results': '-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[480, 489, 823, 13, 936, 776, 44, 409, 26, 974, 9, 54, 911, 804, 433, 47, 942, 847],
    {'pity': 89, 'guarantee': True}],
   {'results': 'F-----------------', 'pity': 17, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[935, 90, 29, 166, 937, 997, 903, 315, 848, 1, 893, 36, 218, 730, 858, 726, 972, 10],
    {'pity': 89, 'guarantee': True}],
   {'results': 'F--------L--------', 'pity': 8, 'guarantee': True}),
  ('partial repair boundary #1',
   [[30, 806], {'pity': 83, 'guarantee': False}],
   {'results': 'F-', 'pity': 1, 'guarantee': False}),
  ('partial repair boundary #2',
   [[891, 307, 20, 907, 30, 974, 462, 957, 860, 624, 42, 985, 46], {'pity': 73, 'guarantee': False}],
   {'results': '--F----------', 'pity': 10, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1',
   [[685, 976, 49, 33, 16, 30, 427, 839], {'pity': 0, 'guarantee': False}],
   {'results': '--------', 'pity': 8, 'guarantee': False}),
  ('control #2',
   [[773, 957, 60, 353, 59, 19, 862, 820, 993, 27, 22, 893, 950], {'pity': 0, 'guarantee': True}],
   {'results': '-------------', 'pity': 13, 'guarantee': True})],
 [('lost fifty fifty then featured #1',
   [[1, 999, 0], {'pity': 10, 'guarantee': False}],
   {'results': 'L-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[815, 889, 39, 873, 939, 933, 908, 992, 421, 939, 821, 53, 12, 40, 8, 884, 975, 551, 967, 39],
    {'pity': 63, 'guarantee': True}],
   {'results': '-----------F--------', 'pity': 8, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[18, 16, 60, 53, 197, 713, 972, 933], {'pity': 75, 'guarantee': True}],
   {'results': 'F-------', 'pity': 7, 'guarantee': False}),
  ('partial repair boundary #1',
   [[24, 872, 131, 279, 598, 873, 881, 532, 874, 898, 570, 33, 575, 16, 950, 871, 988, 895, 840],
    {'pity': 81, 'guarantee': False}],
   {'results': 'F------------------', 'pity': 18, 'guarantee': False}),
  ('partial repair boundary #2',
   [[764, 38, 847, 39, 859, 959, 58, 877, 56, 252, 44, 46, 23, 992, 525, 972, 997],
    {'pity': 89, 'guarantee': False}],
   {'results': 'F----------------', 'pity': 16, 'guarantee': False}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1', [[54], {'pity': 61, 'guarantee': False}], {'results': '-', 'pity': 62, 'guarantee': False}),
  ('control #2',
   [[346, 740, 973, 629, 933, 35, 831, 930, 214, 969, 923], {'pity': 73, 'guarantee': False}],
   {'results': '-----L-----', 'pity': 5, 'guarantee': True})],
 [('first soft pity pull #1',
   [[100, 3], {'pity': 73, 'guarantee': True}],
   {'results': '-F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #1',
   [[54, 849, 304, 44], {'pity': 72, 'guarantee': True}],
   {'results': '---F', 'pity': 0, 'guarantee': False}),
  ('fault site guarantee consumption #2',
   [[975, 474, 33, 973, 869, 8, 806, 843, 21, 34, 874], {'pity': 88, 'guarantee': True}],
   {'results': '-F---------', 'pity': 9, 'guarantee': False}),
  ('partial repair boundary #1',
   [[456, 631, 879, 18, 33, 855, 6], {'pity': 73, 'guarantee': False}],
   {'results': '---F---', 'pity': 3, 'guarantee': False}),
  ('partial repair boundary #2',
   [[32, 1], {'pity': 73, 'guarantee': False}],
   {'results': 'FL', 'pity': 0, 'guarantee': True}),
  ('hard pity pull #1',
   [[999, 999], {'pity': 89, 'guarantee': False}],
   {'results': 'L-', 'pity': 1, 'guarantee': True}),
  ('control #1',
   [[860, 832, 950, 795, 21, 53, 128, 667, 5, 11, 16], {'pity': 0, 'guarantee': False}],
   {'results': '--------L--', 'pity': 2, 'guarantee': True}),
  ('control #2',
   [[938, 58, 37, 11, 926, 889, 844, 11, 265], {'pity': 0, 'guarantee': False}],
   {'results': '---------', 'pity': 9, 'guarantee': False})]]
for label, args, expected in cases[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
first soft pity pull #1{'guarantee': False, 'pity': 0, 'results': '-F'}{'guarantee': False, 'pity': 0, 'results': '-F'}Passed
lost fifty fifty then featured #1{'guarantee': False, 'pity': 0, 'results': 'L-F'}{'guarantee': False, 'pity': 0, 'results': 'L-F'}Passed
fault site guarantee consumption #1{'guarantee': False, 'pity': 14, 'results': 'F--------------'}{'guarantee': False, 'pity': 14, 'results': 'F--------------'}Passed
partial repair boundary #1{'guarantee': False, 'pity': 6, 'results': 'F------'}{'guarantee': False, 'pity': 6, 'results': 'F------'}Passed
partial repair boundary #2{'guarantee': False, 'pity': 13, 'results': 'F-------------'}{'guarantee': False, 'pity': 13, 'results': 'F-------------'}Passed
hard pity pull #1{'guarantee': True, 'pity': 1, 'results': 'L-'}{'guarantee': True, 'pity': 1, 'results': 'L-'}Passed
control #1{'guarantee': True, 'pity': 12, 'results': '-L------------'}{'guarantee': True, 'pity': 12, 'results': '-L------------'}Passed
control #2{'guarantee': True, 'pity': 74, 'results': '-'}{'guarantee': True, 'pity': 74, 'results': '-'}Passed

SHA-256 / 92ae5e4ca3c61db1cfe25ecb0908a7fea6669204ca2b5c0e7d64d52ca28fa74f

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:50:44.911970+00:00.

Case digest / 58049fe2af1572efdb41f57e3208884b7309770b0b2f005ee00c76f05cc4e945