SchemaFragments.validate: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as SchemaFragments
Lines 126-130 of bendvy-ecs-core@0.1.0.3/schema_fragments.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&start_line=126&end_line=130

import Base

# Check descriptor key/name collisions within each registry kind.
# Preserves kind-specific error order; this is metadata validation, not proof
# of lens laws, actual payload values or correctness of arbitrary adapters.
def validate(~S: Data,+entries: List<&2,Entry<S>>) -> Validation:
  first_failure(validate_loop(~S,filter_kind(~S,entries,Component{}),[]),first_failure(validate_loop(~S,filter_kind(~S,entries,Resource{}),[]),first_failure(validate_loop(~S,filter_kind(~S,entries,Event{}),[]),first_failure(validate_loop(~S,filter_kind(~S,entries,Relation{}),[]),validate_loop(~S,filter_kind(~S,entries,Service{}),[])))))

Uses (7):
  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.3/schema_fragments.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=RegistryKind
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=Validation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=filter_kind
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=first_failure
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/schema_fragments.bend&name=validate_loop