FAILURE MAP
← Case archive

FA-26206 / Filter interfaces / Open access

A new drilldown after backing up replaces the abandoned trail suffix · case 01

A new drilldown after backing up replaces the abandoned trail suffix is violated by the widget projection.

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

ROOT CAUSE

The branch-after-back decision uses `d['trail']+[d['new']]` instead of the stipulated drilldown-trail projection.

VERIFIED REPAIR

Implement the declared branch-after-back projection: `d['trail'][:d['index']+1]+[d['new']]`.

Unsuccessful approach: The attempted correction `[d['new']]` still violates the explicit contract fixtures.

Case contract

A facet drilldown trail records a sequence of scoped constraints; returning to a breadcrumb truncates later drilldowns while preserving independent global filters. This example checks: A new drilldown after backing up replaces the abandoned trail suffix.

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 {'breadcrumb-cut':(d['trail'][:d['index']+1]), 'root-reset':(d['global_filters']), 'effective-constraints':(d['global_filters']+d['trail']), 'branch-after-back':(d['trail']+[d['new']]), 'active-crumb':(len(d['trail'])-1 if d['trail'] else None), 'drilldown-depth':(len(d['trail']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': ['a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3})], 2: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0})], 3: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': ['a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1})], 4: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': ['a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3})], 5: [({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 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{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'a', 'x'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}{'active-crumb': 2, 'branch-after-back': ['a', 'x'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}Failed
contract fixture 1{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}Passed
contract fixture 2{'active-crumb': None, 'branch-after-back': ['y'], 'breadcrumb-cut': [], 'drilldown-depth': 0, 'effective-constraints': ['scope'], 'root-reset': ['scope']}{'active-crumb': None, 'branch-after-back': ['y'], 'breadcrumb-cut': [], 'drilldown-depth': 0, 'effective-constraints': ['scope'], 'root-reset': ['scope']}Passed
contract fixture 3{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}Passed
contract fixture 4{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}Passed
contract fixture 5{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}Passed
contract fixture 6{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}{'active-crumb': 2, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}Failed
contract fixture 7{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}{'active-crumb': 2, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}Failed
contract fixture 8{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'a', 'y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}Failed
contract fixture 9{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'a', 'y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}Failed

SHA-256 / 0f0873dc9793ac94cecc550cafda6120a8cfe6fd817130dd408a08a1110670d8

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'breadcrumb-cut':(d['trail'][:d['index']+1]), 'root-reset':(d['global_filters']), 'effective-constraints':(d['global_filters']+d['trail']), 'branch-after-back':([d['new']]), 'active-crumb':(len(d['trail'])-1 if d['trail'] else None), 'drilldown-depth':(len(d['trail']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': ['a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3})], 2: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0})], 3: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': ['a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1})], 4: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': ['a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3})], 5: [({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 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{'active-crumb': 2, 'branch-after-back': ['x'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}{'active-crumb': 2, 'branch-after-back': ['a', 'x'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}Failed
contract fixture 1{'active-crumb': 0, 'branch-after-back': ['y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}Failed
contract fixture 2{'active-crumb': None, 'branch-after-back': ['y'], 'breadcrumb-cut': [], 'drilldown-depth': 0, 'effective-constraints': ['scope'], 'root-reset': ['scope']}{'active-crumb': None, 'branch-after-back': ['y'], 'breadcrumb-cut': [], 'drilldown-depth': 0, 'effective-constraints': ['scope'], 'root-reset': ['scope']}Passed
contract fixture 3{'active-crumb': 0, 'branch-after-back': ['y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}Failed
contract fixture 4{'active-crumb': 0, 'branch-after-back': ['y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}Failed
contract fixture 5{'active-crumb': 0, 'branch-after-back': ['y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}Failed
contract fixture 6{'active-crumb': 2, 'branch-after-back': ['y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}{'active-crumb': 2, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}Failed
contract fixture 7{'active-crumb': 2, 'branch-after-back': ['y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}{'active-crumb': 2, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}Failed
contract fixture 8{'active-crumb': 2, 'branch-after-back': ['y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}Failed
contract fixture 9{'active-crumb': 2, 'branch-after-back': ['y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}Failed

SHA-256 / 008219ffc31049e31fe810d4526972a35ca5b072747fc7ee0baffa5363cd9157

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'breadcrumb-cut':(d['trail'][:d['index']+1]), 'root-reset':(d['global_filters']), 'effective-constraints':(d['global_filters']+d['trail']), 'branch-after-back':(d['trail'][:d['index']+1]+[d['new']]), 'active-crumb':(len(d['trail'])-1 if d['trail'] else None), 'drilldown-depth':(len(d['trail']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': ['a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3})], 2: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0})], 3: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': ['a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1})], 4: [({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['x'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': ['a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'x'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'x'], 'active-crumb': 2, 'drilldown-depth': 3})], 5: [({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'x'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'x'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a'], 'index': 1, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 0, 'drilldown-depth': 1}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': ['a'], 'root-reset': ['scope'], 'effective-constraints': ['scope', 'a', 'b', 'a'], 'branch-after-back': ['a', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': ['a', 'b', 'a'], 'index': 1, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': ['a', 'b'], 'root-reset': [], 'effective-constraints': ['a', 'b', 'a'], 'branch-after-back': ['a', 'b', 'y'], 'active-crumb': 2, 'drilldown-depth': 3}), ({'trail': [], 'index': 0, 'global_filters': [], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': [], 'effective-constraints': [], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 0}), ({'trail': [], 'index': 0, 'global_filters': ['scope'], 'new': 'y'}, {'breadcrumb-cut': [], 'root-reset': ['scope'], 'effective-constraints': ['scope'], 'branch-after-back': ['y'], 'active-crumb': None, 'drilldown-depth': 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{'active-crumb': 2, 'branch-after-back': ['a', 'x'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}{'active-crumb': 2, 'branch-after-back': ['a', 'x'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}Passed
contract fixture 1{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}Passed
contract fixture 2{'active-crumb': None, 'branch-after-back': ['y'], 'breadcrumb-cut': [], 'drilldown-depth': 0, 'effective-constraints': ['scope'], 'root-reset': ['scope']}{'active-crumb': None, 'branch-after-back': ['y'], 'breadcrumb-cut': [], 'drilldown-depth': 0, 'effective-constraints': ['scope'], 'root-reset': ['scope']}Passed
contract fixture 3{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}Passed
contract fixture 4{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['a'], 'root-reset': []}Passed
contract fixture 5{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}{'active-crumb': 0, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 1, 'effective-constraints': ['scope', 'a'], 'root-reset': ['scope']}Passed
contract fixture 6{'active-crumb': 2, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}{'active-crumb': 2, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}Passed
contract fixture 7{'active-crumb': 2, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}{'active-crumb': 2, 'branch-after-back': ['a', 'y'], 'breadcrumb-cut': ['a'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}Passed
contract fixture 8{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['a', 'b', 'a'], 'root-reset': []}Passed
contract fixture 9{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}{'active-crumb': 2, 'branch-after-back': ['a', 'b', 'y'], 'breadcrumb-cut': ['a', 'b'], 'drilldown-depth': 3, 'effective-constraints': ['scope', 'a', 'b', 'a'], 'root-reset': ['scope']}Passed

SHA-256 / 70887d40ea8077bb1f53f980fc93651af3e8f1aebed673b24ea1dd33137ca6ae

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

Case digest / c0986b8212d4112aae140fae1a709cafa202bb796967426b85c916203bfda081