Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Distinct output capabilities #187
This PR adds support for distinguished output capabilities, where each
This adds a bit of ergonomic complexity for folks writing custom operators with multiple outputs, but it is important for anyone who wants to distinguish their output capabilities to enable concurrency that would otherwise be falsely prevented.
This PR does not validate the compatibility of the capabilities production according to the operator summary, so a user can still create a capability from an input for an output that they have claimed cannot be reached internally. This would be great to add, but might increase the per-capability reasoning substantially. Future work!