{"abstract":"While collecting, event seal produces committed/apply instead of sealed/freeze_batch.","category":"Protocols","checks":14,"contract":"For the stipulated Delimited batch command 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-batch_commit","failed_approach":"The partial repair chooses sealed/allow_append, which still violates this phase-specific event contract.","family":"s3-protocols-batch_commit-collecting-seal","id":"FA-19701","implementations":{"attempt":{"sha256":"bbeb343b83e586727c72133bcc57790977e0bbdddd74943e9a39af5114414f11","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 = {'staged': payload[:] if phase in ('collecting','sealed') else [], 'application': [seed-1], 'sealed': phase in ('sealed','committed'), 'receipt': seed if phase=='committed' else None, 'valid': True}\n    frames = []\n    observed = []\n    table = {('idle', 'begin'): ('collecting', 'create_batch'), ('collecting', 'operation'): ('collecting', 'stage_operation'), ('collecting', 'seal'): ('sealed', 'allow_append'), ('sealed', 'commit'): ('committed', 'apply_once'), ('collecting', 'commit'): ('collecting', 'reject_unsealed'), ('sealed', 'operation'): ('sealed', 'reject_sealed'), ('collecting', 'abort'): ('idle', 'discard_batch'), ('committed', 'duplicate_commit'): ('committed', 'repeat_receipt'), ('sealed', 'validation_failed'): ('idle', 'reject_discard'), ('committed', 'receipt_consumed'): ('idle', 'release_receipt')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'create_batch':\n            r['staged']=[]; r['sealed']=False\n        elif action == 'stage_operation':\n            r['staged'].extend(payload)\n        elif action == 'freeze_batch':\n            r['sealed']=True\n        elif action == 'apply_once':\n            r['application'].extend(r['staged']); r['staged']=[]\n        elif action == 'reject_unsealed':\n            frames.append(['UNSEALED',seed])\n        elif action == 'reject_sealed':\n            frames.append(['SEALED',seed])\n        elif action == 'discard_batch':\n            r['staged']=[]\n        elif action == 'repeat_receipt':\n            frames.append(['COMMITTED',r['receipt']])\n        elif action == 'reject_discard':\n            r['staged']=[]; frames.append(['INVALID',seed])\n        elif action == 'release_receipt':\n            r['receipt']=None\n        elif action == 'apply':\n            r['application'].extend(r['staged'])\n        elif action == 'apply_operation':\n            r['application'].extend(payload)\n        elif action == 'replace_operations':\n            r['staged']=payload[:]\n        elif action == 'allow_append':\n            r['sealed']=False\n        elif action == 'apply_reversed':\n            r['application'].extend(reversed(r['staged'])); r['staged']=[]\n        elif action == 'discard':\n            r['staged']=[]\n        elif action == 'discard_receipt':\n            r['receipt']=None\n        elif action == 'clear_application':\n            r['application']=[]\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: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [1, 2, 3, 1, 2, 3], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [1, 2, 3], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [1, 2, 3], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 1]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [1, 2, 3], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 1]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': 1, 'valid': True}, 'frames': [['COMMITTED', 1]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 1]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 1]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 1]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [2, 3, 4, 5, 2, 3, 4, 5], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 2]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 2]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': 2, 'valid': True}, 'frames': [['COMMITTED', 2]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}, {'phase': 'collecting', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 3]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 3]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': 3, 'valid': True}, 'frames': [['COMMITTED', 3]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation', 'seal'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}, {'phase': 'collecting', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}, {'phase': 'sealed', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort', 'begin'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 4]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 4]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': 4, 'valid': True}, 'frames': [['COMMITTED', 4]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation', 'seal', 'commit'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'collecting', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'sealed', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort', 'begin', 'seal'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 5]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 5]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': 5, 'valid': True}, 'frames': [['COMMITTED', 5]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation', 'seal', 'commit', 'receipt_consumed'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'collecting', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'sealed', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort', 'begin', 'seal', 'operation'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None], ['SEALED', 5]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [5, 6, 7, 8, 9, 10, 11]]]}])]}\nfor label, phase, events, expected in cases[N]:\n    check(label, solve(phase, events, N), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"1fcf88f751206e8d438af8350ca74f589d1ecb153a1d4488397154f7466d907f","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 = {'staged': payload[:] if phase in ('collecting','sealed') else [], 'application': [seed-1], 'sealed': phase in ('sealed','committed'), 'receipt': seed if phase=='committed' else None, 'valid': True}\n    frames = []\n    observed = []\n    table = {('idle', 'begin'): ('collecting', 'create_batch'), ('collecting', 'operation'): ('collecting', 'stage_operation'), ('collecting', 'seal'): ('committed', 'apply'), ('sealed', 'commit'): ('committed', 'apply_once'), ('collecting', 'commit'): ('collecting', 'reject_unsealed'), ('sealed', 'operation'): ('sealed', 'reject_sealed'), ('collecting', 'abort'): ('idle', 'discard_batch'), ('committed', 'duplicate_commit'): ('committed', 'repeat_receipt'), ('sealed', 'validation_failed'): ('idle', 'reject_discard'), ('committed', 'receipt_consumed'): ('idle', 'release_receipt')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'create_batch':\n            r['staged']=[]; r['sealed']=False\n        elif action == 'stage_operation':\n            r['staged'].extend(payload)\n        elif action == 'freeze_batch':\n            r['sealed']=True\n        elif action == 'apply_once':\n            r['application'].extend(r['staged']); r['staged']=[]\n        elif action == 'reject_unsealed':\n            frames.append(['UNSEALED',seed])\n        elif action == 'reject_sealed':\n            frames.append(['SEALED',seed])\n        elif action == 'discard_batch':\n            r['staged']=[]\n        elif action == 'repeat_receipt':\n            frames.append(['COMMITTED',r['receipt']])\n        elif action == 'reject_discard':\n            r['staged']=[]; frames.append(['INVALID',seed])\n        elif action == 'release_receipt':\n            r['receipt']=None\n        elif action == 'apply':\n            r['application'].extend(r['staged'])\n        elif action == 'apply_operation':\n            r['application'].extend(payload)\n        elif action == 'replace_operations':\n            r['staged']=payload[:]\n        elif action == 'allow_append':\n            r['sealed']=False\n        elif action == 'apply_reversed':\n            r['application'].extend(reversed(r['staged'])); r['staged']=[]\n        elif action == 'discard':\n            r['staged']=[]\n        elif action == 'discard_receipt':\n            r['receipt']=None\n        elif action == 'clear_application':\n            r['application']=[]\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: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [1, 2, 3, 1, 2, 3], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [1, 2, 3], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [1, 2, 3], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 1]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [1, 2, 3], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 1]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': 1, 'valid': True}, 'frames': [['COMMITTED', 1]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 1]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 1]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 1]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [2, 3, 4, 5, 2, 3, 4, 5], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 2]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 2]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': 2, 'valid': True}, 'frames': [['COMMITTED', 2]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}, {'phase': 'collecting', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 3]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 3]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': 3, 'valid': True}, 'frames': [['COMMITTED', 3]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation', 'seal'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}, {'phase': 'collecting', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}, {'phase': 'sealed', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort', 'begin'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 4]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 4]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': 4, 'valid': True}, 'frames': [['COMMITTED', 4]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation', 'seal', 'commit'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'collecting', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'sealed', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort', 'begin', 'seal'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 5]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 5]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': 5, 'valid': True}, 'frames': [['COMMITTED', 5]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation', 'seal', 'commit', 'receipt_consumed'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'collecting', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'sealed', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort', 'begin', 'seal', 'operation'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None], ['SEALED', 5]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [5, 6, 7, 8, 9, 10, 11]]]}])]}\nfor label, phase, events, expected in cases[N]:\n    check(label, solve(phase, events, N), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"1d6d91f61822128dcbd54d73e0e1a299ab20b479b0f50fac79857ea32d929af1","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 = {'staged': payload[:] if phase in ('collecting','sealed') else [], 'application': [seed-1], 'sealed': phase in ('sealed','committed'), 'receipt': seed if phase=='committed' else None, 'valid': True}\n    frames = []\n    observed = []\n    table = {('idle', 'begin'): ('collecting', 'create_batch'), ('collecting', 'operation'): ('collecting', 'stage_operation'), ('collecting', 'seal'): ('sealed', 'freeze_batch'), ('sealed', 'commit'): ('committed', 'apply_once'), ('collecting', 'commit'): ('collecting', 'reject_unsealed'), ('sealed', 'operation'): ('sealed', 'reject_sealed'), ('collecting', 'abort'): ('idle', 'discard_batch'), ('committed', 'duplicate_commit'): ('committed', 'repeat_receipt'), ('sealed', 'validation_failed'): ('idle', 'reject_discard'), ('committed', 'receipt_consumed'): ('idle', 'release_receipt')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'create_batch':\n            r['staged']=[]; r['sealed']=False\n        elif action == 'stage_operation':\n            r['staged'].extend(payload)\n        elif action == 'freeze_batch':\n            r['sealed']=True\n        elif action == 'apply_once':\n            r['application'].extend(r['staged']); r['staged']=[]\n        elif action == 'reject_unsealed':\n            frames.append(['UNSEALED',seed])\n        elif action == 'reject_sealed':\n            frames.append(['SEALED',seed])\n        elif action == 'discard_batch':\n            r['staged']=[]\n        elif action == 'repeat_receipt':\n            frames.append(['COMMITTED',r['receipt']])\n        elif action == 'reject_discard':\n            r['staged']=[]; frames.append(['INVALID',seed])\n        elif action == 'release_receipt':\n            r['receipt']=None\n        elif action == 'apply':\n            r['application'].extend(r['staged'])\n        elif action == 'apply_operation':\n            r['application'].extend(payload)\n        elif action == 'replace_operations':\n            r['staged']=payload[:]\n        elif action == 'allow_append':\n            r['sealed']=False\n        elif action == 'apply_reversed':\n            r['application'].extend(reversed(r['staged'])); r['staged']=[]\n        elif action == 'discard':\n            r['staged']=[]\n        elif action == 'discard_receipt':\n            r['receipt']=None\n        elif action == 'clear_application':\n            r['application']=[]\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: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [1, 2, 3, 1, 2, 3], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [1, 2, 3], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [1, 2, 3], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 1]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [1, 2, 3], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 1]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': 1, 'valid': True}, 'frames': [['COMMITTED', 1]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 1]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 1]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 1]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [0, 1, 2, 3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [0], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [2, 3, 4, 5, 2, 3, 4, 5], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 2]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 2]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': 2, 'valid': True}, 'frames': [['COMMITTED', 2]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}, {'phase': 'collecting', 'registers': {'staged': [2, 3, 4, 5], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 2]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [1, 2, 3, 4, 5], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [1], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 3]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 3]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': 3, 'valid': True}, 'frames': [['COMMITTED', 3]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation', 'seal'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}, {'phase': 'collecting', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}, {'phase': 'sealed', 'registers': {'staged': [3, 4, 5, 6, 7], 'application': [2], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 3]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort', 'begin'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [2, 3, 4, 5, 6, 7], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [2], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 4]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 4]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': 4, 'valid': True}, 'frames': [['COMMITTED', 4]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation', 'seal', 'commit'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'collecting', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'sealed', 'registers': {'staged': [4, 5, 6, 7, 8, 9], 'application': [3], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}, {'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 4]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort', 'begin', 'seal'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [3, 4, 5, 6, 7, 8, 9], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [3], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/begin', 'idle', ['begin'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/operation', 'collecting', ['operation'], [{'phase': 'collecting', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/seal', 'collecting', ['seal'], [{'phase': 'sealed', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('sealed/commit', 'sealed', ['commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('collecting/commit', 'collecting', ['commit'], [{'phase': 'collecting', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['UNSEALED', 5]]}]), ('sealed/operation', 'sealed', ['operation'], [{'phase': 'sealed', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['SEALED', 5]]}]), ('collecting/abort', 'collecting', ['abort'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}]), ('committed/duplicate_commit', 'committed', ['duplicate_commit'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': 5, 'valid': True}, 'frames': [['COMMITTED', 5]]}]), ('sealed/validation_failed', 'sealed', ['validation_failed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}]), ('committed/receipt_consumed', 'committed', ['receipt_consumed'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}]), ('ordered trace 0', 'idle', ['begin', 'seal', 'validation_failed', 'begin', 'operation', 'seal', 'commit', 'receipt_consumed'], [{'phase': 'collecting', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'collecting', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'sealed', 'registers': {'staged': [5, 6, 7, 8, 9, 10, 11], 'application': [4], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['INVALID', 5]]}]), ('ordered trace 3', 'sealed', ['commit', 'duplicate_commit', 'receipt_consumed', 'begin', 'abort', 'begin', 'seal', 'operation'], [{'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': []}, {'phase': 'committed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'idle', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'collecting', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None]]}, {'phase': 'sealed', 'registers': {'staged': [], 'application': [4, 5, 6, 7, 8, 9, 10, 11], 'sealed': True, 'receipt': None, 'valid': True}, 'frames': [['COMMITTED', None], ['SEALED', 5]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'staged': [], 'application': [4], 'sealed': False, 'receipt': None, 'valid': True}, 'frames': [['reject', [5, 6, 7, 8, 9, 10, 11]]]}])]}\nfor label, phase, events, expected in cases[N]:\n    check(label, solve(phase, events, N), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Bounded offline control-plane abstraction with prescribed initial registers and classified events. Not a named protocol implementation or conformance test; excludes wire parsing, transport retries, physical execution, authentication, crash persistence, and timing. Related event faults share the full corrected controller and evaluation group. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-protocols-batch_commit-collecting-seal","generated_at":"2026-09-29T14:40:11.137668+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 collecting, classify seal as transition to sealed and emit freeze_batch.","root_cause":"In collecting, the seal handler runs apply and enters committed; it must instead run freeze batch and enter sealed.","sha256":"340b55ccd607eb5bd583e410bce3dd12bfb5fe57dc1ace3c57e3c0a68cf518e9","title":"Delimited batch command controller: collecting / seal · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.127,"exit_code":1,"observations":[{"actual":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"idle/begin","expected":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3,1,2,3],"valid":true}}],"check":"collecting/operation","expected":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3,1,2,3],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3],"valid":true}}],"check":"collecting/seal","expected":[{"frames":[],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[1,2,3],"valid":true}}],"passed":false},{"actual":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"check":"sealed/commit","expected":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[["UNSEALED",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3],"valid":true}}],"check":"collecting/commit","expected":[{"frames":[["UNSEALED",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3],"valid":true}}],"passed":true},{"actual":[{"frames":[["SEALED",1]],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[1,2,3],"valid":true}}],"check":"sealed/operation","expected":[{"frames":[["SEALED",1]],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[1,2,3],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"collecting/abort","expected":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[["COMMITTED",1]],"phase":"committed","registers":{"application":[0],"receipt":1,"sealed":true,"staged":[],"valid":true}}],"check":"committed/duplicate_commit","expected":[{"frames":[["COMMITTED",1]],"phase":"committed","registers":{"application":[0],"receipt":1,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"check":"sealed/validation_failed","expected":[{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"check":"committed/receipt_consumed","expected":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}},{"frames":[],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}},{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}},{"frames":[["INVALID",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}},{"frames":[],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["INVALID",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":false},{"actual":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"idle","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"collecting","registers":{"application":[0,1,2,3],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"idle","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"collecting","registers":{"application":[0,1,2,3],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/begin\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/operation\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3, 1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3, 1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/seal\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": false}, {\"check\": \"sealed/commit\", \"actual\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/commit\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"UNSEALED\", 1]]}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"UNSEALED\", 1]]}], \"passed\": true}, {\"check\": \"sealed/operation\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"SEALED\", 1]]}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"SEALED\", 1]]}], \"passed\": true}, {\"check\": \"collecting/abort\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"committed/duplicate_commit\", \"actual\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": 1, \"valid\": true}, \"frames\": [[\"COMMITTED\", 1]]}], \"expected\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": 1, \"valid\": true}, \"frames\": [[\"COMMITTED\", 1]]}], \"passed\": true}, {\"check\": \"sealed/validation_failed\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"passed\": true}, {\"check\": \"committed/receipt_consumed\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"passed\": false}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}], \"expected\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.246,"exit_code":1,"observations":[{"actual":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"idle/begin","expected":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3,1,2,3],"valid":true}}],"check":"collecting/operation","expected":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3,1,2,3],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":false,"staged":[1,2,3],"valid":true}}],"check":"collecting/seal","expected":[{"frames":[],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[1,2,3],"valid":true}}],"passed":false},{"actual":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"check":"sealed/commit","expected":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[["UNSEALED",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3],"valid":true}}],"check":"collecting/commit","expected":[{"frames":[["UNSEALED",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3],"valid":true}}],"passed":true},{"actual":[{"frames":[["SEALED",1]],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[1,2,3],"valid":true}}],"check":"sealed/operation","expected":[{"frames":[["SEALED",1]],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[1,2,3],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"collecting/abort","expected":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[["COMMITTED",1]],"phase":"committed","registers":{"application":[0],"receipt":1,"sealed":true,"staged":[],"valid":true}}],"check":"committed/duplicate_commit","expected":[{"frames":[["COMMITTED",1]],"phase":"committed","registers":{"application":[0],"receipt":1,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"check":"sealed/validation_failed","expected":[{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"check":"committed/receipt_consumed","expected":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}},{"frames":[],"phase":"committed","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}},{"frames":[["reject",[1,2,3]]],"phase":"committed","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}},{"frames":[["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"committed","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}},{"frames":[],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["INVALID",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":false},{"actual":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"idle","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"collecting","registers":{"application":[0,1,2,3],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"idle","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"collecting","registers":{"application":[0,1,2,3],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/begin\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/operation\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3, 1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3, 1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/seal\", \"actual\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0, 1, 2, 3], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": false}, {\"check\": \"sealed/commit\", \"actual\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/commit\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"UNSEALED\", 1]]}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"UNSEALED\", 1]]}], \"passed\": true}, {\"check\": \"sealed/operation\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"SEALED\", 1]]}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"SEALED\", 1]]}], \"passed\": true}, {\"check\": \"collecting/abort\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"committed/duplicate_commit\", \"actual\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": 1, \"valid\": true}, \"frames\": [[\"COMMITTED\", 1]]}], \"expected\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": 1, \"valid\": true}, \"frames\": [[\"COMMITTED\", 1]]}], \"passed\": true}, {\"check\": \"sealed/validation_failed\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"passed\": true}, {\"check\": \"committed/receipt_consumed\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"reject\", [1, 2, 3]]]}, {\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"passed\": false}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}], \"expected\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.114,"exit_code":0,"observations":[{"actual":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"idle/begin","expected":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3,1,2,3],"valid":true}}],"check":"collecting/operation","expected":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3,1,2,3],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[1,2,3],"valid":true}}],"check":"collecting/seal","expected":[{"frames":[],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[1,2,3],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"check":"sealed/commit","expected":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[["UNSEALED",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3],"valid":true}}],"check":"collecting/commit","expected":[{"frames":[["UNSEALED",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[1,2,3],"valid":true}}],"passed":true},{"actual":[{"frames":[["SEALED",1]],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[1,2,3],"valid":true}}],"check":"sealed/operation","expected":[{"frames":[["SEALED",1]],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[1,2,3],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"collecting/abort","expected":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[["COMMITTED",1]],"phase":"committed","registers":{"application":[0],"receipt":1,"sealed":true,"staged":[],"valid":true}}],"check":"committed/duplicate_commit","expected":[{"frames":[["COMMITTED",1]],"phase":"committed","registers":{"application":[0],"receipt":1,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"check":"sealed/validation_failed","expected":[{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"check":"committed/receipt_consumed","expected":[{"frames":[],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}},{"frames":[],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["INVALID",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}},{"frames":[],"phase":"sealed","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["INVALID",1]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["INVALID",1]],"phase":"collecting","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true},{"actual":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"idle","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"collecting","registers":{"application":[0,1,2,3],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"committed","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"idle","registers":{"application":[0,1,2,3],"receipt":null,"sealed":true,"staged":[],"valid":true}},{"frames":[["COMMITTED",null]],"phase":"collecting","registers":{"application":[0,1,2,3],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"application":[0],"receipt":null,"sealed":false,"staged":[],"valid":true}}],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/begin\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/operation\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3, 1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3, 1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/seal\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"sealed/commit\", \"actual\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/commit\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"UNSEALED\", 1]]}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"UNSEALED\", 1]]}], \"passed\": true}, {\"check\": \"sealed/operation\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"SEALED\", 1]]}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"staged\": [1, 2, 3], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"SEALED\", 1]]}], \"passed\": true}, {\"check\": \"collecting/abort\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"committed/duplicate_commit\", \"actual\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": 1, \"valid\": true}, \"frames\": [[\"COMMITTED\", 1]]}], \"expected\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": 1, \"valid\": true}, \"frames\": [[\"COMMITTED\", 1]]}], \"passed\": true}, {\"check\": \"sealed/validation_failed\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"passed\": true}, {\"check\": \"committed/receipt_consumed\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"INVALID\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}], \"expected\": [{\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": []}, {\"phase\": \"committed\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": true, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}, {\"phase\": \"collecting\", \"registers\": {\"staged\": [], \"application\": [0, 1, 2, 3], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"COMMITTED\", null]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"staged\": [], \"application\": [0], \"sealed\": false, \"receipt\": null, \"valid\": true}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}