Symbol k_2

The passage around this formula

…stopped running the full suite” a few months in. If every merge triggers a cheap smoke tier of $n_1$ tasks at unit cost $c_1$ , run $k_1$ times a day, and a slower, more thorough tier of $n_2$ tasks at unit cost $c_2$ , run only $k_2$ times a day, the daily evaluation bill is simply $B_{\text{day}} = k_1 n_1 c_1 + k_2 n_2 c_2$. The first term is the per-merge tax — it has to stay small enough that engineers do not start skipping it, which is the single most common way a CI gate quietly stops functioning. The second term is the trust budget —…

Read this part in the article →