fix(proof): remove hardcoded SHA from proof harness

LZY3538 · claude · LZY3538 · commit 7f833859a102 · 2026-07-08T17:15:47.000+08:00
PROOF_HEAD env var is now optional; harness runs on current HEAD
without a stale default.  The SHA lock is applied via the PR comment
that invokes the harness, not the harness file itself.

Co-Authored-By: Claude &lt;noreply@anthropic.com&gt;
diff --git a/scripts/proof-harness.ts b/scripts/proof-harness.ts
@@ -27,12 +27,12 @@ const cfg = {
 } as OpenClawConfig;
 
 // ── Verification ────────────────────────────────────────────────────
-const HEAD = process.env.PROOF_HEAD || "4ba5dbe817";
 const actual = (await import("node:child_process"))
   .execSync("git rev-parse --short HEAD", { encoding: "utf8" })
   .trim();
-if (actual !== HEAD) {
-  console.error(`HEAD mismatch: expected ${HEAD}, got ${actual}. Commit the fix first.`);
+const expected = process.env.PROOF_HEAD;
+if (expected && actual !== expected) {
+  console.error(`HEAD mismatch: expected ${expected}, got ${actual}`);
   process.exit(1);
 }
 
