Capabilities.OwnedRequest: type of bendvy-ecs-core@0.1.0.3 Import: import bendvy-ecs-core@0.1.0.3/capabilities.bend as Capabilities Lines 135-140 of bendvy-ecs-core@0.1.0.3/capabilities.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&start_line=135&end_line=140 import Base # Additive owned input/result capability; existing Data APIs are unchanged. # Operation consuming an affine Input and returning H with affine Output. # Operation-specific results can preserve refused payloads; the wrapper does # not invent recovery or change their ownership semantics. type OwnedRequest<-H:Type,-Input:Type,-Output:Type> is Type: OwnedRequest{run:H -> Input -> H & Output} Uses (1): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair