Invariant 19 in the brief names the drain rule as capture.Eligibility, an exported function that no longer exists: commit 81bfda851 unexported it to eligibility, so the invariant cites a symbol a reader cannot find

Invariant 19 in the brief names the drain rule as capture.Eligibility, an exported function that no longer exists: commit 81bfda851 unexported it to eligibility, so the invariant cites a symbol a reader cannot find

Grounds

• pursued: the invariant now names a symbol that exists; shown wrong if grep finds no eligibility function in eligible.go