From 02c46c7eb3426b103e58db49e20131eb9bb7627c Mon Sep 17 00:00:00 2001 From: Sagar Thakrar Date: Wed, 14 Oct 2026 14:11:32 +0530 Subject: [PATCH] CI repair: refresh the single-intersection spectrum audit pin after #778 The spectrum audit (#812) pins scripts/experiments/single_intersection.py by whole-file SHA-256 at its pre-#778 digest. #778 (f015b04c) rewrote only minor_rows, which the audit never calls (it imports spectral_parity_bound, byte-identical), and the old and new minor_rows agree on all 41 audit cases. With the pin bypassed, a fresh certificate equals the committed RESULT.json in every field. Refresh the pin in SOURCE.json and regenerate RESULT.json with the audit's own --write (one line). This makes the `tests` group of Verify research artifacts pass again on main. --- research/single-intersection-spectrum-audit/RESULT.json | 2 +- research/single-intersection-spectrum-audit/SOURCE.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/research/single-intersection-spectrum-audit/RESULT.json b/research/single-intersection-spectrum-audit/RESULT.json index 6d9623cce2..bdd5a4bd0c 100644 --- a/research/single-intersection-spectrum-audit/RESULT.json +++ b/research/single-intersection-spectrum-audit/RESULT.json @@ -562,7 +562,7 @@ "certificates/selected-result.json": "b3bf402f31a69bde0629936a9b569bed48281568d7b16d5fba120b5311ea1f53", "docs/research/single-intersection.md": "c3a9be97b38f4ac1e7983842d9f23656671e877ad5144f41894818f4551aa4dd", "scripts/audit_single_intersection.py": "1de7f9a62edc93c624ff2693ae9bb725cf6dc9735ff1caad56f6913aae9448ee", - "scripts/experiments/single_intersection.py": "08ddae46e5621a5b4c525b504e67ae655abe9b49461d894feaa7abc89a51847d", + "scripts/experiments/single_intersection.py": "6874d41b75590369182ed61e0c6da5b547e035e0e43b50ea2b39e1f3861dca6d", "tests/test_single_intersection.py": "333f14dee70ddffaf266a8041d0ee3a0bf64794e28c1f05cc8a6e8953a37543e" }, "status": "PASS_LITERAL_BINARY_SPECTRAL_AUDIT", diff --git a/research/single-intersection-spectrum-audit/SOURCE.json b/research/single-intersection-spectrum-audit/SOURCE.json index 536c8ea7d3..88a5e4179b 100644 --- a/research/single-intersection-spectrum-audit/SOURCE.json +++ b/research/single-intersection-spectrum-audit/SOURCE.json @@ -24,7 +24,7 @@ "certificates/selected-result.json": "b3bf402f31a69bde0629936a9b569bed48281568d7b16d5fba120b5311ea1f53", "docs/research/single-intersection.md": "c3a9be97b38f4ac1e7983842d9f23656671e877ad5144f41894818f4551aa4dd", "scripts/audit_single_intersection.py": "1de7f9a62edc93c624ff2693ae9bb725cf6dc9735ff1caad56f6913aae9448ee", - "scripts/experiments/single_intersection.py": "08ddae46e5621a5b4c525b504e67ae655abe9b49461d894feaa7abc89a51847d", + "scripts/experiments/single_intersection.py": "6874d41b75590369182ed61e0c6da5b547e035e0e43b50ea2b39e1f3861dca6d", "tests/test_single_intersection.py": "333f14dee70ddffaf266a8041d0ee3a0bf64794e28c1f05cc8a6e8953a37543e" }, "stopping_rule": "Complete the fixed domain once; do not expand to historical large orbit fixtures or repeated repository-wide replays.",