@elaraai/e3-cloud-files 1.0.94 → 1.1.0

package/dist/src/authoring.js

@@ -3,28 +3,38 @@
  * Licensed under BSL 1.1. See LICENSE for details.
  */
 /**
- * Declaring which inputs come from files.
+ * Declaring which inputs come from files, and which records are seeded or
+ * fed from them.
  *
  * ```ts
  * export const upload = Files.source('upload');
- * export const rates  = upload.file('rates', { key: 'rates.json' });
- * export const stock  = upload.latest('stock', { prefix: 'stock/' });
- * export const orders = upload.folder('orders', { prefix: 'orders/', include: '*.json' });
+ * export const rates  = upload.file('rates', { key: 'rates.json' });                           // a Blob
+ * export const orders = upload.file('orders', { key: 'orders.beast2', type: ArrayType(Order) }); // an Array<Order>
+ * export const stock  = upload.latest('stock', { prefix: 'stock/', type: ArrayType(Stock) });
+ * export const files  = upload.folder('invoices', { prefix: 'invoices/', include: '*.pdf' });
+ * upload.mutation(priceBook.mutations.load_prices, { key: 'prices.beast2' });                  // each new file calls it
  * export default Files.manifest([upload]);
  * ```
  *
- * Each declaration is an ordinary `e3.input` with no default, so the package
- * is plain e3 and tasks take these inputs as any other. A sync fills them;
- * until the first, they are unassigned. What each source's files fill is the
+ * Each input declaration is an ordinary `e3.input` with no default, so the
+ * package is plain e3 and tasks take these inputs as any other. A sync fills
+ * them; until the first, they are unassigned. A `file` or `latest` that
+ * names a `type` is an input of that type, filled with the beast2 value the
+ * file holds; one that names none is a `Blob`, filled with the file's
+ * bytes. A record seeded here is an `e3.record` with no initial value,
+ * declared whole with its indexes, mutations and migrations. A mutation fed
+ * here is one a record of the package declares, a `reduce` or an `edit`
+ * taking one argument (`record.mutations.<name>`): a sync calls it once with
+ * each new file's value. What each source's files fill is the
  * {@link Files.manifest}, which `e3-cloud files deploy` deploys beside the
  * package.
  *
  * @packageDocumentation
  */
 import e3 from '@elaraai/e3';
-import { none, some, variant } from '@elaraai/east';
+import { none, some, toEastTypeValue, variant } from '@elaraai/east';
 import { nameProblem } from '@elaraai/e3-types';
-import { FilesFileType, FilesFolderType, FilesListingType, filesProblemText, } from '@elaraai/e3-cloud-types';
+import { FilesFileType, FilesFolderType, FilesListingType, filesProblemText, sameFilesTarget, } from '@elaraai/e3-cloud-types';
 import { includeProblem, keyProblem, prefixProblem } from './paths.js';
 /** Thrown when declarations are not well-formed, naming every problem. */
 export class FilesDeclarationError extends Error {
@@ -46,16 +56,21 @@ function nameProblems(kind, name) {
     const reason = nameProblem('workspace', name);
     return reason === null ? [] : [variant('invalid_name', { kind, name, reason })];
 }
+/** A key's problems. */
+function keyProblems(target, key) {
+    const reason = keyProblem(key);
+    return reason === null ? [] : [variant('invalid_key', { target, key, reason })];
+}
 /** A selection's problems. */
-function selectionProblems(input, selection) {
+function selectionProblems(target, selection) {
     const problems = [];
     const prefix = prefixProblem(selection.prefix);
     if (prefix !== null)
-        problems.push(variant('invalid_key', { input, key: selection.prefix, reason: prefix }));
+        problems.push(variant('invalid_key', { target, key: selection.prefix, reason: prefix }));
     if (selection.include !== undefined) {
         const include = includeProblem(selection.include);
         if (include !== null)
-            problems.push(variant('invalid_include', { input, include: selection.include, reason: include }));
+            problems.push(variant('invalid_include', { target, include: selection.include, reason: include }));
     }
     return problems;
 }
@@ -63,9 +78,23 @@ function selectionProblems(input, selection) {
 function selected(selection) {
     return { prefix: selection.prefix, include: selection.include === undefined ? none : some(selection.include) };
 }
+/** Whether a spec names one file, rather than a selection. */
+function isKeySpec(spec) {
+    return 'key' in spec;
+}
+/**
+ * The shape of a spec that selects one file, typed: `file` or `latest`, with
+ * the type, and its problems.
+ */
+function oneFileShape(target, spec, type) {
+    const typeValue = some(toEastTypeValue(type));
+    if (isKeySpec(spec))
+        return { shape: variant('file', { key: spec.key, type: typeValue }), problems: keyProblems(target, spec.key) };
+    return { shape: variant('latest', { ...selected(spec), type: typeValue }), problems: selectionProblems(target, spec) };
+}
 /**
  * A source of files: a name each workspace binds to a bucket and a prefix,
- * and the inputs its files fill.
+ * and the inputs, records and mutations its files fill.
  */
 export class FilesSource {
     /** The source's name */
@@ -76,38 +105,31 @@ export class FilesSource {
         refuse(nameProblems('source', name));
         this.name = name;
     }
-    /** The inputs this source fills, in the order they were declared. */
+    /** The targets this source fills, in the order they were declared. */
     get mappings() {
         return this.#mappings;
     }
-    /** Records a mapping and makes its input. */
-    #declare(input, type, shape, problems) {
-        refuse([...nameProblems('input', input), ...problems]);
-        this.#mappings.push({ input, source: this.name, shape });
+    /** Records a mapping, refusing its problems first. */
+    #declare(target, shape, problems) {
+        refuse(problems);
+        this.#mappings.push({ target, source: this.name, shape });
+    }
+    /** Records an input's mapping and makes its input. */
+    #input(input, type, shape, problems) {
+        this.#declare(variant('input', input), shape, [...nameProblems('input', input), ...problems]);
         return e3.input(input, type);
     }
-    /**
-     * One file, as a `Blob`: the input `.inputs.<input>`.
-     *
-     * @param input - The input's name
-     * @param spec - `key`: the file, relative to where the workspace binds the source
-     * @returns The input, for tasks to take
-     */
     file(input, spec) {
-        const reason = keyProblem(spec.key);
-        const problems = reason === null ? [] : [variant('invalid_key', { input, key: spec.key, reason })];
-        return this.#declare(input, FilesFileType, variant('file', { key: spec.key }), problems);
+        const target = variant('input', input);
+        const type = 'type' in spec ? spec.type : FilesFileType;
+        const shape = variant('file', { key: spec.key, type: 'type' in spec ? some(toEastTypeValue(spec.type)) : none });
+        return this.#input(input, type, shape, keyProblems(target, spec.key));
     }
-    /**
-     * The newest file under a prefix, as a `Blob`: the greatest key that matches
-     * `include`, so files named by their time pick the latest.
-     *
-     * @param input - The input's name
-     * @param spec - The prefix, and a glob over the paths under it
-     * @returns The input, for tasks to take
-     */
     latest(input, spec) {
-        return this.#declare(input, FilesFileType, variant('latest', selected(spec)), selectionProblems(input, spec));
+        const target = variant('input', input);
+        const type = 'type' in spec ? spec.type : FilesFileType;
+        const shape = variant('latest', { ...selected(spec), type: 'type' in spec ? some(toEastTypeValue(spec.type)) : none });
+        return this.#input(input, type, shape, selectionProblems(target, spec));
     }
     /**
      * Every file under a prefix that matches `include`, as a
@@ -118,7 +140,7 @@ export class FilesSource {
      * @returns The input, for tasks to take
      */
     folder(input, spec) {
-        return this.#declare(input, FilesFolderType, variant('folder', selected(spec)), selectionProblems(input, spec));
+        return this.#input(input, FilesFolderType, variant('folder', selected(spec)), selectionProblems(variant('input', input), spec));
     }
     /**
      * The files under a prefix that match `include`, without their bytes: each
@@ -130,7 +152,61 @@ export class FilesSource {
      * @returns The input, for tasks to take
      */
     listing(input, spec) {
-        return this.#declare(input, FilesListingType, variant('listing', selected(spec)), selectionProblems(input, spec));
+        return this.#input(input, FilesListingType, variant('listing', selected(spec)), selectionProblems(variant('input', input), spec));
+    }
+    /**
+     * A record seeded from a file: declared with no initial value, so it is
+     * pending until its file arrives, which is its first state (`$init`;
+     * nothing runs on an empty state first, and its dependents wait as they
+     * wait on an unset input); seeded again (`$seed`) while nothing has
+     * mutated it since, or when a sync is asked to reset it; kept otherwise.
+     * It is declared whole, as any record is: its indexes, mutations and
+     * migrations are given here, as `e3.record` takes them.
+     *
+     * @param name - The record's name
+     * @param type - Its state's type, which the file must hold
+     * @param spec - One file (`key`), or the newest under a prefix (`prefix`, `include`)
+     * @param parts - Its indexes, mutations and migrations, as `e3.record` takes them; none when omitted
+     * @returns The record, for tasks to take and its mutations to be fed: `e3.record(name, type, parts)`
+     * @throws {FilesDeclarationError} When the name is one e3 refuses, or the spec is
+     * @throws {Error} When `parts` holds an initial value, or holds what `e3.record` refuses, naming it
+     */
+    record(name, type, spec, parts) {
+        const target = variant('record', name);
+        refuse(nameProblems('record', name));
+        // Built before its mapping is recorded, so a part e3 refuses leaves the source as it was
+        const record = e3.record(name, type, parts);
+        // `default` is where a record keeps its initial value, there whether a value or a function that makes one (never called here)
+        if ('default' in record)
+            throw new Error(`record ${name}: a record seeded from a file declares no initial value, since its file is its first state`);
+        const { shape, problems } = oneFileShape(target, spec, type);
+        this.#declare(target, shape, problems);
+        return record;
+    }
+    /**
+     * A record's mutation, fed: a sync calls it once with each new file's
+     * value, which must be of the mutation's one argument's type. The
+     * mutation is one a record of the package declares, a `reduce` or an
+     * `edit` taking exactly one argument; a `patch` mutation takes a patch,
+     * not a value, so it cannot be fed.
+     *
+     * @param def - The mutation, as its record holds it: `record.mutations.<name>`, a `mutation.reduce(...)` or `mutation.edit(...)` of its declaration
+     * @param spec - One file (`key`), or the newest under a prefix (`prefix`, `include`)
+     * @returns The mutation, as given
+     * @throws {FilesDeclarationError} When the mutation takes other than one argument, or is a `patch`
+     */
+    mutation(def, spec) {
+        const record = def.record.name;
+        const target = variant('mutation', { record, mutation: def.name });
+        const problems = [...nameProblems('record', record), ...nameProblems('mutation', def.name)];
+        if (def.form === 'patch')
+            problems.push(variant('mutation_patch', { record, mutation: def.name }));
+        else if (def.argTypes.length !== 1)
+            problems.push(variant('mutation_arity', { record, mutation: def.name, arity: BigInt(def.argTypes.length) }));
+        refuse(problems);
+        const { shape, problems: specProblems } = oneFileShape(target, spec, def.argTypes[0]);
+        this.#declare(target, shape, specProblems);
+        return def;
     }
 }
 /** Declaring files. */
@@ -139,7 +215,7 @@ export const Files = {
      * A source of files, which each workspace binds to a bucket and a prefix.
      *
      * @param name - Its name, unique among a solution's sources
-     * @returns The source, whose methods declare the inputs it fills
+     * @returns The source, whose methods declare what its files fill
      * @throws {FilesDeclarationError} When the name is one e3 refuses
      */
     source(name) {
@@ -147,17 +223,17 @@ export const Files = {
     },
     /**
      * The declarations `e3-cloud files deploy` deploys: the sources, and the
-     * inputs their files fill.
+     * inputs, records and mutations their files fill.
      *
      * @param sources - Every source
      * @returns The manifest, an East value of `FilesManifestType`
      * @throws {FilesDeclarationError} When two sources share a name, or two
-     *   mappings fill one input
+     *   mappings fill one target
      */
     manifest(sources) {
         const problems = [];
         const names = new Set();
-        const inputs = new Set();
+        const targets = [];
         const mappings = [];
         for (const source of sources) {
             if (names.has(source.name)) {
@@ -165,9 +241,9 @@ export const Files = {
             }
             names.add(source.name);
             for (const mapping of source.mappings) {
-                if (inputs.has(mapping.input))
-                    problems.push(variant('duplicate_input', { input: mapping.input }));
-                inputs.add(mapping.input);
+                if (targets.some((t) => sameFilesTarget(t, mapping.target)))
+                    problems.push(variant('duplicate_target', { target: mapping.target }));
+                targets.push(mapping.target);
                 mappings.push(mapping);
             }
         }

package/dist/src/authoring.js.map

@@ -1 +1 @@
-{"version":3,"file":"authoring.js","sourceRoot":"","sources":["../../src/authoring.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,MAAM,aAAa,CAAC;AAC7B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAiB,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACL,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAChD,gBAAgB,GAEjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAavE,0EAA0E;AAC1E,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC9C,oBAAoB;IACX,QAAQ,CAA0B;IAE3C,YAAY,QAAiC;QAC3C,KAAK,CAAC,gDAAgD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtH,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF;AAED,sDAAsD;AACtD,SAAS,MAAM,CAAC,QAAiC;IAC/C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,QAAQ,CAAC,CAAC;AACrE,CAAC;AAED,8DAA8D;AAC9D,SAAS,YAAY,CAAC,IAAwB,EAAE,IAAY;IAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC9C,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,8BAA8B;AAC9B,SAAS,iBAAiB,CAAC,KAAa,EAAE,SAAyB;IACjE,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,MAAM,KAAK,IAAI;QAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7G,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,OAAO,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IAC1H,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,kCAAkC;AAClC,SAAS,QAAQ,CAAC,SAAyB;IACzC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;AACjH,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,WAAW;IACtB,wBAAwB;IACf,IAAI,CAAS;IACb,SAAS,GAAmB,EAAE,CAAC;IAExC,0CAA0C;IAC1C,YAAY,IAAY;QACtB,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,qEAAqE;IACrE,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,6CAA6C;IAC7C,QAAQ,CAA0C,KAAW,EAAE,IAAO,EAAE,KAAiB,EAAE,QAAwB;QACjH,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACzD,OAAO,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;;OAMG;IACH,IAAI,CAAsB,KAAW,EAAE,IAA8B;QACnE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAmB,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACnH,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC3F,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAsB,KAAW,EAAE,IAAoB;QAC3D,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAChH,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAsB,KAAW,EAAE,IAAoB;QAC3D,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAClH,CAAC;IAED;;;;;;;;OAQG;IACH,OAAO,CAAsB,KAAW,EAAE,IAAoB;QAC5D,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,EAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IACpH,CAAC;CACF;AAED,uBAAuB;AACvB,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB;;;;;;OAMG;IACH,MAAM,CAAC,IAAY;QACjB,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAA+B;QACtC,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;YAC7G,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACvB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACtC,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBACnG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjB,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC3C,CAAC;CACF,CAAC"}
+{"version":3,"file":"authoring.js","sourceRoot":"","sources":["../../src/authoring.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAgF,MAAM,aAAa,CAAC;AAC3G,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAiB,MAAM,eAAe,CAAC;AACpF,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACL,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAChD,gBAAgB,EAAE,eAAe,GAElC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AA0CvE,0EAA0E;AAC1E,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC9C,oBAAoB;IACX,QAAQ,CAA0B;IAE3C,YAAY,QAAiC;QAC3C,KAAK,CAAC,gDAAgD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtH,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF;AAED,sDAAsD;AACtD,SAAS,MAAM,CAAC,QAAiC;IAC/C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,QAAQ,CAAC,CAAC;AACrE,CAAC;AAED,8DAA8D;AAC9D,SAAS,YAAY,CAAC,IAAgD,EAAE,IAAY;IAClF,MAAM,MAAM,GAAG,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC9C,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,wBAAwB;AACxB,SAAS,WAAW,CAAC,MAAmB,EAAE,GAAW;IACnD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC/B,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,8BAA8B;AAC9B,SAAS,iBAAiB,CAAC,MAAmB,EAAE,SAAyB;IACvE,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,MAAM,KAAK,IAAI;QAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9G,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,OAAO,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IAC3H,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,kCAAkC;AAClC,SAAS,QAAQ,CAAC,SAAyB;IACzC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;AACjH,CAAC;AAED,8DAA8D;AAC9D,SAAS,SAAS,CAAC,IAAmC;IACpD,OAAO,KAAK,IAAI,IAAI,CAAC;AACvB,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,MAAmB,EAAE,IAAmC,EAAE,IAAc;IAC5F,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,IAAI,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACpI,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;AACzH,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,WAAW;IACtB,wBAAwB;IACf,IAAI,CAAS;IACb,SAAS,GAAmB,EAAE,CAAC;IAExC,0CAA0C;IAC1C,YAAY,IAAY;QACtB,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,sEAAsE;IACtE,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,sDAAsD;IACtD,QAAQ,CAAC,MAAmB,EAAE,KAAiB,EAAE,QAAwB;QACvE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,sDAAsD;IACtD,MAAM,CAA0C,KAAW,EAAE,IAAO,EAAE,KAAiB,EAAE,QAAwB;QAC/G,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;QAC9F,OAAO,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC;IAaD,IAAI,CAA0C,KAAW,EAAE,IAAyC;QAClG,MAAM,MAAM,GAAgB,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC;QACxD,MAAM,KAAK,GAAe,OAAO,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7H,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACxE,CAAC;IAaD,MAAM,CAA0C,KAAW,EAAE,IAA6C;QACxG,MAAM,MAAM,GAAgB,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC;QACxD,MAAM,KAAK,GAAe,OAAO,CAAC,QAAQ,EAAE,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnI,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAsB,KAAW,EAAE,IAAoB;QAC3D,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAClI,CAAC;IAED;;;;;;;;OAQG;IACH,OAAO,CAAsB,KAAW,EAAE,IAAoB;QAC5D,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,EAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACpI,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,CAKJ,IAAU,EAAE,IAAO,EAAE,IAAmC,EAAE,KAAiC;QAC3F,MAAM,MAAM,GAAgB,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QACrC,yFAAyF;QACzF,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAgB,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3D,8HAA8H;QAC9H,IAAI,SAAS,IAAI,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,UAAU,IAAI,4FAA4F,CAAC,CAAC;QACrJ,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7D,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;;;;;;OAWG;IACH,QAAQ,CAAwB,GAAM,EAAE,IAAmC;QACzE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAC/B,MAAM,MAAM,GAAgB,OAAO,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAChF,MAAM,QAAQ,GAAmB,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,YAAY,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5G,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;aAC9F,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACjJ,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjB,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;QACvF,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QAC3C,OAAO,GAAG,CAAC;IACb,CAAC;CACF;AAED,uBAAuB;AACvB,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB;;;;;;OAMG;IACH,MAAM,CAAC,IAAY;QACjB,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAA+B;QACtC,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,MAAM,OAAO,GAAkB,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;YAC7G,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACvB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACtC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;gBACpI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjB,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC3C,CAAC;CACF,CAAC"}

package/dist/src/check/index.d.ts

@@ -4,12 +4,11 @@
  */
 /**
  * `@elaraai/e3-cloud-files/check`: the checks a deploy of declarations and a
- * bind run, and the keys, prefixes, globs and URLs they hold to, without the
- * authoring (which needs `@elaraai/e3`): what the CLI and the platform
- * import.
+ * bind run, and the reading of a package's inputs, records and mutations
+ * they are checked against.
  *
  * @packageDocumentation
  */
-export { checkFiles, checkBindings, readPackageInputs, shapeType, type PackageInput, type ObjectReader, type BindingPolicy, } from '../check.js';
+export { checkFiles, checkBindings, readPackageInputs, readPackageSurface, shapeType, type PackageInput, type PackageRecord, type PackageMutation, type PackageSurface, type ObjectReader, type BindingPolicy, } from '../check.js';
 export { globMatcher, parseBucketUrl, keyProblem, prefixProblem, includeProblem, type BucketLocation } from '../paths.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/src/check/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/check/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,aAAa,EACb,iBAAiB,EACjB,SAAS,EACT,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,cAAc,EAAE,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/check/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EACL,UAAU,EACV,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,SAAS,EACT,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,cAAc,EAAE,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC"}

package/dist/src/check/index.js

@@ -4,12 +4,11 @@
  */
 /**
  * `@elaraai/e3-cloud-files/check`: the checks a deploy of declarations and a
- * bind run, and the keys, prefixes, globs and URLs they hold to, without the
- * authoring (which needs `@elaraai/e3`): what the CLI and the platform
- * import.
+ * bind run, and the reading of a package's inputs, records and mutations
+ * they are checked against.
  *
  * @packageDocumentation
  */
-export { checkFiles, checkBindings, readPackageInputs, shapeType, } from '../check.js';
+export { checkFiles, checkBindings, readPackageInputs, readPackageSurface, shapeType, } from '../check.js';
 export { globMatcher, parseBucketUrl, keyProblem, prefixProblem, includeProblem } from '../paths.js';
 //# sourceMappingURL=index.js.map

package/dist/src/check/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/check/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EACV,aAAa,EACb,iBAAiB,EACjB,SAAS,GAIV,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,cAAc,EAAuB,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/check/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EACL,UAAU,EACV,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,SAAS,GAOV,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,cAAc,EAAuB,MAAM,aAAa,CAAC"}

package/dist/src/check.d.ts

@@ -6,15 +6,19 @@
  * 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 { type EastTypeValue } from '@elaraai/east';
+import { type MutationForm } from '@elaraai/e3-types';
 import { type FilesBinding, type FilesManifest, type FilesProblem, type FilesShape } from '@elaraai/e3-cloud-types';
 /** An input of a package. */
 export interface PackageInput {
@@ -23,9 +27,28 @@ export interface PackageInput {
     /** Whether anything may write it: inputs are writable; task outputs and records are not */
     readonly writable: boolean;
 }
+/** A mutation of a package's record. */
+export interface PackageMutation {
+    /** Its form: `reduce`, `edit` or `patch` */
+    readonly form: MutationForm;
+    /** The types of its arguments after the state */
+    readonly argTypes: readonly EastTypeValue[];
+}
+/** A record of a package. */
+export interface PackageRecord {
+    /** Its state's type, as the package declares it */
+    readonly type: EastTypeValue;
+    /** Its mutations, by name */
+    readonly mutations: ReadonlyMap<string, PackageMutation>;
+}
+/** What of a package Files' declarations may fill: its inputs, and its records with their mutations. */
+export interface PackageSurface {
+    readonly inputs: ReadonlyMap<string, PackageInput>;
+    readonly records: ReadonlyMap<string, PackageRecord>;
+}
 /** Reads an object of a package's repository by hash. */
 export type ObjectReader = (hash: string) => Promise<Uint8Array>;
-/** The type a shape's input holds. */
+/** The type a shape fills its target with: the type it names, else its `Blob` form. */
 export declare function shapeType(shape: FilesShape): EastTypeValue;
 /**
  * Reads a package's inputs, `.inputs.<name>`, from its objects.
@@ -35,15 +58,27 @@ export declare function shapeType(shape: FilesShape): EastTypeValue;
  * @returns Each input, by name
  */
 export declare function readPackageInputs(read: ObjectReader, packageHash: string): Promise<Map<string, PackageInput>>;
+/**
+ * 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 declare function readPackageSurface(read: ObjectReader, packageHash: string): Promise<PackageSurface>;
 /**
  * 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 declare function checkFiles(manifest: FilesManifest, inputs: ReadonlyMap<string, PackageInput>): FilesProblem[];
+export declare function checkFiles(manifest: FilesManifest, pkg: PackageSurface): FilesProblem[];
 /** Where a binding may point: for a deployed workspace, the sources the deployment grants. */
 export interface BindingPolicy {
     /** Whether the bindings are a local repository's, where `profile` and `latest` apply */

package/dist/src/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;GAWG;AAEH,OAAO,EAAoD,KAAK,aAAa,EAAE,MAAM,eAAe,CAAC;AAErG,OAAO,EAEL,KAAK,YAAY,EAAE,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,KAAK,UAAU,EAC1E,MAAM,yBAAyB,CAAC;AAGjC,6BAA6B;AAC7B,MAAM,WAAW,YAAY;IAC3B,eAAe;IACf,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,yDAAyD;AACzD,MAAM,MAAM,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;AAIjE,sCAAsC;AACtC,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,CAU1D;AAED;;;;;;GAMG;AACH,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAWnH;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,YAAY,EAAE,CAgC7G;AAED,8FAA8F;AAC9F,MAAM,WAAW,aAAa;IAC5B,wFAAwF;IACxF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,gGAAgG;IAChG,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;CACjG;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,YAAY,EAAE,EAAE,MAAM,EAAE,aAAa,GAAG,YAAY,EAAE,CAuB/H"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAoD,KAAK,aAAa,EAAE,MAAM,eAAe,CAAC;AACrG,OAAO,EAAiE,KAAK,YAAY,EAAkB,MAAM,mBAAmB,CAAC;AACrI,OAAO,EAEL,KAAK,YAAY,EAAE,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,KAAK,UAAU,EAC1E,MAAM,yBAAyB,CAAC;AAGjC,6BAA6B;AAC7B,MAAM,WAAW,YAAY;IAC3B,eAAe;IACf,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,wCAAwC;AACxC,MAAM,WAAW,eAAe;IAC9B,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,iDAAiD;IACjD,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;CAC7C;AAED,6BAA6B;AAC7B,MAAM,WAAW,aAAa;IAC5B,mDAAmD;IACnD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,6BAA6B;IAC7B,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CAC1D;AAED,wGAAwG;AACxG,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CACtD;AAED,yDAAyD;AACzD,MAAM,MAAM,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;AAIjE,uFAAuF;AACvF,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,CAU1D;AAcD;;;;;;GAMG;AACH,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAGnH;AAED;;;;;;;;GAQG;AACH,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAkBzG;AAuBD;;;;;;;;;GASG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,EAAE,cAAc,GAAG,YAAY,EAAE,CA0CvF;AAED,8FAA8F;AAC9F,MAAM,WAAW,aAAa;IAC5B,wFAAwF;IACxF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,gGAAgG;IAChG,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;CACjG;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,YAAY,EAAE,EAAE,MAAM,EAAE,aAAa,GAAG,YAAY,EAAE,CAuB/H"}