ART Report: Resource Machine

[cwgoes]

@xuyang

I’m afraid not. Circuits are a worst-case check and don’t depend on how they are created. If I’m wrong, pls correct me.

I mean in the sense discussed e.g. here.