From d40b880dc3da8a337d4d295ee21b2b1ef1a47498 Mon Sep 17 00:00:00 2001 From: igneum-josh <337424239+igneum-josh@users.noreply.github.com> Date: Tue, 6 Oct 2026 09:26:22 +0100 Subject: [PATCH] Counter ASIC 3.0 item 8: the PC 2 playbook switches the prover back on in its finally block (the clear file's constraint) Co-Authored-By: Claude Fable 5.1 --- tools/ca3-shadow/pc2-shadow-bench.ps1 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/ca3-shadow/pc2-shadow-bench.ps1 b/tools/ca3-shadow/pc2-shadow-bench.ps1 index 6fca93bfc..45fcbd605 100644 --- a/tools/ca3-shadow/pc2-shadow-bench.ps1 +++ b/tools/ca3-shadow/pc2-shadow-bench.ps1 @@ -94,6 +94,7 @@ try { } finally { $r = (& nvidia-smi -i 0 -rgc 2>&1 | Out-String).Trim() "RESULT clock reset rgc: $($r -replace "`r?`n", ' | ') readback: $(Smi 'clocks.sm,clocks.max.sm,power.limit')" + "RESULT prover back on (finally): $(Prove $true)" Start-Sleep -Seconds 2 try { Stop-Process -Id $sampler.Id -Force -ErrorAction SilentlyContinue } catch { } Start-Sleep -Seconds 1 @@ -122,5 +123,5 @@ foreach ($win in $windows) { } foreach ($r in $rows) { "RESULT sample $($r.ts.ToString('HH:mm:ss')) $($r.w) $($r.util) $($r.sm) $($r.mem) $($r.temp) $($r.used)" } "RESULT gpus_after $(Stamp) $(Smi 'power.draw,power.limit,clocks.sm,clocks.mem,temperature.gpu,memory.used')" -"RESULT end $(Stamp) prover back on: $(Prove $true)" +"RESULT end $(Stamp) prover state: $(Prove $true)" exit 0