{"abstract":"While unset, event describe produces ready/send_records instead of described/send_schema_id.","category":"Protocols","checks":14,"contract":"For the stipulated Application schema-version exchange controller, initialize the explicitly shown resource registers from seed (1..5), then consume classified events sequentially. After each event return a deep snapshot of phase, resource registers, and cumulative emitted control frames. The explicit ten phase/event rules and their resource effects define admission and response semantics. Unlisted events preserve phase and emit rejection. Payload is the consecutive integers seed through 2*seed+1. Empty event input returns no observations.","evaluation_group":"s3-protocols-schema_exchange","failed_approach":"The partial repair chooses unset/send_records, which still violates this phase-specific event contract.","family":"s3-protocols-schema_exchange-unset-describe","id":"FA-19241","implementations":{"attempt":{"sha256":"8b8a82e8d1708e1adef75db4ddcf4ec9dbfef6f9cfe29c076db66a60d206dbf1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(phase, events, seed):\n    payload = list(range(seed, seed * 2 + 2))\n    r = {'agreed': seed, 'latest': seed+1, 'enabled': phase=='ready', 'definitions': [], 'decoded': [], 'queued': []}\n    frames = []\n    observed = []\n    table = {('unset', 'describe'): ('unset', 'send_records'), ('described', 'known_schema'): ('ready', 'ack_schema'), ('described', 'unknown_schema'): ('defining', 'send_definition'), ('defining', 'definition_accepted'): ('ready', 'enable_records'), ('defining', 'definition_rejected'): ('failed', 'stop_records'), ('ready', 'schema_change'): ('described', 'pause_describe'), ('ready', 'record'): ('ready', 'decode_agreed'), ('unset', 'record'): ('unset', 'reject_untyped'), ('failed', 'fresh_description'): ('described', 'send_schema_id'), ('ready', 'duplicate_definition'): ('ready', 'ack_existing')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'send_schema_id':\n            frames.append(['SCHEMA_ID',seed])\n        elif action == 'ack_schema':\n            r['enabled']=True; frames.append(['SCHEMA_OK',seed])\n        elif action == 'send_definition':\n            r['definitions'].append(seed); frames.append(['DEFINITION',seed,payload])\n        elif action == 'enable_records':\n            r['enabled']=True\n        elif action == 'stop_records':\n            r['enabled']=False\n        elif action == 'pause_describe':\n            r['enabled']=False; frames.append(['SCHEMA_ID',seed+1])\n        elif action == 'decode_agreed':\n            r['decoded'].append([r['agreed'],payload])\n        elif action == 'reject_untyped':\n            frames.append(['UNTYPED',payload])\n        elif action == 'ack_existing':\n            frames.append(['SCHEMA_OK',r['agreed']])\n        elif action == 'send_records':\n            frames.append(['RECORD',seed,payload])\n        elif action == 'send_id_only':\n            frames.append(['SCHEMA_ID',seed])\n        elif action == 'resend_definition':\n            r['definitions'].append(seed); frames.append(['DEFINITION',seed,payload])\n        elif action == 'describe_without_pause':\n            frames.append(['SCHEMA_ID',seed+1]); r['enabled']=True\n        elif action == 'decode_latest':\n            r['decoded'].append([r['latest'],payload])\n        elif action == 'decode_default':\n            r['decoded'].append([0,payload])\n        elif action == 'buffer_unbounded':\n            r['queued'].extend(payload)\n        elif action == 'replace_schema':\n            r['agreed']=r['latest']\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 1]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 1, [1, 2, 3]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [[1, [1, 2, 3]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [1, 2, 3]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 1]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}, {'phase': 'defining', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}, {'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}, {'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]], ['SCHEMA_ID', 2]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted'], [{'phase': 'failed', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}, {'phase': 'defining', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}, {'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 2]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 2, [2, 3, 4, 5]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [[2, [2, 3, 4, 5]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [2, 3, 4, 5]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 2]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}, {'phase': 'defining', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]], ['SCHEMA_ID', 3]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]], ['SCHEMA_ID', 3], ['SCHEMA_OK', 2]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record'], [{'phase': 'failed', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}, {'phase': 'defining', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [[2, [2, 3, 4, 5]]], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 3]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 3, [3, 4, 5, 6, 7]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [[3, [3, 4, 5, 6, 7]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [3, 4, 5, 6, 7]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 3]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema', 'duplicate_definition'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}, {'phase': 'defining', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_ID', 4]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_ID', 4], ['SCHEMA_OK', 3]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_ID', 4], ['SCHEMA_OK', 3], ['SCHEMA_OK', 3]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record', 'duplicate_definition'], [{'phase': 'failed', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}, {'phase': 'defining', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [[3, [3, 4, 5, 6, 7]]], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [[3, [3, 4, 5, 6, 7]]], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_OK', 3]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 4]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [4, 5, 6, 7, 8, 9]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 4]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema', 'duplicate_definition', 'schema_change'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}, {'phase': 'defining', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5], ['SCHEMA_OK', 4]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5], ['SCHEMA_OK', 4], ['SCHEMA_OK', 4]]}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5], ['SCHEMA_OK', 4], ['SCHEMA_OK', 4], ['SCHEMA_ID', 5]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record', 'duplicate_definition', 'schema_change'], [{'phase': 'failed', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}, {'phase': 'defining', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_OK', 4]]}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_OK', 4], ['SCHEMA_ID', 5]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 5]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 6]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [5, 6, 7, 8, 9, 10, 11]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 5]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema', 'duplicate_definition', 'schema_change', 'unknown_schema'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}, {'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5], ['SCHEMA_OK', 5]]}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6]]}, {'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5, 5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record', 'duplicate_definition', 'schema_change', 'known_schema'], [{'phase': 'failed', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}, {'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_OK', 5]]}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [5, 6, 7, 8, 9, 10, 11]]]}])]}\nfor label, phase, events, expected in cases[N]:\n    check(label, solve(phase, events, N), expected)\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":"44fabf253bb5fb868a8d2ae15bc63553e83ef4ae13b4ae17e9cb0abe089ab7b4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(phase, events, seed):\n    payload = list(range(seed, seed * 2 + 2))\n    r = {'agreed': seed, 'latest': seed+1, 'enabled': phase=='ready', 'definitions': [], 'decoded': [], 'queued': []}\n    frames = []\n    observed = []\n    table = {('unset', 'describe'): ('ready', 'send_records'), ('described', 'known_schema'): ('ready', 'ack_schema'), ('described', 'unknown_schema'): ('defining', 'send_definition'), ('defining', 'definition_accepted'): ('ready', 'enable_records'), ('defining', 'definition_rejected'): ('failed', 'stop_records'), ('ready', 'schema_change'): ('described', 'pause_describe'), ('ready', 'record'): ('ready', 'decode_agreed'), ('unset', 'record'): ('unset', 'reject_untyped'), ('failed', 'fresh_description'): ('described', 'send_schema_id'), ('ready', 'duplicate_definition'): ('ready', 'ack_existing')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'send_schema_id':\n            frames.append(['SCHEMA_ID',seed])\n        elif action == 'ack_schema':\n            r['enabled']=True; frames.append(['SCHEMA_OK',seed])\n        elif action == 'send_definition':\n            r['definitions'].append(seed); frames.append(['DEFINITION',seed,payload])\n        elif action == 'enable_records':\n            r['enabled']=True\n        elif action == 'stop_records':\n            r['enabled']=False\n        elif action == 'pause_describe':\n            r['enabled']=False; frames.append(['SCHEMA_ID',seed+1])\n        elif action == 'decode_agreed':\n            r['decoded'].append([r['agreed'],payload])\n        elif action == 'reject_untyped':\n            frames.append(['UNTYPED',payload])\n        elif action == 'ack_existing':\n            frames.append(['SCHEMA_OK',r['agreed']])\n        elif action == 'send_records':\n            frames.append(['RECORD',seed,payload])\n        elif action == 'send_id_only':\n            frames.append(['SCHEMA_ID',seed])\n        elif action == 'resend_definition':\n            r['definitions'].append(seed); frames.append(['DEFINITION',seed,payload])\n        elif action == 'describe_without_pause':\n            frames.append(['SCHEMA_ID',seed+1]); r['enabled']=True\n        elif action == 'decode_latest':\n            r['decoded'].append([r['latest'],payload])\n        elif action == 'decode_default':\n            r['decoded'].append([0,payload])\n        elif action == 'buffer_unbounded':\n            r['queued'].extend(payload)\n        elif action == 'replace_schema':\n            r['agreed']=r['latest']\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 1]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 1, [1, 2, 3]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [[1, [1, 2, 3]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [1, 2, 3]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 1]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}, {'phase': 'defining', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}, {'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}, {'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]], ['SCHEMA_ID', 2]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted'], [{'phase': 'failed', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}, {'phase': 'defining', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}, {'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 2]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 2, [2, 3, 4, 5]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [[2, [2, 3, 4, 5]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [2, 3, 4, 5]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 2]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}, {'phase': 'defining', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]], ['SCHEMA_ID', 3]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]], ['SCHEMA_ID', 3], ['SCHEMA_OK', 2]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record'], [{'phase': 'failed', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}, {'phase': 'defining', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [[2, [2, 3, 4, 5]]], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 3]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 3, [3, 4, 5, 6, 7]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [[3, [3, 4, 5, 6, 7]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [3, 4, 5, 6, 7]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 3]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema', 'duplicate_definition'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}, {'phase': 'defining', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_ID', 4]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_ID', 4], ['SCHEMA_OK', 3]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_ID', 4], ['SCHEMA_OK', 3], ['SCHEMA_OK', 3]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record', 'duplicate_definition'], [{'phase': 'failed', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}, {'phase': 'defining', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [[3, [3, 4, 5, 6, 7]]], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [[3, [3, 4, 5, 6, 7]]], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_OK', 3]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 4]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [4, 5, 6, 7, 8, 9]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 4]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema', 'duplicate_definition', 'schema_change'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}, {'phase': 'defining', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5], ['SCHEMA_OK', 4]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5], ['SCHEMA_OK', 4], ['SCHEMA_OK', 4]]}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5], ['SCHEMA_OK', 4], ['SCHEMA_OK', 4], ['SCHEMA_ID', 5]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record', 'duplicate_definition', 'schema_change'], [{'phase': 'failed', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}, {'phase': 'defining', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_OK', 4]]}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_OK', 4], ['SCHEMA_ID', 5]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 5]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 6]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [5, 6, 7, 8, 9, 10, 11]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 5]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema', 'duplicate_definition', 'schema_change', 'unknown_schema'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}, {'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5], ['SCHEMA_OK', 5]]}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6]]}, {'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5, 5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record', 'duplicate_definition', 'schema_change', 'known_schema'], [{'phase': 'failed', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}, {'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_OK', 5]]}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [5, 6, 7, 8, 9, 10, 11]]]}])]}\nfor label, phase, events, expected in cases[N]:\n    check(label, solve(phase, events, N), expected)\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":"d019098cf9a0055bdf1122ae97340b0a512941d3a986c1e255563cc8b7acc36b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(phase, events, seed):\n    payload = list(range(seed, seed * 2 + 2))\n    r = {'agreed': seed, 'latest': seed+1, 'enabled': phase=='ready', 'definitions': [], 'decoded': [], 'queued': []}\n    frames = []\n    observed = []\n    table = {('unset', 'describe'): ('described', 'send_schema_id'), ('described', 'known_schema'): ('ready', 'ack_schema'), ('described', 'unknown_schema'): ('defining', 'send_definition'), ('defining', 'definition_accepted'): ('ready', 'enable_records'), ('defining', 'definition_rejected'): ('failed', 'stop_records'), ('ready', 'schema_change'): ('described', 'pause_describe'), ('ready', 'record'): ('ready', 'decode_agreed'), ('unset', 'record'): ('unset', 'reject_untyped'), ('failed', 'fresh_description'): ('described', 'send_schema_id'), ('ready', 'duplicate_definition'): ('ready', 'ack_existing')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'send_schema_id':\n            frames.append(['SCHEMA_ID',seed])\n        elif action == 'ack_schema':\n            r['enabled']=True; frames.append(['SCHEMA_OK',seed])\n        elif action == 'send_definition':\n            r['definitions'].append(seed); frames.append(['DEFINITION',seed,payload])\n        elif action == 'enable_records':\n            r['enabled']=True\n        elif action == 'stop_records':\n            r['enabled']=False\n        elif action == 'pause_describe':\n            r['enabled']=False; frames.append(['SCHEMA_ID',seed+1])\n        elif action == 'decode_agreed':\n            r['decoded'].append([r['agreed'],payload])\n        elif action == 'reject_untyped':\n            frames.append(['UNTYPED',payload])\n        elif action == 'ack_existing':\n            frames.append(['SCHEMA_OK',r['agreed']])\n        elif action == 'send_records':\n            frames.append(['RECORD',seed,payload])\n        elif action == 'send_id_only':\n            frames.append(['SCHEMA_ID',seed])\n        elif action == 'resend_definition':\n            r['definitions'].append(seed); frames.append(['DEFINITION',seed,payload])\n        elif action == 'describe_without_pause':\n            frames.append(['SCHEMA_ID',seed+1]); r['enabled']=True\n        elif action == 'decode_latest':\n            r['decoded'].append([r['latest'],payload])\n        elif action == 'decode_default':\n            r['decoded'].append([0,payload])\n        elif action == 'buffer_unbounded':\n            r['queued'].extend(payload)\n        elif action == 'replace_schema':\n            r['agreed']=r['latest']\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 1]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 1, [1, 2, 3]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [[1, [1, 2, 3]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [1, 2, 3]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 1]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change'], [{'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}, {'phase': 'defining', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}, {'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}, {'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]], ['SCHEMA_ID', 2]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted'], [{'phase': 'failed', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1]]}, {'phase': 'defining', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}, {'phase': 'ready', 'registers': {'agreed': 1, 'latest': 2, 'enabled': True, 'definitions': [1], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 1], ['DEFINITION', 1, [1, 2, 3]]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 1, 'latest': 2, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 2]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 2, [2, 3, 4, 5]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [[2, [2, 3, 4, 5]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [2, 3, 4, 5]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 2]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema'], [{'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}, {'phase': 'defining', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]], ['SCHEMA_ID', 3]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]], ['SCHEMA_ID', 3], ['SCHEMA_OK', 2]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record'], [{'phase': 'failed', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2]]}, {'phase': 'defining', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}, {'phase': 'ready', 'registers': {'agreed': 2, 'latest': 3, 'enabled': True, 'definitions': [2], 'decoded': [[2, [2, 3, 4, 5]]], 'queued': []}, 'frames': [['SCHEMA_ID', 2], ['DEFINITION', 2, [2, 3, 4, 5]]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 2, 'latest': 3, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 3]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 3, [3, 4, 5, 6, 7]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [[3, [3, 4, 5, 6, 7]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [3, 4, 5, 6, 7]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 3]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema', 'duplicate_definition'], [{'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}, {'phase': 'defining', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_ID', 4]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_ID', 4], ['SCHEMA_OK', 3]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_ID', 4], ['SCHEMA_OK', 3], ['SCHEMA_OK', 3]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record', 'duplicate_definition'], [{'phase': 'failed', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3]]}, {'phase': 'defining', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [[3, [3, 4, 5, 6, 7]]], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'ready', 'registers': {'agreed': 3, 'latest': 4, 'enabled': True, 'definitions': [3], 'decoded': [[3, [3, 4, 5, 6, 7]]], 'queued': []}, 'frames': [['SCHEMA_ID', 3], ['DEFINITION', 3, [3, 4, 5, 6, 7]], ['SCHEMA_OK', 3]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 3, 'latest': 4, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 4]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [4, 5, 6, 7, 8, 9]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 4]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema', 'duplicate_definition', 'schema_change'], [{'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}, {'phase': 'defining', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5], ['SCHEMA_OK', 4]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5], ['SCHEMA_OK', 4], ['SCHEMA_OK', 4]]}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_ID', 5], ['SCHEMA_OK', 4], ['SCHEMA_OK', 4], ['SCHEMA_ID', 5]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record', 'duplicate_definition', 'schema_change'], [{'phase': 'failed', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4]]}, {'phase': 'defining', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'ready', 'registers': {'agreed': 4, 'latest': 5, 'enabled': True, 'definitions': [4], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_OK', 4]]}, {'phase': 'described', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [4], 'decoded': [[4, [4, 5, 6, 7, 8, 9]]], 'queued': []}, 'frames': [['SCHEMA_ID', 4], ['DEFINITION', 4, [4, 5, 6, 7, 8, 9]], ['SCHEMA_OK', 4], ['SCHEMA_ID', 5]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 4, 'latest': 5, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('unset/describe', 'unset', ['describe'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}]), ('described/known_schema', 'described', ['known_schema'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 5]]}]), ('described/unknown_schema', 'described', ['unknown_schema'], [{'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('defining/definition_accepted', 'defining', ['definition_accepted'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('defining/definition_rejected', 'defining', ['definition_rejected'], [{'phase': 'failed', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}]), ('ready/schema_change', 'ready', ['schema_change'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 6]]}]), ('ready/record', 'ready', ['record'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': []}]), ('unset/record', 'unset', ['record'], [{'phase': 'unset', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['UNTYPED', [5, 6, 7, 8, 9, 10, 11]]]}]), ('failed/fresh_description', 'failed', ['fresh_description'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}]), ('ready/duplicate_definition', 'ready', ['duplicate_definition'], [{'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_OK', 5]]}]), ('ordered trace 0', 'unset', ['describe', 'unknown_schema', 'definition_accepted', 'schema_change', 'known_schema', 'duplicate_definition', 'schema_change', 'unknown_schema'], [{'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}, {'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5], ['SCHEMA_OK', 5]]}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6]]}, {'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5, 5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('ordered trace 3', 'defining', ['definition_rejected', 'fresh_description', 'unknown_schema', 'definition_accepted', 'record', 'duplicate_definition', 'schema_change', 'known_schema'], [{'phase': 'failed', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': []}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5]]}, {'phase': 'defining', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_OK', 5]]}, {'phase': 'described', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6]]}, {'phase': 'ready', 'registers': {'agreed': 5, 'latest': 6, 'enabled': True, 'definitions': [5], 'decoded': [[5, [5, 6, 7, 8, 9, 10, 11]]], 'queued': []}, 'frames': [['SCHEMA_ID', 5], ['DEFINITION', 5, [5, 6, 7, 8, 9, 10, 11]], ['SCHEMA_OK', 5], ['SCHEMA_ID', 6], ['SCHEMA_OK', 5]]}]), ('empty input', 'unset', [], []), ('unknown event', 'unset', ['unsupported'], [{'phase': 'unset', 'registers': {'agreed': 5, 'latest': 6, 'enabled': False, 'definitions': [], 'decoded': [], 'queued': []}, 'frames': [['reject', [5, 6, 7, 8, 9, 10, 11]]]}])]}\nfor label, phase, events, expected in cases[N]:\n    check(label, solve(phase, events, N), expected)\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":"Bounded offline control-plane abstraction with prescribed initial registers and classified events. Not a named protocol implementation or conformance test; excludes wire parsing, transport retries, physical execution, authentication, crash persistence, and timing. Related event faults share the full corrected controller and evaluation group. 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-protocols-schema_exchange-unset-describe","generated_at":"2026-09-29T14:40:05.967603+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Incorrect event admission now changes concrete queued data, resource ownership, or emitted protocol frames and subsequent trace behavior.","repair":"In phase unset, classify describe as transition to described and emit send_schema_id.","root_cause":"In unset, the describe handler runs send records and enters ready; it must instead run send schema id and enter described.","sha256":"908496b9390c7202ff8309e402df74bddd3ae4f1eac44ac88357aa30a9ad4050","title":"Application schema-version exchange controller: unset / describe · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.945,"exit_code":1,"observations":[{"actual":[{"frames":[["RECORD",1,[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"unset/describe","expected":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":false},{"actual":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"described/known_schema","expected":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}}],"check":"described/unknown_schema","expected":[{"frames":[["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"defining/definition_accepted","expected":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"defining/definition_rejected","expected":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"ready/schema_change","expected":[{"frames":[["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[[1,[1,2,3]]],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"ready/record","expected":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[[1,[1,2,3]]],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["UNTYPED",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"unset/record","expected":[{"frames":[["UNTYPED",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"failed/fresh_description","expected":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"ready/duplicate_definition","expected":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["RECORD",1,[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["RECORD",1,[1,2,3]],["reject",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["RECORD",1,[1,2,3]],["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["RECORD",1,[1,2,3]],["reject",[1,2,3]],["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"ordered trace 0","expected":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":true,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]],["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}}],"passed":false},{"actual":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":true,"latest":2,"queued":[]}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"unset/describe\", \"actual\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"RECORD\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}], \"passed\": false}, {\"check\": \"described/known_schema\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"passed\": true}, {\"check\": \"described/unknown_schema\", \"actual\": [{\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"DEFINITION\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"DEFINITION\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"defining/definition_accepted\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"defining/definition_rejected\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"ready/schema_change\", \"actual\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 2]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 2]]}], \"passed\": true}, {\"check\": \"ready/record\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [[1, [1, 2, 3]]], \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [[1, [1, 2, 3]]], \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"unset/record\", \"actual\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"UNTYPED\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"UNTYPED\", [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"failed/fresh_description\", \"actual\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}], \"passed\": true}, {\"check\": \"ready/duplicate_definition\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"RECORD\", 1, [1, 2, 3]]]}, {\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"RECORD\", 1, [1, 2, 3]], [\"reject\", [1, 2, 3]]]}, {\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"RECORD\", 1, [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}, {\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"RECORD\", 1, [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}, {\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]], [\"SCHEMA_ID\", 2]]}], \"passed\": false}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}, {\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}, {\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.059,"exit_code":1,"observations":[{"actual":[{"frames":[["RECORD",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"unset/describe","expected":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":false},{"actual":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"described/known_schema","expected":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}}],"check":"described/unknown_schema","expected":[{"frames":[["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"defining/definition_accepted","expected":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"defining/definition_rejected","expected":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"ready/schema_change","expected":[{"frames":[["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[[1,[1,2,3]]],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"ready/record","expected":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[[1,[1,2,3]]],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["UNTYPED",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"unset/record","expected":[{"frames":[["UNTYPED",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"failed/fresh_description","expected":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"ready/duplicate_definition","expected":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["RECORD",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["RECORD",1,[1,2,3]],["reject",[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["RECORD",1,[1,2,3]],["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["RECORD",1,[1,2,3]],["reject",[1,2,3]],["reject",[1,2,3]],["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"ordered trace 0","expected":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":true,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]],["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}}],"passed":false},{"actual":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":true,"latest":2,"queued":[]}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"unset/describe\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"RECORD\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}], \"passed\": false}, {\"check\": \"described/known_schema\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"passed\": true}, {\"check\": \"described/unknown_schema\", \"actual\": [{\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"DEFINITION\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"DEFINITION\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"defining/definition_accepted\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"defining/definition_rejected\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"ready/schema_change\", \"actual\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 2]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 2]]}], \"passed\": true}, {\"check\": \"ready/record\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [[1, [1, 2, 3]]], \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [[1, [1, 2, 3]]], \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"unset/record\", \"actual\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"UNTYPED\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"UNTYPED\", [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"failed/fresh_description\", \"actual\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}], \"passed\": true}, {\"check\": \"ready/duplicate_definition\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"RECORD\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"RECORD\", 1, [1, 2, 3]], [\"reject\", [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"RECORD\", 1, [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"RECORD\", 1, [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"SCHEMA_ID\", 2]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}, {\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]], [\"SCHEMA_ID\", 2]]}], \"passed\": false}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}, {\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}, {\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.562,"exit_code":0,"observations":[{"actual":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"unset/describe","expected":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"described/known_schema","expected":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}}],"check":"described/unknown_schema","expected":[{"frames":[["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"defining/definition_accepted","expected":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"defining/definition_rejected","expected":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"ready/schema_change","expected":[{"frames":[["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[[1,[1,2,3]]],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"ready/record","expected":[{"frames":[],"phase":"ready","registers":{"agreed":1,"decoded":[[1,[1,2,3]]],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["UNTYPED",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"unset/record","expected":[{"frames":[["UNTYPED",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"failed/fresh_description","expected":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"check":"ready/duplicate_definition","expected":[{"frames":[["SCHEMA_OK",1]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":true,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]],["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}}],"check":"ordered trace 0","expected":[{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":true,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]],["SCHEMA_ID",2]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":true,"latest":2,"queued":[]}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"failed","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1]],"phase":"described","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"defining","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":false,"latest":2,"queued":[]}},{"frames":[["SCHEMA_ID",1],["DEFINITION",1,[1,2,3]]],"phase":"ready","registers":{"agreed":1,"decoded":[],"definitions":[1],"enabled":true,"latest":2,"queued":[]}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"unset","registers":{"agreed":1,"decoded":[],"definitions":[],"enabled":false,"latest":2,"queued":[]}}],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"unset/describe\", \"actual\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}], \"passed\": true}, {\"check\": \"described/known_schema\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"passed\": true}, {\"check\": \"described/unknown_schema\", \"actual\": [{\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"DEFINITION\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"DEFINITION\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"defining/definition_accepted\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"defining/definition_rejected\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"ready/schema_change\", \"actual\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 2]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 2]]}], \"passed\": true}, {\"check\": \"ready/record\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [[1, [1, 2, 3]]], \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [[1, [1, 2, 3]]], \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"unset/record\", \"actual\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"UNTYPED\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"UNTYPED\", [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"failed/fresh_description\", \"actual\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}], \"passed\": true}, {\"check\": \"ready/duplicate_definition\", \"actual\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"expected\": [{\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_OK\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}, {\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]], [\"SCHEMA_ID\", 2]]}], \"expected\": [{\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}, {\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]], [\"SCHEMA_ID\", 2]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}, {\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": []}, {\"phase\": \"described\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1]]}, {\"phase\": \"defining\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}, {\"phase\": \"ready\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": true, \"definitions\": [1], \"decoded\": [], \"queued\": []}, \"frames\": [[\"SCHEMA_ID\", 1], [\"DEFINITION\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"unset\", \"registers\": {\"agreed\": 1, \"latest\": 2, \"enabled\": false, \"definitions\": [], \"decoded\": [], \"queued\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}