Record type representing one file in a downloadable model package. It stores the remote path, local filename, expected size, and SHA-256 hash.
#nullable enable annotations using System; using System.Collections.Generic; using System.IO; using System.Linq; using System.Threading; using System.Threading.Tasks; namespace HumanoidMocap.EditorTools.MotionBricks; /// <summary>One file of a downloadable model package, pinned by size and SHA-256.</summary> public sealed record ModelFile( string RemotePath, string LocalName, long Size, string Sha256 );