@nanobpm/urban 0.28.0 → 0.30.0

package/dist/openapi/spec.d.ts

@@ -0,0 +1,127 @@
+/** A JSON Schema (the OpenAPI subset we read). Kept structural and permissive — unknown keywords
+ *  are ignored by the validator and fall back to `unknown` in the type emitter. */
+export interface OpenApiSchema {
+    $ref?: string;
+    type?: string;
+    nullable?: boolean;
+    enum?: unknown[];
+    const?: unknown;
+    format?: string;
+    properties?: Record<string, OpenApiSchema>;
+    required?: string[];
+    additionalProperties?: boolean | OpenApiSchema;
+    items?: OpenApiSchema;
+    minItems?: number;
+    maxItems?: number;
+    minLength?: number;
+    maxLength?: number;
+    pattern?: string;
+    minimum?: number;
+    maximum?: number;
+    exclusiveMinimum?: number | boolean;
+    exclusiveMaximum?: number | boolean;
+    allOf?: OpenApiSchema[];
+    oneOf?: OpenApiSchema[];
+    anyOf?: OpenApiSchema[];
+    description?: string;
+}
+/**
+ * Whether a schema describes an object shape. OpenAPI/JSON-Schema let the `type`
+ * keyword be omitted when `properties`/`required`/`additionalProperties` already imply
+ * an object. The type emitter (`schemaToTs`) and the runtime validator (`validateValue`)
+ * both route object detection through this single predicate so they never drift — a body
+ * the emitted type calls an object is the same body the validator shape-checks.
+ */
+export declare function isObjectSchema(schema: OpenApiSchema): boolean;
+export interface OpenApiParameter {
+    name: string;
+    in: "path" | "query" | "header" | "cookie";
+    required?: boolean;
+    schema?: OpenApiSchema;
+}
+export interface OpenApiMediaType {
+    schema?: OpenApiSchema;
+}
+export interface OpenApiRequestBody {
+    required?: boolean;
+    content?: Record<string, OpenApiMediaType>;
+}
+export interface OpenApiResponse {
+    description?: string;
+    content?: Record<string, OpenApiMediaType>;
+}
+export interface OpenApiDoc {
+    openapi?: string;
+    info?: {
+        title?: string;
+        version?: string;
+    };
+    paths?: Record<string, Record<string, unknown>>;
+    components?: {
+        schemas?: Record<string, OpenApiSchema>;
+    };
+}
+/** The HTTP methods we mount, lowercase as they appear as path-item keys. */
+export declare const HTTP_METHODS: readonly ["get", "put", "post", "delete", "patch", "options", "head"];
+export type HttpMethodLower = (typeof HTTP_METHODS)[number];
+/** One resolved operation: its id, method, path, parameters, request body schema, and responses.
+ *  This is the shared unit both the deriver (→ types) and the runtime (→ routes) consume. */
+export interface OperationInfo {
+    operationId: string;
+    method: HttpMethodLower;
+    /** The OpenAPI path template, e.g. "/invoices/{id}". */
+    path: string;
+    parameters: OpenApiParameter[];
+    requestBodySchema?: OpenApiSchema;
+    requestBodyRequired: boolean;
+    /** Schema of the first 2xx (else default) JSON response, when declared. */
+    responseSchema?: OpenApiSchema;
+    eject: boolean;
+    summary?: string;
+}
+/** Parse an OpenAPI document from text. JSON only in this slice (ADR 0058 open question: YAML).
+ *  Throws with a clear message on malformed input. */
+export declare function parseSpec(text: string): OpenApiDoc;
+/** The basename of a local `#/components/schemas/Name` ref, else undefined. */
+export declare function refName(ref: string): string | undefined;
+/** Follow local component `$ref`s to the concrete schema (guarding cycles). Non-local refs → undefined. */
+export declare function resolveSchema(doc: OpenApiDoc, schema: OpenApiSchema | undefined): OpenApiSchema | undefined;
+/** Walk the document's paths and return every operation that carries an operationId, in a stable
+ *  (path, method) order. Operations without an operationId are skipped here; the runtime mount logs
+ *  them at `warn` and skips them too — this keeps the pure collector total. */
+export declare function collectOperations(doc: OpenApiDoc): OperationInfo[];
+/** "method path" pointers for every operation that declares no `operationId`. Such operations are
+ *  unroutable (no delegate to bind), so the runtime mount logs them at `warn` and skips them. */
+export declare function operationsWithoutId(doc: OpenApiDoc): string[];
+/** "METHOD path {param}" pointers for every path-template parameter that no declared `in: "path"`
+ *  parameter covers. Such params are still captured and passed to the delegate at runtime, but are
+ *  neither typed (the deriver only emits declared params) nor validated — a type/runtime drift the
+ *  runtime mount surfaces at `warn`. */
+export declare function undeclaredPathParams(doc: OpenApiDoc): string[];
+/** An operationId names the delegate module file (`<dir>/<operationId>`), so it must be a single
+ *  safe path segment. Rejects separators and parent-dir traversal so a crafted spec can't import a
+ *  file outside the operations directory. Single source of truth for the rule (used by the pure
+ *  collector, the diagnostic collector, and the runtime import sink). */
+export declare function isSafeOperationId(id: string): boolean;
+/** "METHOD path (operationId)" pointers for operations whose operationId is present but not a safe
+ *  path segment. collectOperations skips these (they never mount or drive an import); the runtime
+ *  surfaces them at `warn`. */
+export declare function operationsWithUnsafeId(doc: OpenApiDoc): string[];
+/** Turn an OpenAPI path template ("/invoices/{id}") into a matcher under `base` ("/app/api"):
+ *  a RegExp that captures each `{param}` positionally, plus the ordered path-parameter names. The
+ *  runtime matches concrete request paths, so a templated segment becomes a single-segment capture. */
+/** Escape RegExp metacharacters so a string is matched literally inside a `new RegExp(...)`. */
+export declare function escapeRegex(s: string): string;
+export declare function toRouteMatcher(base: string, path: string): {
+    pattern: RegExp;
+    paramNames: string[];
+    sample: string;
+};
+/** One validation failure: a JSON-pointer-ish path and a human message. */
+export interface ValidationIssue {
+    path: string;
+    message: string;
+}
+/** Validate `value` against `schema` (resolving local $refs against `doc`), returning every issue
+ *  found (empty = valid). A pragmatic JSON-Schema subset; unknown keywords are ignored. */
+export declare function validateValue(doc: OpenApiDoc, schemaIn: OpenApiSchema | undefined, value: unknown, path?: string): ValidationIssue[];

package/dist/openapi/spec.js

@@ -0,0 +1,444 @@
+// Shared, pure OpenAPI machinery for the Urban endpoint surface (ADR 0058). Both the toolkit
+// deriver (`toolkit/derivers/api.ts`, authoring-time type + wrapper emission) and the runtime
+// (`runtime/core/modules/api.ts`, request validation + routing) build on this one module, so the
+// derived types and the runtime routes/validation always agree. No IO, no `node:*`, no `Deno` —
+// it operates on an already-parsed document object.
+//
+// Scope: the ADR 0058 "supported profile" — JSON bodies, path/query parameters, a JSON
+// requestBody, response codes, and a JSON-Schema subset validator (type/required/enum/numeric &
+// string bounds/pattern/array & object shape/nullable/$ref). Exotic OpenAPI (callbacks, links,
+// XML, discriminated oneOf composition) is intentionally out of scope for this slice.
+/**
+ * Whether a schema describes an object shape. OpenAPI/JSON-Schema let the `type`
+ * keyword be omitted when `properties`/`required`/`additionalProperties` already imply
+ * an object. The type emitter (`schemaToTs`) and the runtime validator (`validateValue`)
+ * both route object detection through this single predicate so they never drift — a body
+ * the emitted type calls an object is the same body the validator shape-checks.
+ */
+export function isObjectSchema(schema) {
+    if (schema.type === "object")
+        return true;
+    if (schema.type !== undefined)
+        return false;
+    return (schema.properties !== undefined ||
+        schema.required !== undefined ||
+        schema.additionalProperties !== undefined);
+}
+/** The HTTP methods we mount, lowercase as they appear as path-item keys. */
+export const HTTP_METHODS = ["get", "put", "post", "delete", "patch", "options", "head"];
+function isRecord(v) {
+    return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+/** A structural gate for a schema object: any record is treated as a (loose) OpenAPI schema. */
+function isSchema(v) {
+    return isRecord(v);
+}
+/** Parse an OpenAPI document from text. JSON only in this slice (ADR 0058 open question: YAML).
+ *  Throws with a clear message on malformed input. */
+export function parseSpec(text) {
+    let doc;
+    try {
+        doc = JSON.parse(text);
+    }
+    catch (e) {
+        throw new Error(`OpenAPI spec is not valid JSON (YAML is not yet supported — ADR 0058): ${e instanceof Error ? e.message : String(e)}`);
+    }
+    if (!isRecord(doc))
+        throw new Error("OpenAPI spec must be a JSON object");
+    return doc;
+}
+/** The basename of a local `#/components/schemas/Name` ref, else undefined. */
+export function refName(ref) {
+    const m = ref.match(/^#\/components\/schemas\/([^/]+)$/);
+    return m ? m[1] : undefined;
+}
+/** Follow local component `$ref`s to the concrete schema (guarding cycles). Non-local refs → undefined. */
+export function resolveSchema(doc, schema) {
+    if (!schema)
+        return undefined;
+    let current = schema;
+    const seen = new Set();
+    while (current.$ref) {
+        if (seen.has(current.$ref))
+            return undefined; // cyclic ref guard
+        seen.add(current.$ref);
+        const name = refName(current.$ref);
+        const next = name ? doc.components?.schemas?.[name] : undefined;
+        if (!next)
+            return undefined;
+        current = next;
+    }
+    return current;
+}
+function firstJsonSchema(content) {
+    if (!content)
+        return undefined;
+    const pick = (media) => isRecord(media) && isSchema(media.schema) ? media.schema : undefined;
+    // JSON-only: the runtime always JSON.parses the body and responds application/json, so derive
+    // types/validation only from JSON media types (application/json, its charset variants, and any
+    // `+json` structured suffix). A non-JSON media type is ignored rather than typed as if JSON.
+    for (const [type, media] of Object.entries(content)) {
+        const base = type.split(";", 1)[0].trim().toLowerCase();
+        if (base === "application/json" || base.endsWith("+json")) {
+            const s = pick(media);
+            if (s)
+                return s;
+        }
+    }
+    return undefined;
+}
+/** Walk the document's paths and return every operation that carries an operationId, in a stable
+ *  (path, method) order. Operations without an operationId are skipped here; the runtime mount logs
+ *  them at `warn` and skips them too — this keeps the pure collector total. */
+export function collectOperations(doc) {
+    const out = [];
+    const paths = doc.paths ?? {};
+    for (const path of Object.keys(paths).sort()) {
+        const item = paths[path];
+        if (!isRecord(item))
+            continue;
+        // Path-level parameters apply to every operation on the path (OpenAPI Path Item Object).
+        const pathParams = Array.isArray(item.parameters) ? item.parameters : [];
+        for (const method of HTTP_METHODS) {
+            const opRaw = item[method];
+            if (!isRecord(opRaw))
+                continue;
+            const operationId = typeof opRaw.operationId === "string" ? opRaw.operationId : undefined;
+            if (!operationId || !isSafeOperationId(operationId))
+                continue;
+            const opParams = Array.isArray(opRaw.parameters) ? opRaw.parameters : [];
+            const parameters = normalizeParameters([...pathParams, ...opParams]);
+            const requestBody = isRecord(opRaw.requestBody) ? opRaw.requestBody : undefined;
+            const requestBodySchema = firstJsonSchema(isRecord(requestBody?.content) ? requestBody.content : undefined);
+            const responses = isRecord(opRaw.responses) ? opRaw.responses : {};
+            out.push({
+                operationId,
+                method,
+                path,
+                parameters,
+                requestBodySchema,
+                requestBodyRequired: requestBody?.required === true,
+                responseSchema: firstSuccessSchema(responses),
+                eject: opRaw["x-urban-eject"] === true,
+                summary: typeof opRaw.summary === "string" ? opRaw.summary : undefined,
+            });
+        }
+    }
+    return out;
+}
+/** "method path" pointers for every operation that declares no `operationId`. Such operations are
+ *  unroutable (no delegate to bind), so the runtime mount logs them at `warn` and skips them. */
+export function operationsWithoutId(doc) {
+    const missing = [];
+    const paths = doc.paths ?? {};
+    for (const path of Object.keys(paths).sort()) {
+        const item = paths[path];
+        if (!isRecord(item))
+            continue;
+        for (const method of HTTP_METHODS) {
+            const opRaw = item[method];
+            if (!isRecord(opRaw))
+                continue;
+            if (typeof opRaw.operationId !== "string" || opRaw.operationId.length === 0) {
+                missing.push(`${method.toUpperCase()} ${path}`);
+            }
+        }
+    }
+    return missing;
+}
+/** "METHOD path {param}" pointers for every path-template parameter that no declared `in: "path"`
+ *  parameter covers. Such params are still captured and passed to the delegate at runtime, but are
+ *  neither typed (the deriver only emits declared params) nor validated — a type/runtime drift the
+ *  runtime mount surfaces at `warn`. */
+export function undeclaredPathParams(doc) {
+    const out = [];
+    for (const op of collectOperations(doc)) {
+        const declared = new Set(op.parameters.filter((p) => p.in === "path").map((p) => p.name));
+        for (const m of op.path.matchAll(/\{([^}]+)\}/g)) {
+            if (!declared.has(m[1]))
+                out.push(`${op.method.toUpperCase()} ${op.path} {${m[1]}}`);
+        }
+    }
+    return out;
+}
+/** An operationId names the delegate module file (`<dir>/<operationId>`), so it must be a single
+ *  safe path segment. Rejects separators and parent-dir traversal so a crafted spec can't import a
+ *  file outside the operations directory. Single source of truth for the rule (used by the pure
+ *  collector, the diagnostic collector, and the runtime import sink). */
+export function isSafeOperationId(id) {
+    return id.length > 0 && !id.includes("/") && !id.includes("\\") && !id.includes("..") && id !== ".";
+}
+/** "METHOD path (operationId)" pointers for operations whose operationId is present but not a safe
+ *  path segment. collectOperations skips these (they never mount or drive an import); the runtime
+ *  surfaces them at `warn`. */
+export function operationsWithUnsafeId(doc) {
+    const out = [];
+    const paths = doc.paths ?? {};
+    for (const path of Object.keys(paths).sort()) {
+        const item = paths[path];
+        if (!isRecord(item))
+            continue;
+        for (const method of HTTP_METHODS) {
+            const opRaw = item[method];
+            if (!isRecord(opRaw))
+                continue;
+            const id = opRaw.operationId;
+            if (typeof id === "string" && id.length > 0 && !isSafeOperationId(id)) {
+                out.push(`${method.toUpperCase()} ${path} (${id})`);
+            }
+        }
+    }
+    return out;
+}
+function normalizeParameters(raw) {
+    // OpenAPI: parameters are uniquely identified by (name, in). A path-level parameter can be
+    // overridden by an operation-level one with the same (name, in) — never duplicated. Callers pass
+    // [...pathParams, ...opParams], so dedup later-wins (op overrides path) while preserving the
+    // first-seen position, so the emitted binding never carries two `path`/`query` fields with the
+    // same name (which would collide in the generated params/query types and in runtime extraction).
+    const byKey = new Map();
+    const order = [];
+    for (const p of raw) {
+        if (!isRecord(p))
+            continue;
+        const name = typeof p.name === "string" ? p.name : undefined;
+        const location = typeof p.in === "string" ? p.in : undefined;
+        if (!name || !location)
+            continue;
+        if (location !== "path" && location !== "query" && location !== "header" && location !== "cookie") {
+            continue;
+        }
+        const schema = isRecord(p.schema) ? p.schema : undefined;
+        const key = `${location}\u0000${name}`;
+        if (!byKey.has(key))
+            order.push(key);
+        byKey.set(key, { name, in: location, required: p.required === true, schema });
+    }
+    return order.map((k) => byKey.get(k));
+}
+function firstSuccessSchema(responses) {
+    const codes = Object.keys(responses)
+        .filter((c) => /^2\d\d$/.test(c))
+        .sort();
+    const code = codes[0] ?? (isRecord(responses.default) ? "default" : undefined);
+    if (!code)
+        return undefined;
+    const resp = responses[code];
+    if (!isRecord(resp))
+        return undefined;
+    return firstJsonSchema(isRecord(resp.content) ? resp.content : undefined);
+}
+/** Turn an OpenAPI path template ("/invoices/{id}") into a matcher under `base` ("/app/api"):
+ *  a RegExp that captures each `{param}` positionally, plus the ordered path-parameter names. The
+ *  runtime matches concrete request paths, so a templated segment becomes a single-segment capture. */
+/** Escape RegExp metacharacters so a string is matched literally inside a `new RegExp(...)`. */
+export function escapeRegex(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+export function toRouteMatcher(base, path) {
+    const cleanBase = base.replace(/\/+$/, "");
+    const paramNames = [];
+    const segments = path.split("/").filter((s) => s.length > 0);
+    const regexParts = segments.map((seg) => {
+        const m = seg.match(/^\{([^}]+)\}$/);
+        if (m) {
+            paramNames.push(m[1]);
+            return "([^/]+)";
+        }
+        return escapeRegex(seg);
+    });
+    const body = regexParts.length > 0 ? `/${regexParts.join("/")}` : "";
+    // `base` is a literal path prefix (e.g. "/app/api(v2)"), not a pattern — escape its metacharacters
+    // just like the static template segments so it can't alter or break the matcher.
+    const pattern = new RegExp(`^${escapeRegex(cleanBase)}${body}/?$`);
+    const sample = `${cleanBase}${segments.length > 0 ? `/${segments.join("/")}` : ""}`;
+    return { pattern, paramNames, sample };
+}
+/** Structural (deep) equality for JSON values — enum/const members can be objects or arrays, which
+ *  a parsed request will never be `===` to. Compares by shape so those comparisons are correct. */
+function deepEqual(a, b) {
+    if (a === b)
+        return true;
+    if (typeof a !== typeof b || a === null || b === null)
+        return false;
+    if (Array.isArray(a) || Array.isArray(b)) {
+        if (!Array.isArray(a) || !Array.isArray(b) || a.length !== b.length)
+            return false;
+        return a.every((x, i) => deepEqual(x, b[i]));
+    }
+    if (isRecord(a) && isRecord(b)) {
+        const ak = Object.keys(a);
+        const bk = Object.keys(b);
+        if (ak.length !== bk.length)
+            return false;
+        return ak.every((k) => Object.prototype.hasOwnProperty.call(b, k) && deepEqual(a[k], b[k]));
+    }
+    return false;
+}
+function typeOfValue(v) {
+    if (Array.isArray(v))
+        return "array";
+    if (typeof v === "number" && Number.isInteger(v))
+        return "integer";
+    return typeof v;
+}
+function matchesType(declared, value) {
+    const actual = typeOfValue(value);
+    if (declared === "number")
+        return actual === "number" || actual === "integer";
+    if (declared === "integer")
+        return actual === "integer";
+    return actual === declared;
+}
+/** Validate `value` against `schema` (resolving local $refs against `doc`), returning every issue
+ *  found (empty = valid). A pragmatic JSON-Schema subset; unknown keywords are ignored. */
+export function validateValue(doc, schemaIn, value, path = "") {
+    const schema = resolveSchema(doc, schemaIn);
+    if (!schema)
+        return [];
+    const issues = [];
+    const at = path || "(root)";
+    if (value === null) {
+        if (schema.nullable === true || schema.type === "null")
+            return issues;
+        // enum/const may explicitly permit null even without `nullable`.
+        if (schema.enum && schema.enum.some((e) => e === null))
+            return issues;
+        if (schema.const === null)
+            return issues;
+        // Otherwise null is invalid for a typed schema, an object schema (properties/required imply
+        // object), or an enum/const that doesn't list null. A truly empty schema ({}) allows anything.
+        if (schema.enum) {
+            issues.push({ path: at, message: `must be one of ${JSON.stringify(schema.enum)}` });
+        }
+        else if (schema.const !== undefined) {
+            issues.push({ path: at, message: `must equal ${JSON.stringify(schema.const)}` });
+        }
+        else if (schema.type) {
+            issues.push({ path: at, message: `expected ${schema.type}, got null` });
+        }
+        else if (isObjectSchema(schema)) {
+            issues.push({ path: at, message: "expected object, got null" });
+        }
+        return issues;
+    }
+    if (schema.enum && !schema.enum.some((e) => deepEqual(e, value))) {
+        issues.push({ path: at, message: `must be one of ${JSON.stringify(schema.enum)}` });
+    }
+    if (schema.const !== undefined && !deepEqual(schema.const, value)) {
+        issues.push({ path: at, message: `must equal ${JSON.stringify(schema.const)}` });
+    }
+    // Composition keywords — kept in lockstep with schemaToTs, which emits `allOf` as an intersection
+    // and `anyOf`/`oneOf` as unions. Runs before the `type` early-return since a composed schema may
+    // omit a top-level `type` and carry it on the sub-schemas instead.
+    if (schema.allOf) {
+        for (const sub of schema.allOf)
+            issues.push(...validateValue(doc, sub, value, path));
+    }
+    if (schema.anyOf && !schema.anyOf.some((sub) => validateValue(doc, sub, value, path).length === 0)) {
+        issues.push({ path: at, message: "does not match any schema in anyOf" });
+    }
+    if (schema.oneOf) {
+        const matched = schema.oneOf.filter((sub) => validateValue(doc, sub, value, path).length === 0).length;
+        if (matched !== 1) {
+            issues.push({ path: at, message: `must match exactly one schema in oneOf (matched ${matched})` });
+        }
+    }
+    if (schema.type && !matchesType(schema.type, value)) {
+        issues.push({ path: at, message: `expected ${schema.type}, got ${typeOfValue(value)}` });
+        return issues; // the shape checks below assume the declared type held
+    }
+    if (schema.type === "string" && typeof value === "string") {
+        if (schema.minLength !== undefined && value.length < schema.minLength) {
+            issues.push({ path: at, message: `shorter than minLength ${schema.minLength}` });
+        }
+        if (schema.maxLength !== undefined && value.length > schema.maxLength) {
+            issues.push({ path: at, message: `longer than maxLength ${schema.maxLength}` });
+        }
+        if (schema.pattern) {
+            let re;
+            try {
+                re = new RegExp(schema.pattern);
+            }
+            catch {
+                // A malformed pattern is a spec-author error, not client input. Surface it as a
+                // controlled failure (the dispatcher's outer catch maps it to a 500 with this
+                // message) instead of letting `new RegExp` throw an opaque error deep in
+                // validation and crash the host request handler.
+                throw new Error(`schema at ${at}: invalid pattern ${JSON.stringify(schema.pattern)}`);
+            }
+            if (!re.test(value)) {
+                issues.push({ path: at, message: `does not match pattern ${schema.pattern}` });
+            }
+        }
+    }
+    if ((schema.type === "number" || schema.type === "integer") && typeof value === "number") {
+        // OpenAPI 3.0 uses the boolean form (`exclusiveMinimum: true` makes `minimum` exclusive);
+        // JSON Schema 2020-12 (OpenAPI 3.1) uses the numeric form (`exclusiveMinimum: <number>`).
+        // Support both so specs in either dialect are validated, not silently under-checked.
+        const minExclusive = schema.exclusiveMinimum === true;
+        const maxExclusive = schema.exclusiveMaximum === true;
+        if (schema.minimum !== undefined && (minExclusive ? value <= schema.minimum : value < schema.minimum)) {
+            issues.push({
+                path: at,
+                message: minExclusive ? `must be > ${schema.minimum}` : `less than minimum ${schema.minimum}`,
+            });
+        }
+        if (schema.maximum !== undefined && (maxExclusive ? value >= schema.maximum : value > schema.maximum)) {
+            issues.push({
+                path: at,
+                message: maxExclusive ? `must be < ${schema.maximum}` : `greater than maximum ${schema.maximum}`,
+            });
+        }
+        if (typeof schema.exclusiveMinimum === "number" && value <= schema.exclusiveMinimum) {
+            issues.push({ path: at, message: `must be > ${schema.exclusiveMinimum}` });
+        }
+        if (typeof schema.exclusiveMaximum === "number" && value >= schema.exclusiveMaximum) {
+            issues.push({ path: at, message: `must be < ${schema.exclusiveMaximum}` });
+        }
+    }
+    if (schema.type === "array" && Array.isArray(value)) {
+        if (schema.minItems !== undefined && value.length < schema.minItems) {
+            issues.push({ path: at, message: `fewer than minItems ${schema.minItems}` });
+        }
+        if (schema.maxItems !== undefined && value.length > schema.maxItems) {
+            issues.push({ path: at, message: `more than maxItems ${schema.maxItems}` });
+        }
+        if (schema.items) {
+            value.forEach((item, i) => {
+                issues.push(...validateValue(doc, schema.items, item, `${path}[${i}]`));
+            });
+        }
+    }
+    if (isObjectSchema(schema)) {
+        if (!isRecord(value)) {
+            // A typeless object schema (properties/required imply object, but `type` is omitted) skips
+            // the type check above, so guard here — otherwise a non-object like `42` or `[]` would pass.
+            issues.push({ path: at, message: `expected object, got ${typeOfValue(value)}` });
+            return issues;
+        }
+        for (const req of schema.required ?? []) {
+            if (!Object.hasOwn(value, req))
+                issues.push({ path: `${path}/${req}`, message: "is required" });
+        }
+        const props = schema.properties ?? {};
+        for (const [key, propSchema] of Object.entries(props)) {
+            if (Object.hasOwn(value, key))
+                issues.push(...validateValue(doc, propSchema, value[key], `${path}/${key}`));
+        }
+        const extra = schema.additionalProperties;
+        if (extra === false) {
+            for (const key of Object.keys(value)) {
+                if (!Object.hasOwn(props, key))
+                    issues.push({ path: `${path}/${key}`, message: "is not an allowed property" });
+            }
+        }
+        else if (isRecord(extra)) {
+            for (const key of Object.keys(value)) {
+                if (!Object.hasOwn(props, key))
+                    issues.push(...validateValue(doc, extra, value[key], `${path}/${key}`));
+            }
+        }
+    }
+    return issues;
+}

package/dist/runtime/adapters/deno.js

@@ -13,6 +13,7 @@ var __rewriteRelativeImportExtension = (this && this.__rewriteRelativeImportExte
 import { isAbsolute, resolve } from "node:path";
 import { pathToFileURL } from "node:url";
 import { DatabaseSync } from "node:sqlite";
+import { AsyncLocalStorage } from "node:async_hooks";
 function sqliteParams(params) {
     return params.map((param) => {
         if (param === null ||
@@ -103,6 +104,10 @@ export function createDenoHost(opts = {}) {
             };
         },
         now: () => Date.now(),
+        createAsyncStore() {
+            const als = new AsyncLocalStorage();
+            return { run: (value, fn) => als.run(value, fn), current: () => als.getStore() };
+        },
         log,
     };
 }

package/dist/runtime/adapters/node.js

@@ -16,6 +16,7 @@ import { register } from "node:module";
 import { isAbsolute, resolve } from "node:path";
 import { fileURLToPath, pathToFileURL } from "node:url";
 import { DatabaseSync } from "node:sqlite";
+import { AsyncLocalStorage } from "node:async_hooks";
 function sqliteParams(params) {
     return params.map((param) => {
         if (param === null ||
@@ -154,6 +155,10 @@ export function createNodeHost(opts = {}) {
             return { close: () => w.close() };
         },
         now: () => Date.now(),
+        createAsyncStore() {
+            const als = new AsyncLocalStorage();
+            return { run: (value, fn) => als.run(value, fn), current: () => als.getStore() };
+        },
         log,
     };
 }

package/dist/runtime/core/execContext.d.ts

@@ -0,0 +1,28 @@
+import type { AsyncStore } from "./host.ts";
+/** The ambient context of the job currently executing on a worker. All fields are optional so a
+ *  job dispatched without an instance/element still runs; provenance is only recorded when an
+ *  `instanceKey` is present. */
+export interface JobExecContext {
+    /** The process instance that dispatched the running job. */
+    instanceKey?: string;
+    /** The BPMN element (e.g. service task) the job is for. */
+    elementId?: string;
+    /** The job type (worker) currently executing. */
+    jobType?: string;
+}
+/**
+ * Install the host-backed ambient store once per process. Idempotent — the first store created
+ * wins: every Node/Deno store is an equivalent `AsyncLocalStorage` instance, and a process that
+ * hosts several apps shares one async store safely (values are keyed by async execution context,
+ * not by app). A `factory` that returns undefined (a host without the capability) leaves capture
+ * disabled, but a later capable host may still install the process store.
+ */
+export declare function installExecStore(factory: () => AsyncStore<JobExecContext> | undefined): void;
+/** Run `fn` with `ctx` as the ambient job context. A transparent pass-through when no store is
+ *  installed (returns `fn()` directly). */
+export declare function runInJobContext<R>(ctx: JobExecContext, fn: () => R): R;
+/** The ambient job context of the current async execution, or undefined outside a job (or when
+ *  no store is installed). */
+export declare function currentJobContext(): JobExecContext | undefined;
+/** Test seam: drop the installed store so a subsequent {@link installExecStore} re-installs. */
+export declare function __resetExecStoreForTests(): void;