Merge pull request #1669 from lfglabs-dev/fix/sync-parity-pack-threshold

ci: sync parity-pack threshold across spec, source, and docs

Author: Th0rgal

PrintAxioms.lean

@@ -1898,4 +1898,4 @@ import Compiler.Proofs.YulGeneration.Equivalence
 #print axioms Compiler.Proofs.YulGeneration.ir_yul_function_equiv_from_state_of_fuel_goal_and_adequacy
 #print axioms Compiler.Proofs.YulGeneration.ir_yul_function_equiv_from_state_of_stmt_equiv_and_adequacy
 #print axioms Compiler.Proofs.YulGeneration.ir_yul_function_equiv_from_state_of_stmt_equiv
--- Total: 1761 theorems/lemmas (1174 public, 571 private, 16 sorry'd)
+-- Total: 1767 theorems/lemmas (1179 public, 572 private, 16 sorry'd)

docs/IDENTITY_CHECKER.md

@@ -28,7 +28,7 @@ python3 scripts/check_parity_pack_metrics.py \
   --report <path.json> \
   --max-only-in-verity 0 \
   --max-only-in-solidity 0 \
-  --max-hash-mismatch 0
+  --max-hash-mismatch 940
 ```
 
 ## Report Schema

scripts/verify_sync_spec.json

@@ -946,7 +946,7 @@
   ],
   "expected_compiler_audit_commands": [
     "generate_yul_identity_diff_report.py --verity-dir compiler/yul-parity-pack --solc-dir compiler/yul-parity-reference --output compiler/parity-pack-identity-report.json",
-    "check_parity_pack_metrics.py --report compiler/parity-pack-identity-report.json --max-only-in-verity 0 --max-only-in-solidity 0 --max-hash-mismatch 0 --format markdown >> \"$GITHUB_STEP_SUMMARY\"",
+    "check_parity_pack_metrics.py --report compiler/parity-pack-identity-report.json --max-only-in-verity 0 --max-only-in-solidity 0 --max-hash-mismatch 940 --format markdown >> \"$GITHUB_STEP_SUMMARY\"",
     "check_gas.py coverage --dir compiler/yul --dir compiler/yul-patched",
     "keccak256.py --self-test",
     "check_selectors.py --check-fixtures",

scripts/verify_sync_spec_source.py

@@ -896,7 +896,7 @@
                                       'check_parity_pack_metrics.py --report '
                                       'compiler/parity-pack-identity-report.json '
                                       '--max-only-in-verity 0 --max-only-in-solidity 0 '
-                                      '--max-hash-mismatch 0 --format markdown >> '
+                                      '--max-hash-mismatch 940 --format markdown >> '
                                       '"$GITHUB_STEP_SUMMARY"',
                                       'check_gas.py coverage --dir compiler/yul --dir '
                                       'compiler/yul-patched',