@elaraai/e3-cloud-files 1.0.94 → 1.1.0

package/dist/src/check.js

@@ -6,31 +6,48 @@
  * Whether declarations fit a package, and bindings fit declarations.
  *
  * {@link checkFiles} is the one check every deploy of declarations runs, on a
- * local repository and in the cloud: each mapping's input exists, is an
- * input, and is of its shape's type, compared exactly. {@link checkBindings}
- * is what a bind runs. {@link readPackageInputs} reads a package's inputs
- * from its objects, through a reader: the store's on a server, a local
- * repository's on a machine.
+ * local repository and in the cloud: each mapping's target exists in the
+ * package and is of its shape's type, compared exactly. An input must be
+ * writable; a record's state type must be the type its file holds; a fed
+ * mutation must exist on its record, take exactly one argument, of the type
+ * its file holds, and be no `patch`. {@link checkBindings} is what a bind
+ * runs. {@link readPackageSurface} reads a package's inputs, records and
+ * mutations from its objects, through a reader: the store's on a server, a
+ * local repository's on a machine.
  *
  * @packageDocumentation
  */
 import { EastTypeType, equalFor, toEastTypeValue, variant } from '@elaraai/east';
-import { decodePackageObject } from '@elaraai/e3-types';
-import { FilesFileType, FilesFolderType, FilesListingType, } from '@elaraai/e3-cloud-types';
+import { decodeMutationObject, decodePackageObject, decodeRecordObject } from '@elaraai/e3-types';
+import { FilesFileType, FilesFolderType, FilesListingType, sameFilesTarget, } from '@elaraai/e3-cloud-types';
 import { includeProblem, keyProblem, parseBucketUrl, prefixProblem } from './paths.js';
 const typesEqual = equalFor(EastTypeType);
-/** The type a shape's input holds. */
+/** The type a shape fills its target with: the type it names, else its `Blob` form. */
 export function shapeType(shape) {
     switch (shape.type) {
         case 'file':
         case 'latest':
-            return toEastTypeValue(FilesFileType);
+            return shape.value.type.type === 'some' ? shape.value.type.value : toEastTypeValue(FilesFileType);
         case 'folder':
             return toEastTypeValue(FilesFolderType);
         case 'listing':
             return toEastTypeValue(FilesListingType);
     }
 }
+/** The datasets of a package's structure under one top-level tree, by name. */
+function datasetsUnder(root, tree) {
+    const datasets = new Map();
+    if (root.type !== 'struct')
+        return datasets;
+    const branch = root.value.get(tree);
+    if (branch === undefined || branch.type !== 'struct')
+        return datasets;
+    for (const [name, child] of branch.value) {
+        if (child.type === 'value')
+            datasets.set(name, { type: child.value.type, writable: child.value.writable });
+    }
+    return datasets;
+}
 /**
  * Reads a package's inputs, `.inputs.<name>`, from its objects.
  *
@@ -40,64 +57,124 @@ export function shapeType(shape) {
  */
 export async function readPackageInputs(read, packageHash) {
     const pkg = decodePackageObject(await read(packageHash));
-    const inputs = new Map();
-    const root = pkg.data.structure;
-    if (root.type !== 'struct')
-        return inputs;
-    const tree = root.value.get('inputs');
-    if (tree === undefined || tree.type !== 'struct')
-        return inputs;
-    for (const [name, child] of tree.value) {
-        if (child.type === 'value')
-            inputs.set(name, { type: child.value.type, writable: child.value.writable });
+    return datasetsUnder(pkg.data.structure, 'inputs');
+}
+/**
+ * Reads what of a package Files' declarations may fill: its inputs, and its
+ * records with their mutations (each record's object, and each mutation's,
+ * read by hash: small objects, a few per record).
+ *
+ * @param read - Reads an object by hash
+ * @param packageHash - The package object's hash
+ * @returns The package's inputs and records
+ */
+export async function readPackageSurface(read, packageHash) {
+    const pkg = decodePackageObject(await read(packageHash));
+    const inputs = datasetsUnder(pkg.data.structure, 'inputs');
+    const states = datasetsUnder(pkg.data.structure, 'records');
+    // Each record's object, then its mutations', read beside each other
+    const records = new Map();
+    await Promise.all([...pkg.records].map(async ([name, hash]) => {
+        const state = states.get(name);
+        if (state === undefined)
+            return;
+        const record = decodeRecordObject(await read(hash));
+        const mutations = new Map();
+        await Promise.all([...record.mutations].map(async ([mutationName, mutationHash]) => {
+            const mutation = decodeMutationObject(await read(mutationHash));
+            mutations.set(mutationName, { form: mutation.form.type, argTypes: [...mutation.argTypes] });
+        }));
+        records.set(name, { type: state.type, mutations });
+    }));
+    return { inputs, records };
+}
+/** A mapping's selection problems: what the declarations alone get wrong, as a declaration would have refused it. */
+function shapeProblems(target, shape) {
+    const problems = [];
+    if (shape.type === 'file') {
+        const reason = keyProblem(shape.value.key);
+        if (reason !== null)
+            problems.push(variant('invalid_key', { target, key: shape.value.key, reason }));
+    }
+    else {
+        const reason = prefixProblem(shape.value.prefix);
+        if (reason !== null)
+            problems.push(variant('invalid_key', { target, key: shape.value.prefix, reason }));
+        if (shape.value.include.type === 'some') {
+            const include = includeProblem(shape.value.include.value);
+            if (include !== null)
+                problems.push(variant('invalid_include', { target, include: shape.value.include.value, reason: include }));
+        }
+    }
+    if (target.type !== 'input') {
+        if (shape.type === 'folder' || shape.type === 'listing')
+            problems.push(variant('target_shape', { target }));
+        else if (shape.value.type.type === 'none')
+            problems.push(variant('target_untyped', { target }));
     }
-    return inputs;
+    return problems;
 }
 /**
  * The problems of declarations against a package, none when they fit. Each
- * mapping's input must be an input of the package, of its shape's type.
+ * mapping's target must be of the package, of its shape's type: an input
+ * anything may write; a record whose state is the file's type; a mutation
+ * of its record taking one argument of the file's type, no `patch`.
  *
  * @param manifest - The declarations
- * @param inputs - The package's inputs ({@link readPackageInputs})
+ * @param pkg - The package's inputs and records ({@link readPackageSurface})
  * @returns Every problem
  */
-export function checkFiles(manifest, inputs) {
+export function checkFiles(manifest, pkg) {
     const problems = [];
-    const seen = new Set();
+    const seen = [];
     const sources = new Set(manifest.sources);
     for (const mapping of manifest.mappings) {
-        const { input, shape } = mapping;
-        if (seen.has(input))
-            problems.push(variant('duplicate_input', { input }));
-        seen.add(input);
+        const { target, shape } = mapping;
+        if (seen.some((t) => sameFilesTarget(t, target)))
+            problems.push(variant('duplicate_target', { target }));
+        seen.push(target);
         if (!sources.has(mapping.source))
             problems.push(variant('source_unknown', { source: mapping.source }));
-        // What the declarations alone get wrong, as a declaration would have refused it
-        if (shape.type === 'file') {
-            const reason = keyProblem(shape.value.key);
-            if (reason !== null)
-                problems.push(variant('invalid_key', { input, key: shape.value.key, reason }));
-        }
-        else {
-            const reason = prefixProblem(shape.value.prefix);
-            if (reason !== null)
-                problems.push(variant('invalid_key', { input, key: shape.value.prefix, reason }));
-            if (shape.value.include.type === 'some') {
-                const include = includeProblem(shape.value.include.value);
-                if (include !== null)
-                    problems.push(variant('invalid_include', { input, include: shape.value.include.value, reason: include }));
-            }
-        }
+        const shapeless = shapeProblems(target, shape);
+        problems.push(...shapeless);
+        // A record or mutation mapped to a folder, or with no type, fills nothing of the type: its shape is the problem
+        if (shapeless.some((p) => p.type === 'target_shape' || p.type === 'target_untyped'))
+            continue;
         const expected = shapeType(shape);
-        const declared = inputs.get(input);
-        if (declared === undefined) {
-            problems.push(variant('input_missing', { input, expected }));
-        }
-        else if (!declared.writable) {
-            problems.push(variant('input_not_writable', { input }));
-        }
-        else if (!typesEqual(declared.type, expected)) {
-            problems.push(variant('input_type', { input, expected, actual: declared.type }));
+        switch (target.type) {
+            case 'input': {
+                const input = target.value;
+                const declared = pkg.inputs.get(input);
+                if (declared === undefined)
+                    problems.push(variant('input_missing', { input, expected }));
+                else if (!declared.writable)
+                    problems.push(variant('input_not_writable', { input }));
+                else if (!typesEqual(declared.type, expected))
+                    problems.push(variant('input_type', { input, expected, actual: declared.type }));
+                break;
+            }
+            case 'record': {
+                const record = target.value;
+                const declared = pkg.records.get(record);
+                if (declared === undefined)
+                    problems.push(variant('record_missing', { record, expected }));
+                else if (!typesEqual(declared.type, expected))
+                    problems.push(variant('record_type', { record, expected, actual: declared.type }));
+                break;
+            }
+            case 'mutation': {
+                const { record, mutation } = target.value;
+                const declared = pkg.records.get(record)?.mutations.get(mutation);
+                if (declared === undefined)
+                    problems.push(variant('mutation_missing', { record, mutation }));
+                else if (declared.form === 'patch')
+                    problems.push(variant('mutation_patch', { record, mutation }));
+                else if (declared.argTypes.length !== 1)
+                    problems.push(variant('mutation_arity', { record, mutation, arity: BigInt(declared.argTypes.length) }));
+                else if (!typesEqual(declared.argTypes[0], expected))
+                    problems.push(variant('mutation_type', { record, mutation, expected, actual: declared.argTypes[0] }));
+                break;
+            }
         }
     }
     return problems;

package/dist/src/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAsB,MAAM,eAAe,CAAC;AACrG,OAAO,EAAE,mBAAmB,EAAkB,MAAM,mBAAmB,CAAC;AACxE,OAAO,EACL,aAAa,EAAE,eAAe,EAAE,gBAAgB,GAEjD,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAavF,MAAM,UAAU,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;AAE1C,sCAAsC;AACtC,MAAM,UAAU,SAAS,CAAC,KAAiB;IACzC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,aAAa,CAAC,CAAC;QACxC,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,eAAe,CAAC,CAAC;QAC1C,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAkB,EAAE,WAAmB;IAC7E,MAAM,GAAG,GAAG,mBAAmB,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,MAAM,IAAI,GAAc,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IAChE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,QAAuB,EAAE,MAAyC;IAC3F,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1E,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvG,gFAAgF;QAChF,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC3C,IAAI,MAAM,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACtG,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACjD,IAAI,MAAM,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;YACvG,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACxC,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC1D,IAAI,OAAO,KAAK,IAAI;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YAClI,CAAC;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC/D,CAAC;aAAM,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1D,CAAC;aAAM,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YAChD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAUD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,QAAuB,EAAE,QAAiC,EAAE,MAAqB;IAC7G,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/E,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACjF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAClB,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;YACzG,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;YACvG,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACpD,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3G,IAAI,CAAC,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,CAAC;YAChE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,oCAAoC,EAAE,CAAC,CAAC,CAAC;QACvG,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAsB,MAAM,eAAe,CAAC;AACrG,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,kBAAkB,EAAqC,MAAM,mBAAmB,CAAC;AACrI,OAAO,EACL,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,eAAe,GAElE,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAmCvF,MAAM,UAAU,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;AAE1C,uFAAuF;AACvF,MAAM,UAAU,SAAS,CAAC,KAAiB;IACzC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;QACpG,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,eAAe,CAAC,CAAC;QAC1C,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAS,aAAa,CAAC,IAAe,EAAE,IAAY;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC7G,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAkB,EAAE,WAAmB;IAC7E,MAAM,GAAG,GAAG,mBAAmB,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACzD,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAkB,EAAE,WAAmB;IAC9E,MAAM,GAAG,GAAG,mBAAmB,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC5D,oEAAoE;IACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE;QAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;QACrD,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,EAAE;YACjF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;YAChE,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC9F,CAAC,CAAC,CAAC,CAAC;QACJ,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC,CAAC;IACJ,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,qHAAqH;AACrH,SAAS,aAAa,CAAC,MAAmB,EAAE,KAAiB;IAC3D,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACvG,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,MAAM,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACxG,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxC,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1D,IAAI,OAAO,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACnI,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;aACvG,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CAAC,QAAuB,EAAE,GAAmB;IACrE,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACzG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvG,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC/C,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;QAC5B,gHAAgH;QAChH,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;YAAE,SAAS;QAC9F,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;gBAC3B,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACvC,IAAI,QAAQ,KAAK,SAAS;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;qBACpF,IAAI,CAAC,QAAQ,CAAC,QAAQ;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;qBAChF,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAChI,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;gBAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACzC,IAAI,QAAQ,KAAK,SAAS;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;qBACtF,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAClI,MAAM;YACR,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;gBAC1C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAClE,IAAI,QAAQ,KAAK,SAAS;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;qBACxF,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;qBAC9F,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;qBAC5I,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;gBAC9J,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAUD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,QAAuB,EAAE,QAAiC,EAAE,MAAqB;IAC7G,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/E,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACjF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAClB,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;YACzG,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;YACvG,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACpD,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3G,IAAI,CAAC,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,CAAC;YAChE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,oCAAoC,EAAE,CAAC,CAAC,CAAC;QACvG,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/src/compat.d.ts

@@ -0,0 +1,384 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Licensed under BSL 1.1. See LICENSE for details.
+ */
+/**
+ * `@elaraai/e3-cloud-files/compat`: Files' stored values as the first
+ * version wrote them, and their lift into the current types.
+ *
+ * The first version mapped a source's files to inputs alone: a mapping was
+ * `{input, source, shape}`, a `file` or `latest` shape named no type, a
+ * refusal's reason was a string, a sync was asked for `inputs`, and a ledger
+ * entry held an ETag and a size. The current types map to a target (an
+ * input, a record or a mutation), may name a type, tell refusals apart, ask
+ * for `targets` and `reset`, and remember a file's hash and the commit a
+ * seed or feed made.
+ *
+ * A store reads a stored value through {@link readFilesManifest},
+ * {@link readFilesSyncReport}, {@link readFilesLedger},
+ * {@link readFilesSyncJob} or {@link readFilesHistoryManifest}: each reads
+ * the root type the bytes' beast2 header declares, decodes a current value as
+ * it is, and decodes a first-version value with its own type and lifts it
+ * (`input` → `target: input(name)`, each `file`/`latest` shape `type: none`,
+ * a refusal's string `other(reason)`, the new fields none). A value is
+ * written at the current version on its next write. The lifts are pure, so
+ * the CLI lifts a local repository's state file through them too.
+ *
+ * The first version's types are kept here, and nowhere else, under their
+ * `V1` names.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, BooleanType, DateTimeType, DictType, IntegerType, OptionType, StringType, StructType, VariantType, type EastType, type ValueTypeOf } from '@elaraai/east';
+import { type FilesLedgerValue, type FilesManifest, type FilesMapping, type FilesMappingReport, type FilesShape, type FilesSyncJob, type FilesSyncReport } from '@elaraai/e3-cloud-types';
+/** A `file` or `latest` shape of the first version: no type. */
+export declare const FilesShapeTypeV1: VariantType<{
+    readonly file: StructType<{
+        readonly key: StringType;
+    }>;
+    readonly latest: StructType<{
+        readonly prefix: StringType;
+        readonly include: OptionType<StringType>;
+    }>;
+    readonly folder: StructType<{
+        readonly prefix: StringType;
+        readonly include: OptionType<StringType>;
+    }>;
+    readonly listing: StructType<{
+        readonly prefix: StringType;
+        readonly include: OptionType<StringType>;
+    }>;
+}>;
+export type FilesShapeV1 = ValueTypeOf<typeof FilesShapeTypeV1>;
+/** A mapping of the first version: an input, by name. */
+export declare const FilesMappingTypeV1: StructType<{
+    readonly input: StringType;
+    readonly source: StringType;
+    readonly shape: VariantType<{
+        readonly file: StructType<{
+            readonly key: StringType;
+        }>;
+        readonly latest: StructType<{
+            readonly prefix: StringType;
+            readonly include: OptionType<StringType>;
+        }>;
+        readonly folder: StructType<{
+            readonly prefix: StringType;
+            readonly include: OptionType<StringType>;
+        }>;
+        readonly listing: StructType<{
+            readonly prefix: StringType;
+            readonly include: OptionType<StringType>;
+        }>;
+    }>;
+}>;
+export type FilesMappingV1 = ValueTypeOf<typeof FilesMappingTypeV1>;
+/** The declarations of the first version. */
+export declare const FilesManifestTypeV1: StructType<{
+    readonly sources: ArrayType<StringType>;
+    readonly mappings: ArrayType<StructType<{
+        readonly input: StringType;
+        readonly source: StringType;
+        readonly shape: VariantType<{
+            readonly file: StructType<{
+                readonly key: StringType;
+            }>;
+            readonly latest: StructType<{
+                readonly prefix: StringType;
+                readonly include: OptionType<StringType>;
+            }>;
+            readonly folder: StructType<{
+                readonly prefix: StringType;
+                readonly include: OptionType<StringType>;
+            }>;
+            readonly listing: StructType<{
+                readonly prefix: StringType;
+                readonly include: OptionType<StringType>;
+            }>;
+        }>;
+    }>>;
+}>;
+export type FilesManifestV1 = ValueTypeOf<typeof FilesManifestTypeV1>;
+/** A refusal of the first version: its reason a string. */
+export declare const FilesRefusalTypeV1: StructType<{
+    readonly key: StringType;
+    readonly reason: StringType;
+}>;
+/** A mapping's report of the first version. */
+export declare const FilesMappingReportTypeV1: StructType<{
+    readonly input: StringType;
+    readonly added: IntegerType;
+    readonly changed: IntegerType;
+    readonly removed: IntegerType;
+    readonly unchanged: IntegerType;
+    readonly refused: ArrayType<StructType<{
+        readonly key: StringType;
+        readonly reason: StringType;
+    }>>;
+    readonly bytes: IntegerType;
+    readonly updated: BooleanType;
+}>;
+export type FilesMappingReportV1 = ValueTypeOf<typeof FilesMappingReportTypeV1>;
+/** A sync's report of the first version. */
+export declare const FilesSyncReportTypeV1: StructType<{
+    readonly started: DateTimeType;
+    readonly finished: DateTimeType;
+    readonly dryRun: BooleanType;
+    readonly mappings: ArrayType<StructType<{
+        readonly input: StringType;
+        readonly added: IntegerType;
+        readonly changed: IntegerType;
+        readonly removed: IntegerType;
+        readonly unchanged: IntegerType;
+        readonly refused: ArrayType<StructType<{
+            readonly key: StringType;
+            readonly reason: StringType;
+        }>>;
+        readonly bytes: IntegerType;
+        readonly updated: BooleanType;
+    }>>;
+}>;
+export type FilesSyncReportV1 = ValueTypeOf<typeof FilesSyncReportTypeV1>;
+/** A ledger of the first version: each file's ETag and size. */
+export declare const FilesLedgerTypeV1: StructType<{
+    readonly entries: DictType<StringType, StructType<{
+        readonly etag: StringType;
+        readonly size: IntegerType;
+    }>>;
+    readonly value: OptionType<StringType>;
+    readonly under: OptionType<StringType>;
+}>;
+export type FilesLedgerValueV1 = ValueTypeOf<typeof FilesLedgerTypeV1>;
+/** A sync of the first version: asked for inputs. */
+export declare const FilesSyncJobTypeV1: StructType<{
+    readonly id: StringType;
+    readonly workspace: StringType;
+    readonly by: StringType;
+    readonly dryRun: BooleanType;
+    readonly inputs: OptionType<ArrayType<StringType>>;
+    readonly state: VariantType<{
+        readonly running: import("@elaraai/east").NullType;
+        readonly succeeded: import("@elaraai/east").NullType;
+        readonly failed: StringType;
+    }>;
+    readonly startedAt: DateTimeType;
+    readonly finishedAt: OptionType<DateTimeType>;
+    readonly report: OptionType<StructType<{
+        readonly started: DateTimeType;
+        readonly finished: DateTimeType;
+        readonly dryRun: BooleanType;
+        readonly mappings: ArrayType<StructType<{
+            readonly input: StringType;
+            readonly added: IntegerType;
+            readonly changed: IntegerType;
+            readonly removed: IntegerType;
+            readonly unchanged: IntegerType;
+            readonly refused: ArrayType<StructType<{
+                readonly key: StringType;
+                readonly reason: StringType;
+            }>>;
+            readonly bytes: IntegerType;
+            readonly updated: BooleanType;
+        }>>;
+    }>>;
+}>;
+export type FilesSyncJobV1 = ValueTypeOf<typeof FilesSyncJobTypeV1>;
+/**
+ * A first-version shape as the current one: a `file` or `latest` names no type.
+ *
+ * @param shape - The shape
+ * @returns The current shape
+ */
+export declare function liftFilesShapeV1(shape: FilesShapeV1): FilesShape;
+/**
+ * A first-version mapping as the current one: its input, as a target.
+ *
+ * @param mapping - The mapping
+ * @returns The current mapping
+ */
+export declare function liftFilesMappingV1(mapping: FilesMappingV1): FilesMapping;
+/**
+ * First-version declarations as the current ones.
+ *
+ * @param manifest - The declarations
+ * @returns The current declarations
+ */
+export declare function liftFilesManifestV1(manifest: FilesManifestV1): FilesManifest;
+/**
+ * A first-version mapping's report as the current one: its reasons kept as
+ * `other`, and nothing taken, committed, kept or waiting.
+ *
+ * @param report - The report
+ * @returns The current report
+ */
+export declare function liftFilesMappingReportV1(report: FilesMappingReportV1): FilesMappingReport;
+/**
+ * A first-version sync's report as the current one.
+ *
+ * @param report - The report
+ * @returns The current report
+ */
+export declare function liftFilesSyncReportV1(report: FilesSyncReportV1): FilesSyncReport;
+/**
+ * A first-version ledger as the current one: no hashes, no commit.
+ *
+ * @param ledger - The ledger
+ * @returns The current ledger
+ */
+export declare function liftFilesLedgerV1(ledger: FilesLedgerValueV1): FilesLedgerValue;
+/**
+ * A first-version sync as the current one: its inputs, as targets.
+ *
+ * @param job - The sync
+ * @returns The current sync
+ */
+export declare function liftFilesSyncJobV1(job: FilesSyncJobV1): FilesSyncJob;
+/** Reads stored declarations, at any version, as the current ones. */
+export declare const readFilesManifest: (bytes: Uint8Array) => FilesManifest;
+/** Reads a stored sync's report, at any version, as the current one. */
+export declare const readFilesSyncReport: (bytes: Uint8Array) => FilesSyncReport;
+/** Reads a stored ledger, at any version, as the current one. */
+export declare const readFilesLedger: (bytes: Uint8Array) => FilesLedgerValue;
+/** Reads a stored sync, at any version, as the current one. */
+export declare const readFilesSyncJob: (bytes: Uint8Array) => FilesSyncJob;
+/** The declarations a workspace's history entry left: none, or the declarations. */
+declare const HistoryManifestType: OptionType<StructType<{
+    readonly sources: ArrayType<StringType>;
+    readonly mappings: ArrayType<StructType<{
+        readonly target: VariantType<{
+            readonly input: StringType;
+            readonly record: StringType;
+            readonly mutation: StructType<{
+                readonly record: StringType;
+                readonly mutation: StringType;
+            }>;
+        }>;
+        readonly source: StringType;
+        readonly shape: VariantType<{
+            readonly file: StructType<{
+                readonly key: StringType;
+                readonly type: OptionType<import("@elaraai/east").RecursiveType<VariantType<{
+                    readonly Never: import("@elaraai/east").NullType;
+                    readonly Null: import("@elaraai/east").NullType;
+                    readonly Boolean: import("@elaraai/east").NullType;
+                    readonly Integer: import("@elaraai/east").NullType;
+                    readonly Float: import("@elaraai/east").NullType;
+                    readonly String: import("@elaraai/east").NullType;
+                    readonly DateTime: import("@elaraai/east").NullType;
+                    readonly Blob: import("@elaraai/east").NullType;
+                    readonly Ref: import("@elaraai/east").RecursiveTypeMarker;
+                    readonly Array: import("@elaraai/east").RecursiveTypeMarker;
+                    readonly Set: import("@elaraai/east").RecursiveTypeMarker;
+                    readonly Dict: StructType<{
+                        readonly key: import("@elaraai/east").RecursiveTypeMarker;
+                        readonly value: import("@elaraai/east").RecursiveTypeMarker;
+                    }>;
+                    readonly Struct: ArrayType<StructType<{
+                        readonly name: StringType;
+                        readonly type: import("@elaraai/east").RecursiveTypeMarker;
+                    }>>;
+                    readonly Variant: ArrayType<StructType<{
+                        readonly name: StringType;
+                        readonly type: import("@elaraai/east").RecursiveTypeMarker;
+                    }>>;
+                    readonly Recursive: VariantType<{
+                        readonly ref: IntegerType;
+                        readonly wrapper: StructType<{
+                            readonly id: IntegerType;
+                            readonly inner: import("@elaraai/east").RecursiveTypeMarker;
+                        }>;
+                    }>;
+                    readonly Function: StructType<{
+                        readonly inputs: ArrayType<import("@elaraai/east").RecursiveTypeMarker>;
+                        readonly output: import("@elaraai/east").RecursiveTypeMarker;
+                    }>;
+                    readonly AsyncFunction: StructType<{
+                        readonly inputs: ArrayType<import("@elaraai/east").RecursiveTypeMarker>;
+                        readonly output: import("@elaraai/east").RecursiveTypeMarker;
+                    }>;
+                    readonly Vector: import("@elaraai/east").RecursiveTypeMarker;
+                    readonly Matrix: import("@elaraai/east").RecursiveTypeMarker;
+                }>>>;
+            }>;
+            readonly latest: StructType<{
+                readonly prefix: StringType;
+                readonly include: OptionType<StringType>;
+                readonly type: OptionType<import("@elaraai/east").RecursiveType<VariantType<{
+                    readonly Never: import("@elaraai/east").NullType;
+                    readonly Null: import("@elaraai/east").NullType;
+                    readonly Boolean: import("@elaraai/east").NullType;
+                    readonly Integer: import("@elaraai/east").NullType;
+                    readonly Float: import("@elaraai/east").NullType;
+                    readonly String: import("@elaraai/east").NullType;
+                    readonly DateTime: import("@elaraai/east").NullType;
+                    readonly Blob: import("@elaraai/east").NullType;
+                    readonly Ref: import("@elaraai/east").RecursiveTypeMarker;
+                    readonly Array: import("@elaraai/east").RecursiveTypeMarker;
+                    readonly Set: import("@elaraai/east").RecursiveTypeMarker;
+                    readonly Dict: StructType<{
+                        readonly key: import("@elaraai/east").RecursiveTypeMarker;
+                        readonly value: import("@elaraai/east").RecursiveTypeMarker;
+                    }>;
+                    readonly Struct: ArrayType<StructType<{
+                        readonly name: StringType;
+                        readonly type: import("@elaraai/east").RecursiveTypeMarker;
+                    }>>;
+                    readonly Variant: ArrayType<StructType<{
+                        readonly name: StringType;
+                        readonly type: import("@elaraai/east").RecursiveTypeMarker;
+                    }>>;
+                    readonly Recursive: VariantType<{
+                        readonly ref: IntegerType;
+                        readonly wrapper: StructType<{
+                            readonly id: IntegerType;
+                            readonly inner: import("@elaraai/east").RecursiveTypeMarker;
+                        }>;
+                    }>;
+                    readonly Function: StructType<{
+                        readonly inputs: ArrayType<import("@elaraai/east").RecursiveTypeMarker>;
+                        readonly output: import("@elaraai/east").RecursiveTypeMarker;
+                    }>;
+                    readonly AsyncFunction: StructType<{
+                        readonly inputs: ArrayType<import("@elaraai/east").RecursiveTypeMarker>;
+                        readonly output: import("@elaraai/east").RecursiveTypeMarker;
+                    }>;
+                    readonly Vector: import("@elaraai/east").RecursiveTypeMarker;
+                    readonly Matrix: import("@elaraai/east").RecursiveTypeMarker;
+                }>>>;
+            }>;
+            readonly folder: StructType<{
+                readonly prefix: StringType;
+                readonly include: OptionType<StringType>;
+            }>;
+            readonly listing: StructType<{
+                readonly prefix: StringType;
+                readonly include: OptionType<StringType>;
+            }>;
+        }>;
+    }>>;
+}>>;
+type HistoryManifest = ValueTypeOf<typeof HistoryManifestType>;
+/** Reads the declarations a history entry left (`Option<FilesManifest>`), at any version, as the current ones. */
+export declare const readFilesHistoryManifest: (bytes: Uint8Array) => HistoryManifest;
+/**
+ * The stored versions of a kept value, for a cutover's check: the current
+ * type, and each older one with its lift, so a value an older platform wrote
+ * is brought forward rather than refused.
+ */
+export interface FilesStoredVersions {
+    readonly current: EastType;
+    readonly older: readonly {
+        readonly type: EastType;
+        readonly lift: (value: never) => unknown;
+    }[];
+}
+/** The stored versions of a workspace's declarations (`FILES/` `manifest`). */
+export declare const FILES_MANIFEST_VERSIONS: FilesStoredVersions;
+/** The stored versions of a sync's report (`FILES/` `lastSync`, `FILESJOB/` `report`). */
+export declare const FILES_REPORT_VERSIONS: FilesStoredVersions;
+/** The stored versions of a sync as filed (`FILESJOB/` `value`). */
+export declare const FILES_JOB_VERSIONS: FilesStoredVersions;
+/** The stored versions of the declarations a history entry left (`RELEASE/` `files`). */
+export declare const FILES_HISTORY_VERSIONS: FilesStoredVersions;
+export {};
+//# sourceMappingURL=compat.d.ts.map