Traceback (most recent call last):
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1097_3000016/reviews/priority_01/check_priority_interfaces.py", line 182, in <module>
    args=parser.parse_args(); print(json.dumps(run(args.fault),indent=2,sort_keys=True))
                                               ~~~^^^^^^^^^^^^
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1097_3000016/reviews/priority_01/check_priority_interfaces.py", line 168, in run
    need(False,'injected unconditional rejection remains live under optimization')
    ~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1097_3000016/reviews/priority_01/check_priority_interfaces.py", line 10, in need
    raise ValueError(message)
ValueError: injected unconditional rejection remains live under optimization
