Traceback (most recent call last):
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1041_30003934/reviews/package_03/private/fault/verify_package.py", line 117, in <module>
    if __name__=='__main__':main()
                            ~~~~^^
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1041_30003934/reviews/package_03/private/fault/verify_package.py", line 107, in main
    require(type(wrapper['files']) is list and wrapper['files']==expected_files,'External wrapper file binding mismatch')
    ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1041_30003934/reviews/package_03/private/fault/verify_package.py", line 10, in require
    if not test:raise RuntimeError(message)
                ^^^^^^^^^^^^^^^^^^^^^^^^^^^
RuntimeError: External wrapper file binding mismatch
