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 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-06 08:26:22 +00:00
parent c4e2320f95
commit d36f558b6f

View file

@ -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