@braidlabs/skew 0.1.1

package/src/lib/lens.js

@@ -0,0 +1,337 @@
+// --- path helpers -----------------------------------------------------------
+function segmentsOf(path) {
+    if (typeof path !== 'string' || path.length === 0) {
+        throw new TypeError(`lens: op path must be a non-empty string, got ${JSON.stringify(path)}`);
+    }
+    return path.split('.');
+}
+function getAt(scope, segments) {
+    let current = scope;
+    for (const segment of segments) {
+        if (typeof current !== 'object' || current === null)
+            return undefined;
+        current = current[segment];
+    }
+    return current;
+}
+function setAt(scope, segments, value) {
+    let current = scope;
+    for (let i = 0; i < segments.length - 1; i++) {
+        const segment = segments[i];
+        const next = current[segment];
+        if (typeof next !== 'object' || next === null) {
+            const created = {};
+            current[segment] = created;
+            current = created;
+        }
+        else {
+            current = next;
+        }
+    }
+    current[segments[segments.length - 1]] = value;
+}
+function deleteAt(scope, segments) {
+    // Walk down, remembering the chain so empties can be pruned on the way up.
+    const parents = [];
+    let current = scope;
+    for (let i = 0; i < segments.length - 1; i++) {
+        if (typeof current !== 'object' || current === null)
+            return;
+        parents.push(current);
+        current = current[segments[i]];
+    }
+    if (typeof current !== 'object' || current === null)
+        return;
+    delete current[segments[segments.length - 1]];
+    // An intermediate object this deletion emptied was (in the shapes lenses
+    // describe) created *for* the deleted field — an up-migration's `move` or
+    // `default` built it on the way in. Leaving `liquidity: {}` behind on the
+    // way down would put a field in the projection that the older shape never
+    // had. Prune upward until a non-empty ancestor stops us; the root scope is
+    // never pruned.
+    let child = current;
+    for (let i = parents.length - 1; i >= 0; i--) {
+        if (Array.isArray(child) || Object.keys(child).length > 0)
+            break;
+        const parent = parents[i];
+        delete parent[segments[i]];
+        child = parent;
+    }
+}
+function compileValueSpec(spec) {
+    if (typeof spec === 'object' && spec !== null && !Array.isArray(spec)) {
+        const record = spec;
+        if (record['$now'] === true) {
+            return { resolve: (_scope, _root, ctx) => ctx.now().toISOString(), derived: true };
+        }
+        if (typeof record['$from'] === 'string') {
+            const path = record['$from'];
+            const fromRoot = path.startsWith('/');
+            const segments = segmentsOf(fromRoot ? path.slice(1) : path);
+            return {
+                resolve: (scope, root) => getAt(fromRoot ? root : scope, segments),
+                derived: false,
+            };
+        }
+        if ('$value' in record) {
+            const literal = record['$value'];
+            return { resolve: () => literal, derived: true };
+        }
+    }
+    return { resolve: () => spec, derived: true };
+}
+function fail(message) {
+    throw new TypeError(`lens: ${message}`);
+}
+function compileOp(op) {
+    var _a;
+    if (typeof op !== 'object' || op === null)
+        fail(`op must be an object, got ${JSON.stringify(op)}`);
+    const keys = Object.keys(op);
+    if (keys.length !== 1)
+        fail(`op must have exactly one key, got ${JSON.stringify(keys)}`);
+    const kind = keys[0];
+    switch (kind) {
+        case 'rename':
+        case 'move': {
+            const { from, to } = (_a = op.rename) !== null && _a !== void 0 ? _a : op.move;
+            const fromSegments = segmentsOf(from);
+            const toSegments = segmentsOf(to);
+            const moveValue = (source, target) => {
+                return (scope) => {
+                    const value = getAt(scope, source);
+                    deleteAt(scope, source);
+                    if (value !== undefined)
+                        setAt(scope, target, value);
+                };
+            };
+            return {
+                up: moveValue(fromSegments, toSegments),
+                down: moveValue(toSegments, fromSegments),
+                derivedUp: [],
+                derivedDown: [],
+                lossyDown: [],
+            };
+        }
+        case 'wrap': {
+            const { path, key, also } = op
+                .wrap;
+            const segments = segmentsOf(path);
+            if (typeof key !== 'string' || key.length === 0)
+                fail(`wrap at "${path}" needs a non-empty key`);
+            const alsoEntries = Object.entries(also !== null && also !== void 0 ? also : {}).map(([alsoKey, spec]) => [alsoKey, compileValueSpec(spec)]);
+            return {
+                up: (scope, root, ctx) => {
+                    const scalar = getAt(scope, segments);
+                    const wrapped = { [key]: scalar };
+                    for (const [alsoKey, spec] of alsoEntries) {
+                        wrapped[alsoKey] = spec.resolve(scope, root, ctx);
+                    }
+                    setAt(scope, segments, wrapped);
+                },
+                down: (scope) => {
+                    const wrapped = getAt(scope, segments);
+                    if (typeof wrapped !== 'object' || wrapped === null) {
+                        throw new Error(`lens: expected an object at "${path}" to unwrap "${key}" from`);
+                    }
+                    setAt(scope, segments, wrapped[key]);
+                },
+                derivedUp: alsoEntries.filter(([, spec]) => spec.derived).map(([alsoKey]) => `${path}.${alsoKey}`),
+                derivedDown: [],
+                // Everything wrap added beside the original scalar is discarded on the
+                // way down — that is the information the older shape cannot carry.
+                lossyDown: alsoEntries.map(([alsoKey]) => `${path}.${alsoKey}`),
+            };
+        }
+        case 'hoist': {
+            const { path, key } = op.hoist;
+            const segments = segmentsOf(path);
+            if (typeof key !== 'string' || key.length === 0)
+                fail(`hoist at "${path}" needs a non-empty key`);
+            return {
+                up: (scope) => {
+                    const source = getAt(scope, segments);
+                    if (typeof source !== 'object' || source === null) {
+                        throw new Error(`lens: expected an object at "${path}" to hoist "${key}" from`);
+                    }
+                    setAt(scope, segments, source[key]);
+                },
+                down: (scope) => {
+                    setAt(scope, segments, { [key]: getAt(scope, segments) });
+                },
+                derivedUp: [],
+                derivedDown: [],
+                lossyDown: [],
+            };
+        }
+        case 'map': {
+            const { path, ops } = op.map;
+            const segments = segmentsOf(path);
+            const inner = compileOps(ops);
+            const overArray = (apply) => {
+                return (scope, root, ctx) => {
+                    const list = getAt(scope, segments);
+                    if (list === undefined)
+                        return;
+                    if (!Array.isArray(list))
+                        throw new Error(`lens: expected an array at "${path}" to map over`);
+                    for (const element of list) {
+                        for (const step of apply)
+                            step(element, root, ctx);
+                    }
+                };
+            };
+            const prefix = (paths) => paths.map((p) => `${path}[].${p}`);
+            return {
+                up: overArray(inner.ops.map((o) => o.up)),
+                down: inner.invertible
+                    ? overArray([...inner.ops].reverse().map((o) => o.down))
+                    : null,
+                derivedUp: prefix(inner.derivedUp),
+                derivedDown: prefix(inner.derivedDown),
+                lossyDown: prefix(inner.lossyDown),
+            };
+        }
+        case 'default': {
+            const { path, value, derived = true } = op.default;
+            const segments = segmentsOf(path);
+            return {
+                up: (scope) => {
+                    if (getAt(scope, segments) === undefined)
+                        setAt(scope, segments, structuredClone(value));
+                },
+                down: (scope) => deleteAt(scope, segments),
+                derivedUp: derived ? [path] : [],
+                derivedDown: [],
+                lossyDown: [path],
+            };
+        }
+        case 'drop': {
+            const dropOp = op.drop;
+            const segments = segmentsOf(dropOp.path);
+            const restorable = 'restore' in dropOp;
+            return {
+                up: (scope) => deleteAt(scope, segments),
+                down: restorable ? (scope) => setAt(scope, segments, structuredClone(dropOp.restore)) : null,
+                derivedUp: [],
+                derivedDown: restorable ? [dropOp.path] : [],
+                lossyDown: [],
+            };
+        }
+        case 'convert': {
+            const { path, to, via } = op.convert;
+            const segments = segmentsOf(path);
+            if (to !== 'string' && to !== 'number')
+                fail(`convert at "${path}" must target 'string' or 'number'`);
+            const coerce = (target, table) => {
+                return (scope) => {
+                    const current = getAt(scope, segments);
+                    if (current === undefined)
+                        return;
+                    if (table) {
+                        const mapped = table[String(current)];
+                        if (mapped === undefined) {
+                            throw new Error(`lens: convert at "${path}" has no mapping for ${JSON.stringify(current)}`);
+                        }
+                        setAt(scope, segments, mapped);
+                        return;
+                    }
+                    const converted = target === 'string' ? String(current) : Number(current);
+                    if (target === 'number' && Number.isNaN(converted)) {
+                        throw new Error(`lens: convert at "${path}" could not read ${JSON.stringify(current)} as a number`);
+                    }
+                    setAt(scope, segments, converted);
+                };
+            };
+            let inverseTable = null;
+            let invertible = true;
+            if (via) {
+                inverseTable = {};
+                for (const [key, mapped] of Object.entries(via)) {
+                    const inverseKey = String(mapped);
+                    if (inverseKey in inverseTable) {
+                        // Two old values map to the same new one — the down direction
+                        // cannot know which to restore.
+                        invertible = false;
+                        break;
+                    }
+                    inverseTable[inverseKey] = coerceKeyBack(key, to === 'string' ? 'number' : 'string');
+                }
+            }
+            return {
+                up: coerce(to, via !== null && via !== void 0 ? via : null),
+                down: invertible ? coerce(to === 'string' ? 'number' : 'string', inverseTable) : null,
+                derivedUp: [],
+                derivedDown: [],
+                lossyDown: [],
+            };
+        }
+        case 'const': {
+            const { path, value, derived = false } = op.const;
+            const segments = segmentsOf(path);
+            return {
+                up: (scope) => setAt(scope, segments, structuredClone(value)),
+                down: (scope) => deleteAt(scope, segments),
+                derivedUp: derived ? [path] : [],
+                derivedDown: [],
+                lossyDown: [path],
+            };
+        }
+        default:
+            return fail(`unknown op "${kind}"`);
+    }
+}
+/**
+ * `via` keys arrive as strings (JSON object keys always are). When the down
+ * direction restores an *old* value that was numeric, give it back as the
+ * number it was.
+ */
+function coerceKeyBack(key, oldKind) {
+    if (oldKind !== 'number')
+        return key;
+    const numeric = Number(key);
+    return Number.isNaN(numeric) ? key : numeric;
+}
+function compileOps(ops) {
+    if (!Array.isArray(ops))
+        fail('ops must be an array');
+    const compiled = ops.map(compileOp);
+    return {
+        ops: compiled,
+        invertible: compiled.every((o) => o.down !== null),
+        derivedUp: compiled.flatMap((o) => o.derivedUp),
+        derivedDown: compiled.flatMap((o) => o.derivedDown),
+        lossyDown: compiled.flatMap((o) => o.lossyDown),
+    };
+}
+/**
+ * Compiles an ops list into executable up and (when possible) down
+ * migrations. Throws `TypeError` on a malformed ops list — a bad contract is
+ * a programming error and should fail at declaration, not at read time.
+ */
+export function compileLens(ops) {
+    const compiled = compileOps(ops);
+    const up = (data, ctx) => {
+        const draft = structuredClone(data);
+        for (const op of compiled.ops)
+            op.up(draft, draft, ctx);
+        return draft;
+    };
+    const down = compiled.invertible
+        ? (data, ctx) => {
+            const draft = structuredClone(data);
+            for (const op of [...compiled.ops].reverse())
+                op.down(draft, draft, ctx);
+            return draft;
+        }
+        : null;
+    return {
+        up,
+        down,
+        invertible: compiled.invertible,
+        derivedUp: compiled.derivedUp,
+        derivedDown: compiled.derivedDown,
+        lossyDown: compiled.lossyDown,
+    };
+}
+//# sourceMappingURL=lens.js.map

package/src/lib/lens.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lens.js","sourceRoot":"","sources":["../../../../../libs/skew/src/lib/lens.ts"],"names":[],"mappings":"AAuHA,+EAA+E;AAE/E,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,SAAS,CAAC,iDAAiD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,KAAK,CAAC,KAAc,EAAE,QAA2B;IACxD,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACtE,OAAO,GAAI,OAAmC,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,KAAK,CAAC,KAAc,EAAE,QAA2B,EAAE,KAAc;IACxE,IAAI,OAAO,GAAG,KAAgC,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAW,CAAC;QACtC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAC9C,MAAM,OAAO,GAA4B,EAAE,CAAC;YAC5C,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;YAC3B,OAAO,GAAG,OAAO,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,IAA+B,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAW,CAAC,GAAG,KAAK,CAAC;AAC3D,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,QAA2B;IAC3D,2EAA2E;IAC3E,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO;QAC5D,OAAO,CAAC,IAAI,CAAC,OAAkC,CAAC,CAAC;QACjD,OAAO,GAAI,OAAmC,CAAC,QAAQ,CAAC,CAAC,CAAW,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO;IAC5D,OAAQ,OAAmC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAW,CAAC,CAAC;IAErF,yEAAyE;IACzE,0EAA0E;IAC1E,0EAA0E;IAC1E,0EAA0E;IAC1E,2EAA2E;IAC3E,gBAAgB;IAChB,IAAI,KAAK,GAAG,OAAkC,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM;QACjE,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAA4B,CAAC;QACrD,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAW,CAAC,CAAC;QACrC,KAAK,GAAG,MAAM,CAAC;IACjB,CAAC;AACH,CAAC;AAUD,SAAS,gBAAgB,CAAC,IAAmB;IAC3C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtE,MAAM,MAAM,GAAG,IAA+B,CAAC;QAC/C,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;YAC5B,OAAO,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACrF,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7D,OAAO;gBACL,OAAO,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC;gBAClE,OAAO,EAAE,KAAK;aACf,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;YACjC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAChD,CAAC;AAeD,SAAS,IAAI,CAAC,OAAe;IAC3B,MAAM,IAAI,SAAS,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,SAAS,CAAC,EAAU;;IAC3B,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI;QAAE,IAAI,CAAC,6BAA6B,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACnG,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,qCAAqC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzF,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAW,CAAC;IAE/B,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,MAAC,EAA+C,CAAC,MAAM,mCACzE,EAA6C,CAAC,IAAI,CAAC;YACtD,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,UAAU,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;YAClC,MAAM,SAAS,GAAG,CAAC,MAAyB,EAAE,MAAyB,EAAW,EAAE;gBAClF,OAAO,CAAC,KAAK,EAAE,EAAE;oBACf,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;oBACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;oBACxB,IAAI,KAAK,KAAK,SAAS;wBAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;gBACvD,CAAC,CAAC;YACJ,CAAC,CAAC;YACF,OAAO;gBACL,EAAE,EAAE,SAAS,CAAC,YAAY,EAAE,UAAU,CAAC;gBACvC,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,YAAY,CAAC;gBACzC,SAAS,EAAE,EAAE;gBACb,WAAW,EAAE,EAAE;gBACf,SAAS,EAAE,EAAE;aACd,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAI,EAAoF;iBAC9G,IAAI,CAAC;YACR,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,IAAI,CAAC,YAAY,IAAI,yBAAyB,CAAC,CAAC;YACjG,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,aAAJ,IAAI,cAAJ,IAAI,GAAI,EAAE,CAAC,CAAC,GAAG,CAChD,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAU,CAChE,CAAC;YACF,OAAO;gBACL,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;oBACvB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;oBACtC,MAAM,OAAO,GAA4B,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;oBAC3D,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;wBAC1C,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;oBACpD,CAAC;oBACD,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAClC,CAAC;gBACD,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;oBACd,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;oBACvC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;wBACpD,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,gBAAgB,GAAG,QAAQ,CAAC,CAAC;oBACnF,CAAC;oBACD,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAG,OAAmC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpE,CAAC;gBACD,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC;gBAClG,WAAW,EAAE,EAAE;gBACf,uEAAuE;gBACvE,mEAAmE;gBACnE,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC;aAChE,CAAC;QACJ,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAI,EAA+C,CAAC,KAAK,CAAC;YAC7E,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,IAAI,CAAC,aAAa,IAAI,yBAAyB,CAAC,CAAC;YAClG,OAAO;gBACL,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;oBACZ,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;oBACtC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;wBAClD,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,eAAe,GAAG,QAAQ,CAAC,CAAC;oBAClF,CAAC;oBACD,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAG,MAAkC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACnE,CAAC;gBACD,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;oBACd,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC5D,CAAC;gBACD,SAAS,EAAE,EAAE;gBACb,WAAW,EAAE,EAAE;gBACf,SAAS,EAAE,EAAE;aACd,CAAC;QACJ,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAI,EAAwD,CAAC,GAAG,CAAC;YACpF,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,SAAS,GAAG,CAAC,KAAyB,EAAW,EAAE;gBACvD,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;oBAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;oBACpC,IAAI,IAAI,KAAK,SAAS;wBAAE,OAAO;oBAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;wBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,IAAI,eAAe,CAAC,CAAC;oBAC9F,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;wBAC3B,KAAK,MAAM,IAAI,IAAI,KAAK;4BAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;oBACrD,CAAC;gBACH,CAAC,CAAC;YACJ,CAAC,CAAC;YACF,MAAM,MAAM,GAAG,CAAC,KAAwB,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;YAChF,OAAO;gBACL,EAAE,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACzC,IAAI,EAAE,KAAK,CAAC,UAAU;oBACpB,CAAC,CAAC,SAAS,CACP,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAe,CAAC,CACvD;oBACH,CAAC,CAAC,IAAI;gBACR,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;gBAClC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;gBACtC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;aACnC,CAAC;QACJ,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,EAAE,GACnC,EACD,CAAC,OAAO,CAAC;YACV,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO;gBACL,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;oBACZ,IAAI,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,SAAS;wBAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC3F,CAAC;gBACD,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;gBAC1C,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;gBAChC,WAAW,EAAE,EAAE;gBACf,SAAS,EAAE,CAAC,IAAI,CAAC;aAClB,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAI,EAAoD,CAAC,IAAI,CAAC;YAC1E,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,UAAU,GAAG,SAAS,IAAI,MAAM,CAAC;YACvC,OAAO;gBACL,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;gBACxC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;gBAC5F,SAAS,EAAE,EAAE;gBACb,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC5C,SAAS,EAAE,EAAE;aACd,CAAC;QACJ,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GACrB,EACD,CAAC,OAAO,CAAC;YACV,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,QAAQ;gBAAE,IAAI,CAAC,eAAe,IAAI,oCAAoC,CAAC,CAAC;YAEtG,MAAM,MAAM,GAAG,CAAC,MAA2B,EAAE,KAAqC,EAAW,EAAE;gBAC7F,OAAO,CAAC,KAAK,EAAE,EAAE;oBACf,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;oBACvC,IAAI,OAAO,KAAK,SAAS;wBAAE,OAAO;oBAClC,IAAI,KAAK,EAAE,CAAC;wBACV,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;wBACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;4BACzB,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,wBAAwB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;wBAC9F,CAAC;wBACD,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;wBAC/B,OAAO;oBACT,CAAC;oBACD,MAAM,SAAS,GAAG,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAC1E,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;wBACnD,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,oBAAoB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;oBACtG,CAAC;oBACD,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACpC,CAAC,CAAC;YACJ,CAAC,CAAC;YAEF,IAAI,YAAY,GAAmC,IAAI,CAAC;YACxD,IAAI,UAAU,GAAG,IAAI,CAAC;YACtB,IAAI,GAAG,EAAE,CAAC;gBACR,YAAY,GAAG,EAAE,CAAC;gBAClB,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;oBAChD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;oBAClC,IAAI,UAAU,IAAI,YAAY,EAAE,CAAC;wBAC/B,8DAA8D;wBAC9D,gCAAgC;wBAChC,UAAU,GAAG,KAAK,CAAC;wBACnB,MAAM;oBACR,CAAC;oBACD,YAAY,CAAC,UAAU,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;YAED,OAAO;gBACL,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,aAAH,GAAG,cAAH,GAAG,GAAI,IAAI,CAAC;gBAC3B,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;gBACrF,SAAS,EAAE,EAAE;gBACb,WAAW,EAAE,EAAE;gBACf,SAAS,EAAE,EAAE;aACd,CAAC;QACJ,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,GAAG,KAAK,EAAE,GACpC,EACD,CAAC,KAAK,CAAC;YACR,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO;gBACL,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC;gBAC7D,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;gBAC1C,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;gBAChC,WAAW,EAAE,EAAE;gBACf,SAAS,EAAE,CAAC,IAAI,CAAC;aAClB,CAAC;QACJ,CAAC;QAED;YACE,OAAO,IAAI,CAAC,eAAe,IAAI,GAAG,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,OAA4B;IAC9D,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;AAC/C,CAAC;AAUD,SAAS,UAAU,CAAC,GAAsB;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpC,OAAO;QACL,GAAG,EAAE,QAAQ;QACb,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;QAClD,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/C,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;QACnD,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;KAChD,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAsB;IAChD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAEjC,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,GAAqB,EAAW,EAAE;QAC3D,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,GAAG;YAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU;QAC9B,CAAC,CAAC,CAAC,IAAa,EAAE,GAAqB,EAAW,EAAE;YAChD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE;gBAAG,EAAE,CAAC,IAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YACtF,OAAO,KAAK,CAAC;QACf,CAAC;QACH,CAAC,CAAC,IAAI,CAAC;IAET,OAAO;QACL,EAAE;QACF,IAAI;QACJ,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,SAAS,EAAE,QAAQ,CAAC,SAAS;KAC9B,CAAC;AACJ,CAAC"}

package/src/lib/list.d.ts

@@ -0,0 +1,18 @@
+import { VersionedOptions, VersionedSchema } from './versioned.js';
+/**
+ * A list schema derived from an item schema, so the two cannot drift apart.
+ *
+ * The failure this prevents is quiet: a `Fund` schema and a `Fund[]` schema
+ * maintained side by side share their migration logic by discipline only, and
+ * the day someone edits one chain without the other, records migrate
+ * differently depending on whether they arrived alone or in a collection.
+ * Deriving the list from the item makes that impossible — every step here
+ * *is* the item's step, mapped.
+ *
+ * Provenance paths are re-rooted with an `[]` prefix (`liquidity.hqlaPct`
+ * becomes `[].liquidity.hqlaPct`), so a consumer of the list result can still
+ * tell exactly which fields of which shape were guessed or discarded.
+ */
+export declare function versionedList<TItem>(itemSchema: VersionedSchema<TItem>, nameOrOptions?: string | (VersionedOptions<TItem[]> & {
+    readonly name?: string;
+})): VersionedSchema<TItem[]>;

package/src/lib/list.js

@@ -0,0 +1,49 @@
+import { versioned } from './versioned.js';
+/**
+ * A list schema derived from an item schema, so the two cannot drift apart.
+ *
+ * The failure this prevents is quiet: a `Fund` schema and a `Fund[]` schema
+ * maintained side by side share their migration logic by discipline only, and
+ * the day someone edits one chain without the other, records migrate
+ * differently depending on whether they arrived alone or in a collection.
+ * Deriving the list from the item makes that impossible — every step here
+ * *is* the item's step, mapped.
+ *
+ * Provenance paths are re-rooted with an `[]` prefix (`liquidity.hqlaPct`
+ * becomes `[].liquidity.hqlaPct`), so a consumer of the list result can still
+ * tell exactly which fields of which shape were guessed or discarded.
+ */
+export function versionedList(itemSchema, nameOrOptions) {
+    var _a;
+    const opts = typeof nameOrOptions === 'string' ? { name: nameOrOptions } : (nameOrOptions !== null && nameOrOptions !== void 0 ? nameOrOptions : {});
+    const name = (_a = opts.name) !== null && _a !== void 0 ? _a : `${itemSchema.name}[]`;
+    let schema = versioned(name, {
+        assumeLegacyVersion: opts.assumeLegacyVersion,
+        validate: opts.validate
+            ? opts.validate
+            : undefined,
+    });
+    for (const step of itemSchema.steps) {
+        schema = schema.next(step.description, liftStep(step));
+    }
+    return schema;
+}
+function liftStep(step) {
+    const requireArray = (list) => {
+        if (!Array.isArray(list)) {
+            throw new Error(`expected an array, got ${list === null ? 'null' : typeof list}`);
+        }
+        return list;
+    };
+    const prefix = (paths) => paths === null || paths === void 0 ? void 0 : paths.map((p) => `[].${p}`);
+    return {
+        up: (list, ctx) => requireArray(list).map((item) => step.up(item, ctx)),
+        down: step.down
+            ? (list, ctx) => requireArray(list).map((item) => step.down(item, ctx))
+            : undefined,
+        derives: prefix(step.derives),
+        downDerives: prefix(step.downDerives),
+        lossy: prefix(step.lossy),
+    };
+}
+//# sourceMappingURL=list.js.map

package/src/lib/list.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"list.js","sourceRoot":"","sources":["../../../../../libs/skew/src/lib/list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoD,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE7F;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,aAAa,CAC3B,UAAkC,EAClC,aAAiF;;IAEjF,MAAM,IAAI,GAAG,OAAO,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,aAAb,aAAa,cAAb,aAAa,GAAI,EAAE,CAAC,CAAC;IACjG,MAAM,IAAI,GAAG,MAAA,IAAI,CAAC,IAAI,mCAAI,GAAG,UAAU,CAAC,IAAI,IAAI,CAAC;IAEjD,IAAI,MAAM,GAAG,SAAS,CAAU,IAAI,EAAE;QACpC,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;QAC7C,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACrB,CAAC,CAAE,IAAI,CAAC,QAAiD;YACzD,CAAC,CAAC,SAAS;KACd,CAAC,CAAC;IAEH,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACpC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAU,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,OAAO,MAAkC,CAAC;AAC5C,CAAC;AAED,SAAS,QAAQ,CAAC,IAAmB;IAOnC,MAAM,YAAY,GAAG,CAAC,IAAa,EAAsB,EAAE;QACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,CAAC,KAAoC,EAAE,EAAE,CAAC,KAAK,aAAL,KAAK,uBAAL,KAAK,CAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAEtF,OAAO;QACL,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvE,IAAI,EAAE,IAAI,CAAC,IAAI;YACb,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAE,IAAI,CAAC,IAA2C,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC/G,CAAC,CAAC,SAAS;QACb,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;QAC7B,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;QACrC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;KAC1B,CAAC;AACJ,CAAC"}

package/src/lib/registry.d.ts

@@ -0,0 +1,77 @@
+import type { MigrationStep, VersionedSchema } from './versioned.js';
+/**
+ * The shared schema registry — the federation-specific move.
+ *
+ * In a federated page, the parties on either side of a version boundary are
+ * loaded into the *same JavaScript runtime*. A host built against v1 sits
+ * beside a remote built against v2, and the remote's bundle contains exactly
+ * the migration knowledge the host lacks. This registry is where that
+ * knowledge is pooled: each bundle contributes the steps it knows, keyed by
+ * `(contract name, target version)`, and `read()` consults it for any step
+ * missing from the local chain — in **both** directions.
+ *
+ * The effect worth naming: an older host handed newer data no longer dead-ends
+ * at `ahead`. If any loaded bundle registered a down-migration for the
+ * intervening steps, the host reads an honest, lossy projection instead —
+ * with `downgradedFrom` and `lossyPaths` saying exactly what happened.
+ *
+ * Registration is **explicit** (`registerSchema`), not automatic. Module-level
+ * state shared across bundles is a capability, not a default: tests declare
+ * throwaway schemas by the dozen, and a page may legitimately host unrelated
+ * contracts that happen to collide on a short name. Register the contracts you
+ * mean to share.
+ *
+ * This registry is module-level, deliberately outside any DI system. The
+ * demo's rule — a remote must not depend on the host having configured
+ * providers — holds here: both sides reach the same registry through the one
+ * shared `@braidlabs/skew` instance (`sharedMappings`), with no cooperation beyond
+ * that.
+ *
+ * ## Conflicts
+ *
+ * Two bundles registering the same `(name, to)` with *matching* fingerprints
+ * is the healthy case — independent builds that agree. Divergent fingerprints
+ * mean two builds disagree about what a version transition means: the
+ * first-registered step is kept (whichever bundle loaded first — determinism
+ * within a page lifetime matters more than either candidate), and a
+ * diagnostic fires. That diagnostic is the only place this class of bug —
+ * same name, same version, different meaning — becomes visible at all; wire
+ * it to telemetry.
+ */
+export interface RegistryConflict {
+    readonly name: string;
+    readonly to: number;
+    /** Fingerprint of the step that was kept (registered first). */
+    readonly kept: string;
+    /** Fingerprint of the step that was rejected. */
+    readonly rejected: string;
+    readonly keptDescription: string;
+    readonly rejectedDescription: string;
+}
+/**
+ * Replaces the conflict diagnostic (default: `console.warn`). Pass `null` to
+ * restore the default. Wire this to telemetry in production.
+ */
+export declare function setRegistryConflictHandler(handler: ((conflict: RegistryConflict) => void) | null): void;
+/** Contributes steps under a contract name. Idempotent for identical steps. */
+export declare function registerSteps(name: string, steps: readonly (MigrationStep | undefined)[]): void;
+/**
+ * Contributes every step a schema knows to the shared registry, making them
+ * available to any other bundle in the page reading the same contract.
+ *
+ * Call this once per contract, from each bundle that wants to share — the
+ * newer party's registration is what lets an older party downgrade.
+ */
+export declare function registerSchema<T>(schema: VersionedSchema<T>): void;
+/** The registered step migrating `(to - 1)` → `to`, if any bundle shared one. */
+export declare function registryStep(name: string, to: number): MigrationStep | undefined;
+/**
+ * The highest target version any registered step for `name` reaches, or
+ * `null` when nothing is registered. Diagnostic use.
+ */
+export declare function registryCeiling(name: string): number | null;
+/**
+ * Clears every registration. Test isolation — a shared module-level registry
+ * would otherwise leak declarations between test files.
+ */
+export declare function resetSchemaRegistry(): void;

package/src/lib/registry.js

@@ -0,0 +1,80 @@
+import { stepFingerprint } from './fingerprint.js';
+const registry = new Map();
+let onConflict = (conflict) => {
+    console.warn(`[skew] schema registry conflict: two builds disagree about "${conflict.name}" v${conflict.to - 1} → v${conflict.to}. ` +
+        `Kept "${conflict.keptDescription}" (${conflict.kept}), rejected "${conflict.rejectedDescription}" (${conflict.rejected}). ` +
+        `Same name + same version + different meaning is silent corruption everywhere except here — investigate.`);
+};
+/**
+ * Replaces the conflict diagnostic (default: `console.warn`). Pass `null` to
+ * restore the default. Wire this to telemetry in production.
+ */
+export function setRegistryConflictHandler(handler) {
+    onConflict = handler !== null && handler !== void 0 ? handler : ((conflict) => {
+        console.warn(`[skew] schema registry conflict: two builds disagree about "${conflict.name}" v${conflict.to - 1} → v${conflict.to}.`);
+    });
+}
+/** Contributes steps under a contract name. Idempotent for identical steps. */
+export function registerSteps(name, steps) {
+    let byTarget = registry.get(name);
+    if (!byTarget) {
+        byTarget = new Map();
+        registry.set(name, byTarget);
+    }
+    for (const step of steps) {
+        // Step lists built from a contract may carry holes (a named code step this
+        // bundle cannot run) — a hole is nothing to share.
+        if (!step)
+            continue;
+        const fingerprint = stepFingerprint(step);
+        const existing = byTarget.get(step.to);
+        if (!existing) {
+            byTarget.set(step.to, { step, fingerprint });
+            continue;
+        }
+        if (existing.fingerprint !== fingerprint) {
+            onConflict({
+                name,
+                to: step.to,
+                kept: existing.fingerprint,
+                rejected: fingerprint,
+                keptDescription: existing.step.description,
+                rejectedDescription: step.description,
+            });
+        }
+        // Matching fingerprint (or conflict): the first registration stands.
+    }
+}
+/**
+ * Contributes every step a schema knows to the shared registry, making them
+ * available to any other bundle in the page reading the same contract.
+ *
+ * Call this once per contract, from each bundle that wants to share — the
+ * newer party's registration is what lets an older party downgrade.
+ */
+export function registerSchema(schema) {
+    registerSteps(schema.name, schema.steps);
+}
+/** The registered step migrating `(to - 1)` → `to`, if any bundle shared one. */
+export function registryStep(name, to) {
+    var _a, _b;
+    return (_b = (_a = registry.get(name)) === null || _a === void 0 ? void 0 : _a.get(to)) === null || _b === void 0 ? void 0 : _b.step;
+}
+/**
+ * The highest target version any registered step for `name` reaches, or
+ * `null` when nothing is registered. Diagnostic use.
+ */
+export function registryCeiling(name) {
+    const byTarget = registry.get(name);
+    if (!byTarget || byTarget.size === 0)
+        return null;
+    return Math.max(...byTarget.keys());
+}
+/**
+ * Clears every registration. Test isolation — a shared module-level registry
+ * would otherwise leak declarations between test files.
+ */
+export function resetSchemaRegistry() {
+    registry.clear();
+}
+//# sourceMappingURL=registry.js.map

package/src/lib/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../../../libs/skew/src/lib/registry.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AA0DnD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuC,CAAC;AAEhE,IAAI,UAAU,GAAyC,CAAC,QAAQ,EAAE,EAAE;IAClE,OAAO,CAAC,IAAI,CACV,+DAA+D,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,OAAO,QAAQ,CAAC,EAAE,IAAI;QACrH,SAAS,QAAQ,CAAC,eAAe,MAAM,QAAQ,CAAC,IAAI,gBAAgB,QAAQ,CAAC,mBAAmB,MAAM,QAAQ,CAAC,QAAQ,KAAK;QAC5H,yGAAyG,CAC5G,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CAAC,OAAsD;IAC/F,UAAU,GAAG,OAAO,aAAP,OAAO,cAAP,OAAO,GAAI,CAAC,CAAC,QAAQ,EAAE,EAAE;QACpC,OAAO,CAAC,IAAI,CACV,+DAA+D,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,OAAO,QAAQ,CAAC,EAAE,GAAG,CACvH,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,KAA6C;IACvF,IAAI,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;QAC7C,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,2EAA2E;QAC3E,mDAAmD;QACnD,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;YACzC,UAAU,CAAC;gBACT,IAAI;gBACJ,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,IAAI,EAAE,QAAQ,CAAC,WAAW;gBAC1B,QAAQ,EAAE,WAAW;gBACrB,eAAe,EAAE,QAAQ,CAAC,IAAI,CAAC,WAAW;gBAC1C,mBAAmB,EAAE,IAAI,CAAC,WAAW;aACtC,CAAC,CAAC;QACL,CAAC;QACD,qEAAqE;IACvE,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAI,MAA0B;IAC1D,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,EAAU;;IACnD,OAAO,MAAA,MAAA,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,0CAAE,GAAG,CAAC,EAAE,CAAC,0CAAE,IAAI,CAAC;AAC3C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;AACtC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB;IACjC,QAAQ,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC"}