Is this related to the Contracts RFC[1] and associated implementation[2] or is it its own freestanding work unrelated to upstream efforts?
1. https://github.com/NixOS/rfcs/pull/189
2. https://github.com/NixOS/nixpkgs/pull/485453