The finale keeps the boundary visible: lambda is chosen, the data are tiny, and exact sparsity is one mechanical result, not a broad promise.
highlighted = computed this step
What is exact
The exact register contains the shown data, sum xy=28, sum x squared=14, the chosen λ values, and each rational weight.
∑xy=28,∑x2=14
What is chosen
λ is chosen before the solve. The exact zero at λ=28 is a mechanical result of this objective and this data.
λ chosen;w(28)=0
What lasso is and is not
This is one exact lasso solution at chosen λ values. It is NOT convergence, NOT general feature selection, NOT generalization, and NOT a claim about future data.