@milaboratories/pl-model-common 1.31.1 → 1.32.0

package/dist/services/service_types.d.ts

@@ -1,5 +1,6 @@
-import { Branded } from "../branding.js";
+import { Branded as Branded$1 } from "../branding.js";
 import { Services } from "./service_declarations.js";
+import { UnionToIntersection } from "@milaboratories/helpers";
 
 //#region src/services/service_types.d.ts
 type ServiceTypesLike<Model = unknown, Ui = unknown, Kind extends ServiceType = ServiceType> = {
@@ -12,14 +13,14 @@ type ServiceTypesLike<Model = unknown, Ui = unknown, Kind extends ServiceType =
 type InferServiceModel<S extends ServiceTypesLike> = S extends ServiceTypesLike<infer M, unknown, ServiceType> ? M : unknown;
 type InferServiceUi<S extends ServiceTypesLike> = S extends ServiceTypesLike<unknown, infer U, ServiceType> ? U : unknown;
 type InferServiceKind<S extends ServiceTypesLike> = S extends ServiceTypesLike<unknown, unknown, infer K> ? K : ServiceType;
-type ServiceName<S extends ServiceTypesLike = ServiceTypesLike> = Branded<string, S>;
+type ServiceName<S extends ServiceTypesLike = ServiceTypesLike> = Branded$1<string, S>;
 type ServiceType = "node" | "wasm";
 declare const service: <Model, Ui>() => <K extends ServiceType, N extends string>(options: {
     readonly type: K;
     readonly name: N;
-  }) => Branded<N, ServiceTypesLike<Model, Ui, K>>, isNodeService: (id: ServiceName) => boolean;
+  }) => Branded$1<N, ServiceTypesLike<Model, Ui, K>>, isNodeService: (id: ServiceName) => boolean;
 declare function serviceFnKey(serviceId: string, method?: string): string;
-type ServiceBrand<T> = T extends Branded<string, infer S extends ServiceTypesLike> ? S : never;
+type ServiceBrand<T> = T extends Branded$1<string, infer S extends ServiceTypesLike> ? S : never;
 type ModelServiceFactoryMap<SMap extends Record<string, ServiceName>> = { [K in keyof SMap]: (() => InferServiceModel<ServiceBrand<SMap[K]>>) | null };
 type UiServiceFactoryMap<SMap extends Record<string, ServiceName>> = { [K in keyof SMap]: (() => InferServiceUi<ServiceBrand<SMap[K]>>) | null };
 /** Contract between any service provider and any service consumer. */
@@ -29,7 +30,7 @@ interface ServiceDispatch {
   callServiceMethod(serviceId: ServiceName, method: string, ...args: unknown[]): unknown;
 }
 type SMap = typeof Services;
-type ExtractServiceName<T> = T extends Branded<infer N extends string, any> ? N : never;
+type ExtractServiceName<T> = T extends Branded$1<infer N extends string, any> ? N : never;
 /** Model-side service interfaces keyed by service name literal. */
 type ModelServices = { [K in keyof SMap as ExtractServiceName<SMap[K]>]: InferServiceModel<ServiceBrand<SMap[K]>> };
 /** UI-side service interfaces keyed by service name literal. */
@@ -38,8 +39,7 @@ type UiServices = { [K in keyof SMap as ExtractServiceName<SMap[K]>]: InferServi
 type ServiceNameLiterals = { [K in keyof SMap]: ExtractServiceName<SMap[K]> };
 /** Auto-derived requires* feature flags from Services keys. */
 type ServiceRequireFlags = { [K in keyof SMap as `requires${K & string}`]?: boolean };
-type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
-type RequireServices<T extends ServiceName> = UnionToIntersection<T extends Branded<infer N extends string, infer S extends ServiceTypesLike> ? Record<N, InferServiceModel<S>> : never>;
+type RequireServices<T extends ServiceName> = UnionToIntersection<T extends Branded$1<infer N extends string, infer S extends ServiceTypesLike> ? Record<N, InferServiceModel<S>> : never>;
 //#endregion
 export { InferServiceKind, InferServiceModel, InferServiceUi, ModelServiceFactoryMap, ModelServices, RequireServices, ServiceBrand, ServiceDispatch, ServiceName, ServiceNameLiterals, ServiceRequireFlags, ServiceType, ServiceTypesLike, UiServiceFactoryMap, UiServices, isNodeService, service, serviceFnKey };
 //# sourceMappingURL=service_types.d.ts.map

package/dist/services/service_types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"service_types.d.ts","names":[],"sources":["../../src/services/service_types.ts"],"mappings":";;;;;KAKY,gBAAA,6CAGG,WAAA,GAAc,WAAA;EAAA,SAElB,OAAA;IAAY,KAAA,EAAO,KAAA;IAAO,EAAA,EAAI,EAAA;IAAI,IAAA,EAAM,IAAA;EAAA;AAAA;AAAA,KAGvC,iBAAA,WAA4B,gBAAA,IACtC,CAAA,SAAU,gBAAA,mBAAmC,WAAA,IAAe,CAAA;AAAA,KAElD,cAAA,WAAyB,gBAAA,IACnC,CAAA,SAAU,gBAAA,mBAAmC,WAAA,IAAe,CAAA;AAAA,KAElD,gBAAA,WAA2B,gBAAA,IACrC,CAAA,SAAU,gBAAA,8BAA8C,CAAA,GAAI,WAAA;AAAA,KAElD,WAAA,WAAsB,gBAAA,GAAmB,gBAAA,IAAoB,SAAA,SAAgB,CAAA;AAAA,KAE7E,WAAA;AAAA,cAIG,OAAA,8BAIS,WAAA,oBAA6B,OAAA;IAAA,SACpC,IAAA,EAAM,CAAA;IAAA,SACN,IAAA,EAAM,CAAA;EAAA,MACb,SAAA,CAAQ,CAAA,EAAG,gBAAA,CAAiB,KAAA,EAAO,EAAA,EAAI,CAAA,IAAA,aAAA,GAPZ,EAAA,EAqBf,WAAA;AAAA,iBAMN,YAAA,CAAa,SAAA,UAAmB,MAAA;AAAA,KAIpC,YAAA,MACV,CAAA,SAAU,SAAA,yBAAgC,gBAAA,IAAoB,CAAA;AAAA,KAEpD,sBAAA,cAAoC,MAAA,SAAe,WAAA,mBACjD,IAAA,UAAc,iBAAA,CAAkB,YAAA,CAAa,IAAA,CAAK,CAAA;AAAA,KAGpD,mBAAA,cAAiC,MAAA,SAAe,WAAA,mBAC9C,IAAA,UAAc,cAAA,CAAe,YAAA,CAAa,IAAA,CAAK,CAAA;;UAI5C,eAAA;EACf,eAAA,IAAmB,WAAA;EACnB,iBAAA,CAAkB,SAAA,EAAW,WAAA;EAC7B,iBAAA,CAAkB,SAAA,EAAW,WAAA,EAAa,MAAA,aAAmB,IAAA;AAAA;AAAA,KAM1D,IAAA,UAAc,QAAA;AAAA,KAEd,kBAAA,MAAwB,CAAA,SAAU,SAAA,gCAAuC,CAAA;;KAGlE,aAAA,iBACE,IAAA,IAAQ,kBAAA,CAAmB,IAAA,CAAK,CAAA,KAAM,iBAAA,CAAkB,YAAA,CAAa,IAAA,CAAK,CAAA;;KAI5E,UAAA,iBACE,IAAA,IAAQ,kBAAA,CAAmB,IAAA,CAAK,CAAA,KAAM,cAAA,CAAe,YAAA,CAAa,IAAA,CAAK,CAAA;;KAIzE,mBAAA,iBACE,IAAA,GAAO,kBAAA,CAAmB,IAAA,CAAK,CAAA;AAhF7C;AAAA,KAoFY,mBAAA,iBACE,IAAA,eAAmB,CAAA;AAAA,KAGrB,eAAA,WAA0B,WAAA,IAAe,mBAAA,CACnD,CAAA,SAAU,SAAA,yCAAgD,gBAAA,IACtD,MAAA,CAAO,CAAA,EAAG,iBAAA,CAAkB,CAAA"}

package/dist/services/service_types.js

@@ -1,5 +1,4 @@
 import { ServiceAlreadyRegisteredError, ServiceInvalidIdError } from "../errors.js";
-
 //#region src/services/service_types.ts
 const SERVICE_ID_PATTERN = /^[a-zA-Z][a-zA-Z0-9]*$/;
 const { service, isNodeService } = (() => {
@@ -22,7 +21,7 @@ const { service, isNodeService } = (() => {
 function serviceFnKey(serviceId, method = "") {
 	return `service:${serviceId}:${method}`;
 }
-
 //#endregion
 export { isNodeService, service, serviceFnKey };
+
 //# sourceMappingURL=service_types.js.map

package/dist/services/service_types.js.map

@@ -1 +1 @@
-{"version":3,"file":"service_types.js","names":[],"sources":["../../src/services/service_types.ts"],"sourcesContent":["import type { Branded } from \"../branding\";\nimport { ServiceAlreadyRegisteredError, ServiceInvalidIdError } from \"../errors\";\nimport type { Services } from \"./service_declarations\";\n\nexport type ServiceTypesLike<\n  Model = unknown,\n  Ui = unknown,\n  Kind extends ServiceType = ServiceType,\n> = {\n  readonly __types?: { model: Model; ui: Ui; kind: Kind };\n};\n\nexport type InferServiceModel<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<infer M, unknown, ServiceType> ? M : unknown;\n\nexport type InferServiceUi<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, infer U, ServiceType> ? U : unknown;\n\nexport type InferServiceKind<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, unknown, infer K> ? K : ServiceType;\n\nexport type ServiceName<S extends ServiceTypesLike = ServiceTypesLike> = Branded<string, S>;\n\nexport type ServiceType = \"node\" | \"wasm\";\n\nconst SERVICE_ID_PATTERN = /^[a-zA-Z][a-zA-Z0-9]*$/;\n\nexport const { service, isNodeService } = (() => {\n  const typeMap = new Map<string, ServiceType>();\n  return {\n    service<Model, Ui>() {\n      return <K extends ServiceType, N extends string>(options: {\n        readonly type: K;\n        readonly name: N;\n      }): Branded<N, ServiceTypesLike<Model, Ui, K>> => {\n        const { name, type } = options;\n        if (!SERVICE_ID_PATTERN.test(name)) {\n          throw new ServiceInvalidIdError(\n            `Invalid service ID \"${name}\": must match ${SERVICE_ID_PATTERN}`,\n          );\n        }\n        if (typeMap.has(name)) {\n          throw new ServiceAlreadyRegisteredError(`Service \"${name}\" already registered`);\n        }\n        typeMap.set(name, type);\n        return name as Branded<N, ServiceTypesLike<Model, Ui, K>>;\n      };\n    },\n    isNodeService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"node\";\n    },\n  };\n})();\n\nexport function serviceFnKey(serviceId: string, method = \"\"): string {\n  return `service:${serviceId}:${method}`;\n}\n\nexport type ServiceBrand<T> =\n  T extends Branded<string, infer S extends ServiceTypesLike> ? S : never;\n\nexport type ModelServiceFactoryMap<SMap extends Record<string, ServiceName>> = {\n  [K in keyof SMap]: (() => InferServiceModel<ServiceBrand<SMap[K]>>) | null;\n};\n\nexport type UiServiceFactoryMap<SMap extends Record<string, ServiceName>> = {\n  [K in keyof SMap]: (() => InferServiceUi<ServiceBrand<SMap[K]>>) | null;\n};\n\n/** Contract between any service provider and any service consumer. */\nexport interface ServiceDispatch {\n  getServiceNames(): ServiceName[];\n  getServiceMethods(serviceId: ServiceName): string[];\n  callServiceMethod(serviceId: ServiceName, method: string, ...args: unknown[]): unknown;\n}\n\n// Auto-derived types from the Services const in service_declarations.ts.\n// Adding a service to Services automatically updates all of these.\n\ntype SMap = typeof Services;\n\ntype ExtractServiceName<T> = T extends Branded<infer N extends string, any> ? N : never;\n\n/** Model-side service interfaces keyed by service name literal. */\nexport type ModelServices = {\n  [K in keyof SMap as ExtractServiceName<SMap[K]>]: InferServiceModel<ServiceBrand<SMap[K]>>;\n};\n\n/** UI-side service interfaces keyed by service name literal. */\nexport type UiServices = {\n  [K in keyof SMap as ExtractServiceName<SMap[K]>]: InferServiceUi<ServiceBrand<SMap[K]>>;\n};\n\n/** Map from Services keys to their unbranded string name literals. */\nexport type ServiceNameLiterals = {\n  [K in keyof SMap]: ExtractServiceName<SMap[K]>;\n};\n\n/** Auto-derived requires* feature flags from Services keys. */\nexport type ServiceRequireFlags = {\n  [K in keyof SMap as `requires${K & string}`]?: boolean;\n};\n\ntype UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (\n  k: infer I,\n) => void\n  ? I\n  : never;\n\nexport type RequireServices<T extends ServiceName> = UnionToIntersection<\n  T extends Branded<infer N extends string, infer S extends ServiceTypesLike>\n    ? Record<N, InferServiceModel<S>>\n    : never\n>;\n"],"mappings":";;;AAyBA,MAAM,qBAAqB;AAE3B,MAAa,EAAE,SAAS,yBAAyB;CAC/C,MAAM,0BAAU,IAAI,KAA0B;AAC9C,QAAO;EACL,UAAqB;AACnB,WAAiD,YAGC;IAChD,MAAM,EAAE,MAAM,SAAS;AACvB,QAAI,CAAC,mBAAmB,KAAK,KAAK,CAChC,OAAM,IAAI,sBACR,uBAAuB,KAAK,gBAAgB,qBAC7C;AAEH,QAAI,QAAQ,IAAI,KAAK,CACnB,OAAM,IAAI,8BAA8B,YAAY,KAAK,sBAAsB;AAEjF,YAAQ,IAAI,MAAM,KAAK;AACvB,WAAO;;;EAGX,cAAc,IAA0B;AACtC,UAAO,QAAQ,IAAI,GAAG,KAAK;;EAE9B;IACC;AAEJ,SAAgB,aAAa,WAAmB,SAAS,IAAY;AACnE,QAAO,WAAW,UAAU,GAAG"}
+{"version":3,"file":"service_types.js","names":[],"sources":["../../src/services/service_types.ts"],"sourcesContent":["import { UnionToIntersection } from \"@milaboratories/helpers\";\nimport type { Branded } from \"../branding\";\nimport { ServiceAlreadyRegisteredError, ServiceInvalidIdError } from \"../errors\";\nimport type { Services } from \"./service_declarations\";\n\nexport type ServiceTypesLike<\n  Model = unknown,\n  Ui = unknown,\n  Kind extends ServiceType = ServiceType,\n> = {\n  readonly __types?: { model: Model; ui: Ui; kind: Kind };\n};\n\nexport type InferServiceModel<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<infer M, unknown, ServiceType> ? M : unknown;\n\nexport type InferServiceUi<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, infer U, ServiceType> ? U : unknown;\n\nexport type InferServiceKind<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, unknown, infer K> ? K : ServiceType;\n\nexport type ServiceName<S extends ServiceTypesLike = ServiceTypesLike> = Branded<string, S>;\n\nexport type ServiceType = \"node\" | \"wasm\";\n\nconst SERVICE_ID_PATTERN = /^[a-zA-Z][a-zA-Z0-9]*$/;\n\nexport const { service, isNodeService } = (() => {\n  const typeMap = new Map<string, ServiceType>();\n  return {\n    service<Model, Ui>() {\n      return <K extends ServiceType, N extends string>(options: {\n        readonly type: K;\n        readonly name: N;\n      }): Branded<N, ServiceTypesLike<Model, Ui, K>> => {\n        const { name, type } = options;\n        if (!SERVICE_ID_PATTERN.test(name)) {\n          throw new ServiceInvalidIdError(\n            `Invalid service ID \"${name}\": must match ${SERVICE_ID_PATTERN}`,\n          );\n        }\n        if (typeMap.has(name)) {\n          throw new ServiceAlreadyRegisteredError(`Service \"${name}\" already registered`);\n        }\n        typeMap.set(name, type);\n        return name as Branded<N, ServiceTypesLike<Model, Ui, K>>;\n      };\n    },\n    isNodeService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"node\";\n    },\n  };\n})();\n\nexport function serviceFnKey(serviceId: string, method = \"\"): string {\n  return `service:${serviceId}:${method}`;\n}\n\nexport type ServiceBrand<T> =\n  T extends Branded<string, infer S extends ServiceTypesLike> ? S : never;\n\nexport type ModelServiceFactoryMap<SMap extends Record<string, ServiceName>> = {\n  [K in keyof SMap]: (() => InferServiceModel<ServiceBrand<SMap[K]>>) | null;\n};\n\nexport type UiServiceFactoryMap<SMap extends Record<string, ServiceName>> = {\n  [K in keyof SMap]: (() => InferServiceUi<ServiceBrand<SMap[K]>>) | null;\n};\n\n/** Contract between any service provider and any service consumer. */\nexport interface ServiceDispatch {\n  getServiceNames(): ServiceName[];\n  getServiceMethods(serviceId: ServiceName): string[];\n  callServiceMethod(serviceId: ServiceName, method: string, ...args: unknown[]): unknown;\n}\n\n// Auto-derived types from the Services const in service_declarations.ts.\n// Adding a service to Services automatically updates all of these.\n\ntype SMap = typeof Services;\n\ntype ExtractServiceName<T> = T extends Branded<infer N extends string, any> ? N : never;\n\n/** Model-side service interfaces keyed by service name literal. */\nexport type ModelServices = {\n  [K in keyof SMap as ExtractServiceName<SMap[K]>]: InferServiceModel<ServiceBrand<SMap[K]>>;\n};\n\n/** UI-side service interfaces keyed by service name literal. */\nexport type UiServices = {\n  [K in keyof SMap as ExtractServiceName<SMap[K]>]: InferServiceUi<ServiceBrand<SMap[K]>>;\n};\n\n/** Map from Services keys to their unbranded string name literals. */\nexport type ServiceNameLiterals = {\n  [K in keyof SMap]: ExtractServiceName<SMap[K]>;\n};\n\n/** Auto-derived requires* feature flags from Services keys. */\nexport type ServiceRequireFlags = {\n  [K in keyof SMap as `requires${K & string}`]?: boolean;\n};\n\nexport type RequireServices<T extends ServiceName> = UnionToIntersection<\n  T extends Branded<infer N extends string, infer S extends ServiceTypesLike>\n    ? Record<N, InferServiceModel<S>>\n    : never\n>;\n"],"mappings":";;AA0BA,MAAM,qBAAqB;AAE3B,MAAa,EAAE,SAAS,yBAAyB;CAC/C,MAAM,0BAAU,IAAI,KAA0B;AAC9C,QAAO;EACL,UAAqB;AACnB,WAAiD,YAGC;IAChD,MAAM,EAAE,MAAM,SAAS;AACvB,QAAI,CAAC,mBAAmB,KAAK,KAAK,CAChC,OAAM,IAAI,sBACR,uBAAuB,KAAK,gBAAgB,qBAC7C;AAEH,QAAI,QAAQ,IAAI,KAAK,CACnB,OAAM,IAAI,8BAA8B,YAAY,KAAK,sBAAsB;AAEjF,YAAQ,IAAI,MAAM,KAAK;AACvB,WAAO;;;EAGX,cAAc,IAA0B;AACtC,UAAO,QAAQ,IAAI,GAAG,KAAK;;EAE9B;IACC;AAEJ,SAAgB,aAAa,WAAmB,SAAS,IAAY;AACnE,QAAO,WAAW,UAAU,GAAG"}

package/dist/utag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utag.d.ts","names":[],"sources":["../src/utag.ts"],"mappings":";;;;UAGiB,aAAA;EAAA;EAAA,SAEN,KAAA,EAAO,CAAA;EAFY;;;;;;;EAAA,SAWnB,IAAA;AAAA;AAAA,UAGM,sBAAA,YAAkC,aAAA,CAAc,CAAA;EAAA,SACtD,MAAA,GAAS,YAAA;AAAA"}

package/dist/util.cjs

@@ -1,4 +1,3 @@
-
 //#region src/util.ts
 function assertNever(x) {
 	throw new Error("Unexpected object: " + x);
@@ -10,8 +9,8 @@ function assertNever(x) {
 function uniqueBy(array, makeId) {
 	return [...new Map(array.map((e) => [makeId(e), e])).values()];
 }
-
 //#endregion
 exports.assertNever = assertNever;
 exports.uniqueBy = uniqueBy;
+
 //# sourceMappingURL=util.cjs.map

package/dist/util.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"util.cjs","names":[],"sources":["../src/util.ts"],"sourcesContent":["export function assertNever(x: never): never {\n  throw new Error(\"Unexpected object: \" + x); // This is ok, because this is a possible runtime error\n}\n\n/**\n * Return unique entries of the array by the provided id\n * For each id, the last entry is kept\n */\nexport function uniqueBy<T>(array: T[], makeId: (entry: T) => string): T[] {\n  return [...new Map(array.map((e) => [makeId(e), e])).values()];\n}\n"],"mappings":";;AAAA,SAAgB,YAAY,GAAiB;AAC3C,OAAM,IAAI,MAAM,wBAAwB,EAAE;;;;;;AAO5C,SAAgB,SAAY,OAAY,QAAmC;AACzE,QAAO,CAAC,GAAG,IAAI,IAAI,MAAM,KAAK,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC"}
+{"version":3,"file":"util.cjs","names":[],"sources":["../src/util.ts"],"sourcesContent":["export function assertNever(x: never): never {\n  throw new Error(\"Unexpected object: \" + x); // This is ok, because this is a possible runtime error\n}\n\n/**\n * Return unique entries of the array by the provided id\n * For each id, the last entry is kept\n */\nexport function uniqueBy<T>(array: T[], makeId: (entry: T) => string): T[] {\n  return [...new Map(array.map((e) => [makeId(e), e])).values()];\n}\n"],"mappings":";AAAA,SAAgB,YAAY,GAAiB;AAC3C,OAAM,IAAI,MAAM,wBAAwB,EAAE;;;;;;AAO5C,SAAgB,SAAY,OAAY,QAAmC;AACzE,QAAO,CAAC,GAAG,IAAI,IAAI,MAAM,KAAK,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC"}

package/dist/util.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"util.d.ts","names":[],"sources":["../src/util.ts"],"mappings":";iBAAgB,WAAA,CAAY,CAAA;AAA5B;;;;AAAA,iBAQgB,QAAA,GAAA,CAAY,KAAA,EAAO,CAAA,IAAK,MAAA,GAAS,KAAA,EAAO,CAAA,cAAe,CAAA"}

package/dist/util.js

@@ -9,7 +9,7 @@ function assertNever(x) {
 function uniqueBy(array, makeId) {
 	return [...new Map(array.map((e) => [makeId(e), e])).values()];
 }
-
 //#endregion
 export { assertNever, uniqueBy };
+
 //# sourceMappingURL=util.js.map

package/dist/value_or_error.cjs

@@ -1,4 +1,3 @@
-
 //#region src/value_or_error.ts
 function mapValueInVOE(voe, cb) {
 	return voe.ok ? {
@@ -6,7 +5,7 @@ function mapValueInVOE(voe, cb) {
 		value: cb(voe.value)
 	} : voe;
 }
-
 //#endregion
 exports.mapValueInVOE = mapValueInVOE;
+
 //# sourceMappingURL=value_or_error.cjs.map

package/dist/value_or_error.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"value_or_error.cjs","names":[],"sources":["../src/value_or_error.ts"],"sourcesContent":["export type ValueOrError<V, E> =\n  | {\n      ok: true;\n      value: V;\n    }\n  | {\n      ok: false;\n      error: E;\n    };\n\nexport function mapValueInVOE<V1, V2, E>(\n  voe: ValueOrError<V1, E>,\n  cb: (value: V1) => V2,\n): ValueOrError<V2, E> {\n  return voe.ok ? { ok: true, value: cb(voe.value) } : voe;\n}\n"],"mappings":";;AAUA,SAAgB,cACd,KACA,IACqB;AACrB,QAAO,IAAI,KAAK;EAAE,IAAI;EAAM,OAAO,GAAG,IAAI,MAAM;EAAE,GAAG"}
+{"version":3,"file":"value_or_error.cjs","names":[],"sources":["../src/value_or_error.ts"],"sourcesContent":["export type ValueOrError<V, E> =\n  | {\n      ok: true;\n      value: V;\n    }\n  | {\n      ok: false;\n      error: E;\n    };\n\nexport function mapValueInVOE<V1, V2, E>(\n  voe: ValueOrError<V1, E>,\n  cb: (value: V1) => V2,\n): ValueOrError<V2, E> {\n  return voe.ok ? { ok: true, value: cb(voe.value) } : voe;\n}\n"],"mappings":";AAUA,SAAgB,cACd,KACA,IACqB;AACrB,QAAO,IAAI,KAAK;EAAE,IAAI;EAAM,OAAO,GAAG,IAAI,MAAM;EAAE,GAAG"}

package/dist/value_or_error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value_or_error.d.ts","names":[],"sources":["../src/value_or_error.ts"],"mappings":";KAAY,YAAA;EAEN,EAAA;EACA,KAAA,EAAO,CAAA;AAAA;EAGP,EAAA;EACA,KAAA,EAAO,CAAA;AAAA;AAAA,iBAGG,aAAA,WAAA,CACd,GAAA,EAAK,YAAA,CAAa,EAAA,EAAI,CAAA,GACtB,EAAA,GAAK,KAAA,EAAO,EAAA,KAAO,EAAA,GAClB,YAAA,CAAa,EAAA,EAAI,CAAA"}

package/dist/value_or_error.js

@@ -5,7 +5,7 @@ function mapValueInVOE(voe, cb) {
 		value: cb(voe.value)
 	} : voe;
 }
-
 //#endregion
 export { mapValueInVOE };
+
 //# sourceMappingURL=value_or_error.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@milaboratories/pl-model-common",
-  "version": "1.31.1",
+  "version": "1.32.0",
   "description": "Platforma SDK Model",
   "files": [
     "./dist/**/*",
@@ -18,17 +18,17 @@
   },
   "dependencies": {
     "canonicalize": "~2.1.0",
-    "zod": "~3.23.8",
-    "@milaboratories/pl-error-like": "1.12.9",
-    "@milaboratories/helpers": "1.14.1"
+    "zod": "~3.25.76",
+    "@milaboratories/helpers": "1.14.1",
+    "@milaboratories/pl-error-like": "1.12.9"
   },
   "devDependencies": {
-    "@vitest/coverage-istanbul": "^4.0.18",
+    "@vitest/coverage-istanbul": "^4.1.3",
     "typescript": "~5.9.3",
-    "vitest": "^4.0.18",
-    "@milaboratories/build-configs": "1.5.2",
-    "@milaboratories/ts-configs": "1.2.2",
-    "@milaboratories/ts-builder": "1.3.0"
+    "vitest": "^4.1.3",
+    "@milaboratories/build-configs": "2.0.0",
+    "@milaboratories/ts-builder": "1.3.2",
+    "@milaboratories/ts-configs": "1.2.3"
   },
   "scripts": {
     "build": "ts-builder build --target node",

package/src/drivers/log.ts

@@ -1,18 +1,32 @@
-/** Handle of logs. This handle should be passed
- * to the driver for retrieving logs. */
-export type AnyLogHandle = LiveLogHandle | ReadyLogHandle;
+import type { Branded } from "../branding";
+
+/** Prefix constants — single source of truth for handle format. */
+const LIVE_LOG_PREFIX = "log+live://log/";
+const READY_LOG_PREFIX = "log+ready://log/";
 
 /** Handle of the live logs of a program.
  * The resource that represents a log can be deleted,
  * in this case the handle should be refreshed. */
-export type LiveLogHandle = `log+live://log/${string}`;
+export type LiveLogHandle = Branded<`${typeof LIVE_LOG_PREFIX}${string}`, "LiveLogHandle">;
 
 /** Handle of the ready logs of a program. */
-export type ReadyLogHandle = `log+ready://log/${string}`;
+export type ReadyLogHandle = Branded<`${typeof READY_LOG_PREFIX}${string}`, "ReadyLogHandle">;
+
+/** Handle of logs. This handle should be passed
+ * to the driver for retrieving logs. */
+export type AnyLogHandle = LiveLogHandle | ReadyLogHandle;
+
+/** Type guard to check if a value is any kind of log handle. */
+export function isAnyLogHandle(value: unknown): value is AnyLogHandle {
+  return (
+    typeof value === "string" &&
+    (value.startsWith(LIVE_LOG_PREFIX) || value.startsWith(READY_LOG_PREFIX))
+  );
+}
 
-/** Type guard to check if log is live, and corresponding porcess is not finished. */
+/** Type guard to check if log is live, and corresponding process is not finished. */
 export function isLiveLog(handle: AnyLogHandle | undefined): handle is LiveLogHandle {
-  return handle !== undefined && handle.startsWith("log+live://log/");
+  return handle !== undefined && handle.startsWith(LIVE_LOG_PREFIX);
 }
 
 /** Driver to retrieve logs given log handle */

package/src/drivers/pframe/query/query_common.ts

@@ -881,3 +881,42 @@ export interface QueryJoinEntry<Q> {
   /** The query to be joined */
   entry: Q;
 }
+
+/**
+ * Linker-join query operation.
+ *
+ * Inner-joins a linker column (`linker`) with one or more secondary subqueries,
+ * then projects out the linker's one-side axes from the joined result. Used to
+ * traverse a linker relationship: rows on the secondary side are "lifted" onto
+ * the linker's many-side axes, with one-side axes collapsed away.
+ *
+ * Mirrors {@link QueryOuterJoin}'s `{ primary, secondary }` shape (with
+ * `secondary` as an array), but the linker side is a specialized sub-struct —
+ * a plain column reference rather than a full join entry.
+ *
+ * **Join behavior**:
+ * - The linker column is inner-joined with all `secondary` entries
+ * - After the join, the linker's one-side axes are projected out
+ * - Result axes = joined axes minus the linker's one-side axes
+ *
+ * **Note**: `secondary` must contain at least one entry (empty has no
+ * well-defined meaning for linker-join).
+ *
+ * @template L - Linker sub-struct type (layer-specific)
+ * @template JE - Join entry type for the secondary side
+ *
+ * @example
+ * // Traverse linker l1 and read rest data lifted onto l1's many-side
+ * {
+ *   type: 'linkerJoin',
+ *   linker: { column: 'l1' },
+ *   secondary: [{ entry: restQuery, ... }]
+ * }
+ */
+export interface QueryLinkerJoin<L, JE extends QueryJoinEntry<unknown>> {
+  type: "linkerJoin";
+  /** Linker side — column reference plus layer-specific integration data. */
+  linker: L;
+  /** Rest side — one or more subqueries joined with the linker (at least one). */
+  secondary: JE[];
+}

package/src/drivers/pframe/query/query_data.ts

@@ -21,6 +21,7 @@ import type {
   QueryFilter,
   QueryInlineColumn,
   QueryJoinEntry,
+  QueryLinkerJoin,
   QueryOuterJoin,
   QuerySliceAxes,
   QuerySort,
@@ -69,6 +70,24 @@ export type DataQuerySparseToDenseColumn = QuerySparseToDenseColumn<PObjectId, C
 export type DataQuerySymmetricJoin = QuerySymmetricJoin<DataQueryJoinEntry>;
 /** @see QueryOuterJoin */
 export type DataQueryOuterJoin = QueryOuterJoin<DataQueryJoinEntry>;
+/**
+ * Linker side of a data-layer linker-join.
+ *
+ * Carries the linker column id along with integration-derived artifacts needed
+ * for execution:
+ * - `axesMapping` — how the linker's axes map into the joined result
+ * - `oneSideAxesIndices` — which axis indices in the joined result to project out
+ */
+export type DataQueryLinkerJoinLinker = {
+  /** Linker column reference. */
+  column: PObjectId;
+  /** Linker's axes mapped into the joined result. */
+  axesMapping: number[];
+  /** Axis indices (in the joined result) to project out — the linker's one-side axes. */
+  oneSideAxesIndices: number[];
+};
+/** @see QueryLinkerJoin */
+export type DataQueryLinkerJoin = QueryLinkerJoin<DataQueryLinkerJoinLinker, DataQueryJoinEntry>;
 /** @see QuerySliceAxes */
 export type DataQuerySliceAxes = QuerySliceAxes<DataQuery, QueryAxisSelector<number>>;
 /** @see QuerySort */
@@ -93,6 +112,7 @@ export type DataQuery =
   | DataQuerySparseToDenseColumn
   | DataQuerySymmetricJoin
   | DataQueryOuterJoin
+  | DataQueryLinkerJoin
   | DataQuerySliceAxes
   | DataQuerySort
   | DataQueryFilter;

package/src/drivers/pframe/query/query_spec.ts

@@ -21,6 +21,7 @@ import type {
   QueryFilter,
   QueryInlineColumn,
   QueryJoinEntry,
+  QueryLinkerJoin,
   QueryOuterJoin,
   QuerySliceAxes,
   QuerySort,
@@ -81,6 +82,21 @@ export type SpecQuerySparseToDenseColumn<C = PObjectId> = QuerySparseToDenseColu
 export type SpecQuerySymmetricJoin<C = PObjectId> = QuerySymmetricJoin<SpecQueryJoinEntry<C>>;
 /** @see QueryOuterJoin */
 export type SpecQueryOuterJoin<C = PObjectId> = QueryOuterJoin<SpecQueryJoinEntry<C>>;
+/**
+ * Linker side of a spec-layer linker-join.
+ *
+ * At the spec layer the linker is just a column reference — integration artifacts
+ * (axes mapping, one-side indices) are derived during spec→data conversion.
+ */
+export type SpecQueryLinkerJoinLinker<C = PObjectId> = {
+  /** Linker column reference. */
+  column: C;
+};
+/** @see QueryLinkerJoin */
+export type SpecQueryLinkerJoin<C = PObjectId> = QueryLinkerJoin<
+  SpecQueryLinkerJoinLinker<C>,
+  SpecQueryJoinEntry<C>
+>;
 /** @see QuerySliceAxes */
 export type SpecQuerySliceAxes<C = PObjectId> = QuerySliceAxes<
   SpecQuery<C>,
@@ -112,6 +128,7 @@ export type SpecQuery<C = PObjectId> =
   | SpecQuerySparseToDenseColumn<C>
   | SpecQuerySymmetricJoin<C>
   | SpecQueryOuterJoin<C>
+  | SpecQueryLinkerJoin<C>
   | SpecQuerySliceAxes<C>
   | SpecQuerySort<C>
   | SpecQueryFilter<C>;

package/src/drivers/pframe/query/utils.test.ts

@@ -74,6 +74,20 @@ describe("traverseQuerySpec", () => {
     });
   });
 
+  it("transforms columns inside linkerJoin", () => {
+    const q: Q = {
+      type: "linkerJoin",
+      linker: { column: "l" },
+      secondary: [entry(col("a")), entry(col("b"))],
+    };
+    const result = traverseQuerySpec(q, { column: (c) => c.toUpperCase() });
+    expect(result).toEqual({
+      type: "linkerJoin",
+      linker: { column: "L" },
+      secondary: [entry({ type: "column", column: "A" }), entry({ type: "column", column: "B" })],
+    });
+  });
+
   it("transforms columns inside filter", () => {
     const q: Q = {
       type: "filter",
@@ -195,6 +209,15 @@ describe("collectSpecQueryColumns", () => {
     } as unknown as Q;
     expect(collectSpecQueryColumns(q)).toEqual([]);
   });
+
+  it("collects linker and secondary columns from linkerJoin", () => {
+    const q: Q = {
+      type: "linkerJoin",
+      linker: { column: "l" },
+      secondary: [entry(col("a")), entry(col("b"))],
+    };
+    expect(collectSpecQueryColumns(q)).toEqual(["l", "a", "b"]);
+  });
 });
 
 describe("sortSpecQuery", () => {
@@ -221,6 +244,20 @@ describe("sortSpecQuery", () => {
     });
   });
 
+  it("sorts linkerJoin secondary entries (linker column unchanged)", () => {
+    const q: SpecQuery = {
+      type: "linkerJoin",
+      linker: { column: pid("l") },
+      secondary: [pentry(pcol("c")), pentry(pcol("a")), pentry(pcol("b"))],
+    };
+    const result = sortSpecQuery(q);
+    expect(result).toEqual({
+      type: "linkerJoin",
+      linker: { column: "l" },
+      secondary: [pentry(pcol("a")), pentry(pcol("b")), pentry(pcol("c"))],
+    });
+  });
+
   it("sorts sparseToDenseColumn axesIndices", () => {
     const q: SpecQuery = {
       type: "sparseToDenseColumn",

package/src/drivers/pframe/query/utils.ts

@@ -78,6 +78,13 @@ export function traverseQuerySpec<C1, C2>(
         secondary: query.secondary.map(traverseEntry),
       };
       break;
+    case "linkerJoin":
+      result = {
+        ...query,
+        linker: { ...query.linker, column: visitor.column(query.linker.column) },
+        secondary: query.secondary.map(traverseEntry),
+      };
+      break;
     case "filter":
     case "sort":
     case "sliceAxes":
@@ -126,6 +133,10 @@ export function sortSpecQuery(query: SpecQuery): SpecQuery {
           const sorted = [...node.secondary].sort(cmpQueryJoinEntrySpec);
           return { ...node, secondary: sorted };
         }
+        case "linkerJoin": {
+          const sorted = [...node.secondary].sort(cmpQueryJoinEntrySpec);
+          return { ...node, secondary: sorted };
+        }
         case "sliceAxes":
           return {
             ...node,
@@ -198,6 +209,20 @@ function cmpQuerySpec(lhs: SpecQuery, rhs: SpecQuery): number {
       }
       return 0;
     }
+    case "linkerJoin": {
+      const rhsLinker = rhs as typeof lhs;
+      if (lhs.linker.column !== rhsLinker.linker.column) {
+        return lhs.linker.column < rhsLinker.linker.column ? -1 : 1;
+      }
+      if (lhs.secondary.length !== rhsLinker.secondary.length) {
+        return lhs.secondary.length - rhsLinker.secondary.length;
+      }
+      for (let i = 0; i < lhs.secondary.length; i++) {
+        const cmp = cmpQueryJoinEntrySpec(lhs.secondary[i], rhsLinker.secondary[i]);
+        if (cmp !== 0) return cmp;
+      }
+      return 0;
+    }
     case "sliceAxes":
       return cmpQuerySpec(lhs.input, (rhs as typeof lhs).input);
     case "sort":

package/src/drivers/pframe/spec/anchored.ts

@@ -50,7 +50,12 @@ export class AnchoredIdDeriver {
    * Creates a new anchor context from a set of anchor column specifications
    * @param anchors Record of anchor column specifications indexed by anchor ID
    */
-  constructor(public readonly anchors: Record<string, PColumnSpec>) {
+  constructor(
+    public readonly anchors: Record<
+      string,
+      Pick<PColumnSpec, "axesSpec" | "domain" | "contextDomain">
+    >,
+  ) {
     const anchorEntries = Object.entries(anchors);
     anchorEntries.sort((a, b) => a[0].localeCompare(b[0]));
     for (const [anchorId, spec] of anchorEntries) {
@@ -241,7 +246,7 @@ export type ResolveAnchorsOptions = {
  * @returns A non-anchored column matcher with all references resolved to actual values
  */
 export function resolveAnchors(
-  anchors: Record<string, PColumnSpec>,
+  anchors: Record<string, Pick<PColumnSpec, "axesSpec" | "domain" | "contextDomain">>,
   matcher: AnchoredPColumnSelector,
   options?: ResolveAnchorsOptions,
 ): PColumnSelector {
@@ -321,7 +326,7 @@ export function resolveAnchors(
  * Resolves an anchored axis reference to a concrete AxisId
  */
 function resolveAxisReference(
-  anchors: Record<string, PColumnSpec>,
+  anchors: Record<string, Pick<PColumnSpec, "axesSpec">>,
   axisRef: AAxisSelector,
 ): LegacyAxisSelector {
   if (!isAnchorAxisRef(axisRef)) return axisRef;

package/src/drivers/pframe/spec/spec.ts

@@ -145,6 +145,7 @@ export const Annotation = {
   IsScore: "pl7.app/isScore",
   IsSubset: "pl7.app/isSubset",
   Label: "pl7.app/label",
+  LinkLabel: "pl7.app/linkLabel",
   Max: "pl7.app/max",
   Min: "pl7.app/min",
   MultipliesBy: "pl7.app/multipliesBy",
@@ -204,10 +205,24 @@ export type Annotation = Metadata &
     [Annotation.Table.FontFamily]: string;
     [Annotation.Table.OrderPriority]: StringifiedJson<number>;
     [Annotation.Table.Visibility]: "hidden" | "optional" | (string & {});
-    [Annotation.Trace]: StringifiedJson<Record<string, unknown>>;
+    [Annotation.Trace]: StringifiedJson<Trace>;
     [Annotation.VDJ.IsAssemblingFeature]: StringifiedJson<boolean>;
   }>;
 
+/// One step in a column's derivation lineage. Only `type` and `label` are part
+/// of the typed public surface; writers may add fields (e.g. `id`, `importance`)
+/// passed through opaquely as `unknown`, accessed via explicit narrowing.
+const TraceEntrySchema = z
+  .object({
+    type: z.string(),
+    label: z.string(),
+  })
+  .catchall(z.unknown());
+
+export type TraceEntry = z.infer<typeof TraceEntrySchema>;
+
+export type Trace = TraceEntry[];
+
 // export const AxisSpec = z.object({
 //   type: z.nativeEnum(ValueType),
 //   name: z.string(),
@@ -256,7 +271,7 @@ export const AnnotationJson: AnnotationJson = {
   [Annotation.Sequence.Annotation.Mapping]: z.record(z.string(), z.string()),
   [Annotation.Sequence.IsAnnotation]: z.boolean(),
   [Annotation.Table.OrderPriority]: z.number(),
-  [Annotation.Trace]: z.record(z.string(), z.unknown()),
+  [Annotation.Trace]: z.array(TraceEntrySchema),
   [Annotation.VDJ.IsAssemblingFeature]: z.boolean(),
 };
 
@@ -527,11 +542,9 @@ export function getNormalizedAxesList(axes: AxisSpec[]): AxisSpecNormalized[] {
 
 /** Create list of regular axisSpec from normalized (parents are indexes, inside of current axes list) */
 export function getDenormalizedAxesList(axesSpec: AxisSpecNormalized[]): AxisSpec[] {
-  const idsList = axesSpec.map((axisSpec) => canonicalizeJson(getAxisId(axisSpec)));
+  const idsList = axesSpec.map(canonicalizeAxisId);
   return axesSpec.map((axisSpec) => {
-    const parentsIds = axisSpec.parentAxesSpec.map((axisSpec) =>
-      canonicalizeJson(getAxisId(axisSpec)),
-    );
+    const parentsIds = axisSpec.parentAxesSpec.map(canonicalizeAxisId);
     const parentIdxs = parentsIds.map((id) => idsList.indexOf(id));
     const { parentAxesSpec: _, ...copiedRest } = axisSpec;
     if (parentIdxs.length) {

package/src/drivers/pframe/spec_driver.ts

@@ -1,5 +1,6 @@
 import type { Branded } from "@milaboratories/helpers";
 import type { PoolEntry } from "../../pool_entry";
+import type { PObjectId } from "../../pool";
 import type {
   AxisSpec,
   AxesSpec,
@@ -111,8 +112,48 @@ export interface DiscoverColumnsLinkerStep {
   qualifications: AxisQualification[];
 }
 
+/**
+ * Filter step: intersects the current subquery with a filter column on shared
+ * axes. Filter columns carry `pl7.app/isSubset: "true"` with axes ⊆ dataset
+ * axes, so the inner-join narrows the key space to rows where the filter is
+ * present.
+ */
+export interface DiscoverColumnsFilterStep {
+  type: "filter";
+  /** The filter column applied in this step */
+  filter: PColumnIdAndSpec;
+}
+
 /** A step traversed during path-based column discovery. Discriminated by `type`. */
-export type DiscoverColumnsStepInfo = DiscoverColumnsLinkerStep;
+export type DiscoverColumnsStepInfo = DiscoverColumnsLinkerStep | DiscoverColumnsFilterStep;
+
+/**
+ * Input to {@link PFrameWasmV4.buildQuery}: a terminal column plus an ordered
+ * path of wrapping steps (linker hops, filter joins). Produces a
+ * {@link SpecQueryJoinEntry} ready to be plugged into an
+ * `innerJoin`/`fullJoin`/`outerJoin` entry list.
+ *
+ * Path ordering: `path[0]` is outermost (first applied), `path[N-1]` is
+ * closest to `column`. Omit or pass `[]` for a direct column with no
+ * wrapping.
+ *
+ * Columns are referenced by id — specs are resolved later at
+ * {@link PFrameWasmV4.evaluateQuery} against the registered specs of the
+ * PFrame, so the caller cannot disagree with the frame about spec content.
+ *
+ * Qualifications annotate the resulting outermost entry; they do not
+ * propagate into the inner query.
+ */
+export type BuildQueryInput = {
+  /** Shape version marker — bumped only on breaking structural changes. */
+  readonly version: "v1";
+  /** Terminal column id — the column actually returning data. */
+  readonly column: PObjectId;
+  /** Ordered path from source integration to `column`. Outermost first. */
+  readonly path?: DiscoverColumnsStepInfo[];
+  /** Axis qualifications attached to the resulting join entry. */
+  readonly qualifications?: AxisQualification[];
+};
 
 /** Qualifications info for a discover columns response mapping variant */
 export interface DiscoverColumnsResponseQualifications {

package/src/services/service_types.ts

@@ -1,3 +1,4 @@
+import { UnionToIntersection } from "@milaboratories/helpers";
 import type { Branded } from "../branding";
 import { ServiceAlreadyRegisteredError, ServiceInvalidIdError } from "../errors";
 import type { Services } from "./service_declarations";
@@ -101,12 +102,6 @@ export type ServiceRequireFlags = {
   [K in keyof SMap as `requires${K & string}`]?: boolean;
 };
 
-type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (
-  k: infer I,
-) => void
-  ? I
-  : never;
-
 export type RequireServices<T extends ServiceName> = UnionToIntersection<
   T extends Branded<infer N extends string, infer S extends ServiceTypesLike>
     ? Record<N, InferServiceModel<S>>