I like the idea but I think its in the wrong place. They're kind of like contract statements for preconditions/invariants but at the design layer, enforced at

I like the idea but I think its in the wrong place. They're kind of like contract statements for preconditions/invariants but at the design layer, enforced at compile / run time. I think this is useful for architect types, though I think this belongs more around the DependencyInjection config area. A class should not be aware of what uses it.