{"abstract":"A rejected value permanently loses upstream demand; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan a predicate-filter observer stage. The predicate index counts every upstream value, including rejected values. Predicate errors become error notifications and never value notifications. Falsey input values remain valid data. Rejection does not consume downstream credit; an active filtered stage replaces one upstream request when a value is rejected. Predicate evaluation stops after termination. A stipulated pre-predicate type guard records [valid,payload]; only valid entries invoke user code, and falsey valid payloads remain eligible. Evaluate predicate callbacks left-to-right through the first false result inclusive, then stop; return evaluated callback indices. Inputs are finite state snapshots, including transitional and stale states; output fields are the exact independent actions/metadata defined by the corrected expression table. Numeric fixture capacities and counts vary with N.\nField definitions, each independently computed from the input snapshot: predicate_index = [r[1] for r in s['guarded_inputs'] if r[0]]; input_index = s['input_index']+int(s['has_value']); output_index = s['output_index']+int(s['has_value'] and s['accepted'] and s['predicate_error'] is None and not s['closed']); value = [s['value']] if s['has_value'] and s['accepted'] and s['predicate_error'] is None and not s['closed'] else []; error = s['predicate_error'] if s['has_value'] and not s['closed'] else None; credit = max(0,s['credit']-int(s['has_value'] and s['accepted'] and s['predicate_error'] is None)); replace_request = s['has_value'] and not s['accepted'] and s['predicate_error'] is None and not s['closed'] and s['upstream_active']; evaluate = list(range(next((i+1 for i,result in enumerate(s['predicate_chain']) if not result),len(s['predicate_chain'])))); terminal = s['closed'] or (s['has_value'] and s['predicate_error'] is not None); predicate_result = None if s['predicate_error'] is not None else s['accepted']","contract_signature":"s","evaluation_group":"s3-listener-filter-stage","failed_approach":"The partial repair uses s['has_value'] and not s['accepted']; a retained regression distinguishes it from the full transition.","family":"s3-listener-filter-stage-replace_request","id":"FA-42371","implementations":{"attempt":{"sha256":"8a442ac8bc2af0589a5ea19daffbe7ae0fc98defe0af7a702f5c0b3fcba7d87c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'predicate_index': [r[1] for r in s['guarded_inputs'] if r[0]],\n        'input_index': s['input_index']+int(s['has_value']),\n        'output_index': s['output_index']+int(s['has_value'] and s['accepted'] and s['predicate_error'] is None and not s['closed']),\n        'value': [s['value']] if s['has_value'] and s['accepted'] and s['predicate_error'] is None and not s['closed'] else [],\n        'error': s['predicate_error'] if s['has_value'] and not s['closed'] else None,\n        'credit': max(0,s['credit']-int(s['has_value'] and s['accepted'] and s['predicate_error'] is None)),\n        'replace_request': s['has_value'] and not s['accepted'],\n        'evaluate': list(range(next((i+1 for i,result in enumerate(s['predicate_chain']) if not result),len(s['predicate_chain'])))),\n        'terminal': s['closed'] or (s['has_value'] and s['predicate_error'] is not None),\n        'predicate_result': None if s['predicate_error'] is not None else s['accepted'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 2, 'output_index': 3, 'credit': 4, 'closed': False, 'has_value': True, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [True, False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 3, 'output_index': 3, 'value': [], 'error': 'bad', 'credit': 4, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 0, 'accepted': False, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 0, 'credit': 1, 'closed': False, 'has_value': False, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 1, 'replace_request': False, 'evaluate': [0, 1], 'terminal': False, 'predicate_result': None}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': True, 'has_value': True, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, False, True]}, {'predicate_index': [], 'input_index': 1, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': False}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 2, 'output_index': 0, 'credit': 4, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 3, 'output_index': 0, 'value': [], 'error': None, 'credit': 4, 'replace_request': True, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 2, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, False, True]}, {'predicate_index': [], 'input_index': 3, 'output_index': 0, 'value': [], 'error': 'bad', 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 0, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 3, 'credit': 4, 'closed': True, 'has_value': False, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [], 'predicate_chain': [True, False, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 3, 'value': [], 'error': None, 'credit': 4, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': False}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 2, 'output_index': 3, 'credit': 4, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 3, 'output_index': 3, 'value': [], 'error': None, 'credit': 4, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None})], 2: [({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 0, 'credit': 1, 'closed': False, 'has_value': True, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [True, False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 1, 'output_index': 0, 'value': [], 'error': 'bad', 'credit': 1, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 0, 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 6, 'credit': 8, 'closed': False, 'has_value': False, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': [True, False, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 6, 'value': [], 'error': None, 'credit': 8, 'replace_request': False, 'evaluate': [0, 1], 'terminal': False, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 4, 'output_index': 0, 'credit': 0, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 5, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': False}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 6, 'credit': 0, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 1, 'output_index': 6, 'value': [], 'error': None, 'credit': 0, 'replace_request': True, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': None, 'accepted': True, 'predicate_error': 'bad', 'input_index': 4, 'output_index': 6, 'credit': 0, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 5, 'output_index': 6, 'value': [], 'error': 'bad', 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': True, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 4, 'output_index': 6, 'credit': 8, 'closed': True, 'has_value': False, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 4, 'output_index': 6, 'value': [], 'error': None, 'credit': 8, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': False}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 4, 'output_index': 6, 'credit': 8, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 5, 'output_index': 6, 'value': [], 'error': None, 'credit': 8, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None})], 3: [({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 9, 'credit': 12, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [True, False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 1, 'output_index': 9, 'value': [], 'error': 'bad', 'credit': 12, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': None, 'accepted': False, 'predicate_error': 'bad', 'input_index': 6, 'output_index': 9, 'credit': 1, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 6, 'output_index': 9, 'value': [], 'error': None, 'credit': 1, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 6, 'output_index': 0, 'credit': 0, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': []}, {'predicate_index': [0, 'ok'], 'input_index': 7, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': True, 'predicate_result': False}), ({'value': 0, 'accepted': False, 'predicate_error': None, 'input_index': 6, 'output_index': 9, 'credit': 12, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': []}, {'predicate_index': [0, 'ok'], 'input_index': 7, 'output_index': 9, 'value': [], 'error': None, 'credit': 12, 'replace_request': True, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': False, 'predicate_error': 'bad', 'input_index': 6, 'output_index': 9, 'credit': 0, 'closed': True, 'has_value': False, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 6, 'output_index': 9, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': None, 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': True, 'has_value': False, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 6, 'output_index': 9, 'credit': 12, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 7, 'output_index': 9, 'value': [], 'error': None, 'credit': 12, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None})], 4: [({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 12, 'credit': 16, 'closed': False, 'has_value': True, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [True, False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 1, 'output_index': 12, 'value': [], 'error': 'bad', 'credit': 16, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 0, 'accepted': False, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 12, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 12, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': False, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 12, 'credit': 1, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 1, 'output_index': 12, 'value': [], 'error': None, 'credit': 1, 'replace_request': True, 'evaluate': [0], 'terminal': False, 'predicate_result': False}), ({'value': 0, 'accepted': False, 'predicate_error': None, 'input_index': 8, 'output_index': 12, 'credit': 1, 'closed': True, 'has_value': True, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 9, 'output_index': 12, 'value': [], 'error': None, 'credit': 1, 'replace_request': False, 'evaluate': [], 'terminal': True, 'predicate_result': False}), ({'value': 0, 'accepted': True, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0], 'terminal': False, 'predicate_result': True}), ({'value': None, 'accepted': True, 'predicate_error': None, 'input_index': 8, 'output_index': 0, 'credit': 1, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 9, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': True}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 8, 'output_index': 12, 'credit': 16, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 9, 'output_index': 12, 'value': [], 'error': None, 'credit': 16, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None})], 5: [({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 0, 'credit': 1, 'closed': False, 'has_value': True, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 1, 'output_index': 0, 'value': [], 'error': 'bad', 'credit': 1, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None}), ({'value': None, 'accepted': False, 'predicate_error': 'bad', 'input_index': 10, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 10, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0], 'terminal': False, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': 'bad', 'input_index': 10, 'output_index': 0, 'credit': 1, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 11, 'output_index': 0, 'value': [], 'error': 'bad', 'credit': 1, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 10, 'output_index': 15, 'credit': 0, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': []}, {'predicate_index': [0, 'ok'], 'input_index': 11, 'output_index': 15, 'value': [], 'error': None, 'credit': 0, 'replace_request': True, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 0, 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 0, 'credit': 20, 'closed': True, 'has_value': True, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [True, False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 1, 'output_index': 0, 'value': [], 'error': None, 'credit': 20, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 0, 'accepted': True, 'predicate_error': None, 'input_index': 10, 'output_index': 15, 'credit': 0, 'closed': False, 'has_value': True, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 11, 'output_index': 16, 'value': [0], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': False, 'predicate_result': True}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 10, 'output_index': 15, 'credit': 20, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 11, 'output_index': 15, 'value': [], 'error': None, 'credit': 20, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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":"fb3d3067fb5326d9316bdec9cc8b26037842140501d6e67d952393976c1952a4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'predicate_index': [r[1] for r in s['guarded_inputs'] if r[0]],\n        'input_index': s['input_index']+int(s['has_value']),\n        'output_index': s['output_index']+int(s['has_value'] and s['accepted'] and s['predicate_error'] is None and not s['closed']),\n        'value': [s['value']] if s['has_value'] and s['accepted'] and s['predicate_error'] is None and not s['closed'] else [],\n        'error': s['predicate_error'] if s['has_value'] and not s['closed'] else None,\n        'credit': max(0,s['credit']-int(s['has_value'] and s['accepted'] and s['predicate_error'] is None)),\n        'replace_request': False,\n        'evaluate': list(range(next((i+1 for i,result in enumerate(s['predicate_chain']) if not result),len(s['predicate_chain'])))),\n        'terminal': s['closed'] or (s['has_value'] and s['predicate_error'] is not None),\n        'predicate_result': None if s['predicate_error'] is not None else s['accepted'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 2, 'output_index': 3, 'credit': 4, 'closed': False, 'has_value': True, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [True, False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 3, 'output_index': 3, 'value': [], 'error': 'bad', 'credit': 4, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 0, 'accepted': False, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 0, 'credit': 1, 'closed': False, 'has_value': False, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 1, 'replace_request': False, 'evaluate': [0, 1], 'terminal': False, 'predicate_result': None}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': True, 'has_value': True, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, False, True]}, {'predicate_index': [], 'input_index': 1, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': False}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 2, 'output_index': 0, 'credit': 4, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 3, 'output_index': 0, 'value': [], 'error': None, 'credit': 4, 'replace_request': True, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 2, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, False, True]}, {'predicate_index': [], 'input_index': 3, 'output_index': 0, 'value': [], 'error': 'bad', 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 0, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 3, 'credit': 4, 'closed': True, 'has_value': False, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [], 'predicate_chain': [True, False, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 3, 'value': [], 'error': None, 'credit': 4, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': False}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 2, 'output_index': 3, 'credit': 4, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 3, 'output_index': 3, 'value': [], 'error': None, 'credit': 4, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None})], 2: [({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 0, 'credit': 1, 'closed': False, 'has_value': True, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [True, False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 1, 'output_index': 0, 'value': [], 'error': 'bad', 'credit': 1, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 0, 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 6, 'credit': 8, 'closed': False, 'has_value': False, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': [True, False, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 6, 'value': [], 'error': None, 'credit': 8, 'replace_request': False, 'evaluate': [0, 1], 'terminal': False, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 4, 'output_index': 0, 'credit': 0, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 5, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': False}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 6, 'credit': 0, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 1, 'output_index': 6, 'value': [], 'error': None, 'credit': 0, 'replace_request': True, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': None, 'accepted': True, 'predicate_error': 'bad', 'input_index': 4, 'output_index': 6, 'credit': 0, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 5, 'output_index': 6, 'value': [], 'error': 'bad', 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': True, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 4, 'output_index': 6, 'credit': 8, 'closed': True, 'has_value': False, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 4, 'output_index': 6, 'value': [], 'error': None, 'credit': 8, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': False}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 4, 'output_index': 6, 'credit': 8, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 5, 'output_index': 6, 'value': [], 'error': None, 'credit': 8, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None})], 3: [({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 9, 'credit': 12, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [True, False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 1, 'output_index': 9, 'value': [], 'error': 'bad', 'credit': 12, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': None, 'accepted': False, 'predicate_error': 'bad', 'input_index': 6, 'output_index': 9, 'credit': 1, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 6, 'output_index': 9, 'value': [], 'error': None, 'credit': 1, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 6, 'output_index': 0, 'credit': 0, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': []}, {'predicate_index': [0, 'ok'], 'input_index': 7, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': True, 'predicate_result': False}), ({'value': 0, 'accepted': False, 'predicate_error': None, 'input_index': 6, 'output_index': 9, 'credit': 12, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': []}, {'predicate_index': [0, 'ok'], 'input_index': 7, 'output_index': 9, 'value': [], 'error': None, 'credit': 12, 'replace_request': True, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': False, 'predicate_error': 'bad', 'input_index': 6, 'output_index': 9, 'credit': 0, 'closed': True, 'has_value': False, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 6, 'output_index': 9, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': None, 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': True, 'has_value': False, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 6, 'output_index': 9, 'credit': 12, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 7, 'output_index': 9, 'value': [], 'error': None, 'credit': 12, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None})], 4: [({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 12, 'credit': 16, 'closed': False, 'has_value': True, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [True, False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 1, 'output_index': 12, 'value': [], 'error': 'bad', 'credit': 16, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 0, 'accepted': False, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 12, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': True, 'evaluated': False, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 12, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': False, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 12, 'credit': 1, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 1, 'output_index': 12, 'value': [], 'error': None, 'credit': 1, 'replace_request': True, 'evaluate': [0], 'terminal': False, 'predicate_result': False}), ({'value': 0, 'accepted': False, 'predicate_error': None, 'input_index': 8, 'output_index': 12, 'credit': 1, 'closed': True, 'has_value': True, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 9, 'output_index': 12, 'value': [], 'error': None, 'credit': 1, 'replace_request': False, 'evaluate': [], 'terminal': True, 'predicate_result': False}), ({'value': 0, 'accepted': True, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0], 'terminal': False, 'predicate_result': True}), ({'value': None, 'accepted': True, 'predicate_error': None, 'input_index': 8, 'output_index': 0, 'credit': 1, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 9, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': True}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 8, 'output_index': 12, 'credit': 16, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 9, 'output_index': 12, 'value': [], 'error': None, 'credit': 16, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None})], 5: [({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 0, 'credit': 1, 'closed': False, 'has_value': True, 'upstream_active': False, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 1, 'output_index': 0, 'value': [], 'error': 'bad', 'credit': 1, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None}), ({'value': None, 'accepted': False, 'predicate_error': 'bad', 'input_index': 10, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 10, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0], 'terminal': False, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': 'bad', 'input_index': 10, 'output_index': 0, 'credit': 1, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 11, 'output_index': 0, 'value': [], 'error': 'bad', 'credit': 1, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 'x', 'accepted': False, 'predicate_error': None, 'input_index': 10, 'output_index': 15, 'credit': 0, 'closed': False, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': []}, {'predicate_index': [0, 'ok'], 'input_index': 11, 'output_index': 15, 'value': [], 'error': None, 'credit': 0, 'replace_request': True, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 0, 'accepted': True, 'predicate_error': 'bad', 'input_index': 0, 'output_index': 0, 'credit': 20, 'closed': True, 'has_value': True, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [[False, 'bad'], [True, 0], [True, 'ok']], 'predicate_chain': [True, False, True]}, {'predicate_index': [0, 'ok'], 'input_index': 1, 'output_index': 0, 'value': [], 'error': None, 'credit': 20, 'replace_request': False, 'evaluate': [0, 1], 'terminal': True, 'predicate_result': None}), ({'value': 0, 'accepted': True, 'predicate_error': None, 'input_index': 10, 'output_index': 15, 'credit': 0, 'closed': False, 'has_value': True, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [[False, 0]], 'predicate_chain': [True, True]}, {'predicate_index': [], 'input_index': 11, 'output_index': 16, 'value': [0], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [0, 1], 'terminal': False, 'predicate_result': True}), ({'value': None, 'accepted': False, 'predicate_error': None, 'input_index': 0, 'output_index': 0, 'credit': 0, 'closed': False, 'has_value': False, 'upstream_active': False, 'evaluated': False, 'guarded_inputs': [], 'predicate_chain': []}, {'predicate_index': [], 'input_index': 0, 'output_index': 0, 'value': [], 'error': None, 'credit': 0, 'replace_request': False, 'evaluate': [], 'terminal': False, 'predicate_result': False}), ({'value': 'x', 'accepted': True, 'predicate_error': 'bad', 'input_index': 10, 'output_index': 15, 'credit': 20, 'closed': True, 'has_value': True, 'upstream_active': True, 'evaluated': True, 'guarded_inputs': [[False, 0]], 'predicate_chain': [False, True]}, {'predicate_index': [], 'input_index': 11, 'output_index': 15, 'value': [], 'error': None, 'credit': 20, 'replace_request': False, 'evaluate': [0], 'terminal': True, 'predicate_result': None})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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":"A deterministic, bounded, single-threaded transition planner. Returned plans model state changes; they do not implement a production event framework. 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-listener-filter-stage-replace_request","generated_at":"2026-09-29T14:43:51.183016+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Observer implementations need to preserve this state while subscriptions enter, execute, and leave their lifecycle.","root_cause":"The replace_request decision in the filter-stage listener model is computed as False, losing a required lifecycle condition.","sha256":"fb05a736bf6607f2c82a4d495259aa020c290f8fdf40c7c2d6e84dbb87b862c2","title":"A rejected value permanently loses upstream demand · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":45.72,"exit_code":1,"observations":[{"actual":{"credit":4,"error":"bad","evaluate":[0,1],"input_index":3,"output_index":3,"predicate_index":[0,"ok"],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"check":"transition 0","expected":{"credit":4,"error":"bad","evaluate":[0,1],"input_index":3,"output_index":3,"predicate_index":[0,"ok"],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"passed":true},{"actual":{"credit":1,"error":null,"evaluate":[0,1],"input_index":0,"output_index":0,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":false,"value":[]},"check":"transition 1","expected":{"credit":1,"error":null,"evaluate":[0,1],"input_index":0,"output_index":0,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":false,"value":[]},"passed":true},{"actual":{"credit":0,"error":null,"evaluate":[0,1],"input_index":1,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":true,"terminal":true,"value":[]},"check":"transition 2","expected":{"credit":0,"error":null,"evaluate":[0,1],"input_index":1,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":true,"value":[]},"passed":false},{"actual":{"credit":4,"error":null,"evaluate":[],"input_index":3,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":true,"terminal":false,"value":[]},"check":"transition 3","expected":{"credit":4,"error":null,"evaluate":[],"input_index":3,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":true,"terminal":false,"value":[]},"passed":true},{"actual":{"credit":0,"error":"bad","evaluate":[0,1],"input_index":3,"output_index":0,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"check":"transition 4","expected":{"credit":0,"error":"bad","evaluate":[0,1],"input_index":3,"output_index":0,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"passed":true},{"actual":{"credit":4,"error":null,"evaluate":[0,1],"input_index":0,"output_index":3,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":true,"value":[]},"check":"transition 5","expected":{"credit":4,"error":null,"evaluate":[0,1],"input_index":0,"output_index":3,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":true,"value":[]},"passed":true},{"actual":{"credit":0,"error":null,"evaluate":[],"input_index":0,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":false,"value":[]},"check":"transition 6","expected":{"credit":0,"error":null,"evaluate":[],"input_index":0,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":false,"value":[]},"passed":true},{"actual":{"credit":4,"error":null,"evaluate":[0],"input_index":3,"output_index":3,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"check":"transition 7","expected":{"credit":4,"error":null,"evaluate":[0],"input_index":3,"output_index":3,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"predicate_index\": [0, \"ok\"], \"input_index\": 3, \"output_index\": 3, \"value\": [], \"error\": \"bad\", \"credit\": 4, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": null}, \"expected\": {\"predicate_index\": [0, \"ok\"], \"input_index\": 3, \"output_index\": 3, \"value\": [], \"error\": \"bad\", \"credit\": 4, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": null}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 1, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": false, \"predicate_result\": null}, \"expected\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 1, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": false, \"predicate_result\": null}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"predicate_index\": [], \"input_index\": 1, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 0, \"replace_request\": true, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": false}, \"expected\": {\"predicate_index\": [], \"input_index\": 1, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 0, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": false}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": true, \"evaluate\": [], \"terminal\": false, \"predicate_result\": false}, \"expected\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": true, \"evaluate\": [], \"terminal\": false, \"predicate_result\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 0, \"value\": [], \"error\": \"bad\", \"credit\": 0, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": null}, \"expected\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 0, \"value\": [], \"error\": \"bad\", \"credit\": 0, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": null}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 3, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": false}, \"expected\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 3, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 0, \"replace_request\": false, \"evaluate\": [], \"terminal\": false, \"predicate_result\": false}, \"expected\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 0, \"replace_request\": false, \"evaluate\": [], \"terminal\": false, \"predicate_result\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 3, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": false, \"evaluate\": [0], \"terminal\": true, \"predicate_result\": null}, \"expected\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 3, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": false, \"evaluate\": [0], \"terminal\": true, \"predicate_result\": null}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":55.657,"exit_code":1,"observations":[{"actual":{"credit":4,"error":"bad","evaluate":[0,1],"input_index":3,"output_index":3,"predicate_index":[0,"ok"],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"check":"transition 0","expected":{"credit":4,"error":"bad","evaluate":[0,1],"input_index":3,"output_index":3,"predicate_index":[0,"ok"],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"passed":true},{"actual":{"credit":1,"error":null,"evaluate":[0,1],"input_index":0,"output_index":0,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":false,"value":[]},"check":"transition 1","expected":{"credit":1,"error":null,"evaluate":[0,1],"input_index":0,"output_index":0,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":false,"value":[]},"passed":true},{"actual":{"credit":0,"error":null,"evaluate":[0,1],"input_index":1,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":true,"value":[]},"check":"transition 2","expected":{"credit":0,"error":null,"evaluate":[0,1],"input_index":1,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":true,"value":[]},"passed":true},{"actual":{"credit":4,"error":null,"evaluate":[],"input_index":3,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":false,"value":[]},"check":"transition 3","expected":{"credit":4,"error":null,"evaluate":[],"input_index":3,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":true,"terminal":false,"value":[]},"passed":false},{"actual":{"credit":0,"error":"bad","evaluate":[0,1],"input_index":3,"output_index":0,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"check":"transition 4","expected":{"credit":0,"error":"bad","evaluate":[0,1],"input_index":3,"output_index":0,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"passed":true},{"actual":{"credit":4,"error":null,"evaluate":[0,1],"input_index":0,"output_index":3,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":true,"value":[]},"check":"transition 5","expected":{"credit":4,"error":null,"evaluate":[0,1],"input_index":0,"output_index":3,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":true,"value":[]},"passed":true},{"actual":{"credit":0,"error":null,"evaluate":[],"input_index":0,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":false,"value":[]},"check":"transition 6","expected":{"credit":0,"error":null,"evaluate":[],"input_index":0,"output_index":0,"predicate_index":[],"predicate_result":false,"replace_request":false,"terminal":false,"value":[]},"passed":true},{"actual":{"credit":4,"error":null,"evaluate":[0],"input_index":3,"output_index":3,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"check":"transition 7","expected":{"credit":4,"error":null,"evaluate":[0],"input_index":3,"output_index":3,"predicate_index":[],"predicate_result":null,"replace_request":false,"terminal":true,"value":[]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"predicate_index\": [0, \"ok\"], \"input_index\": 3, \"output_index\": 3, \"value\": [], \"error\": \"bad\", \"credit\": 4, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": null}, \"expected\": {\"predicate_index\": [0, \"ok\"], \"input_index\": 3, \"output_index\": 3, \"value\": [], \"error\": \"bad\", \"credit\": 4, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": null}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 1, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": false, \"predicate_result\": null}, \"expected\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 1, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": false, \"predicate_result\": null}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"predicate_index\": [], \"input_index\": 1, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 0, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": false}, \"expected\": {\"predicate_index\": [], \"input_index\": 1, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 0, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": false, \"evaluate\": [], \"terminal\": false, \"predicate_result\": false}, \"expected\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": true, \"evaluate\": [], \"terminal\": false, \"predicate_result\": false}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 0, \"value\": [], \"error\": \"bad\", \"credit\": 0, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": null}, \"expected\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 0, \"value\": [], \"error\": \"bad\", \"credit\": 0, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": null}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 3, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": false}, \"expected\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 3, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": false, \"evaluate\": [0, 1], \"terminal\": true, \"predicate_result\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 0, \"replace_request\": false, \"evaluate\": [], \"terminal\": false, \"predicate_result\": false}, \"expected\": {\"predicate_index\": [], \"input_index\": 0, \"output_index\": 0, \"value\": [], \"error\": null, \"credit\": 0, \"replace_request\": false, \"evaluate\": [], \"terminal\": false, \"predicate_result\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 3, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": false, \"evaluate\": [0], \"terminal\": true, \"predicate_result\": null}, \"expected\": {\"predicate_index\": [], \"input_index\": 3, \"output_index\": 3, \"value\": [], \"error\": null, \"credit\": 4, \"replace_request\": false, \"evaluate\": [0], \"terminal\": true, \"predicate_result\": null}, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}