@dxos/echo 0.8.4-main.d05539e30a → 0.8.4-main.d9fc60f731

package/dist/lib/neutral/chunk-ZACMEAYV.mjs.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/Filter.ts"],
+  "sourcesContent": ["//\n// Copyright 2025 DXOS.org\n//\n\n// @import-as-namespace\n\nimport * as Match from 'effect/Match';\nimport * as Schema from 'effect/Schema';\nimport * as SchemaAST from 'effect/SchemaAST';\nimport type * as Types from 'effect/Types';\n\nimport { type ForeignKey, type QueryAST } from '@dxos/echo-protocol';\nimport { assertArgument } from '@dxos/invariant';\nimport { DXN, EID, EntityId, type URI } from '@dxos/keys';\n\nimport * as internal from './internal';\nimport type * as Obj from './Obj';\nimport * as Ref from './Ref';\n// eslint-disable-next-line @dxos/rules/import-as-namespace\nimport type * as Type$ from './Type';\n\nexport interface Filter<T> {\n  // TODO(dmaretskyi): See new effect-schema approach to variance.\n  '~Filter': { value: Types.Covariant<T> };\n\n  ast: QueryAST.Filter;\n}\n\nexport type Props<T> = {\n  // Predicate or a value as a shorthand for `eq`.\n  [K in keyof T & string]?: Filter<T[K]> | T[K];\n};\n\nexport type Any = Filter<any>;\n\nexport type Type<F extends Any> = F extends Filter<infer T> ? T : never;\n\nclass FilterClass implements Any {\n  private static 'variance': Any['~Filter'] = {} as Any['~Filter'];\n\n  constructor(public readonly ast: QueryAST.Filter) {}\n\n  '~Filter' = FilterClass.variance;\n}\n\nexport const is = (value: unknown): value is Any => {\n  return typeof value === 'object' && value !== null && '~Filter' in value;\n};\n\n/** Construct a filter from an ast. */\nexport const fromAst = (ast: QueryAST.Filter): Any => {\n  return new FilterClass(ast);\n};\n\n/**\n * Filter that matches all objects.\n */\n// TODO(dmaretskyi): `Entity.Any` would be more type-safe, but causes annoying errors in existing code\nexport const everything = (): FilterClass => {\n  return new FilterClass({\n    type: 'object',\n    typename: null,\n    props: {},\n  });\n};\n\n/**\n * Filter that matches no objects.\n */\nexport const nothing = (): FilterClass => {\n  return new FilterClass({\n    type: 'not',\n    filter: {\n      type: 'object',\n      typename: null,\n      props: {},\n    },\n  });\n};\n\n/*\n * Filter by EntityId.\n */\nexport const id = (...ids: EntityId[]): Any => {\n  assertArgument(\n    ids.every((id) => EntityId.isValid(id)),\n    'ids',\n    'ids must be valid',\n  );\n\n  if (ids.length === 0) {\n    return nothing();\n  }\n\n  return new FilterClass({\n    type: 'object',\n    typename: null,\n    id: ids,\n    props: {},\n  });\n};\n\n/**\n * Filter by type.\n *\n * Accepts a `Type.Type` entity (the value produced by `Type.makeObject` /\n * `Type.makeRelation`), a `Schema.Union` of such entities (for filtering across a\n * union of ECHO types), or a non-qualified typename string.\n */\nexport const type: {\n  <T extends Type$.AnyEntity>(type: T, props?: Props<Type$.InstanceType<T>>): Filter<Type$.InstanceType<T>>;\n  // Schema-side overload restricted to the well-known unknown schemas and to\n  // `Schema.Union(...)` of `Type.Type` entities (for filtering across a union\n  // of ECHO types). Other raw schemas are rejected.\n  <S extends internal.UnknownTypeSchema<any, any>>(\n    schema: S,\n    props?: Props<Schema.Schema.Type<S>>,\n  ): Filter<Schema.Schema.Type<S>>;\n  <S extends Schema.Union<readonly Schema.Schema.AnyNoContext[]>>(\n    union: S,\n    props?: Props<Schema.Schema.Type<S>>,\n  ): Filter<Schema.Schema.Type<S>>;\n  (schema: string, props?: Props<unknown>): Filter<any>;\n  // Passthrough overload for callers that hold a `Type.AnyEntity | string` union\n  // (e.g. Query.type / Query.sourceOf / Query.targetOf impls). Listed last so the\n  // typed overloads above still win for monomorphic inputs.\n  (input: Type$.AnyEntity | string, props?: Props<unknown>): Filter<unknown>;\n} = (input: Type$.AnyEntity | Schema.Schema.AnyNoContext | string, props?: Props<unknown>): any => {\n  if (Schema.isSchema(input) && SchemaAST.isUnion(input.ast)) {\n    const typenames = input.ast.types.map((t) => internal.getTypeURIFromSpecifier(Schema.make(t)));\n    return new FilterClass({\n      type: 'or',\n      filters: typenames.map((typename) => ({\n        type: 'object',\n        typename,\n        props: {},\n      })),\n    });\n  }\n\n  const uri = internal.getTypeURIFromSpecifier(input);\n  return new FilterClass({\n    type: 'object',\n    typename: uri,\n    ...propsFilterToAst(props ?? {}),\n  });\n};\n\n/**\n * Filter by non-qualified typename.\n */\nexport const typename = (typename: string): Any => {\n  assertArgument(!typename.startsWith('dxn:'), 'typename', 'Typename must no be qualified');\n  return new FilterClass({\n    type: 'object',\n    typename: DXN.make(typename),\n    props: {},\n  });\n};\n\n/**\n * Filter by fully qualified type URI — either a typename DXN (for static schemas) or\n * a schema-as-object EID (for stored dynamic schemas). See `getSchemaURI`.\n */\nexport const typeURI = (uri: URI.URI): Any => {\n  return new FilterClass({\n    type: 'object',\n    typename: uri,\n    props: {},\n  });\n};\n\n/**\n * Filter by tag.\n */\nexport const tag = (tag: string): Any => {\n  return new FilterClass({\n    type: 'tag',\n    tag,\n  });\n};\n\n/**\n * Options for {@link key} filter.\n */\nexport type KeyFilterOptions = {\n  /**\n   * Optional semver range expression (e.g. `^1.2.3`, `~2.0.0`, `>=1.0.0 <2.0.0`).\n   * Matches the object's meta `version` field against the range.\n   * If omitted, matches any version (including objects with no version).\n   */\n  version?: string;\n};\n\n/**\n * Filter by registry key stored in object meta.\n *\n * @example\n * ```ts\n * Filter.key('org.example.type.foo');\n * Filter.key('org.example.type.foo', { version: '^1.2.3' });\n * ```\n */\nexport const key = (key: string, options?: KeyFilterOptions): Any => {\n  return new FilterClass({\n    type: 'object',\n    typename: null,\n    props: {},\n    metaKey: key,\n    metaVersion: options?.version,\n  });\n};\n\n/**\n * Filter by properties.\n */\nexport const props = <T>(props: Props<T>): Filter<T> => {\n  return new FilterClass({\n    type: 'object',\n    typename: null,\n    ...propsFilterToAst(props),\n  });\n};\n\nexport type TextSearchOptions = {\n  // TODO(dmaretskyi): Hybrid search.\n  type?: 'full-text' | 'vector';\n};\n\n/**\n * Full-text or vector search.\n */\nexport const text = (\n  // TODO(dmaretskyi): Consider passing a vector here, but really the embedding should be done on the query-executor side.\n  text: string,\n  options?: TextSearchOptions,\n): Any => {\n  return new FilterClass({\n    type: 'text-search',\n    text,\n    searchKind: options?.type,\n  });\n};\n\n/**\n * Filter by foreign keys.\n */\nexport const foreignKeys = <S extends Type$.AnyEntity | string>(\n  schema: S,\n  keys: ForeignKey[],\n): Filter<S extends Type$.AnyEntity ? Type$.InstanceType<S> : unknown> => {\n  const uri = internal.getTypeURIFromSpecifier(schema);\n  return new FilterClass({\n    type: 'object',\n    typename: uri,\n    props: {},\n    foreignKeys: keys,\n  });\n};\n\n/**\n * Predicate for property to be equal to the provided value.\n */\nexport const eq = <T>(value: T): Filter<T | undefined> => {\n  if (!Ref.isRef(value) && typeof value === 'object' && value !== null) {\n    throw new TypeError('Cannot use object as a value for eq filter');\n  }\n\n  return new FilterClass({\n    type: 'compare',\n    operator: 'eq',\n    value: Ref.isRef(value) ? value.noInline().encode() : value,\n  });\n};\n\n/**\n * Predicate for property to be not equal to the provided value.\n */\nexport const neq = <T>(value: T): Filter<T | undefined> => {\n  return new FilterClass({\n    type: 'compare',\n    operator: 'neq',\n    value,\n  });\n};\n\n/**\n * Predicate for property to be greater than the provided value.\n */\nexport const gt = <T>(value: T): Filter<T | undefined> => {\n  return new FilterClass({\n    type: 'compare',\n    operator: 'gt',\n    value,\n  });\n};\n\n/**\n * Predicate for property to be greater than or equal to the provided value.\n */\nexport const gte = <T>(value: T): Filter<T | undefined> => {\n  return new FilterClass({\n    type: 'compare',\n    operator: 'gte',\n    value,\n  });\n};\n\n/**\n * Predicate for property to be less than the provided value.\n */\nexport const lt = <T>(value: T): Filter<T | undefined> => {\n  return new FilterClass({\n    type: 'compare',\n    operator: 'lt',\n    value,\n  });\n};\n\n/**\n * Predicate for property to be less than or equal to the provided value.\n */\nexport const lte = <T>(value: T): Filter<T | undefined> => {\n  return new FilterClass({\n    type: 'compare',\n    operator: 'lte',\n    value,\n  });\n};\n\n/**\n * Predicate for property to be in the provided array.\n * @param values - Values to check against.\n */\nconst in$ = <T>(...values: T[]): Filter<T> => {\n  return new FilterClass({\n    type: 'in',\n    values,\n  });\n};\nexport { in$ as in };\n\n/**\n * Predicate for an array property to contain the provided value.\n * @param value - Value to check against.\n */\nexport const contains = <T>(value: T): Filter<readonly T[] | undefined> => {\n  return new FilterClass({\n    type: 'contains',\n    value,\n  });\n};\n\n/**\n * Predicate for property to be in the provided range.\n * @param from - Start of the range (inclusive).\n * @param to - End of the range (exclusive).\n */\nexport const between = <T>(from: T, to: T): Filter<T> => {\n  return new FilterClass({\n    type: 'range',\n    from,\n    to,\n  });\n};\n\ntype TimeRange = { after?: Date | number; before?: Date | number };\n\nconst _toUnixMs = (date: Date | number): number => (typeof date === 'number' ? date : date.getTime());\n\nconst _timeRangeFilter = (field: 'updatedAt' | 'createdAt', range: TimeRange): Any => {\n  const filters: Any[] = [];\n  if (range.after != null) {\n    filters.push(new FilterClass({ type: 'timestamp', field, operator: 'gte', value: _toUnixMs(range.after) }));\n  }\n  if (range.before != null) {\n    filters.push(new FilterClass({ type: 'timestamp', field, operator: 'lte', value: _toUnixMs(range.before) }));\n  }\n  if (filters.length === 0) {\n    return everything();\n  }\n  return filters.length === 1 ? filters[0] : and(...filters);\n};\n\n/**\n * Filter objects by updatedAt timestamp.\n */\nexport const updated = (range: TimeRange): Any => _timeRangeFilter('updatedAt', range);\n\n/**\n * Filter objects by createdAt timestamp.\n */\nexport const created = (range: TimeRange): Any => _timeRangeFilter('createdAt', range);\n\nexport type ChildOfOptions = {\n  /** Whether to match transitively (grandchildren, etc.). Defaults to true. */\n  transitive?: boolean;\n};\n\n/**\n * Filter objects that are children of the specified parent(s).\n * Accepts ECHO objects, Refs, or arrays of either.\n * Refs are resolved to DXNs without loading; objects use {@link Obj.getURI}.\n * With transitive=true (default), also matches grandchildren and beyond.\n */\nexport const childOf = (\n  parents: Obj.Unknown | Ref.Unknown | readonly (Obj.Unknown | Ref.Unknown)[],\n  options?: ChildOfOptions,\n): Any => {\n  const items = Array.isArray(parents) ? parents : [parents];\n  const dxns = items.map((item) => {\n    if (Ref.isRef(item)) {\n      return EID.parse(item.uri);\n    }\n    return internal.getUri(item);\n  });\n  return new FilterClass({\n    type: 'child-of',\n    parents: dxns,\n    transitive: options?.transitive ?? true,\n  });\n};\n\n/**\n * Negate the filter.\n */\nexport const not = <F extends Any>(filter: F): Filter<Type<F>> => {\n  return new FilterClass({\n    type: 'not',\n    filter: filter.ast,\n  });\n};\n\n/**\n * Combine filters with a logical AND.\n */\nexport const and = <Filters extends readonly Any[]>(...filters: Filters): Filter<Type<Filters[number]>> => {\n  return new FilterClass({\n    type: 'and',\n    filters: filters.map((f) => f.ast),\n  });\n};\n\n/**\n * Combine filters with a logical OR.\n */\nexport const or = <Filters extends readonly Any[]>(...filters: Filters): Filter<Type<Filters[number]>> => {\n  return new FilterClass({\n    type: 'or',\n    filters: filters.map((f) => f.ast),\n  });\n};\n\n// TODO(dmaretskyi): Add `Filter.match` to support pattern matching on string props.\n\nconst propsFilterToAst = (predicates: Props<any>): Pick<QueryAST.FilterObject, 'id' | 'props'> => {\n  let idFilter: readonly EntityId[] | undefined;\n  if ('id' in predicates) {\n    assertArgument(\n      typeof predicates.id === 'string' || Array.isArray(predicates.id),\n      'predicates.id',\n      'invalid id filter',\n    );\n    idFilter = typeof predicates.id === 'string' ? [predicates.id] : predicates.id;\n    Schema.Array(EntityId).pipe(Schema.validateSync)(idFilter);\n  }\n\n  return {\n    id: idFilter,\n    props: Object.fromEntries(\n      Object.entries(predicates)\n        .filter(([prop, _value]) => prop !== 'id')\n        .map(([prop, predicate]) => [prop, processPredicate(predicate)]),\n    ) as Record<string, QueryAST.Filter>,\n  };\n};\n\nconst processPredicate = (predicate: any): QueryAST.Filter => {\n  return Match.value(predicate).pipe(\n    Match.withReturnType<QueryAST.Filter>(),\n    Match.when(is, (predicate) => predicate.ast),\n    // TODO(wittjosiah): Add support for array predicates.\n    Match.when(Array.isArray, (_predicate) => {\n      throw new Error('Array predicates are not yet supported.');\n    }),\n    Match.when(\n      (predicate: any) => !Ref.isRef(predicate) && typeof predicate === 'object' && predicate !== null,\n      (predicate) => {\n        const nestedProps = Object.fromEntries(\n          Object.entries(predicate).map(([key, value]) => [key, processPredicate(value)]),\n        );\n\n        return {\n          type: 'object',\n          typename: null,\n          props: nestedProps,\n        };\n      },\n    ),\n    Match.orElse((value) => eq(value).ast),\n  );\n};\n\n/**\n * Returns a human-readable string representation of a Filter AST.\n */\nexport const pretty = (filter: Any): string => internal.prettyFilter(filter.ast);\n"],
+  "mappings": ";;;;;;;;;;;;;;;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAMA,YAAYA,WAAW;AACvB,YAAYC,YAAY;AACxB,YAAYC,eAAe;AAI3B,SAASC,sBAAsB;AAC/B,SAASC,KAAKC,KAAKC,gBAA0B;AAwB7C,IAAMC,cAAN,MAAMA,aAAAA;;EACJ,OAAe,aAA6B,CAAC;EAE7C,YAA4BC,KAAsB;SAAtBA,MAAAA;EAAuB;EAEnD,YAAYD,aAAYE;AAC1B;AAEO,IAAMC,KAAK,CAACC,WAAAA;AACjB,SAAO,OAAOA,WAAU,YAAYA,WAAU,QAAQ,aAAaA;AACrE;AAGO,IAAMC,UAAU,CAACJ,QAAAA;AACtB,SAAO,IAAID,YAAYC,GAAAA;AACzB;AAMO,IAAMK,aAAa,MAAA;AACxB,SAAO,IAAIN,YAAY;IACrBO,MAAM;IACNC,UAAU;IACVC,OAAO,CAAC;EACV,CAAA;AACF;AAKO,IAAMC,UAAU,MAAA;AACrB,SAAO,IAAIV,YAAY;IACrBO,MAAM;IACNI,QAAQ;MACNJ,MAAM;MACNC,UAAU;MACVC,OAAO,CAAC;IACV;EACF,CAAA;AACF;AAKO,IAAMG,KAAK,IAAIC,QAAAA;AACpBC,iBACED,IAAIE,MAAM,CAACH,QAAOI,SAASC,QAAQL,GAAAA,CAAAA,GACnC,OACA,mBAAA;AAGF,MAAIC,IAAIK,WAAW,GAAG;AACpB,WAAOR,QAAAA;EACT;AAEA,SAAO,IAAIV,YAAY;IACrBO,MAAM;IACNC,UAAU;IACVI,IAAIC;IACJJ,OAAO,CAAC;EACV,CAAA;AACF;AASO,IAAMF,OAkBT,CAACY,OAA8DV,WAAAA;AACjE,MAAWW,gBAASD,KAAAA,KAAoBE,kBAAQF,MAAMlB,GAAG,GAAG;AAC1D,UAAMqB,YAAYH,MAAMlB,IAAIsB,MAAMC,IAAI,CAACC,MAAeC,wBAA+BC,YAAKF,CAAAA,CAAAA,CAAAA;AAC1F,WAAO,IAAIzB,YAAY;MACrBO,MAAM;MACNqB,SAASN,UAAUE,IAAI,CAAChB,eAAc;QACpCD,MAAM;QACNC,UAAAA;QACAC,OAAO,CAAC;MACV,EAAA;IACF,CAAA;EACF;AAEA,QAAMoB,MAAeH,wBAAwBP,KAAAA;AAC7C,SAAO,IAAInB,YAAY;IACrBO,MAAM;IACNC,UAAUqB;IACV,GAAGC,iBAAiBrB,UAAS,CAAC,CAAA;EAChC,CAAA;AACF;AAKO,IAAMD,WAAW,CAACA,cAAAA;AACvBM,iBAAe,CAACN,UAASuB,WAAW,MAAA,GAAS,YAAY,+BAAA;AACzD,SAAO,IAAI/B,YAAY;IACrBO,MAAM;IACNC,UAAUwB,IAAIL,KAAKnB,SAAAA;IACnBC,OAAO,CAAC;EACV,CAAA;AACF;AAMO,IAAMwB,UAAU,CAACJ,QAAAA;AACtB,SAAO,IAAI7B,YAAY;IACrBO,MAAM;IACNC,UAAUqB;IACVpB,OAAO,CAAC;EACV,CAAA;AACF;AAKO,IAAMyB,MAAM,CAACA,SAAAA;AAClB,SAAO,IAAIlC,YAAY;IACrBO,MAAM;IACN2B,KAAAA;EACF,CAAA;AACF;AAuBO,IAAMC,MAAM,CAACA,MAAaC,YAAAA;AAC/B,SAAO,IAAIpC,YAAY;IACrBO,MAAM;IACNC,UAAU;IACVC,OAAO,CAAC;IACR4B,SAASF;IACTG,aAAaF,SAASG;EACxB,CAAA;AACF;AAKO,IAAM9B,QAAQ,CAAIA,WAAAA;AACvB,SAAO,IAAIT,YAAY;IACrBO,MAAM;IACNC,UAAU;IACV,GAAGsB,iBAAiBrB,MAAAA;EACtB,CAAA;AACF;AAUO,IAAM+B,OAAO,CAElBA,OACAJ,YAAAA;AAEA,SAAO,IAAIpC,YAAY;IACrBO,MAAM;IACNiC,MAAAA;IACAC,YAAYL,SAAS7B;EACvB,CAAA;AACF;AAKO,IAAMmC,cAAc,CACzBC,QACAC,SAAAA;AAEA,QAAMf,MAAeH,wBAAwBiB,MAAAA;AAC7C,SAAO,IAAI3C,YAAY;IACrBO,MAAM;IACNC,UAAUqB;IACVpB,OAAO,CAAC;IACRiC,aAAaE;EACf,CAAA;AACF;AAKO,IAAMC,KAAK,CAAIzC,WAAAA;AACpB,MAAI,CAAK0C,MAAM1C,MAAAA,KAAU,OAAOA,WAAU,YAAYA,WAAU,MAAM;AACpE,UAAM,IAAI2C,UAAU,4CAAA;EACtB;AAEA,SAAO,IAAI/C,YAAY;IACrBO,MAAM;IACNyC,UAAU;IACV5C,OAAW0C,MAAM1C,MAAAA,IAASA,OAAM6C,SAAQ,EAAGC,OAAM,IAAK9C;EACxD,CAAA;AACF;AAKO,IAAM+C,MAAM,CAAI/C,WAAAA;AACrB,SAAO,IAAIJ,YAAY;IACrBO,MAAM;IACNyC,UAAU;IACV5C,OAAAA;EACF,CAAA;AACF;AAKO,IAAMgD,KAAK,CAAIhD,WAAAA;AACpB,SAAO,IAAIJ,YAAY;IACrBO,MAAM;IACNyC,UAAU;IACV5C,OAAAA;EACF,CAAA;AACF;AAKO,IAAMiD,MAAM,CAAIjD,WAAAA;AACrB,SAAO,IAAIJ,YAAY;IACrBO,MAAM;IACNyC,UAAU;IACV5C,OAAAA;EACF,CAAA;AACF;AAKO,IAAMkD,KAAK,CAAIlD,WAAAA;AACpB,SAAO,IAAIJ,YAAY;IACrBO,MAAM;IACNyC,UAAU;IACV5C,OAAAA;EACF,CAAA;AACF;AAKO,IAAMmD,MAAM,CAAInD,WAAAA;AACrB,SAAO,IAAIJ,YAAY;IACrBO,MAAM;IACNyC,UAAU;IACV5C,OAAAA;EACF,CAAA;AACF;AAMA,IAAMoD,MAAM,IAAOC,WAAAA;AACjB,SAAO,IAAIzD,YAAY;IACrBO,MAAM;IACNkD;EACF,CAAA;AACF;AAOO,IAAMC,WAAW,CAAIC,WAAAA;AAC1B,SAAO,IAAIC,YAAY;IACrBC,MAAM;IACNF,OAAAA;EACF,CAAA;AACF;AAOO,IAAMG,UAAU,CAAIC,MAASC,OAAAA;AAClC,SAAO,IAAIJ,YAAY;IACrBC,MAAM;IACNE;IACAC;EACF,CAAA;AACF;AAIA,IAAMC,YAAY,CAACC,SAAiC,OAAOA,SAAS,WAAWA,OAAOA,KAAKC,QAAO;AAElG,IAAMC,mBAAmB,CAACC,OAAkCC,UAAAA;AAC1D,QAAMC,UAAiB,CAAA;AACvB,MAAID,MAAME,SAAS,MAAM;AACvBD,YAAQE,KAAK,IAAIb,YAAY;MAAEC,MAAM;MAAaQ;MAAOK,UAAU;MAAOf,OAAOM,UAAUK,MAAME,KAAK;IAAE,CAAA,CAAA;EAC1G;AACA,MAAIF,MAAMK,UAAU,MAAM;AACxBJ,YAAQE,KAAK,IAAIb,YAAY;MAAEC,MAAM;MAAaQ;MAAOK,UAAU;MAAOf,OAAOM,UAAUK,MAAMK,MAAM;IAAE,CAAA,CAAA;EAC3G;AACA,MAAIJ,QAAQK,WAAW,GAAG;AACxB,WAAOC,WAAAA;EACT;AACA,SAAON,QAAQK,WAAW,IAAIL,QAAQ,CAAA,IAAKO,IAAAA,GAAOP,OAAAA;AACpD;AAKO,IAAMQ,UAAU,CAACT,UAA0BF,iBAAiB,aAAaE,KAAAA;AAKzE,IAAMU,UAAU,CAACV,UAA0BF,iBAAiB,aAAaE,KAAAA;AAazE,IAAMW,UAAU,CACrBC,SACAC,YAAAA;AAEA,QAAMC,QAAQC,MAAMC,QAAQJ,OAAAA,IAAWA,UAAU;IAACA;;AAClD,QAAMK,OAAOH,MAAMI,IAAI,CAACC,SAAAA;AACtB,QAAQC,MAAMD,IAAAA,GAAO;AACnB,aAAOE,IAAIC,MAAMH,KAAKI,GAAG;IAC3B;AACA,WAAgBC,OAAOL,IAAAA;EACzB,CAAA;AACA,SAAO,IAAI7B,YAAY;IACrBC,MAAM;IACNqB,SAASK;IACTQ,YAAYZ,SAASY,cAAc;EACrC,CAAA;AACF;AAKO,IAAMC,MAAM,CAAgBC,WAAAA;AACjC,SAAO,IAAIrC,YAAY;IACrBC,MAAM;IACNoC,QAAQA,OAAOC;EACjB,CAAA;AACF;AAKO,IAAMpB,MAAM,IAAoCP,YAAAA;AACrD,SAAO,IAAIX,YAAY;IACrBC,MAAM;IACNU,SAASA,QAAQiB,IAAI,CAACW,MAAMA,EAAED,GAAG;EACnC,CAAA;AACF;AAKO,IAAME,KAAK,IAAoC7B,YAAAA;AACpD,SAAO,IAAIX,YAAY;IACrBC,MAAM;IACNU,SAASA,QAAQiB,IAAI,CAACW,MAAMA,EAAED,GAAG;EACnC,CAAA;AACF;AAIA,IAAMG,mBAAmB,CAACC,eAAAA;AACxB,MAAIC;AACJ,MAAI,QAAQD,YAAY;AACtBE,mBACE,OAAOF,WAAWG,OAAO,YAAYpB,MAAMC,QAAQgB,WAAWG,EAAE,GAChE,iBACA,mBAAA;AAEFF,eAAW,OAAOD,WAAWG,OAAO,WAAW;MAACH,WAAWG;QAAMH,WAAWG;AAC5EC,IAAOrB,aAAMsB,QAAAA,EAAUC,KAAYC,mBAAY,EAAEN,QAAAA;EACnD;AAEA,SAAO;IACLE,IAAIF;IACJO,OAAOC,OAAOC,YACZD,OAAOE,QAAQX,UAAAA,EACZL,OAAO,CAAC,CAACiB,MAAMC,MAAAA,MAAYD,SAAS,IAAA,EACpC1B,IAAI,CAAC,CAAC0B,MAAME,SAAAA,MAAe;MAACF;MAAMG,iBAAiBD,SAAAA;KAAW,CAAA;EAErE;AACF;AAEA,IAAMC,mBAAmB,CAACD,cAAAA;AACxB,SAAazD,YAAMyD,SAAAA,EAAWR;IACtBU,qBAAc;IACdC,WAAKC,IAAI,CAACJ,eAAcA,WAAUlB,GAAG;;IAErCqB,WAAKlC,MAAMC,SAAS,CAACmC,eAAAA;AACzB,YAAM,IAAIC,MAAM,yCAAA;IAClB,CAAA;IACMH,WACJ,CAACH,eAAmB,CAAK1B,MAAM0B,UAAAA,KAAc,OAAOA,eAAc,YAAYA,eAAc,MAC5F,CAACA,eAAAA;AACC,YAAMO,cAAcZ,OAAOC,YACzBD,OAAOE,QAAQG,UAAAA,EAAW5B,IAAI,CAAC,CAACoC,MAAKjE,MAAAA,MAAW;QAACiE;QAAKP,iBAAiB1D,MAAAA;OAAO,CAAA;AAGhF,aAAO;QACLE,MAAM;QACNgE,UAAU;QACVf,OAAOa;MACT;IACF,CAAA;IAEIG,aAAO,CAACnE,WAAUoE,GAAGpE,MAAAA,EAAOuC,GAAG;EAAA;AAEzC;AAKO,IAAM8B,SAAS,CAAC/B,WAAiCgC,aAAahC,OAAOC,GAAG;",
+  "names": ["Match", "Schema", "SchemaAST", "assertArgument", "DXN", "EID", "EntityId", "FilterClass", "ast", "variance", "is", "value", "fromAst", "everything", "type", "typename", "props", "nothing", "filter", "id", "ids", "assertArgument", "every", "EntityId", "isValid", "length", "input", "isSchema", "isUnion", "typenames", "types", "map", "t", "getTypeURIFromSpecifier", "make", "filters", "uri", "propsFilterToAst", "startsWith", "DXN", "typeURI", "tag", "key", "options", "metaKey", "metaVersion", "version", "text", "searchKind", "foreignKeys", "schema", "keys", "eq", "isRef", "TypeError", "operator", "noInline", "encode", "neq", "gt", "gte", "lt", "lte", "in$", "values", "contains", "value", "FilterClass", "type", "between", "from", "to", "_toUnixMs", "date", "getTime", "_timeRangeFilter", "field", "range", "filters", "after", "push", "operator", "before", "length", "everything", "and", "updated", "created", "childOf", "parents", "options", "items", "Array", "isArray", "dxns", "map", "item", "isRef", "EID", "parse", "uri", "getUri", "transitive", "not", "filter", "ast", "f", "or", "propsFilterToAst", "predicates", "idFilter", "assertArgument", "id", "Schema", "EntityId", "pipe", "validateSync", "props", "Object", "fromEntries", "entries", "prop", "_value", "predicate", "processPredicate", "withReturnType", "when", "is", "_predicate", "Error", "nestedProps", "key", "typename", "orElse", "eq", "pretty", "prettyFilter"]
+}

package/dist/lib/neutral/index.mjs

@@ -2,78 +2,83 @@ import {
   Collection_exports,
   DXN,
   Dataset_exports,
+  EID,
   Hypergraph_exports,
   Json_exports,
   QueryAST,
+  StateMap_exports,
+  TagIndex_exports,
+  Tagging_exports,
+  URI,
   View_exports
-} from "./chunk-MGSQGHOD.mjs";
+} from "./chunk-LAF3LSWI.mjs";
 import {
-  SchemaRegistry_exports
-} from "./chunk-BICZKPQG.mjs";
+  QueryResult_exports
+} from "./chunk-DKLUHO4T.mjs";
+import {
+  Query_exports
+} from "./chunk-OIYW7R2G.mjs";
 import {
   Tag_exports
-} from "./chunk-Q2KKKJSV.mjs";
+} from "./chunk-LMNRFOVB.mjs";
 import {
   Order_exports
 } from "./chunk-TTCSATUD.mjs";
 import {
   Key_exports
-} from "./chunk-7RVZT53K.mjs";
+} from "./chunk-7LOUAPYZ.mjs";
 import {
   Migration_exports
-} from "./chunk-FIWO2FZK.mjs";
+} from "./chunk-Q62IHV2N.mjs";
 import {
-  Extension_exports
-} from "./chunk-GWFFC34K.mjs";
+  Feed_exports
+} from "./chunk-BDQGMDIX.mjs";
+import {
+  Filter_exports
+} from "./chunk-ZACMEAYV.mjs";
 import {
   Format_exports
-} from "./chunk-44HT3MEC.mjs";
+} from "./chunk-VKWOFXT2.mjs";
 import {
   Relation_exports
-} from "./chunk-PT37DG2F.mjs";
-import {
-  JsonSchema_exports
-} from "./chunk-QRZ2I3ZM.mjs";
-import {
-  QueryResult_exports
-} from "./chunk-V72DY6LU.mjs";
+} from "./chunk-4SFPZJVA.mjs";
 import {
-  Query_exports
-} from "./chunk-Q7ZL2P5H.mjs";
+  Registry_exports
+} from "./chunk-3DKP2EIN.mjs";
 import {
-  Feed_exports
-} from "./chunk-ZFACXBY6.mjs";
-import {
-  Type_exports
-} from "./chunk-PSZBLH53.mjs";
+  Scope_exports
+} from "./chunk-CGTI5MXO.mjs";
 import {
-  Filter_exports
-} from "./chunk-APJKDGFL.mjs";
+  JsonSchema_exports
+} from "./chunk-G6CFWUYH.mjs";
 import {
   Obj_exports
-} from "./chunk-J54QMAKF.mjs";
+} from "./chunk-Q5FKCVBC.mjs";
 import {
   Ref_exports
-} from "./chunk-N7VOEPSV.mjs";
+} from "./chunk-J3MNM65T.mjs";
 import {
   Entity_exports
-} from "./chunk-SCPFDS2E.mjs";
-import "./chunk-G54OX4IX.mjs";
-import "./chunk-APHSOTIX.mjs";
-import "./chunk-MLS7U7AT.mjs";
-import "./chunk-TRPZU2HV.mjs";
-import "./chunk-BMB7IHGB.mjs";
+} from "./chunk-QVJDDG44.mjs";
+import {
+  Type_exports
+} from "./chunk-JE7AOSWF.mjs";
+import "./chunk-OYUG4FHF.mjs";
+import "./chunk-4Z6GET2X.mjs";
+import "./chunk-7PRCIDHH.mjs";
+import "./chunk-TFEWTY5A.mjs";
 import {
   Annotation_exports
-} from "./chunk-5SL5LDLD.mjs";
+} from "./chunk-DMN2CKPX.mjs";
+import "./chunk-4BB4MFCN.mjs";
+import "./chunk-7OAFN3OX.mjs";
 import {
   Database_exports
-} from "./chunk-I2DARWPX.mjs";
-import "./chunk-TNBK56IN.mjs";
-import "./chunk-N4B7FHQT.mjs";
+} from "./chunk-H26LSXVJ.mjs";
+import "./chunk-O6BH7EPN.mjs";
 import {
   Err_exports
-} from "./chunk-ZISMEVKD.mjs";
+} from "./chunk-BBFJWWAV.mjs";
 import "./chunk-J5LGTIGS.mjs";
 export {
   Annotation_exports as Annotation,
@@ -81,9 +86,9 @@ export {
   DXN,
   Database_exports as Database,
   Dataset_exports as Dataset,
+  EID,
   Entity_exports as Entity,
   Err_exports as Err,
-  Extension_exports as Extension,
   Feed_exports as Feed,
   Filter_exports as Filter,
   Format_exports as Format,
@@ -98,10 +103,15 @@ export {
   QueryAST,
   QueryResult_exports as QueryResult,
   Ref_exports as Ref,
+  Registry_exports as Registry,
   Relation_exports as Relation,
-  SchemaRegistry_exports as SchemaRegistry,
+  Scope_exports as Scope,
+  StateMap_exports as StateMap,
   Tag_exports as Tag,
+  TagIndex_exports as TagIndex,
+  Tagging_exports as Tagging,
   Type_exports as Type,
+  URI,
   View_exports as View
 };
 //# sourceMappingURL=index.mjs.map

package/dist/lib/neutral/internal/index.mjs

@@ -1,37 +1,20 @@
 import {
-  ATTR_DELETED,
-  ATTR_META,
-  ATTR_RELATION_SOURCE,
-  ATTR_RELATION_TARGET,
-  ATTR_SELF_DXN,
   ChangeId,
   EchoObjectSchema,
   EchoRelationSchema,
-  EchoSchema,
+  EchoTypeKindSchema,
   EventId,
-  ImmutableSchema,
   JsonPath,
   JsonProp,
-  MetaId,
   MutationOutsideChangeContextError,
-  ObjectDatabaseId,
-  ObjectDeletedId,
-  ObjectMetaSchema,
-  ObjectVersionId,
-  PersistentSchema,
   RawObject,
   ReactiveArray,
-  RelationSourceDXNId,
-  RelationSourceId,
-  RelationTargetDXNId,
-  RelationTargetId,
   SchemaValidator,
-  SelfDXNId,
+  TypeMetaSchemaDXN,
+  TypeSchema,
   TypedReactiveHandler,
   VersionTypeId,
   addFieldsToSchema,
-  addTag,
-  assertObjectModel,
   attachTypedJsonSerializer,
   batchEvents,
   change,
@@ -39,31 +22,21 @@ import {
   clearPendingNotifications,
   clone,
   compare,
-  compareForeignKeys,
   compareVersions,
   createArrayMethodError,
   createObject,
   createPropertyDeleteError,
   createPropertySetError,
   createProxy,
-  createQueueDXN,
   dangerouslySetProxyId,
   decodeVersion,
   defineHiddenProperty,
-  deleteKeys,
   emitEvent,
   encodeVersion,
   enterChangeContext,
   executeChange,
-  foreignKey,
-  foreignKeyEquals,
-  getDXN,
-  getDatabase,
+  getDXNForRelationSchemaRef,
   getEchoRoot,
-  getKeys,
-  getMeta,
-  getMetaChecked,
-  getObjectDXN,
   getProxyHandler,
   getProxySlot,
   getProxyTarget,
@@ -72,7 +45,6 @@ import {
   hasPendingNotifications,
   isDeleted,
   isInChangeContext,
-  isMutable,
   isProxy,
   isValidProxyTarget,
   isVersion,
@@ -90,10 +62,8 @@ import {
   queueNotification,
   queueOwnerNotification,
   removeFieldsFromSchema,
-  removeTag,
   setMetaOwner,
   setRefResolverOnData,
-  setTypenameInSchema,
   setValue,
   sort,
   sortByLabel,
@@ -106,10 +76,10 @@ import {
   updateFieldsInSchema,
   version,
   versionValid
-} from "../chunk-G54OX4IX.mjs";
+} from "../chunk-OYUG4FHF.mjs";
 import {
   RefArray
-} from "../chunk-APHSOTIX.mjs";
+} from "../chunk-4Z6GET2X.mjs";
 import {
   CustomAnnotations,
   DecodedAnnotations,
@@ -126,11 +96,14 @@ import {
   toEffectSchema,
   toJsonSchema,
   toPropType
-} from "../chunk-MLS7U7AT.mjs";
+} from "../chunk-7PRCIDHH.mjs";
 import {
   Currency,
   CurrencyAnnotationId,
+  DateOnly,
+  DateTime,
   DecimalPrecision,
+  Duration,
   Email,
   Format,
   FormatAnnotation,
@@ -147,7 +120,11 @@ import {
   PropertyKind,
   Regex,
   SelectOption,
+  SimpleDate,
+  SimpleDateTime,
+  SimpleTime,
   Text,
+  TimeOnly,
   TypeEnum,
   TypeFormat,
   URL,
@@ -156,8 +133,29 @@ import {
   getFormatAnnotation,
   getOptionsAnnotation,
   getTypeEnum,
+  toSimpleDate,
+  toSimpleDateTime,
+  toSimpleTime,
   typeToFormat
-} from "../chunk-TRPZU2HV.mjs";
+} from "../chunk-TFEWTY5A.mjs";
+import {
+  ATTR_META,
+  EntityMetaSchema,
+  MetaId,
+  TagTypeDXN,
+  addTag,
+  compareForeignKeys,
+  deleteKeys,
+  foreignKey,
+  foreignKeyEquals,
+  get,
+  getKeys,
+  getMeta,
+  getMetaChecked,
+  isEntity,
+  removeTag,
+  set
+} from "../chunk-4BB4MFCN.mjs";
 import {
   JSON_SCHEMA_ECHO_REF_ID,
   Ref,
@@ -171,77 +169,110 @@ import {
   getSchemaReference,
   refFromEncodedReference,
   setRefResolver
-} from "../chunk-BMB7IHGB.mjs";
-import "../chunk-I2DARWPX.mjs";
+} from "../chunk-7OAFN3OX.mjs";
 import {
+  ATTR_DELETED,
   ATTR_PARENT,
+  ATTR_RELATION_SOURCE,
+  ATTR_RELATION_TARGET,
+  ATTR_SELF_URI,
+  ATTR_SELF_URI_LEGACY,
   ATTR_TYPE,
   DescriptionAnnotation,
   DescriptionAnnotationId,
+  Dictionary,
   FIELD_PATH_ANNOTATION,
   FieldLookupAnnotationId,
   FieldPath,
+  FormInlineAnnotation,
+  FormInlineAnnotationId,
   FormInputAnnotation,
   FormInputAnnotationId,
   GeneratorAnnotation,
   GeneratorAnnotationId,
+  HiddenAnnotation,
+  HiddenAnnotationId,
   IconAnnotation,
   IconFromRefAnnotation,
+  Key,
   LabelAnnotation,
   LabelAnnotationId,
+  ObjectDatabaseId,
+  ObjectDeletedId,
+  ObjectVersionId,
   ParentId,
   PropertyMeta,
   PropertyMetaAnnotationId,
   ReferenceAnnotation,
   ReferenceAnnotationId,
+  RelationSourceDXNId,
+  RelationSourceId,
+  RelationTargetDXNId,
+  RelationTargetId,
   SchemaId,
   SchemaMetaSymbol,
-  SystemTypeAnnotation,
-  SystemTypeAnnotationId,
+  SelfURIId,
   TypeAnnotation,
   TypeAnnotationId,
+  TypeEntityId,
   TypeId,
   TypeIdentifierAnnotationId,
   TypeMeta,
   TypenameSchema,
   VersionSchema,
+  assertObjectModel,
+  getDatabase,
   getDescription,
   getDescriptionWithSchema,
+  getDictionary,
   getEntityKind,
+  getFromAst,
+  getIcon,
   getLabel,
   getLabelWithSchema,
+  getObjectEchoUri,
   getPropertyMetaAnnotation,
   getSchema,
-  getSchemaDXN,
   getSchemaTypename,
+  getSchemaURI,
   getSchemaVersion,
+  getType,
   getTypeAnnotation,
-  getTypeDXN,
-  getTypeDXNFromSpecifier,
   getTypeIdentifierAnnotation,
+  getTypeURI,
+  getTypeURIFromSpecifier,
   getTypename,
+  getUri,
   isInstanceOf,
   makeUserAnnotation,
   setDescription,
   setDescriptionWithSchema,
+  setDictionary,
   setLabel,
   setLabelWithSchema,
   setSchema,
+  setType,
   setTypename
-} from "../chunk-TNBK56IN.mjs";
+} from "../chunk-H26LSXVJ.mjs";
 import {
   ANY_OBJECT_TYPENAME,
   ANY_OBJECT_VERSION,
   EntityKind,
   EntityKindSchema,
+  InstancePhantomId,
   KindId,
   SchemaKindId,
   SnapshotKindId,
+  StaticTypeSchemaSlot,
+  UnknownTypeSchemaBrandId,
   createAnnotationHelper,
+  getEntityKindBrand,
+  getSchemaKind,
+  getStaticTypeSchema,
   makeTypeJsonSchemaAnnotation,
   unwrapOptional
-} from "../chunk-N4B7FHQT.mjs";
-import "../chunk-ZISMEVKD.mjs";
+} from "../chunk-O6BH7EPN.mjs";
+import "../chunk-BBFJWWAV.mjs";
 import "../chunk-J5LGTIGS.mjs";
 export {
   ANY_OBJECT_TYPENAME,
@@ -251,29 +282,37 @@ export {
   ATTR_PARENT,
   ATTR_RELATION_SOURCE,
   ATTR_RELATION_TARGET,
-  ATTR_SELF_DXN,
+  ATTR_SELF_URI,
+  ATTR_SELF_URI_LEGACY,
   ATTR_TYPE,
   ChangeId,
   Currency,
   CurrencyAnnotationId,
   CustomAnnotations,
+  DateOnly,
+  DateTime,
   DecimalPrecision,
   DecodedAnnotations,
   DescriptionAnnotation,
   DescriptionAnnotationId,
+  Dictionary,
+  Duration,
   ECHO_ANNOTATIONS_NS_DEPRECATED_KEY,
   ECHO_ANNOTATIONS_NS_KEY,
   EchoAnnotations,
   EchoObjectSchema,
   EchoRelationSchema,
-  EchoSchema,
+  EchoTypeKindSchema,
   Email,
   EntityKind,
   EntityKindSchema,
+  EntityMetaSchema,
   EventId,
   FIELD_PATH_ANNOTATION,
   FieldLookupAnnotationId,
   FieldPath,
+  FormInlineAnnotation,
+  FormInlineAnnotationId,
   FormInputAnnotation,
   FormInputAnnotationId,
   Format,
@@ -285,10 +324,12 @@ export {
   GeneratorAnnotationId,
   GeoLocation,
   GeoPoint,
+  HiddenAnnotation,
+  HiddenAnnotationId,
   Hostname,
   IconAnnotation,
   IconFromRefAnnotation,
-  ImmutableSchema,
+  InstancePhantomId,
   JSON,
   JSON_SCHEMA_ECHO_REF_ID,
   JsonPath,
@@ -296,6 +337,7 @@ export {
   JsonSchemaEchoAnnotations,
   JsonSchemaFields,
   JsonSchemaType,
+  Key,
   KindId,
   LabelAnnotation,
   LabelAnnotationId,
@@ -304,12 +346,10 @@ export {
   MutationOutsideChangeContextError,
   ObjectDatabaseId,
   ObjectDeletedId,
-  ObjectMetaSchema,
   ObjectVersionId,
   OptionsAnnotation,
   OptionsAnnotationId,
   ParentId,
-  PersistentSchema,
   PropType,
   PropertyKind,
   PropertyMeta,
@@ -332,23 +372,31 @@ export {
   SchemaMetaSymbol,
   SchemaValidator,
   SelectOption,
-  SelfDXNId,
+  SelfURIId,
+  SimpleDate,
+  SimpleDateTime,
+  SimpleTime,
   SnapshotKindId,
   StaticRefResolver,
-  SystemTypeAnnotation,
-  SystemTypeAnnotationId,
+  StaticTypeSchemaSlot,
+  TagTypeDXN,
   Text,
+  TimeOnly,
   TypeAnnotation,
   TypeAnnotationId,
+  TypeEntityId,
   TypeEnum,
   TypeFormat,
   TypeId,
   TypeIdentifierAnnotationId,
   TypeMeta,
+  TypeMetaSchemaDXN,
+  TypeSchema,
   TypedReactiveHandler,
   TypenameSchema,
   URL,
   UUID,
+  UnknownTypeSchemaBrandId,
   VersionSchema,
   VersionTypeId,
   addFieldsToSchema,
@@ -370,7 +418,6 @@ export {
   createPropertyDeleteError,
   createPropertySetError,
   createProxy,
-  createQueueDXN,
   createSchemaReference,
   dangerouslySetProxyId,
   decodeVersion,
@@ -383,20 +430,25 @@ export {
   foreignKey,
   foreignKeyEquals,
   formatToType,
-  getDXN,
+  get,
+  getDXNForRelationSchemaRef,
   getDatabase,
   getDescription,
   getDescriptionWithSchema,
+  getDictionary,
   getEchoRoot,
   getEntityKind,
+  getEntityKindBrand,
   getFormatAnnotation,
+  getFromAst,
+  getIcon,
   getKeys,
   getLabel,
   getLabelWithSchema,
   getMeta,
   getMetaChecked,
   getNormalizedEchoAnnotations,
-  getObjectDXN,
+  getObjectEchoUri,
   getOptionsAnnotation,
   getPropertyMetaAnnotation,
   getProxyHandler,
@@ -405,24 +457,28 @@ export {
   getRefSavedTarget,
   getReferenceAst,
   getSchema,
-  getSchemaDXN,
+  getSchemaKind,
   getSchemaProperty,
   getSchemaReference,
   getSchemaTypename,
+  getSchemaURI,
   getSchemaVersion,
   getSnapshot,
+  getStaticTypeSchema,
+  getType,
   getTypeAnnotation,
-  getTypeDXN,
-  getTypeDXNFromSpecifier,
   getTypeEnum,
   getTypeIdentifierAnnotation,
+  getTypeURI,
+  getTypeURIFromSpecifier,
   getTypename,
+  getUri,
   getValue,
   hasPendingNotifications,
   isDeleted,
+  isEntity,
   isInChangeContext,
   isInstanceOf,
-  isMutable,
   isProxy,
   isValidProxyTarget,
   isVersion,
@@ -444,8 +500,10 @@ export {
   refFromEncodedReference,
   removeFieldsFromSchema,
   removeTag,
+  set,
   setDescription,
   setDescriptionWithSchema,
+  setDictionary,
   setLabel,
   setLabelWithSchema,
   setMetaOwner,
@@ -453,8 +511,8 @@ export {
   setRefResolverOnData,
   setSchema,
   setSchemaProperty,
+  setType,
   setTypename,
-  setTypenameInSchema,
   setValue,
   sort,
   sortByLabel,
@@ -465,6 +523,9 @@ export {
   toEffectSchema,
   toJsonSchema,
   toPropType,
+  toSimpleDate,
+  toSimpleDateTime,
+  toSimpleTime,
   typeToFormat,
   typedJsonSerializer,
   unwrapOptional,