@hyperscale0/hsx 1.0.0-alpha.6 → 1.0.0-rc.1

package/dist/src/cost.js

@@ -0,0 +1,369 @@
+import { udlEffectKinds, } from "@hyperscale0/udl";
+export function buildCostManifest(program, table, composesCatalogBlueprint) {
+    if (!table) {
+        return {
+            diagnostics: [
+                {
+                    code: "HSX1301",
+                    fix: "supply the versioned UDL cost table to the compiler",
+                    message: "the compiler cannot price this program without a cost table",
+                    severity: "error",
+                    span: program.origin,
+                },
+            ],
+            ok: false,
+        };
+    }
+    if (!/^[A-Z]{3}$/.test(table.currency)) {
+        return {
+            diagnostics: [
+                {
+                    code: "HSX1303",
+                    fix: "name one three-letter uppercase billing currency on the cost table",
+                    message: `cost table ${table.version} has invalid billing currency ${table.currency}`,
+                    severity: "error",
+                    span: program.origin,
+                },
+            ],
+            ok: false,
+        };
+    }
+    const diagnostics = [];
+    const rowsBySignature = new Map();
+    for (const row of table.rows) {
+        rowsBySignature.set(row.signature, [
+            ...(rowsBySignature.get(row.signature) ?? []),
+            row,
+        ]);
+    }
+    const actions = [];
+    for (const instrument of program.instruments) {
+        for (const action of instrument.actions) {
+            const components = [];
+            let productPerEvent = 0n;
+            let endCustomerPerEvent = 0n;
+            for (const [signature, count] of effectCounts(action.effects)) {
+                const rows = rowsBySignature.get(signature) ?? [];
+                if (rows.length === 0) {
+                    diagnostics.push({
+                        code: "HSX1301",
+                        fix: `add ${signature} to cost table ${table.version}`,
+                        message: `${instrument.id}.${action.name} has unpriced effect signature ${signature}`,
+                        severity: "error",
+                        span: action.origin,
+                    });
+                    continue;
+                }
+                for (const row of rows) {
+                    if (!validPrice(row)) {
+                        diagnostics.push({
+                            code: "HSX1302",
+                            fix: `store ${signature} prices as nonnegative integers and name a volume meter for bps`,
+                            message: `cost table ${table.version} has an invalid ${signature} price`,
+                            severity: "error",
+                            span: action.origin,
+                        });
+                        continue;
+                    }
+                    const eventTotal = BigInt(row.perEventMinor) * BigInt(count);
+                    if (row.payer === "product")
+                        productPerEvent += eventTotal;
+                    else
+                        endCustomerPerEvent += eventTotal;
+                    components.push({
+                        bps: row.bps,
+                        count,
+                        meter: row.meter,
+                        payer: row.payer,
+                        perEventMinor: row.perEventMinor,
+                        settlement: row.settlement,
+                        signature,
+                        ...(row.volumeMeter ? { volumeMeter: row.volumeMeter } : {}),
+                    });
+                }
+            }
+            actions.push({
+                action: action.name,
+                components,
+                endCustomerPerEventMinor: endCustomerPerEvent.toString(),
+                instrument: instrument.id,
+                perEventMinor: productPerEvent.toString(),
+            });
+        }
+    }
+    const fixed = fixedCost(typedStructuralCounts(program, composesCatalogBlueprint), table, program.origin, diagnostics);
+    if (diagnostics.length > 0)
+        return { diagnostics, ok: false };
+    return { manifest: manifest(table, fixed, actions), ok: true };
+}
+export function computeUdlFixedCost(document, table, composesCatalogBlueprint) {
+    const diagnostics = [];
+    const fixed = fixedCost(udlStructuralCounts(document, composesCatalogBlueprint), table, { start: 0, end: 0 }, diagnostics);
+    if (diagnostics.length > 0)
+        throw new Error(diagnostics[0]?.message);
+    return fixed;
+}
+export function buildUdlCostManifest(document, table, composesCatalogBlueprint) {
+    if (!/^[A-Z]{3}$/.test(table.currency)) {
+        throw new Error(`cost table ${table.version} has invalid billing currency ${table.currency}`);
+    }
+    const rowsBySignature = new Map();
+    for (const row of table.rows) {
+        rowsBySignature.set(row.signature, [
+            ...(rowsBySignature.get(row.signature) ?? []),
+            row,
+        ]);
+    }
+    const actions = [];
+    for (const instrument of document.instruments) {
+        for (const [actionName, action] of Object.entries(instrument.actions)) {
+            const components = [];
+            let productPerEvent = 0n;
+            let endCustomerPerEvent = 0n;
+            const effects = (action.effects ?? {});
+            for (const [signature, count] of effectCounts(effects)) {
+                const rows = rowsBySignature.get(signature) ?? [];
+                if (rows.length === 0)
+                    throw new Error(`${instrument.id}.${actionName} has unpriced effect signature ${signature}`);
+                for (const row of rows) {
+                    if (!validPrice(row))
+                        throw new Error(`cost table ${table.version} has an invalid ${signature} price`);
+                    const eventTotal = BigInt(row.perEventMinor) * BigInt(count);
+                    if (row.payer === "product")
+                        productPerEvent += eventTotal;
+                    else
+                        endCustomerPerEvent += eventTotal;
+                    components.push({
+                        bps: row.bps,
+                        count,
+                        meter: row.meter,
+                        payer: row.payer,
+                        perEventMinor: row.perEventMinor,
+                        settlement: row.settlement,
+                        signature,
+                        ...(row.volumeMeter ? { volumeMeter: row.volumeMeter } : {}),
+                    });
+                }
+            }
+            actions.push({
+                action: actionName,
+                components,
+                endCustomerPerEventMinor: endCustomerPerEvent.toString(),
+                instrument: instrument.id,
+                perEventMinor: productPerEvent.toString(),
+            });
+        }
+    }
+    return manifest(table, computeUdlFixedCost(document, table, composesCatalogBlueprint), actions);
+}
+export function evaluateUdlCostManifest(costManifest, readings) {
+    let total = BigInt(costManifest.fixed.monthlyMinor);
+    const priced = new Set();
+    for (const price of costManifest.meterPrices) {
+        if (price.payer !== "product")
+            continue;
+        const key = pricingKey(price);
+        if (priced.has(key))
+            continue;
+        priced.add(key);
+        const count = scaledDecimal(readings[price.meter] ?? "0");
+        total += (BigInt(price.perEventMinor) * count) / 1000000n;
+        if (price.bps > 0 && price.volumeMeter) {
+            const volume = scaledDecimal(readings[price.volumeMeter] ?? "0");
+            total += (volume * BigInt(price.bps)) / 10000n / 1000000n;
+        }
+    }
+    return total.toString();
+}
+function manifest(table, fixed, actions) {
+    const declaredMeters = [...new Set(table.declaredMeters)].sort();
+    const declaredMeterSet = new Set(declaredMeters);
+    const meterPrices = table.rows.filter((row) => (row.perEventMinor !== "0" || row.bps > 0) &&
+        (declaredMeterSet.has(row.meter) ||
+            (row.volumeMeter !== undefined &&
+                declaredMeterSet.has(row.volumeMeter))));
+    const variables = new Set();
+    const terms = [fixed.monthlyMinor];
+    const priced = new Set();
+    for (const price of meterPrices) {
+        if (price.payer !== "product")
+            continue;
+        const key = pricingKey(price);
+        if (priced.has(key))
+            continue;
+        priced.add(key);
+        variables.add(price.meter);
+        if (price.perEventMinor !== "0")
+            terms.push(`${price.perEventMinor} * ${price.meter}`);
+        if (price.bps > 0 && price.volumeMeter) {
+            variables.add(price.volumeMeter);
+            terms.push(`${price.bps} / 10000 * ${price.volumeMeter}`);
+        }
+    }
+    return {
+        actions,
+        costTableVersion: table.version,
+        currency: table.currency,
+        declaredMeters,
+        effectiveTableDigest: table.effectiveTableDigest,
+        fixed,
+        meterPrices,
+        monthlyEstimate: {
+            expression: terms.join(" + "),
+            variables: [...variables].sort(),
+        },
+    };
+}
+function pricingKey(component) {
+    return [
+        component.signature,
+        component.meter,
+        component.volumeMeter ?? "",
+        component.perEventMinor,
+        String(component.bps),
+        component.payer,
+        component.settlement,
+    ].join("\u0000");
+}
+function effectCounts(effects) {
+    const counts = new Map();
+    for (const kind of udlEffectKinds) {
+        for (const effect of effects[kind] ?? [])
+            counts.set(effect.signature, (counts.get(effect.signature) ?? 0) + 1);
+    }
+    return [...counts.entries()].sort(([left], [right]) => left.localeCompare(right));
+}
+function fixedCost(counts, table, span, diagnostics) {
+    const components = [];
+    let complexityScore = 0;
+    for (const [weight, count] of Object.entries(counts)) {
+        if (count === 0)
+            continue;
+        const value = table.fixed.weights[weight];
+        if (value === undefined || !Number.isSafeInteger(value) || value < 0) {
+            diagnostics.push({
+                code: "HSX1302",
+                fix: `add a nonnegative integer ${weight} weight to cost table ${table.version}`,
+                message: `cost table ${table.version} has an invalid ${weight} complexity weight`,
+                severity: "error",
+                span,
+            });
+            continue;
+        }
+        complexityScore += value * count;
+        components.push({ count, weight });
+    }
+    for (const [field, value] of Object.entries(table.fixed).filter(([key]) => key !== "weights")) {
+        if (typeof value === "string" && nonnegativeInteger(value))
+            continue;
+        diagnostics.push({
+            code: "HSX1302",
+            fix: `store fixed.${field} as a nonnegative decimal integer`,
+            message: `cost table ${table.version} has an invalid fixed ${field} price`,
+            severity: "error",
+            span,
+        });
+    }
+    return {
+        activationMinor: (integerOrZero(table.fixed.activationBaseMinor) +
+            integerOrZero(table.fixed.activationPerPointMinor) *
+                BigInt(complexityScore)).toString(),
+        complexityScore,
+        components,
+        monthlyMinor: (integerOrZero(table.fixed.monthlyBaseMinor) +
+            integerOrZero(table.fixed.monthlyPerPointMinor) * BigInt(complexityScore)).toString(),
+    };
+}
+function typedStructuralCounts(program, blueprint) {
+    const subjectKinds = new Set();
+    const decisions = new Set();
+    let flow = 0, move = 0, unwind = 0, aggregate = 0, gate = 0, timer = 0;
+    for (const instrument of program.instruments) {
+        for (const kind of arrayValue(objectValue(instrument.slots.subject)?.kinds))
+            if (typeof kind === "string")
+                subjectKinds.add(kind);
+        if (instrument.actions.some((action) => action.slots.quote !== undefined))
+            unwind += 1;
+        aggregate += arrayValue(instrument.slots.aggregateInvariants).length;
+        for (const action of instrument.actions) {
+            flow += 1;
+            move += arrayValue(action.slots.moves).length;
+            gate += arrayValue(action.slots.requiresRefs).length;
+            if (action.slots.deadline !== undefined)
+                timer += 1;
+            if (action.slots.due !== undefined)
+                timer += 1;
+            const capability = objectValue(action.slots.decision)?.capability;
+            if (typeof capability === "string")
+                decisions.add(capability);
+        }
+    }
+    return countRecord(program.instruments.length, subjectKinds.size, flow, move, decisions.size, unwind, aggregate, gate, timer, blueprint);
+}
+function udlStructuralCounts(document, blueprint) {
+    const subjectKinds = new Set();
+    const decisions = new Set();
+    let flow = 0, move = 0, unwind = 0, aggregate = 0, gate = 0, timer = 0;
+    for (const instrument of document.instruments) {
+        for (const kind of instrument.subject?.kinds ?? [])
+            subjectKinds.add(kind);
+        if (Object.values(instrument.actions).some((action) => action.quote))
+            unwind += 1;
+        aggregate += instrument.aggregateInvariants?.length ?? 0;
+        for (const action of Object.values(instrument.actions)) {
+            flow += 1;
+            move += action.moves.length;
+            gate += action.requiresRefs?.length ?? 0;
+            if (action.deadline)
+                timer += 1;
+            if (action.due)
+                timer += 1;
+            if (action.decision)
+                decisions.add(action.decision.capability);
+        }
+    }
+    return countRecord(document.instruments.length, subjectKinds.size, flow, move, decisions.size, unwind, aggregate, gate, timer, blueprint);
+}
+function countRecord(instrument, subjectKind, flow, move, providerDecision, unwind, aggregateInvariant, gate, timer, blueprint) {
+    return {
+        instrument,
+        subject_kind: subjectKind,
+        flow,
+        move,
+        provider_decision: providerDecision,
+        unwind,
+        aggregate_invariant: aggregateInvariant,
+        gate,
+        timer,
+        blueprint: blueprint ? 1 : 0,
+    };
+}
+function validPrice(row) {
+    return (nonnegativeInteger(row.perEventMinor) &&
+        Number.isSafeInteger(row.bps) &&
+        row.bps >= 0 &&
+        (row.settlement === "per_event" || row.settlement === "invoice") &&
+        (row.bps === 0 || row.volumeMeter !== undefined));
+}
+function arrayValue(value) {
+    return Array.isArray(value) ? value : [];
+}
+function objectValue(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : undefined;
+}
+function nonnegativeInteger(value) {
+    return /^(0|[1-9][0-9]*)$/.test(value);
+}
+function integerOrZero(value) {
+    return nonnegativeInteger(value) ? BigInt(value) : 0n;
+}
+function scaledDecimal(value) {
+    const match = /^(0|[1-9][0-9]*)(?:\.([0-9]{1,6}))?$/.exec(value);
+    if (!match)
+        throw new Error(`invalid meter reading ${value}`);
+    return (BigInt(match[1] ?? "0") * 1000000n +
+        BigInt((match[2] ?? "").padEnd(6, "0")));
+}
+//# sourceMappingURL=cost.js.map

package/dist/src/cost.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cost.js","sourceRoot":"","sources":["../../src/cost.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,GAGf,MAAM,kBAAkB,CAAC;AA0E1B,MAAM,UAAU,iBAAiB,CAC/B,OAAqB,EACrB,KAA+B,EAC/B,wBAAiC;IAEjC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;YACL,WAAW,EAAE;gBACX;oBACE,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,qDAAqD;oBAC1D,OAAO,EACL,6DAA6D;oBAC/D,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,OAAO,CAAC,MAAM;iBACrB;aACF;YACD,EAAE,EAAE,KAAK;SACV,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO;YACL,WAAW,EAAE;gBACX;oBACE,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,oEAAoE;oBACzE,OAAO,EAAE,cAAc,KAAK,CAAC,OAAO,iCAAiC,KAAK,CAAC,QAAQ,EAAE;oBACrF,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,OAAO,CAAC,MAAM;iBACrB;aACF;YACD,EAAE,EAAE,KAAK;SACV,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAwB,EAAE,CAAC;IAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAgC,CAAC;IAChE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE;YACjC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YAC7C,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAyC,EAAE,CAAC;IACzD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC7C,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YACxC,MAAM,UAAU,GACd,EAAE,CAAC;YACL,IAAI,eAAe,GAAG,EAAE,CAAC;YACzB,IAAI,mBAAmB,GAAG,EAAE,CAAC;YAC7B,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9D,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBAClD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACtB,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,SAAS;wBACf,GAAG,EAAE,OAAO,SAAS,kBAAkB,KAAK,CAAC,OAAO,EAAE;wBACtD,OAAO,EAAE,GAAG,UAAU,CAAC,EAAE,IAAI,MAAM,CAAC,IAAI,kCAAkC,SAAS,EAAE;wBACrF,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,MAAM,CAAC,MAAM;qBACpB,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;wBACrB,WAAW,CAAC,IAAI,CAAC;4BACf,IAAI,EAAE,SAAS;4BACf,GAAG,EAAE,SAAS,SAAS,iEAAiE;4BACxF,OAAO,EAAE,cAAc,KAAK,CAAC,OAAO,mBAAmB,SAAS,QAAQ;4BACxE,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,MAAM,CAAC,MAAM;yBACpB,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBACD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;oBAC7D,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;wBAAE,eAAe,IAAI,UAAU,CAAC;;wBACtD,mBAAmB,IAAI,UAAU,CAAC;oBACvC,UAAU,CAAC,IAAI,CAAC;wBACd,GAAG,EAAE,GAAG,CAAC,GAAG;wBACZ,KAAK;wBACL,KAAK,EAAE,GAAG,CAAC,KAAK;wBAChB,KAAK,EAAE,GAAG,CAAC,KAAK;wBAChB,aAAa,EAAE,GAAG,CAAC,aAAa;wBAChC,UAAU,EAAE,GAAG,CAAC,UAAU;wBAC1B,SAAS;wBACT,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC7D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,MAAM,CAAC,IAAI;gBACnB,UAAU;gBACV,wBAAwB,EAAE,mBAAmB,CAAC,QAAQ,EAAE;gBACxD,UAAU,EAAE,UAAU,CAAC,EAAE;gBACzB,aAAa,EAAE,eAAe,CAAC,QAAQ,EAAE;aAC1C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CACrB,qBAAqB,CAAC,OAAO,EAAE,wBAAwB,CAAC,EACxD,KAAK,EACL,OAAO,CAAC,MAAM,EACd,WAAW,CACZ,CAAC;IACF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IAC9D,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,QAAqB,EACrB,KAAmB,EACnB,wBAAiC;IAEjC,MAAM,WAAW,GAAwB,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,SAAS,CACrB,mBAAmB,CAAC,QAAQ,EAAE,wBAAwB,CAAC,EACvD,KAAK,EACL,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EACpB,WAAW,CACZ,CAAC;IACF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,QAAqB,EACrB,KAAmB,EACnB,wBAAiC;IAEjC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CACb,cAAc,KAAK,CAAC,OAAO,iCAAiC,KAAK,CAAC,QAAQ,EAAE,CAC7E,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAgC,CAAC;IAChE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE;YACjC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YAC7C,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAyC,EAAE,CAAC;IACzD,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACtE,MAAM,UAAU,GACd,EAAE,CAAC;YACL,IAAI,eAAe,GAAG,EAAE,CAAC;YACzB,IAAI,mBAAmB,GAAG,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAOpC,CAAC;YACF,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvD,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBAClD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;oBACnB,MAAM,IAAI,KAAK,CACb,GAAG,UAAU,CAAC,EAAE,IAAI,UAAU,kCAAkC,SAAS,EAAE,CAC5E,CAAC;gBACJ,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;wBAClB,MAAM,IAAI,KAAK,CACb,cAAc,KAAK,CAAC,OAAO,mBAAmB,SAAS,QAAQ,CAChE,CAAC;oBACJ,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;oBAC7D,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;wBAAE,eAAe,IAAI,UAAU,CAAC;;wBACtD,mBAAmB,IAAI,UAAU,CAAC;oBACvC,UAAU,CAAC,IAAI,CAAC;wBACd,GAAG,EAAE,GAAG,CAAC,GAAG;wBACZ,KAAK;wBACL,KAAK,EAAE,GAAG,CAAC,KAAK;wBAChB,KAAK,EAAE,GAAG,CAAC,KAAK;wBAChB,aAAa,EAAE,GAAG,CAAC,aAAa;wBAChC,UAAU,EAAE,GAAG,CAAC,UAAU;wBAC1B,SAAS;wBACT,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC7D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,UAAU;gBAClB,UAAU;gBACV,wBAAwB,EAAE,mBAAmB,CAAC,QAAQ,EAAE;gBACxD,UAAU,EAAE,UAAU,CAAC,EAAE;gBACzB,aAAa,EAAE,eAAe,CAAC,QAAQ,EAAE;aAC1C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CACb,KAAK,EACL,mBAAmB,CAAC,QAAQ,EAAE,KAAK,EAAE,wBAAwB,CAAC,EAC9D,OAAO,CACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,YAA6B,EAC7B,QAA0C;IAE1C,IAAI,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,SAAS;QACxC,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QAC1D,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,GAAG,QAAU,CAAC;QAC5D,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,CAAC;YACjE,KAAK,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,MAAO,GAAG,QAAU,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,QAAQ,CACf,KAAmB,EACnB,KAA+B,EAC/B,OAAmC;IAEnC,MAAM,cAAc,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CACnC,CAAC,GAAG,EAAE,EAAE,CACN,CAAC,GAAG,CAAC,aAAa,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;QAC1C,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC;YAC9B,CAAC,GAAG,CAAC,WAAW,KAAK,SAAS;gBAC5B,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAC9C,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,SAAS;QACxC,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,KAAK,CAAC,aAAa,KAAK,GAAG;YAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,aAAa,MAAM,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QACxD,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACvC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,cAAc,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO;QACL,OAAO;QACP,gBAAgB,EAAE,KAAK,CAAC,OAAO;QAC/B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,cAAc;QACd,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;QAChD,KAAK;QACL,WAAW;QACX,eAAe,EAAE;YACf,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;YAC7B,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE;SACjC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,SASC;IAED,OAAO;QACL,SAAS,CAAC,SAAS;QACnB,SAAS,CAAC,KAAK;QACf,SAAS,CAAC,WAAW,IAAI,EAAE;QAC3B,SAAS,CAAC,aAAa;QACvB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACrB,SAAS,CAAC,KAAK;QACf,SAAS,CAAC,UAAU;KACrB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CACnB,OAOC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE;YACtC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CACpD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,MAAwC,EACxC,KAAmB,EACnB,IAAsD,EACtD,WAAgC;IAEhC,MAAM,UAAU,GAAqD,EAAE,CAAC;IACxE,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,IAAI,KAAK,KAAK,CAAC;YAAE,SAAS;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACrE,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,SAAS;gBACf,GAAG,EAAE,6BAA6B,MAAM,yBAAyB,KAAK,CAAC,OAAO,EAAE;gBAChF,OAAO,EAAE,cAAc,KAAK,CAAC,OAAO,mBAAmB,MAAM,oBAAoB;gBACjF,QAAQ,EAAE,OAAO;gBACjB,IAAI;aACL,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,eAAe,IAAI,KAAK,GAAG,KAAK,CAAC;QACjC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAC7D,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAC7B,EAAE,CAAC;QACF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,kBAAkB,CAAC,KAAK,CAAC;YAAE,SAAS;QACrE,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,SAAS;YACf,GAAG,EAAE,eAAe,KAAK,mCAAmC;YAC5D,OAAO,EAAE,cAAc,KAAK,CAAC,OAAO,yBAAyB,KAAK,QAAQ;YAC1E,QAAQ,EAAE,OAAO;YACjB,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,eAAe,EAAE,CACf,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC;YAC9C,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,uBAAuB,CAAC;gBAChD,MAAM,CAAC,eAAe,CAAC,CAC1B,CAAC,QAAQ,EAAE;QACZ,eAAe;QACf,UAAU;QACV,YAAY,EAAE,CACZ,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC;YAC3C,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,CAC1E,CAAC,QAAQ,EAAE;KACb,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAqB,EACrB,SAAkB;IAElB,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,IAAI,GAAG,CAAC,EACV,IAAI,GAAG,CAAC,EACR,MAAM,GAAG,CAAC,EACV,SAAS,GAAG,CAAC,EACb,IAAI,GAAG,CAAC,EACR,KAAK,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;YACzE,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC;YACvE,MAAM,IAAI,CAAC,CAAC;QACd,SAAS,IAAI,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,MAAM,CAAC;QACrE,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,CAAC;YACV,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;YAC9C,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC;YACrD,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;gBAAE,KAAK,IAAI,CAAC,CAAC;YACpD,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,SAAS;gBAAE,KAAK,IAAI,CAAC,CAAC;YAC/C,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC;YAClE,IAAI,OAAO,UAAU,KAAK,QAAQ;gBAAE,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAChB,OAAO,CAAC,WAAW,CAAC,MAAM,EAC1B,YAAY,CAAC,IAAI,EACjB,IAAI,EACJ,IAAI,EACJ,SAAS,CAAC,IAAI,EACd,MAAM,EACN,SAAS,EACT,IAAI,EACJ,KAAK,EACL,SAAS,CACV,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAqB,EACrB,SAAkB;IAElB,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,IAAI,GAAG,CAAC,EACV,IAAI,GAAG,CAAC,EACR,MAAM,GAAG,CAAC,EACV,SAAS,GAAG,CAAC,EACb,IAAI,GAAG,CAAC,EACR,KAAK,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE;YAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3E,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;YAClE,MAAM,IAAI,CAAC,CAAC;QACd,SAAS,IAAI,UAAU,CAAC,mBAAmB,EAAE,MAAM,IAAI,CAAC,CAAC;QACzD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,IAAI,IAAI,CAAC,CAAC;YACV,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;YAC5B,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC;YACzC,IAAI,MAAM,CAAC,QAAQ;gBAAE,KAAK,IAAI,CAAC,CAAC;YAChC,IAAI,MAAM,CAAC,GAAG;gBAAE,KAAK,IAAI,CAAC,CAAC;YAC3B,IAAI,MAAM,CAAC,QAAQ;gBAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAChB,QAAQ,CAAC,WAAW,CAAC,MAAM,EAC3B,YAAY,CAAC,IAAI,EACjB,IAAI,EACJ,IAAI,EACJ,SAAS,CAAC,IAAI,EACd,MAAM,EACN,SAAS,EACT,IAAI,EACJ,KAAK,EACL,SAAS,CACV,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,UAAkB,EAClB,WAAmB,EACnB,IAAY,EACZ,IAAY,EACZ,gBAAwB,EACxB,MAAc,EACd,kBAA0B,EAC1B,IAAY,EACZ,KAAa,EACb,SAAkB;IAElB,OAAO;QACL,UAAU;QACV,YAAY,EAAE,WAAW;QACzB,IAAI;QACJ,IAAI;QACJ,iBAAiB,EAAE,gBAAgB;QACnC,MAAM;QACN,mBAAmB,EAAE,kBAAkB;QACvC,IAAI;QACJ,KAAK;QACL,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,GAAiC;IACnD,OAAO,CACL,kBAAkB,CAAC,GAAG,CAAC,aAAa,CAAC;QACrC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;QAC7B,GAAG,CAAC,GAAG,IAAI,CAAC;QACZ,CAAC,GAAG,CAAC,UAAU,KAAK,WAAW,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC;QAChE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CACjD,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAA4B;IAC9C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,SAAS,WAAW,CAClB,KAA4B;IAE5B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAA6C;QAChD,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AACD,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACzC,CAAC;AACD,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,KAAK,GAAG,sCAAsC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,EAAE,CAAC,CAAC;IAC9D,OAAO,CACL,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,QAAU;QACpC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CACxC,CAAC;AACJ,CAAC"}

package/dist/src/diagnostics.d.ts

@@ -0,0 +1,11 @@
+export interface HsxDiagnosticCatalogEntry {
+    readonly code: `HSX${number}`;
+    readonly stage: "bind" | "lower" | "parse" | "typecheck";
+    readonly title: string;
+    readonly fix: string;
+    readonly example: string | null;
+    readonly reason?: string;
+}
+/** Stable public descriptions for every diagnostic code emitted by HSX. */
+export declare const hsxDiagnostics: readonly HsxDiagnosticCatalogEntry[];
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/src/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../src/diagnostics.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,MAAM,EAAE,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,WAAW,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAYD,2EAA2E;AAC3E,eAAO,MAAM,cAAc,EAAE,SAAS,yBAAyB,EAqarD,CAAC"}