14.6 Scaling the validation budget

With \(k\) independent productive chains there are \(N=2k\) edits. Exhaustive served validation grows quadratically, while LASKO validates a linear number of selected pairs.

This is a validation-economics result, not evidence that arbitrary agent workflows have sparse recoverable brackets. The benchmark was designed so the cheap proxy exposes the planted ordered dependencies.