{"abstract":"While countered, event incompatible produces active/enable instead of failed/reject.","category":"Protocols","checks":14,"contract":"For the stipulated Capability-offer negotiation 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-capability","failed_approach":"The partial repair chooses offered/advertise, which still violates this phase-specific event contract.","family":"s3-protocols-capability-countered-incompatible","id":"FA-18911","implementations":{"attempt":{"sha256":"7d0b4b34b87bdbe4fe66904c0e1a2ce19ed0adcb3d4798a8ec3988f24cdc74bb","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 = {'offered': ['base','delta','batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}\n    frames = []\n    observed = []\n    table = {('fresh', 'offer'): ('offered', 'advertise'), ('offered', 'subset_accept'): ('active', 'enable_subset'), ('offered', 'counteroffer'): ('countered', 'validate'), ('countered', 'compatible'): ('active', 'confirm'), ('countered', 'incompatible'): ('offered', 'advertise'), ('offered', 'mandatory_missing'): ('failed', 'reject'), ('active', 'renegotiate'): ('offered', 'quiesce'), ('active', 'duplicate_accept'): ('active', 'ack_existing'), ('failed', 'payload'): ('failed', 'reject'), ('fresh', 'payload'): ('fresh', 'reject')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'advertise':\n            frames.append(['OFFER',r['offered'][:]])\n        elif action == 'enable_subset':\n            r['enabled']=['base','delta']\n        elif action == 'enable_all':\n            r['enabled']=r['offered'][:]\n        elif action == 'validate':\n            r['validations']+=1\n        elif action == 'confirm':\n            r['enabled']=['base','batch']; frames.append(['ACCEPT',['base','batch']])\n        elif action == 'reject':\n            frames.append(['REJECT',event])\n        elif action == 'quiesce':\n            r['quiesced']=True; frames.append(['OFFER',r['offered'][:]])\n        elif action == 'ack_existing':\n            frames.append(['ACCEPT',r['enabled'][:]])\n        elif action == 'enable':\n            r['enabled']=r['offered'][:]\n        elif action == 'reenable':\n            r['validations']+=seed; r['enabled']=r['offered'][:]\n        elif action == 'buffer':\n            r['queued'].extend(payload)\n        elif action == 'deliver':\n            r['quiesced']=False; frames.append(['DATA',payload])\n        elif action == 'continue':\n            frames.append(['DATA',payload])\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: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 2: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 3: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate', 'mandatory_missing'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing']]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 4: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate', 'mandatory_missing', 'payload'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing'], ['REJECT', 'payload']]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 5: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate', 'mandatory_missing', 'payload', 'payload'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])]}\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":"c2c73db2caa8c9c14c092242d00b9103a641e0fe078f2763d52716040c8880f9","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 = {'offered': ['base','delta','batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}\n    frames = []\n    observed = []\n    table = {('fresh', 'offer'): ('offered', 'advertise'), ('offered', 'subset_accept'): ('active', 'enable_subset'), ('offered', 'counteroffer'): ('countered', 'validate'), ('countered', 'compatible'): ('active', 'confirm'), ('countered', 'incompatible'): ('active', 'enable'), ('offered', 'mandatory_missing'): ('failed', 'reject'), ('active', 'renegotiate'): ('offered', 'quiesce'), ('active', 'duplicate_accept'): ('active', 'ack_existing'), ('failed', 'payload'): ('failed', 'reject'), ('fresh', 'payload'): ('fresh', 'reject')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'advertise':\n            frames.append(['OFFER',r['offered'][:]])\n        elif action == 'enable_subset':\n            r['enabled']=['base','delta']\n        elif action == 'enable_all':\n            r['enabled']=r['offered'][:]\n        elif action == 'validate':\n            r['validations']+=1\n        elif action == 'confirm':\n            r['enabled']=['base','batch']; frames.append(['ACCEPT',['base','batch']])\n        elif action == 'reject':\n            frames.append(['REJECT',event])\n        elif action == 'quiesce':\n            r['quiesced']=True; frames.append(['OFFER',r['offered'][:]])\n        elif action == 'ack_existing':\n            frames.append(['ACCEPT',r['enabled'][:]])\n        elif action == 'enable':\n            r['enabled']=r['offered'][:]\n        elif action == 'reenable':\n            r['validations']+=seed; r['enabled']=r['offered'][:]\n        elif action == 'buffer':\n            r['queued'].extend(payload)\n        elif action == 'deliver':\n            r['quiesced']=False; frames.append(['DATA',payload])\n        elif action == 'continue':\n            frames.append(['DATA',payload])\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: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 2: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 3: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate', 'mandatory_missing'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing']]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 4: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate', 'mandatory_missing', 'payload'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing'], ['REJECT', 'payload']]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 5: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate', 'mandatory_missing', 'payload', 'payload'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])]}\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":"b2e31d2eb915244a7eb8fe44532ded43aaabd43b8d89f085b6443310ced5bb38","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 = {'offered': ['base','delta','batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}\n    frames = []\n    observed = []\n    table = {('fresh', 'offer'): ('offered', 'advertise'), ('offered', 'subset_accept'): ('active', 'enable_subset'), ('offered', 'counteroffer'): ('countered', 'validate'), ('countered', 'compatible'): ('active', 'confirm'), ('countered', 'incompatible'): ('failed', 'reject'), ('offered', 'mandatory_missing'): ('failed', 'reject'), ('active', 'renegotiate'): ('offered', 'quiesce'), ('active', 'duplicate_accept'): ('active', 'ack_existing'), ('failed', 'payload'): ('failed', 'reject'), ('fresh', 'payload'): ('fresh', 'reject')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'advertise':\n            frames.append(['OFFER',r['offered'][:]])\n        elif action == 'enable_subset':\n            r['enabled']=['base','delta']\n        elif action == 'enable_all':\n            r['enabled']=r['offered'][:]\n        elif action == 'validate':\n            r['validations']+=1\n        elif action == 'confirm':\n            r['enabled']=['base','batch']; frames.append(['ACCEPT',['base','batch']])\n        elif action == 'reject':\n            frames.append(['REJECT',event])\n        elif action == 'quiesce':\n            r['quiesced']=True; frames.append(['OFFER',r['offered'][:]])\n        elif action == 'ack_existing':\n            frames.append(['ACCEPT',r['enabled'][:]])\n        elif action == 'enable':\n            r['enabled']=r['offered'][:]\n        elif action == 'reenable':\n            r['validations']+=seed; r['enabled']=r['offered'][:]\n        elif action == 'buffer':\n            r['queued'].extend(payload)\n        elif action == 'deliver':\n            r['quiesced']=False; frames.append(['DATA',payload])\n        elif action == 'continue':\n            frames.append(['DATA',payload])\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: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 2: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 3: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate', 'mandatory_missing'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing']]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 4: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate', 'mandatory_missing', 'payload'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing'], ['REJECT', 'payload']]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])], 5: [('fresh/offer', 'fresh', ['offer'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('offered/subset_accept', 'offered', ['subset_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'delta'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': []}]), ('offered/counteroffer', 'offered', ['counteroffer'], [{'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': []}]), ('countered/compatible', 'countered', ['compatible'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base', 'batch']]]}]), ('countered/incompatible', 'countered', ['incompatible'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}]), ('offered/mandatory_missing', 'offered', ['mandatory_missing'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'mandatory_missing']]}]), ('active/renegotiate', 'active', ['renegotiate'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': True, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}]), ('active/duplicate_accept', 'active', ['duplicate_accept'], [{'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['ACCEPT', ['base']]]}]), ('failed/payload', 'failed', ['payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('fresh/payload', 'fresh', ['payload'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'payload']]}]), ('ordered trace 0', 'fresh', ['offer', 'counteroffer', 'compatible', 'duplicate_accept', 'renegotiate', 'mandatory_missing', 'payload', 'payload'], [{'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'countered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'active', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': False, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']]]}, {'phase': 'offered', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']]]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base', 'batch'], 'quiesced': True, 'validations': 1, 'queued': []}, 'frames': [['OFFER', ['base', 'delta', 'batch']], ['ACCEPT', ['base', 'batch']], ['ACCEPT', ['base', 'batch']], ['OFFER', ['base', 'delta', 'batch']], ['REJECT', 'mandatory_missing'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('ordered trace 3', 'countered', ['incompatible', 'payload', 'payload', 'payload', 'payload', 'payload', 'payload', 'payload'], [{'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}, {'phase': 'failed', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'incompatible'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload'], ['REJECT', 'payload']]}]), ('empty input', 'fresh', [], []), ('unknown event', 'fresh', ['unsupported'], [{'phase': 'fresh', 'registers': {'offered': ['base', 'delta', 'batch'], 'enabled': ['base'], 'quiesced': False, 'validations': 0, 'queued': []}, 'frames': [['REJECT', 'unsupported']]}])]}\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-capability-countered-incompatible","generated_at":"2026-09-29T14:40:02.459860+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 countered, classify incompatible as transition to failed and emit reject.","root_cause":"In countered, the incompatible handler runs enable and enters active; it must instead run reject and enter failed.","sha256":"6e88faffcc80139365e616ae0b9f877913ab1a578f2fd86522a02a4aaa677a90","title":"Capability-offer negotiation controller: countered / incompatible · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":48.571,"exit_code":1,"observations":[{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"fresh/offer","expected":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[],"phase":"active","registers":{"enabled":["base","delta"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"offered/subset_accept","expected":[{"frames":[],"phase":"active","registers":{"enabled":["base","delta"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"check":"offered/counteroffer","expected":[{"frames":[],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"passed":true},{"actual":[{"frames":[["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"countered/compatible","expected":[{"frames":[["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"countered/incompatible","expected":[{"frames":[["REJECT","incompatible"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":false},{"actual":[{"frames":[["REJECT","mandatory_missing"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"offered/mandatory_missing","expected":[{"frames":[["REJECT","mandatory_missing"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":true,"validations":0}}],"check":"active/renegotiate","expected":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":true,"validations":0}}],"passed":true},{"actual":[{"frames":[["ACCEPT",["base"]]],"phase":"active","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"active/duplicate_accept","expected":[{"frames":[["ACCEPT",["base"]]],"phase":"active","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"failed/payload","expected":[{"frames":[["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["REJECT","payload"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"fresh/payload","expected":[{"frames":[["REJECT","payload"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["OFFER",["base","delta","batch"]]],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"check":"ordered trace 0","expected":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["OFFER",["base","delta","batch"]]],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"passed":true},{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["OFFER",["base","delta","batch"]],["REJECT","payload"]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["OFFER",["base","delta","batch"]],["REJECT","payload"],["REJECT","payload"]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["OFFER",["base","delta","batch"]],["REJECT","payload"],["REJECT","payload"],["REJECT","payload"]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"ordered trace 3","expected":[{"frames":[["REJECT","incompatible"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"],["REJECT","payload"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":false},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["REJECT","unsupported"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"unknown event","expected":[{"frames":[["REJECT","unsupported"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fresh/offer\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"offered/subset_accept\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"offered/counteroffer\", \"actual\": [{\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"countered/compatible\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\", \"batch\"]]]}], \"expected\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"countered/incompatible\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"]]}], \"passed\": false}, {\"check\": \"offered/mandatory_missing\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"mandatory_missing\"]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"mandatory_missing\"]]}], \"passed\": true}, {\"check\": \"active/renegotiate\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": true, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": true, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"active/duplicate_accept\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\"]]]}], \"expected\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\"]]]}], \"passed\": true}, {\"check\": \"failed/payload\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"passed\": true}, {\"check\": \"fresh/payload\", \"actual\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"expected\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"REJECT\", \"payload\"]]}, {\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}, {\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}], \"passed\": false}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"unsupported\"]]}], \"expected\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"unsupported\"]]}], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":48.738,"exit_code":1,"observations":[{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"fresh/offer","expected":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[],"phase":"active","registers":{"enabled":["base","delta"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"offered/subset_accept","expected":[{"frames":[],"phase":"active","registers":{"enabled":["base","delta"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"check":"offered/counteroffer","expected":[{"frames":[],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"passed":true},{"actual":[{"frames":[["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"countered/compatible","expected":[{"frames":[["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[],"phase":"active","registers":{"enabled":["base","delta","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"countered/incompatible","expected":[{"frames":[["REJECT","incompatible"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":false},{"actual":[{"frames":[["REJECT","mandatory_missing"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"offered/mandatory_missing","expected":[{"frames":[["REJECT","mandatory_missing"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":true,"validations":0}}],"check":"active/renegotiate","expected":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":true,"validations":0}}],"passed":true},{"actual":[{"frames":[["ACCEPT",["base"]]],"phase":"active","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"active/duplicate_accept","expected":[{"frames":[["ACCEPT",["base"]]],"phase":"active","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"failed/payload","expected":[{"frames":[["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["REJECT","payload"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"fresh/payload","expected":[{"frames":[["REJECT","payload"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["OFFER",["base","delta","batch"]]],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"check":"ordered trace 0","expected":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["OFFER",["base","delta","batch"]]],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"passed":true},{"actual":[{"frames":[],"phase":"active","registers":{"enabled":["base","delta","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","payload"]],"phase":"active","registers":{"enabled":["base","delta","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","payload"],["REJECT","payload"]],"phase":"active","registers":{"enabled":["base","delta","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","payload"],["REJECT","payload"],["REJECT","payload"]],"phase":"active","registers":{"enabled":["base","delta","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"ordered trace 3","expected":[{"frames":[["REJECT","incompatible"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"],["REJECT","payload"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":false},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["REJECT","unsupported"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"unknown event","expected":[{"frames":[["REJECT","unsupported"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fresh/offer\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"offered/subset_accept\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"offered/counteroffer\", \"actual\": [{\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"countered/compatible\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\", \"batch\"]]]}], \"expected\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"countered/incompatible\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"]]}], \"passed\": false}, {\"check\": \"offered/mandatory_missing\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"mandatory_missing\"]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"mandatory_missing\"]]}], \"passed\": true}, {\"check\": \"active/renegotiate\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": true, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": true, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"active/duplicate_accept\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\"]]]}], \"expected\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\"]]]}], \"passed\": true}, {\"check\": \"failed/payload\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"passed\": true}, {\"check\": \"fresh/payload\", \"actual\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"expected\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": []}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}], \"passed\": false}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"unsupported\"]]}], \"expected\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"unsupported\"]]}], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.352,"exit_code":0,"observations":[{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"fresh/offer","expected":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[],"phase":"active","registers":{"enabled":["base","delta"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"offered/subset_accept","expected":[{"frames":[],"phase":"active","registers":{"enabled":["base","delta"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"check":"offered/counteroffer","expected":[{"frames":[],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"passed":true},{"actual":[{"frames":[["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"countered/compatible","expected":[{"frames":[["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["REJECT","incompatible"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"countered/incompatible","expected":[{"frames":[["REJECT","incompatible"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["REJECT","mandatory_missing"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"offered/mandatory_missing","expected":[{"frames":[["REJECT","mandatory_missing"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":true,"validations":0}}],"check":"active/renegotiate","expected":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":true,"validations":0}}],"passed":true},{"actual":[{"frames":[["ACCEPT",["base"]]],"phase":"active","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"active/duplicate_accept","expected":[{"frames":[["ACCEPT",["base"]]],"phase":"active","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"failed/payload","expected":[{"frames":[["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["REJECT","payload"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"fresh/payload","expected":[{"frames":[["REJECT","payload"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["OFFER",["base","delta","batch"]]],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"check":"ordered trace 0","expected":[{"frames":[["OFFER",["base","delta","batch"]]],"phase":"offered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["OFFER",["base","delta","batch"]]],"phase":"countered","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}},{"frames":[["OFFER",["base","delta","batch"]],["ACCEPT",["base","batch"]],["ACCEPT",["base","batch"]]],"phase":"active","registers":{"enabled":["base","batch"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":1}}],"passed":true},{"actual":[{"frames":[["REJECT","incompatible"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"],["REJECT","payload"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"ordered trace 3","expected":[{"frames":[["REJECT","incompatible"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}},{"frames":[["REJECT","incompatible"],["REJECT","payload"],["REJECT","payload"],["REJECT","payload"]],"phase":"failed","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["REJECT","unsupported"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"check":"unknown event","expected":[{"frames":[["REJECT","unsupported"]],"phase":"fresh","registers":{"enabled":["base"],"offered":["base","delta","batch"],"queued":[],"quiesced":false,"validations":0}}],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fresh/offer\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"offered/subset_accept\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"delta\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"offered/counteroffer\", \"actual\": [{\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"countered/compatible\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\", \"batch\"]]]}], \"expected\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"countered/incompatible\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"]]}], \"passed\": true}, {\"check\": \"offered/mandatory_missing\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"mandatory_missing\"]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"mandatory_missing\"]]}], \"passed\": true}, {\"check\": \"active/renegotiate\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": true, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": true, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"active/duplicate_accept\", \"actual\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\"]]]}], \"expected\": [{\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"ACCEPT\", [\"base\"]]]}], \"passed\": true}, {\"check\": \"failed/payload\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"passed\": true}, {\"check\": \"fresh/payload\", \"actual\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"expected\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"payload\"]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"countered\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}, {\"phase\": \"active\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\", \"batch\"], \"quiesced\": false, \"validations\": 1, \"queued\": []}, \"frames\": [[\"OFFER\", [\"base\", \"delta\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]], [\"ACCEPT\", [\"base\", \"batch\"]]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}], \"expected\": [{\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}, {\"phase\": \"failed\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"incompatible\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"], [\"REJECT\", \"payload\"]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"unsupported\"]]}], \"expected\": [{\"phase\": \"fresh\", \"registers\": {\"offered\": [\"base\", \"delta\", \"batch\"], \"enabled\": [\"base\"], \"quiesced\": false, \"validations\": 0, \"queued\": []}, \"frames\": [[\"REJECT\", \"unsupported\"]]}], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}