{"abstract":"Session only reset.","category":"Client state","checks":60,"contract":"Client preferences overlay defaults, device, workspace and session in that order. Workspace locks exclude session writes. Removing an override reveals the lower layer; serialization preserves its own layer and explicit null/falsy values. Operation session-only-reset has the six explicit input/output oracles below.","evaluation_group":"s3-client-state-preference-layers","failed_approach":"The partial repair `{**defaults,**device}` still violates the explicit fixture contract.","family":"s3-client-state-preference-layers-session-only-reset","id":"FA-24691","implementations":{"attempt":{"sha256":"bbfb779b80afe87db51c8bb1bce6e5c0308f35754dee1f9a7d9f73b75276f631","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    defaults, device, workspace, session, locked, removed = s\n    if operation == 'layer-precedence':\n        return {**defaults,**device,**workspace,**session}\n    if operation == 'locked-workspace-values':\n        return {**defaults,**device,**workspace,**{k:v for k,v in session.items() if k not in locked}}\n    if operation == 'session-only-reset':\n        return {**defaults,**device}\n    if operation == 'device-layer-serialization':\n        return dict(device)\n    if operation == 'explicit-session-keys':\n        return list(session)\n    if operation == 'session-key-removal-falls-through':\n        return {**defaults,**device,**workspace,**{k:v for k,v in session.items() if k not in removed}}\n    if operation == 'writable-preference-projection':\n        return {k:v for k,v in session.items() if k not in locked}\n    if operation == 'preference-source-attribution':\n        return {k:next(layer for layer,values in [('session',session),('workspace',workspace),('device',device),('default',defaults)] if k in values) for k in sorted(set(defaults)|set(device)|set(workspace)|set(session))}\n    if operation == 'redundant-device-override-pruning':\n        return {k:v for k,v in device.items() if k not in defaults or defaults[k]!=v}\n    if operation == 'workspace-lock-report':\n        return [k for k in locked if k in workspace]\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('layer-precedence scenario 1', solve('layer-precedence', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'','size':N})\ncheck('layer-precedence scenario 2', solve('layer-precedence', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('layer-precedence scenario 3', solve('layer-precedence', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':4})\ncheck('layer-precedence scenario 4', solve('layer-precedence', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('layer-precedence scenario 5', solve('layer-precedence', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'blue'})\ncheck('layer-precedence scenario 6', solve('layer-precedence', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('locked-workspace-values scenario 1', solve('locked-workspace-values', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'','size':N})\ncheck('locked-workspace-values scenario 2', solve('locked-workspace-values', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('locked-workspace-values scenario 3', solve('locked-workspace-values', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':3})\ncheck('locked-workspace-values scenario 4', solve('locked-workspace-values', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('locked-workspace-values scenario 5', solve('locked-workspace-values', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'blue'})\ncheck('locked-workspace-values scenario 6', solve('locked-workspace-values', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('session-only-reset scenario 1', solve('session-only-reset', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'dark','size':N})\ncheck('session-only-reset scenario 2', solve('session-only-reset', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('session-only-reset scenario 3', solve('session-only-reset', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':3})\ncheck('session-only-reset scenario 4', solve('session-only-reset', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('session-only-reset scenario 5', solve('session-only-reset', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'light'})\ncheck('session-only-reset scenario 6', solve('session-only-reset', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':3})\ncheck('device-layer-serialization scenario 1', solve('device-layer-serialization', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'dark'})\ncheck('device-layer-serialization scenario 2', solve('device-layer-serialization', ({'theme':'light'}, {},{}, {},[],[])), {})\ncheck('device-layer-serialization scenario 3', solve('device-layer-serialization', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':0})\ncheck('device-layer-serialization scenario 4', solve('device-layer-serialization', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('device-layer-serialization scenario 5', solve('device-layer-serialization', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'dark'})\ncheck('device-layer-serialization scenario 6', solve('device-layer-serialization', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':2})\ncheck('explicit-session-keys scenario 1', solve('explicit-session-keys', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), ['theme'])\ncheck('explicit-session-keys scenario 2', solve('explicit-session-keys', ({'theme':'light'}, {},{}, {},[],[])), [])\ncheck('explicit-session-keys scenario 3', solve('explicit-session-keys', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), ['size'])\ncheck('explicit-session-keys scenario 4', solve('explicit-session-keys', ({'theme':'light'},{'theme':None},{},{},[],[])), [])\ncheck('explicit-session-keys scenario 5', solve('explicit-session-keys', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), ['theme'])\ncheck('explicit-session-keys scenario 6', solve('explicit-session-keys', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), ['size'])\ncheck('session-key-removal-falls-through scenario 1', solve('session-key-removal-falls-through', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'','size':N})\ncheck('session-key-removal-falls-through scenario 2', solve('session-key-removal-falls-through', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('session-key-removal-falls-through scenario 3', solve('session-key-removal-falls-through', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':3})\ncheck('session-key-removal-falls-through scenario 4', solve('session-key-removal-falls-through', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('session-key-removal-falls-through scenario 5', solve('session-key-removal-falls-through', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'light'})\ncheck('session-key-removal-falls-through scenario 6', solve('session-key-removal-falls-through', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('writable-preference-projection scenario 1', solve('writable-preference-projection', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':''})\ncheck('writable-preference-projection scenario 2', solve('writable-preference-projection', ({'theme':'light'}, {},{}, {},[],[])), {})\ncheck('writable-preference-projection scenario 3', solve('writable-preference-projection', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {})\ncheck('writable-preference-projection scenario 4', solve('writable-preference-projection', ({'theme':'light'},{'theme':None},{},{},[],[])), {})\ncheck('writable-preference-projection scenario 5', solve('writable-preference-projection', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'blue'})\ncheck('writable-preference-projection scenario 6', solve('writable-preference-projection', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('preference-source-attribution scenario 1', solve('preference-source-attribution', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'size':'workspace','theme':'session'})\ncheck('preference-source-attribution scenario 2', solve('preference-source-attribution', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'default'})\ncheck('preference-source-attribution scenario 3', solve('preference-source-attribution', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':'session'})\ncheck('preference-source-attribution scenario 4', solve('preference-source-attribution', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':'device'})\ncheck('preference-source-attribution scenario 5', solve('preference-source-attribution', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'session'})\ncheck('preference-source-attribution scenario 6', solve('preference-source-attribution', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':'session'})\ncheck('redundant-device-override-pruning scenario 1', solve('redundant-device-override-pruning', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'dark'})\ncheck('redundant-device-override-pruning scenario 2', solve('redundant-device-override-pruning', ({'theme':'light'}, {},{}, {},[],[])), {})\ncheck('redundant-device-override-pruning scenario 3', solve('redundant-device-override-pruning', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':0})\ncheck('redundant-device-override-pruning scenario 4', solve('redundant-device-override-pruning', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('redundant-device-override-pruning scenario 5', solve('redundant-device-override-pruning', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'dark'})\ncheck('redundant-device-override-pruning scenario 6', solve('redundant-device-override-pruning', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':2})\ncheck('workspace-lock-report scenario 1', solve('workspace-lock-report', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), ['size'])\ncheck('workspace-lock-report scenario 2', solve('workspace-lock-report', ({'theme':'light'}, {},{}, {},[],[])), [])\ncheck('workspace-lock-report scenario 3', solve('workspace-lock-report', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), ['size'])\ncheck('workspace-lock-report scenario 4', solve('workspace-lock-report', ({'theme':'light'},{'theme':None},{},{},[],[])), [])\ncheck('workspace-lock-report scenario 5', solve('workspace-lock-report', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), [])\ncheck('workspace-lock-report scenario 6', solve('workspace-lock-report', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), [])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"f51d40a80764fcf0c7ca0cb66dc30fdd288d8e70453396dc7f4275a53eb81708","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    defaults, device, workspace, session, locked, removed = s\n    if operation == 'layer-precedence':\n        return {**defaults,**device,**workspace,**session}\n    if operation == 'locked-workspace-values':\n        return {**defaults,**device,**workspace,**{k:v for k,v in session.items() if k not in locked}}\n    if operation == 'session-only-reset':\n        return defaults\n    if operation == 'device-layer-serialization':\n        return dict(device)\n    if operation == 'explicit-session-keys':\n        return list(session)\n    if operation == 'session-key-removal-falls-through':\n        return {**defaults,**device,**workspace,**{k:v for k,v in session.items() if k not in removed}}\n    if operation == 'writable-preference-projection':\n        return {k:v for k,v in session.items() if k not in locked}\n    if operation == 'preference-source-attribution':\n        return {k:next(layer for layer,values in [('session',session),('workspace',workspace),('device',device),('default',defaults)] if k in values) for k in sorted(set(defaults)|set(device)|set(workspace)|set(session))}\n    if operation == 'redundant-device-override-pruning':\n        return {k:v for k,v in device.items() if k not in defaults or defaults[k]!=v}\n    if operation == 'workspace-lock-report':\n        return [k for k in locked if k in workspace]\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('layer-precedence scenario 1', solve('layer-precedence', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'','size':N})\ncheck('layer-precedence scenario 2', solve('layer-precedence', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('layer-precedence scenario 3', solve('layer-precedence', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':4})\ncheck('layer-precedence scenario 4', solve('layer-precedence', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('layer-precedence scenario 5', solve('layer-precedence', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'blue'})\ncheck('layer-precedence scenario 6', solve('layer-precedence', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('locked-workspace-values scenario 1', solve('locked-workspace-values', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'','size':N})\ncheck('locked-workspace-values scenario 2', solve('locked-workspace-values', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('locked-workspace-values scenario 3', solve('locked-workspace-values', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':3})\ncheck('locked-workspace-values scenario 4', solve('locked-workspace-values', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('locked-workspace-values scenario 5', solve('locked-workspace-values', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'blue'})\ncheck('locked-workspace-values scenario 6', solve('locked-workspace-values', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('session-only-reset scenario 1', solve('session-only-reset', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'dark','size':N})\ncheck('session-only-reset scenario 2', solve('session-only-reset', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('session-only-reset scenario 3', solve('session-only-reset', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':3})\ncheck('session-only-reset scenario 4', solve('session-only-reset', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('session-only-reset scenario 5', solve('session-only-reset', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'light'})\ncheck('session-only-reset scenario 6', solve('session-only-reset', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':3})\ncheck('device-layer-serialization scenario 1', solve('device-layer-serialization', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'dark'})\ncheck('device-layer-serialization scenario 2', solve('device-layer-serialization', ({'theme':'light'}, {},{}, {},[],[])), {})\ncheck('device-layer-serialization scenario 3', solve('device-layer-serialization', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':0})\ncheck('device-layer-serialization scenario 4', solve('device-layer-serialization', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('device-layer-serialization scenario 5', solve('device-layer-serialization', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'dark'})\ncheck('device-layer-serialization scenario 6', solve('device-layer-serialization', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':2})\ncheck('explicit-session-keys scenario 1', solve('explicit-session-keys', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), ['theme'])\ncheck('explicit-session-keys scenario 2', solve('explicit-session-keys', ({'theme':'light'}, {},{}, {},[],[])), [])\ncheck('explicit-session-keys scenario 3', solve('explicit-session-keys', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), ['size'])\ncheck('explicit-session-keys scenario 4', solve('explicit-session-keys', ({'theme':'light'},{'theme':None},{},{},[],[])), [])\ncheck('explicit-session-keys scenario 5', solve('explicit-session-keys', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), ['theme'])\ncheck('explicit-session-keys scenario 6', solve('explicit-session-keys', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), ['size'])\ncheck('session-key-removal-falls-through scenario 1', solve('session-key-removal-falls-through', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'','size':N})\ncheck('session-key-removal-falls-through scenario 2', solve('session-key-removal-falls-through', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('session-key-removal-falls-through scenario 3', solve('session-key-removal-falls-through', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':3})\ncheck('session-key-removal-falls-through scenario 4', solve('session-key-removal-falls-through', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('session-key-removal-falls-through scenario 5', solve('session-key-removal-falls-through', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'light'})\ncheck('session-key-removal-falls-through scenario 6', solve('session-key-removal-falls-through', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('writable-preference-projection scenario 1', solve('writable-preference-projection', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':''})\ncheck('writable-preference-projection scenario 2', solve('writable-preference-projection', ({'theme':'light'}, {},{}, {},[],[])), {})\ncheck('writable-preference-projection scenario 3', solve('writable-preference-projection', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {})\ncheck('writable-preference-projection scenario 4', solve('writable-preference-projection', ({'theme':'light'},{'theme':None},{},{},[],[])), {})\ncheck('writable-preference-projection scenario 5', solve('writable-preference-projection', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'blue'})\ncheck('writable-preference-projection scenario 6', solve('writable-preference-projection', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('preference-source-attribution scenario 1', solve('preference-source-attribution', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'size':'workspace','theme':'session'})\ncheck('preference-source-attribution scenario 2', solve('preference-source-attribution', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'default'})\ncheck('preference-source-attribution scenario 3', solve('preference-source-attribution', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':'session'})\ncheck('preference-source-attribution scenario 4', solve('preference-source-attribution', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':'device'})\ncheck('preference-source-attribution scenario 5', solve('preference-source-attribution', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'session'})\ncheck('preference-source-attribution scenario 6', solve('preference-source-attribution', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':'session'})\ncheck('redundant-device-override-pruning scenario 1', solve('redundant-device-override-pruning', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'dark'})\ncheck('redundant-device-override-pruning scenario 2', solve('redundant-device-override-pruning', ({'theme':'light'}, {},{}, {},[],[])), {})\ncheck('redundant-device-override-pruning scenario 3', solve('redundant-device-override-pruning', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':0})\ncheck('redundant-device-override-pruning scenario 4', solve('redundant-device-override-pruning', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('redundant-device-override-pruning scenario 5', solve('redundant-device-override-pruning', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'dark'})\ncheck('redundant-device-override-pruning scenario 6', solve('redundant-device-override-pruning', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':2})\ncheck('workspace-lock-report scenario 1', solve('workspace-lock-report', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), ['size'])\ncheck('workspace-lock-report scenario 2', solve('workspace-lock-report', ({'theme':'light'}, {},{}, {},[],[])), [])\ncheck('workspace-lock-report scenario 3', solve('workspace-lock-report', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), ['size'])\ncheck('workspace-lock-report scenario 4', solve('workspace-lock-report', ({'theme':'light'},{'theme':None},{},{},[],[])), [])\ncheck('workspace-lock-report scenario 5', solve('workspace-lock-report', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), [])\ncheck('workspace-lock-report scenario 6', solve('workspace-lock-report', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), [])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"3ccea91cc3e1c4ddcafb4ca2d8bbb22e8dcb67d3e1c53de10bcb42d147f9ca5e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    defaults, device, workspace, session, locked, removed = s\n    if operation == 'layer-precedence':\n        return {**defaults,**device,**workspace,**session}\n    if operation == 'locked-workspace-values':\n        return {**defaults,**device,**workspace,**{k:v for k,v in session.items() if k not in locked}}\n    if operation == 'session-only-reset':\n        return {**defaults,**device,**workspace}\n    if operation == 'device-layer-serialization':\n        return dict(device)\n    if operation == 'explicit-session-keys':\n        return list(session)\n    if operation == 'session-key-removal-falls-through':\n        return {**defaults,**device,**workspace,**{k:v for k,v in session.items() if k not in removed}}\n    if operation == 'writable-preference-projection':\n        return {k:v for k,v in session.items() if k not in locked}\n    if operation == 'preference-source-attribution':\n        return {k:next(layer for layer,values in [('session',session),('workspace',workspace),('device',device),('default',defaults)] if k in values) for k in sorted(set(defaults)|set(device)|set(workspace)|set(session))}\n    if operation == 'redundant-device-override-pruning':\n        return {k:v for k,v in device.items() if k not in defaults or defaults[k]!=v}\n    if operation == 'workspace-lock-report':\n        return [k for k in locked if k in workspace]\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('layer-precedence scenario 1', solve('layer-precedence', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'','size':N})\ncheck('layer-precedence scenario 2', solve('layer-precedence', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('layer-precedence scenario 3', solve('layer-precedence', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':4})\ncheck('layer-precedence scenario 4', solve('layer-precedence', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('layer-precedence scenario 5', solve('layer-precedence', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'blue'})\ncheck('layer-precedence scenario 6', solve('layer-precedence', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('locked-workspace-values scenario 1', solve('locked-workspace-values', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'','size':N})\ncheck('locked-workspace-values scenario 2', solve('locked-workspace-values', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('locked-workspace-values scenario 3', solve('locked-workspace-values', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':3})\ncheck('locked-workspace-values scenario 4', solve('locked-workspace-values', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('locked-workspace-values scenario 5', solve('locked-workspace-values', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'blue'})\ncheck('locked-workspace-values scenario 6', solve('locked-workspace-values', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('session-only-reset scenario 1', solve('session-only-reset', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'dark','size':N})\ncheck('session-only-reset scenario 2', solve('session-only-reset', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('session-only-reset scenario 3', solve('session-only-reset', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':3})\ncheck('session-only-reset scenario 4', solve('session-only-reset', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('session-only-reset scenario 5', solve('session-only-reset', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'light'})\ncheck('session-only-reset scenario 6', solve('session-only-reset', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':3})\ncheck('device-layer-serialization scenario 1', solve('device-layer-serialization', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'dark'})\ncheck('device-layer-serialization scenario 2', solve('device-layer-serialization', ({'theme':'light'}, {},{}, {},[],[])), {})\ncheck('device-layer-serialization scenario 3', solve('device-layer-serialization', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':0})\ncheck('device-layer-serialization scenario 4', solve('device-layer-serialization', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('device-layer-serialization scenario 5', solve('device-layer-serialization', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'dark'})\ncheck('device-layer-serialization scenario 6', solve('device-layer-serialization', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':2})\ncheck('explicit-session-keys scenario 1', solve('explicit-session-keys', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), ['theme'])\ncheck('explicit-session-keys scenario 2', solve('explicit-session-keys', ({'theme':'light'}, {},{}, {},[],[])), [])\ncheck('explicit-session-keys scenario 3', solve('explicit-session-keys', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), ['size'])\ncheck('explicit-session-keys scenario 4', solve('explicit-session-keys', ({'theme':'light'},{'theme':None},{},{},[],[])), [])\ncheck('explicit-session-keys scenario 5', solve('explicit-session-keys', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), ['theme'])\ncheck('explicit-session-keys scenario 6', solve('explicit-session-keys', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), ['size'])\ncheck('session-key-removal-falls-through scenario 1', solve('session-key-removal-falls-through', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'','size':N})\ncheck('session-key-removal-falls-through scenario 2', solve('session-key-removal-falls-through', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'light'})\ncheck('session-key-removal-falls-through scenario 3', solve('session-key-removal-falls-through', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':3})\ncheck('session-key-removal-falls-through scenario 4', solve('session-key-removal-falls-through', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('session-key-removal-falls-through scenario 5', solve('session-key-removal-falls-through', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'light'})\ncheck('session-key-removal-falls-through scenario 6', solve('session-key-removal-falls-through', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('writable-preference-projection scenario 1', solve('writable-preference-projection', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':''})\ncheck('writable-preference-projection scenario 2', solve('writable-preference-projection', ({'theme':'light'}, {},{}, {},[],[])), {})\ncheck('writable-preference-projection scenario 3', solve('writable-preference-projection', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {})\ncheck('writable-preference-projection scenario 4', solve('writable-preference-projection', ({'theme':'light'},{'theme':None},{},{},[],[])), {})\ncheck('writable-preference-projection scenario 5', solve('writable-preference-projection', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'blue'})\ncheck('writable-preference-projection scenario 6', solve('writable-preference-projection', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':0})\ncheck('preference-source-attribution scenario 1', solve('preference-source-attribution', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'size':'workspace','theme':'session'})\ncheck('preference-source-attribution scenario 2', solve('preference-source-attribution', ({'theme':'light'}, {},{}, {},[],[])), {'theme':'default'})\ncheck('preference-source-attribution scenario 3', solve('preference-source-attribution', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':'session'})\ncheck('preference-source-attribution scenario 4', solve('preference-source-attribution', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':'device'})\ncheck('preference-source-attribution scenario 5', solve('preference-source-attribution', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'session'})\ncheck('preference-source-attribution scenario 6', solve('preference-source-attribution', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':'session'})\ncheck('redundant-device-override-pruning scenario 1', solve('redundant-device-override-pruning', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), {'theme':'dark'})\ncheck('redundant-device-override-pruning scenario 2', solve('redundant-device-override-pruning', ({'theme':'light'}, {},{}, {},[],[])), {})\ncheck('redundant-device-override-pruning scenario 3', solve('redundant-device-override-pruning', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), {'size':0})\ncheck('redundant-device-override-pruning scenario 4', solve('redundant-device-override-pruning', ({'theme':'light'},{'theme':None},{},{},[],[])), {'theme':None})\ncheck('redundant-device-override-pruning scenario 5', solve('redundant-device-override-pruning', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), {'theme':'dark'})\ncheck('redundant-device-override-pruning scenario 6', solve('redundant-device-override-pruning', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), {'size':2})\ncheck('workspace-lock-report scenario 1', solve('workspace-lock-report', ({'theme':'light','size':1},{'theme':'dark'},{'size':N},{'theme':''},['size'],[])), ['size'])\ncheck('workspace-lock-report scenario 2', solve('workspace-lock-report', ({'theme':'light'}, {},{}, {},[],[])), [])\ncheck('workspace-lock-report scenario 3', solve('workspace-lock-report', ({'size':2},{'size':0},{'size':3},{'size':4},['size'],['size'])), ['size'])\ncheck('workspace-lock-report scenario 4', solve('workspace-lock-report', ({'theme':'light'},{'theme':None},{},{},[],[])), [])\ncheck('workspace-lock-report scenario 5', solve('workspace-lock-report', ({}, {'theme':'dark'},{'theme':'light'},{'theme':'blue'},[],['theme'])), [])\ncheck('workspace-lock-report scenario 6', solve('workspace-lock-report', ({'size':1}, {'size':2},{'size':3},{'size':0},[],[])), [])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Only the explicitly specified operations and finite deterministic records are modeled; no browser or framework 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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-client-state-preference-layers-session-only-reset","generated_at":"2026-09-29T14:40:59.906158+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"An offline client lifecycle model that isolates a state-management defect without DOM rendering or network services.","repair":"Apply the modeled session-only-reset rule: `{**defaults,**device,**workspace}`.","root_cause":"The session-only-reset client decision evaluates `defaults` instead of `{**defaults,**device,**workspace}`.","sha256":"6e3acc8191e9ee97269df39e6c0856a936f48f0276ed4117adfa03e54bb4e7cd","title":"Client preference layer resolution: Session only reset · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.545,"exit_code":1,"observations":[{"actual":{"size":1,"theme":""},"check":"layer-precedence scenario 1","expected":{"size":1,"theme":""},"passed":true},{"actual":{"theme":"light"},"check":"layer-precedence scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":4},"check":"layer-precedence scenario 3","expected":{"size":4},"passed":true},{"actual":{"theme":null},"check":"layer-precedence scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"blue"},"check":"layer-precedence scenario 5","expected":{"theme":"blue"},"passed":true},{"actual":{"size":0},"check":"layer-precedence scenario 6","expected":{"size":0},"passed":true},{"actual":{"size":1,"theme":""},"check":"locked-workspace-values scenario 1","expected":{"size":1,"theme":""},"passed":true},{"actual":{"theme":"light"},"check":"locked-workspace-values scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":3},"check":"locked-workspace-values scenario 3","expected":{"size":3},"passed":true},{"actual":{"theme":null},"check":"locked-workspace-values scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"blue"},"check":"locked-workspace-values scenario 5","expected":{"theme":"blue"},"passed":true},{"actual":{"size":0},"check":"locked-workspace-values scenario 6","expected":{"size":0},"passed":true},{"actual":{"size":1,"theme":"dark"},"check":"session-only-reset scenario 1","expected":{"size":1,"theme":"dark"},"passed":true},{"actual":{"theme":"light"},"check":"session-only-reset scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":0},"check":"session-only-reset scenario 3","expected":{"size":3},"passed":false},{"actual":{"theme":null},"check":"session-only-reset scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"dark"},"check":"session-only-reset scenario 5","expected":{"theme":"light"},"passed":false},{"actual":{"size":2},"check":"session-only-reset scenario 6","expected":{"size":3},"passed":false},{"actual":{"theme":"dark"},"check":"device-layer-serialization scenario 1","expected":{"theme":"dark"},"passed":true},{"actual":{},"check":"device-layer-serialization scenario 2","expected":{},"passed":true},{"actual":{"size":0},"check":"device-layer-serialization scenario 3","expected":{"size":0},"passed":true},{"actual":{"theme":null},"check":"device-layer-serialization scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"dark"},"check":"device-layer-serialization scenario 5","expected":{"theme":"dark"},"passed":true},{"actual":{"size":2},"check":"device-layer-serialization scenario 6","expected":{"size":2},"passed":true},{"actual":["theme"],"check":"explicit-session-keys scenario 1","expected":["theme"],"passed":true},{"actual":[],"check":"explicit-session-keys scenario 2","expected":[],"passed":true},{"actual":["size"],"check":"explicit-session-keys scenario 3","expected":["size"],"passed":true},{"actual":[],"check":"explicit-session-keys scenario 4","expected":[],"passed":true},{"actual":["theme"],"check":"explicit-session-keys scenario 5","expected":["theme"],"passed":true},{"actual":["size"],"check":"explicit-session-keys scenario 6","expected":["size"],"passed":true},{"actual":{"size":1,"theme":""},"check":"session-key-removal-falls-through scenario 1","expected":{"size":1,"theme":""},"passed":true},{"actual":{"theme":"light"},"check":"session-key-removal-falls-through scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":3},"check":"session-key-removal-falls-through scenario 3","expected":{"size":3},"passed":true},{"actual":{"theme":null},"check":"session-key-removal-falls-through scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"light"},"check":"session-key-removal-falls-through scenario 5","expected":{"theme":"light"},"passed":true},{"actual":{"size":0},"check":"session-key-removal-falls-through scenario 6","expected":{"size":0},"passed":true},{"actual":{"theme":""},"check":"writable-preference-projection scenario 1","expected":{"theme":""},"passed":true},{"actual":{},"check":"writable-preference-projection scenario 2","expected":{},"passed":true},{"actual":{},"check":"writable-preference-projection scenario 3","expected":{},"passed":true},{"actual":{},"check":"writable-preference-projection scenario 4","expected":{},"passed":true},{"actual":{"theme":"blue"},"check":"writable-preference-projection scenario 5","expected":{"theme":"blue"},"passed":true},{"actual":{"size":0},"check":"writable-preference-projection scenario 6","expected":{"size":0},"passed":true},{"actual":{"size":"workspace","theme":"session"},"check":"preference-source-attribution scenario 1","expected":{"size":"workspace","theme":"session"},"passed":true},{"actual":{"theme":"default"},"check":"preference-source-attribution scenario 2","expected":{"theme":"default"},"passed":true},{"actual":{"size":"session"},"check":"preference-source-attribution scenario 3","expected":{"size":"session"},"passed":true},{"actual":{"theme":"device"},"check":"preference-source-attribution scenario 4","expected":{"theme":"device"},"passed":true},{"actual":{"theme":"session"},"check":"preference-source-attribution scenario 5","expected":{"theme":"session"},"passed":true},{"actual":{"size":"session"},"check":"preference-source-attribution scenario 6","expected":{"size":"session"},"passed":true},{"actual":{"theme":"dark"},"check":"redundant-device-override-pruning scenario 1","expected":{"theme":"dark"},"passed":true},{"actual":{},"check":"redundant-device-override-pruning scenario 2","expected":{},"passed":true},{"actual":{"size":0},"check":"redundant-device-override-pruning scenario 3","expected":{"size":0},"passed":true},{"actual":{"theme":null},"check":"redundant-device-override-pruning scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"dark"},"check":"redundant-device-override-pruning scenario 5","expected":{"theme":"dark"},"passed":true},{"actual":{"size":2},"check":"redundant-device-override-pruning scenario 6","expected":{"size":2},"passed":true},{"actual":["size"],"check":"workspace-lock-report scenario 1","expected":["size"],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 2","expected":[],"passed":true},{"actual":["size"],"check":"workspace-lock-report scenario 3","expected":["size"],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 4","expected":[],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 5","expected":[],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 6","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layer-precedence scenario 1\", \"actual\": {\"theme\": \"\", \"size\": 1}, \"expected\": {\"theme\": \"\", \"size\": 1}, \"passed\": true}, {\"check\": \"layer-precedence scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"layer-precedence scenario 3\", \"actual\": {\"size\": 4}, \"expected\": {\"size\": 4}, \"passed\": true}, {\"check\": \"layer-precedence scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"layer-precedence scenario 5\", \"actual\": {\"theme\": \"blue\"}, \"expected\": {\"theme\": \"blue\"}, \"passed\": true}, {\"check\": \"layer-precedence scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 1\", \"actual\": {\"theme\": \"\", \"size\": 1}, \"expected\": {\"theme\": \"\", \"size\": 1}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 3\", \"actual\": {\"size\": 3}, \"expected\": {\"size\": 3}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 5\", \"actual\": {\"theme\": \"blue\"}, \"expected\": {\"theme\": \"blue\"}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"session-only-reset scenario 1\", \"actual\": {\"theme\": \"dark\", \"size\": 1}, \"expected\": {\"theme\": \"dark\", \"size\": 1}, \"passed\": true}, {\"check\": \"session-only-reset scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"session-only-reset scenario 3\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 3}, \"passed\": false}, {\"check\": \"session-only-reset scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"session-only-reset scenario 5\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": false}, {\"check\": \"session-only-reset scenario 6\", \"actual\": {\"size\": 2}, \"expected\": {\"size\": 3}, \"passed\": false}, {\"check\": \"device-layer-serialization scenario 1\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 3\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 5\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 6\", \"actual\": {\"size\": 2}, \"expected\": {\"size\": 2}, \"passed\": true}, {\"check\": \"explicit-session-keys scenario 1\", \"actual\": [\"theme\"], \"expected\": [\"theme\"], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 3\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 5\", \"actual\": [\"theme\"], \"expected\": [\"theme\"], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 6\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 1\", \"actual\": {\"theme\": \"\", \"size\": 1}, \"expected\": {\"theme\": \"\", \"size\": 1}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 3\", \"actual\": {\"size\": 3}, \"expected\": {\"size\": 3}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 5\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 1\", \"actual\": {\"theme\": \"\"}, \"expected\": {\"theme\": \"\"}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 3\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 5\", \"actual\": {\"theme\": \"blue\"}, \"expected\": {\"theme\": \"blue\"}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 1\", \"actual\": {\"size\": \"workspace\", \"theme\": \"session\"}, \"expected\": {\"size\": \"workspace\", \"theme\": \"session\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 2\", \"actual\": {\"theme\": \"default\"}, \"expected\": {\"theme\": \"default\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 3\", \"actual\": {\"size\": \"session\"}, \"expected\": {\"size\": \"session\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 4\", \"actual\": {\"theme\": \"device\"}, \"expected\": {\"theme\": \"device\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 5\", \"actual\": {\"theme\": \"session\"}, \"expected\": {\"theme\": \"session\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 6\", \"actual\": {\"size\": \"session\"}, \"expected\": {\"size\": \"session\"}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 1\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 3\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 5\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 6\", \"actual\": {\"size\": 2}, \"expected\": {\"size\": 2}, \"passed\": true}, {\"check\": \"workspace-lock-report scenario 1\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 3\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.186,"exit_code":1,"observations":[{"actual":{"size":1,"theme":""},"check":"layer-precedence scenario 1","expected":{"size":1,"theme":""},"passed":true},{"actual":{"theme":"light"},"check":"layer-precedence scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":4},"check":"layer-precedence scenario 3","expected":{"size":4},"passed":true},{"actual":{"theme":null},"check":"layer-precedence scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"blue"},"check":"layer-precedence scenario 5","expected":{"theme":"blue"},"passed":true},{"actual":{"size":0},"check":"layer-precedence scenario 6","expected":{"size":0},"passed":true},{"actual":{"size":1,"theme":""},"check":"locked-workspace-values scenario 1","expected":{"size":1,"theme":""},"passed":true},{"actual":{"theme":"light"},"check":"locked-workspace-values scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":3},"check":"locked-workspace-values scenario 3","expected":{"size":3},"passed":true},{"actual":{"theme":null},"check":"locked-workspace-values scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"blue"},"check":"locked-workspace-values scenario 5","expected":{"theme":"blue"},"passed":true},{"actual":{"size":0},"check":"locked-workspace-values scenario 6","expected":{"size":0},"passed":true},{"actual":{"size":1,"theme":"light"},"check":"session-only-reset scenario 1","expected":{"size":1,"theme":"dark"},"passed":false},{"actual":{"theme":"light"},"check":"session-only-reset scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":2},"check":"session-only-reset scenario 3","expected":{"size":3},"passed":false},{"actual":{"theme":"light"},"check":"session-only-reset scenario 4","expected":{"theme":null},"passed":false},{"actual":{},"check":"session-only-reset scenario 5","expected":{"theme":"light"},"passed":false},{"actual":{"size":1},"check":"session-only-reset scenario 6","expected":{"size":3},"passed":false},{"actual":{"theme":"dark"},"check":"device-layer-serialization scenario 1","expected":{"theme":"dark"},"passed":true},{"actual":{},"check":"device-layer-serialization scenario 2","expected":{},"passed":true},{"actual":{"size":0},"check":"device-layer-serialization scenario 3","expected":{"size":0},"passed":true},{"actual":{"theme":null},"check":"device-layer-serialization scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"dark"},"check":"device-layer-serialization scenario 5","expected":{"theme":"dark"},"passed":true},{"actual":{"size":2},"check":"device-layer-serialization scenario 6","expected":{"size":2},"passed":true},{"actual":["theme"],"check":"explicit-session-keys scenario 1","expected":["theme"],"passed":true},{"actual":[],"check":"explicit-session-keys scenario 2","expected":[],"passed":true},{"actual":["size"],"check":"explicit-session-keys scenario 3","expected":["size"],"passed":true},{"actual":[],"check":"explicit-session-keys scenario 4","expected":[],"passed":true},{"actual":["theme"],"check":"explicit-session-keys scenario 5","expected":["theme"],"passed":true},{"actual":["size"],"check":"explicit-session-keys scenario 6","expected":["size"],"passed":true},{"actual":{"size":1,"theme":""},"check":"session-key-removal-falls-through scenario 1","expected":{"size":1,"theme":""},"passed":true},{"actual":{"theme":"light"},"check":"session-key-removal-falls-through scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":3},"check":"session-key-removal-falls-through scenario 3","expected":{"size":3},"passed":true},{"actual":{"theme":null},"check":"session-key-removal-falls-through scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"light"},"check":"session-key-removal-falls-through scenario 5","expected":{"theme":"light"},"passed":true},{"actual":{"size":0},"check":"session-key-removal-falls-through scenario 6","expected":{"size":0},"passed":true},{"actual":{"theme":""},"check":"writable-preference-projection scenario 1","expected":{"theme":""},"passed":true},{"actual":{},"check":"writable-preference-projection scenario 2","expected":{},"passed":true},{"actual":{},"check":"writable-preference-projection scenario 3","expected":{},"passed":true},{"actual":{},"check":"writable-preference-projection scenario 4","expected":{},"passed":true},{"actual":{"theme":"blue"},"check":"writable-preference-projection scenario 5","expected":{"theme":"blue"},"passed":true},{"actual":{"size":0},"check":"writable-preference-projection scenario 6","expected":{"size":0},"passed":true},{"actual":{"size":"workspace","theme":"session"},"check":"preference-source-attribution scenario 1","expected":{"size":"workspace","theme":"session"},"passed":true},{"actual":{"theme":"default"},"check":"preference-source-attribution scenario 2","expected":{"theme":"default"},"passed":true},{"actual":{"size":"session"},"check":"preference-source-attribution scenario 3","expected":{"size":"session"},"passed":true},{"actual":{"theme":"device"},"check":"preference-source-attribution scenario 4","expected":{"theme":"device"},"passed":true},{"actual":{"theme":"session"},"check":"preference-source-attribution scenario 5","expected":{"theme":"session"},"passed":true},{"actual":{"size":"session"},"check":"preference-source-attribution scenario 6","expected":{"size":"session"},"passed":true},{"actual":{"theme":"dark"},"check":"redundant-device-override-pruning scenario 1","expected":{"theme":"dark"},"passed":true},{"actual":{},"check":"redundant-device-override-pruning scenario 2","expected":{},"passed":true},{"actual":{"size":0},"check":"redundant-device-override-pruning scenario 3","expected":{"size":0},"passed":true},{"actual":{"theme":null},"check":"redundant-device-override-pruning scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"dark"},"check":"redundant-device-override-pruning scenario 5","expected":{"theme":"dark"},"passed":true},{"actual":{"size":2},"check":"redundant-device-override-pruning scenario 6","expected":{"size":2},"passed":true},{"actual":["size"],"check":"workspace-lock-report scenario 1","expected":["size"],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 2","expected":[],"passed":true},{"actual":["size"],"check":"workspace-lock-report scenario 3","expected":["size"],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 4","expected":[],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 5","expected":[],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 6","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layer-precedence scenario 1\", \"actual\": {\"theme\": \"\", \"size\": 1}, \"expected\": {\"theme\": \"\", \"size\": 1}, \"passed\": true}, {\"check\": \"layer-precedence scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"layer-precedence scenario 3\", \"actual\": {\"size\": 4}, \"expected\": {\"size\": 4}, \"passed\": true}, {\"check\": \"layer-precedence scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"layer-precedence scenario 5\", \"actual\": {\"theme\": \"blue\"}, \"expected\": {\"theme\": \"blue\"}, \"passed\": true}, {\"check\": \"layer-precedence scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 1\", \"actual\": {\"theme\": \"\", \"size\": 1}, \"expected\": {\"theme\": \"\", \"size\": 1}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 3\", \"actual\": {\"size\": 3}, \"expected\": {\"size\": 3}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 5\", \"actual\": {\"theme\": \"blue\"}, \"expected\": {\"theme\": \"blue\"}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"session-only-reset scenario 1\", \"actual\": {\"theme\": \"light\", \"size\": 1}, \"expected\": {\"theme\": \"dark\", \"size\": 1}, \"passed\": false}, {\"check\": \"session-only-reset scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"session-only-reset scenario 3\", \"actual\": {\"size\": 2}, \"expected\": {\"size\": 3}, \"passed\": false}, {\"check\": \"session-only-reset scenario 4\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": null}, \"passed\": false}, {\"check\": \"session-only-reset scenario 5\", \"actual\": {}, \"expected\": {\"theme\": \"light\"}, \"passed\": false}, {\"check\": \"session-only-reset scenario 6\", \"actual\": {\"size\": 1}, \"expected\": {\"size\": 3}, \"passed\": false}, {\"check\": \"device-layer-serialization scenario 1\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 3\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 5\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 6\", \"actual\": {\"size\": 2}, \"expected\": {\"size\": 2}, \"passed\": true}, {\"check\": \"explicit-session-keys scenario 1\", \"actual\": [\"theme\"], \"expected\": [\"theme\"], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 3\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 5\", \"actual\": [\"theme\"], \"expected\": [\"theme\"], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 6\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 1\", \"actual\": {\"theme\": \"\", \"size\": 1}, \"expected\": {\"theme\": \"\", \"size\": 1}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 3\", \"actual\": {\"size\": 3}, \"expected\": {\"size\": 3}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 5\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 1\", \"actual\": {\"theme\": \"\"}, \"expected\": {\"theme\": \"\"}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 3\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 5\", \"actual\": {\"theme\": \"blue\"}, \"expected\": {\"theme\": \"blue\"}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 1\", \"actual\": {\"size\": \"workspace\", \"theme\": \"session\"}, \"expected\": {\"size\": \"workspace\", \"theme\": \"session\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 2\", \"actual\": {\"theme\": \"default\"}, \"expected\": {\"theme\": \"default\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 3\", \"actual\": {\"size\": \"session\"}, \"expected\": {\"size\": \"session\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 4\", \"actual\": {\"theme\": \"device\"}, \"expected\": {\"theme\": \"device\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 5\", \"actual\": {\"theme\": \"session\"}, \"expected\": {\"theme\": \"session\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 6\", \"actual\": {\"size\": \"session\"}, \"expected\": {\"size\": \"session\"}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 1\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 3\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 5\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 6\", \"actual\": {\"size\": 2}, \"expected\": {\"size\": 2}, \"passed\": true}, {\"check\": \"workspace-lock-report scenario 1\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 3\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.163,"exit_code":0,"observations":[{"actual":{"size":1,"theme":""},"check":"layer-precedence scenario 1","expected":{"size":1,"theme":""},"passed":true},{"actual":{"theme":"light"},"check":"layer-precedence scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":4},"check":"layer-precedence scenario 3","expected":{"size":4},"passed":true},{"actual":{"theme":null},"check":"layer-precedence scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"blue"},"check":"layer-precedence scenario 5","expected":{"theme":"blue"},"passed":true},{"actual":{"size":0},"check":"layer-precedence scenario 6","expected":{"size":0},"passed":true},{"actual":{"size":1,"theme":""},"check":"locked-workspace-values scenario 1","expected":{"size":1,"theme":""},"passed":true},{"actual":{"theme":"light"},"check":"locked-workspace-values scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":3},"check":"locked-workspace-values scenario 3","expected":{"size":3},"passed":true},{"actual":{"theme":null},"check":"locked-workspace-values scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"blue"},"check":"locked-workspace-values scenario 5","expected":{"theme":"blue"},"passed":true},{"actual":{"size":0},"check":"locked-workspace-values scenario 6","expected":{"size":0},"passed":true},{"actual":{"size":1,"theme":"dark"},"check":"session-only-reset scenario 1","expected":{"size":1,"theme":"dark"},"passed":true},{"actual":{"theme":"light"},"check":"session-only-reset scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":3},"check":"session-only-reset scenario 3","expected":{"size":3},"passed":true},{"actual":{"theme":null},"check":"session-only-reset scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"light"},"check":"session-only-reset scenario 5","expected":{"theme":"light"},"passed":true},{"actual":{"size":3},"check":"session-only-reset scenario 6","expected":{"size":3},"passed":true},{"actual":{"theme":"dark"},"check":"device-layer-serialization scenario 1","expected":{"theme":"dark"},"passed":true},{"actual":{},"check":"device-layer-serialization scenario 2","expected":{},"passed":true},{"actual":{"size":0},"check":"device-layer-serialization scenario 3","expected":{"size":0},"passed":true},{"actual":{"theme":null},"check":"device-layer-serialization scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"dark"},"check":"device-layer-serialization scenario 5","expected":{"theme":"dark"},"passed":true},{"actual":{"size":2},"check":"device-layer-serialization scenario 6","expected":{"size":2},"passed":true},{"actual":["theme"],"check":"explicit-session-keys scenario 1","expected":["theme"],"passed":true},{"actual":[],"check":"explicit-session-keys scenario 2","expected":[],"passed":true},{"actual":["size"],"check":"explicit-session-keys scenario 3","expected":["size"],"passed":true},{"actual":[],"check":"explicit-session-keys scenario 4","expected":[],"passed":true},{"actual":["theme"],"check":"explicit-session-keys scenario 5","expected":["theme"],"passed":true},{"actual":["size"],"check":"explicit-session-keys scenario 6","expected":["size"],"passed":true},{"actual":{"size":1,"theme":""},"check":"session-key-removal-falls-through scenario 1","expected":{"size":1,"theme":""},"passed":true},{"actual":{"theme":"light"},"check":"session-key-removal-falls-through scenario 2","expected":{"theme":"light"},"passed":true},{"actual":{"size":3},"check":"session-key-removal-falls-through scenario 3","expected":{"size":3},"passed":true},{"actual":{"theme":null},"check":"session-key-removal-falls-through scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"light"},"check":"session-key-removal-falls-through scenario 5","expected":{"theme":"light"},"passed":true},{"actual":{"size":0},"check":"session-key-removal-falls-through scenario 6","expected":{"size":0},"passed":true},{"actual":{"theme":""},"check":"writable-preference-projection scenario 1","expected":{"theme":""},"passed":true},{"actual":{},"check":"writable-preference-projection scenario 2","expected":{},"passed":true},{"actual":{},"check":"writable-preference-projection scenario 3","expected":{},"passed":true},{"actual":{},"check":"writable-preference-projection scenario 4","expected":{},"passed":true},{"actual":{"theme":"blue"},"check":"writable-preference-projection scenario 5","expected":{"theme":"blue"},"passed":true},{"actual":{"size":0},"check":"writable-preference-projection scenario 6","expected":{"size":0},"passed":true},{"actual":{"size":"workspace","theme":"session"},"check":"preference-source-attribution scenario 1","expected":{"size":"workspace","theme":"session"},"passed":true},{"actual":{"theme":"default"},"check":"preference-source-attribution scenario 2","expected":{"theme":"default"},"passed":true},{"actual":{"size":"session"},"check":"preference-source-attribution scenario 3","expected":{"size":"session"},"passed":true},{"actual":{"theme":"device"},"check":"preference-source-attribution scenario 4","expected":{"theme":"device"},"passed":true},{"actual":{"theme":"session"},"check":"preference-source-attribution scenario 5","expected":{"theme":"session"},"passed":true},{"actual":{"size":"session"},"check":"preference-source-attribution scenario 6","expected":{"size":"session"},"passed":true},{"actual":{"theme":"dark"},"check":"redundant-device-override-pruning scenario 1","expected":{"theme":"dark"},"passed":true},{"actual":{},"check":"redundant-device-override-pruning scenario 2","expected":{},"passed":true},{"actual":{"size":0},"check":"redundant-device-override-pruning scenario 3","expected":{"size":0},"passed":true},{"actual":{"theme":null},"check":"redundant-device-override-pruning scenario 4","expected":{"theme":null},"passed":true},{"actual":{"theme":"dark"},"check":"redundant-device-override-pruning scenario 5","expected":{"theme":"dark"},"passed":true},{"actual":{"size":2},"check":"redundant-device-override-pruning scenario 6","expected":{"size":2},"passed":true},{"actual":["size"],"check":"workspace-lock-report scenario 1","expected":["size"],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 2","expected":[],"passed":true},{"actual":["size"],"check":"workspace-lock-report scenario 3","expected":["size"],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 4","expected":[],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 5","expected":[],"passed":true},{"actual":[],"check":"workspace-lock-report scenario 6","expected":[],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layer-precedence scenario 1\", \"actual\": {\"theme\": \"\", \"size\": 1}, \"expected\": {\"theme\": \"\", \"size\": 1}, \"passed\": true}, {\"check\": \"layer-precedence scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"layer-precedence scenario 3\", \"actual\": {\"size\": 4}, \"expected\": {\"size\": 4}, \"passed\": true}, {\"check\": \"layer-precedence scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"layer-precedence scenario 5\", \"actual\": {\"theme\": \"blue\"}, \"expected\": {\"theme\": \"blue\"}, \"passed\": true}, {\"check\": \"layer-precedence scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 1\", \"actual\": {\"theme\": \"\", \"size\": 1}, \"expected\": {\"theme\": \"\", \"size\": 1}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 3\", \"actual\": {\"size\": 3}, \"expected\": {\"size\": 3}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 5\", \"actual\": {\"theme\": \"blue\"}, \"expected\": {\"theme\": \"blue\"}, \"passed\": true}, {\"check\": \"locked-workspace-values scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"session-only-reset scenario 1\", \"actual\": {\"theme\": \"dark\", \"size\": 1}, \"expected\": {\"theme\": \"dark\", \"size\": 1}, \"passed\": true}, {\"check\": \"session-only-reset scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"session-only-reset scenario 3\", \"actual\": {\"size\": 3}, \"expected\": {\"size\": 3}, \"passed\": true}, {\"check\": \"session-only-reset scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"session-only-reset scenario 5\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"session-only-reset scenario 6\", \"actual\": {\"size\": 3}, \"expected\": {\"size\": 3}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 1\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 3\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 5\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"device-layer-serialization scenario 6\", \"actual\": {\"size\": 2}, \"expected\": {\"size\": 2}, \"passed\": true}, {\"check\": \"explicit-session-keys scenario 1\", \"actual\": [\"theme\"], \"expected\": [\"theme\"], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 3\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 5\", \"actual\": [\"theme\"], \"expected\": [\"theme\"], \"passed\": true}, {\"check\": \"explicit-session-keys scenario 6\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 1\", \"actual\": {\"theme\": \"\", \"size\": 1}, \"expected\": {\"theme\": \"\", \"size\": 1}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 2\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 3\", \"actual\": {\"size\": 3}, \"expected\": {\"size\": 3}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 5\", \"actual\": {\"theme\": \"light\"}, \"expected\": {\"theme\": \"light\"}, \"passed\": true}, {\"check\": \"session-key-removal-falls-through scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 1\", \"actual\": {\"theme\": \"\"}, \"expected\": {\"theme\": \"\"}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 3\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 5\", \"actual\": {\"theme\": \"blue\"}, \"expected\": {\"theme\": \"blue\"}, \"passed\": true}, {\"check\": \"writable-preference-projection scenario 6\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 1\", \"actual\": {\"size\": \"workspace\", \"theme\": \"session\"}, \"expected\": {\"size\": \"workspace\", \"theme\": \"session\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 2\", \"actual\": {\"theme\": \"default\"}, \"expected\": {\"theme\": \"default\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 3\", \"actual\": {\"size\": \"session\"}, \"expected\": {\"size\": \"session\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 4\", \"actual\": {\"theme\": \"device\"}, \"expected\": {\"theme\": \"device\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 5\", \"actual\": {\"theme\": \"session\"}, \"expected\": {\"theme\": \"session\"}, \"passed\": true}, {\"check\": \"preference-source-attribution scenario 6\", \"actual\": {\"size\": \"session\"}, \"expected\": {\"size\": \"session\"}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 1\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 3\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 4\", \"actual\": {\"theme\": null}, \"expected\": {\"theme\": null}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 5\", \"actual\": {\"theme\": \"dark\"}, \"expected\": {\"theme\": \"dark\"}, \"passed\": true}, {\"check\": \"redundant-device-override-pruning scenario 6\", \"actual\": {\"size\": 2}, \"expected\": {\"size\": 2}, \"passed\": true}, {\"check\": \"workspace-lock-report scenario 1\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 3\", \"actual\": [\"size\"], \"expected\": [\"size\"], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"workspace-lock-report scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}