feat(cuda): bound the device block reuse cache with an env byte cap#10

Open

NicolasRouquette wants to merge 3 commits into

lean-dojo:mainfrom

NicolasRouquette:cuda-cache-byte-cap

Commits on Jun 23, 2026

feat(cuda): add withCudaArena scoped device-memory reclamation
NicolasRouquette
committed
feat(cuda): use-after-arena-free detector + in-suite fork death test
NicolasRouquette
committed
feat(cuda): bound the device block reuse cache with an env byte cap
NicolasRouquette
committed