Use pytest-gpu-proof 0.5.0 and refresh all GPU attestations

CHANGELOG.md

@@ -22,6 +22,9 @@ All notable changes to GLASS will be documented here. The format follows
 
 ### Changed
 
+- Pin pytest-gpu-proof 0.5.0 for Python 3.10 support and signed CUDA compiler
+  metadata in fresh GPU receipts.
+
 - **Breaking:** NVIDIA operations now require an explicit execution scope
   (`glass::nvidia::block::op`, `glass::nvidia::warp::op`, or
   `glass::nvidia::thread::op`); the ambiguous bare `glass::nvidia::op`
@@ -45,9 +48,9 @@ All notable changes to GLASS will be documented here. The format follows
   (numerically identical, fewer barriers per iteration).
 - Compile-time `ger` uses a flat one-thread-per-output work mapping
   (bit-identical results by construction).
-- Documented-overload coverage is measured per overload contract — 665
+- Documented-overload coverage is measured per overload contract — 669
   contracts extracted from Doxygen XML with call-shape evidence
-  (`test/api-contracts.json`) — instead of per public name, plus 21 declared
+  (`test/api-contracts.json`) — instead of per public name, plus 22 declared
   behavioral correctness obligations checked against the signed receipt.
 - The signed GPU receipt is split into eight dependency-scoped shards with
   lazy test-binary compilation; development reruns only affected shards, and

docs/audits/2026-10-28-restrict/CHECKPOINT.txt

@@ -1,3 +1,10 @@
+2026-10-29 follow-up: published pytest-gpu-proof 0.5.0 pinned in GLASS.
+Fresh all-eight-shard run at a1aecf3 passed 5,126 tests, no skips; 22/22
+behavioral obligations, 669/669 overload contracts, strict docs and shard scope
+passed. Final dependency update branch: release-pytest-gpu-proof-0.5.0.
+GLASS release version is awaiting the user choice (docs currently say 1.0.0;
+there are no published GLASS releases or version tags). No GLASS tag created.
+
 Implementation complete and full fresh validation passed: 5,126 tests across 8 shards.
 Source commit e537364; final receipt verified with current toolchain and 0.5.0.
 Validated delivery branch: fix-restricted-handoffs.