Migrate.gate.manifest: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend as Migrate
Lines 340-356 of mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&start_line=340&end_line=356

import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspect.bend as FormatInspect

# Requires a valid manifest before considering the legacy file verification.
def gate.manifest(
  validation: SourceValidation,
  destination_missing: Bool,
  max_entries: Nat,
  max_encoded_bytes: Nat,
  supported: Bool,
  integrity: FormatInspect.Integrity
) -> Decision:
  match integrity:
    case FormatInspect.Valid{}:
      gate.source(validation, destination_missing, max_entries,
        max_encoded_bytes, supported)
    case FormatInspect.ResourceLimit{}:
      MigrateRejected{ResourceLimit{}}
    case _:
      MigrateRejected{InvalidManifest{}}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspect.bend&name=Integrity
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&name=Rejection
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&name=SourceValidation
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&name=gate.source