FAILURE MAP
← Case archive

FA-25306 / Filter interfaces / Open access

A nonintegral display bound is marked instead of silently truncated · case 01

A nonintegral display bound is marked instead of silently truncated is violated by the widget projection.

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

ROOT CAUSE

The fraction-indicator decision uses `False` instead of the stipulated unit-bound-editor projection.

VERIFIED REPAIR

Implement the declared fraction-indicator projection: `d['base'] is not None and d['base']%d['scale']!=0`.

Unsuccessful approach: The attempted correction `d['base'] is not None and d['base']<d['scale']` still violates the explicit contract fixtures.

Case contract

The filter stores canonical integer base units while the editor shows exact scaled integers; a unit switch changes presentation without changing the committed quantity. This example checks: A nonintegral display bound is marked instead of silently truncated.

Why this case matters

Filter-widget state and serialization must preserve user constraints while the view changes.

1 / The failure

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

N = 1
observations = []
def solve(d):
    return {'display-bound':(None if d['base'] is None else d['base']//d['scale']), 'parse-bound':(None if d['text']=='' else int(d['text'])*d['scale']), 'switch-preserve':(d['base']), 'fraction-indicator':(False), 'step-storage':(d['step']*d['scale']), 'open-placeholder':('any' if d['base'] is None else str(d['base']//d['scale']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'base': 3, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'base': None, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': None, 'parse-bound': 20, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': 0, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 3, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 3, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 20, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'})], 2: [({'base': 3, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '0', 'step': 1}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '0', 'step': 1}, {'display-bound': 3, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 3, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '0', 'step': 1}, {'display-bound': 20, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 2, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '2'}), ({'base': 20, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 2, 'parse-bound': 20, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '2'})], 3: [({'base': 3, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '', 'step': 2}, {'display-bound': 3, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '3'}), ({'base': 3, 'scale': 1, 'text': '2', 'step': 2}, {'display-bound': 3, 'parse-bound': 2, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '', 'step': 2}, {'display-bound': 20, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'}), ({'base': 20, 'scale': 1, 'text': '2', 'step': 2}, {'display-bound': 20, 'parse-bound': 2, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 2, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '2'}), ({'base': None, 'scale': 1, 'text': '', 'step': 2}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': 'any'}), ({'base': None, 'scale': 1, 'text': '2', 'step': 2}, {'display-bound': None, 'parse-bound': 2, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': 'any'})], 4: [({'base': 3, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '2', 'step': 1}, {'display-bound': 3, 'parse-bound': 2, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '', 'step': 1}, {'display-bound': 20, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '20'}), ({'base': 20, 'scale': 1, 'text': '2', 'step': 1}, {'display-bound': 20, 'parse-bound': 2, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': 2, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '2'}), ({'base': None, 'scale': 1, 'text': '', 'step': 1}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': 'any'}), ({'base': None, 'scale': 1, 'text': '2', 'step': 1}, {'display-bound': None, 'parse-bound': 2, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': None, 'parse-bound': 0, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': 'any'})], 5: [({'base': 3, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'base': 3, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 20, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 2, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '2'}), ({'base': 20, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 2, 'parse-bound': 20, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '2'}), ({'base': None, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': None, 'parse-bound': 0, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': None, 'parse-bound': 20, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': 0, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), 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
contract fixture 0{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 10, 'switch-preserve': 3}{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 10, 'switch-preserve': 3}Failed
contract fixture 1{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 0}{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 0}Passed
contract fixture 2{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': None}Passed
contract fixture 3{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': None}Passed
contract fixture 4{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 0}{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 0}Passed
contract fixture 5{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 0}{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 0}Passed
contract fixture 6{'display-bound': 3, 'fraction-indicator': False, 'open-placeholder': '3', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 3}{'display-bound': 3, 'fraction-indicator': False, 'open-placeholder': '3', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 3}Passed
contract fixture 7{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 3}{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 3}Failed
contract fixture 8{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 3}{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 3}Failed
contract fixture 9{'display-bound': 20, 'fraction-indicator': False, 'open-placeholder': '20', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 20}{'display-bound': 20, 'fraction-indicator': False, 'open-placeholder': '20', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 20}Passed

SHA-256 / d8f84c89587acdf77fe7c6f9e09ea1d9c2caeb8c5e23ecccae40ae4251a16ad1

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'display-bound':(None if d['base'] is None else d['base']//d['scale']), 'parse-bound':(None if d['text']=='' else int(d['text'])*d['scale']), 'switch-preserve':(d['base']), 'fraction-indicator':(d['base'] is not None and d['base']<d['scale']), 'step-storage':(d['step']*d['scale']), 'open-placeholder':('any' if d['base'] is None else str(d['base']//d['scale']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'base': 3, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'base': None, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': None, 'parse-bound': 20, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': 0, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 3, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 3, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 20, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'})], 2: [({'base': 3, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '0', 'step': 1}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '0', 'step': 1}, {'display-bound': 3, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 3, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '0', 'step': 1}, {'display-bound': 20, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 2, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '2'}), ({'base': 20, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 2, 'parse-bound': 20, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '2'})], 3: [({'base': 3, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '', 'step': 2}, {'display-bound': 3, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '3'}), ({'base': 3, 'scale': 1, 'text': '2', 'step': 2}, {'display-bound': 3, 'parse-bound': 2, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '', 'step': 2}, {'display-bound': 20, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'}), ({'base': 20, 'scale': 1, 'text': '2', 'step': 2}, {'display-bound': 20, 'parse-bound': 2, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 2, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '2'}), ({'base': None, 'scale': 1, 'text': '', 'step': 2}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': 'any'}), ({'base': None, 'scale': 1, 'text': '2', 'step': 2}, {'display-bound': None, 'parse-bound': 2, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': 'any'})], 4: [({'base': 3, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '2', 'step': 1}, {'display-bound': 3, 'parse-bound': 2, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '', 'step': 1}, {'display-bound': 20, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '20'}), ({'base': 20, 'scale': 1, 'text': '2', 'step': 1}, {'display-bound': 20, 'parse-bound': 2, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': 2, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '2'}), ({'base': None, 'scale': 1, 'text': '', 'step': 1}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': 'any'}), ({'base': None, 'scale': 1, 'text': '2', 'step': 1}, {'display-bound': None, 'parse-bound': 2, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': None, 'parse-bound': 0, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': 'any'})], 5: [({'base': 3, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'base': 3, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 20, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 2, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '2'}), ({'base': 20, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 2, 'parse-bound': 20, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '2'}), ({'base': None, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': None, 'parse-bound': 0, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': None, 'parse-bound': 20, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': 0, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), 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
contract fixture 0{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 10, 'switch-preserve': 3}{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 10, 'switch-preserve': 3}Passed
contract fixture 1{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 0}{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 0}Failed
contract fixture 2{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': None}Passed
contract fixture 3{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': None}Passed
contract fixture 4{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 0}{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 0}Failed
contract fixture 5{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 0}{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 0}Failed
contract fixture 6{'display-bound': 3, 'fraction-indicator': False, 'open-placeholder': '3', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 3}{'display-bound': 3, 'fraction-indicator': False, 'open-placeholder': '3', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 3}Passed
contract fixture 7{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 3}{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 3}Passed
contract fixture 8{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 3}{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 3}Passed
contract fixture 9{'display-bound': 20, 'fraction-indicator': False, 'open-placeholder': '20', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 20}{'display-bound': 20, 'fraction-indicator': False, 'open-placeholder': '20', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 20}Passed

SHA-256 / ad03bb98275e8a3e91d90c4fc0c23de708b647bceebffe1d72a64396eac85069

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'display-bound':(None if d['base'] is None else d['base']//d['scale']), 'parse-bound':(None if d['text']=='' else int(d['text'])*d['scale']), 'switch-preserve':(d['base']), 'fraction-indicator':(d['base'] is not None and d['base']%d['scale']!=0), 'step-storage':(d['step']*d['scale']), 'open-placeholder':('any' if d['base'] is None else str(d['base']//d['scale']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'base': 3, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'base': None, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': None, 'parse-bound': 20, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': 0, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 3, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 3, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 20, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'})], 2: [({'base': 3, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '0', 'step': 1}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '0', 'step': 1}, {'display-bound': 3, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 3, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '0', 'step': 1}, {'display-bound': 20, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': 2, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '2'}), ({'base': 20, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 2, 'parse-bound': 20, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '2'})], 3: [({'base': 3, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '', 'step': 2}, {'display-bound': 3, 'parse-bound': None, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '3'}), ({'base': 3, 'scale': 1, 'text': '2', 'step': 2}, {'display-bound': 3, 'parse-bound': 2, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '', 'step': 2}, {'display-bound': 20, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'}), ({'base': 20, 'scale': 1, 'text': '2', 'step': 2}, {'display-bound': 20, 'parse-bound': 2, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 2, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '2'}), ({'base': None, 'scale': 1, 'text': '', 'step': 2}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': 'any'}), ({'base': None, 'scale': 1, 'text': '2', 'step': 2}, {'display-bound': None, 'parse-bound': 2, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': 'any'})], 4: [({'base': 3, 'scale': 10, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '0'}), ({'base': 3, 'scale': 1, 'text': '2', 'step': 1}, {'display-bound': 3, 'parse-bound': 2, 'switch-preserve': 3, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '3'}), ({'base': 3, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '', 'step': 1}, {'display-bound': 20, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '20'}), ({'base': 20, 'scale': 1, 'text': '2', 'step': 1}, {'display-bound': 20, 'parse-bound': 2, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': 2, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': '2'}), ({'base': None, 'scale': 1, 'text': '', 'step': 1}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': 'any'}), ({'base': None, 'scale': 1, 'text': '2', 'step': 1}, {'display-bound': None, 'parse-bound': 2, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 1, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '0', 'step': 1}, {'display-bound': None, 'parse-bound': 0, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 10, 'open-placeholder': 'any'})], 5: [({'base': 3, 'scale': 10, 'text': '2', 'step': 1}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 10, 'open-placeholder': '0'}), ({'base': 0, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'base': 3, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 0, 'parse-bound': 20, 'switch-preserve': 3, 'fraction-indicator': True, 'step-storage': 20, 'open-placeholder': '0'}), ({'base': 20, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': 20, 'parse-bound': 0, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '20'}), ({'base': 20, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 2, 'parse-bound': None, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '2'}), ({'base': 20, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': 2, 'parse-bound': 20, 'switch-preserve': 20, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '2'}), ({'base': None, 'scale': 1, 'text': '0', 'step': 2}, {'display-bound': None, 'parse-bound': 0, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': None, 'scale': 10, 'text': '2', 'step': 2}, {'display-bound': None, 'parse-bound': 20, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': 'any'}), ({'base': 0, 'scale': 10, 'text': '', 'step': 2}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 20, 'open-placeholder': '0'})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), 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
contract fixture 0{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 10, 'switch-preserve': 3}{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 10, 'switch-preserve': 3}Passed
contract fixture 1{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 0}{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 0}Passed
contract fixture 2{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': None}Passed
contract fixture 3{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': None}Passed
contract fixture 4{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 0}{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 0}Passed
contract fixture 5{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 0}{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 0}Passed
contract fixture 6{'display-bound': 3, 'fraction-indicator': False, 'open-placeholder': '3', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 3}{'display-bound': 3, 'fraction-indicator': False, 'open-placeholder': '3', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 3}Passed
contract fixture 7{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 3}{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': 3}Passed
contract fixture 8{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 3}{'display-bound': 0, 'fraction-indicator': True, 'open-placeholder': '0', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': 3}Passed
contract fixture 9{'display-bound': 20, 'fraction-indicator': False, 'open-placeholder': '20', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 20}{'display-bound': 20, 'fraction-indicator': False, 'open-placeholder': '20', 'parse-bound': 0, 'step-storage': 2, 'switch-preserve': 20}Passed

SHA-256 / 5c601184b83b0fc58561467dd679a622e8ef37bbbd844e3b8c071dd220e03ce4

Verification & scope

Deterministic bounded UI-state model only; no browser, query engine, network, or production-standard conformance is claimed. 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:41:05.443661+00:00.

Case digest / 64137fe58efa32c4ab370b64040590368ed9913899e450992441562b312cc9ff