@sixb/core 0.1.11 → 0.1.13

package/dist/ontology/inference/index.d.ts

@@ -1,13 +1,16 @@
 import type { FileRef } from "../../blob-storage";
 import type { ArraySchema, ComplexSchema, EnumSchema, MapSchema, ObjectFieldSchema, ObjectSchema, PrimitiveSchema, Property, Schema, ValueType, ValueTypeRefSchema } from "..";
 import type { DecimalValue } from "../decimal";
+import type { RegisteredValueTypes } from "../registered";
 import type { QuantitativeTypeId, UnitsOf } from "../units";
+import type { UserRef } from "../user-ref";
 type Simplify<T> = {
     [K in keyof T]: T[K];
 } & {};
 /**
  * Look up a referenced value type by `id` from the value-type tuple passed
- * into the inference utilities.
+ * into the inference utilities — the generated registry unless a caller passes
+ * its own tuple.
  */
 type ResolveValueType<TValueTypes extends readonly ValueType[], TValueTypeId extends string> = Extract<TValueTypes[number], {
     id: TValueTypeId;
@@ -16,9 +19,11 @@ type ResolveValueType<TValueTypes extends readonly ValueType[], TValueTypeId ext
  * Resolve `{ type: "valueTypeRef" }` recursively.
  *
  * Unknown references intentionally degrade to `unknown` so type-level callsites
- * can decide how strict they want to be.
+ * can decide how strict they want to be. The `[never]` guard is what keeps that
+ * promise: an unresolved lookup is `never`, and a distributive check over `never`
+ * would yield `never` — a value assignable to everything.
  */
-type InferValueTypeRef<TValueTypeId extends string, TValueTypes extends readonly ValueType[]> = ResolveValueType<TValueTypes, TValueTypeId> extends infer TValueType ? TValueType extends ValueType ? InferSchema<TValueType["schema"], TValueTypes> : unknown : unknown;
+type InferValueTypeRef<TValueTypeId extends string, TValueTypes extends readonly ValueType[]> = ResolveValueType<TValueTypes, TValueTypeId> extends infer TValueType ? [TValueType] extends [never] ? unknown : TValueType extends ValueType ? InferSchema<TValueType["schema"], TValueTypes> : unknown : unknown;
 type RequiredFieldIds<TFields extends Record<string, ObjectFieldSchema>> = {
     [K in keyof TFields]-?: TFields[K]["required"] extends true ? K : never;
 }[keyof TFields];
@@ -31,6 +36,7 @@ type InferObjectFields<TFields extends Record<string, ObjectFieldSchema>, TValue
 }>;
 interface PrimitiveSchemaValueMap {
     fileRef: FileRef;
+    userRef: UserRef;
     string: string;
     uuid: string;
     boolean: boolean;
@@ -48,17 +54,28 @@ type InferValueTypeRefSchema<TSchema extends ValueTypeRefSchema, TValueTypes ext
  * Convert ontology schema definitions into runtime value types.
  *
  * This is the core typing bridge used by the future object SDK APIs.
+ *
+ * A schema typed as the whole `Schema` union (a helper returning `Schema`, say) infers `unknown`:
+ * its array, map and object children are `Schema` again, so inferring it never terminates.
  */
-export type InferSchema<TSchema extends Schema, TValueTypes extends readonly ValueType[] = []> = TSchema extends PrimitiveSchema ? PrimitiveSchemaValueMap[TSchema] : TSchema extends ComplexSchema ? InferComplexSchema<TSchema, TValueTypes> : TSchema extends ValueTypeRefSchema ? InferValueTypeRefSchema<TSchema, TValueTypes> : never;
+export type InferSchema<TSchema extends Schema, TValueTypes extends readonly ValueType[] = RegisteredValueTypes> = Schema extends TSchema ? unknown : TSchema extends PrimitiveSchema ? PrimitiveSchemaValueMap[TSchema] : TSchema extends ComplexSchema ? InferComplexSchema<TSchema, TValueTypes> : TSchema extends ValueTypeRefSchema ? InferValueTypeRefSchema<TSchema, TValueTypes> : never;
 /** Property-level value inference with nullable support. */
-export type InferPropertyValue<TProperty extends Pick<Property, "schema" | "nullable">, TValueTypes extends readonly ValueType[] = []> = TProperty["nullable"] extends true ? InferSchema<TProperty["schema"], TValueTypes> | null : InferSchema<TProperty["schema"], TValueTypes>;
+export type InferPropertyValue<TProperty extends Pick<Property, "schema" | "nullable">, TValueTypes extends readonly ValueType[] = RegisteredValueTypes> = TProperty["nullable"] extends true ? InferSchema<TProperty["schema"], TValueTypes> | null : InferSchema<TProperty["schema"], TValueTypes>;
+/**
+ * A registered value type wins over the semantic type carried on the ref, as it does at runtime:
+ * the registry keeps an explicit value type and only auto-registers the ref's copy when none
+ * exists. `valueTypeRef(VT)` carries `_semanticType` so a value type that is not registered
+ * (defined outside `ontology/`) still constrains units.
+ */
 type InferPropertySemanticTypeFromValueTypeRef<TProperty extends Pick<Property, "schema">, TValueTypes extends readonly ValueType[]> = TProperty["schema"] extends {
     type: "valueTypeRef";
     valueTypeId: infer TValueTypeId extends string;
-} ? ResolveValueType<TValueTypes, TValueTypeId> extends {
+} ? [ResolveValueType<TValueTypes, TValueTypeId>] extends [never] ? TProperty["schema"] extends {
+    _semanticType: infer TSemanticType extends QuantitativeTypeId;
+} ? TSemanticType : never : ResolveValueType<TValueTypes, TValueTypeId> extends {
     semanticType: infer TSemanticType extends QuantitativeTypeId;
 } ? TSemanticType : never : never;
-export type InferPropertySemanticType<TProperty extends Pick<Property, "schema" | "semanticType">, TValueTypes extends readonly ValueType[] = []> = TProperty["semanticType"] extends QuantitativeTypeId ? TProperty["semanticType"] : InferPropertySemanticTypeFromValueTypeRef<TProperty, TValueTypes>;
+export type InferPropertySemanticType<TProperty extends Pick<Property, "schema" | "semanticType">, TValueTypes extends readonly ValueType[] = RegisteredValueTypes> = TProperty["semanticType"] extends QuantitativeTypeId ? TProperty["semanticType"] : InferPropertySemanticTypeFromValueTypeRef<TProperty, TValueTypes>;
 /**
  * Resolve the valid unit-id union for a property.
  *
@@ -66,10 +83,10 @@ export type InferPropertySemanticType<TProperty extends Pick<Property, "schema"
  * a referenced value type.
  * Guard `never` explicitly: UnitsOf<never> is keyof never (string | number | symbol).
  */
-export type InferPropertyUnit<TProperty extends Pick<Property, "schema" | "semanticType">, TValueTypes extends readonly ValueType[] = []> = InferPropertySemanticType<TProperty, TValueTypes> extends infer TSemanticType extends QuantitativeTypeId ? [TSemanticType] extends [never] ? never : UnitsOf<TSemanticType> : never;
+export type InferPropertyUnit<TProperty extends Pick<Property, "schema" | "semanticType">, TValueTypes extends readonly ValueType[] = RegisteredValueTypes> = InferPropertySemanticType<TProperty, TValueTypes> extends infer TSemanticType extends QuantitativeTypeId ? [TSemanticType] extends [never] ? never : UnitsOf<TSemanticType> : never;
 export type InferObjectProperties<TObjectType extends {
     properties: readonly Property[];
-}, TValueTypes extends readonly ValueType[] = []> = string extends TObjectType["properties"][number]["id"] ? Record<string, unknown> : Simplify<{
+}, TValueTypes extends readonly ValueType[] = RegisteredValueTypes> = string extends TObjectType["properties"][number]["id"] ? Record<string, unknown> : Simplify<{
     [TProp in TObjectType["properties"][number] as TProp extends {
         required: true;
     } ? TProp["id"] : never]: InferPropertyValue<TProp, TValueTypes>;
@@ -89,25 +106,20 @@ export type InferTelemetryPropertyIds<TObjectType extends {
  *
  * Iterates over the extracted telemetry property union directly (via `as P["id"]` remapping)
  * so that `P` is already resolved — avoids repeated indexed access through the token map
- * which would cause TS2589 on object types with many telemetry properties.
+ * which would cause TS2589 on object types with many telemetry properties. The semantic type is
+ * resolved as for a single append, so a batch requires exactly the units `telemetry()` does.
  */
 export type InferTelemetryBatchProperties<TObjectType extends {
     properties: readonly Property[];
-}, TValueTypes extends readonly ValueType[] = []> = {
+}, TValueTypes extends readonly ValueType[] = RegisteredValueTypes> = {
     [P in Extract<TObjectType["properties"][number], {
         mode: "telemetry";
-    }> as P["id"]]?: P["semanticType"] extends QuantitativeTypeId ? {
-        value: InferPropertyValue<P, TValueTypes>;
-        unit: UnitsOf<P["semanticType"]>;
-    } : P["schema"] extends {
-        type: "valueTypeRef";
-        valueTypeId: infer TVtId extends string;
-    } ? ResolveValueType<TValueTypes, TVtId> extends {
-        semanticType: infer TSem extends QuantitativeTypeId;
-    } ? {
+    }> as P["id"]]?: [
+        InferPropertySemanticType<P, TValueTypes>
+    ] extends [never] ? InferPropertyValue<P, TValueTypes> : {
         value: InferPropertyValue<P, TValueTypes>;
-        unit: UnitsOf<TSem>;
-    } : InferPropertyValue<P, TValueTypes> : InferPropertyValue<P, TValueTypes>;
+        unit: UnitsOf<InferPropertySemanticType<P, TValueTypes>>;
+    };
 };
 export {};
 //# sourceMappingURL=index.d.ts.map

package/dist/ontology/inference/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ontology/inference/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,KAAK,EACV,WAAW,EACX,aAAa,EACb,UAAU,EACV,SAAS,EACT,iBAAiB,EACjB,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,MAAM,EACN,SAAS,EACT,kBAAkB,EACnB,MAAM,IAAI,CAAA;AACX,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAE3D,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAA;AAEhD;;;GAGG;AACH,KAAK,gBAAgB,CACnB,WAAW,SAAS,SAAS,SAAS,EAAE,EACxC,YAAY,SAAS,MAAM,IACzB,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE;IAAE,EAAE,EAAE,YAAY,CAAA;CAAE,CAAC,CAAA;AAEtD;;;;;GAKG;AACH,KAAK,iBAAiB,CAAC,YAAY,SAAS,MAAM,EAAE,WAAW,SAAS,SAAS,SAAS,EAAE,IAC1F,gBAAgB,CAAC,WAAW,EAAE,YAAY,CAAC,SAAS,MAAM,UAAU,GAChE,UAAU,SAAS,SAAS,GAC1B,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,GAC9C,OAAO,GACT,OAAO,CAAA;AAEb,KAAK,gBAAgB,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI;KACxE,CAAC,IAAI,MAAM,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK;CACxE,CAAC,MAAM,OAAO,CAAC,CAAA;AAEhB,KAAK,gBAAgB,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI,OAAO,CAChF,MAAM,OAAO,EACb,gBAAgB,CAAC,OAAO,CAAC,CAC1B,CAAA;AAED,KAAK,qBAAqB,CACxB,YAAY,SAAS,iBAAiB,EACtC,WAAW,SAAS,SAAS,SAAS,EAAE,IACtC,YAAY,CAAC,UAAU,CAAC,SAAS,IAAI,GACrC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,GAAG,IAAI,GACvD,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAA;AAEpD,KAAK,iBAAiB,CACpB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,EACjD,WAAW,SAAS,SAAS,SAAS,EAAE,IACtC,QAAQ,CACV;KACG,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;CACjF,GAAG;KACD,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;CAClF,CACF,CAAA;AAED,UAAU,uBAAuB;IAC/B,OAAO,EAAE,OAAO,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,OAAO,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,YAAY,CAAA;IACrB,IAAI,EAAE,IAAI,GAAG,MAAM,CAAA;IACnB,SAAS,EAAE,IAAI,GAAG,MAAM,CAAA;CACzB;AAED,KAAK,kBAAkB,CACrB,OAAO,SAAS,aAAa,EAC7B,WAAW,SAAS,SAAS,SAAS,EAAE,IACtC,OAAO,SAAS,UAAU,GAC1B,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GACzB,OAAO,SAAS,WAAW,GACzB,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,EAAE,GAC5C,OAAO,SAAS,SAAS,GACvB,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC,GAChE,OAAO,SAAS,YAAY,GAC1B,iBAAiB,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC,GACrD,KAAK,CAAA;AAEf,KAAK,uBAAuB,CAC1B,OAAO,SAAS,kBAAkB,EAClC,WAAW,SAAS,SAAS,SAAS,EAAE,IACtC,OAAO,SAAS;IAAE,SAAS,EAAE,MAAM,SAAS,SAAS,MAAM,CAAA;CAAE,GAC7D,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,GACnC,iBAAiB,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAA;AAE1D;;;;GAIG;AACH,MAAM,MAAM,WAAW,CACrB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,EAAE,IAC3C,OAAO,SAAS,eAAe,GAC/B,uBAAuB,CAAC,OAAO,CAAC,GAChC,OAAO,SAAS,aAAa,GAC3B,kBAAkB,CAAC,OAAO,EAAE,WAAW,CAAC,GACxC,OAAO,SAAS,kBAAkB,GAChC,uBAAuB,CAAC,OAAO,EAAE,WAAW,CAAC,GAC7C,KAAK,CAAA;AAEb,4DAA4D;AAC5D,MAAM,MAAM,kBAAkB,CAC5B,SAAS,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,CAAC,EACvD,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,EAAE,IAC3C,SAAS,CAAC,UAAU,CAAC,SAAS,IAAI,GAClC,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,GAAG,IAAI,GACpD,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAA;AAEjD,KAAK,yCAAyC,CAC5C,SAAS,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAC1C,WAAW,SAAS,SAAS,SAAS,EAAE,IACtC,SAAS,CAAC,QAAQ,CAAC,SAAS;IAC9B,IAAI,EAAE,cAAc,CAAA;IACpB,WAAW,EAAE,MAAM,YAAY,SAAS,MAAM,CAAA;CAC/C,GACG,gBAAgB,CAAC,WAAW,EAAE,YAAY,CAAC,SAAS;IAClD,YAAY,EAAE,MAAM,aAAa,SAAS,kBAAkB,CAAA;CAC7D,GACC,aAAa,GACb,KAAK,GACP,KAAK,CAAA;AAET,MAAM,MAAM,yBAAyB,CACnC,SAAS,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,GAAG,cAAc,CAAC,EAC3D,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,EAAE,IAC3C,SAAS,CAAC,cAAc,CAAC,SAAS,kBAAkB,GACpD,SAAS,CAAC,cAAc,CAAC,GACzB,yCAAyC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;AAErE;;;;;;GAMG;AACH,MAAM,MAAM,iBAAiB,CAC3B,SAAS,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,GAAG,cAAc,CAAC,EAC3D,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,EAAE,IAE7C,yBAAyB,CAAC,SAAS,EAAE,WAAW,CAAC,SAAS,MAAM,aAAa,SAC3E,kBAAkB,GAChB,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,GAC7B,KAAK,GACL,OAAO,CAAC,aAAa,CAAC,GACxB,KAAK,CAAA;AAEX,MAAM,MAAM,qBAAqB,CAC/B,WAAW,SAAS;IAAE,UAAU,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,EACvD,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,EAAE,IAO7C,MAAM,SAAS,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAClD,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAKvB,QAAQ,CACN;KACG,KAAK,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAC3E,KAAK,CAAC,IAAI,CAAC,GACX,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC;CACnD,GAAG;KACD,KAAK,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAC3E,KAAK,GACL,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC;CAC1D,CACF,CAAA;AAEP,yEAAyE;AACzE,MAAM,MAAM,yBAAyB,CAAC,WAAW,SAAS;IAAE,UAAU,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,IAC3F,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC,IAAI,CAAC,CAAA;AAEzE;;;;;;GAMG;AACH,MAAM,MAAM,6BAA6B,CACvC,WAAW,SAAS;IAAE,UAAU,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,EACvD,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,EAAE,IAC3C;KACD,CAAC,IAAI,OAAO,CACX,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EACjC;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CACtB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,SAAS,kBAAkB,GACxD;QAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAA;KAAE,GAC/E,CAAC,CAAC,QAAQ,CAAC,SAAS;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,WAAW,EAAE,MAAM,KAAK,SAAS,MAAM,CAAA;KAAE,GACnF,gBAAgB,CAAC,WAAW,EAAE,KAAK,CAAC,SAAS;QAC3C,YAAY,EAAE,MAAM,IAAI,SAAS,kBAAkB,CAAA;KACpD,GACC;QAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAA;KAAE,GAClE,kBAAkB,CAAC,CAAC,EAAE,WAAW,CAAC,GACpC,kBAAkB,CAAC,CAAC,EAAE,WAAW,CAAC;CACzC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ontology/inference/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,KAAK,EACV,WAAW,EACX,aAAa,EACb,UAAU,EACV,SAAS,EACT,iBAAiB,EACjB,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,MAAM,EACN,SAAS,EACT,kBAAkB,EACnB,MAAM,IAAI,CAAA;AACX,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAA;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AAE1C,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAA;AAEhD;;;;GAIG;AACH,KAAK,gBAAgB,CACnB,WAAW,SAAS,SAAS,SAAS,EAAE,EACxC,YAAY,SAAS,MAAM,IACzB,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE;IAAE,EAAE,EAAE,YAAY,CAAA;CAAE,CAAC,CAAA;AAEtD;;;;;;;GAOG;AACH,KAAK,iBAAiB,CAAC,YAAY,SAAS,MAAM,EAAE,WAAW,SAAS,SAAS,SAAS,EAAE,IAC1F,gBAAgB,CAAC,WAAW,EAAE,YAAY,CAAC,SAAS,MAAM,UAAU,GAChE,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,GAC1B,OAAO,GACP,UAAU,SAAS,SAAS,GAC1B,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,GAC9C,OAAO,GACX,OAAO,CAAA;AAEb,KAAK,gBAAgB,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI;KACxE,CAAC,IAAI,MAAM,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK;CACxE,CAAC,MAAM,OAAO,CAAC,CAAA;AAEhB,KAAK,gBAAgB,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI,OAAO,CAChF,MAAM,OAAO,EACb,gBAAgB,CAAC,OAAO,CAAC,CAC1B,CAAA;AAED,KAAK,qBAAqB,CACxB,YAAY,SAAS,iBAAiB,EACtC,WAAW,SAAS,SAAS,SAAS,EAAE,IACtC,YAAY,CAAC,UAAU,CAAC,SAAS,IAAI,GACrC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,GAAG,IAAI,GACvD,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAA;AAEpD,KAAK,iBAAiB,CACpB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,EACjD,WAAW,SAAS,SAAS,SAAS,EAAE,IACtC,QAAQ,CACV;KACG,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;CACjF,GAAG;KACD,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;CAClF,CACF,CAAA;AAED,UAAU,uBAAuB;IAC/B,OAAO,EAAE,OAAO,CAAA;IAChB,OAAO,EAAE,OAAO,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,OAAO,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,YAAY,CAAA;IACrB,IAAI,EAAE,IAAI,GAAG,MAAM,CAAA;IACnB,SAAS,EAAE,IAAI,GAAG,MAAM,CAAA;CACzB;AAED,KAAK,kBAAkB,CACrB,OAAO,SAAS,aAAa,EAC7B,WAAW,SAAS,SAAS,SAAS,EAAE,IACtC,OAAO,SAAS,UAAU,GAC1B,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GACzB,OAAO,SAAS,WAAW,GACzB,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,EAAE,GAC5C,OAAO,SAAS,SAAS,GACvB,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC,GAChE,OAAO,SAAS,YAAY,GAC1B,iBAAiB,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC,GACrD,KAAK,CAAA;AAEf,KAAK,uBAAuB,CAC1B,OAAO,SAAS,kBAAkB,EAClC,WAAW,SAAS,SAAS,SAAS,EAAE,IACtC,OAAO,SAAS;IAAE,SAAS,EAAE,MAAM,SAAS,SAAS,MAAM,CAAA;CAAE,GAC7D,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,GACnC,iBAAiB,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAA;AAE1D;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CACrB,OAAO,SAAS,MAAM,EACtB,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,oBAAoB,IAC7D,MAAM,SAAS,OAAO,GACtB,OAAO,GACP,OAAO,SAAS,eAAe,GAC7B,uBAAuB,CAAC,OAAO,CAAC,GAChC,OAAO,SAAS,aAAa,GAC3B,kBAAkB,CAAC,OAAO,EAAE,WAAW,CAAC,GACxC,OAAO,SAAS,kBAAkB,GAChC,uBAAuB,CAAC,OAAO,EAAE,WAAW,CAAC,GAC7C,KAAK,CAAA;AAEf,4DAA4D;AAC5D,MAAM,MAAM,kBAAkB,CAC5B,SAAS,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,CAAC,EACvD,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,oBAAoB,IAC7D,SAAS,CAAC,UAAU,CAAC,SAAS,IAAI,GAClC,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,GAAG,IAAI,GACpD,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAA;AAEjD;;;;;GAKG;AACH,KAAK,yCAAyC,CAC5C,SAAS,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAC1C,WAAW,SAAS,SAAS,SAAS,EAAE,IACtC,SAAS,CAAC,QAAQ,CAAC,SAAS;IAC9B,IAAI,EAAE,cAAc,CAAA;IACpB,WAAW,EAAE,MAAM,YAAY,SAAS,MAAM,CAAA;CAC/C,GACG,CAAC,gBAAgB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3D,SAAS,CAAC,QAAQ,CAAC,SAAS;IAAE,aAAa,EAAE,MAAM,aAAa,SAAS,kBAAkB,CAAA;CAAE,GAC3F,aAAa,GACb,KAAK,GACP,gBAAgB,CAAC,WAAW,EAAE,YAAY,CAAC,SAAS;IAChD,YAAY,EAAE,MAAM,aAAa,SAAS,kBAAkB,CAAA;CAC7D,GACD,aAAa,GACb,KAAK,GACT,KAAK,CAAA;AAET,MAAM,MAAM,yBAAyB,CACnC,SAAS,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,GAAG,cAAc,CAAC,EAC3D,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,oBAAoB,IAC7D,SAAS,CAAC,cAAc,CAAC,SAAS,kBAAkB,GACpD,SAAS,CAAC,cAAc,CAAC,GACzB,yCAAyC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;AAErE;;;;;;GAMG;AACH,MAAM,MAAM,iBAAiB,CAC3B,SAAS,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,GAAG,cAAc,CAAC,EAC3D,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,oBAAoB,IAE/D,yBAAyB,CAAC,SAAS,EAAE,WAAW,CAAC,SAAS,MAAM,aAAa,SAC3E,kBAAkB,GAChB,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,GAC7B,KAAK,GACL,OAAO,CAAC,aAAa,CAAC,GACxB,KAAK,CAAA;AAEX,MAAM,MAAM,qBAAqB,CAC/B,WAAW,SAAS;IAAE,UAAU,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,EACvD,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,oBAAoB,IAO/D,MAAM,SAAS,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAClD,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAKvB,QAAQ,CACN;KACG,KAAK,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAC3E,KAAK,CAAC,IAAI,CAAC,GACX,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC;CACnD,GAAG;KACD,KAAK,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAC3E,KAAK,GACL,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC;CAC1D,CACF,CAAA;AAEP,yEAAyE;AACzE,MAAM,MAAM,yBAAyB,CAAC,WAAW,SAAS;IAAE,UAAU,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,IAC3F,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC,IAAI,CAAC,CAAA;AAEzE;;;;;;;GAOG;AACH,MAAM,MAAM,6BAA6B,CACvC,WAAW,SAAS;IAAE,UAAU,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,EACvD,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,oBAAoB,IAC7D;KACD,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EAAE;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;QACpF,yBAAyB,CAAC,CAAC,EAAE,WAAW,CAAC;KAC1C,SAAS,CAAC,KAAK,CAAC,GACb,kBAAkB,CAAC,CAAC,EAAE,WAAW,CAAC,GAClC;QACE,KAAK,EAAE,kBAAkB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QACzC,IAAI,EAAE,OAAO,CAAC,yBAAyB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAA;KACzD;CACN,CAAA"}

package/dist/ontology/internal.d.ts

@@ -1,4 +1,5 @@
 export { schemaFieldsToJsonSchema, schemaRecordToJsonSchema } from "./json-schema";
+export { resolvePropertyQueryCapabilities } from "./query-capabilities";
 export { validateSchemaOrRefValue } from "./refs";
 export { createLinkTokenMap, createPropertyTokenMap } from "./tokens";
 export { assertLinkTargetType, assertTargetTypeCompatible, normalizeLinkProperties, validateLinkProperties, } from "./validation/links";

package/dist/ontology/internal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../src/ontology/internal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAA;AAClF,OAAO,EAAE,wBAAwB,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,UAAU,CAAA;AACrE,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACL,qBAAqB,EACrB,kCAAkC,EAClC,0BAA0B,EAC1B,sCAAsC,EACtC,wBAAwB,EACxB,wBAAwB,EACxB,yBAAyB,EACzB,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,OAAO,EACL,QAAQ,EACR,mBAAmB,EACnB,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,wBAAwB,CAAA"}
+{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../src/ontology/internal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAA;AAClF,OAAO,EAAE,gCAAgC,EAAE,MAAM,sBAAsB,CAAA;AACvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,UAAU,CAAA;AACrE,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACL,qBAAqB,EACrB,kCAAkC,EAClC,0BAA0B,EAC1B,sCAAsC,EACtC,wBAAwB,EACxB,wBAAwB,EACxB,yBAAyB,EACzB,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,OAAO,EACL,QAAQ,EACR,mBAAmB,EACnB,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,wBAAwB,CAAA"}

package/dist/ontology/internal.js

@@ -20,22 +20,24 @@ import {
   assertTargetTypeCompatible2,
   normalizeLinkProperties2,
   validateLinkProperties2,
+  resolvePropertyQueryCapabilities2,
   validateQueryMetadata2,
   assertTelemetryProperty2,
   resolveSemanticType2,
   validateTelemetryUnit2
-} from "../chunk-ms2tmn1k.js";
+} from "../chunk-d8yes9yx.js";
+import"../chunk-z3y5kg1x.js";
+import {
+  validateSchemaOrRefValue2
+} from "../chunk-drz59ve0.js";
 import {
   schemaRecordToJsonSchema2,
   schemaFieldsToJsonSchema2
-} from "../chunk-7zgecwy1.js";
+} from "../chunk-6x0pqh32.js";
 import {
   createPropertyTokenMap2,
   createLinkTokenMap2
-} from "../chunk-653vwrzr.js";
-import {
-  validateSchemaOrRefValue2
-} from "../chunk-f0rwz2vh.js";
+} from "../chunk-rdghfsss.js";
 export {
   assertKnownProperties2 as assertKnownProperties,
   assertLinkTargetType2 as assertLinkTargetType,
@@ -52,6 +54,7 @@ export {
   normalizeLinkProperties2 as normalizeLinkProperties,
   normalizeObjectProperties2 as normalizeObjectProperties,
   normalizeSchemaValue2 as normalizeSchemaValue,
+  resolvePropertyQueryCapabilities2 as resolvePropertyQueryCapabilities,
   resolveSemanticType2 as resolveSemanticType,
   resolveValueTypeRef2 as resolveValueTypeRef,
   resolveValueTypeSchema2 as resolveValueTypeSchema,
@@ -68,4 +71,4 @@ export {
   validateTelemetryUnit2 as validateTelemetryUnit
 };
 
-//# debugId=C3CA3D6DBA6BBF8764756E2164756E21
+//# debugId=58CEF65FD40BA06E64756E2164756E21

package/dist/ontology/internal.js.map

@@ -4,6 +4,6 @@
   "sourcesContent": [
   ],
   "mappings": "",
-  "debugId": "C3CA3D6DBA6BBF8764756E2164756E21",
+  "debugId": "58CEF65FD40BA06E64756E2164756E21",
   "names": []
 }

package/dist/ontology/primitives.d.ts

@@ -0,0 +1,38 @@
+import type { QueryScalarKind } from "../objects/query/ir";
+import type { PrimitiveSchema } from "./types";
+/**
+ * Yes/no decisions a primitive schema makes for rules that several modules share.
+ *
+ * Every primitive states every decision: adding one to `PrimitiveSchema` fails to compile until it
+ * has a row here, instead of inheriting string-like behavior from a denylist. Per-type behavior
+ * (value validation, normalization, JSON Schema, inference) stays in exhaustive switches next to
+ * the code that performs it.
+ */
+export interface PrimitiveTraits {
+    /** Scalar kind object queries compare values with; `undefined` when values are not comparable. */
+    readonly queryScalarKind: QueryScalarKind | undefined;
+    /** Exact matching: `eq`/`neq`/`in`/`exists` predicates and `query.filterable`. */
+    readonly exact: boolean;
+    /** Exact-match search profile: `query.exact` and `search.exact`, matched against search input. */
+    readonly exactSearch: boolean;
+    /** Ordering: range predicates and `query.sortable`. */
+    readonly sortable: boolean;
+    /** Keyword search: `query.text`, search titles, and vector sources. */
+    readonly text: boolean;
+    /** Substring `contains` predicates. */
+    readonly contains: boolean;
+    /** Facet buckets: `query.facet`. */
+    readonly facet: boolean;
+    /** Allowed anywhere inside a telemetry property's schema. */
+    readonly telemetry: boolean;
+    /** Allowed anywhere inside a shared Action parameter's schema. */
+    readonly shareableParam: boolean;
+}
+export declare function isPrimitiveSchema(schema: unknown): schema is PrimitiveSchema;
+/**
+ * Traits for a primitive schema. Property schemas are not shape-validated at registration, so an
+ * untyped definition can still carry a string outside `PrimitiveSchema`: it gets `undefined`, and
+ * callers treat it as supporting no query feature.
+ */
+export declare function primitiveTraits(schema: PrimitiveSchema): PrimitiveTraits | undefined;
+//# sourceMappingURL=primitives.d.ts.map

package/dist/ontology/primitives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/ontology/primitives.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAA;AAE9C;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,kGAAkG;IAClG,QAAQ,CAAC,eAAe,EAAE,eAAe,GAAG,SAAS,CAAA;IACrD,kFAAkF;IAClF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,kGAAkG;IAClG,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;IAC7B,uDAAuD;IACvD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,oCAAoC;IACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,6DAA6D;IAC7D,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,kEAAkE;IAClE,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;CACjC;AAiDD,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,eAAe,CAE5E;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,eAAe,GAAG,eAAe,GAAG,SAAS,CAEpF"}

package/dist/ontology/query-capabilities.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Query rules for a schema whose `valueTypeRef`s are already resolved. Registration uses them to
+ * accept declared `query` flags, query validation to accept operators, and the ontology API to
+ * report both, so the three cannot drift.
+ */
+import type { QueryScalarKind } from "../objects/query/ir";
+import type { Property, Schema, ValueType } from "./types";
+/** `eq`/`neq`/`in`/`exists` predicates. */
+export declare function isExactSchema(schema: Schema): boolean;
+/** `query.exact`, and through it `search.exact`: matched against search input. */
+export declare function isExactSearchSchema(schema: Schema): boolean;
+/** `query.filterable`: exact matching, or `contains` over a collection. */
+export declare function isFilterableSchema(schema: Schema): boolean;
+/** Range predicates and `query.sortable`. */
+export declare function isSortableSchema(schema: Schema): boolean;
+/** Keyword search. */
+export declare function isTextSchema(schema: Schema): boolean;
+/** `contains`: substring for scalars, item for arrays, key for maps. */
+export declare function isContainsSchema(schema: Schema): boolean;
+/** `query.facet`. */
+export declare function isFacetSchema(schema: Schema): boolean;
+export declare function queryScalarKindForSchema(schema: Schema): QueryScalarKind | undefined;
+/** Predicate operators a property may use in an object query. */
+export type PropertyQueryOperator = "eq" | "neq" | "lt" | "lte" | "gt" | "gte" | "in" | "exists" | "contains";
+/** What an object query can do with one property, resolved from its schema and `query` flags. */
+export interface PropertyQueryCapabilities {
+    readonly operators: readonly PropertyQueryOperator[];
+    readonly sortable: boolean;
+    readonly facet: boolean;
+    readonly text: boolean;
+}
+/**
+ * Resolve what object queries accept for a property, applying the same rules as query validation:
+ * primary ids always accept `eq`/`in`; other predicates, sorting, faceting, and keyword search need
+ * `query.searchable` plus the matching flag and a schema that supports it.
+ */
+export declare function resolvePropertyQueryCapabilities(property: Property, valueTypesById: ReadonlyMap<string, ValueType>): PropertyQueryCapabilities;
+//# sourceMappingURL=query-capabilities.d.ts.map

package/dist/ontology/query-capabilities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-capabilities.d.ts","sourceRoot":"","sources":["../../src/ontology/query-capabilities.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAE1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAE1D,2CAA2C;AAC3C,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAGrD;AAED,kFAAkF;AAClF,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAG3D;AAED,2EAA2E;AAC3E,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAK1D;AAED,6CAA6C;AAC7C,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAGxD;AAED,sBAAsB;AACtB,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAGpD;AAED,wEAAwE;AACxE,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAGxD;AAED,qBAAqB;AACrB,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAGrD;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAIpF;AAED,iEAAiE;AACjE,MAAM,MAAM,qBAAqB,GAC7B,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,QAAQ,GACR,UAAU,CAAA;AAEd,iGAAiG;AACjG,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAA;IACpD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CACvB;AAiBD;;;;GAIG;AACH,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,QAAQ,EAClB,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAC7C,yBAAyB,CAqB3B"}

package/dist/ontology/refs.d.ts

@@ -1,4 +1,5 @@
 import type { InferSchema } from "./inference";
+import type { RegisteredValueTypes } from "./registered";
 import type { ObjectType, Schema, ValueType } from "./types";
 export type ObjectRef<TObjectTypeId extends string = string> = {
     objectTypeId: TObjectTypeId;
@@ -9,10 +10,30 @@ export interface ObjectRefSchema<TObjectTypeId extends string = string> {
     readonly objectTypeId: TObjectTypeId;
 }
 export type SchemaOrRef = Schema | ObjectRefSchema;
-export type InferSchemaOrRef<TSchema extends SchemaOrRef, TValueTypes extends readonly ValueType[] = []> = TSchema extends ObjectRefSchema<infer TObjectTypeId> ? ObjectRef<TObjectTypeId> : TSchema extends Schema ? InferSchema<TSchema, TValueTypes> : never;
-export declare function ref<const TObjectType extends ObjectType>(objectType: TObjectType): ObjectRefSchema<TObjectType["id"]>;
+export type InferSchemaOrRef<TSchema extends SchemaOrRef, TValueTypes extends readonly ValueType[] = RegisteredValueTypes> = TSchema extends ObjectRefSchema<infer TObjectTypeId> ? ObjectRef<TObjectTypeId> : TSchema extends Schema ? InferSchema<TSchema, TValueTypes> : never;
+interface RefBuilder {
+    /**
+     * Reference to one object of `objectType`, for Action and Workflow parameters.
+     *
+     * Object properties point at other objects with `link(...)` instead: a link is traversable,
+     * queryable from both ends, and kept consistent when its target is deleted.
+     */
+    <const TObjectType extends ObjectType>(objectType: TObjectType): ObjectRefSchema<TObjectType["id"]>;
+    /** Reference to a Sixb user, valued `{ type: "user", id }`. Serialized as `"userRef"`. */
+    user(): "userRef";
+    /** Reference to a stored file, valued as a `FileRef`. Serialized as `"fileRef"`. */
+    file(): "fileRef";
+}
+/**
+ * Schemas that point outside the value itself.
+ *
+ * Scalars are plain strings (`"string"`, `"timestamp"`); anything that points elsewhere or takes
+ * parameters is a builder: `ref(Customer)`, `ref.user()`, `ref.file()`.
+ */
+export declare const ref: RefBuilder;
 /** Build an exact, typed reference to one object instance. */
 export declare function objectRef<const TObjectType extends ObjectType>(objectType: TObjectType, primaryId: string): ObjectRef<TObjectType["id"]>;
 export declare function isObjectRefSchema(schema: SchemaOrRef): schema is ObjectRefSchema;
 export declare function validateSchemaOrRefValue(schema: SchemaOrRef, value: unknown, path: string, valueTypesById: ReadonlyMap<string, ValueType>): void;
+export {};
 //# sourceMappingURL=refs.d.ts.map

package/dist/ontology/refs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"refs.d.ts","sourceRoot":"","sources":["../../src/ontology/refs.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAG5D,MAAM,MAAM,SAAS,CAAC,aAAa,SAAS,MAAM,GAAG,MAAM,IAAI;IAC7D,YAAY,EAAE,aAAa,CAAA;IAC3B,SAAS,EAAE,MAAM,CAAA;CAClB,CAAA;AAED,MAAM,WAAW,eAAe,CAAC,aAAa,SAAS,MAAM,GAAG,MAAM;IACpE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAA;CACrC;AAED,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,eAAe,CAAA;AAElD,MAAM,MAAM,gBAAgB,CAC1B,OAAO,SAAS,WAAW,EAC3B,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,EAAE,IAE7C,OAAO,SAAS,eAAe,CAAC,MAAM,aAAa,CAAC,GAChD,SAAS,CAAC,aAAa,CAAC,GACxB,OAAO,SAAS,MAAM,GACpB,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,GACjC,KAAK,CAAA;AAEb,wBAAgB,GAAG,CAAC,KAAK,CAAC,WAAW,SAAS,UAAU,EACtD,UAAU,EAAE,WAAW,GACtB,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAKpC;AAED,8DAA8D;AAC9D,wBAAgB,SAAS,CAAC,KAAK,CAAC,WAAW,SAAS,UAAU,EAC5D,UAAU,EAAE,WAAW,EACvB,SAAS,EAAE,MAAM,GAChB,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAa9B;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,IAAI,eAAe,CAMhF;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,WAAW,EACnB,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAC7C,IAAI,CAON"}
+{"version":3,"file":"refs.d.ts","sourceRoot":"","sources":["../../src/ontology/refs.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAG5D,MAAM,MAAM,SAAS,CAAC,aAAa,SAAS,MAAM,GAAG,MAAM,IAAI;IAC7D,YAAY,EAAE,aAAa,CAAA;IAC3B,SAAS,EAAE,MAAM,CAAA;CAClB,CAAA;AAED,MAAM,WAAW,eAAe,CAAC,aAAa,SAAS,MAAM,GAAG,MAAM;IACpE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAA;CACrC;AAED,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,eAAe,CAAA;AAElD,MAAM,MAAM,gBAAgB,CAC1B,OAAO,SAAS,WAAW,EAC3B,WAAW,SAAS,SAAS,SAAS,EAAE,GAAG,oBAAoB,IAE/D,OAAO,SAAS,eAAe,CAAC,MAAM,aAAa,CAAC,GAChD,SAAS,CAAC,aAAa,CAAC,GACxB,OAAO,SAAS,MAAM,GACpB,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,GACjC,KAAK,CAAA;AAEb,UAAU,UAAU;IAClB;;;;;OAKG;IACH,CAAC,KAAK,CAAC,WAAW,SAAS,UAAU,EACnC,UAAU,EAAE,WAAW,GACtB,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAA;IACrC,0FAA0F;IAC1F,IAAI,IAAI,SAAS,CAAA;IACjB,oFAAoF;IACpF,IAAI,IAAI,SAAS,CAAA;CAClB;AAED;;;;;GAKG;AACH,eAAO,MAAM,GAAG,EAAE,UAWjB,CAAA;AAED,8DAA8D;AAC9D,wBAAgB,SAAS,CAAC,KAAK,CAAC,WAAW,SAAS,UAAU,EAC5D,UAAU,EAAE,WAAW,EACvB,SAAS,EAAE,MAAM,GAChB,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAa9B;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,IAAI,eAAe,CAMhF;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,WAAW,EACnB,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAC7C,IAAI,CAON"}

package/dist/ontology/registered.d.ts

@@ -0,0 +1,16 @@
+import type { ObjectTypeWithPropertyTokens } from "./tokens";
+import type { SixbObjectTypeMap, SixbValueTypeMap, ValueType } from "./types";
+/**
+ * Every object type the generated ontology manifest registers.
+ *
+ * It is the one registry every typed surface resolves string link targets against, so the same
+ * query is typed the same way in an Action, a Workflow and the browser. Without a manifest it is the
+ * loose base type: id-only link targets then degrade gracefully instead of failing.
+ *
+ * Deliberately not generic. A registry parameterized per call site gives each site its own type
+ * identity, and TypeScript then has to compare otherwise identical SDK types structurally.
+ */
+export type RegisteredObjectType = [keyof SixbObjectTypeMap] extends [never] ? ObjectTypeWithPropertyTokens : Extract<SixbObjectTypeMap[keyof SixbObjectTypeMap], ObjectTypeWithPropertyTokens>;
+/** Every value type the generated ontology manifest registers, for string-only `valueTypeRef`s. */
+export type RegisteredValueTypes = readonly Extract<SixbValueTypeMap[keyof SixbValueTypeMap], ValueType>[];
+//# sourceMappingURL=registered.d.ts.map

package/dist/ontology/registered.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registered.d.ts","sourceRoot":"","sources":["../../src/ontology/registered.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,UAAU,CAAA;AAC5D,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAE7E;;;;;;;;;GASG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,MAAM,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,GACxE,4BAA4B,GAC5B,OAAO,CAAC,iBAAiB,CAAC,MAAM,iBAAiB,CAAC,EAAE,4BAA4B,CAAC,CAAA;AAErF,mGAAmG;AACnG,MAAM,MAAM,oBAAoB,GAAG,SAAS,OAAO,CACjD,gBAAgB,CAAC,MAAM,gBAAgB,CAAC,EACxC,SAAS,CACV,EAAE,CAAA"}

package/dist/ontology/registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/ontology/registry.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAOH,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,UAAU,CAAA;AAE5D,OAAO,KAAK,EAAE,UAAU,EAAU,SAAS,EAAE,MAAM,SAAS,CAAA;AAS5D,8EAA8E;AAC9E,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAA;IAC7D,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,SAAS,EAAE,CAAA;CAC3C,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,4BAA4B,GAAG,qBAAqB,CAAA;AAEjF,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAA;CAC5C;AAED,oFAAoF;AACpF,MAAM,WAAW,yBAAyB;IACxC,eAAe,IAAI,SAAS,4BAA4B,EAAE,CAAA;IAC1D,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,4BAA4B,GAAG,IAAI,CAAA;IAC5E,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,4BAA4B,CAAA;IACrE,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAAA;IAClD,YAAY,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAC5C,iBAAiB,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,4BAA4B,EAAE,CAAA;IAClF,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAA;IACvE,kBAAkB,IAAI,WAAW,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAA;IACvE,iBAAiB,IAAI,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACnD,kBAAkB,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAClD;AA6GD;;;;;;;;GAQG;AACH,qBAAa,gBAAiB,YAAW,yBAAyB;IAChE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAkD;IAClF,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA+B;IAC9D,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAiC;IAC9D,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAqB;gBAEzC,OAAO,EAAE,uBAAuB;IA0B5C,mCAAmC;IACnC,eAAe,IAAI,SAAS,4BAA4B,EAAE;IAI1D,gEAAgE;IAChE,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,4BAA4B,GAAG,IAAI;IAI5E;;;;;OAKG;IACH,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,4BAA4B;IAQrE,8EAA8E;IAC9E,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM;IAMlD,oEAAoE;IACpE,YAAY,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,EAAE;IAc5C,gFAAgF;IAChF,iBAAiB,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,4BAA4B,EAAE;IAmBlF;;;;;OAKG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO;IAYvE,gDAAgD;IAChD,kBAAkB,IAAI,WAAW,CAAC,MAAM,EAAE,4BAA4B,CAAC;IAIvE,+CAA+C;IAC/C,iBAAiB,IAAI,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC;IAInD,gEAAgE;IAChE,kBAAkB,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;IAMjD;;;;OAIG;IACH,OAAO,CAAC,+BAA+B;IA+DvC;;;OAGG;IACH,OAAO,CAAC,0BAA0B;CAqDnC"}
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/ontology/registry.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAOH,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,UAAU,CAAA;AAE5D,OAAO,KAAK,EAAE,UAAU,EAAU,SAAS,EAAE,MAAM,SAAS,CAAA;AAU5D,8EAA8E;AAC9E,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAA;IAC7D,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,SAAS,EAAE,CAAA;CAC3C,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,4BAA4B,GAAG,qBAAqB,CAAA;AAEjF,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAA;CAC5C;AAED,oFAAoF;AACpF,MAAM,WAAW,yBAAyB;IACxC,eAAe,IAAI,SAAS,4BAA4B,EAAE,CAAA;IAC1D,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,4BAA4B,GAAG,IAAI,CAAA;IAC5E,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,4BAA4B,CAAA;IACrE,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAAA;IAClD,YAAY,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAC5C,iBAAiB,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,4BAA4B,EAAE,CAAA;IAClF,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAA;IACvE,kBAAkB,IAAI,WAAW,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAA;IACvE,iBAAiB,IAAI,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACnD,kBAAkB,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAClD;AAgHD;;;;;;;;GAQG;AACH,qBAAa,gBAAiB,YAAW,yBAAyB;IAChE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAkD;IAClF,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA+B;IAC9D,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAiC;IAC9D,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAqB;gBAEzC,OAAO,EAAE,uBAAuB;IAiC5C,mCAAmC;IACnC,eAAe,IAAI,SAAS,4BAA4B,EAAE;IAI1D,gEAAgE;IAChE,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,4BAA4B,GAAG,IAAI;IAI5E;;;;;OAKG;IACH,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,4BAA4B;IAQrE,8EAA8E;IAC9E,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM;IAMlD,oEAAoE;IACpE,YAAY,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,EAAE;IAc5C,gFAAgF;IAChF,iBAAiB,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,4BAA4B,EAAE;IAmBlF;;;;;OAKG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO;IAYvE,gDAAgD;IAChD,kBAAkB,IAAI,WAAW,CAAC,MAAM,EAAE,4BAA4B,CAAC;IAIvE,+CAA+C;IAC/C,iBAAiB,IAAI,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC;IAInD,gEAAgE;IAChE,kBAAkB,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;IAMjD;;;;OAIG;IACH,OAAO,CAAC,+BAA+B;IA+DvC;;;OAGG;IACH,OAAO,CAAC,0BAA0B;CAqDnC"}

package/dist/ontology/tokens.d.ts

@@ -1,7 +1,9 @@
+import type { InferObjectProperties } from "./inference";
 import { type LinkPathSelectionBuilder } from "./link-path-selection";
 import type { ObjectLink, ObjectType, Property } from "./types";
 declare const propertyTokenBrand: unique symbol;
 declare const linkTokenBrand: unique symbol;
+declare const objectPropertiesBrand: unique symbol;
 /**
  * Strongly-typed handle to a property on a specific object type.
  *
@@ -29,11 +31,43 @@ export type LinkTokenMap<TObjectType extends ObjectType> = {
 /**
  * Object type with property tokens (`p.*`).
  *
- * The original ontology shape is preserved; this only adds typed handles.
+ * The original ontology shape is preserved; this only adds typed handles, and the type-only
+ * property values every row of this object type carries.
  */
 export type ObjectTypeWithPropertyTokens<TObjectType extends ObjectType = ObjectType> = TObjectType & {
     readonly p: PropertyTokenMap<TObjectType>;
+} & ObjectPropertiesMetadata<TObjectType>;
+/**
+ * Type-only property values of an object type, inferred once where the type is defined so SDK types
+ * read them back by indexed access instead of re-deriving them from `properties`.
+ *
+ * Exported only so declaration files can name it, like the token maps.
+ */
+export type ObjectPropertiesMetadata<TObjectType extends ObjectType> = {
+    readonly [objectPropertiesBrand]?: string extends TObjectType["id"] ? {
+        readonly properties: Record<string, unknown>;
+    } : ObjectPropertiesCarrier<TObjectType>;
 };
+/**
+ * Carrier of an object type's inferred property values.
+ *
+ * When TypeScript relates, or infers between, two instantiations of a generic type it has not been
+ * told the variance of, it measures that variance by probing the type with marker types. A probe
+ * that reached the schema inference over a marker overflowed its depth limits (TS2589), in code as
+ * ordinary as reassigning a query. Declaring this carrier invariant stops every probe here, so an
+ * object type costs no more to relate than its tokens. The loose base type carries a plain record
+ * instead, which a concrete object type's carrier relates to structurally.
+ */
+interface ObjectPropertiesCarrier<in out TObjectType extends ObjectType> {
+    readonly properties: InferObjectProperties<TObjectType>;
+}
+/**
+ * The property values of an object type, as its rows carry them.
+ *
+ * Reads the type computed once by {@link ObjectTypeWithPropertyTokens}. For the loose base type,
+ * whose property ids are not statically known, it is `Record<string, unknown>`.
+ */
+export type ObjectTypeProperties<TObjectType extends ObjectTypeWithPropertyTokens> = NonNullable<TObjectType[typeof objectPropertiesBrand]>["properties"];
 /**
  * Object type with property tokens (`p.*`) and link tokens (`l.*`).
  *

package/dist/ontology/tokens.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tokens.d.ts","sourceRoot":"","sources":["../../src/ontology/tokens.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,wBAAwB,EAE9B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AAE/D,OAAO,CAAC,MAAM,kBAAkB,EAAE,OAAO,MAAM,CAAA;AAC/C,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAA;AAE3C;;;;GAIG;AACH,MAAM,MAAM,aAAa,CACvB,aAAa,SAAS,MAAM,GAAG,MAAM,EACrC,WAAW,SAAS,MAAM,GAAG,MAAM,EACnC,SAAS,SAAS,QAAQ,GAAG,QAAQ,IACnC;IACF,QAAQ,CAAC,CAAC,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAA;IACrC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAA;IACpC,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,gBAAgB,CAAC,WAAW,SAAS,UAAU,IAAI;IAC7D,QAAQ,EAAE,CAAC,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,aAAa,CACzE,WAAW,CAAC,IAAI,CAAC,EACjB,CAAC,CAAC,IAAI,CAAC,EACP,CAAC,CACF;CACF,CAAA;AAED,MAAM,MAAM,SAAS,CACnB,aAAa,SAAS,MAAM,GAAG,MAAM,EACrC,OAAO,SAAS,MAAM,GAAG,MAAM,EAC/B,mBAAmB,SAAS,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,MAAM,GAAG,SAAS,MAAM,EAAE,EACnF,KAAK,SAAS,UAAU,GAAG,UAAU,IACnC;IACF,QAAQ,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,CAAA;IACjC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAA;IACpC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAA;IAChD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACrB,GAAG,wBAAwB,CAAC,aAAa,EAAE,OAAO,EAAE,mBAAmB,CAAC,CAAA;AAEzE,MAAM,MAAM,YAAY,CAAC,WAAW,SAAS,UAAU,IAAI;IACzD,QAAQ,EAAE,CAAC,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAChE,WAAW,CAAC,IAAI,CAAC,EACjB,CAAC,CAAC,IAAI,CAAC,EACP,CAAC,CAAC,oBAAoB,CAAC,EACvB,CAAC,CACF;CACF,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,4BAA4B,CAAC,WAAW,SAAS,UAAU,GAAG,UAAU,IAClF,WAAW,GAAG;IACZ,QAAQ,CAAC,CAAC,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAA;CAC1C,CAAA;AAEH;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAAC,WAAW,SAAS,UAAU,GAAG,UAAU,IAC1E,4BAA4B,CAAC,WAAW,CAAC,GAAG;IAC1C,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC,WAAW,CAAC,CAAA;CACtC,CAAA;AAEH;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,WAAW,SAAS,UAAU,EACnE,UAAU,EAAE,WAAW,GACtB,gBAAgB,CAAC,WAAW,CAAC,CAW/B;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,WAAW,SAAS,UAAU,EAC/D,UAAU,EAAE,WAAW,GACtB,YAAY,CAAC,WAAW,CAAC,CAmB3B"}
+{"version":3,"file":"tokens.d.ts","sourceRoot":"","sources":["../../src/ontology/tokens.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,EAEL,KAAK,wBAAwB,EAE9B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AAE/D,OAAO,CAAC,MAAM,kBAAkB,EAAE,OAAO,MAAM,CAAA;AAC/C,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAA;AAC3C,OAAO,CAAC,MAAM,qBAAqB,EAAE,OAAO,MAAM,CAAA;AAElD;;;;GAIG;AACH,MAAM,MAAM,aAAa,CACvB,aAAa,SAAS,MAAM,GAAG,MAAM,EACrC,WAAW,SAAS,MAAM,GAAG,MAAM,EACnC,SAAS,SAAS,QAAQ,GAAG,QAAQ,IACnC;IACF,QAAQ,CAAC,CAAC,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAA;IACrC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAA;IACpC,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,gBAAgB,CAAC,WAAW,SAAS,UAAU,IAAI;IAC7D,QAAQ,EAAE,CAAC,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,aAAa,CACzE,WAAW,CAAC,IAAI,CAAC,EACjB,CAAC,CAAC,IAAI,CAAC,EACP,CAAC,CACF;CACF,CAAA;AAED,MAAM,MAAM,SAAS,CACnB,aAAa,SAAS,MAAM,GAAG,MAAM,EACrC,OAAO,SAAS,MAAM,GAAG,MAAM,EAC/B,mBAAmB,SAAS,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,MAAM,GAAG,SAAS,MAAM,EAAE,EACnF,KAAK,SAAS,UAAU,GAAG,UAAU,IACnC;IACF,QAAQ,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,CAAA;IACjC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAA;IACpC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAA;IAChD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACrB,GAAG,wBAAwB,CAAC,aAAa,EAAE,OAAO,EAAE,mBAAmB,CAAC,CAAA;AAEzE,MAAM,MAAM,YAAY,CAAC,WAAW,SAAS,UAAU,IAAI;IACzD,QAAQ,EAAE,CAAC,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAChE,WAAW,CAAC,IAAI,CAAC,EACjB,CAAC,CAAC,IAAI,CAAC,EACP,CAAC,CAAC,oBAAoB,CAAC,EACvB,CAAC,CACF;CACF,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,4BAA4B,CAAC,WAAW,SAAS,UAAU,GAAG,UAAU,IAClF,WAAW,GAAG;IACZ,QAAQ,CAAC,CAAC,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAA;CAC1C,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAA;AAE3C;;;;;GAKG;AACH,MAAM,MAAM,wBAAwB,CAAC,WAAW,SAAS,UAAU,IAAI;IACrE,QAAQ,CAAC,CAAC,qBAAqB,CAAC,CAAC,EAAE,MAAM,SAAS,WAAW,CAAC,IAAI,CAAC,GAC/D;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAChD,uBAAuB,CAAC,WAAW,CAAC,CAAA;CACzC,CAAA;AAED;;;;;;;;;GASG;AACH,UAAU,uBAAuB,CAAC,EAAE,CAAC,GAAG,CAAC,WAAW,SAAS,UAAU;IACrE,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC,WAAW,CAAC,CAAA;CACxD;AAED;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAAC,WAAW,SAAS,4BAA4B,IAAI,WAAW,CAC9F,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAC1C,CAAC,YAAY,CAAC,CAAA;AAEf;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAAC,WAAW,SAAS,UAAU,GAAG,UAAU,IAC1E,4BAA4B,CAAC,WAAW,CAAC,GAAG;IAC1C,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC,WAAW,CAAC,CAAA;CACtC,CAAA;AAEH;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,WAAW,SAAS,UAAU,EACnE,UAAU,EAAE,WAAW,GACtB,gBAAgB,CAAC,WAAW,CAAC,CAW/B;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,WAAW,SAAS,UAAU,EAC/D,UAAU,EAAE,WAAW,GACtB,YAAY,CAAC,WAAW,CAAC,CAmB3B"}

package/dist/ontology/types.d.ts

@@ -8,6 +8,7 @@
  *
  * This file defines the value-shape side of that model.
  */
+import type { EmbeddingModelRef } from "../models/embedding-model";
 import type { QuantitativeTypeId } from "./units";
 /**
  * Atomic scalar values used by properties and nested fields.
@@ -19,14 +20,20 @@ import type { QuantitativeTypeId } from "./units";
  * - `"uuid"` for an external system identifier.
  * - `"timestamp"` for `lastObservedAt`.
  * - `"fileRef"` for blob-backed documents, images, and attachments.
+ * - `"userRef"` for a Sixb user, such as a task's assignee (author it with `ref.user()`).
  * - `"double"` for telemetry such as temperature or humidity.
  */
-export type PrimitiveSchema = "string" | "integer" | "double" | "decimal" | "boolean" | "date" | "timestamp" | "uuid" | "fileRef";
+export type PrimitiveSchema = "string" | "integer" | "double" | "decimal" | "boolean" | "date" | "timestamp" | "uuid" | "fileRef" | "userRef";
 export interface ValueTypeRefSchema {
     type: "valueTypeRef";
     valueTypeId: string;
     /** Type-level: fully resolved schema for direct inference. Populated by codegen. */
     _resolved?: Schema;
+    /**
+     * The referenced value type's `semanticType`, carried next to `_resolved` so a value type that
+     * is registered only through this ref keeps its unit constraint. Populated by `valueTypeRef(VT)`.
+     */
+    _semanticType?: QuantitativeTypeId;
 }
 /**
  * Enumeration of allowed values.
@@ -176,8 +183,6 @@ export interface PropertyQueryMetadata {
     exact?: boolean;
     /** Enables faceting/grouping in search results. */
     facet?: boolean;
-    /** Enables vector search when the property stores numeric embedding arrays. */
-    vector?: boolean;
     /** Relative text-search weight. Only meaningful with `text: true`. */
     weight?: number;
 }
@@ -187,20 +192,20 @@ export interface PropertyQueryMetadata {
  * Search profiles decide which fields a global or type-scoped search uses.
  * Primary ids remain exact-matchable even if omitted here.
  */
+export interface ObjectVectorSearchProfile {
+    /** Ordered text sources. Sixb prepares their input deterministically. */
+    readonly source: readonly string[];
+    readonly model: EmbeddingModelRef;
+}
 export interface ObjectTypeSearchMetadata {
+    /** Independent named representations; each query targets exactly one profile. */
+    readonly vectors?: Readonly<Record<string, ObjectVectorSearchProfile>>;
     /** Display/title property used in search results. */
     title?: string;
     /** Default keyword-search fields for this object type. */
     defaultText?: readonly string[];
     /** Exact-match fields such as external ids, slugs, or emails. */
     exact?: readonly string[];
-    /** Vector-search configuration for semantic retrieval. */
-    vector?: {
-        /** Property that stores the embedding vector. */
-        property: string;
-        /** Source text properties used to produce the embedding. */
-        source: readonly string[];
-    };
 }
 /**
  * Attribute on an `ObjectType` (or on a relationship via `ObjectLink.properties`).
@@ -379,12 +384,20 @@ export interface ObjectType {
  * Ambient id-to-object-type index for app ontology definitions.
  *
  * Sixb generates a `.sixb/types/ontology.d.ts` module augmentation that adds
- * entries here, letting client-side query types resolve string link targets
- * like `"Customer"` to the exported `Customer` object type without changing the
- * runtime ontology shape.
+ * entries here. Every typed surface — `sixb.objects(...)`, Action reads, the
+ * client query builder — resolves string link targets like `"Customer"` through
+ * it, without changing the runtime ontology shape.
  */
 export interface SixbObjectTypeMap {
 }
+/**
+ * Ambient id-to-value-type index, generated alongside {@link SixbObjectTypeMap}.
+ *
+ * It types properties declared with a string-only `valueTypeRef("id")`, whose
+ * schema is not carried by the reference itself.
+ */
+export interface SixbValueTypeMap {
+}
 /**
  * Root ontology document for object type modeling.
  *

package/dist/ontology/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ontology/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAA;AAEjD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,eAAe,GACvB,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,SAAS,GACT,SAAS,GACT,MAAM,GACN,WAAW,GACX,MAAM,GACN,SAAS,CAAA;AAEb,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,cAAc,CAAA;IACpB,WAAW,EAAE,MAAM,CAAA;IACnB,oFAAoF;IACpF,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAAA;AAE5D;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,kBAAkB,CAAA;IACjC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,MAAM,EAAE,MAAM,CAAA;CACf;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,QAAQ,CAAA;IACd,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;CAC9C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;CACd;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,KAAK,CAAA;IACX,SAAS,EAAE,QAAQ,CAAA;IACnB,WAAW,EAAE,MAAM,CAAA;CACpB;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GAAG,YAAY,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,CAAA;AAC/E,MAAM,MAAM,MAAM,GAAG,eAAe,GAAG,aAAa,GAAG,kBAAkB,CAAA;AAEzE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,MAAM,CAAA;IACd;;;;;OAKG;IACH,YAAY,CAAC,EAAE,kBAAkB,CAAA;CAClC;AAED;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,uFAAuF;IACvF,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,kEAAkE;IAClE,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,uDAAuD;IACvD,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,2EAA2E;IAC3E,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,qDAAqD;IACrD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,mDAAmD;IACnD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,+EAA+E;IAC/E,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,sEAAsE;IACtE,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB;IACvC,qDAAqD;IACrD,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,0DAA0D;IAC1D,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC/B,iEAAiE;IACjE,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACzB,0DAA0D;IAC1D,MAAM,CAAC,EAAE;QACP,iDAAiD;QACjD,QAAQ,EAAE,MAAM,CAAA;QAChB,4DAA4D;QAC5D,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;KAC1B,CAAA;CACF;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;;;;;;;;OAQG;IACH,OAAO,CAAC,EAAE,IAAI,CAAA;IACd;;;;;;;;OAQG;IACH,IAAI,CAAC,EAAE,YAAY,CAAA;IACnB;;;;;;;;OAQG;IACH,YAAY,CAAC,EAAE,kBAAkB,CAAA;IACjC,iDAAiD;IACjD,KAAK,CAAC,EAAE,qBAAqB,CAAA;CAC9B;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,WAAW,CAAA;AAEjD,MAAM,MAAM,eAAe,GAAG,KAAK,GAAG,MAAM,CAAA;AAE5C;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,kBAAkB,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IACrC,qEAAqE;IACrE,WAAW,CAAC,EAAE,eAAe,CAAA;IAC7B,gEAAgE;IAChE,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAA;CACxB;AAED,OAAO,CAAC,MAAM,yBAAyB,EAAE,OAAO,MAAM,CAAA;AAEtD;;;;;;GAMG;AACH,MAAM,MAAM,wBAAwB,CAAC,OAAO,IAAI;IAC9C,QAAQ,CAAC,CAAC,yBAAyB,CAAC,CAAC,EAAE,OAAO,CAAA;CAC/C,CAAA;AAED,MAAM,MAAM,oBAAoB,CAAC,KAAK,IAAI,OAAO,yBAAyB,SAAS,MAAM,KAAK,GAC1F,KAAK,SAAS,wBAAwB,CAAC,MAAM,OAAO,CAAC,GACnD,OAAO,GACP,KAAK,GACP,KAAK,CAAA;AAET;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,QAAQ,EAAE,CAAA;IACtB,KAAK,EAAE,UAAU,EAAE,CAAA;CACpB;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,CAAC,EAAE,MAAM,CAAA;IAEpB;;;OAGG;IACH,YAAY,CAAC,EAAE,kBAAkB,CAAA;IAEjC,gDAAgD;IAChD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAElB,uFAAuF;IACvF,OAAO,CAAC,EAAE,MAAM,CAAA;IAEhB;;;;;;;;;OASG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAElB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IAErB,UAAU,EAAE,QAAQ,EAAE,CAAA;IACtB,KAAK,EAAE,UAAU,EAAE,CAAA;IACnB,2CAA2C;IAC3C,MAAM,CAAC,EAAE,wBAAwB,CAAA;CAClC;AAED;;;;;;;GAOG;AAEH,MAAM,WAAW,iBAAiB;CAAG;AAErC;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,MAAM,CAAA;IACf,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB,UAAU,EAAE,SAAS,EAAE,CAAA;CACxB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ontology/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAClE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAA;AAEjD;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,eAAe,GACvB,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,SAAS,GACT,SAAS,GACT,MAAM,GACN,WAAW,GACX,MAAM,GACN,SAAS,GACT,SAAS,CAAA;AAEb,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,cAAc,CAAA;IACpB,WAAW,EAAE,MAAM,CAAA;IACnB,oFAAoF;IACpF,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB;;;OAGG;IACH,aAAa,CAAC,EAAE,kBAAkB,CAAA;CACnC;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAAA;AAE5D;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,kBAAkB,CAAA;IACjC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,MAAM,EAAE,MAAM,CAAA;CACf;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,QAAQ,CAAA;IACd,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;CAC9C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;CACd;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,KAAK,CAAA;IACX,SAAS,EAAE,QAAQ,CAAA;IACnB,WAAW,EAAE,MAAM,CAAA;CACpB;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GAAG,YAAY,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,CAAA;AAC/E,MAAM,MAAM,MAAM,GAAG,eAAe,GAAG,aAAa,GAAG,kBAAkB,CAAA;AAEzE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,MAAM,CAAA;IACd;;;;;OAKG;IACH,YAAY,CAAC,EAAE,kBAAkB,CAAA;CAClC;AAED;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,uFAAuF;IACvF,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,kEAAkE;IAClE,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,uDAAuD;IACvD,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,2EAA2E;IAC3E,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,qDAAqD;IACrD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,mDAAmD;IACnD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,sEAAsE;IACtE,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED;;;;;GAKG;AACH,MAAM,WAAW,yBAAyB;IACxC,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAA;CAClC;AAED,MAAM,WAAW,wBAAwB;IACvC,iFAAiF;IACjF,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC,CAAA;IACtE,qDAAqD;IACrD,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,0DAA0D;IAC1D,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC/B,iEAAiE;IACjE,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAC1B;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;;;;;;;;OAQG;IACH,OAAO,CAAC,EAAE,IAAI,CAAA;IACd;;;;;;;;OAQG;IACH,IAAI,CAAC,EAAE,YAAY,CAAA;IACnB;;;;;;;;OAQG;IACH,YAAY,CAAC,EAAE,kBAAkB,CAAA;IACjC,iDAAiD;IACjD,KAAK,CAAC,EAAE,qBAAqB,CAAA;CAC9B;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,WAAW,CAAA;AAEjD,MAAM,MAAM,eAAe,GAAG,KAAK,GAAG,MAAM,CAAA;AAE5C;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,kBAAkB,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IACrC,qEAAqE;IACrE,WAAW,CAAC,EAAE,eAAe,CAAA;IAC7B,gEAAgE;IAChE,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAA;CACxB;AAED,OAAO,CAAC,MAAM,yBAAyB,EAAE,OAAO,MAAM,CAAA;AAEtD;;;;;;GAMG;AACH,MAAM,MAAM,wBAAwB,CAAC,OAAO,IAAI;IAC9C,QAAQ,CAAC,CAAC,yBAAyB,CAAC,CAAC,EAAE,OAAO,CAAA;CAC/C,CAAA;AAED,MAAM,MAAM,oBAAoB,CAAC,KAAK,IAAI,OAAO,yBAAyB,SAAS,MAAM,KAAK,GAC1F,KAAK,SAAS,wBAAwB,CAAC,MAAM,OAAO,CAAC,GACnD,OAAO,GACP,KAAK,GACP,KAAK,CAAA;AAET;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,QAAQ,EAAE,CAAA;IACtB,KAAK,EAAE,UAAU,EAAE,CAAA;CACpB;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,CAAC,EAAE,MAAM,CAAA;IAEpB;;;OAGG;IACH,YAAY,CAAC,EAAE,kBAAkB,CAAA;IAEjC,gDAAgD;IAChD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAElB,uFAAuF;IACvF,OAAO,CAAC,EAAE,MAAM,CAAA;IAEhB;;;;;;;;;OASG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAElB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IAErB,UAAU,EAAE,QAAQ,EAAE,CAAA;IACtB,KAAK,EAAE,UAAU,EAAE,CAAA;IACnB,2CAA2C;IAC3C,MAAM,CAAC,EAAE,wBAAwB,CAAA;CAClC;AAED;;;;;;;GAOG;AAEH,MAAM,WAAW,iBAAiB;CAAG;AAErC;;;;;GAKG;AAEH,MAAM,WAAW,gBAAgB;CAAG;AAEpC;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,MAAM,CAAA;IACf,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB,UAAU,EAAE,SAAS,EAAE,CAAA;CACxB"}

package/dist/ontology/user-ref.d.ts

@@ -0,0 +1,35 @@
+import type { Principal } from "../auth/types";
+import type { UserStatus } from "../storage/auth/types";
+import type { Schema, ValueType } from "./types";
+/**
+ * Value of a `ref.user()` (`"userRef"`) schema: the principal shape, narrowed to users.
+ *
+ * It carries no display data on purpose: a name or avatar supplied by the writer would be
+ * spoofable. It grants or restricts nothing by itself either; only an explicit policy gives it a
+ * security meaning.
+ */
+export type UserRef = Extract<Principal, {
+    readonly type: "user";
+}>;
+/**
+ * Build a reference to one user, for writes and query predicates:
+ * `where(({ p }) => p.assignee.eq(userRef(userId)))`.
+ */
+export declare function userRef(id: string): UserRef;
+/** Exactly `{ type: "user", id }` with a nonblank id and no other field. */
+export declare function isUserRef(value: unknown): value is UserRef;
+/**
+ * Collect the user ids a value holds at `userRef` positions of its schema, however deeply nested.
+ *
+ * Positions whose value does not match the schema are skipped: shape validation reports them.
+ */
+export declare function collectUserRefIds(schema: Schema, value: unknown, valueTypesById: ReadonlyMap<string, ValueType>, into: Set<string>, seenValueTypeIds?: ReadonlySet<string>): Set<string>;
+/**
+ * Why `path` cannot newly reference user `id`, or `undefined` when it can.
+ *
+ * `status` is the user's status, `null` for an unknown id, or `"unverifiable"` without auth
+ * storage. Unknown and suspended users get distinct messages: the writer already holds the id, and
+ * telling "wrong id" from "suspended member" is what makes the error actionable.
+ */
+export declare function userReferenceProblem(path: string, id: string, status: UserStatus | null | "unverifiable"): string | undefined;
+//# sourceMappingURL=user-ref.d.ts.map

package/dist/ontology/user-ref.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-ref.d.ts","sourceRoot":"","sources":["../../src/ontology/user-ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAEvD,OAAO,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAEhD;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAEnE;;;GAGG;AACH,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAK3C;AAED,4EAA4E;AAC5E,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,OAAO,CAS1D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,EAC9C,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EACjB,gBAAgB,GAAE,WAAW,CAAC,MAAM,CAAa,GAChD,GAAG,CAAC,MAAM,CAAC,CA2Cb;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,EACV,MAAM,EAAE,UAAU,GAAG,IAAI,GAAG,cAAc,GACzC,MAAM,GAAG,SAAS,CAWpB"}