SnapshotGate.export_owner: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/snapshot_gate.bend as SnapshotGate
Lines 20-26 of bendvy-ecs-core@0.1.0.4/snapshot_gate.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/snapshot_gate.bend&start_line=20&end_line=26

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as C

# Static eligibility mirrors TS Gate: export itself does not run its decoder.
# This low-level operation consumes Gate; snapshot-leaf reconstructs it from
# the retained ordinary declaration for repeated owner-preserving saves.
def export_owner(~S:Data,~P:Type,~declaration:C.Declaration<S,P>,gate:Gate<S,P,declaration>,owner:P) -> P & Field:
  match gate:
    case Transient{}:(owner,Omitted{C.key(~S,~P,declaration)})
    case Persisted{_,project}:projected(~P,C.key(~S,~P,declaration),project(owner))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend&name=key
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/snapshot_gate.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/snapshot_gate.bend&name=Gate
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/snapshot_gate.bend&name=projected