FA-8631 / Client navigation / Open access
Breadcrumb ancestor rendering: Current location appears before its ancestors · case 01
Current location appears before its ancestors.
ROOT CAUSE
The current operation uses `[current] + list(ancestors)` where the contract requires `list(ancestors) + [current]`.
VERIFIED REPAIR
Implement the current operation as `list(ancestors) + [current]`.
Unsuccessful approach: Omitting the current location loses page context.
Case contract
Append current after ancestors; optionally hide a distinct root; collapse long paths preserving root and recent tail within budget; only ancestors are links. Budget is at least two.
Why this case matters
A deterministic model of breadcrumb ancestor rendering; this isolates one interface invariant without requiring a browser.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ancestors, current, max_items, include_root):
chain = [current] + list(ancestors)
if not include_root and len(chain) > 1: chain = chain[1:]
if len(chain) > max_items:
chain = [chain[0], '…'] + chain[-(max_items-2):] if max_items > 2 else chain[-max_items:]
return [(x, i != len(chain)-1) for i, x in enumerate(chain)]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('normal', solve(['root','parent'], 'current', 5, True), [('root', True), ('parent', True), ('current', False)])
check('only current', solve([], 'current', 5, False), [('current', False)])
check('hide root', solve(['root','parent'], 'current', 5, False), [('parent', True), ('current', False)])
check('collapsed', solve(['root','a','b','c'], 'current', 4, True), [('root', True), ('…', True), ('c', True), ('current', False)])
check('small budget', solve(['root','a','b'], 'current', 2, True), [('b', True), ('current', False)])
check('parameterized ancestor depth', solve(list(range(N)),N,N+2,True), [(i,i!=N) for i in range(N+1)])
for repetition in range(N):
check('repeat small budget', solve(['root','a','b'], 'current', 2, True), [('b', True), ('current', False)])
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| normal | [['current', True], ['root', True], ['parent', False]] | [['root', True], ['parent', True], ['current', False]] | Failed |
| only current | [['current', False]] | [['current', False]] | Passed |
| hide root | [['root', True], ['parent', False]] | [['parent', True], ['current', False]] | Failed |
| collapsed | [['current', True], ['…', True], ['b', True], ['c', False]] | [['root', True], ['…', True], ['c', True], ['current', False]] | Failed |
| small budget | [['a', True], ['b', False]] | [['b', True], ['current', False]] | Failed |
| parameterized ancestor depth | [[1, True], [0, False]] | [[0, True], [1, False]] | Failed |
| repeat small budget | [['a', True], ['b', False]] | [['b', True], ['current', False]] | Failed |
SHA-256 / b955e7b34b1d81b45ac5c0553193578d905871f5699746819f98e3cd1a190436
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ancestors, current, max_items, include_root):
chain = list(ancestors)
if not include_root and len(chain) > 1: chain = chain[1:]
if len(chain) > max_items:
chain = [chain[0], '…'] + chain[-(max_items-2):] if max_items > 2 else chain[-max_items:]
return [(x, i != len(chain)-1) for i, x in enumerate(chain)]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('normal', solve(['root','parent'], 'current', 5, True), [('root', True), ('parent', True), ('current', False)])
check('only current', solve([], 'current', 5, False), [('current', False)])
check('hide root', solve(['root','parent'], 'current', 5, False), [('parent', True), ('current', False)])
check('collapsed', solve(['root','a','b','c'], 'current', 4, True), [('root', True), ('…', True), ('c', True), ('current', False)])
check('small budget', solve(['root','a','b'], 'current', 2, True), [('b', True), ('current', False)])
check('parameterized ancestor depth', solve(list(range(N)),N,N+2,True), [(i,i!=N) for i in range(N+1)])
for repetition in range(N):
check('repeat small budget', solve(['root','a','b'], 'current', 2, True), [('b', True), ('current', False)])
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| normal | [['root', True], ['parent', False]] | [['root', True], ['parent', True], ['current', False]] | Failed |
| only current | [] | [['current', False]] | Failed |
| hide root | [['parent', False]] | [['parent', True], ['current', False]] | Failed |
| collapsed | [['root', True], ['a', True], ['b', True], ['c', False]] | [['root', True], ['…', True], ['c', True], ['current', False]] | Failed |
| small budget | [['a', True], ['b', False]] | [['b', True], ['current', False]] | Failed |
| parameterized ancestor depth | [[0, False]] | [[0, True], [1, False]] | Failed |
| repeat small budget | [['a', True], ['b', False]] | [['b', True], ['current', False]] | Failed |
SHA-256 / 8605646f8a8d81e6cb5a35c8bc33df38a8da9c6efa45cc4ae6fc78a76aaf0804
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ancestors, current, max_items, include_root):
chain = list(ancestors) + [current]
if not include_root and len(chain) > 1: chain = chain[1:]
if len(chain) > max_items:
chain = [chain[0], '…'] + chain[-(max_items-2):] if max_items > 2 else chain[-max_items:]
return [(x, i != len(chain)-1) for i, x in enumerate(chain)]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('normal', solve(['root','parent'], 'current', 5, True), [('root', True), ('parent', True), ('current', False)])
check('only current', solve([], 'current', 5, False), [('current', False)])
check('hide root', solve(['root','parent'], 'current', 5, False), [('parent', True), ('current', False)])
check('collapsed', solve(['root','a','b','c'], 'current', 4, True), [('root', True), ('…', True), ('c', True), ('current', False)])
check('small budget', solve(['root','a','b'], 'current', 2, True), [('b', True), ('current', False)])
check('parameterized ancestor depth', solve(list(range(N)),N,N+2,True), [(i,i!=N) for i in range(N+1)])
for repetition in range(N):
check('repeat small budget', solve(['root','a','b'], 'current', 2, True), [('b', True), ('current', False)])
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| normal | [['root', True], ['parent', True], ['current', False]] | [['root', True], ['parent', True], ['current', False]] | Passed |
| only current | [['current', False]] | [['current', False]] | Passed |
| hide root | [['parent', True], ['current', False]] | [['parent', True], ['current', False]] | Passed |
| collapsed | [['root', True], ['…', True], ['c', True], ['current', False]] | [['root', True], ['…', True], ['c', True], ['current', False]] | Passed |
| small budget | [['b', True], ['current', False]] | [['b', True], ['current', False]] | Passed |
| parameterized ancestor depth | [[0, True], [1, False]] | [[0, True], [1, False]] | Passed |
| repeat small budget | [['b', True], ['current', False]] | [['b', True], ['current', False]] | Passed |
SHA-256 / 79f38268100ff14c1a921590c22065845992721ca98b6bdd49a81bc14435034c
Verification & scope
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:38:23.124959+00:00.
Case digest / 71e6ac021072c1cf41ddc25134cf20e1cffa2976d95b21a5c42fd52b54fc3e23