Also, when you say that “Pants invalidates B” - since B depends on A, if A changes Pants must invalidate B at the target level. Pants itself doesn’t understand semantic invalidation (although that would be an awesome project). But all that means is that it runs SBT’s incremental compiler on B, which no-ops, since SBT knows that nothing actually needs to be recompiled.