PersistenceDeclaration.validate: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/persistence_declaration.bend as PersistenceDeclaration
Lines 25-28 of bendvy-ecs-core@0.1.0.3/persistence_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/persistence_declaration.bend&start_line=25&end_line=28

import Base
import bendvy-ecs-core@0.1.0.3/decode_data.bend as D
import bendvy-ecs-core@0.1.0.3/decode.bend as Complete
import bendvy-ecs-core@0.1.0.3/ordinary_declaration.bend as Canonical

# The SAME retained declaration supplies complete #46 validation and save codec.
# Projects once; no caller fuel/depth and no automatic Raw -> arbitrary P inverse.
def validate(~S:Data,~P:Type,~identity:Canonical.Declaration<S,P>,~project:P -> P & D.Raw,declaration:Constructed<S,P,identity,project>,owner:P) -> D.Receipt<P>:
  Complete.decode_owner(~P,~project,codec(~S,~P,~identity,~project,declaration),owner)

Uses (7):
  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/decode.bend&name=decode_owner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Raw
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Receipt
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/ordinary_declaration.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/persistence_declaration.bend&name=Constructed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/persistence_declaration.bend&name=codec