{"abstract":"Future version readonly.","category":"Client state","checks":60,"contract":"Persist only declared nontransient keys. Missing defaults are filled without replacing null/falsy data. Older schema versions migrate through each intermediate step; future versions stay read-only and keep their version stamp. Operation future-version-readonly has the six explicit input/output oracles below.","evaluation_group":"s3-client-state-persisted-schema","failed_approach":"The partial repair `version>=current` still violates the explicit fixture contract.","family":"s3-client-state-persisted-schema-future-version-readonly","id":"FA-23536","implementations":{"attempt":{"sha256":"dd3f097a670f4714c5bb35c614701c448fd20bd024627492991c807a996629b0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    stored, version, current, allowed, defaults, transient = s\n    if operation == 'unknown-field-projection':\n        return {k:v for k,v in stored.items() if k in allowed}\n    if operation == 'default-overlay-order':\n        return {**defaults,**stored}\n    if operation == 'future-version-readonly':\n        return version>=current\n    if operation == 'migration-step-list':\n        return list(range(version,current)) if version<=current else []\n    if operation == 'transient-exclusion':\n        return {k:v for k,v in stored.items() if k not in transient}\n    if operation == 'missing-default-identification':\n        return sorted(set(defaults)-set(stored))\n    if operation == 'nullable-persisted-value':\n        return stored['a'] if 'a' in stored else defaults.get('a')\n    if operation == 'write-version-stamp':\n        return max(version,current)\n    if operation == 'schema-fallback-policy':\n        return 'read-only' if version>current else ('migrate' if version<current else 'load')\n    if operation == 'serialized-field-order':\n        return sorted(k for k in stored if k in allowed and k not in transient)\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('unknown-field-projection scenario 1', solve('unknown-field-projection', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), {'a':N,'b':False})\ncheck('unknown-field-projection scenario 2', solve('unknown-field-projection', ({},2,2,['a'],{'a':N},[])), {})\ncheck('unknown-field-projection scenario 3', solve('unknown-field-projection', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), {'a':None})\ncheck('unknown-field-projection scenario 4', solve('unknown-field-projection', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), {'b':N})\ncheck('unknown-field-projection scenario 5', solve('unknown-field-projection', ({'a':'','b':True},2,2,[],{},[])), {})\ncheck('unknown-field-projection scenario 6', solve('unknown-field-projection', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), {'a':N})\ncheck('default-overlay-order scenario 1', solve('default-overlay-order', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), {'a':N,'b':False,'temp':7})\ncheck('default-overlay-order scenario 2', solve('default-overlay-order', ({},2,2,['a'],{'a':N},[])), {'a':N})\ncheck('default-overlay-order scenario 3', solve('default-overlay-order', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), {'a':None,'extra':1})\ncheck('default-overlay-order scenario 4', solve('default-overlay-order', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), {'b':N,'a':0})\ncheck('default-overlay-order scenario 5', solve('default-overlay-order', ({'a':'','b':True},2,2,[],{},[])), {'a':'','b':True})\ncheck('default-overlay-order scenario 6', solve('default-overlay-order', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), {'a':N,'temp':1})\ncheck('future-version-readonly scenario 1', solve('future-version-readonly', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), False)\ncheck('future-version-readonly scenario 2', solve('future-version-readonly', ({},2,2,['a'],{'a':N},[])), False)\ncheck('future-version-readonly scenario 3', solve('future-version-readonly', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), True)\ncheck('future-version-readonly scenario 4', solve('future-version-readonly', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), False)\ncheck('future-version-readonly scenario 5', solve('future-version-readonly', ({'a':'','b':True},2,2,[],{},[])), False)\ncheck('future-version-readonly scenario 6', solve('future-version-readonly', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), False)\ncheck('migration-step-list scenario 1', solve('migration-step-list', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), [1])\ncheck('migration-step-list scenario 2', solve('migration-step-list', ({},2,2,['a'],{'a':N},[])), [])\ncheck('migration-step-list scenario 3', solve('migration-step-list', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), [])\ncheck('migration-step-list scenario 4', solve('migration-step-list', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), [0,1])\ncheck('migration-step-list scenario 5', solve('migration-step-list', ({'a':'','b':True},2,2,[],{},[])), [])\ncheck('migration-step-list scenario 6', solve('migration-step-list', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), [])\ncheck('transient-exclusion scenario 1', solve('transient-exclusion', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), {'a':N,'b':False})\ncheck('transient-exclusion scenario 2', solve('transient-exclusion', ({},2,2,['a'],{'a':N},[])), {})\ncheck('transient-exclusion scenario 3', solve('transient-exclusion', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), {'a':None})\ncheck('transient-exclusion scenario 4', solve('transient-exclusion', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), {'b':N})\ncheck('transient-exclusion scenario 5', solve('transient-exclusion', ({'a':'','b':True},2,2,[],{},[])), {'a':'','b':True})\ncheck('transient-exclusion scenario 6', solve('transient-exclusion', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), {'a':N})\ncheck('missing-default-identification scenario 1', solve('missing-default-identification', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), [])\ncheck('missing-default-identification scenario 2', solve('missing-default-identification', ({},2,2,['a'],{'a':N},[])), ['a'])\ncheck('missing-default-identification scenario 3', solve('missing-default-identification', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), [])\ncheck('missing-default-identification scenario 4', solve('missing-default-identification', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), [])\ncheck('missing-default-identification scenario 5', solve('missing-default-identification', ({'a':'','b':True},2,2,[],{},[])), [])\ncheck('missing-default-identification scenario 6', solve('missing-default-identification', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), [])\ncheck('nullable-persisted-value scenario 1', solve('nullable-persisted-value', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), N)\ncheck('nullable-persisted-value scenario 2', solve('nullable-persisted-value', ({},2,2,['a'],{'a':N},[])), N)\ncheck('nullable-persisted-value scenario 3', solve('nullable-persisted-value', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), None)\ncheck('nullable-persisted-value scenario 4', solve('nullable-persisted-value', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), 0)\ncheck('nullable-persisted-value scenario 5', solve('nullable-persisted-value', ({'a':'','b':True},2,2,[],{},[])), '')\ncheck('nullable-persisted-value scenario 6', solve('nullable-persisted-value', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), N)\ncheck('write-version-stamp scenario 1', solve('write-version-stamp', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), 2)\ncheck('write-version-stamp scenario 2', solve('write-version-stamp', ({},2,2,['a'],{'a':N},[])), 2)\ncheck('write-version-stamp scenario 3', solve('write-version-stamp', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), 3)\ncheck('write-version-stamp scenario 4', solve('write-version-stamp', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), 2)\ncheck('write-version-stamp scenario 5', solve('write-version-stamp', ({'a':'','b':True},2,2,[],{},[])), 2)\ncheck('write-version-stamp scenario 6', solve('write-version-stamp', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), 1)\ncheck('schema-fallback-policy scenario 1', solve('schema-fallback-policy', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), 'migrate')\ncheck('schema-fallback-policy scenario 2', solve('schema-fallback-policy', ({},2,2,['a'],{'a':N},[])), 'load')\ncheck('schema-fallback-policy scenario 3', solve('schema-fallback-policy', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), 'read-only')\ncheck('schema-fallback-policy scenario 4', solve('schema-fallback-policy', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), 'migrate')\ncheck('schema-fallback-policy scenario 5', solve('schema-fallback-policy', ({'a':'','b':True},2,2,[],{},[])), 'load')\ncheck('schema-fallback-policy scenario 6', solve('schema-fallback-policy', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), 'load')\ncheck('serialized-field-order scenario 1', solve('serialized-field-order', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), ['a','b'])\ncheck('serialized-field-order scenario 2', solve('serialized-field-order', ({},2,2,['a'],{'a':N},[])), [])\ncheck('serialized-field-order scenario 3', solve('serialized-field-order', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), ['a'])\ncheck('serialized-field-order scenario 4', solve('serialized-field-order', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), ['b'])\ncheck('serialized-field-order scenario 5', solve('serialized-field-order', ({'a':'','b':True},2,2,[],{},[])), [])\ncheck('serialized-field-order scenario 6', solve('serialized-field-order', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), ['a'])\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":"bdf8dda7038b3a483468cf667a744dda5d1d4453915c532b5e045b025ce0c490","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    stored, version, current, allowed, defaults, transient = s\n    if operation == 'unknown-field-projection':\n        return {k:v for k,v in stored.items() if k in allowed}\n    if operation == 'default-overlay-order':\n        return {**defaults,**stored}\n    if operation == 'future-version-readonly':\n        return version!=current\n    if operation == 'migration-step-list':\n        return list(range(version,current)) if version<=current else []\n    if operation == 'transient-exclusion':\n        return {k:v for k,v in stored.items() if k not in transient}\n    if operation == 'missing-default-identification':\n        return sorted(set(defaults)-set(stored))\n    if operation == 'nullable-persisted-value':\n        return stored['a'] if 'a' in stored else defaults.get('a')\n    if operation == 'write-version-stamp':\n        return max(version,current)\n    if operation == 'schema-fallback-policy':\n        return 'read-only' if version>current else ('migrate' if version<current else 'load')\n    if operation == 'serialized-field-order':\n        return sorted(k for k in stored if k in allowed and k not in transient)\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('unknown-field-projection scenario 1', solve('unknown-field-projection', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), {'a':N,'b':False})\ncheck('unknown-field-projection scenario 2', solve('unknown-field-projection', ({},2,2,['a'],{'a':N},[])), {})\ncheck('unknown-field-projection scenario 3', solve('unknown-field-projection', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), {'a':None})\ncheck('unknown-field-projection scenario 4', solve('unknown-field-projection', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), {'b':N})\ncheck('unknown-field-projection scenario 5', solve('unknown-field-projection', ({'a':'','b':True},2,2,[],{},[])), {})\ncheck('unknown-field-projection scenario 6', solve('unknown-field-projection', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), {'a':N})\ncheck('default-overlay-order scenario 1', solve('default-overlay-order', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), {'a':N,'b':False,'temp':7})\ncheck('default-overlay-order scenario 2', solve('default-overlay-order', ({},2,2,['a'],{'a':N},[])), {'a':N})\ncheck('default-overlay-order scenario 3', solve('default-overlay-order', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), {'a':None,'extra':1})\ncheck('default-overlay-order scenario 4', solve('default-overlay-order', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), {'b':N,'a':0})\ncheck('default-overlay-order scenario 5', solve('default-overlay-order', ({'a':'','b':True},2,2,[],{},[])), {'a':'','b':True})\ncheck('default-overlay-order scenario 6', solve('default-overlay-order', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), {'a':N,'temp':1})\ncheck('future-version-readonly scenario 1', solve('future-version-readonly', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), False)\ncheck('future-version-readonly scenario 2', solve('future-version-readonly', ({},2,2,['a'],{'a':N},[])), False)\ncheck('future-version-readonly scenario 3', solve('future-version-readonly', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), True)\ncheck('future-version-readonly scenario 4', solve('future-version-readonly', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), False)\ncheck('future-version-readonly scenario 5', solve('future-version-readonly', ({'a':'','b':True},2,2,[],{},[])), False)\ncheck('future-version-readonly scenario 6', solve('future-version-readonly', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), False)\ncheck('migration-step-list scenario 1', solve('migration-step-list', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), [1])\ncheck('migration-step-list scenario 2', solve('migration-step-list', ({},2,2,['a'],{'a':N},[])), [])\ncheck('migration-step-list scenario 3', solve('migration-step-list', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), [])\ncheck('migration-step-list scenario 4', solve('migration-step-list', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), [0,1])\ncheck('migration-step-list scenario 5', solve('migration-step-list', ({'a':'','b':True},2,2,[],{},[])), [])\ncheck('migration-step-list scenario 6', solve('migration-step-list', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), [])\ncheck('transient-exclusion scenario 1', solve('transient-exclusion', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), {'a':N,'b':False})\ncheck('transient-exclusion scenario 2', solve('transient-exclusion', ({},2,2,['a'],{'a':N},[])), {})\ncheck('transient-exclusion scenario 3', solve('transient-exclusion', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), {'a':None})\ncheck('transient-exclusion scenario 4', solve('transient-exclusion', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), {'b':N})\ncheck('transient-exclusion scenario 5', solve('transient-exclusion', ({'a':'','b':True},2,2,[],{},[])), {'a':'','b':True})\ncheck('transient-exclusion scenario 6', solve('transient-exclusion', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), {'a':N})\ncheck('missing-default-identification scenario 1', solve('missing-default-identification', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), [])\ncheck('missing-default-identification scenario 2', solve('missing-default-identification', ({},2,2,['a'],{'a':N},[])), ['a'])\ncheck('missing-default-identification scenario 3', solve('missing-default-identification', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), [])\ncheck('missing-default-identification scenario 4', solve('missing-default-identification', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), [])\ncheck('missing-default-identification scenario 5', solve('missing-default-identification', ({'a':'','b':True},2,2,[],{},[])), [])\ncheck('missing-default-identification scenario 6', solve('missing-default-identification', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), [])\ncheck('nullable-persisted-value scenario 1', solve('nullable-persisted-value', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), N)\ncheck('nullable-persisted-value scenario 2', solve('nullable-persisted-value', ({},2,2,['a'],{'a':N},[])), N)\ncheck('nullable-persisted-value scenario 3', solve('nullable-persisted-value', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), None)\ncheck('nullable-persisted-value scenario 4', solve('nullable-persisted-value', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), 0)\ncheck('nullable-persisted-value scenario 5', solve('nullable-persisted-value', ({'a':'','b':True},2,2,[],{},[])), '')\ncheck('nullable-persisted-value scenario 6', solve('nullable-persisted-value', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), N)\ncheck('write-version-stamp scenario 1', solve('write-version-stamp', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), 2)\ncheck('write-version-stamp scenario 2', solve('write-version-stamp', ({},2,2,['a'],{'a':N},[])), 2)\ncheck('write-version-stamp scenario 3', solve('write-version-stamp', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), 3)\ncheck('write-version-stamp scenario 4', solve('write-version-stamp', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), 2)\ncheck('write-version-stamp scenario 5', solve('write-version-stamp', ({'a':'','b':True},2,2,[],{},[])), 2)\ncheck('write-version-stamp scenario 6', solve('write-version-stamp', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), 1)\ncheck('schema-fallback-policy scenario 1', solve('schema-fallback-policy', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), 'migrate')\ncheck('schema-fallback-policy scenario 2', solve('schema-fallback-policy', ({},2,2,['a'],{'a':N},[])), 'load')\ncheck('schema-fallback-policy scenario 3', solve('schema-fallback-policy', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), 'read-only')\ncheck('schema-fallback-policy scenario 4', solve('schema-fallback-policy', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), 'migrate')\ncheck('schema-fallback-policy scenario 5', solve('schema-fallback-policy', ({'a':'','b':True},2,2,[],{},[])), 'load')\ncheck('schema-fallback-policy scenario 6', solve('schema-fallback-policy', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), 'load')\ncheck('serialized-field-order scenario 1', solve('serialized-field-order', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), ['a','b'])\ncheck('serialized-field-order scenario 2', solve('serialized-field-order', ({},2,2,['a'],{'a':N},[])), [])\ncheck('serialized-field-order scenario 3', solve('serialized-field-order', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), ['a'])\ncheck('serialized-field-order scenario 4', solve('serialized-field-order', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), ['b'])\ncheck('serialized-field-order scenario 5', solve('serialized-field-order', ({'a':'','b':True},2,2,[],{},[])), [])\ncheck('serialized-field-order scenario 6', solve('serialized-field-order', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), ['a'])\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":"da385ab115a80ae9393753f5da3f79c8eac83b1f27db61c76cf18fc3c1d62ec8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    stored, version, current, allowed, defaults, transient = s\n    if operation == 'unknown-field-projection':\n        return {k:v for k,v in stored.items() if k in allowed}\n    if operation == 'default-overlay-order':\n        return {**defaults,**stored}\n    if operation == 'future-version-readonly':\n        return version>current\n    if operation == 'migration-step-list':\n        return list(range(version,current)) if version<=current else []\n    if operation == 'transient-exclusion':\n        return {k:v for k,v in stored.items() if k not in transient}\n    if operation == 'missing-default-identification':\n        return sorted(set(defaults)-set(stored))\n    if operation == 'nullable-persisted-value':\n        return stored['a'] if 'a' in stored else defaults.get('a')\n    if operation == 'write-version-stamp':\n        return max(version,current)\n    if operation == 'schema-fallback-policy':\n        return 'read-only' if version>current else ('migrate' if version<current else 'load')\n    if operation == 'serialized-field-order':\n        return sorted(k for k in stored if k in allowed and k not in transient)\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('unknown-field-projection scenario 1', solve('unknown-field-projection', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), {'a':N,'b':False})\ncheck('unknown-field-projection scenario 2', solve('unknown-field-projection', ({},2,2,['a'],{'a':N},[])), {})\ncheck('unknown-field-projection scenario 3', solve('unknown-field-projection', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), {'a':None})\ncheck('unknown-field-projection scenario 4', solve('unknown-field-projection', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), {'b':N})\ncheck('unknown-field-projection scenario 5', solve('unknown-field-projection', ({'a':'','b':True},2,2,[],{},[])), {})\ncheck('unknown-field-projection scenario 6', solve('unknown-field-projection', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), {'a':N})\ncheck('default-overlay-order scenario 1', solve('default-overlay-order', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), {'a':N,'b':False,'temp':7})\ncheck('default-overlay-order scenario 2', solve('default-overlay-order', ({},2,2,['a'],{'a':N},[])), {'a':N})\ncheck('default-overlay-order scenario 3', solve('default-overlay-order', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), {'a':None,'extra':1})\ncheck('default-overlay-order scenario 4', solve('default-overlay-order', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), {'b':N,'a':0})\ncheck('default-overlay-order scenario 5', solve('default-overlay-order', ({'a':'','b':True},2,2,[],{},[])), {'a':'','b':True})\ncheck('default-overlay-order scenario 6', solve('default-overlay-order', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), {'a':N,'temp':1})\ncheck('future-version-readonly scenario 1', solve('future-version-readonly', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), False)\ncheck('future-version-readonly scenario 2', solve('future-version-readonly', ({},2,2,['a'],{'a':N},[])), False)\ncheck('future-version-readonly scenario 3', solve('future-version-readonly', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), True)\ncheck('future-version-readonly scenario 4', solve('future-version-readonly', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), False)\ncheck('future-version-readonly scenario 5', solve('future-version-readonly', ({'a':'','b':True},2,2,[],{},[])), False)\ncheck('future-version-readonly scenario 6', solve('future-version-readonly', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), False)\ncheck('migration-step-list scenario 1', solve('migration-step-list', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), [1])\ncheck('migration-step-list scenario 2', solve('migration-step-list', ({},2,2,['a'],{'a':N},[])), [])\ncheck('migration-step-list scenario 3', solve('migration-step-list', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), [])\ncheck('migration-step-list scenario 4', solve('migration-step-list', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), [0,1])\ncheck('migration-step-list scenario 5', solve('migration-step-list', ({'a':'','b':True},2,2,[],{},[])), [])\ncheck('migration-step-list scenario 6', solve('migration-step-list', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), [])\ncheck('transient-exclusion scenario 1', solve('transient-exclusion', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), {'a':N,'b':False})\ncheck('transient-exclusion scenario 2', solve('transient-exclusion', ({},2,2,['a'],{'a':N},[])), {})\ncheck('transient-exclusion scenario 3', solve('transient-exclusion', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), {'a':None})\ncheck('transient-exclusion scenario 4', solve('transient-exclusion', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), {'b':N})\ncheck('transient-exclusion scenario 5', solve('transient-exclusion', ({'a':'','b':True},2,2,[],{},[])), {'a':'','b':True})\ncheck('transient-exclusion scenario 6', solve('transient-exclusion', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), {'a':N})\ncheck('missing-default-identification scenario 1', solve('missing-default-identification', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), [])\ncheck('missing-default-identification scenario 2', solve('missing-default-identification', ({},2,2,['a'],{'a':N},[])), ['a'])\ncheck('missing-default-identification scenario 3', solve('missing-default-identification', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), [])\ncheck('missing-default-identification scenario 4', solve('missing-default-identification', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), [])\ncheck('missing-default-identification scenario 5', solve('missing-default-identification', ({'a':'','b':True},2,2,[],{},[])), [])\ncheck('missing-default-identification scenario 6', solve('missing-default-identification', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), [])\ncheck('nullable-persisted-value scenario 1', solve('nullable-persisted-value', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), N)\ncheck('nullable-persisted-value scenario 2', solve('nullable-persisted-value', ({},2,2,['a'],{'a':N},[])), N)\ncheck('nullable-persisted-value scenario 3', solve('nullable-persisted-value', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), None)\ncheck('nullable-persisted-value scenario 4', solve('nullable-persisted-value', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), 0)\ncheck('nullable-persisted-value scenario 5', solve('nullable-persisted-value', ({'a':'','b':True},2,2,[],{},[])), '')\ncheck('nullable-persisted-value scenario 6', solve('nullable-persisted-value', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), N)\ncheck('write-version-stamp scenario 1', solve('write-version-stamp', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), 2)\ncheck('write-version-stamp scenario 2', solve('write-version-stamp', ({},2,2,['a'],{'a':N},[])), 2)\ncheck('write-version-stamp scenario 3', solve('write-version-stamp', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), 3)\ncheck('write-version-stamp scenario 4', solve('write-version-stamp', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), 2)\ncheck('write-version-stamp scenario 5', solve('write-version-stamp', ({'a':'','b':True},2,2,[],{},[])), 2)\ncheck('write-version-stamp scenario 6', solve('write-version-stamp', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), 1)\ncheck('schema-fallback-policy scenario 1', solve('schema-fallback-policy', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), 'migrate')\ncheck('schema-fallback-policy scenario 2', solve('schema-fallback-policy', ({},2,2,['a'],{'a':N},[])), 'load')\ncheck('schema-fallback-policy scenario 3', solve('schema-fallback-policy', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), 'read-only')\ncheck('schema-fallback-policy scenario 4', solve('schema-fallback-policy', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), 'migrate')\ncheck('schema-fallback-policy scenario 5', solve('schema-fallback-policy', ({'a':'','b':True},2,2,[],{},[])), 'load')\ncheck('schema-fallback-policy scenario 6', solve('schema-fallback-policy', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), 'load')\ncheck('serialized-field-order scenario 1', solve('serialized-field-order', ({'a':N,'b':False,'temp':7},1,2,['a','b'],{'a':0,'b':True},['temp'])), ['a','b'])\ncheck('serialized-field-order scenario 2', solve('serialized-field-order', ({},2,2,['a'],{'a':N},[])), [])\ncheck('serialized-field-order scenario 3', solve('serialized-field-order', ({'a':None,'extra':1},3,2,['a'],{'a':N},['extra'])), ['a'])\ncheck('serialized-field-order scenario 4', solve('serialized-field-order', ({'a':0,'b':N},0,2,['b'],{'b':9},['a'])), ['b'])\ncheck('serialized-field-order scenario 5', solve('serialized-field-order', ({'a':'','b':True},2,2,[],{},[])), [])\ncheck('serialized-field-order scenario 6', solve('serialized-field-order', ({'a':N,'temp':1},1,1,['a'],{},['temp'])), ['a'])\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-persisted-schema-future-version-readonly","generated_at":"2026-09-29T14:40:48.551347+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 future-version-readonly rule: `version>current`.","root_cause":"The future-version-readonly client decision evaluates `version!=current` instead of `version>current`.","sha256":"8910dca8e1e2354abc10005e2724d9cc41983e44039a98c820533aa56314c02e","title":"Persisted client snapshot admission: Future version readonly · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":45.514,"exit_code":1,"observations":[{"actual":{"a":1,"b":false},"check":"unknown-field-projection scenario 1","expected":{"a":1,"b":false},"passed":true},{"actual":{},"check":"unknown-field-projection scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"unknown-field-projection scenario 3","expected":{"a":null},"passed":true},{"actual":{"b":1},"check":"unknown-field-projection scenario 4","expected":{"b":1},"passed":true},{"actual":{},"check":"unknown-field-projection scenario 5","expected":{},"passed":true},{"actual":{"a":1},"check":"unknown-field-projection scenario 6","expected":{"a":1},"passed":true},{"actual":{"a":1,"b":false,"temp":7},"check":"default-overlay-order scenario 1","expected":{"a":1,"b":false,"temp":7},"passed":true},{"actual":{"a":1},"check":"default-overlay-order scenario 2","expected":{"a":1},"passed":true},{"actual":{"a":null,"extra":1},"check":"default-overlay-order scenario 3","expected":{"a":null,"extra":1},"passed":true},{"actual":{"a":0,"b":1},"check":"default-overlay-order scenario 4","expected":{"a":0,"b":1},"passed":true},{"actual":{"a":"","b":true},"check":"default-overlay-order scenario 5","expected":{"a":"","b":true},"passed":true},{"actual":{"a":1,"temp":1},"check":"default-overlay-order scenario 6","expected":{"a":1,"temp":1},"passed":true},{"actual":false,"check":"future-version-readonly scenario 1","expected":false,"passed":true},{"actual":true,"check":"future-version-readonly scenario 2","expected":false,"passed":false},{"actual":true,"check":"future-version-readonly scenario 3","expected":true,"passed":true},{"actual":false,"check":"future-version-readonly scenario 4","expected":false,"passed":true},{"actual":true,"check":"future-version-readonly scenario 5","expected":false,"passed":false},{"actual":true,"check":"future-version-readonly scenario 6","expected":false,"passed":false},{"actual":[1],"check":"migration-step-list scenario 1","expected":[1],"passed":true},{"actual":[],"check":"migration-step-list scenario 2","expected":[],"passed":true},{"actual":[],"check":"migration-step-list scenario 3","expected":[],"passed":true},{"actual":[0,1],"check":"migration-step-list scenario 4","expected":[0,1],"passed":true},{"actual":[],"check":"migration-step-list scenario 5","expected":[],"passed":true},{"actual":[],"check":"migration-step-list scenario 6","expected":[],"passed":true},{"actual":{"a":1,"b":false},"check":"transient-exclusion scenario 1","expected":{"a":1,"b":false},"passed":true},{"actual":{},"check":"transient-exclusion scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"transient-exclusion scenario 3","expected":{"a":null},"passed":true},{"actual":{"b":1},"check":"transient-exclusion scenario 4","expected":{"b":1},"passed":true},{"actual":{"a":"","b":true},"check":"transient-exclusion scenario 5","expected":{"a":"","b":true},"passed":true},{"actual":{"a":1},"check":"transient-exclusion scenario 6","expected":{"a":1},"passed":true},{"actual":[],"check":"missing-default-identification scenario 1","expected":[],"passed":true},{"actual":["a"],"check":"missing-default-identification scenario 2","expected":["a"],"passed":true},{"actual":[],"check":"missing-default-identification scenario 3","expected":[],"passed":true},{"actual":[],"check":"missing-default-identification scenario 4","expected":[],"passed":true},{"actual":[],"check":"missing-default-identification scenario 5","expected":[],"passed":true},{"actual":[],"check":"missing-default-identification scenario 6","expected":[],"passed":true},{"actual":1,"check":"nullable-persisted-value scenario 1","expected":1,"passed":true},{"actual":1,"check":"nullable-persisted-value scenario 2","expected":1,"passed":true},{"actual":null,"check":"nullable-persisted-value scenario 3","expected":null,"passed":true},{"actual":0,"check":"nullable-persisted-value scenario 4","expected":0,"passed":true},{"actual":"","check":"nullable-persisted-value scenario 5","expected":"","passed":true},{"actual":1,"check":"nullable-persisted-value scenario 6","expected":1,"passed":true},{"actual":2,"check":"write-version-stamp scenario 1","expected":2,"passed":true},{"actual":2,"check":"write-version-stamp scenario 2","expected":2,"passed":true},{"actual":3,"check":"write-version-stamp scenario 3","expected":3,"passed":true},{"actual":2,"check":"write-version-stamp scenario 4","expected":2,"passed":true},{"actual":2,"check":"write-version-stamp scenario 5","expected":2,"passed":true},{"actual":1,"check":"write-version-stamp scenario 6","expected":1,"passed":true},{"actual":"migrate","check":"schema-fallback-policy scenario 1","expected":"migrate","passed":true},{"actual":"load","check":"schema-fallback-policy scenario 2","expected":"load","passed":true},{"actual":"read-only","check":"schema-fallback-policy scenario 3","expected":"read-only","passed":true},{"actual":"migrate","check":"schema-fallback-policy scenario 4","expected":"migrate","passed":true},{"actual":"load","check":"schema-fallback-policy scenario 5","expected":"load","passed":true},{"actual":"load","check":"schema-fallback-policy scenario 6","expected":"load","passed":true},{"actual":["a","b"],"check":"serialized-field-order scenario 1","expected":["a","b"],"passed":true},{"actual":[],"check":"serialized-field-order scenario 2","expected":[],"passed":true},{"actual":["a"],"check":"serialized-field-order scenario 3","expected":["a"],"passed":true},{"actual":["b"],"check":"serialized-field-order scenario 4","expected":["b"],"passed":true},{"actual":[],"check":"serialized-field-order scenario 5","expected":[],"passed":true},{"actual":["a"],"check":"serialized-field-order scenario 6","expected":["a"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"unknown-field-projection scenario 1\", \"actual\": {\"a\": 1, \"b\": false}, \"expected\": {\"a\": 1, \"b\": false}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 4\", \"actual\": {\"b\": 1}, \"expected\": {\"b\": 1}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 1\", \"actual\": {\"a\": 1, \"b\": false, \"temp\": 7}, \"expected\": {\"a\": 1, \"b\": false, \"temp\": 7}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 3\", \"actual\": {\"a\": null, \"extra\": 1}, \"expected\": {\"a\": null, \"extra\": 1}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 4\", \"actual\": {\"b\": 1, \"a\": 0}, \"expected\": {\"b\": 1, \"a\": 0}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 5\", \"actual\": {\"a\": \"\", \"b\": true}, \"expected\": {\"a\": \"\", \"b\": true}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 6\", \"actual\": {\"a\": 1, \"temp\": 1}, \"expected\": {\"a\": 1, \"temp\": 1}, \"passed\": true}, {\"check\": \"future-version-readonly scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"future-version-readonly scenario 2\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"future-version-readonly scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"future-version-readonly scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"future-version-readonly scenario 5\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"future-version-readonly scenario 6\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"migration-step-list scenario 1\", \"actual\": [1], \"expected\": [1], \"passed\": true}, {\"check\": \"migration-step-list scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"migration-step-list scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"migration-step-list scenario 4\", \"actual\": [0, 1], \"expected\": [0, 1], \"passed\": true}, {\"check\": \"migration-step-list scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"migration-step-list scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transient-exclusion scenario 1\", \"actual\": {\"a\": 1, \"b\": false}, \"expected\": {\"a\": 1, \"b\": false}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 4\", \"actual\": {\"b\": 1}, \"expected\": {\"b\": 1}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 5\", \"actual\": {\"a\": \"\", \"b\": true}, \"expected\": {\"a\": \"\", \"b\": true}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"missing-default-identification scenario 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 2\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"missing-default-identification scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 5\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"write-version-stamp scenario 1\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 2\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 3\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"write-version-stamp scenario 4\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 5\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 1\", \"actual\": \"migrate\", \"expected\": \"migrate\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 2\", \"actual\": \"load\", \"expected\": \"load\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 3\", \"actual\": \"read-only\", \"expected\": \"read-only\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 4\", \"actual\": \"migrate\", \"expected\": \"migrate\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 5\", \"actual\": \"load\", \"expected\": \"load\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 6\", \"actual\": \"load\", \"expected\": \"load\", \"passed\": true}, {\"check\": \"serialized-field-order scenario 1\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"serialized-field-order scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"serialized-field-order scenario 3\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"serialized-field-order scenario 4\", \"actual\": [\"b\"], \"expected\": [\"b\"], \"passed\": true}, {\"check\": \"serialized-field-order scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"serialized-field-order scenario 6\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":50.267,"exit_code":1,"observations":[{"actual":{"a":1,"b":false},"check":"unknown-field-projection scenario 1","expected":{"a":1,"b":false},"passed":true},{"actual":{},"check":"unknown-field-projection scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"unknown-field-projection scenario 3","expected":{"a":null},"passed":true},{"actual":{"b":1},"check":"unknown-field-projection scenario 4","expected":{"b":1},"passed":true},{"actual":{},"check":"unknown-field-projection scenario 5","expected":{},"passed":true},{"actual":{"a":1},"check":"unknown-field-projection scenario 6","expected":{"a":1},"passed":true},{"actual":{"a":1,"b":false,"temp":7},"check":"default-overlay-order scenario 1","expected":{"a":1,"b":false,"temp":7},"passed":true},{"actual":{"a":1},"check":"default-overlay-order scenario 2","expected":{"a":1},"passed":true},{"actual":{"a":null,"extra":1},"check":"default-overlay-order scenario 3","expected":{"a":null,"extra":1},"passed":true},{"actual":{"a":0,"b":1},"check":"default-overlay-order scenario 4","expected":{"a":0,"b":1},"passed":true},{"actual":{"a":"","b":true},"check":"default-overlay-order scenario 5","expected":{"a":"","b":true},"passed":true},{"actual":{"a":1,"temp":1},"check":"default-overlay-order scenario 6","expected":{"a":1,"temp":1},"passed":true},{"actual":true,"check":"future-version-readonly scenario 1","expected":false,"passed":false},{"actual":false,"check":"future-version-readonly scenario 2","expected":false,"passed":true},{"actual":true,"check":"future-version-readonly scenario 3","expected":true,"passed":true},{"actual":true,"check":"future-version-readonly scenario 4","expected":false,"passed":false},{"actual":false,"check":"future-version-readonly scenario 5","expected":false,"passed":true},{"actual":false,"check":"future-version-readonly scenario 6","expected":false,"passed":true},{"actual":[1],"check":"migration-step-list scenario 1","expected":[1],"passed":true},{"actual":[],"check":"migration-step-list scenario 2","expected":[],"passed":true},{"actual":[],"check":"migration-step-list scenario 3","expected":[],"passed":true},{"actual":[0,1],"check":"migration-step-list scenario 4","expected":[0,1],"passed":true},{"actual":[],"check":"migration-step-list scenario 5","expected":[],"passed":true},{"actual":[],"check":"migration-step-list scenario 6","expected":[],"passed":true},{"actual":{"a":1,"b":false},"check":"transient-exclusion scenario 1","expected":{"a":1,"b":false},"passed":true},{"actual":{},"check":"transient-exclusion scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"transient-exclusion scenario 3","expected":{"a":null},"passed":true},{"actual":{"b":1},"check":"transient-exclusion scenario 4","expected":{"b":1},"passed":true},{"actual":{"a":"","b":true},"check":"transient-exclusion scenario 5","expected":{"a":"","b":true},"passed":true},{"actual":{"a":1},"check":"transient-exclusion scenario 6","expected":{"a":1},"passed":true},{"actual":[],"check":"missing-default-identification scenario 1","expected":[],"passed":true},{"actual":["a"],"check":"missing-default-identification scenario 2","expected":["a"],"passed":true},{"actual":[],"check":"missing-default-identification scenario 3","expected":[],"passed":true},{"actual":[],"check":"missing-default-identification scenario 4","expected":[],"passed":true},{"actual":[],"check":"missing-default-identification scenario 5","expected":[],"passed":true},{"actual":[],"check":"missing-default-identification scenario 6","expected":[],"passed":true},{"actual":1,"check":"nullable-persisted-value scenario 1","expected":1,"passed":true},{"actual":1,"check":"nullable-persisted-value scenario 2","expected":1,"passed":true},{"actual":null,"check":"nullable-persisted-value scenario 3","expected":null,"passed":true},{"actual":0,"check":"nullable-persisted-value scenario 4","expected":0,"passed":true},{"actual":"","check":"nullable-persisted-value scenario 5","expected":"","passed":true},{"actual":1,"check":"nullable-persisted-value scenario 6","expected":1,"passed":true},{"actual":2,"check":"write-version-stamp scenario 1","expected":2,"passed":true},{"actual":2,"check":"write-version-stamp scenario 2","expected":2,"passed":true},{"actual":3,"check":"write-version-stamp scenario 3","expected":3,"passed":true},{"actual":2,"check":"write-version-stamp scenario 4","expected":2,"passed":true},{"actual":2,"check":"write-version-stamp scenario 5","expected":2,"passed":true},{"actual":1,"check":"write-version-stamp scenario 6","expected":1,"passed":true},{"actual":"migrate","check":"schema-fallback-policy scenario 1","expected":"migrate","passed":true},{"actual":"load","check":"schema-fallback-policy scenario 2","expected":"load","passed":true},{"actual":"read-only","check":"schema-fallback-policy scenario 3","expected":"read-only","passed":true},{"actual":"migrate","check":"schema-fallback-policy scenario 4","expected":"migrate","passed":true},{"actual":"load","check":"schema-fallback-policy scenario 5","expected":"load","passed":true},{"actual":"load","check":"schema-fallback-policy scenario 6","expected":"load","passed":true},{"actual":["a","b"],"check":"serialized-field-order scenario 1","expected":["a","b"],"passed":true},{"actual":[],"check":"serialized-field-order scenario 2","expected":[],"passed":true},{"actual":["a"],"check":"serialized-field-order scenario 3","expected":["a"],"passed":true},{"actual":["b"],"check":"serialized-field-order scenario 4","expected":["b"],"passed":true},{"actual":[],"check":"serialized-field-order scenario 5","expected":[],"passed":true},{"actual":["a"],"check":"serialized-field-order scenario 6","expected":["a"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"unknown-field-projection scenario 1\", \"actual\": {\"a\": 1, \"b\": false}, \"expected\": {\"a\": 1, \"b\": false}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 4\", \"actual\": {\"b\": 1}, \"expected\": {\"b\": 1}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 1\", \"actual\": {\"a\": 1, \"b\": false, \"temp\": 7}, \"expected\": {\"a\": 1, \"b\": false, \"temp\": 7}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 3\", \"actual\": {\"a\": null, \"extra\": 1}, \"expected\": {\"a\": null, \"extra\": 1}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 4\", \"actual\": {\"b\": 1, \"a\": 0}, \"expected\": {\"b\": 1, \"a\": 0}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 5\", \"actual\": {\"a\": \"\", \"b\": true}, \"expected\": {\"a\": \"\", \"b\": true}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 6\", \"actual\": {\"a\": 1, \"temp\": 1}, \"expected\": {\"a\": 1, \"temp\": 1}, \"passed\": true}, {\"check\": \"future-version-readonly scenario 1\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"future-version-readonly scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"future-version-readonly scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"future-version-readonly scenario 4\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"future-version-readonly scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"future-version-readonly scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"migration-step-list scenario 1\", \"actual\": [1], \"expected\": [1], \"passed\": true}, {\"check\": \"migration-step-list scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"migration-step-list scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"migration-step-list scenario 4\", \"actual\": [0, 1], \"expected\": [0, 1], \"passed\": true}, {\"check\": \"migration-step-list scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"migration-step-list scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transient-exclusion scenario 1\", \"actual\": {\"a\": 1, \"b\": false}, \"expected\": {\"a\": 1, \"b\": false}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 4\", \"actual\": {\"b\": 1}, \"expected\": {\"b\": 1}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 5\", \"actual\": {\"a\": \"\", \"b\": true}, \"expected\": {\"a\": \"\", \"b\": true}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"missing-default-identification scenario 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 2\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"missing-default-identification scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 5\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"write-version-stamp scenario 1\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 2\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 3\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"write-version-stamp scenario 4\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 5\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 1\", \"actual\": \"migrate\", \"expected\": \"migrate\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 2\", \"actual\": \"load\", \"expected\": \"load\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 3\", \"actual\": \"read-only\", \"expected\": \"read-only\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 4\", \"actual\": \"migrate\", \"expected\": \"migrate\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 5\", \"actual\": \"load\", \"expected\": \"load\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 6\", \"actual\": \"load\", \"expected\": \"load\", \"passed\": true}, {\"check\": \"serialized-field-order scenario 1\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"serialized-field-order scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"serialized-field-order scenario 3\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"serialized-field-order scenario 4\", \"actual\": [\"b\"], \"expected\": [\"b\"], \"passed\": true}, {\"check\": \"serialized-field-order scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"serialized-field-order scenario 6\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.062,"exit_code":0,"observations":[{"actual":{"a":1,"b":false},"check":"unknown-field-projection scenario 1","expected":{"a":1,"b":false},"passed":true},{"actual":{},"check":"unknown-field-projection scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"unknown-field-projection scenario 3","expected":{"a":null},"passed":true},{"actual":{"b":1},"check":"unknown-field-projection scenario 4","expected":{"b":1},"passed":true},{"actual":{},"check":"unknown-field-projection scenario 5","expected":{},"passed":true},{"actual":{"a":1},"check":"unknown-field-projection scenario 6","expected":{"a":1},"passed":true},{"actual":{"a":1,"b":false,"temp":7},"check":"default-overlay-order scenario 1","expected":{"a":1,"b":false,"temp":7},"passed":true},{"actual":{"a":1},"check":"default-overlay-order scenario 2","expected":{"a":1},"passed":true},{"actual":{"a":null,"extra":1},"check":"default-overlay-order scenario 3","expected":{"a":null,"extra":1},"passed":true},{"actual":{"a":0,"b":1},"check":"default-overlay-order scenario 4","expected":{"a":0,"b":1},"passed":true},{"actual":{"a":"","b":true},"check":"default-overlay-order scenario 5","expected":{"a":"","b":true},"passed":true},{"actual":{"a":1,"temp":1},"check":"default-overlay-order scenario 6","expected":{"a":1,"temp":1},"passed":true},{"actual":false,"check":"future-version-readonly scenario 1","expected":false,"passed":true},{"actual":false,"check":"future-version-readonly scenario 2","expected":false,"passed":true},{"actual":true,"check":"future-version-readonly scenario 3","expected":true,"passed":true},{"actual":false,"check":"future-version-readonly scenario 4","expected":false,"passed":true},{"actual":false,"check":"future-version-readonly scenario 5","expected":false,"passed":true},{"actual":false,"check":"future-version-readonly scenario 6","expected":false,"passed":true},{"actual":[1],"check":"migration-step-list scenario 1","expected":[1],"passed":true},{"actual":[],"check":"migration-step-list scenario 2","expected":[],"passed":true},{"actual":[],"check":"migration-step-list scenario 3","expected":[],"passed":true},{"actual":[0,1],"check":"migration-step-list scenario 4","expected":[0,1],"passed":true},{"actual":[],"check":"migration-step-list scenario 5","expected":[],"passed":true},{"actual":[],"check":"migration-step-list scenario 6","expected":[],"passed":true},{"actual":{"a":1,"b":false},"check":"transient-exclusion scenario 1","expected":{"a":1,"b":false},"passed":true},{"actual":{},"check":"transient-exclusion scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"transient-exclusion scenario 3","expected":{"a":null},"passed":true},{"actual":{"b":1},"check":"transient-exclusion scenario 4","expected":{"b":1},"passed":true},{"actual":{"a":"","b":true},"check":"transient-exclusion scenario 5","expected":{"a":"","b":true},"passed":true},{"actual":{"a":1},"check":"transient-exclusion scenario 6","expected":{"a":1},"passed":true},{"actual":[],"check":"missing-default-identification scenario 1","expected":[],"passed":true},{"actual":["a"],"check":"missing-default-identification scenario 2","expected":["a"],"passed":true},{"actual":[],"check":"missing-default-identification scenario 3","expected":[],"passed":true},{"actual":[],"check":"missing-default-identification scenario 4","expected":[],"passed":true},{"actual":[],"check":"missing-default-identification scenario 5","expected":[],"passed":true},{"actual":[],"check":"missing-default-identification scenario 6","expected":[],"passed":true},{"actual":1,"check":"nullable-persisted-value scenario 1","expected":1,"passed":true},{"actual":1,"check":"nullable-persisted-value scenario 2","expected":1,"passed":true},{"actual":null,"check":"nullable-persisted-value scenario 3","expected":null,"passed":true},{"actual":0,"check":"nullable-persisted-value scenario 4","expected":0,"passed":true},{"actual":"","check":"nullable-persisted-value scenario 5","expected":"","passed":true},{"actual":1,"check":"nullable-persisted-value scenario 6","expected":1,"passed":true},{"actual":2,"check":"write-version-stamp scenario 1","expected":2,"passed":true},{"actual":2,"check":"write-version-stamp scenario 2","expected":2,"passed":true},{"actual":3,"check":"write-version-stamp scenario 3","expected":3,"passed":true},{"actual":2,"check":"write-version-stamp scenario 4","expected":2,"passed":true},{"actual":2,"check":"write-version-stamp scenario 5","expected":2,"passed":true},{"actual":1,"check":"write-version-stamp scenario 6","expected":1,"passed":true},{"actual":"migrate","check":"schema-fallback-policy scenario 1","expected":"migrate","passed":true},{"actual":"load","check":"schema-fallback-policy scenario 2","expected":"load","passed":true},{"actual":"read-only","check":"schema-fallback-policy scenario 3","expected":"read-only","passed":true},{"actual":"migrate","check":"schema-fallback-policy scenario 4","expected":"migrate","passed":true},{"actual":"load","check":"schema-fallback-policy scenario 5","expected":"load","passed":true},{"actual":"load","check":"schema-fallback-policy scenario 6","expected":"load","passed":true},{"actual":["a","b"],"check":"serialized-field-order scenario 1","expected":["a","b"],"passed":true},{"actual":[],"check":"serialized-field-order scenario 2","expected":[],"passed":true},{"actual":["a"],"check":"serialized-field-order scenario 3","expected":["a"],"passed":true},{"actual":["b"],"check":"serialized-field-order scenario 4","expected":["b"],"passed":true},{"actual":[],"check":"serialized-field-order scenario 5","expected":[],"passed":true},{"actual":["a"],"check":"serialized-field-order scenario 6","expected":["a"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"unknown-field-projection scenario 1\", \"actual\": {\"a\": 1, \"b\": false}, \"expected\": {\"a\": 1, \"b\": false}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 4\", \"actual\": {\"b\": 1}, \"expected\": {\"b\": 1}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unknown-field-projection scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 1\", \"actual\": {\"a\": 1, \"b\": false, \"temp\": 7}, \"expected\": {\"a\": 1, \"b\": false, \"temp\": 7}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 3\", \"actual\": {\"a\": null, \"extra\": 1}, \"expected\": {\"a\": null, \"extra\": 1}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 4\", \"actual\": {\"b\": 1, \"a\": 0}, \"expected\": {\"b\": 1, \"a\": 0}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 5\", \"actual\": {\"a\": \"\", \"b\": true}, \"expected\": {\"a\": \"\", \"b\": true}, \"passed\": true}, {\"check\": \"default-overlay-order scenario 6\", \"actual\": {\"a\": 1, \"temp\": 1}, \"expected\": {\"a\": 1, \"temp\": 1}, \"passed\": true}, {\"check\": \"future-version-readonly scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"future-version-readonly scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"future-version-readonly scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"future-version-readonly scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"future-version-readonly scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"future-version-readonly scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"migration-step-list scenario 1\", \"actual\": [1], \"expected\": [1], \"passed\": true}, {\"check\": \"migration-step-list scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"migration-step-list scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"migration-step-list scenario 4\", \"actual\": [0, 1], \"expected\": [0, 1], \"passed\": true}, {\"check\": \"migration-step-list scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"migration-step-list scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transient-exclusion scenario 1\", \"actual\": {\"a\": 1, \"b\": false}, \"expected\": {\"a\": 1, \"b\": false}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 4\", \"actual\": {\"b\": 1}, \"expected\": {\"b\": 1}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 5\", \"actual\": {\"a\": \"\", \"b\": true}, \"expected\": {\"a\": \"\", \"b\": true}, \"passed\": true}, {\"check\": \"transient-exclusion scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"missing-default-identification scenario 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 2\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"missing-default-identification scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing-default-identification scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 5\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"nullable-persisted-value scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"write-version-stamp scenario 1\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 2\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 3\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"write-version-stamp scenario 4\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 5\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"write-version-stamp scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 1\", \"actual\": \"migrate\", \"expected\": \"migrate\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 2\", \"actual\": \"load\", \"expected\": \"load\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 3\", \"actual\": \"read-only\", \"expected\": \"read-only\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 4\", \"actual\": \"migrate\", \"expected\": \"migrate\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 5\", \"actual\": \"load\", \"expected\": \"load\", \"passed\": true}, {\"check\": \"schema-fallback-policy scenario 6\", \"actual\": \"load\", \"expected\": \"load\", \"passed\": true}, {\"check\": \"serialized-field-order scenario 1\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"serialized-field-order scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"serialized-field-order scenario 3\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"serialized-field-order scenario 4\", \"actual\": [\"b\"], \"expected\": [\"b\"], \"passed\": true}, {\"check\": \"serialized-field-order scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"serialized-field-order scenario 6\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}