FA-36216 / Tab interfaces / Open access
Tab resource sharing: remaining document refs · case 01
The tab workspace reports an incorrect remaining document refs.
ROOT CAUSE
The remaining document refs decision uses len(x['views'])-1 instead of sum(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items()).
VERIFIED REPAIR
Use the stipulated workspace rule: sum(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items()).
Unsuccessful approach: The partial repair sum(d==x['views'][x['closing']] for d in x['views'].values()) still violates a workspace boundary or normal case.
Case contract
Several tab views may share one document. Closing one view releases only its view resources and closes document resources only when no other view references that document.
Why this case matters
Offline tab/panel workspace behavior; no browser or desktop framework is emulated.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
r0 = {v:d for v,d in x['views'].items() if v!=x['closing']}
r1 = len(x['views'])-1
r2 = not any(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items())
r3 = x['subscriptions'][x['closing']]
r4 = x['document_handles'][x['views'][x['closing']]] if not any(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items()) else 0
r5 = [v for v,d in x['views'].items() if v!=x['closing'] and d==x['views'][x['closing']]]
return [r0,r1,r2,r3,r4,r5]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'e'}, 1, False, 2, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'a': 'd', 'b': 'd'}, 0, True, 1, 4, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4, 'f': 1}}, [{'b': 'e', 'c': 'f'}, 0, True, 2, 7, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'a': 'd', 'c': 'e'}, 1, False, 3, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'd'}, 2, False, 2, 0, ['b', 'c']])], 2: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'e'}, 1, False, 4, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'a': 'd', 'b': 'd'}, 0, True, 2, 8, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8, 'f': 2}}, [{'b': 'e', 'c': 'f'}, 0, True, 4, 14, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'a': 'd', 'c': 'e'}, 1, False, 6, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'd'}, 2, False, 4, 0, ['b', 'c']])], 3: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'e'}, 1, False, 6, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'a': 'd', 'b': 'd'}, 0, True, 3, 12, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12, 'f': 3}}, [{'b': 'e', 'c': 'f'}, 0, True, 6, 21, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'a': 'd', 'c': 'e'}, 1, False, 9, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'd'}, 2, False, 6, 0, ['b', 'c']])], 4: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'e'}, 1, False, 8, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'a': 'd', 'b': 'd'}, 0, True, 4, 16, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16, 'f': 4}}, [{'b': 'e', 'c': 'f'}, 0, True, 8, 28, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'a': 'd', 'c': 'e'}, 1, False, 12, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'd'}, 2, False, 8, 0, ['b', 'c']])], 5: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'e'}, 1, False, 10, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'a': 'd', 'b': 'd'}, 0, True, 5, 20, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20, 'f': 5}}, [{'b': 'e', 'c': 'f'}, 0, True, 10, 35, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'a': 'd', 'c': 'e'}, 1, False, 15, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'd'}, 2, False, 10, 0, ['b', 'c']])]}
for i, (inputs, expected) in enumerate(fixtures[N]):
check("workspace regression "+str(i), solve(inputs), 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| workspace regression 0 | [{'b': 'd', 'c': 'e'}, 2, False, 2, 0, ['b']] | [{'b': 'd', 'c': 'e'}, 1, False, 2, 0, ['b']] | Failed |
| workspace regression 1 | [{'a': 'd', 'b': 'd'}, 2, True, 1, 4, []] | [{'a': 'd', 'b': 'd'}, 0, True, 1, 4, []] | Failed |
| workspace regression 2 | [{'b': 'e', 'c': 'f'}, 2, True, 2, 7, []] | [{'b': 'e', 'c': 'f'}, 0, True, 2, 7, []] | Failed |
| workspace regression 3 | [{'b': 'd', 'c': 'e'}, 2, False, 0, 0, ['b']] | [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']] | Failed |
| workspace regression 4 | [{'a': 'd', 'c': 'e'}, 2, False, 3, 0, ['a']] | [{'a': 'd', 'c': 'e'}, 1, False, 3, 0, ['a']] | Failed |
| workspace regression 5 | [{'b': 'd', 'c': 'd'}, 2, False, 2, 0, ['b', 'c']] | [{'b': 'd', 'c': 'd'}, 2, False, 2, 0, ['b', 'c']] | Passed |
SHA-256 / 8b0aa2c99364d24606da3993562964236cf47d619fd5ea8b4164e9814795b617
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
r0 = {v:d for v,d in x['views'].items() if v!=x['closing']}
r1 = sum(d==x['views'][x['closing']] for d in x['views'].values())
r2 = not any(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items())
r3 = x['subscriptions'][x['closing']]
r4 = x['document_handles'][x['views'][x['closing']]] if not any(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items()) else 0
r5 = [v for v,d in x['views'].items() if v!=x['closing'] and d==x['views'][x['closing']]]
return [r0,r1,r2,r3,r4,r5]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'e'}, 1, False, 2, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'a': 'd', 'b': 'd'}, 0, True, 1, 4, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4, 'f': 1}}, [{'b': 'e', 'c': 'f'}, 0, True, 2, 7, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'a': 'd', 'c': 'e'}, 1, False, 3, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'd'}, 2, False, 2, 0, ['b', 'c']])], 2: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'e'}, 1, False, 4, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'a': 'd', 'b': 'd'}, 0, True, 2, 8, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8, 'f': 2}}, [{'b': 'e', 'c': 'f'}, 0, True, 4, 14, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'a': 'd', 'c': 'e'}, 1, False, 6, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'd'}, 2, False, 4, 0, ['b', 'c']])], 3: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'e'}, 1, False, 6, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'a': 'd', 'b': 'd'}, 0, True, 3, 12, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12, 'f': 3}}, [{'b': 'e', 'c': 'f'}, 0, True, 6, 21, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'a': 'd', 'c': 'e'}, 1, False, 9, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'd'}, 2, False, 6, 0, ['b', 'c']])], 4: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'e'}, 1, False, 8, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'a': 'd', 'b': 'd'}, 0, True, 4, 16, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16, 'f': 4}}, [{'b': 'e', 'c': 'f'}, 0, True, 8, 28, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'a': 'd', 'c': 'e'}, 1, False, 12, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'd'}, 2, False, 8, 0, ['b', 'c']])], 5: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'e'}, 1, False, 10, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'a': 'd', 'b': 'd'}, 0, True, 5, 20, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20, 'f': 5}}, [{'b': 'e', 'c': 'f'}, 0, True, 10, 35, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'a': 'd', 'c': 'e'}, 1, False, 15, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'd'}, 2, False, 10, 0, ['b', 'c']])]}
for i, (inputs, expected) in enumerate(fixtures[N]):
check("workspace regression "+str(i), solve(inputs), 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| workspace regression 0 | [{'b': 'd', 'c': 'e'}, 2, False, 2, 0, ['b']] | [{'b': 'd', 'c': 'e'}, 1, False, 2, 0, ['b']] | Failed |
| workspace regression 1 | [{'a': 'd', 'b': 'd'}, 1, True, 1, 4, []] | [{'a': 'd', 'b': 'd'}, 0, True, 1, 4, []] | Failed |
| workspace regression 2 | [{'b': 'e', 'c': 'f'}, 1, True, 2, 7, []] | [{'b': 'e', 'c': 'f'}, 0, True, 2, 7, []] | Failed |
| workspace regression 3 | [{'b': 'd', 'c': 'e'}, 2, False, 0, 0, ['b']] | [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']] | Failed |
| workspace regression 4 | [{'a': 'd', 'c': 'e'}, 2, False, 3, 0, ['a']] | [{'a': 'd', 'c': 'e'}, 1, False, 3, 0, ['a']] | Failed |
| workspace regression 5 | [{'b': 'd', 'c': 'd'}, 3, False, 2, 0, ['b', 'c']] | [{'b': 'd', 'c': 'd'}, 2, False, 2, 0, ['b', 'c']] | Failed |
SHA-256 / f252cb34f7cd8bd3c6fd31c2acb9e7dd316223539319dbbe4a2b3c1bdcce090d
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
r0 = {v:d for v,d in x['views'].items() if v!=x['closing']}
r1 = sum(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items())
r2 = not any(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items())
r3 = x['subscriptions'][x['closing']]
r4 = x['document_handles'][x['views'][x['closing']]] if not any(v!=x['closing'] and d==x['views'][x['closing']] for v,d in x['views'].items()) else 0
r5 = [v for v,d in x['views'].items() if v!=x['closing'] and d==x['views'][x['closing']]]
return [r0,r1,r2,r3,r4,r5]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'e'}, 1, False, 2, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'a': 'd', 'b': 'd'}, 0, True, 1, 4, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4, 'f': 1}}, [{'b': 'e', 'c': 'f'}, 0, True, 2, 7, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'a': 'd', 'c': 'e'}, 1, False, 3, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 2, 'b': 3, 'c': 1}, 'document_handles': {'d': 7, 'e': 4}}, [{'b': 'd', 'c': 'd'}, 2, False, 2, 0, ['b', 'c']])], 2: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'e'}, 1, False, 4, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'a': 'd', 'b': 'd'}, 0, True, 2, 8, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8, 'f': 2}}, [{'b': 'e', 'c': 'f'}, 0, True, 4, 14, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'a': 'd', 'c': 'e'}, 1, False, 6, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 4, 'b': 6, 'c': 2}, 'document_handles': {'d': 14, 'e': 8}}, [{'b': 'd', 'c': 'd'}, 2, False, 4, 0, ['b', 'c']])], 3: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'e'}, 1, False, 6, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'a': 'd', 'b': 'd'}, 0, True, 3, 12, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12, 'f': 3}}, [{'b': 'e', 'c': 'f'}, 0, True, 6, 21, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'a': 'd', 'c': 'e'}, 1, False, 9, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 6, 'b': 9, 'c': 3}, 'document_handles': {'d': 21, 'e': 12}}, [{'b': 'd', 'c': 'd'}, 2, False, 6, 0, ['b', 'c']])], 4: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'e'}, 1, False, 8, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'a': 'd', 'b': 'd'}, 0, True, 4, 16, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16, 'f': 4}}, [{'b': 'e', 'c': 'f'}, 0, True, 8, 28, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'a': 'd', 'c': 'e'}, 1, False, 12, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 8, 'b': 12, 'c': 4}, 'document_handles': {'d': 28, 'e': 16}}, [{'b': 'd', 'c': 'd'}, 2, False, 8, 0, ['b', 'c']])], 5: [({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'e'}, 1, False, 10, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'c', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'a': 'd', 'b': 'd'}, 0, True, 5, 20, []]), ({'views': {'a': 'd', 'b': 'e', 'c': 'f'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20, 'f': 5}}, [{'b': 'e', 'c': 'f'}, 0, True, 10, 35, []]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'a', 'subscriptions': {'a': 0, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'e'}, 'closing': 'b', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'a': 'd', 'c': 'e'}, 1, False, 15, 0, ['a']]), ({'views': {'a': 'd', 'b': 'd', 'c': 'd'}, 'closing': 'a', 'subscriptions': {'a': 10, 'b': 15, 'c': 5}, 'document_handles': {'d': 35, 'e': 20}}, [{'b': 'd', 'c': 'd'}, 2, False, 10, 0, ['b', 'c']])]}
for i, (inputs, expected) in enumerate(fixtures[N]):
check("workspace regression "+str(i), solve(inputs), 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| workspace regression 0 | [{'b': 'd', 'c': 'e'}, 1, False, 2, 0, ['b']] | [{'b': 'd', 'c': 'e'}, 1, False, 2, 0, ['b']] | Passed |
| workspace regression 1 | [{'a': 'd', 'b': 'd'}, 0, True, 1, 4, []] | [{'a': 'd', 'b': 'd'}, 0, True, 1, 4, []] | Passed |
| workspace regression 2 | [{'b': 'e', 'c': 'f'}, 0, True, 2, 7, []] | [{'b': 'e', 'c': 'f'}, 0, True, 2, 7, []] | Passed |
| workspace regression 3 | [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']] | [{'b': 'd', 'c': 'e'}, 1, False, 0, 0, ['b']] | Passed |
| workspace regression 4 | [{'a': 'd', 'c': 'e'}, 1, False, 3, 0, ['a']] | [{'a': 'd', 'c': 'e'}, 1, False, 3, 0, ['a']] | Passed |
| workspace regression 5 | [{'b': 'd', 'c': 'd'}, 2, False, 2, 0, ['b', 'c']] | [{'b': 'd', 'c': 'd'}, 2, False, 2, 0, ['b', 'c']] | Passed |
SHA-256 / 1dfbb02d9805a3ce0afa02418de5d9893ac9e89fdac5efaf493b87b7826b640f
Verification & scope
Finite stipulated workspace snapshots only. Independent result fields describe observable obligations, not a full UI runtime. 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:42:49.029785+00:00.
Case digest / 758cb4092bc82bc3933b1c96854147342f8bac372c1fed1f26acfa44bff797da