OwnedEventScope.provide: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/owned_event_scope.bend as OwnedEventScope
Lines 4-7 of bendvy-ecs-core@0.1.0.3/owned_event_scope.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/owned_event_scope.bend&start_line=4&end_line=7

import Base
import bendvy-ecs-core@0.1.0.3/capabilities.bend as Cap

# Trusted schema projection preserves its payload owner. Gameplay sees only H.
# All runtime arguments and result types are fixed before abstract payload H.
def provide(~Owner:Type,~Request:Type,~Projection:Data,~Args:Type,~Observation:Type,~at:Owner -> Request -> Owner & Projection,~body:@-H:Type -> @-read:Cap.Request<H,Request,Projection> -> H -> Args -> H & Observation,owner:Owner,args:Args) -> Owner & Observation:
  body(Owner,Cap.Request{at},owner,args)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&name=Request