FAILURE MAP
← Case archive

FA-25296 / Filter interfaces / Open access

Typed bounds convert from selected units to canonical storage · case 01

Typed bounds convert from selected units to canonical storage is violated by the widget projection.

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

ROOT CAUSE

The parse-bound decision uses `int(d['text'] or 0)*d['scale']` instead of the stipulated unit-bound-editor projection.

VERIFIED REPAIR

Implement the declared parse-bound projection: `None if d['text']=='' else int(d['text'])*d['scale']`.

Unsuccessful approach: The attempted correction `None if d['text']=='' else int(d['text'])` 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: Typed bounds convert from selected units to canonical storage.

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':(int(d['text'] or 0)*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': 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': 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': 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': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'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': 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': 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': 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'}), ({'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': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 10, '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'})], 3: [({'base': None, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 10, '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': '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'})], 4: [({'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': 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': 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': 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': 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': 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': 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': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'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': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': 0, 'step-storage': 1, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 1, 'switch-preserve': None}Failed
contract fixture 1{'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 2{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': 0, 'step-storage': 20, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 20, 'switch-preserve': None}Failed
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': 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 5{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 0, '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 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': 0, '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': 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 / 3612e28fff53fe3e9a8753fc826442fbf4da03b18569be0394171f0918aab38e

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'])), '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': 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': 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': 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': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'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': 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': 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': 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'}), ({'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': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 10, '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'})], 3: [({'base': None, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 10, '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': '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'})], 4: [({'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': 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': 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': 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': 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': 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': 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': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'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': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 1, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 1, 'switch-preserve': None}Passed
contract fixture 1{'display-bound': 0, 'fraction-indicator': False, 'open-placeholder': '0', 'parse-bound': 2, '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 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': 2, 'step-storage': 20, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': 20, 'step-storage': 20, 'switch-preserve': None}Failed
contract fixture 4{'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 5{'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 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': 2, '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 / 30d2ac45fc2ac08715d25ff7332505529f160a4c5eb671e79017888949679e5c

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': 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': 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': 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': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'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': 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': 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': 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'}), ({'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': '', 'step': 1}, {'display-bound': 0, 'parse-bound': None, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 10, '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'})], 3: [({'base': None, 'scale': 10, 'text': '', 'step': 1}, {'display-bound': None, 'parse-bound': None, 'switch-preserve': None, 'fraction-indicator': False, 'step-storage': 10, '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': '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'})], 4: [({'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': 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': 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': 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': 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': 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': 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': 1, 'text': '0', 'step': 2}, {'display-bound': 0, 'parse-bound': 0, 'switch-preserve': 0, 'fraction-indicator': False, 'step-storage': 2, 'open-placeholder': '0'}), ({'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': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 1, 'switch-preserve': None}{'display-bound': None, 'fraction-indicator': False, 'open-placeholder': 'any', 'parse-bound': None, 'step-storage': 1, 'switch-preserve': None}Passed
contract fixture 1{'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 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': 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 5{'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 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 / b3455733181f0f59b39e833138b9482ca4464b178988fa42af324144dd542b02

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.359701+00:00.

Case digest / c7d9b708a146d68b33cc4f94e6665473d0e9cba5d870e84bd66af198ebab8c6b