@milaboratories/pl-model-common 1.46.4 → 1.47.1

package/dist/services/service_registry.d.ts

@@ -1,5 +1,5 @@
 import { Services } from "./service_declarations.js";
-import { InferServiceModel, InferServiceUi, ModelServiceFactoryMap, ServiceName, ServiceTypesLike, UiServiceFactoryMap } from "./service_types.js";
+import { InferServiceModelHost, InferServiceUiHost, ModelServiceFactoryMap, ServiceName, ServiceTypesLike, UiServiceFactoryMap } from "./service_types.js";
 
 //#region src/services/service_registry.d.ts
 type RegistryName = "ModelServiceRegistry" | "UiServiceRegistry";
@@ -14,11 +14,11 @@ declare class ServiceRegistryBase {
 }
 declare class ModelServiceRegistry<SMap extends Record<string, ServiceName> = typeof Services> extends ServiceRegistryBase {
   constructor(serviceMap: SMap, factories: ModelServiceFactoryMap<SMap>);
-  get<S extends ServiceTypesLike>(id: ServiceName<S>): ([unknown] extends [InferServiceModel<S>] ? Record<string, Function> : InferServiceModel<S>) | null;
+  get<S extends ServiceTypesLike>(id: ServiceName<S>): ([unknown] extends [InferServiceModelHost<S>] ? Record<string, Function> : InferServiceModelHost<S>) | null;
 }
 declare class UiServiceRegistry<SMap extends Record<string, ServiceName> = typeof Services> extends ServiceRegistryBase {
   constructor(serviceMap: SMap, factories: UiServiceFactoryMap<SMap>);
-  get<S extends ServiceTypesLike>(id: ServiceName<S>): ([unknown] extends [InferServiceUi<S>] ? Record<string, Function> : InferServiceUi<S>) | null;
+  get<S extends ServiceTypesLike>(id: ServiceName<S>): ([unknown] extends [InferServiceUiHost<S>] ? Record<string, Function> : InferServiceUiHost<S>) | null;
 }
 //#endregion
 export { ModelServiceRegistry, UiServiceRegistry };

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

@@ -1 +1 @@
-{"version":3,"file":"service_registry.d.ts","names":[],"sources":["../../src/services/service_registry.ts"],"mappings":";;;;KAWK,YAAA;AAAA,cAGC,mBAAA;EAAA,iBACa,YAAA;EAAA,iBACA,aAAA;EAAA,iBACA,SAAA;EAAA,iBACA,SAAA;EAAA,UAER,WAAA,CACP,YAAA,EAAc,YAAA,EACd,UAAA,EAAY,MAAA,SAAe,WAAA,GAC3B,SAAA,EAAW,MAAA;EAYP,OAAA,IAAW,OAAA;EAAA,UAWP,OAAA,CAAQ,SAAA,EAAW,WAAA,GAAc,MAAA,SAAe,QAAA;AAAA;AAAA,cAiB/C,oBAAA,cACE,MAAA,SAAe,WAAA,WAAsB,QAAA,UAC1C,mBAAA;cACI,UAAA,EAAY,IAAA,EAAM,SAAA,EAAW,sBAAA,CAAuB,IAAA;EAIhE,GAAA,WAAc,gBAAA,EACZ,EAAA,EAAI,WAAA,CAAY,CAAA,wBAEM,iBAAA,CAAkB,CAAA,KAAM,MAAA,SAAe,QAAA,IAAY,iBAAA,CAAkB,CAAA;AAAA;AAAA,cAOlF,iBAAA,cACE,MAAA,SAAe,WAAA,WAAsB,QAAA,UAC1C,mBAAA;cACI,UAAA,EAAY,IAAA,EAAM,SAAA,EAAW,mBAAA,CAAoB,IAAA;EAI7D,GAAA,WAAc,gBAAA,EACZ,EAAA,EAAI,WAAA,CAAY,CAAA,wBACK,cAAA,CAAe,CAAA,KAAM,MAAA,SAAe,QAAA,IAAY,cAAA,CAAe,CAAA;AAAA"}
+{"version":3,"file":"service_registry.d.ts","names":[],"sources":["../../src/services/service_registry.ts"],"mappings":";;;;KAWK,YAAA;AAAA,cAGC,mBAAA;EAAA,iBACa,YAAA;EAAA,iBACA,aAAA;EAAA,iBACA,SAAA;EAAA,iBACA,SAAA;EAAA,UAER,WAAA,CACP,YAAA,EAAc,YAAA,EACd,UAAA,EAAY,MAAA,SAAe,WAAA,GAC3B,SAAA,EAAW,MAAA;EAYP,OAAA,IAAW,OAAA;EAAA,UAWP,OAAA,CAAQ,SAAA,EAAW,WAAA,GAAc,MAAA,SAAe,QAAA;AAAA;AAAA,cAiB/C,oBAAA,cACE,MAAA,SAAe,WAAA,WAAsB,QAAA,UAC1C,mBAAA;cACI,UAAA,EAAY,IAAA,EAAM,SAAA,EAAW,sBAAA,CAAuB,IAAA;EAIhE,GAAA,WAAc,gBAAA,EACZ,EAAA,EAAI,WAAA,CAAY,CAAA,wBAEM,qBAAA,CAAsB,CAAA,KACtC,MAAA,SAAe,QAAA,IACf,qBAAA,CAAsB,CAAA;AAAA;AAAA,cAOnB,iBAAA,cACE,MAAA,SAAe,WAAA,WAAsB,QAAA,UAC1C,mBAAA;cACI,UAAA,EAAY,IAAA,EAAM,SAAA,EAAW,mBAAA,CAAoB,IAAA;EAI7D,GAAA,WAAc,gBAAA,EACZ,EAAA,EAAI,WAAA,CAAY,CAAA,wBAEM,kBAAA,CAAmB,CAAA,KAAM,MAAA,SAAe,QAAA,IAAY,kBAAA,CAAmB,CAAA;AAAA"}

package/dist/services/service_registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"service_registry.js","names":[],"sources":["../../src/services/service_registry.ts"],"sourcesContent":["import type {\n  ServiceTypesLike,\n  InferServiceModel,\n  InferServiceUi,\n  ServiceName,\n  ModelServiceFactoryMap,\n  UiServiceFactoryMap,\n} from \"./service_types\";\nimport { ServiceNotRegisteredError } from \"../errors\";\nimport type { Services } from \"./service_declarations\";\n\ntype RegistryName = \"ModelServiceRegistry\" | \"UiServiceRegistry\";\ntype ServiceFactory = () => Record<string, Function>;\n\nclass ServiceRegistryBase {\n  private readonly registryName: RegistryName;\n  private readonly knownServices = new Set<ServiceName>();\n  private readonly factories = new Map<ServiceName, ServiceFactory>();\n  private readonly instances = new Map<ServiceName, Record<string, Function>>();\n\n  protected constructor(\n    registryName: RegistryName,\n    serviceMap: Record<string, ServiceName>,\n    factories: Record<string, (() => unknown) | null>,\n  ) {\n    this.registryName = registryName;\n    for (const [key, factory] of Object.entries(factories)) {\n      const serviceId = serviceMap[key];\n      this.knownServices.add(serviceId);\n      if (factory !== null) {\n        this.factories.set(serviceId, factory as ServiceFactory);\n      }\n    }\n  }\n\n  async dispose(): Promise<void> {\n    for (const instance of this.instances.values()) {\n      if (Symbol.asyncDispose in instance) {\n        await (instance as AsyncDisposable)[Symbol.asyncDispose]();\n      } else if (Symbol.dispose in instance) {\n        (instance as Disposable)[Symbol.dispose]();\n      }\n    }\n    this.instances.clear();\n  }\n\n  protected getById(serviceId: ServiceName): Record<string, Function> | null {\n    if (!this.knownServices.has(serviceId)) {\n      throw new ServiceNotRegisteredError(\n        `Service \"${serviceId}\" is not registered in ${this.registryName}. Add it to the factory map.`,\n      );\n    }\n    if (this.instances.has(serviceId)) return this.instances.get(serviceId)!;\n\n    const factory = this.factories.get(serviceId);\n    if (!factory) return null;\n\n    const instance = factory();\n    this.instances.set(serviceId, instance);\n    return instance;\n  }\n}\n\nexport class ModelServiceRegistry<\n  SMap extends Record<string, ServiceName> = typeof Services,\n> extends ServiceRegistryBase {\n  constructor(serviceMap: SMap, factories: ModelServiceFactoryMap<SMap>) {\n    super(\"ModelServiceRegistry\", serviceMap, factories);\n  }\n\n  get<S extends ServiceTypesLike>(\n    id: ServiceName<S>,\n  ):\n    | ([unknown] extends [InferServiceModel<S>] ? Record<string, Function> : InferServiceModel<S>)\n    | null;\n  get(id: ServiceName): Record<string, Function> | null {\n    return this.getById(id);\n  }\n}\n\nexport class UiServiceRegistry<\n  SMap extends Record<string, ServiceName> = typeof Services,\n> extends ServiceRegistryBase {\n  constructor(serviceMap: SMap, factories: UiServiceFactoryMap<SMap>) {\n    super(\"UiServiceRegistry\", serviceMap, factories);\n  }\n\n  get<S extends ServiceTypesLike>(\n    id: ServiceName<S>,\n  ): ([unknown] extends [InferServiceUi<S>] ? Record<string, Function> : InferServiceUi<S>) | null;\n  get(id: ServiceName): Record<string, Function> | null {\n    return this.getById(id);\n  }\n}\n"],"mappings":";;AAcA,IAAM,sBAAN,MAA0B;CACxB;CACA,gCAAiC,IAAI,IAAiB;CACtD,4BAA6B,IAAI,IAAiC;CAClE,4BAA6B,IAAI,IAA2C;CAE5E,YACE,cACA,YACA,WACA;EACA,KAAK,eAAe;EACpB,KAAK,MAAM,CAAC,KAAK,YAAY,OAAO,QAAQ,SAAS,GAAG;GACtD,MAAM,YAAY,WAAW;GAC7B,KAAK,cAAc,IAAI,SAAS;GAChC,IAAI,YAAY,MACd,KAAK,UAAU,IAAI,WAAW,OAAyB;EAE3D;CACF;CAEA,MAAM,UAAyB;EAC7B,KAAK,MAAM,YAAY,KAAK,UAAU,OAAO,GAC3C,IAAI,OAAO,gBAAgB,UACzB,MAAO,SAA6B,OAAO,aAAa,CAAC;OACpD,IAAI,OAAO,WAAW,UAC3B,SAAyB,OAAO,QAAQ,CAAC;EAG7C,KAAK,UAAU,MAAM;CACvB;CAEA,QAAkB,WAAyD;EACzE,IAAI,CAAC,KAAK,cAAc,IAAI,SAAS,GACnC,MAAM,IAAI,0BACR,YAAY,UAAU,yBAAyB,KAAK,aAAa,6BACnE;EAEF,IAAI,KAAK,UAAU,IAAI,SAAS,GAAG,OAAO,KAAK,UAAU,IAAI,SAAS;EAEtE,MAAM,UAAU,KAAK,UAAU,IAAI,SAAS;EAC5C,IAAI,CAAC,SAAS,OAAO;EAErB,MAAM,WAAW,QAAQ;EACzB,KAAK,UAAU,IAAI,WAAW,QAAQ;EACtC,OAAO;CACT;AACF;AAEA,IAAa,uBAAb,cAEU,oBAAoB;CAC5B,YAAY,YAAkB,WAAyC;EACrE,MAAM,wBAAwB,YAAY,SAAS;CACrD;CAOA,IAAI,IAAkD;EACpD,OAAO,KAAK,QAAQ,EAAE;CACxB;AACF;AAEA,IAAa,oBAAb,cAEU,oBAAoB;CAC5B,YAAY,YAAkB,WAAsC;EAClE,MAAM,qBAAqB,YAAY,SAAS;CAClD;CAKA,IAAI,IAAkD;EACpD,OAAO,KAAK,QAAQ,EAAE;CACxB;AACF"}
+{"version":3,"file":"service_registry.js","names":[],"sources":["../../src/services/service_registry.ts"],"sourcesContent":["import type {\n  ServiceTypesLike,\n  InferServiceModelHost,\n  InferServiceUiHost,\n  ServiceName,\n  ModelServiceFactoryMap,\n  UiServiceFactoryMap,\n} from \"./service_types\";\nimport { ServiceNotRegisteredError } from \"../errors\";\nimport type { Services } from \"./service_declarations\";\n\ntype RegistryName = \"ModelServiceRegistry\" | \"UiServiceRegistry\";\ntype ServiceFactory = () => Record<string, Function>;\n\nclass ServiceRegistryBase {\n  private readonly registryName: RegistryName;\n  private readonly knownServices = new Set<ServiceName>();\n  private readonly factories = new Map<ServiceName, ServiceFactory>();\n  private readonly instances = new Map<ServiceName, Record<string, Function>>();\n\n  protected constructor(\n    registryName: RegistryName,\n    serviceMap: Record<string, ServiceName>,\n    factories: Record<string, (() => unknown) | null>,\n  ) {\n    this.registryName = registryName;\n    for (const [key, factory] of Object.entries(factories)) {\n      const serviceId = serviceMap[key];\n      this.knownServices.add(serviceId);\n      if (factory !== null) {\n        this.factories.set(serviceId, factory as ServiceFactory);\n      }\n    }\n  }\n\n  async dispose(): Promise<void> {\n    for (const instance of this.instances.values()) {\n      if (Symbol.asyncDispose in instance) {\n        await (instance as AsyncDisposable)[Symbol.asyncDispose]();\n      } else if (Symbol.dispose in instance) {\n        (instance as Disposable)[Symbol.dispose]();\n      }\n    }\n    this.instances.clear();\n  }\n\n  protected getById(serviceId: ServiceName): Record<string, Function> | null {\n    if (!this.knownServices.has(serviceId)) {\n      throw new ServiceNotRegisteredError(\n        `Service \"${serviceId}\" is not registered in ${this.registryName}. Add it to the factory map.`,\n      );\n    }\n    if (this.instances.has(serviceId)) return this.instances.get(serviceId)!;\n\n    const factory = this.factories.get(serviceId);\n    if (!factory) return null;\n\n    const instance = factory();\n    this.instances.set(serviceId, instance);\n    return instance;\n  }\n}\n\nexport class ModelServiceRegistry<\n  SMap extends Record<string, ServiceName> = typeof Services,\n> extends ServiceRegistryBase {\n  constructor(serviceMap: SMap, factories: ModelServiceFactoryMap<SMap>) {\n    super(\"ModelServiceRegistry\", serviceMap, factories);\n  }\n\n  get<S extends ServiceTypesLike>(\n    id: ServiceName<S>,\n  ):\n    | ([unknown] extends [InferServiceModelHost<S>]\n        ? Record<string, Function>\n        : InferServiceModelHost<S>)\n    | null;\n  get(id: ServiceName): Record<string, Function> | null {\n    return this.getById(id);\n  }\n}\n\nexport class UiServiceRegistry<\n  SMap extends Record<string, ServiceName> = typeof Services,\n> extends ServiceRegistryBase {\n  constructor(serviceMap: SMap, factories: UiServiceFactoryMap<SMap>) {\n    super(\"UiServiceRegistry\", serviceMap, factories);\n  }\n\n  get<S extends ServiceTypesLike>(\n    id: ServiceName<S>,\n  ):\n    | ([unknown] extends [InferServiceUiHost<S>] ? Record<string, Function> : InferServiceUiHost<S>)\n    | null;\n  get(id: ServiceName): Record<string, Function> | null {\n    return this.getById(id);\n  }\n}\n"],"mappings":";;AAcA,IAAM,sBAAN,MAA0B;CACxB;CACA,gCAAiC,IAAI,IAAiB;CACtD,4BAA6B,IAAI,IAAiC;CAClE,4BAA6B,IAAI,IAA2C;CAE5E,YACE,cACA,YACA,WACA;EACA,KAAK,eAAe;EACpB,KAAK,MAAM,CAAC,KAAK,YAAY,OAAO,QAAQ,SAAS,GAAG;GACtD,MAAM,YAAY,WAAW;GAC7B,KAAK,cAAc,IAAI,SAAS;GAChC,IAAI,YAAY,MACd,KAAK,UAAU,IAAI,WAAW,OAAyB;EAE3D;CACF;CAEA,MAAM,UAAyB;EAC7B,KAAK,MAAM,YAAY,KAAK,UAAU,OAAO,GAC3C,IAAI,OAAO,gBAAgB,UACzB,MAAO,SAA6B,OAAO,aAAa,CAAC;OACpD,IAAI,OAAO,WAAW,UAC3B,SAAyB,OAAO,QAAQ,CAAC;EAG7C,KAAK,UAAU,MAAM;CACvB;CAEA,QAAkB,WAAyD;EACzE,IAAI,CAAC,KAAK,cAAc,IAAI,SAAS,GACnC,MAAM,IAAI,0BACR,YAAY,UAAU,yBAAyB,KAAK,aAAa,6BACnE;EAEF,IAAI,KAAK,UAAU,IAAI,SAAS,GAAG,OAAO,KAAK,UAAU,IAAI,SAAS;EAEtE,MAAM,UAAU,KAAK,UAAU,IAAI,SAAS;EAC5C,IAAI,CAAC,SAAS,OAAO;EAErB,MAAM,WAAW,QAAQ;EACzB,KAAK,UAAU,IAAI,WAAW,QAAQ;EACtC,OAAO;CACT;AACF;AAEA,IAAa,uBAAb,cAEU,oBAAoB;CAC5B,YAAY,YAAkB,WAAyC;EACrE,MAAM,wBAAwB,YAAY,SAAS;CACrD;CASA,IAAI,IAAkD;EACpD,OAAO,KAAK,QAAQ,EAAE;CACxB;AACF;AAEA,IAAa,oBAAb,cAEU,oBAAoB;CAC5B,YAAY,YAAkB,WAAsC;EAClE,MAAM,qBAAqB,YAAY,SAAS;CAClD;CAOA,IAAI,IAAkD;EACpD,OAAO,KAAK,QAAQ,EAAE;CACxB;AACF"}

package/dist/services/service_types.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"service_types.cjs","names":["ServiceInvalidIdError","ServiceAlreadyRegisteredError"],"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\" | \"main\";\n\nconst SERVICE_ID_PATTERN = /^[a-zA-Z][a-zA-Z0-9]*$/;\n\nexport const {\n  service,\n  isNodeService,\n  isWasmService,\n  isMainService,\n  getServiceKind,\n  getServiceModelMethods,\n  getServiceUiMethods,\n} = (() => {\n  const typeMap = new Map<string, ServiceType>();\n  const modelMethodsMap = new Map<string, readonly string[]>();\n  const uiMethodsMap = new Map<string, readonly string[]>();\n  return {\n    service<Model, Ui>() {\n      return <\n        K extends ServiceType,\n        N extends string,\n        MM extends readonly (keyof Model & string)[],\n        UM extends readonly (keyof Ui & string)[],\n      >(options: {\n        readonly type: K;\n        readonly name: N;\n        readonly modelMethods: MM;\n        readonly uiMethods: UM;\n      }): Branded<N, ServiceTypesLike<Model, Ui, K>> => {\n        const { name, type, modelMethods, uiMethods } = 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        modelMethodsMap.set(name, modelMethods);\n        uiMethodsMap.set(name, uiMethods);\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    isWasmService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"wasm\";\n    },\n    isMainService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"main\";\n    },\n    getServiceKind(id: ServiceName): ServiceType | undefined {\n      return typeMap.get(id);\n    },\n    getServiceModelMethods(id: ServiceName): readonly string[] {\n      return modelMethodsMap.get(id) ?? [];\n    },\n    getServiceUiMethods(id: ServiceName): readonly string[] {\n      return uiMethodsMap.get(id) ?? [];\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 TServices = 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 TServices as ExtractServiceName<TServices[K]>]: InferServiceModel<\n    ServiceBrand<TServices[K]>\n  >;\n};\n\n/** UI-side service interfaces keyed by service name literal. */\nexport type UiServices = {\n  [K in keyof TServices as ExtractServiceName<TServices[K]>]: InferServiceUi<\n    ServiceBrand<TServices[K]>\n  >;\n};\n\n/** Map from Services keys to their unbranded string name literals. */\nexport type ServiceNameLiterals = {\n  [K in keyof TServices]: ExtractServiceName<TServices[K]>;\n};\n\n/** Auto-derived requires* feature flags from Services keys. */\nexport type ServiceRequireFlags = {\n  [K in keyof TServices 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,EACX,SACA,eACA,eACA,eACA,gBACA,wBACA,+BACS;CACT,MAAM,0BAAU,IAAI,IAAyB;CAC7C,MAAM,kCAAkB,IAAI,IAA+B;CAC3D,MAAM,+BAAe,IAAI,IAA+B;CACxD,OAAO;EACL,UAAqB;GACnB,QAKE,YAKgD;IAChD,MAAM,EAAE,MAAM,MAAM,cAAc,cAAc;IAChD,IAAI,CAAC,mBAAmB,KAAK,IAAI,GAC/B,MAAM,IAAIA,eAAAA,sBACR,uBAAuB,KAAK,gBAAgB,oBAC9C;IAEF,IAAI,QAAQ,IAAI,IAAI,GAClB,MAAM,IAAIC,eAAAA,8BAA8B,YAAY,KAAK,qBAAqB;IAEhF,QAAQ,IAAI,MAAM,IAAI;IACtB,gBAAgB,IAAI,MAAM,YAAY;IACtC,aAAa,IAAI,MAAM,SAAS;IAChC,OAAO;GACT;EACF;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,eAAe,IAA0C;GACvD,OAAO,QAAQ,IAAI,EAAE;EACvB;EACA,uBAAuB,IAAoC;GACzD,OAAO,gBAAgB,IAAI,EAAE,KAAK,CAAC;EACrC;EACA,oBAAoB,IAAoC;GACtD,OAAO,aAAa,IAAI,EAAE,KAAK,CAAC;EAClC;CACF;AACF,EAAA,CAAG;AAEH,SAAgB,aAAa,WAAmB,SAAS,IAAY;CACnE,OAAO,WAAW,UAAU,GAAG;AACjC"}
+{"version":3,"file":"service_types.cjs","names":["ServiceInvalidIdError","ServiceAlreadyRegisteredError"],"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  ModelHost = Model,\n  UiHost = Ui,\n> = {\n  readonly __types?: {\n    model: Model;\n    ui: Ui;\n    kind: Kind;\n    modelHost: ModelHost;\n    uiHost: UiHost;\n  };\n};\n\nexport type InferServiceModel<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<infer M, unknown, ServiceType, unknown, unknown> ? M : unknown;\n\nexport type InferServiceUi<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, infer U, ServiceType, unknown, unknown> ? U : unknown;\n\nexport type InferServiceKind<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, unknown, infer K, unknown, unknown> ? K : ServiceType;\n\n/**\n * Host-side shape stored in the model service registry. Differs from\n * {@link InferServiceModel} only when the registered impl carries extra\n * parameters (e.g. per-call `host` bindings) that the sandbox-view does\n * not expose. Defaults to {@link InferServiceModel}.\n */\nexport type InferServiceModelHost<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, unknown, ServiceType, infer MH, unknown> ? MH : unknown;\n\n/**\n * Host-side shape stored in the UI service registry. Differs from\n * {@link InferServiceUi} only when the registered impl carries extra\n * parameters that the UI-proxy view does not expose. Defaults to\n * {@link InferServiceUi}.\n */\nexport type InferServiceUiHost<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, unknown, ServiceType, unknown, infer UH> ? UH : unknown;\n\nexport type ServiceName<S extends ServiceTypesLike = ServiceTypesLike> = Branded<string, S>;\n\nexport type ServiceType = \"node\" | \"wasm\" | \"main\";\n\nconst SERVICE_ID_PATTERN = /^[a-zA-Z][a-zA-Z0-9]*$/;\n\nexport const {\n  service,\n  isNodeService,\n  isWasmService,\n  isMainService,\n  getServiceKind,\n  getServiceModelMethods,\n  getServiceUiMethods,\n} = (() => {\n  const typeMap = new Map<string, ServiceType>();\n  const modelMethodsMap = new Map<string, readonly string[]>();\n  const uiMethodsMap = new Map<string, readonly string[]>();\n  return {\n    service<Model, Ui, ModelHost = Model, UiHost = Ui>() {\n      return <\n        K extends ServiceType,\n        N extends string,\n        MM extends readonly (keyof Model & string)[],\n        UM extends readonly (keyof Ui & string)[],\n      >(options: {\n        readonly type: K;\n        readonly name: N;\n        readonly modelMethods: MM;\n        readonly uiMethods: UM;\n      }): Branded<N, ServiceTypesLike<Model, Ui, K, ModelHost, UiHost>> => {\n        const { name, type, modelMethods, uiMethods } = 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        modelMethodsMap.set(name, modelMethods);\n        uiMethodsMap.set(name, uiMethods);\n        return name as Branded<N, ServiceTypesLike<Model, Ui, K, ModelHost, UiHost>>;\n      };\n    },\n    isNodeService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"node\";\n    },\n    isWasmService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"wasm\";\n    },\n    isMainService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"main\";\n    },\n    getServiceKind(id: ServiceName): ServiceType | undefined {\n      return typeMap.get(id);\n    },\n    getServiceModelMethods(id: ServiceName): readonly string[] {\n      return modelMethodsMap.get(id) ?? [];\n    },\n    getServiceUiMethods(id: ServiceName): readonly string[] {\n      return uiMethodsMap.get(id) ?? [];\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]: (() => InferServiceModelHost<ServiceBrand<SMap[K]>>) | null;\n};\n\nexport type UiServiceFactoryMap<SMap extends Record<string, ServiceName>> = {\n  [K in keyof SMap]: (() => InferServiceUiHost<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 TServices = 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 TServices as ExtractServiceName<TServices[K]>]: InferServiceModel<\n    ServiceBrand<TServices[K]>\n  >;\n};\n\n/** UI-side service interfaces keyed by service name literal. */\nexport type UiServices = {\n  [K in keyof TServices as ExtractServiceName<TServices[K]>]: InferServiceUi<\n    ServiceBrand<TServices[K]>\n  >;\n};\n\n/** Map from Services keys to their unbranded string name literals. */\nexport type ServiceNameLiterals = {\n  [K in keyof TServices]: ExtractServiceName<TServices[K]>;\n};\n\n/** Auto-derived requires* feature flags from Services keys. */\nexport type ServiceRequireFlags = {\n  [K in keyof TServices 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":";;AAoDA,MAAM,qBAAqB;AAE3B,MAAa,EACX,SACA,eACA,eACA,eACA,gBACA,wBACA,+BACS;CACT,MAAM,0BAAU,IAAI,IAAyB;CAC7C,MAAM,kCAAkB,IAAI,IAA+B;CAC3D,MAAM,+BAAe,IAAI,IAA+B;CACxD,OAAO;EACL,UAAqD;GACnD,QAKE,YAKmE;IACnE,MAAM,EAAE,MAAM,MAAM,cAAc,cAAc;IAChD,IAAI,CAAC,mBAAmB,KAAK,IAAI,GAC/B,MAAM,IAAIA,eAAAA,sBACR,uBAAuB,KAAK,gBAAgB,oBAC9C;IAEF,IAAI,QAAQ,IAAI,IAAI,GAClB,MAAM,IAAIC,eAAAA,8BAA8B,YAAY,KAAK,qBAAqB;IAEhF,QAAQ,IAAI,MAAM,IAAI;IACtB,gBAAgB,IAAI,MAAM,YAAY;IACtC,aAAa,IAAI,MAAM,SAAS;IAChC,OAAO;GACT;EACF;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,eAAe,IAA0C;GACvD,OAAO,QAAQ,IAAI,EAAE;EACvB;EACA,uBAAuB,IAAoC;GACzD,OAAO,gBAAgB,IAAI,EAAE,KAAK,CAAC;EACrC;EACA,oBAAoB,IAAoC;GACtD,OAAO,aAAa,IAAI,EAAE,KAAK,CAAC;EAClC;CACF;AACF,EAAA,CAAG;AAEH,SAAgB,aAAa,WAAmB,SAAS,IAAY;CACnE,OAAO,WAAW,UAAU,GAAG;AACjC"}

package/dist/services/service_types.d.ts

@@ -3,28 +3,44 @@ 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> = {
+type ServiceTypesLike<Model = unknown, Ui = unknown, Kind extends ServiceType = ServiceType, ModelHost = Model, UiHost = Ui> = {
   readonly __types?: {
     model: Model;
     ui: Ui;
     kind: Kind;
+    modelHost: ModelHost;
+    uiHost: UiHost;
   };
 };
-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 InferServiceModel<S extends ServiceTypesLike> = S extends ServiceTypesLike<infer M, unknown, ServiceType, unknown, unknown> ? M : unknown;
+type InferServiceUi<S extends ServiceTypesLike> = S extends ServiceTypesLike<unknown, infer U, ServiceType, unknown, unknown> ? U : unknown;
+type InferServiceKind<S extends ServiceTypesLike> = S extends ServiceTypesLike<unknown, unknown, infer K, unknown, unknown> ? K : ServiceType;
+/**
+ * Host-side shape stored in the model service registry. Differs from
+ * {@link InferServiceModel} only when the registered impl carries extra
+ * parameters (e.g. per-call `host` bindings) that the sandbox-view does
+ * not expose. Defaults to {@link InferServiceModel}.
+ */
+type InferServiceModelHost<S extends ServiceTypesLike> = S extends ServiceTypesLike<unknown, unknown, ServiceType, infer MH, unknown> ? MH : unknown;
+/**
+ * Host-side shape stored in the UI service registry. Differs from
+ * {@link InferServiceUi} only when the registered impl carries extra
+ * parameters that the UI-proxy view does not expose. Defaults to
+ * {@link InferServiceUi}.
+ */
+type InferServiceUiHost<S extends ServiceTypesLike> = S extends ServiceTypesLike<unknown, unknown, ServiceType, unknown, infer UH> ? UH : unknown;
 type ServiceName<S extends ServiceTypesLike = ServiceTypesLike> = Branded$1<string, S>;
 type ServiceType = "node" | "wasm" | "main";
-declare const service: <Model, Ui>() => <K extends ServiceType, N extends string, MM extends readonly (keyof Model & string)[], UM extends readonly (keyof Ui & string)[]>(options: {
+declare const service: <Model, Ui, ModelHost = Model, UiHost = Ui>() => <K extends ServiceType, N extends string, MM extends readonly (keyof Model & string)[], UM extends readonly (keyof Ui & string)[]>(options: {
     readonly type: K;
     readonly name: N;
     readonly modelMethods: MM;
     readonly uiMethods: UM;
-  }) => Branded$1<N, ServiceTypesLike<Model, Ui, K>>, isNodeService: (id: ServiceName) => boolean, isWasmService: (id: ServiceName) => boolean, isMainService: (id: ServiceName) => boolean, getServiceKind: (id: ServiceName) => ServiceType | undefined, getServiceModelMethods: (id: ServiceName) => readonly string[], getServiceUiMethods: (id: ServiceName) => readonly string[];
+  }) => Branded$1<N, ServiceTypesLike<Model, Ui, K, ModelHost, UiHost>>, isNodeService: (id: ServiceName) => boolean, isWasmService: (id: ServiceName) => boolean, isMainService: (id: ServiceName) => boolean, getServiceKind: (id: ServiceName) => ServiceType | undefined, getServiceModelMethods: (id: ServiceName) => readonly string[], getServiceUiMethods: (id: ServiceName) => readonly string[];
 declare function serviceFnKey(serviceId: string, method?: string): string;
 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 };
+type ModelServiceFactoryMap<SMap extends Record<string, ServiceName>> = { [K in keyof SMap]: (() => InferServiceModelHost<ServiceBrand<SMap[K]>>) | null };
+type UiServiceFactoryMap<SMap extends Record<string, ServiceName>> = { [K in keyof SMap]: (() => InferServiceUiHost<ServiceBrand<SMap[K]>>) | null };
 /** Contract between any service provider and any service consumer. */
 interface ServiceDispatch {
   getServiceNames(): ServiceName[];
@@ -43,5 +59,5 @@ type ServiceNameLiterals = { [K in keyof TServices]: ExtractServiceName<TService
 type ServiceRequireFlags = { [K in keyof TServices as `requires${K & string}`]?: boolean };
 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, getServiceKind, getServiceModelMethods, getServiceUiMethods, isMainService, isNodeService, isWasmService, service, serviceFnKey };
+export { InferServiceKind, InferServiceModel, InferServiceModelHost, InferServiceUi, InferServiceUiHost, ModelServiceFactoryMap, ModelServices, RequireServices, ServiceBrand, ServiceDispatch, ServiceName, ServiceNameLiterals, ServiceRequireFlags, ServiceType, ServiceTypesLike, UiServiceFactoryMap, UiServices, getServiceKind, getServiceModelMethods, getServiceUiMethods, isMainService, isNodeService, isWasmService, service, serviceFnKey };
 //# sourceMappingURL=service_types.d.ts.map

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

@@ -1 +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,cAKV,OAAA,8BAcgB,WAAA,+CAEiB,KAAA,yCACA,EAAA,cAAc,OAAA;IAAA,SAEhC,IAAA,EAAM,CAAA;IAAA,SACN,IAAA,EAAM,CAAA;IAAA,SACN,YAAA,EAAc,EAAA;IAAA,SACd,SAAA,EAAW,EAAA;EAAA,MAClB,SAAA,CAAQ,CAAA,EAAG,gBAAA,CAAiB,KAAA,EAAO,EAAA,EAAI,CAAA,oBAtBlC,EAAA,EAsCO,WAAA,8BArCP,EAAA,EAwCO,WAAA,8BAvCP,EAAA,EA0CO,WAAA,+BAzCN,EAAA,EA4CO,WAAA,KAAc,WAAA,uCA3Cb,EAAA,EA8CO,WAAA,8CA7CV,EAAA,EAgDO,WAAA;AAAA,iBAMZ,YAAA,CAAa,SAAA,UAAmB,MAAW;AAAA,KAI/C,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;AAxF7D;AAAA,UA4FiB,eAAA;EACf,eAAA,IAAmB,WAAA;EACnB,iBAAA,CAAkB,SAAA,EAAW,WAAA;EAC7B,iBAAA,CAAkB,SAAA,EAAW,WAAA,EAAa,MAAA,aAAmB,IAAA;AAAA;AAAA,KAM1D,SAAA,UAAmB,QAAQ;AAAA,KAE3B,kBAAA,MAAwB,CAAA,SAAU,SAAO,gCAAgC,CAAA;;KAGlE,aAAA,iBACE,SAAA,IAAa,kBAAA,CAAmB,SAAA,CAAU,CAAA,KAAM,iBAAA,CAC1D,YAAA,CAAa,SAAA,CAAU,CAAA;;KAKf,UAAA,iBACE,SAAA,IAAa,kBAAA,CAAmB,SAAA,CAAU,CAAA,KAAM,cAAA,CAC1D,YAAA,CAAa,SAAA,CAAU,CAAA;;KAKf,mBAAA,iBACE,SAAA,GAAY,kBAAA,CAAmB,SAAA,CAAU,CAAA;;KAI3C,mBAAA,iBACE,SAAA,eAAwB,CAAC;AAAA,KAG3B,eAAA,WAA0B,WAAA,IAAe,mBAAA,CACnD,CAAA,SAAU,SAAA,yCAAgD,gBAAA,IACtD,MAAA,CAAO,CAAA,EAAG,iBAAA,CAAkB,CAAA"}
+{"version":3,"file":"service_types.d.ts","names":[],"sources":["../../src/services/service_types.ts"],"mappings":";;;;;KAKY,gBAAA,6CAGG,WAAA,GAAc,WAAA,cACf,KAAA,WACH,EAAA;EAAA,SAEA,OAAA;IACP,KAAA,EAAO,KAAA;IACP,EAAA,EAAI,EAAA;IACJ,IAAA,EAAM,IAAA;IACN,SAAA,EAAW,SAAA;IACX,MAAA,EAAQ,MAAA;EAAA;AAAA;AAAA,KAIA,iBAAA,WAA4B,gBAAA,IACtC,CAAA,SAAU,gBAAA,mBAAmC,WAAA,sBAAiC,CAAA;AAAA,KAEpE,cAAA,WAAyB,gBAAA,IACnC,CAAA,SAAU,gBAAA,mBAAmC,WAAA,sBAAiC,CAAA;AAAA,KAEpE,gBAAA,WAA2B,gBAAA,IACrC,CAAA,SAAU,gBAAA,gDAAgE,CAAA,GAAI,WAAA;;;;;;;KAQpE,qBAAA,WAAgC,gBAAA,IAC1C,CAAA,SAAU,gBAAA,mBAAmC,WAAA,uBAAkC,EAAA;;;;;;;KAQrE,kBAAA,WAA6B,gBAAA,IACvC,CAAA,SAAU,gBAAA,mBAAmC,WAAA,uBAAkC,EAAA;AAAA,KAErE,WAAA,WAAsB,gBAAA,GAAmB,gBAAA,IAAoB,SAAA,SAAgB,CAAA;AAAA,KAE7E,WAAA;AAAA,cAKV,OAAA,0BAY8B,KAAA,WAAgB,EAAA,kBAE9B,WAAA,+CAEiB,KAAA,yCACA,EAAA,cAAc,OAAA;IAAA,SAEhC,IAAA,EAAM,CAAA;IAAA,SACN,IAAA,EAAM,CAAA;IAAA,SACN,YAAA,EAAc,EAAA;IAAA,SACd,SAAA,EAAW,EAAA;EAAA,MAClB,SAAA,CAAQ,CAAA,EAAG,gBAAA,CAAiB,KAAA,EAAO,EAAA,EAAI,CAAA,EAAG,SAAA,EAAW,MAAA,oBAtBhD,EAAA,EAsCO,WAAA,8BArCP,EAAA,EAwCO,WAAA,8BAvCP,EAAA,EA0CO,WAAA,+BAzCN,EAAA,EA4CO,WAAA,KAAc,WAAA,uCA3Cb,EAAA,EA8CO,WAAA,8CA7CV,EAAA,EAgDO,WAAA;AAAA,iBAMZ,YAAA,CAAa,SAAA,UAAmB,MAAW;AAAA,KAI/C,YAAA,MACV,CAAA,SAAU,SAAA,yBAAgC,gBAAA,IAAoB,CAAA;AAAA,KAEpD,sBAAA,cAAoC,MAAA,SAAe,WAAA,mBACjD,IAAA,UAAc,qBAAA,CAAsB,YAAA,CAAa,IAAA,CAAK,CAAA;AAAA,KAGxD,mBAAA,cAAiC,MAAA,SAAe,WAAA,mBAC9C,IAAA,UAAc,kBAAA,CAAmB,YAAA,CAAa,IAAA,CAAK,CAAA;;UAIhD,eAAA;EACf,eAAA,IAAmB,WAAA;EACnB,iBAAA,CAAkB,SAAA,EAAW,WAAA;EAC7B,iBAAA,CAAkB,SAAA,EAAW,WAAA,EAAa,MAAA,aAAmB,IAAA;AAAA;AAAA,KAM1D,SAAA,UAAmB,QAAQ;AAAA,KAE3B,kBAAA,MAAwB,CAAA,SAAU,SAAO,gCAAgC,CAAA;;KAGlE,aAAA,iBACE,SAAA,IAAa,kBAAA,CAAmB,SAAA,CAAU,CAAA,KAAM,iBAAA,CAC1D,YAAA,CAAa,SAAA,CAAU,CAAA;;KAKf,UAAA,iBACE,SAAA,IAAa,kBAAA,CAAmB,SAAA,CAAU,CAAA,KAAM,cAAA,CAC1D,YAAA,CAAa,SAAA,CAAU,CAAA;;KAKf,mBAAA,iBACE,SAAA,GAAY,kBAAA,CAAmB,SAAA,CAAU,CAAA;;KAI3C,mBAAA,iBACE,SAAA,eAAwB,CAAC;AAAA,KAG3B,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.map

@@ -1 +1 @@
-{"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\" | \"main\";\n\nconst SERVICE_ID_PATTERN = /^[a-zA-Z][a-zA-Z0-9]*$/;\n\nexport const {\n  service,\n  isNodeService,\n  isWasmService,\n  isMainService,\n  getServiceKind,\n  getServiceModelMethods,\n  getServiceUiMethods,\n} = (() => {\n  const typeMap = new Map<string, ServiceType>();\n  const modelMethodsMap = new Map<string, readonly string[]>();\n  const uiMethodsMap = new Map<string, readonly string[]>();\n  return {\n    service<Model, Ui>() {\n      return <\n        K extends ServiceType,\n        N extends string,\n        MM extends readonly (keyof Model & string)[],\n        UM extends readonly (keyof Ui & string)[],\n      >(options: {\n        readonly type: K;\n        readonly name: N;\n        readonly modelMethods: MM;\n        readonly uiMethods: UM;\n      }): Branded<N, ServiceTypesLike<Model, Ui, K>> => {\n        const { name, type, modelMethods, uiMethods } = 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        modelMethodsMap.set(name, modelMethods);\n        uiMethodsMap.set(name, uiMethods);\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    isWasmService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"wasm\";\n    },\n    isMainService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"main\";\n    },\n    getServiceKind(id: ServiceName): ServiceType | undefined {\n      return typeMap.get(id);\n    },\n    getServiceModelMethods(id: ServiceName): readonly string[] {\n      return modelMethodsMap.get(id) ?? [];\n    },\n    getServiceUiMethods(id: ServiceName): readonly string[] {\n      return uiMethodsMap.get(id) ?? [];\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 TServices = 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 TServices as ExtractServiceName<TServices[K]>]: InferServiceModel<\n    ServiceBrand<TServices[K]>\n  >;\n};\n\n/** UI-side service interfaces keyed by service name literal. */\nexport type UiServices = {\n  [K in keyof TServices as ExtractServiceName<TServices[K]>]: InferServiceUi<\n    ServiceBrand<TServices[K]>\n  >;\n};\n\n/** Map from Services keys to their unbranded string name literals. */\nexport type ServiceNameLiterals = {\n  [K in keyof TServices]: ExtractServiceName<TServices[K]>;\n};\n\n/** Auto-derived requires* feature flags from Services keys. */\nexport type ServiceRequireFlags = {\n  [K in keyof TServices 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,EACX,SACA,eACA,eACA,eACA,gBACA,wBACA,+BACS;CACT,MAAM,0BAAU,IAAI,IAAyB;CAC7C,MAAM,kCAAkB,IAAI,IAA+B;CAC3D,MAAM,+BAAe,IAAI,IAA+B;CACxD,OAAO;EACL,UAAqB;GACnB,QAKE,YAKgD;IAChD,MAAM,EAAE,MAAM,MAAM,cAAc,cAAc;IAChD,IAAI,CAAC,mBAAmB,KAAK,IAAI,GAC/B,MAAM,IAAI,sBACR,uBAAuB,KAAK,gBAAgB,oBAC9C;IAEF,IAAI,QAAQ,IAAI,IAAI,GAClB,MAAM,IAAI,8BAA8B,YAAY,KAAK,qBAAqB;IAEhF,QAAQ,IAAI,MAAM,IAAI;IACtB,gBAAgB,IAAI,MAAM,YAAY;IACtC,aAAa,IAAI,MAAM,SAAS;IAChC,OAAO;GACT;EACF;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,eAAe,IAA0C;GACvD,OAAO,QAAQ,IAAI,EAAE;EACvB;EACA,uBAAuB,IAAoC;GACzD,OAAO,gBAAgB,IAAI,EAAE,KAAK,CAAC;EACrC;EACA,oBAAoB,IAAoC;GACtD,OAAO,aAAa,IAAI,EAAE,KAAK,CAAC;EAClC;CACF;AACF,EAAA,CAAG;AAEH,SAAgB,aAAa,WAAmB,SAAS,IAAY;CACnE,OAAO,WAAW,UAAU,GAAG;AACjC"}
+{"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  ModelHost = Model,\n  UiHost = Ui,\n> = {\n  readonly __types?: {\n    model: Model;\n    ui: Ui;\n    kind: Kind;\n    modelHost: ModelHost;\n    uiHost: UiHost;\n  };\n};\n\nexport type InferServiceModel<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<infer M, unknown, ServiceType, unknown, unknown> ? M : unknown;\n\nexport type InferServiceUi<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, infer U, ServiceType, unknown, unknown> ? U : unknown;\n\nexport type InferServiceKind<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, unknown, infer K, unknown, unknown> ? K : ServiceType;\n\n/**\n * Host-side shape stored in the model service registry. Differs from\n * {@link InferServiceModel} only when the registered impl carries extra\n * parameters (e.g. per-call `host` bindings) that the sandbox-view does\n * not expose. Defaults to {@link InferServiceModel}.\n */\nexport type InferServiceModelHost<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, unknown, ServiceType, infer MH, unknown> ? MH : unknown;\n\n/**\n * Host-side shape stored in the UI service registry. Differs from\n * {@link InferServiceUi} only when the registered impl carries extra\n * parameters that the UI-proxy view does not expose. Defaults to\n * {@link InferServiceUi}.\n */\nexport type InferServiceUiHost<S extends ServiceTypesLike> =\n  S extends ServiceTypesLike<unknown, unknown, ServiceType, unknown, infer UH> ? UH : unknown;\n\nexport type ServiceName<S extends ServiceTypesLike = ServiceTypesLike> = Branded<string, S>;\n\nexport type ServiceType = \"node\" | \"wasm\" | \"main\";\n\nconst SERVICE_ID_PATTERN = /^[a-zA-Z][a-zA-Z0-9]*$/;\n\nexport const {\n  service,\n  isNodeService,\n  isWasmService,\n  isMainService,\n  getServiceKind,\n  getServiceModelMethods,\n  getServiceUiMethods,\n} = (() => {\n  const typeMap = new Map<string, ServiceType>();\n  const modelMethodsMap = new Map<string, readonly string[]>();\n  const uiMethodsMap = new Map<string, readonly string[]>();\n  return {\n    service<Model, Ui, ModelHost = Model, UiHost = Ui>() {\n      return <\n        K extends ServiceType,\n        N extends string,\n        MM extends readonly (keyof Model & string)[],\n        UM extends readonly (keyof Ui & string)[],\n      >(options: {\n        readonly type: K;\n        readonly name: N;\n        readonly modelMethods: MM;\n        readonly uiMethods: UM;\n      }): Branded<N, ServiceTypesLike<Model, Ui, K, ModelHost, UiHost>> => {\n        const { name, type, modelMethods, uiMethods } = 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        modelMethodsMap.set(name, modelMethods);\n        uiMethodsMap.set(name, uiMethods);\n        return name as Branded<N, ServiceTypesLike<Model, Ui, K, ModelHost, UiHost>>;\n      };\n    },\n    isNodeService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"node\";\n    },\n    isWasmService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"wasm\";\n    },\n    isMainService(id: ServiceName): boolean {\n      return typeMap.get(id) === \"main\";\n    },\n    getServiceKind(id: ServiceName): ServiceType | undefined {\n      return typeMap.get(id);\n    },\n    getServiceModelMethods(id: ServiceName): readonly string[] {\n      return modelMethodsMap.get(id) ?? [];\n    },\n    getServiceUiMethods(id: ServiceName): readonly string[] {\n      return uiMethodsMap.get(id) ?? [];\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]: (() => InferServiceModelHost<ServiceBrand<SMap[K]>>) | null;\n};\n\nexport type UiServiceFactoryMap<SMap extends Record<string, ServiceName>> = {\n  [K in keyof SMap]: (() => InferServiceUiHost<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 TServices = 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 TServices as ExtractServiceName<TServices[K]>]: InferServiceModel<\n    ServiceBrand<TServices[K]>\n  >;\n};\n\n/** UI-side service interfaces keyed by service name literal. */\nexport type UiServices = {\n  [K in keyof TServices as ExtractServiceName<TServices[K]>]: InferServiceUi<\n    ServiceBrand<TServices[K]>\n  >;\n};\n\n/** Map from Services keys to their unbranded string name literals. */\nexport type ServiceNameLiterals = {\n  [K in keyof TServices]: ExtractServiceName<TServices[K]>;\n};\n\n/** Auto-derived requires* feature flags from Services keys. */\nexport type ServiceRequireFlags = {\n  [K in keyof TServices 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":";;AAoDA,MAAM,qBAAqB;AAE3B,MAAa,EACX,SACA,eACA,eACA,eACA,gBACA,wBACA,+BACS;CACT,MAAM,0BAAU,IAAI,IAAyB;CAC7C,MAAM,kCAAkB,IAAI,IAA+B;CAC3D,MAAM,+BAAe,IAAI,IAA+B;CACxD,OAAO;EACL,UAAqD;GACnD,QAKE,YAKmE;IACnE,MAAM,EAAE,MAAM,MAAM,cAAc,cAAc;IAChD,IAAI,CAAC,mBAAmB,KAAK,IAAI,GAC/B,MAAM,IAAI,sBACR,uBAAuB,KAAK,gBAAgB,oBAC9C;IAEF,IAAI,QAAQ,IAAI,IAAI,GAClB,MAAM,IAAI,8BAA8B,YAAY,KAAK,qBAAqB;IAEhF,QAAQ,IAAI,MAAM,IAAI;IACtB,gBAAgB,IAAI,MAAM,YAAY;IACtC,aAAa,IAAI,MAAM,SAAS;IAChC,OAAO;GACT;EACF;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,cAAc,IAA0B;GACtC,OAAO,QAAQ,IAAI,EAAE,MAAM;EAC7B;EACA,eAAe,IAA0C;GACvD,OAAO,QAAQ,IAAI,EAAE;EACvB;EACA,uBAAuB,IAAoC;GACzD,OAAO,gBAAgB,IAAI,EAAE,KAAK,CAAC;EACrC;EACA,oBAAoB,IAAoC;GACtD,OAAO,aAAa,IAAI,EAAE,KAAK,CAAC;EAClC;CACF;AACF,EAAA,CAAG;AAEH,SAAgB,aAAa,WAAmB,SAAS,IAAY;CACnE,OAAO,WAAW,UAAU,GAAG;AACjC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@milaboratories/pl-model-common",
-  "version": "1.46.4",
+  "version": "1.47.1",
   "description": "Platforma SDK Model",
   "files": [
     "./dist/**/*",
@@ -18,17 +18,18 @@
   },
   "dependencies": {
     "canonicalize": "~2.1.0",
+    "es-toolkit": "^1.39.10",
     "zod": "~3.25.76",
-    "@milaboratories/helpers": "1.14.3",
+    "@milaboratories/helpers": "1.14.4",
     "@milaboratories/pl-error-like": "1.12.10"
   },
   "devDependencies": {
     "@vitest/coverage-istanbul": "^4.1.3",
     "typescript": "~5.9.3",
     "vitest": "^4.1.3",
-    "@milaboratories/ts-builder": "1.6.0",
     "@milaboratories/build-configs": "2.0.0",
-    "@milaboratories/ts-configs": "1.3.0"
+    "@milaboratories/ts-configs": "1.3.0",
+    "@milaboratories/ts-builder": "1.6.0"
   },
   "scripts": {
     "build": "ts-builder build --target node",

package/src/columns/accessor_traversal.ts

@@ -0,0 +1,139 @@
+import { createGlobalPObjectId, createLocalPObjectId } from "../pool";
+import { ResourceTypeName } from "../resource_types";
+import type { AccessorLike, LeafEntry, UpstreamBlockCtx } from "./types";
+
+/** Resource types that hold column collections — DFS stops here and collects. */
+export const COLLECT_TYPES: ReadonlyArray<string> = [ResourceTypeName.PFrame];
+
+/** Resource types DFS descends through when looking for PFrames. */
+export const DESCEND_TYPES: ReadonlyArray<string> = [
+  ResourceTypeName.StdMap,
+  ResourceTypeName.StdMapSlash,
+];
+
+/**
+ * Enumerate column names backing a PFrame accessor — derived from
+ * `<name>.spec` field names, without resolving the spec resources.
+ */
+export function listColumnNames<A extends AccessorLike<A>>(
+  accessor: A,
+  prefix: string = "",
+): string[] {
+  if (accessor.resourceType.name !== ResourceTypeName.PFrame) return [];
+  const out: string[] = [];
+  for (const field of accessor.listInputFields()) {
+    if (!field.endsWith(".spec")) continue;
+    const raw = field.slice(0, -".spec".length);
+    if (!raw.startsWith(prefix)) continue;
+    out.push(raw.slice(prefix.length));
+  }
+  return out;
+}
+
+/**
+ * One DFS hit — the accessor whose resource-type matched `collectTypes`, and
+ * the field-name path from the DFS root used to reach it.
+ */
+type DescendantHit<A extends AccessorLike<A>> = {
+  readonly node: A;
+  readonly path: ReadonlyArray<string>;
+};
+
+/**
+ * DFS over the input-field subtree of `root`. Collects nodes whose resource
+ * type ∈ `collectTypes`. Descends only through `descendTypes`
+ * (default: StdMap / StdMapSlash). Collected nodes are not descended into.
+ *
+ * Threads the field-name path from `rootPath` to each hit, so callers can
+ * build canonical {@link createLocalPObjectId}s without relying on the
+ * accessor itself to remember its path.
+ *
+ * Includes `root` itself in the walk.
+ */
+export function findDescendantsByType<A extends AccessorLike<A>>(opts: {
+  root: A;
+  rootPath: ReadonlyArray<string>;
+  collectTypes: ReadonlyArray<string>;
+  descendTypes?: ReadonlyArray<string>;
+}): DescendantHit<A>[] {
+  const { root, rootPath, collectTypes, descendTypes = DESCEND_TYPES } = opts;
+  const collectSet = new Set(collectTypes);
+  const descendSet = new Set(descendTypes);
+  const result: DescendantHit<A>[] = [];
+
+  const stack: DescendantHit<A>[] = [{ node: root, path: rootPath }];
+  while (stack.length > 0) {
+    const { node, path } = stack.pop()!;
+    const typeName = node.resourceType.name;
+    if (collectSet.has(typeName)) {
+      result.push({ node, path });
+      continue;
+    }
+    if (!descendSet.has(typeName)) continue;
+    const fields = node.listInputFields();
+    for (let i = fields.length - 1; i >= 0; i--) {
+      const child = node.traverse({
+        field: fields[i],
+        assertFieldType: "Input",
+        ignoreError: true,
+      });
+      if (child !== undefined) stack.push({ node: child, path: [...path, fields[i]] });
+    }
+  }
+  return result;
+}
+
+/**
+ * Walk an accessor root and return one {@link LeafEntry} per discovered column.
+ * Ids are {@link createLocalPObjectId}-shaped: `{resolvePath, name}`. The
+ * `resolvePath` is derived from `rootPath` extended by the DFS traversal.
+ */
+export function indexAccessorRoot<A extends AccessorLike<A>>(
+  root: A,
+  rootPath: ReadonlyArray<string>,
+): LeafEntry<A>[] {
+  const result: LeafEntry<A>[] = [];
+  for (const { node, path } of findDescendantsByType({
+    root,
+    rootPath,
+    collectTypes: COLLECT_TYPES,
+    descendTypes: DESCEND_TYPES,
+  })) {
+    for (const name of listColumnNames(node)) {
+      result.push({
+        accessor: node,
+        name,
+        id: createLocalPObjectId([...path], name),
+      });
+    }
+  }
+  return result;
+}
+
+/**
+ * Walk one upstream-block ctx pair (`prodCtx` then `stagingCtx`) and return one
+ * {@link LeafEntry} per column. First-wins dedup by name (prod precedes staging).
+ * Ids are {@link createGlobalPObjectId}-shaped — `resolvePath` is not involved.
+ */
+export function indexPoolBlock<A extends AccessorLike<A>>(
+  block: UpstreamBlockCtx<A>,
+): LeafEntry<A>[] {
+  const accessors: A[] = [];
+  if (block.prodCtx) accessors.push(block.prodCtx);
+  if (block.stagingCtx) accessors.push(block.stagingCtx);
+
+  const result: LeafEntry<A>[] = [];
+  const seen = new Set<string>();
+  for (const accessor of accessors) {
+    for (const name of listColumnNames(accessor)) {
+      if (seen.has(name)) continue;
+      seen.add(name);
+      result.push({
+        accessor,
+        name,
+        id: createGlobalPObjectId(block.blockId, name),
+      });
+    }
+  }
+  return result;
+}

package/src/columns/column_registry.ts

@@ -0,0 +1,41 @@
+import type { PObjectId } from "../pool";
+import type { AccessorLike, ColumnEntriesProvider, LeafEntry } from "./types";
+
+/**
+ * Id-index over a set of {@link ColumnEntriesProvider}s. Sole job:
+ * {@link PObjectId} → {@link LeafEntry}. Generic over the accessor flavour, so
+ * the same class backs both sandbox (`TreeNodeAccessor`) and host
+ * (`PlTreeNodeAccessor`) usage.
+ *
+ * Stateless beyond the provider list — every lookup goes through each
+ * provider's `getPObjectEntries()` (cached inside the provider). Instantiate
+ * directly at the call site that has the providers; there is no ambient
+ * singleton.
+ */
+export class ColumnRegistry<A extends AccessorLike<A>> {
+  constructor(private readonly providers: ReadonlyArray<ColumnEntriesProvider<A>>) {}
+
+  /**
+   * Resolve a {@link PObjectId} to its backing {@link LeafEntry}. Returns
+   * `undefined` if the column is not reachable from any provider — caller
+   * decides whether that's `absent` or `resolving` via {@link isFinal}.
+   */
+  resolve(id: PObjectId): LeafEntry<A> | undefined {
+    return this.lookupById(id);
+  }
+
+  /** Whether every indexed source has finished enumerating its columns. */
+  isFinal(): boolean {
+    return this.providers.every((p) => p.isFinal());
+  }
+
+  private lookupById(id: PObjectId): LeafEntry<A> | undefined {
+    // First-wins across providers — caller controls precedence via the
+    // construction order of `providers`.
+    for (const p of this.providers) {
+      const hit = p.getPObjectEntries().get(id);
+      if (hit !== undefined) return hit;
+    }
+    return undefined;
+  }
+}

package/src/columns/column_selector.ts

@@ -0,0 +1,100 @@
+import type {
+  AxisValueType,
+  ColumnValueType,
+  MultiAxisSelector,
+  MultiColumnSelector,
+  StringMatcher,
+} from "../drivers/pframe";
+
+export type { StringMatcher } from "../drivers/pframe";
+
+// --- Relaxed types ---
+
+/** Relaxed string matcher input: plain string, single matcher, or array of mixed. */
+export type RelaxedStringMatchers = string | StringMatcher | (string | StringMatcher)[];
+
+/** Relaxed record matcher: values can be plain strings or relaxed matchers. */
+export type RelaxedRecord = Record<string, RelaxedStringMatchers>;
+
+/** Relaxed axis selector — accepts plain strings where strict requires StringMatcher[]. */
+export interface RelaxedAxisSelector {
+  name?: RelaxedStringMatchers;
+  type?: AxisValueType | AxisValueType[];
+  domain?: RelaxedRecord;
+  contextDomain?: RelaxedRecord;
+  annotations?: RelaxedRecord;
+}
+
+/** Relaxed column selector — convenient hand-written form. */
+export interface RelaxedColumnSelector {
+  name?: RelaxedStringMatchers;
+  type?: ColumnValueType | ColumnValueType[];
+  domain?: RelaxedRecord;
+  contextDomain?: RelaxedRecord;
+  annotations?: RelaxedRecord;
+  axes?: RelaxedAxisSelector[];
+  partialAxesMatch?: boolean;
+}
+
+/** One or many relaxed column selectors; normalizes to MultiColumnSelector[]. */
+export type ColumnSelector = RelaxedColumnSelector | RelaxedColumnSelector[];
+
+// --- Normalization ---
+
+function normalizeStringMatchers(input: RelaxedStringMatchers): StringMatcher[] {
+  if (typeof input === "string") return [{ type: "regex", value: input }];
+  if (!Array.isArray(input)) return [input];
+  return input.map((v) =>
+    typeof v === "string" ? ({ type: "regex", value: v } satisfies StringMatcher) : v,
+  );
+}
+
+function normalizeRecord(input: RelaxedRecord): Record<string, StringMatcher[]> {
+  const result: Record<string, StringMatcher[]> = {};
+  for (const [key, value] of Object.entries(input)) {
+    result[key] = normalizeStringMatchers(value);
+  }
+  return result;
+}
+
+function normalizeTypes<T>(input: T | T[]): T[] {
+  return Array.isArray(input) ? input : [input];
+}
+
+type Mutable<T> = { -readonly [K in keyof T]: T[K] };
+
+export function convertRelaxedAxisSelectorToMultiAxisSelector(
+  input: RelaxedAxisSelector,
+): MultiAxisSelector {
+  const result: Mutable<MultiAxisSelector> = {};
+  if (input.name !== undefined) result.name = normalizeStringMatchers(input.name);
+  if (input.type !== undefined) result.type = normalizeTypes(input.type);
+  if (input.domain !== undefined) result.domain = normalizeRecord(input.domain);
+  if (input.contextDomain !== undefined)
+    result.contextDomain = normalizeRecord(input.contextDomain);
+  if (input.annotations !== undefined) result.annotations = normalizeRecord(input.annotations);
+  return result;
+}
+
+export function convertRelaxedColumnSelectorToMultiColumnSelector(
+  input: RelaxedColumnSelector,
+): MultiColumnSelector {
+  const result: Mutable<MultiColumnSelector> = {};
+  if (input.name !== undefined) result.name = normalizeStringMatchers(input.name);
+  if (input.type !== undefined) result.type = normalizeTypes(input.type);
+  if (input.domain !== undefined) result.domain = normalizeRecord(input.domain);
+  if (input.contextDomain !== undefined)
+    result.contextDomain = normalizeRecord(input.contextDomain);
+  if (input.annotations !== undefined) result.annotations = normalizeRecord(input.annotations);
+  if (input.axes !== undefined)
+    result.axes = input.axes.map(convertRelaxedAxisSelectorToMultiAxisSelector);
+  if (input.partialAxesMatch !== undefined) result.partialAxesMatch = input.partialAxesMatch;
+  return result;
+}
+
+export function convertColumnSelectorToMultiColumnSelector(
+  input: ColumnSelector,
+): MultiColumnSelector[] {
+  const arr = Array.isArray(input) ? input : [input];
+  return arr.map(convertRelaxedColumnSelectorToMultiColumnSelector);
+}

package/src/columns/dedup.ts

@@ -0,0 +1,49 @@
+import type { PColumnSpec } from "../drivers/pframe/spec/spec";
+import type { NativePObjectId } from "../drivers/pframe/spec/native_id";
+import { deriveNativeId } from "../drivers/pframe/spec/native_id";
+import type { ColumnUniversalId } from "../drivers/pframe/spec/ids";
+import { isPObjectId } from "../pool";
+
+/**
+ * Two-track dedup over an item stream keyed by `ColumnUniversalId`:
+ *
+ * - **Raw `PObjectId`s** are deduped by `deriveNativeId(spec)`. The same
+ *   physical column reached via outputs vs. result_pool has different
+ *   id shapes but identical nativeId — first occurrence wins so the
+ *   provider order (outputs before pool) decides which id is canonical.
+ * - **Non-`PObjectId` ids** (e.g. `SUniversalPColumnUniversalId`,
+ *   `ColumnDiscoveredId`) keep raw-id dedup — they legitimately share
+ *   nativeId with siblings.
+ *
+ * When `getSpec` returns `undefined` for a `PObjectId`, falls back to raw-id
+ * dedup (so an unresolvable id still survives instead of dropping silently).
+ *
+ * Shared by sandbox-side `extractColumns` (column_providers) and host-side
+ * `ColumnsCollectionDriverImpl.getColumns` — both layers need identical
+ * dedup semantics, but operate on different concrete item types (ColumnLazy
+ * vs. raw ColumnUniversalId).
+ */
+export function dedupColumns<T>(
+  items: ReadonlyArray<T>,
+  getId: (item: T) => ColumnUniversalId,
+  getSpec: (item: T) => PColumnSpec | undefined,
+): T[] {
+  const seenNative = new Set<NativePObjectId>();
+  const seenId = new Set<ColumnUniversalId>();
+  const out: T[] = [];
+  for (const item of items) {
+    const id = getId(item);
+    if (seenId.has(id)) continue;
+    if (isPObjectId(id)) {
+      const spec = getSpec(item);
+      if (spec !== undefined) {
+        const nativeId = deriveNativeId(spec);
+        if (seenNative.has(nativeId)) continue;
+        seenNative.add(nativeId);
+      }
+    }
+    seenId.add(id);
+    out.push(item);
+  }
+  return out;
+}

package/src/columns/index.ts

@@ -0,0 +1,6 @@
+export * from "./types";
+export * from "./accessor_traversal";
+export * from "./column_registry";
+export * from "./column_selector";
+export * from "./dedup";
+export * from "./providers";

package/src/columns/providers.ts

@@ -0,0 +1,74 @@
+import type { PObjectId } from "../pool";
+import { indexAccessorRoot, indexPoolBlock } from "./accessor_traversal";
+import type { AccessorLike, ColumnEntriesProvider, LeafEntry, UpstreamBlockCtx } from "./types";
+
+/**
+ * Generic entries provider over a single accessor root. Walks `<root>` once
+ * from the supplied `rootPath`, builds an id → {@link LeafEntry} map and
+ * exposes `isFinal()` via the root's `getInputsLocked()`.
+ *
+ * Used directly on the host side; sandbox extends it with `getColumns()`
+ * returning {@link ColumnLazy}s — see `AccessorColumnsProvider` in
+ * `@platforma-sdk/model`.
+ */
+export class AccessorEntriesProvider<
+  A extends AccessorLike<A>,
+> implements ColumnEntriesProvider<A> {
+  protected readonly entries: ReadonlyMap<PObjectId, LeafEntry<A>>;
+
+  constructor(
+    protected readonly root: A,
+    rootPath: ReadonlyArray<string>,
+  ) {
+    const map = new Map<PObjectId, LeafEntry<A>>();
+    for (const entry of indexAccessorRoot(root, rootPath)) {
+      if (!map.has(entry.id)) map.set(entry.id, entry);
+    }
+    this.entries = map;
+  }
+
+  getPObjectEntries(): ReadonlyMap<PObjectId, LeafEntry<A>> {
+    return this.entries;
+  }
+
+  isFinal(): boolean {
+    return this.root.getInputsLocked();
+  }
+}
+
+/**
+ * Generic entries provider over a list of upstream-block ctx pairs.
+ *
+ * Per-block merge: iterate `prod` then `staging`, dedupe by name with
+ * first-wins semantics (prod takes precedence).
+ *
+ * `isFinal()` is the AND of `getInputsLocked()` over every present ctx
+ * accessor and `!prodIncomplete && !stagingIncomplete` over every block.
+ */
+export class ResultPoolEntriesProvider<
+  A extends AccessorLike<A>,
+> implements ColumnEntriesProvider<A> {
+  protected cachedEntries?: ReadonlyMap<PObjectId, LeafEntry<A>>;
+
+  constructor(protected readonly blocks: ReadonlyArray<UpstreamBlockCtx<A>>) {}
+
+  getPObjectEntries(): ReadonlyMap<PObjectId, LeafEntry<A>> {
+    if (this.cachedEntries !== undefined) return this.cachedEntries;
+    const map = new Map<PObjectId, LeafEntry<A>>();
+    for (const block of this.blocks) {
+      for (const entry of indexPoolBlock(block)) {
+        if (!map.has(entry.id)) map.set(entry.id, entry);
+      }
+    }
+    return (this.cachedEntries = map);
+  }
+
+  isFinal(): boolean {
+    for (const block of this.blocks) {
+      if (block.prodIncomplete || block.stagingIncomplete) return false;
+      if (block.prodCtx && !block.prodCtx.getInputsLocked()) return false;
+      if (block.stagingCtx && !block.stagingCtx.getInputsLocked()) return false;
+    }
+    return true;
+  }
+}