OrdinaryAppExecutionRecipe.Invocation: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_app_execution_recipe.bend as OrdinaryAppExecutionRecipe
Lines 101-105 of bendvy-ecs-core@0.1.0.4/ordinary_app_execution_recipe.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_execution_recipe.bend&start_line=101&end_line=105

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend as Leaf

# Affine registered invocation owner retaining its actual token, Data arguments
# and latest detached row outputs. Field metadata alone cannot reconstruct token
# or guarantee authority; ordinary App runners define output/refusal updates.
type Invocation<S:Data,Token:Type,Args:Data,Out:Data> is Type:
  Invocation{record:Leaf.Record<S,Token>,args:Args,outputs:List<&2,Out>}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend&name=Record