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 31, in main
    for name,record in current.items():record_ok(ROOT/name,record)
                                       ~~~~~~~~~^^^^^^^^^^^^^^^^^^
  File "/Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1041_30003934/reviews/package_03/private/fault/verify_package.py", line 14, in record_ok
    require(len(data)==record['bytes'] and sha(data)==record['sha256'],'Hash/size mismatch: '+str(path))
    ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  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: Hash/size mismatch: /Users/alec/Documents/Math/draft_pr_actual_claims_1000_1100_20261012/audits/pr1041_30003934/reviews/package_03/private/fault/paper.tex
