@harperfast/harper 5.3.0-beta.3 → 5.3.0-beta.4

package/dist/resources/models/decision.js

@@ -0,0 +1,507 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DecisionContractError = exports.DecisionInputError = exports.DecisionSchemaError = exports.MAX_SCHEMA_VALUES = exports.MAX_OBJECT_FIELDS = exports.MAX_LEAF_VALUES = void 0;
+exports.isObjectSchema = isObjectSchema;
+exports.validateDecisionSchema = validateDecisionSchema;
+exports.allowedValues = allowedValues;
+exports.isAllowedValue = isAllowedValue;
+exports.wantsNoMatch = wantsNoMatch;
+exports.stateToText = stateToText;
+exports.normalizeDecision = normalizeDecision;
+exports.toResponseSchema = toResponseSchema;
+exports.parseDecisionSample = parseDecisionSample;
+exports.canonicalJson = canonicalJson;
+exports.hashSchema = hashSchema;
+exports.scoringSchema = scoringSchema;
+exports.snapshotSchema = snapshotSchema;
+exports.hashText = hashText;
+const node_crypto_1 = require("node:crypto");
+const hdbError_ts_1 = require("../../utility/errors/hdbError.js");
+exports.MAX_LEAF_VALUES = 255;
+exports.MAX_OBJECT_FIELDS = 32;
+/** Aggregate allowed values across an object schema; also the ceiling strict structured-output providers place on enum values per request. */
+exports.MAX_SCHEMA_VALUES = 500;
+const PROBABILITY_SUM_TOLERANCE = 1e-3;
+const UNSAFE_FIELD_NAMES = new Set(['__proto__', 'constructor', 'prototype']);
+const BOOLEAN_VALUES = Object.freeze([false, true]);
+function isObjectSchema(schema) {
+    return schema.type === 'object';
+}
+class DecisionSchemaError extends hdbError_ts_1.ClientError {
+    constructor(message) {
+        super(`Invalid decision schema: ${message}`, 400);
+        this.name = 'DecisionSchemaError';
+    }
+}
+exports.DecisionSchemaError = DecisionSchemaError;
+class DecisionInputError extends hdbError_ts_1.ClientError {
+    constructor(message) {
+        super(`Invalid decision input: ${message}`, 400);
+        this.name = 'DecisionInputError';
+    }
+}
+exports.DecisionInputError = DecisionInputError;
+/** A backend's output violated the decision contract. A backend error: the facade records it and tries the next candidate. */
+class DecisionContractError extends hdbError_ts_1.ServerError {
+    constructor(backendName, message) {
+        super(`Backend '${backendName}' returned an invalid decision: ${message}`);
+        this.name = 'DecisionContractError';
+    }
+}
+exports.DecisionContractError = DecisionContractError;
+function validateDecisionSchema(schema) {
+    if (!schema || typeof schema !== 'object' || Array.isArray(schema))
+        throw new DecisionSchemaError('schema must be an object');
+    const candidate = schema;
+    if (candidate.type === 'object') {
+        const properties = candidate.properties;
+        if (!properties || typeof properties !== 'object' || Array.isArray(properties))
+            throw new DecisionSchemaError('an object schema needs a properties map');
+        if (candidate.description !== undefined && typeof candidate.description !== 'string')
+            throw new DecisionSchemaError('description must be a string');
+        if (candidate.noMatch !== undefined)
+            throw new DecisionSchemaError('noMatch belongs on a property, not on an object schema');
+        const names = Object.keys(properties);
+        if (names.length === 0)
+            throw new DecisionSchemaError('an object schema needs at least one property');
+        if (names.length > exports.MAX_OBJECT_FIELDS)
+            throw new DecisionSchemaError(`an object schema has at most ${exports.MAX_OBJECT_FIELDS} properties, got ${names.length}`);
+        let total = 0;
+        for (const name of names) {
+            if (name.length === 0 || UNSAFE_FIELD_NAMES.has(name))
+                throw new DecisionSchemaError(`property name '${name}' is not allowed`);
+            total += validateLeaf(properties[name], `property '${name}'`);
+        }
+        if (total > exports.MAX_SCHEMA_VALUES)
+            throw new DecisionSchemaError(`an object schema spans at most ${exports.MAX_SCHEMA_VALUES} values across its properties, got ${total}`);
+        return;
+    }
+    validateLeaf(schema, 'schema');
+}
+function validateLeaf(leaf, label) {
+    if (!leaf || typeof leaf !== 'object' || Array.isArray(leaf))
+        throw new DecisionSchemaError(`${label} must be an object`);
+    const candidate = leaf;
+    if (candidate.description !== undefined && typeof candidate.description !== 'string')
+        throw new DecisionSchemaError(`${label}: description must be a string`);
+    if (candidate.noMatch !== undefined && typeof candidate.noMatch !== 'boolean')
+        throw new DecisionSchemaError(`${label}: noMatch must be a boolean`);
+    if (Array.isArray(candidate.enum)) {
+        if (candidate.enum.length < 2 || candidate.enum.length > exports.MAX_LEAF_VALUES)
+            throw new DecisionSchemaError(`${label}: enum needs 2..${exports.MAX_LEAF_VALUES} values, got ${candidate.enum.length}`);
+        const type = typeof candidate.enum[0];
+        if (type !== 'string' && type !== 'number' && type !== 'boolean')
+            throw new DecisionSchemaError(`${label}: enum values must be strings, finite numbers or booleans`);
+        const seen = new Set();
+        for (const value of candidate.enum) {
+            if (typeof value !== type)
+                throw new DecisionSchemaError(`${label}: enum values must all be of one type (strings, numbers or booleans)`);
+            if (type === 'number' && !Number.isFinite(value))
+                throw new DecisionSchemaError(`${label}: enum values must be strings, finite numbers or booleans`);
+            if (seen.has(value))
+                throw new DecisionSchemaError(`${label}: enum values must be distinct`);
+            seen.add(value);
+        }
+        return candidate.enum.length;
+    }
+    if (candidate.type === 'boolean')
+        return BOOLEAN_VALUES.length;
+    if (candidate.type === 'integer') {
+        const { minimum, maximum } = candidate;
+        // Safe integers only: past 2^53 `value++` no longer advances, so a range could never end.
+        if (!Number.isSafeInteger(minimum) || !Number.isSafeInteger(maximum))
+            throw new DecisionSchemaError(`${label}: integer minimum and maximum must be safe integers`);
+        const span = maximum - minimum + 1;
+        if (span < 2 || span > exports.MAX_LEAF_VALUES)
+            throw new DecisionSchemaError(`${label}: an integer range spans 2..${exports.MAX_LEAF_VALUES} values, got ${span}`);
+        return span;
+    }
+    throw new DecisionSchemaError(`${label} must be an enum, a boolean, or a bounded integer`);
+}
+function integerRange(minimum, maximum) {
+    const span = maximum - minimum + 1;
+    const values = new Array(span);
+    for (let i = 0; i < span; i++)
+        values[i] = minimum + i;
+    return values;
+}
+/** In the order ties resolve; assumes a validated leaf. */
+function allowedValues(leaf) {
+    if ('enum' in leaf)
+        return leaf.enum;
+    if (leaf.type === 'boolean')
+        return BOOLEAN_VALUES;
+    return integerRange(leaf.minimum, leaf.maximum);
+}
+/** Assumes a validated leaf. */
+function isAllowedValue(leaf, raw) {
+    if ('enum' in leaf)
+        return leaf.enum.includes(raw);
+    if (leaf.type === 'boolean')
+        return typeof raw === 'boolean';
+    return Number.isInteger(raw) && raw >= leaf.minimum && raw <= leaf.maximum;
+}
+function wantsNoMatch(schema) {
+    if (!isObjectSchema(schema))
+        return schema.noMatch === true;
+    for (const name in schema.properties)
+        if (Object.hasOwn(schema.properties, name) && schema.properties[name].noMatch === true)
+            return true;
+    return false;
+}
+/** The text form of a `decide` state, or a `DecisionInputError` for a value no backend could serialize. */
+function stateToText(state) {
+    if (typeof state === 'string')
+        return state;
+    if (!state || typeof state !== 'object')
+        throw new DecisionInputError('state must be a string or an object');
+    let text;
+    try {
+        text = JSON.stringify(state);
+    }
+    catch (err) {
+        throw new DecisionInputError(`state is not JSON-serializable (${err?.message ?? err})`);
+    }
+    if (typeof text !== 'string')
+        throw new DecisionInputError('state is not JSON-serializable');
+    return text;
+}
+/**
+ * Check a backend's output against the schema and shape it for the caller: complete distributions
+ * sorted descending (ties keep schema order), the argmax as `value`, per-field marginals for object
+ * schemas. `calibrated` falls back to the backend's capability when the output does not say.
+ * Messages never echo backend-supplied values, because they can reach an error response.
+ */
+function normalizeDecision(schema, output, backendName, calibratedDefault, calibratedNoMatch = false) {
+    if (!output || typeof output !== 'object')
+        throw new DecisionContractError(backendName, 'output must be an object');
+    const reported = typeof output.calibrated === 'boolean' ? output.calibrated : calibratedDefault;
+    const calibrated = reported && (calibratedNoMatch || !wantsNoMatch(schema));
+    if (isObjectSchema(schema)) {
+        const fields = output.fields;
+        if (!fields || typeof fields !== 'object')
+            throw new DecisionContractError(backendName, 'an object schema needs a fields map');
+        const marginals = {};
+        const value = {};
+        for (const name of Object.keys(schema.properties)) {
+            if (!Object.hasOwn(fields, name))
+                throw new DecisionContractError(backendName, `missing field '${name}'`);
+            const marginal = normalizeLeaf(schema.properties[name], fields[name], backendName, `field '${name}'`);
+            marginals[name] = marginal;
+            value[name] = marginal.value;
+        }
+        for (const name of Object.keys(fields)) {
+            if (!Object.hasOwn(schema.properties, name))
+                throw new DecisionContractError(backendName, `unexpected field '${name}'`);
+        }
+        return { value: value, fields: marginals, calibrated };
+    }
+    const leaf = normalizeLeaf(schema, output, backendName, 'output');
+    const decision = {
+        value: leaf.value,
+        probability: leaf.probability,
+        distribution: leaf.distribution,
+        calibrated,
+    };
+    if (leaf.noMatch !== undefined)
+        decision.noMatch = leaf.noMatch;
+    return decision;
+}
+function normalizeLeaf(leaf, output, backendName, label) {
+    const allowed = allowedValues(leaf);
+    const distribution = output?.distribution;
+    if (!Array.isArray(distribution))
+        throw new DecisionContractError(backendName, `${label}: distribution is required`);
+    if (distribution.length !== allowed.length)
+        throw new DecisionContractError(backendName, `${label}: distribution needs one entry per allowed value (${allowed.length}), got ${distribution.length}`);
+    const byValue = new Map();
+    let sum = 0;
+    for (let i = 0; i < distribution.length; i++) {
+        const entry = distribution[i];
+        if (!entry || typeof entry !== 'object')
+            throw new DecisionContractError(backendName, `${label}: distribution entry ${i} is not an object`);
+        const { value, probability } = entry;
+        if (!isAllowedValue(leaf, value))
+            throw new DecisionContractError(backendName, `${label}: distribution entry ${i} is not an allowed value`);
+        if (typeof probability !== 'number' || !Number.isFinite(probability) || probability < 0 || probability > 1)
+            throw new DecisionContractError(backendName, `${label}: the probability of distribution entry ${i} must be a finite number in [0, 1]`);
+        if (byValue.has(value))
+            throw new DecisionContractError(backendName, `${label}: distribution entry ${i} duplicates an earlier entry`);
+        byValue.set(value, probability);
+        sum += probability;
+    }
+    if (Math.abs(sum - 1) > PROBABILITY_SUM_TOLERANCE)
+        throw new DecisionContractError(backendName, `${label}: probabilities sum to ${sum}, expected 1`);
+    const sorted = allowed.map((value) => ({ value, probability: byValue.get(value) }));
+    sorted.sort((a, b) => b.probability - a.probability);
+    const top = sorted[0].probability;
+    const chosen = output.value;
+    if (chosen !== undefined && chosen !== sorted[0].value) {
+        if (byValue.get(chosen) !== top)
+            throw new DecisionContractError(backendName, `${label}: value is not a most-probable outcome`);
+        const index = sorted.findIndex((entry) => entry.value === chosen);
+        sorted.unshift(...sorted.splice(index, 1));
+    }
+    const marginal = { value: sorted[0].value, probability: top, distribution: sorted };
+    if (leaf.noMatch === true) {
+        const score = output.noMatch;
+        if (typeof score !== 'number' || !Number.isFinite(score) || score < 0 || score > 1)
+            throw new DecisionContractError(backendName, `${label}: noMatch must be a finite number in [0, 1]`);
+        marginal.noMatch = score;
+    }
+    return marginal;
+}
+/**
+ * The JSON Schema a generative backend is asked to honor for one sample: an object at the root
+ * (leaf answers wrapped as `{ value }`), every property required, no additional properties, and
+ * bounded integers as an explicit enum — the shape strict structured-output modes accept.
+ */
+function toResponseSchema(schema) {
+    if (isObjectSchema(schema)) {
+        const properties = {};
+        for (const [name, leaf] of Object.entries(schema.properties))
+            properties[name] = leaf.noMatch === true ? pairJsonSchema(leafJsonSchema(leaf)) : leafJsonSchema(leaf);
+        const out = {
+            type: 'object',
+            properties,
+            required: Object.keys(schema.properties),
+            additionalProperties: false,
+        };
+        if (schema.description)
+            out.description = schema.description;
+        return out;
+    }
+    if (schema.noMatch === true)
+        return pairJsonSchema(leafJsonSchema(schema));
+    return {
+        type: 'object',
+        properties: { value: leafJsonSchema(schema) },
+        required: ['value'],
+        additionalProperties: false,
+    };
+}
+function pairJsonSchema(value) {
+    return {
+        type: 'object',
+        properties: { value, noMatch: { type: 'boolean' } },
+        required: ['value', 'noMatch'],
+        additionalProperties: false,
+    };
+}
+function leafJsonSchema(leaf) {
+    const out = {};
+    if ('enum' in leaf) {
+        out.type = typeof leaf.enum[0];
+        out.enum = [...leaf.enum];
+    }
+    else if (leaf.type === 'boolean') {
+        out.type = 'boolean';
+    }
+    else {
+        out.type = 'integer';
+        out.enum = integerRange(leaf.minimum, leaf.maximum);
+    }
+    if (leaf.description)
+        out.description = leaf.description;
+    return out;
+}
+/**
+ * Parse one generative sample against the schema: the leaf value, or a `{ [property]: value }`
+ * map for object schemas. Throws a plain `Error` naming what did not fit, never quoting the
+ * sample itself; the caller wraps it.
+ */
+function parseDecisionSample(schema, content) {
+    if (typeof content !== 'string')
+        throw new Error('the sample has no text');
+    let answer;
+    let answerKey;
+    let lastError;
+    for (const candidate of jsonObjectSpans(content)) {
+        let values;
+        try {
+            values = extractSampleValues(schema, candidate);
+        }
+        catch (err) {
+            lastError = err;
+            continue;
+        }
+        const key = JSON.stringify(values);
+        if (answerKey === undefined) {
+            answer = values;
+            answerKey = key;
+        }
+        else if (key !== answerKey) {
+            throw new Error('the sample contains more than one answer');
+        }
+    }
+    if (answerKey !== undefined)
+        return answer;
+    throw lastError ?? new Error('the sample contains no JSON object');
+}
+function extractSampleValues(schema, sample) {
+    if (isObjectSchema(schema)) {
+        const values = {};
+        for (const [name, leaf] of Object.entries(schema.properties)) {
+            if (!Object.hasOwn(sample, name))
+                throw new Error(`the sample has no '${name}'`);
+            values[name] =
+                leaf.noMatch === true
+                    ? checkSamplePair(leaf, sample[name], `'${name}'`)
+                    : checkSampleValue(leaf, sample[name], `'${name}'`);
+        }
+        return values;
+    }
+    if (schema.noMatch === true)
+        return checkSamplePair(schema, sample, 'the sample');
+    return checkSampleValue(schema, sample.value, "'value'");
+}
+function checkSamplePair(leaf, raw, label) {
+    if (!raw || typeof raw !== 'object' || Array.isArray(raw))
+        throw new Error(`${label} needs { value, noMatch }`);
+    const pair = raw;
+    if (typeof pair.noMatch !== 'boolean')
+        throw new Error(`${label} has no boolean noMatch`);
+    return { value: checkSampleValue(leaf, pair.value, `${label} value`), noMatch: pair.noMatch };
+}
+const MAX_OBJECT_SPANS = 64;
+const MAX_SCAN_STEPS_PER_CHAR = 256;
+/**
+ * Every balanced `{`…`}` span that parses to a JSON object. A backend that ignores
+ * `responseFormat` (Anthropic, Bedrock) answers from the prompt alone and may wrap the object in
+ * code fences or prose with braces and stray quotes of its own; the schema check on each candidate
+ * is what tells the answer from the rest, so no span is preferred over another. String tracking
+ * starts at each opening brace, so quotes in the prose before an object cannot hide it, while
+ * braces inside the object's own strings are text and are never tried as starts once that object
+ * has parsed. Those string ranges are recorded once, from the outermost object that parses, so
+ * they stay in text order and the skip is one forward pass over them. The scan fails loudly, never
+ * partially: past `MAX_OBJECT_SPANS` balanced spans, or once the character steps exceed
+ * `MAX_SCAN_STEPS_PER_CHAR` times the reply's length.
+ */
+function* jsonObjectSpans(text) {
+    const work = { left: MAX_SCAN_STEPS_PER_CHAR * text.length };
+    const stringRanges = [];
+    let range = 0;
+    let recordedEnd = -1;
+    let spans = 0;
+    for (let start = text.indexOf('{'); start >= 0; start = text.indexOf('{', start + 1)) {
+        while (range < stringRanges.length && stringRanges[range][1] < start)
+            range++;
+        if (range < stringRanges.length && stringRanges[range][0] < start)
+            continue;
+        const strings = [];
+        const end = balancedClose(text, start, work, strings);
+        if (end < 0)
+            continue;
+        if (++spans > MAX_OBJECT_SPANS)
+            throw new Error('the sample has too many objects');
+        let parsed;
+        try {
+            parsed = JSON.parse(text.slice(start, end + 1));
+        }
+        catch {
+            continue;
+        }
+        if (start > recordedEnd) {
+            stringRanges.push(...strings);
+            recordedEnd = end;
+        }
+        if (parsed && typeof parsed === 'object' && !Array.isArray(parsed))
+            yield parsed;
+    }
+}
+/**
+ * Index of the `}` that balances the `{` at `start`, reading JSON strings as text, or -1. The
+ * `[from, to]` index range of every string read on the way is appended to `strings`.
+ */
+function balancedClose(text, start, work, strings) {
+    let depth = 0;
+    let stringStart = -1;
+    let escaped = false;
+    for (let i = start; i < text.length; i++) {
+        if (--work.left < 0)
+            throw new Error('the sample is too long to scan');
+        const ch = text[i];
+        if (stringStart >= 0) {
+            if (escaped)
+                escaped = false;
+            else if (ch === '\\')
+                escaped = true;
+            else if (ch === '"') {
+                strings.push([stringStart, i]);
+                stringStart = -1;
+            }
+        }
+        else if (ch === '"')
+            stringStart = i;
+        else if (ch === '{')
+            depth++;
+        else if (ch === '}' && --depth === 0)
+            return i;
+    }
+    return -1;
+}
+function checkSampleValue(leaf, raw, label) {
+    if (isAllowedValue(leaf, raw))
+        return raw;
+    throw new Error(`${label} is not an allowed value`);
+}
+/** JSON with object keys sorted at every level; array order is kept because enum order is meaning. */
+function canonicalJson(value) {
+    return JSON.stringify(sortKeys(value));
+}
+function sortKeys(value) {
+    if (Array.isArray(value))
+        return value.map(sortKeys);
+    if (!value || typeof value !== 'object')
+        return value;
+    const sorted = {};
+    for (const key of Object.keys(value).sort())
+        sorted[key] = sortKeys(value[key]);
+    return sorted;
+}
+/** Identity of the schema as the model saw it: the allowed values and the descriptions, nothing else. */
+function hashSchema(schema) {
+    return (0, node_crypto_1.createHash)('sha256')
+        .update(canonicalJson(knownSchema(schema, true)))
+        .digest('hex');
+}
+/**
+ * The allowed values alone, for validating outcomes against. Descriptions are hashed, never stored,
+ * because they are free text that can carry request data; unknown keys are dropped from both.
+ */
+function scoringSchema(schema) {
+    return knownSchema(schema, false);
+}
+/** A copy of a validated schema with only its known keys, so a call and its record see one schema whatever the caller mutates afterwards. */
+function snapshotSchema(schema) {
+    return knownSchema(schema, true);
+}
+/** sha256 of a caller's per-call text, so decisions made under different instructions do not share an identity. */
+function hashText(text) {
+    return (0, node_crypto_1.createHash)('sha256').update(text).digest('hex');
+}
+function knownSchema(schema, withDescriptions) {
+    if (isObjectSchema(schema)) {
+        const properties = {};
+        for (const [name, leaf] of Object.entries(schema.properties))
+            properties[name] = knownLeaf(leaf, withDescriptions);
+        const known = { type: 'object', properties };
+        if (withDescriptions && schema.description !== undefined)
+            known.description = schema.description;
+        return known;
+    }
+    return knownLeaf(schema, withDescriptions);
+}
+function knownLeaf(leaf, withDescriptions) {
+    const known = 'enum' in leaf
+        ? { enum: Array.from(leaf.enum) }
+        : leaf.type === 'boolean'
+            ? { type: 'boolean' }
+            : { type: 'integer', minimum: leaf.minimum, maximum: leaf.maximum };
+    if (leaf.noMatch === true)
+        known.noMatch = true;
+    if (withDescriptions && leaf.description !== undefined)
+        known.description = leaf.description;
+    return known;
+}
+//# sourceMappingURL=decision.js.map

package/dist/resources/models/decision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision.js","sourceRoot":"","sources":["../../../resources/models/decision.ts"],"names":[],"mappings":";;;AAsBA,wCAEC;AAwBD,wDA+BC;AAiDD,sCAIC;AAGD,wCAIC;AAED,oCAKC;AAGD,kCAWC;AAQD,8CAqCC;AA8DD,4CAqBC;AA+BD,kDAuBC;AAuGD,sCAEC;AAYD,gCAIC;AAMD,sCAEC;AAGD,wCAEC;AAGD,4BAEC;AAjeD,6CAAyC;AACzC,kEAA4E;AAW/D,QAAA,eAAe,GAAG,GAAG,CAAC;AACtB,QAAA,iBAAiB,GAAG,EAAE,CAAC;AACpC,8IAA8I;AACjI,QAAA,iBAAiB,GAAG,GAAG,CAAC;AACrC,MAAM,yBAAyB,GAAG,IAAI,CAAC;AACvC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;AAC9E,MAAM,cAAc,GAAuB,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAIxE,SAAgB,cAAc,CAAC,MAAsB;IACpD,OAAQ,MAA6B,CAAC,IAAI,KAAK,QAAQ,CAAC;AACzD,CAAC;AAED,MAAa,mBAAoB,SAAQ,yBAAW;IACnD,YAAY,OAAe;QAC1B,KAAK,CAAC,4BAA4B,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC;QAClD,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACnC,CAAC;CACD;AALD,kDAKC;AAED,MAAa,kBAAmB,SAAQ,yBAAW;IAClD,YAAY,OAAe;QAC1B,KAAK,CAAC,2BAA2B,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IAClC,CAAC;CACD;AALD,gDAKC;AAED,8HAA8H;AAC9H,MAAa,qBAAsB,SAAQ,yBAAW;IACrD,YAAY,WAAmB,EAAE,OAAe;QAC/C,KAAK,CAAC,YAAY,WAAW,mCAAmC,OAAO,EAAE,CAAC,CAAC;QAC3E,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;IACrC,CAAC;CACD;AALD,sDAKC;AAED,SAAgB,sBAAsB,CAAC,MAAe;IACrD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACjE,MAAM,IAAI,mBAAmB,CAAC,0BAA0B,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,MAAiC,CAAC;IACpD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;QACxC,IAAI,CAAC,UAAU,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YAC7E,MAAM,IAAI,mBAAmB,CAAC,yCAAyC,CAAC,CAAC;QAC1E,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,WAAW,KAAK,QAAQ;YACnF,MAAM,IAAI,mBAAmB,CAAC,8BAA8B,CAAC,CAAC;QAC/D,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS;YAClC,MAAM,IAAI,mBAAmB,CAAC,wDAAwD,CAAC,CAAC;QACzF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,mBAAmB,CAAC,8CAA8C,CAAC,CAAC;QACtG,IAAI,KAAK,CAAC,MAAM,GAAG,yBAAiB;YACnC,MAAM,IAAI,mBAAmB,CAC5B,gCAAgC,yBAAiB,oBAAoB,KAAK,CAAC,MAAM,EAAE,CACnF,CAAC;QACH,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC;gBACpD,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,IAAI,kBAAkB,CAAC,CAAC;YACzE,KAAK,IAAI,YAAY,CAAE,UAAsC,CAAC,IAAI,CAAC,EAAE,aAAa,IAAI,GAAG,CAAC,CAAC;QAC5F,CAAC;QACD,IAAI,KAAK,GAAG,yBAAiB;YAC5B,MAAM,IAAI,mBAAmB,CAC5B,kCAAkC,yBAAiB,sCAAsC,KAAK,EAAE,CAChG,CAAC;QACH,OAAO;IACR,CAAC;IACD,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,YAAY,CAAC,IAAa,EAAE,KAAa;IACjD,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAC3D,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,IAA+B,CAAC;IAClD,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,WAAW,KAAK,QAAQ;QACnF,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,gCAAgC,CAAC,CAAC;IACzE,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,OAAO,KAAK,SAAS;QAC5E,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IACtE,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,uBAAe;YACvE,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,mBAAmB,uBAAe,gBAAgB,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAClH,MAAM,IAAI,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;YAC/D,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,2DAA2D,CAAC,CAAC;QACpG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAC;QAChC,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;YACpC,IAAI,OAAO,KAAK,KAAK,IAAI;gBACxB,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,sEAAsE,CAAC,CAAC;YAC/G,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAC/C,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,2DAA2D,CAAC,CAAC;YACpG,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,gCAAgC,CAAC,CAAC;YAC7F,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;QACD,OAAO,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC;IAC9B,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC,MAAM,CAAC;IAC/D,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC;QACvC,0FAA0F;QAC1F,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC;YACnE,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,qDAAqD,CAAC,CAAC;QAC9F,MAAM,IAAI,GAAI,OAAkB,GAAI,OAAkB,GAAG,CAAC,CAAC;QAC3D,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,uBAAe;YACrC,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,+BAA+B,uBAAe,gBAAgB,IAAI,EAAE,CAAC,CAAC;QAC7G,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,IAAI,mBAAmB,CAAC,GAAG,KAAK,mDAAmD,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,YAAY,CAAC,OAAe,EAAE,OAAe;IACrD,MAAM,IAAI,GAAG,OAAO,GAAG,OAAO,GAAG,CAAC,CAAC;IACnC,MAAM,MAAM,GAAa,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC;IACvD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,2DAA2D;AAC3D,SAAgB,aAAa,CAAC,IAAkB;IAC/C,IAAI,MAAM,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC;IACnD,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;AACjD,CAAC;AAED,gCAAgC;AAChC,SAAgB,cAAc,CAAC,IAAkB,EAAE,GAAY;IAC9D,IAAI,MAAM,IAAI,IAAI;QAAE,OAAQ,IAAI,CAAC,IAA2B,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,GAAG,KAAK,SAAS,CAAC;IAC7D,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAK,GAAc,IAAI,IAAI,CAAC,OAAO,IAAK,GAAc,IAAI,IAAI,CAAC,OAAO,CAAC;AACpG,CAAC;AAED,SAAgB,YAAY,CAAC,MAAsB;IAClD,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC;IAC5D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU;QACnC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IACrG,OAAO,KAAK,CAAC;AACd,CAAC;AAED,2GAA2G;AAC3G,SAAgB,WAAW,CAAC,KAAkB;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,kBAAkB,CAAC,qCAAqC,CAAC,CAAC;IAC7G,IAAI,IAAwB,CAAC;IAC7B,IAAI,CAAC;QACJ,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACd,MAAM,IAAI,kBAAkB,CAAC,mCAAoC,GAAa,EAAE,OAAO,IAAI,GAAG,GAAG,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,kBAAkB,CAAC,gCAAgC,CAAC,CAAC;IAC7F,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,SAAgB,iBAAiB,CAChC,MAAsB,EACtB,MAA+B,EAC/B,WAAmB,EACnB,iBAA0B,EAC1B,iBAAiB,GAAG,KAAK;IAEzB,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,0BAA0B,CAAC,CAAC;IACpH,MAAM,QAAQ,GAAG,OAAO,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,iBAAiB,CAAC;IAChG,MAAM,UAAU,GAAG,QAAQ,IAAI,CAAC,iBAAiB,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5E,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;YACxC,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,qCAAqC,CAAC,CAAC;QACrF,MAAM,SAAS,GAAkC,EAAE,CAAC;QACpD,MAAM,KAAK,GAA4B,EAAE,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;gBAAE,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,kBAAkB,IAAI,GAAG,CAAC,CAAC;YAC1G,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,UAAU,IAAI,GAAG,CAAC,CAAC;YACtG,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC9B,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC;gBAC1C,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,qBAAqB,IAAI,GAAG,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAU,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;IAC7D,CAAC;IACD,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAsC;QACnD,KAAK,EAAE,IAAI,CAAC,KAAU;QACtB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,UAAU;KACV,CAAC;IACF,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAChE,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CACrB,IAAkB,EAClB,MAA2C,EAC3C,WAAmB,EACnB,KAAa;IAEb,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,YAAY,GAAG,MAAM,EAAE,YAAY,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,GAAG,KAAK,4BAA4B,CAAC,CAAC;IACrH,IAAI,YAAY,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;QACzC,MAAM,IAAI,qBAAqB,CAC9B,WAAW,EACX,GAAG,KAAK,qDAAqD,OAAO,CAAC,MAAM,UAAU,YAAY,CAAC,MAAM,EAAE,CAC1G,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC3C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YACtC,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,GAAG,KAAK,wBAAwB,CAAC,mBAAmB,CAAC,CAAC;QACpG,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;QACrC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC;YAC/B,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,GAAG,KAAK,wBAAwB,CAAC,0BAA0B,CAAC,CAAC;QAC3G,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,IAAI,WAAW,GAAG,CAAC;YACzG,MAAM,IAAI,qBAAqB,CAC9B,WAAW,EACX,GAAG,KAAK,2CAA2C,CAAC,oCAAoC,CACxF,CAAC;QACH,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YACrB,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,GAAG,KAAK,wBAAwB,CAAC,8BAA8B,CAAC,CAAC;QAC/G,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAChC,GAAG,IAAI,WAAW,CAAC;IACpB,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,yBAAyB;QAChD,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,GAAG,KAAK,0BAA0B,GAAG,cAAc,CAAC,CAAC;IACnG,MAAM,MAAM,GAAsB,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,CAAC,CAAC,CAAC;IACxG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;IAClC,MAAM,MAAM,GAAG,MAAO,CAAC,KAAK,CAAC;IAC7B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACxD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG;YAC9B,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,GAAG,KAAK,wCAAwC,CAAC,CAAC;QAChG,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;QAClE,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,QAAQ,GAAkB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;IACnG,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAO,CAAC,OAAO,CAAC;QAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC;YACjF,MAAM,IAAI,qBAAqB,CAAC,WAAW,EAAE,GAAG,KAAK,6CAA6C,CAAC,CAAC;QACrG,QAAQ,CAAC,OAAO,GAAG,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAgB,gBAAgB,CAAC,MAAsB;IACtD,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,UAAU,GAA2B,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC;YAC3D,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QACxG,MAAM,GAAG,GAA4B;YACpC,IAAI,EAAE,QAAQ;YACd,UAAU;YACV,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YACxC,oBAAoB,EAAE,KAAK;SAC3B,CAAC;QACF,IAAI,MAAM,CAAC,WAAW;YAAE,GAAG,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;QAC7D,OAAO,GAAG,CAAC;IACZ,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,OAAO;QACN,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE;QAC7C,QAAQ,EAAE,CAAC,OAAO,CAAC;QACnB,oBAAoB,EAAE,KAAK;KAC3B,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACpC,OAAO;QACN,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE;QACnD,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC;QAC9B,oBAAoB,EAAE,KAAK;KAC3B,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB;IACzC,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACpB,GAAG,CAAC,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACpC,GAAG,CAAC,IAAI,GAAG,SAAS,CAAC;IACtB,CAAC;SAAM,CAAC;QACP,GAAG,CAAC,IAAI,GAAG,SAAS,CAAC;QACrB,GAAG,CAAC,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,IAAI,CAAC,WAAW;QAAE,GAAG,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACzD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;GAIG;AACH,SAAgB,mBAAmB,CAAC,MAAsB,EAAE,OAAgB;IAC3E,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC3E,IAAI,MAAe,CAAC;IACpB,IAAI,SAA6B,CAAC;IAClC,IAAI,SAA4B,CAAC;IACjC,KAAK,MAAM,SAAS,IAAI,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QAClD,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACJ,MAAM,GAAG,mBAAmB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACjD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACd,SAAS,GAAG,GAAY,CAAC;YACzB,SAAS;QACV,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,GAAG,MAAM,CAAC;YAChB,SAAS,GAAG,GAAG,CAAC;QACjB,CAAC;aAAM,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC7D,CAAC;IACF,CAAC;IACD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC3C,MAAM,SAAS,IAAI,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsB,EAAE,MAA+B;IACnF,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,GAAG,CAAC,CAAC;YACjF,MAAM,CAAC,IAAI,CAAC;gBACX,IAAI,CAAC,OAAO,KAAK,IAAI;oBACpB,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,GAAG,CAAC;oBAClD,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAClF,OAAO,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,eAAe,CAAC,IAAkB,EAAE,GAAY,EAAE,KAAa;IACvE,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,2BAA2B,CAAC,CAAC;IAChH,MAAM,IAAI,GAAG,GAA8B,CAAC;IAC5C,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;IAC1F,OAAO,EAAE,KAAK,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;AAC/F,CAAC;AAOD,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAC5B,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAEpC;;;;;;;;;;;GAWG;AACH,QAAQ,CAAC,CAAC,eAAe,CAAC,IAAY;IACrC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,uBAAuB,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7D,MAAM,YAAY,GAA4B,EAAE,CAAC;IACjD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC;IACrB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QACtF,OAAO,KAAK,GAAG,YAAY,CAAC,MAAM,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;YAAE,KAAK,EAAE,CAAC;QAC9E,IAAI,KAAK,GAAG,YAAY,CAAC,MAAM,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;YAAE,SAAS;QAC5E,MAAM,OAAO,GAA4B,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,GAAG,GAAG,CAAC;YAAE,SAAS;QACtB,IAAI,EAAE,KAAK,GAAG,gBAAgB;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACnF,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACJ,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACR,SAAS;QACV,CAAC;QACD,IAAI,KAAK,GAAG,WAAW,EAAE,CAAC;YACzB,YAAY,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;YAC9B,WAAW,GAAG,GAAG,CAAC;QACnB,CAAC;QACD,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,MAAM,MAAiC,CAAC;IAC7G,CAAC;AACF,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,IAAY,EAAE,KAAa,EAAE,IAAsB,EAAE,OAAgC;IAC3G,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC;IACrB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QACvE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,WAAW,IAAI,CAAC,EAAE,CAAC;YACtB,IAAI,OAAO;gBAAE,OAAO,GAAG,KAAK,CAAC;iBACxB,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,GAAG,IAAI,CAAC;iBAChC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACrB,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC/B,WAAW,GAAG,CAAC,CAAC,CAAC;YAClB,CAAC;QACF,CAAC;aAAM,IAAI,EAAE,KAAK,GAAG;YAAE,WAAW,GAAG,CAAC,CAAC;aAClC,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACxB,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACX,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAkB,EAAE,GAAY,EAAE,KAAa;IACxE,IAAI,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAC1C,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAC;AACrD,CAAC;AAED,sGAAsG;AACtG,SAAgB,aAAa,CAAC,KAAc;IAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC,IAAI,EAAE;QACpD,MAAM,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAE,KAAiC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,OAAO,MAAM,CAAC;AACf,CAAC;AAED,yGAAyG;AACzG,SAAgB,UAAU,CAAC,MAAsB;IAChD,OAAO,IAAA,wBAAU,EAAC,QAAQ,CAAC;SACzB,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;SAChD,MAAM,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,SAAgB,aAAa,CAAC,MAAsB;IACnD,OAAO,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,6IAA6I;AAC7I,SAAgB,cAAc,CAAC,MAAsB;IACpD,OAAO,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,mHAAmH;AACnH,SAAgB,QAAQ,CAAC,IAAY;IACpC,OAAO,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,WAAW,CAAC,MAAsB,EAAE,gBAAyB;IACrE,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAiC,EAAE,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACnH,MAAM,KAAK,GAA4B,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QACtE,IAAI,gBAAgB,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS;YAAE,KAAK,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;QACjG,OAAO,KAAuB,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,SAAS,CAAC,IAAkB,EAAE,gBAAyB;IAC/D,MAAM,KAAK,GACV,MAAM,IAAI,IAAI;QACb,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAA0B,CAAC,EAAE;QACvD,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YACxB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;YACrB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IACvE,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;QAAE,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;IAChD,IAAI,gBAAgB,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,KAAK,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IAC7F,OAAO,KAAqB,CAAC;AAC9B,CAAC"}

package/dist/resources/models/decisionStore.d.ts

@@ -0,0 +1,134 @@
+import { ClientError, ServerError } from '../../utility/errors/hdbError.ts';
+import type { DecisionRecord, DecisionSchema, OutcomeReport } from './types.ts';
+export declare const DECISIONS_TABLE = "hdb_model_decisions";
+export declare const OUTCOMES_TABLE = "hdb_model_outcomes";
+/** Facts copy the decision's instant, so a report never extends a decision's life. */
+export declare const DECISION_RETENTION_MS: number;
+/** A `hdb_model_decisions` row: written once by `models.decide`, never rewritten. */
+export interface DecisionRow {
+    id: string;
+    callId: number;
+    at: number;
+    expiresAt: number;
+    tenant?: string;
+    app?: string;
+    backend: string;
+    model: string;
+    signature?: string;
+    configHash?: string;
+    instructionsHash?: string;
+    schema: DecisionSchema;
+    schemaHash: string;
+    value: unknown;
+    probability?: number;
+    distribution?: DecisionRecord['distribution'];
+    fields?: DecisionRecord['fields'];
+    noMatch?: number;
+    calibrated: boolean;
+}
+/**
+ * The catalog stub (`systemSchema.json` and the upgrade directive) declares only the primary key;
+ * these declarations add the attributes and the indexed `expiresAt` TTL. Writes go through the
+ * Resource API, which maintains the index, so `indexed` holds here, unlike in `hdb_model_calls`.
+ */
+export declare const DECISION_ATTRIBUTES: ({
+    name: string;
+    isPrimaryKey: boolean;
+    type?: undefined;
+    expiresAt?: undefined;
+    indexed?: undefined;
+} | {
+    name: string;
+    type: string;
+    isPrimaryKey?: undefined;
+    expiresAt?: undefined;
+    indexed?: undefined;
+} | {
+    name: string;
+    expiresAt: boolean;
+    indexed: boolean;
+    isPrimaryKey?: undefined;
+    type?: undefined;
+} | {
+    name: string;
+    isPrimaryKey?: undefined;
+    type?: undefined;
+    expiresAt?: undefined;
+    indexed?: undefined;
+})[];
+export declare const OUTCOME_ATTRIBUTES: ({
+    name: string;
+    isPrimaryKey: boolean;
+    type?: undefined;
+    expiresAt?: undefined;
+    indexed?: undefined;
+} | {
+    name: string;
+    type: string;
+    isPrimaryKey?: undefined;
+    expiresAt?: undefined;
+    indexed?: undefined;
+} | {
+    name: string;
+    isPrimaryKey?: undefined;
+    type?: undefined;
+    expiresAt?: undefined;
+    indexed?: undefined;
+} | {
+    name: string;
+    expiresAt: boolean;
+    indexed: boolean;
+    isPrimaryKey?: undefined;
+    type?: undefined;
+})[];
+export interface DecisionTables {
+    decisions: any;
+    outcomes: any;
+}
+/**
+ * Declares both tables and memoizes the handles. A read-only node cannot write the catalog, so it
+ * takes whatever the catalog already holds and declares nothing; a table not there yet reads as empty.
+ */
+export declare function getDecisionTables(readOnly?: boolean): DecisionTables;
+export declare function resetDecisionTables(): void;
+/**
+ * Declared at boot on every writable node so the TTL index exists where decisions are never made.
+ * A failure is logged, not thrown: the first `decide` declares again and reports its own error.
+ */
+export declare function declareDecisionTablesAtBoot(): void;
+export declare class DecisionNotFoundError extends ClientError {
+    constructor(id: string);
+}
+export declare class OutcomeReportError extends ClientError {
+    constructor(message: string);
+}
+export declare class DecisionPersistenceError extends ServerError {
+    constructor(message: string, statusCode?: number);
+}
+export interface DecisionStoreOpts {
+    getTables?: () => DecisionTables;
+    isReadOnly?: () => boolean;
+}
+/**
+ * Durable decisions and their recorded facts. Every operation runs in a transaction of its own
+ * (`transaction` with a context object that is not the ALS store), so a decision made inside an
+ * application transaction survives that transaction's abort, and the commit is awaited before the
+ * id is returned to the caller.
+ */
+export declare class DecisionStore {
+    #private;
+    constructor(opts?: DecisionStoreOpts);
+    assertWritable(what: 'Decisions' | 'Outcomes'): void;
+    persist(row: DecisionRow): Promise<void>;
+    get(id: string, tenant?: string): Promise<DecisionRecord | undefined>;
+    recordOutcome(id: string, report: OutcomeReport, tenant?: string): Promise<DecisionRecord>;
+}
+export declare function getDecisionStore(): DecisionStore;
+export declare function newDecisionId(): string;
+/**
+ * Identity of the model configuration actually installed, recorded on each decision so a reload
+ * that changes the model behind an unchanged logical name still separates the decisions it produced.
+ * Credential-looking keys are dropped before hashing.
+ */
+export declare function setModelsConfigHash(installed: unknown): void;
+export declare function getModelsConfigHash(): string | undefined;