{"abstract":"While declared, event page_begin produces declared/ignore instead of page/create_page.","category":"Protocols","checks":14,"contract":"For the stipulated Print-spool job transfer 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-spool_transfer","failed_approach":"The partial repair chooses page/append_previous, which still violates this phase-specific event contract.","family":"s3-protocols-spool_transfer-declared-page_begin","id":"FA-19396","implementations":{"attempt":{"sha256":"c036dce8a93f4cce392f6f61777677b98edaebb80f1f91a22b4c986c6973d2b4","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 = {'pages': [[seed-1]], 'current': payload[:], 'queued': phase=='queued', 'spool_owned': phase not in ('printing','done'), 'engine_owned': phase in ('printing','held'), 'reported': None}\n    frames = []\n    observed = []\n    table = {('idle', 'declare_job'): ('declared', 'reserve_spool'), ('declared', 'page_begin'): ('page', 'append_previous'), ('page', 'page_end'): ('declared', 'seal_page'), ('declared', 'job_end'): ('queued', 'enqueue_job'), ('page', 'job_end'): ('page', 'reject_unsealed'), ('queued', 'engine_accept'): ('printing', 'transfer_ownership'), ('printing', 'completed'): ('done', 'report_success'), ('printing', 'paper_fault'): ('held', 'report_intervention'), ('held', 'operator_resume'): ('printing', 'resume_engine'), ('queued', 'cancel_job'): ('cancelled', 'dequeue_delete')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'reserve_spool':\n            r['spool_owned']=True; frames.append(['JOB_RESERVED',seed])\n        elif action == 'create_page':\n            r['current']=[]\n        elif action == 'seal_page':\n            r['pages'].append(r['current'][:]); r['current']=[]\n        elif action == 'enqueue_job':\n            r['queued']=True; frames.append(['JOB_QUEUED',seed])\n        elif action == 'reject_unsealed':\n            frames.append(['UNSEALED_PAGE',seed])\n        elif action == 'transfer_ownership':\n            r['spool_owned']=False; r['engine_owned']=True; r['queued']=False\n        elif action == 'report_success':\n            r['reported']='success'\n        elif action == 'report_intervention':\n            r['reported']='intervention'\n        elif action == 'resume_engine':\n            frames.append(['RESUME_ENGINE',seed])\n        elif action == 'dequeue_delete':\n            r['queued']=False; r['pages']=[]; r['current']=[]; r['spool_owned']=False\n        elif action == 'start_engine':\n            r['engine_owned']=True\n        elif action == 'accept_pages':\n            r['pages'].append(payload)\n        elif action == 'append_previous':\n            r['current'].extend(payload)\n        elif action == 'discard_page':\n            r['current']=[]\n        elif action == 'start_partial':\n            r['engine_owned']=True; r['pages'].append(r['current'][:1])\n        elif action == 'discard_job':\n            r['pages']=[]; r['current']=[]\n        elif action == 'enqueue_again':\n            frames.append(['JOB_QUEUED',seed]); r['queued']=True\n        elif action == 'retain_sender_ownership':\n            r['engine_owned']=True; r['spool_owned']=True\n        elif action == 'report_accepted':\n            r['reported']='accepted'\n        elif action == 'delete_spool':\n            r['pages']=[]; r['current']=[]\n        elif action == 'restart_entire_job':\n            frames.append(['PRINT_FROM_PAGE',0])\n        elif action == 'delete_without_dequeue':\n            r['pages']=[]; r['current']=[]; r['spool_owned']=False\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/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 1]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[0]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[0], [1, 2, 3]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 1]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 1]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 1]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault'], [{'phase': 'declared', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 1]]}, {'phase': 'queued', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 1], ['JOB_QUEUED', 1]]}, {'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 1], ['JOB_QUEUED', 1]]}, {'phase': 'held', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 1], ['JOB_QUEUED', 1]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume'], [{'phase': 'queued', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 1]]}, {'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 1]]}, {'phase': 'held', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 1]]}, {'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 1], ['RESUME_ENGINE', 1]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 2]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[1]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[1], [2, 3, 4, 5]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 2]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 2]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 2]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume'], [{'phase': 'declared', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 2]]}, {'phase': 'queued', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2]]}, {'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2], ['RESUME_ENGINE', 2]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'queued', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 2]]}, {'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 2], ['RESUME_ENGINE', 2]]}, {'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 2], ['RESUME_ENGINE', 2]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 3]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[2]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[2], [3, 4, 5, 6, 7]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 3]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 3]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 3]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'declared', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 3]]}, {'phase': 'queued', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume'], [{'phase': 'queued', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3], ['RESUME_ENGINE', 3], ['RESUME_ENGINE', 3]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 4]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[3]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[3], [4, 5, 6, 7, 8, 9]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 4]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 4]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 4]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume'], [{'phase': 'declared', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 4]]}, {'phase': 'queued', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4], ['RESUME_ENGINE', 4], ['RESUME_ENGINE', 4]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'queued', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4], ['RESUME_ENGINE', 4]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 5]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[4]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[4], [5, 6, 7, 8, 9, 10, 11]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 5]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 5]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 5]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'declared', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 5]]}, {'phase': 'queued', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume'], [{'phase': 'queued', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, '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":"daab692ac787501bd632c388e1acb1e943ed197d1ddbf5e1c94801712c3aa362","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 = {'pages': [[seed-1]], 'current': payload[:], 'queued': phase=='queued', 'spool_owned': phase not in ('printing','done'), 'engine_owned': phase in ('printing','held'), 'reported': None}\n    frames = []\n    observed = []\n    table = {('idle', 'declare_job'): ('declared', 'reserve_spool'), ('declared', 'page_begin'): ('declared', 'ignore'), ('page', 'page_end'): ('declared', 'seal_page'), ('declared', 'job_end'): ('queued', 'enqueue_job'), ('page', 'job_end'): ('page', 'reject_unsealed'), ('queued', 'engine_accept'): ('printing', 'transfer_ownership'), ('printing', 'completed'): ('done', 'report_success'), ('printing', 'paper_fault'): ('held', 'report_intervention'), ('held', 'operator_resume'): ('printing', 'resume_engine'), ('queued', 'cancel_job'): ('cancelled', 'dequeue_delete')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'reserve_spool':\n            r['spool_owned']=True; frames.append(['JOB_RESERVED',seed])\n        elif action == 'create_page':\n            r['current']=[]\n        elif action == 'seal_page':\n            r['pages'].append(r['current'][:]); r['current']=[]\n        elif action == 'enqueue_job':\n            r['queued']=True; frames.append(['JOB_QUEUED',seed])\n        elif action == 'reject_unsealed':\n            frames.append(['UNSEALED_PAGE',seed])\n        elif action == 'transfer_ownership':\n            r['spool_owned']=False; r['engine_owned']=True; r['queued']=False\n        elif action == 'report_success':\n            r['reported']='success'\n        elif action == 'report_intervention':\n            r['reported']='intervention'\n        elif action == 'resume_engine':\n            frames.append(['RESUME_ENGINE',seed])\n        elif action == 'dequeue_delete':\n            r['queued']=False; r['pages']=[]; r['current']=[]; r['spool_owned']=False\n        elif action == 'start_engine':\n            r['engine_owned']=True\n        elif action == 'accept_pages':\n            r['pages'].append(payload)\n        elif action == 'append_previous':\n            r['current'].extend(payload)\n        elif action == 'discard_page':\n            r['current']=[]\n        elif action == 'start_partial':\n            r['engine_owned']=True; r['pages'].append(r['current'][:1])\n        elif action == 'discard_job':\n            r['pages']=[]; r['current']=[]\n        elif action == 'enqueue_again':\n            frames.append(['JOB_QUEUED',seed]); r['queued']=True\n        elif action == 'retain_sender_ownership':\n            r['engine_owned']=True; r['spool_owned']=True\n        elif action == 'report_accepted':\n            r['reported']='accepted'\n        elif action == 'delete_spool':\n            r['pages']=[]; r['current']=[]\n        elif action == 'restart_entire_job':\n            frames.append(['PRINT_FROM_PAGE',0])\n        elif action == 'delete_without_dequeue':\n            r['pages']=[]; r['current']=[]; r['spool_owned']=False\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/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 1]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[0]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[0], [1, 2, 3]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 1]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 1]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 1]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault'], [{'phase': 'declared', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 1]]}, {'phase': 'queued', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 1], ['JOB_QUEUED', 1]]}, {'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 1], ['JOB_QUEUED', 1]]}, {'phase': 'held', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 1], ['JOB_QUEUED', 1]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume'], [{'phase': 'queued', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 1]]}, {'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 1]]}, {'phase': 'held', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 1]]}, {'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 1], ['RESUME_ENGINE', 1]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 2]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[1]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[1], [2, 3, 4, 5]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 2]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 2]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 2]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume'], [{'phase': 'declared', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 2]]}, {'phase': 'queued', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2]]}, {'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2], ['RESUME_ENGINE', 2]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'queued', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 2]]}, {'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 2], ['RESUME_ENGINE', 2]]}, {'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 2], ['RESUME_ENGINE', 2]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 3]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[2]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[2], [3, 4, 5, 6, 7]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 3]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 3]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 3]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'declared', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 3]]}, {'phase': 'queued', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume'], [{'phase': 'queued', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3], ['RESUME_ENGINE', 3], ['RESUME_ENGINE', 3]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 4]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[3]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[3], [4, 5, 6, 7, 8, 9]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 4]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 4]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 4]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume'], [{'phase': 'declared', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 4]]}, {'phase': 'queued', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4], ['RESUME_ENGINE', 4], ['RESUME_ENGINE', 4]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'queued', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4], ['RESUME_ENGINE', 4]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 5]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[4]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[4], [5, 6, 7, 8, 9, 10, 11]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 5]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 5]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 5]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'declared', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 5]]}, {'phase': 'queued', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume'], [{'phase': 'queued', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, '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":"a29196d88f0679b88cbd7a7dcd47e272b478f89be266be1f0b3d11f1388cac65","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 = {'pages': [[seed-1]], 'current': payload[:], 'queued': phase=='queued', 'spool_owned': phase not in ('printing','done'), 'engine_owned': phase in ('printing','held'), 'reported': None}\n    frames = []\n    observed = []\n    table = {('idle', 'declare_job'): ('declared', 'reserve_spool'), ('declared', 'page_begin'): ('page', 'create_page'), ('page', 'page_end'): ('declared', 'seal_page'), ('declared', 'job_end'): ('queued', 'enqueue_job'), ('page', 'job_end'): ('page', 'reject_unsealed'), ('queued', 'engine_accept'): ('printing', 'transfer_ownership'), ('printing', 'completed'): ('done', 'report_success'), ('printing', 'paper_fault'): ('held', 'report_intervention'), ('held', 'operator_resume'): ('printing', 'resume_engine'), ('queued', 'cancel_job'): ('cancelled', 'dequeue_delete')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'reserve_spool':\n            r['spool_owned']=True; frames.append(['JOB_RESERVED',seed])\n        elif action == 'create_page':\n            r['current']=[]\n        elif action == 'seal_page':\n            r['pages'].append(r['current'][:]); r['current']=[]\n        elif action == 'enqueue_job':\n            r['queued']=True; frames.append(['JOB_QUEUED',seed])\n        elif action == 'reject_unsealed':\n            frames.append(['UNSEALED_PAGE',seed])\n        elif action == 'transfer_ownership':\n            r['spool_owned']=False; r['engine_owned']=True; r['queued']=False\n        elif action == 'report_success':\n            r['reported']='success'\n        elif action == 'report_intervention':\n            r['reported']='intervention'\n        elif action == 'resume_engine':\n            frames.append(['RESUME_ENGINE',seed])\n        elif action == 'dequeue_delete':\n            r['queued']=False; r['pages']=[]; r['current']=[]; r['spool_owned']=False\n        elif action == 'start_engine':\n            r['engine_owned']=True\n        elif action == 'accept_pages':\n            r['pages'].append(payload)\n        elif action == 'append_previous':\n            r['current'].extend(payload)\n        elif action == 'discard_page':\n            r['current']=[]\n        elif action == 'start_partial':\n            r['engine_owned']=True; r['pages'].append(r['current'][:1])\n        elif action == 'discard_job':\n            r['pages']=[]; r['current']=[]\n        elif action == 'enqueue_again':\n            frames.append(['JOB_QUEUED',seed]); r['queued']=True\n        elif action == 'retain_sender_ownership':\n            r['engine_owned']=True; r['spool_owned']=True\n        elif action == 'report_accepted':\n            r['reported']='accepted'\n        elif action == 'delete_spool':\n            r['pages']=[]; r['current']=[]\n        elif action == 'restart_entire_job':\n            frames.append(['PRINT_FROM_PAGE',0])\n        elif action == 'delete_without_dequeue':\n            r['pages']=[]; r['current']=[]; r['spool_owned']=False\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/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 1]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[0]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[0], [1, 2, 3]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 1]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 1]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 1]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault'], [{'phase': 'declared', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 1]]}, {'phase': 'queued', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 1], ['JOB_QUEUED', 1]]}, {'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 1], ['JOB_QUEUED', 1]]}, {'phase': 'held', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 1], ['JOB_QUEUED', 1]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume'], [{'phase': 'queued', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 1]]}, {'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 1]]}, {'phase': 'held', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 1]]}, {'phase': 'printing', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 1], ['RESUME_ENGINE', 1]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[0]], 'current': [1, 2, 3], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 2]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[1]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[1], [2, 3, 4, 5]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 2]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 2]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 2]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume'], [{'phase': 'declared', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 2]]}, {'phase': 'queued', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2]]}, {'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 2], ['JOB_QUEUED', 2], ['RESUME_ENGINE', 2]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'queued', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 2]]}, {'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 2]]}, {'phase': 'printing', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 2], ['RESUME_ENGINE', 2]]}, {'phase': 'held', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 2], ['RESUME_ENGINE', 2]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[1]], 'current': [2, 3, 4, 5], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 3]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[2]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[2], [3, 4, 5, 6, 7]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 3]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 3]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 3]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'declared', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 3]]}, {'phase': 'queued', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 3], ['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume'], [{'phase': 'queued', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}, {'phase': 'held', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3], ['RESUME_ENGINE', 3]]}, {'phase': 'printing', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 3], ['RESUME_ENGINE', 3], ['RESUME_ENGINE', 3]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[2]], 'current': [3, 4, 5, 6, 7], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 4]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[3]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[3], [4, 5, 6, 7, 8, 9]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 4]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 4]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 4]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume'], [{'phase': 'declared', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 4]]}, {'phase': 'queued', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 4], ['JOB_QUEUED', 4], ['RESUME_ENGINE', 4], ['RESUME_ENGINE', 4]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'queued', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'printing', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4], ['RESUME_ENGINE', 4]]}, {'phase': 'held', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 4], ['RESUME_ENGINE', 4], ['RESUME_ENGINE', 4]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[3]], 'current': [4, 5, 6, 7, 8, 9], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/declare_job', 'idle', ['declare_job'], [{'phase': 'declared', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 5]]}]), ('declared/page_begin', 'declared', ['page_begin'], [{'phase': 'page', 'registers': {'pages': [[4]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('page/page_end', 'page', ['page_end'], [{'phase': 'declared', 'registers': {'pages': [[4], [5, 6, 7, 8, 9, 10, 11]], 'current': [], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('declared/job_end', 'declared', ['job_end'], [{'phase': 'queued', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 5]]}]), ('page/job_end', 'page', ['job_end'], [{'phase': 'page', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['UNSEALED_PAGE', 5]]}]), ('queued/engine_accept', 'queued', ['engine_accept'], [{'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': []}]), ('printing/completed', 'printing', ['completed'], [{'phase': 'done', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'success'}, 'frames': []}]), ('printing/paper_fault', 'printing', ['paper_fault'], [{'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': []}]), ('held/operator_resume', 'held', ['operator_resume'], [{'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': True, 'reported': None}, 'frames': [['RESUME_ENGINE', 5]]}]), ('queued/cancel_job', 'queued', ['cancel_job'], [{'phase': 'cancelled', 'registers': {'pages': [], 'current': [], 'queued': False, 'spool_owned': False, 'engine_owned': False, 'reported': None}, 'frames': []}]), ('ordered trace 0', 'idle', ['declare_job', 'job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume', 'paper_fault'], [{'phase': 'declared', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 5]]}, {'phase': 'queued', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_RESERVED', 5], ['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}]), ('ordered trace 3', 'declared', ['job_end', 'engine_accept', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume', 'paper_fault', 'operator_resume'], [{'phase': 'queued', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': True, 'spool_owned': True, 'engine_owned': False, 'reported': None}, 'frames': [['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': None}, 'frames': [['JOB_QUEUED', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'held', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}, {'phase': 'printing', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': False, 'engine_owned': True, 'reported': 'intervention'}, 'frames': [['JOB_QUEUED', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5], ['RESUME_ENGINE', 5]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'pages': [[4]], 'current': [5, 6, 7, 8, 9, 10, 11], 'queued': False, 'spool_owned': True, 'engine_owned': False, 'reported': None}, '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-spool_transfer-declared-page_begin","generated_at":"2026-09-29T14:40:07.579162+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 declared, classify page_begin as transition to page and emit create_page.","root_cause":"In declared, the page begin handler runs ignore and enters declared; it must instead run create page and enter page.","sha256":"c381c26d8905ea31221ef46afcd9bdac075357a529d342926ebce306d77251e7","title":"Print-spool job transfer controller: declared / page begin · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":50.329,"exit_code":1,"observations":[{"actual":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"idle/declare_job","expected":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[],"phase":"page","registers":{"current":[1,2,3,1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"declared/page_begin","expected":[{"frames":[],"phase":"page","registers":{"current":[],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":false},{"actual":[{"frames":[],"phase":"declared","registers":{"current":[],"engine_owned":false,"pages":[[0],[1,2,3]],"queued":false,"reported":null,"spool_owned":true}}],"check":"page/page_end","expected":[{"frames":[],"phase":"declared","registers":{"current":[],"engine_owned":false,"pages":[[0],[1,2,3]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}}],"check":"declared/job_end","expected":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[["UNSEALED_PAGE",1]],"phase":"page","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"page/job_end","expected":[{"frames":[["UNSEALED_PAGE",1]],"phase":"page","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}}],"check":"queued/engine_accept","expected":[{"frames":[],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"success","spool_owned":false}}],"check":"printing/completed","expected":[{"frames":[],"phase":"done","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"success","spool_owned":false}}],"passed":true},{"actual":[{"frames":[],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"check":"printing/paper_fault","expected":[{"frames":[],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"passed":true},{"actual":[{"frames":[["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"held/operator_resume","expected":[{"frames":[["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"current":[],"engine_owned":false,"pages":[],"queued":false,"reported":null,"spool_owned":false}}],"check":"queued/cancel_job","expected":[{"frames":[],"phase":"cancelled","registers":{"current":[],"engine_owned":false,"pages":[],"queued":false,"reported":null,"spool_owned":false}}],"passed":true},{"actual":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"check":"ordered trace 0","expected":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"passed":true},{"actual":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}},{"frames":[["JOB_QUEUED",1],["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"check":"ordered trace 3","expected":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}},{"frames":[["JOB_QUEUED",1],["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/declare_job\", \"actual\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}], \"expected\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}], \"passed\": true}, {\"check\": \"declared/page_begin\", \"actual\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3, 1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"passed\": false}, {\"check\": \"page/page_end\", \"actual\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0], [1, 2, 3]], \"current\": [], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0], [1, 2, 3]], \"current\": [], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"passed\": true}, {\"check\": \"declared/job_end\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}], \"passed\": true}, {\"check\": \"page/job_end\", \"actual\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"UNSEALED_PAGE\", 1]]}], \"expected\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"UNSEALED_PAGE\", 1]]}], \"passed\": true}, {\"check\": \"queued/engine_accept\", \"actual\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": []}], \"passed\": true}, {\"check\": \"printing/completed\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"success\"}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"success\"}, \"frames\": []}], \"passed\": true}, {\"check\": \"printing/paper_fault\", \"actual\": [{\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": []}], \"expected\": [{\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": []}], \"passed\": true}, {\"check\": \"held/operator_resume\", \"actual\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"RESUME_ENGINE\", 1]]}], \"expected\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"RESUME_ENGINE\", 1]]}], \"passed\": true}, {\"check\": \"queued/cancel_job\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"pages\": [], \"current\": [], \"queued\": false, \"spool_owned\": false, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"pages\": [], \"current\": [], \"queued\": false, \"spool_owned\": false, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}, {\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}], \"expected\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}, {\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1], [\"RESUME_ENGINE\", 1]]}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1], [\"RESUME_ENGINE\", 1]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":51.824,"exit_code":1,"observations":[{"actual":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"idle/declare_job","expected":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"declared/page_begin","expected":[{"frames":[],"phase":"page","registers":{"current":[],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":false},{"actual":[{"frames":[],"phase":"declared","registers":{"current":[],"engine_owned":false,"pages":[[0],[1,2,3]],"queued":false,"reported":null,"spool_owned":true}}],"check":"page/page_end","expected":[{"frames":[],"phase":"declared","registers":{"current":[],"engine_owned":false,"pages":[[0],[1,2,3]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}}],"check":"declared/job_end","expected":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[["UNSEALED_PAGE",1]],"phase":"page","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"page/job_end","expected":[{"frames":[["UNSEALED_PAGE",1]],"phase":"page","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}}],"check":"queued/engine_accept","expected":[{"frames":[],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"success","spool_owned":false}}],"check":"printing/completed","expected":[{"frames":[],"phase":"done","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"success","spool_owned":false}}],"passed":true},{"actual":[{"frames":[],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"check":"printing/paper_fault","expected":[{"frames":[],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"passed":true},{"actual":[{"frames":[["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"held/operator_resume","expected":[{"frames":[["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"current":[],"engine_owned":false,"pages":[],"queued":false,"reported":null,"spool_owned":false}}],"check":"queued/cancel_job","expected":[{"frames":[],"phase":"cancelled","registers":{"current":[],"engine_owned":false,"pages":[],"queued":false,"reported":null,"spool_owned":false}}],"passed":true},{"actual":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"check":"ordered trace 0","expected":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"passed":true},{"actual":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}},{"frames":[["JOB_QUEUED",1],["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"check":"ordered trace 3","expected":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}},{"frames":[["JOB_QUEUED",1],["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/declare_job\", \"actual\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}], \"expected\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}], \"passed\": true}, {\"check\": \"declared/page_begin\", \"actual\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"passed\": false}, {\"check\": \"page/page_end\", \"actual\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0], [1, 2, 3]], \"current\": [], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0], [1, 2, 3]], \"current\": [], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"passed\": true}, {\"check\": \"declared/job_end\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}], \"passed\": true}, {\"check\": \"page/job_end\", \"actual\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"UNSEALED_PAGE\", 1]]}], \"expected\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"UNSEALED_PAGE\", 1]]}], \"passed\": true}, {\"check\": \"queued/engine_accept\", \"actual\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": []}], \"passed\": true}, {\"check\": \"printing/completed\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"success\"}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"success\"}, \"frames\": []}], \"passed\": true}, {\"check\": \"printing/paper_fault\", \"actual\": [{\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": []}], \"expected\": [{\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": []}], \"passed\": true}, {\"check\": \"held/operator_resume\", \"actual\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"RESUME_ENGINE\", 1]]}], \"expected\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"RESUME_ENGINE\", 1]]}], \"passed\": true}, {\"check\": \"queued/cancel_job\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"pages\": [], \"current\": [], \"queued\": false, \"spool_owned\": false, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"pages\": [], \"current\": [], \"queued\": false, \"spool_owned\": false, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}, {\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}], \"expected\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}, {\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1], [\"RESUME_ENGINE\", 1]]}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1], [\"RESUME_ENGINE\", 1]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":54.264,"exit_code":0,"observations":[{"actual":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"idle/declare_job","expected":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[],"phase":"page","registers":{"current":[],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"declared/page_begin","expected":[{"frames":[],"phase":"page","registers":{"current":[],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[],"phase":"declared","registers":{"current":[],"engine_owned":false,"pages":[[0],[1,2,3]],"queued":false,"reported":null,"spool_owned":true}}],"check":"page/page_end","expected":[{"frames":[],"phase":"declared","registers":{"current":[],"engine_owned":false,"pages":[[0],[1,2,3]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}}],"check":"declared/job_end","expected":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[["UNSEALED_PAGE",1]],"phase":"page","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"page/job_end","expected":[{"frames":[["UNSEALED_PAGE",1]],"phase":"page","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}}],"check":"queued/engine_accept","expected":[{"frames":[],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"success","spool_owned":false}}],"check":"printing/completed","expected":[{"frames":[],"phase":"done","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"success","spool_owned":false}}],"passed":true},{"actual":[{"frames":[],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"check":"printing/paper_fault","expected":[{"frames":[],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"passed":true},{"actual":[{"frames":[["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"held/operator_resume","expected":[{"frames":[["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"current":[],"engine_owned":false,"pages":[],"queued":false,"reported":null,"spool_owned":false}}],"check":"queued/cancel_job","expected":[{"frames":[],"phase":"cancelled","registers":{"current":[],"engine_owned":false,"pages":[],"queued":false,"reported":null,"spool_owned":false}}],"passed":true},{"actual":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"check":"ordered trace 0","expected":[{"frames":[["JOB_RESERVED",1]],"phase":"declared","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_RESERVED",1],["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"passed":true},{"actual":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}},{"frames":[["JOB_QUEUED",1],["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"check":"ordered trace 3","expected":[{"frames":[["JOB_QUEUED",1]],"phase":"queued","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":true,"reported":null,"spool_owned":true}},{"frames":[["JOB_QUEUED",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":null,"spool_owned":false}},{"frames":[["JOB_QUEUED",1]],"phase":"held","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}},{"frames":[["JOB_QUEUED",1],["RESUME_ENGINE",1]],"phase":"printing","registers":{"current":[1,2,3],"engine_owned":true,"pages":[[0]],"queued":false,"reported":"intervention","spool_owned":false}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"current":[1,2,3],"engine_owned":false,"pages":[[0]],"queued":false,"reported":null,"spool_owned":true}}],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/declare_job\", \"actual\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}], \"expected\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}], \"passed\": true}, {\"check\": \"declared/page_begin\", \"actual\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"passed\": true}, {\"check\": \"page/page_end\", \"actual\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0], [1, 2, 3]], \"current\": [], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0], [1, 2, 3]], \"current\": [], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"passed\": true}, {\"check\": \"declared/job_end\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}], \"passed\": true}, {\"check\": \"page/job_end\", \"actual\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"UNSEALED_PAGE\", 1]]}], \"expected\": [{\"phase\": \"page\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"UNSEALED_PAGE\", 1]]}], \"passed\": true}, {\"check\": \"queued/engine_accept\", \"actual\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": []}], \"passed\": true}, {\"check\": \"printing/completed\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"success\"}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"success\"}, \"frames\": []}], \"passed\": true}, {\"check\": \"printing/paper_fault\", \"actual\": [{\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": []}], \"expected\": [{\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": []}], \"passed\": true}, {\"check\": \"held/operator_resume\", \"actual\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"RESUME_ENGINE\", 1]]}], \"expected\": [{\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"RESUME_ENGINE\", 1]]}], \"passed\": true}, {\"check\": \"queued/cancel_job\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"pages\": [], \"current\": [], \"queued\": false, \"spool_owned\": false, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"pages\": [], \"current\": [], \"queued\": false, \"spool_owned\": false, \"engine_owned\": false, \"reported\": null}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}, {\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}], \"expected\": [{\"phase\": \"declared\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1]]}, {\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_RESERVED\", 1], [\"JOB_QUEUED\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1], [\"RESUME_ENGINE\", 1]]}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": true, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": null}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"held\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1]]}, {\"phase\": \"printing\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": false, \"engine_owned\": true, \"reported\": \"intervention\"}, \"frames\": [[\"JOB_QUEUED\", 1], [\"RESUME_ENGINE\", 1]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"pages\": [[0]], \"current\": [1, 2, 3], \"queued\": false, \"spool_owned\": true, \"engine_owned\": false, \"reported\": null}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}