Module pools 

Thread-local resource pools for proof-checking.

Modeled after ruvector-mincut’s BfsPool pattern (90%+ hit rate).

Structs

PooledResources

Pooled proof resources with auto-return on drop.

Functions

acquire

Acquire pooled resources. Auto-returns to pool when dropped.

pool_stats

Get pool statistics: (acquires, hits, hit_rate).