@jarenjs/linq 0.67.0 → 0.72.0

package/types/message-vocabulary.d.ts

@@ -0,0 +1,96 @@
+// Derived from the English catalogs by scripts/generate-message-pen.js.
+export interface CatalogIds {
+  validate: "type" | "required" | "minimum" | "maximum" | "exclusiveMinimum" | "exclusiveMaximum" | "multipleOf" | "minLength" | "maxLength" | "pattern" | "additionalProperties" | "minProperties" | "maxProperties" | "minItems" | "maxItems" | "uniqueItems" | "contains" | "items" | "allOf" | "anyOf" | "oneOf" | "not" | "format" | "if" | "then" | "else" | "false schema" | "$query" | "JQ2001" | "JQ2003";
+  forms: "form/required" | "form/type" | "form/const" | "form/enum" | "form/minLength" | "form/maxLength" | "form/pattern" | "form/format" | "form/minimum" | "form/maximum" | "form/exclusiveMinimum" | "form/exclusiveMaximum" | "form/multipleOf" | "form/minItems" | "form/maxItems" | "form/uniqueItems" | "form/minProperties" | "form/maxProperties" | "x-form/assert" | "form/addItem" | "form/removeItem";
+  contract: "contract/not-found" | "contract/method-not-allowed" | "contract/body-too-large" | "contract/unsupported-media" | "contract/malformed-json" | "contract/invalid-input" | "contract/idempotency-key-required" | "contract/handler-failed" | "contract/idempotency-conflict" | "contract/invalid-output" | "contract/malformed-path" | "contract/malformed-query" | "contract/not-implemented" | "contract/precondition-failed" | "contract/invalid-header" | "contract/handler-error" | "contract/client-invalid-input" | "contract/network" | "contract/cancelled" | "contract/invalid-response" | "contract/key-storage-failed" | "contract/undeclared-response" | "contract/not-a-contract" | "contract/incompatible" | "contract/host-failed" | "contract/local-handler-failed" | "contract/unknown-operation" | "contract/port-timeout" | "contract/malformed-frame" | "contract/channel-closed" | "contract/not-a-stream" | "contract/invalid-snapshot" | "contract/seq-regression" | "contract/stream-error" | "contract/heartbeat-missed" | "contract/slow-consumer" | "contract/reconnect-exhausted";
+}
+export interface MessageParameters {
+  "type": "type" | "types";
+  "required": "missingProperty";
+  "minimum": "comparison" | "limit";
+  "maximum": "comparison" | "limit";
+  "exclusiveMinimum": "comparison" | "limit";
+  "exclusiveMaximum": "comparison" | "limit";
+  "multipleOf": "multipleOf";
+  "minLength": "limit";
+  "maxLength": "limit";
+  "pattern": "pattern";
+  "additionalProperties": "additionalProperty";
+  "minProperties": "limit";
+  "maxProperties": "limit";
+  "minItems": "limit";
+  "maxItems": "limit";
+  "uniqueItems": never;
+  "contains": never;
+  "items": never;
+  "allOf": never;
+  "anyOf": never;
+  "oneOf": never;
+  "not": never;
+  "format": "format";
+  "if": never;
+  "then": never;
+  "else": never;
+  "false schema": never;
+  "$query": "code" | "docPath";
+  "JQ2001": "code" | "docPath";
+  "JQ2003": "code" | "docPath";
+  "form/required": never;
+  "form/type": "type";
+  "form/const": "constValue";
+  "form/enum": "enumValues";
+  "form/minLength": "len" | "limit";
+  "form/maxLength": "len" | "limit";
+  "form/pattern": "pattern";
+  "form/format": "format";
+  "form/minimum": "limit";
+  "form/maximum": "limit";
+  "form/exclusiveMinimum": "limit";
+  "form/exclusiveMaximum": "limit";
+  "form/multipleOf": "multipleOf";
+  "form/minItems": "limit";
+  "form/maxItems": "limit";
+  "form/uniqueItems": never;
+  "form/minProperties": "limit";
+  "form/maxProperties": "limit";
+  "x-form/assert": never;
+  "form/addItem": never;
+  "form/removeItem": never;
+  "contract/not-found": never;
+  "contract/method-not-allowed": "allow";
+  "contract/body-too-large": "limit" | "op";
+  "contract/unsupported-media": "media" | "op";
+  "contract/malformed-json": "op";
+  "contract/invalid-input": "op";
+  "contract/idempotency-key-required": "op";
+  "contract/handler-failed": "op";
+  "contract/idempotency-conflict": "kind" | "op";
+  "contract/invalid-output": "op";
+  "contract/malformed-path": never;
+  "contract/malformed-query": never;
+  "contract/not-implemented": "op";
+  "contract/precondition-failed": "op";
+  "contract/invalid-header": "header" | "op";
+  "contract/handler-error": "code" | "op";
+  "contract/client-invalid-input": "op";
+  "contract/network": "name" | "op";
+  "contract/cancelled": "op";
+  "contract/invalid-response": "op";
+  "contract/key-storage-failed": "op";
+  "contract/undeclared-response": "op" | "status";
+  "contract/not-a-contract": "id";
+  "contract/incompatible": "client" | "id" | "server";
+  "contract/host-failed": "op";
+  "contract/local-handler-failed": "op";
+  "contract/unknown-operation": never;
+  "contract/port-timeout": "ms" | "op";
+  "contract/malformed-frame": "op";
+  "contract/channel-closed": "op";
+  "contract/not-a-stream": "op";
+  "contract/invalid-snapshot": "op";
+  "contract/seq-regression": "op";
+  "contract/stream-error": "code" | "op";
+  "contract/heartbeat-missed": "ms" | "op";
+  "contract/slow-consumer": "op";
+  "contract/reconnect-exhausted": "attempts" | "lastCode" | "op";
+}

package/types/messages.d.ts

@@ -0,0 +1,32 @@
+import type { Json } from './schema.js';
+import type { CatalogIds, MessageParameters } from './message-vocabulary.js';
+export type { CatalogIds, MessageParameters } from './message-vocabulary.js';
+export type CatalogSource = keyof CatalogIds | 'all';
+export type Msgid<S extends CatalogSource = 'all'> = S extends keyof CatalogIds ? CatalogIds[S] : keyof MessageParameters;
+export type CatalogDocument<I extends string = Msgid> = Readonly<Record<I, string>>;
+type Present<D> = string extends keyof D ? never : {
+  [K in keyof D]-?: {} extends Pick<D, K> ? never : K
+}[keyof D] & string;
+// A union-valued id adds one unknown member, not every member of that union.
+type SingleId<I, Whole = I> = I extends unknown ? [Whole] extends [I] ? I : never : never;
+export const CATALOGS: { readonly [S in keyof CatalogIds]: { readonly [I in CatalogIds[S]]: readonly (I extends keyof MessageParameters ? MessageParameters[I] : never)[] } };
+export class CatalogBuilder<S extends CatalogSource = 'all', P extends string = never> {
+  protected constructor();
+  readonly __source: S;
+  readonly __present: P;
+  entry<I extends Msgid<S>>(id: I, template: string): CatalogBuilder<S, P | SingleId<I>>;
+  entries<const D extends Partial<Record<Msgid<S>, string>>>(values: D & Record<Exclude<keyof D, Msgid<S>>, never>): CatalogBuilder<S, P | Present<D>>;
+  partial(): CatalogDocument<P>;
+  complete(this: Exclude<Msgid<S>, P> extends never ? CatalogBuilder<S, P> : never): CatalogDocument<Msgid<S>>;
+  toJSON(this: Exclude<Msgid<S>, P> extends never ? CatalogBuilder<S, P> : never): CatalogDocument<Msgid<S>>;
+}
+export function catalog<S extends CatalogSource = 'all'>(source?: S, locale?: string): CatalogBuilder<S>;
+/** Raw drafts remain subject to runtime key/placeholder checks at either exit. */
+export function from<const D extends Record<string, string>, S extends CatalogSource = 'all'>(document: D, options?: { readonly source?: S; readonly locale?: string }): CatalogBuilder<S, Present<D>>;
+export function inline(template: string): string;
+export interface MessageSpec<I extends Msgid = Msgid> {
+  readonly $msgid: I;
+  readonly message?: string;
+  readonly params?: [MessageParameters[I]] extends [never] ? Readonly<Record<string, never>> : Readonly<Partial<Record<MessageParameters[I], Json>>>;
+}
+export function message<I extends Msgid>(id: I, options?: Omit<MessageSpec<I>, '$msgid'>): MessageSpec<I>;

package/types/project.d.ts

@@ -0,0 +1,45 @@
+/** Structural JSON input: readonly documents and schema interfaces participate.
+ * Unknown schema extension members still cross the runtime JSON boundary. */
+type JsonData = string | number | boolean | null | readonly JsonData[] | { readonly [key: string]: JsonData };
+export type JsonInput<T> = unknown extends T ? unknown
+  : T extends JsonData ? T
+    : T extends (...args: never[]) => unknown ? never
+      : T extends object ? { readonly [K in keyof T]: JsonInput<T[K]> } : never;
+
+export type FileKind = 'app' | 'jslt' | 'query' | 'state' | 'data' | 'schema' | 'fsm' | 'dag' | 'model' | 'contract';
+export interface ProjectFile<Name extends string = string, Kind extends FileKind = FileKind> {
+  readonly name: Name;
+  readonly kind: Kind;
+  readonly text: string;
+}
+export interface ProjectLayout {
+  readonly mode?: 'classic' | 'right' | 'top';
+  readonly ratio?: number;
+  readonly autorun?: boolean;
+}
+export interface ProjectDocument {
+  readonly project: '0.1';
+  readonly files: readonly ProjectFile[];
+  readonly active?: string;
+  readonly layout?: ProjectLayout;
+}
+export const FILE_KINDS: readonly FileKind[];
+export function file<const N extends string, K extends FileKind>(name: N, kind: K, text: string): ProjectFile<N, K>;
+export function jsonFile<const N extends string, K extends FileKind, const D>(name: N, kind: K, document: D & JsonInput<D>): ProjectFile<N, K>;
+/** Names are a phantom; the public document has no extra registry. */
+export class ProjectBuilder<Names extends string = never> {
+  protected constructor();
+  readonly __names: Names;
+  readonly schema: ProjectDocument;
+  toJSON(): ProjectDocument;
+  files<const F extends readonly ProjectFile[]>(files: F): ProjectBuilder<F[number]['name']>;
+  file<const N extends string>(file: ProjectFile<N>): ProjectBuilder<Names | N>;
+  active(name: Names): ProjectBuilder<Names>;
+  layout(layout: ProjectLayout): ProjectBuilder<Names>;
+}
+export function defineProject<const F extends readonly ProjectFile[] = []>(files?: F, options?: {
+  readonly active?: F[number]['name'];
+  readonly layout?: ProjectLayout;
+}): ProjectBuilder<F[number]['name']>;
+/** No filename inference is claimed for an arbitrary raw document. */
+export function from(document: ProjectDocument): ProjectBuilder<string>;

package/types/schema.d.ts

@@ -161,6 +161,42 @@ export class SchemaBuilder<Out = unknown, In = Out, F extends Flag = never> {
   readonly schema: JsonSchema | boolean;
   /** `JSON.stringify(builder)` is the document. */
   toJSON(): JsonSchema | boolean;
+  /** `$id`: resource identity; the phantom is unchanged. */
+  id(uri: string): this;
+  /** Raw constraint escape hatch, without inferred narrowing. */
+  keyword(key: string, value: Json): this;
+  /** Validation or annotation only; retains the current phantom. */
+  anchor(value: string): this;
+  /** Validation or annotation only; retains the current phantom. */
+  dynamicRef(value: string): this;
+  /** Validation or annotation only; retains the current phantom. */
+  dynamicAnchor(value: string): this;
+  /** Validation or annotation only; retains the current phantom. */
+  recursiveRef(value: string): this;
+  /** Validation or annotation only; retains the current phantom. */
+  recursiveAnchor(value: boolean): this;
+  /** Validation or annotation only; retains the current phantom. */
+  dollarData(value: string): this;
+  /** Validation or annotation only; retains the current phantom. */
+  vocabulary(value: Readonly<Record<string, boolean>>): this;
+  /** Validation or annotation only; retains the current phantom. */
+  data(value: Readonly<Record<string, string>>): this;
+  /** Validation or annotation only; retains the current phantom. */
+  not(value: AnyBuilder): this;
+  /** Validation or annotation only; retains the current phantom. */
+  unevaluatedProperties(value: AnyBuilder): this;
+  /** Validation or annotation only; retains the current phantom. */
+  unevaluatedItems(value: AnyBuilder): this;
+  /** Validation or annotation only; retains the current phantom. */
+  dependentSchemas(value: Props): this;
+  /** Validation or annotation only; retains the current phantom. */
+  definitions(value: Props): this;
+  /** Validation or annotation only; retains the current phantom. */
+  additionalItems(value: AnyBuilder): this;
+  /** Validation or annotation only; retains the current phantom. */
+  dependencies(value: Readonly<Record<string, AnyBuilder | readonly string[]>>): this;
+  /** Legacy nullable may widen acceptance; no inferred shape is claimed. */
+  legacyNullable(value: boolean): SchemaBuilder<unknown, unknown, F>;
   /** As an object member: left out of `required`. */
   optional(): SchemaBuilder<Out, In, F | 'optional'>;
   /** Admit `null`. */
@@ -183,6 +219,20 @@ export class SchemaBuilder<Out = unknown, In = Out, F extends Flag = never> {
 
 /** `{ type: 'string' }` and the string constraints. */
 export class StringBuilder<Out = string, In = Out, F extends Flag = never> extends SchemaBuilder<Out, In, F> {
+  /** `contentEncoding`; retains the current phantom. */
+  contentEncoding(value: string): this;
+  /** `contentMediaType`; retains the current phantom. */
+  contentMediaType(value: string): this;
+  /** `contentSchema`; retains the current phantom. */
+  contentSchema(value: AnyBuilder): this;
+  /** `formatMinimum`; retains the current phantom. */
+  formatMinimum(value: string): this;
+  /** `formatMaximum`; retains the current phantom. */
+  formatMaximum(value: string): this;
+  /** `formatExclusiveMinimum`; retains the current phantom. */
+  formatExclusiveMinimum(value: string): this;
+  /** `formatExclusiveMaximum`; retains the current phantom. */
+  formatExclusiveMaximum(value: string): this;
   optional(): StringBuilder<Out, In, F | 'optional'>;
   nullable(): StringBuilder<Out | null, In | null, F>;
   default(value: Out): StringBuilder<Out, In, F | 'defaulted'>;
@@ -254,6 +304,10 @@ declare class NullBuilder<Out = null, In = Out, F extends Flag = never> extends
 
 /** `{ type: 'array', items }` and the array constraints. */
 export class ArrayBuilder<Out = unknown[], In = Out, F extends Flag = never> extends SchemaBuilder<Out, In, F> {
+  /** `minContains`; retains the current phantom. */
+  minContains(value: number): this;
+  /** `maxContains`; retains the current phantom. */
+  maxContains(value: number): this;
   optional(): ArrayBuilder<Out, In, F | 'optional'>;
   nullable(): ArrayBuilder<Out | null, In | null, F>;
   default(value: Out): ArrayBuilder<Out, In, F | 'defaulted'>;