yes, i believe you're correct (see here), but it seems like it does that only for 'remote' packages. i'm not entirely sure what the semantics there are, but perhaps the package manifests for the 'local' packages could leverage the error promotion flags.