@flyingrobots/graft 0.10.1 → 0.11.1

package/dist/operations/edict-projection.d.ts

@@ -0,0 +1,126 @@
+import type { BufferRange, SyntaxSpan, WarmProjectionBasis } from "./structured-buffer-model.js";
+import type { ResolvedAuthorityContext } from "./projection-profile-resolver.js";
+export type JsonObject = Readonly<Record<string, unknown>>;
+export type EdictProjectionEmit = "syntax" | "diagnostics" | "core" | "targetIr" | "receipt" | "digests";
+export type EdictWriteClass = "none" | "read" | "create" | "ensure" | "append" | "replace" | "delete";
+export interface EdictProjectionOperationProfileFact {
+    readonly source: string;
+    readonly core: string;
+    readonly allowedWriteClasses?: readonly EdictWriteClass[] | undefined;
+}
+export interface EdictProjectionEffectWriteClassFact {
+    readonly effect: string;
+    readonly writeClass: EdictWriteClass;
+}
+export interface EdictProjectionBudget {
+    readonly maxSteps: number;
+    readonly maxAllocatedBytes: number;
+    readonly maxOutputBytes: number;
+}
+export interface EdictProjectionBudgetFact {
+    readonly source: string;
+    readonly budget: EdictProjectionBudget;
+}
+export interface EdictProjectionCompilerContext {
+    readonly operationProfiles?: readonly EdictProjectionOperationProfileFact[] | undefined;
+    readonly effectWriteClasses?: readonly EdictProjectionEffectWriteClassFact[] | undefined;
+    readonly budgets?: readonly EdictProjectionBudgetFact[] | undefined;
+}
+export interface EdictProjectionTargetEffectLowering {
+    readonly effect: string;
+    readonly targetIntrinsic: string;
+}
+export interface EdictProjectionTargetSettings {
+    readonly coordinate: string;
+    readonly profileDigest: string;
+    readonly irDomain: string;
+    readonly operationProfiles?: readonly string[] | undefined;
+    readonly obstructionCoordinates?: readonly string[] | undefined;
+    readonly effectLowerings?: readonly EdictProjectionTargetEffectLowering[] | undefined;
+}
+export interface EdictProjectionRequest {
+    readonly name: string;
+    readonly content: string;
+    readonly basis?: WarmProjectionBasis | null | undefined;
+    readonly emit: readonly EdictProjectionEmit[];
+    readonly authority?: ResolvedAuthorityContext | undefined;
+    readonly compilerContext?: EdictProjectionCompilerContext | undefined;
+    readonly target?: EdictProjectionTargetSettings | undefined;
+}
+export interface EdictProjectionDiagnostics {
+    readonly items: readonly EdictDiagnosticItem[];
+}
+export interface EdictDiagnosticItem {
+    readonly stage: string;
+    readonly kind: string;
+    readonly severity: "error";
+    readonly range: BufferRange;
+    readonly message?: string | undefined;
+}
+export type EdictProjectionSlot<TValue> = {
+    readonly state: "not_requested";
+} | {
+    readonly state: "available";
+    readonly value: TValue;
+} | {
+    readonly state: "blocked";
+    readonly reason: readonly JsonObject[];
+} | {
+    readonly state: "failed";
+    readonly error: EdictProjectionFailure;
+};
+export interface EdictSyntaxProjection {
+    readonly spans: readonly SyntaxSpan[];
+}
+export interface EdictCoreProjection {
+    readonly digest: string;
+    readonly review: JsonObject;
+}
+export interface EdictTargetIrProjection {
+    readonly domain: string;
+    readonly target: {
+        readonly coordinate: string;
+        readonly digest: string;
+    };
+    readonly digest: string;
+    readonly review: JsonObject;
+}
+export interface EdictEchoReceiptProjection {
+    readonly outcomeKind: string;
+    readonly targetIrDigest: string;
+    readonly targetIrDomain?: string | undefined;
+    readonly reasonKind?: string | undefined;
+    readonly reasonPayload?: JsonObject | undefined;
+    readonly receipt: JsonObject;
+}
+export interface EdictProjectionFailure {
+    readonly kind: string;
+    readonly message?: string | undefined;
+    readonly failures?: readonly JsonObject[] | undefined;
+}
+export interface EdictProjectionStatus {
+    readonly status: "ok" | "error";
+    readonly checked: number;
+    readonly errors: number;
+    readonly exitCode: 0 | 1 | 2;
+}
+export interface EdictProjectionBundle {
+    readonly language: "edict";
+    readonly name: string;
+    readonly basis: WarmProjectionBasis | null;
+    readonly syntax: EdictProjectionSlot<EdictSyntaxProjection>;
+    readonly diagnostics: EdictProjectionDiagnostics;
+    readonly core: EdictProjectionSlot<EdictCoreProjection>;
+    readonly targetIr: EdictProjectionSlot<EdictTargetIrProjection>;
+    readonly echoReceipt?: EdictProjectionSlot<EdictEchoReceiptProjection> | undefined;
+    readonly status: EdictProjectionStatus;
+}
+export interface EdictProjectionProvider {
+    project(input: EdictProjectionRequest): EdictProjectionBundle;
+}
+export declare class EdictProjectionError extends Error {
+    constructor(message: string);
+}
+export declare function isEdictPath(filePath: string): boolean;
+export declare function projectEdictJsonlRecords(request: EdictProjectionRequest, records: readonly unknown[]): EdictProjectionBundle;
+//# sourceMappingURL=edict-projection.d.ts.map

package/dist/operations/edict-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edict-projection.d.ts","sourceRoot":"","sources":["../../src/operations/edict-projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,WAAW,EAEX,UAAU,EACV,mBAAmB,EACpB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAEjF,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAE3D,MAAM,MAAM,mBAAmB,GAC3B,QAAQ,GACR,aAAa,GACb,MAAM,GACN,UAAU,GACV,SAAS,GACT,SAAS,CAAC;AAEd,MAAM,MAAM,eAAe,GACvB,MAAM,GACN,MAAM,GACN,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,QAAQ,CAAC;AAEb,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,eAAe,EAAE,GAAG,SAAS,CAAC;CACvE;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;CACxC;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,mCAAmC,EAAE,GAAG,SAAS,CAAC;IACxF,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,mCAAmC,EAAE,GAAG,SAAS,CAAC;IACzF,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,yBAAyB,EAAE,GAAG,SAAS,CAAC;CACrE;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IAC3D,QAAQ,CAAC,sBAAsB,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IAChE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,mCAAmC,EAAE,GAAG,SAAS,CAAC;CACvF;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,mBAAmB,GAAG,IAAI,GAAG,SAAS,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAC9C,QAAQ,CAAC,SAAS,CAAC,EAAE,wBAAwB,GAAG,SAAS,CAAC;IAC1D,QAAQ,CAAC,eAAe,CAAC,EAAE,8BAA8B,GAAG,SAAS,CAAC;IACtE,QAAQ,CAAC,MAAM,CAAC,EAAE,6BAA6B,GAAG,SAAS,CAAC;CAC7D;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAChD;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED,MAAM,MAAM,mBAAmB,CAAC,MAAM,IAClC;IAAE,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;CAAE,GACnC;IAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAA;CAAE,CAAC;AAEzE,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;CAC9B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,CAAC;CACvD;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,IAAI,GAAG,OAAO,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;IAC5D,QAAQ,CAAC,WAAW,EAAE,0BAA0B,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;IACxD,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,uBAAuB,CAAC,CAAC;IAChE,QAAQ,CAAC,WAAW,CAAC,EAAE,mBAAmB,CAAC,0BAA0B,CAAC,GAAG,SAAS,CAAC;IACnF,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;CACxC;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,CAAC,KAAK,EAAE,sBAAsB,GAAG,qBAAqB,CAAC;CAC/D;AAED,qBAAa,oBAAqB,SAAQ,KAAK;gBACjC,OAAO,EAAE,MAAM;CAI5B;AAiTD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAErD;AAED,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,sBAAsB,EAC/B,OAAO,EAAE,SAAS,OAAO,EAAE,GAC1B,qBAAqB,CA4HvB"}

package/dist/operations/edict-projection.js

@@ -0,0 +1,394 @@
+export class EdictProjectionError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "EdictProjectionError";
+    }
+}
+function fail(message) {
+    throw new EdictProjectionError(message);
+}
+function isRecord(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+function requireRecord(value, label) {
+    if (!isRecord(value)) {
+        fail(`${label} must be an object`);
+    }
+    return value;
+}
+function requireString(value, label) {
+    if (typeof value !== "string") {
+        fail(`${label} must be a string`);
+    }
+    return value;
+}
+function requireInteger(value, label) {
+    if (typeof value !== "number" || !Number.isInteger(value)) {
+        fail(`${label} must be an integer`);
+    }
+    return value;
+}
+function requireArray(value, label) {
+    if (!Array.isArray(value)) {
+        fail(`${label} must be an array`);
+    }
+    return value;
+}
+function asJsonObject(value, label) {
+    const record = requireRecord(value, label);
+    return record;
+}
+function requireDigest(value, label) {
+    const digest = requireString(value, label);
+    if (!/^sha256:[0-9a-f]{64}$/u.test(digest)) {
+        fail(`${label} must be a lowercase sha256 digest`);
+    }
+    return digest;
+}
+function requireEnvelope(record, expectedType, label) {
+    const recordType = requireString(record["type"], `${label}.type`);
+    if (recordType !== expectedType) {
+        fail(`${label}.type must be ${expectedType}`);
+    }
+    const command = requireString(record["command"], `${label}.command`);
+    if (command !== "project") {
+        fail(`${label}.command must be project`);
+    }
+}
+function requireInputName(record, requestName, label) {
+    const input = requireRecord(record["input"], `${label}.input`);
+    const inputName = requireString(input["name"], `${label}.input.name`);
+    if (inputName !== requestName) {
+        fail(`${label}.input.name must match the projection request name`);
+    }
+}
+function makeUtf8ByteMapper(source) {
+    const pointByBoundary = new Map();
+    let byte = 0;
+    let row = 0;
+    let column = 0;
+    pointByBoundary.set(byte, { row, column });
+    for (const char of source) {
+        byte += Buffer.byteLength(char, "utf8");
+        if (char === "\n") {
+            row += 1;
+            column = 0;
+        }
+        else {
+            column += 1;
+        }
+        pointByBoundary.set(byte, { row, column });
+    }
+    return {
+        byteToPoint(offset) {
+            const point = pointByBoundary.get(offset);
+            if (point === undefined) {
+                fail(`byte offset ${String(offset)} is not a UTF-8 character boundary`);
+            }
+            return point;
+        },
+        hasBoundary(offset) {
+            return pointByBoundary.has(offset);
+        },
+    };
+}
+function decodeByteRange(value, label, source, mapper) {
+    const record = requireRecord(value, label);
+    const start = requireInteger(record["start"], `${label}.start`);
+    const end = requireInteger(record["end"], `${label}.end`);
+    const sourceLength = Buffer.byteLength(source, "utf8");
+    if (start < 0 || end < start || end > sourceLength) {
+        fail(`${label} must be a valid half-open byte range`);
+    }
+    if (!mapper.hasBoundary(start) || !mapper.hasBoundary(end)) {
+        fail(`${label} must start and end on UTF-8 character boundaries`);
+    }
+    return {
+        start: mapper.byteToPoint(start),
+        end: mapper.byteToPoint(end),
+    };
+}
+function syntaxClassForRole(role) {
+    switch (role) {
+        case "comment":
+            return "comment";
+        case "identifier":
+            return "variable";
+        case "keyword":
+            return "keyword";
+        case "number":
+            return "number";
+        case "operator":
+            return "operator";
+        case "punctuation":
+            return "punctuation";
+        case "string":
+            return "string";
+        case "typeIdentifier":
+            return "type";
+        default:
+            fail(`unknown Edict syntax role ${role}`);
+    }
+}
+function decodeSyntaxRecord(value, source, mapper) {
+    const spans = requireArray(value["spans"], "Edict syntax.spans").map((entry, index) => {
+        const record = requireRecord(entry, `Edict syntax.spans[${String(index)}]`);
+        return {
+            className: syntaxClassForRole(requireString(record["role"], `Edict syntax.spans[${String(index)}].role`)),
+            range: decodeByteRange(record["span"], `Edict syntax.spans[${String(index)}].span`, source, mapper),
+            text: requireString(record["lexeme"], `Edict syntax.spans[${String(index)}].lexeme`),
+        };
+    });
+    return { state: "available", value: { spans } };
+}
+function decodeDiagnosticsRecord(value, source, mapper) {
+    const items = requireArray(value["diagnostics"], "Edict diagnostics.diagnostics").map((entry, index) => {
+        const record = requireRecord(entry, `Edict diagnostics[${String(index)}]`);
+        const message = record["message"];
+        return {
+            stage: requireString(record["stage"], `Edict diagnostics[${String(index)}].stage`),
+            kind: requireString(record["kind"], `Edict diagnostics[${String(index)}].kind`),
+            severity: "error",
+            range: decodeByteRange(record["span"], `Edict diagnostics[${String(index)}].span`, source, mapper),
+            ...(message !== undefined ? { message: requireString(message, `Edict diagnostics[${String(index)}].message`) } : {}),
+        };
+    });
+    return { items };
+}
+function decodeReason(value, label) {
+    return requireArray(value, label).map((entry, index) => asJsonObject(entry, `${label}[${String(index)}]`));
+}
+function decodeCoreRecord(value) {
+    const state = requireString(value["state"], "Edict core.state");
+    if (state === "available") {
+        return {
+            state,
+            value: {
+                digest: requireDigest(value["digest"], "Edict core.digest"),
+                review: asJsonObject(value["review"], "Edict core.review"),
+            },
+        };
+    }
+    if (state === "blocked") {
+        return { state, reason: decodeReason(value["reason"], "Edict core.reason") };
+    }
+    if (state === "failed") {
+        return { state, error: decodeFailure(value["error"], "Edict core.error") };
+    }
+    fail(`unknown Edict core state ${state}`);
+}
+function decodeFailure(value, label) {
+    const record = requireRecord(value, label);
+    const message = record["message"];
+    const failures = record["failures"];
+    return {
+        kind: requireString(record["kind"], `${label}.kind`),
+        ...(message !== undefined ? { message: requireString(message, `${label}.message`) } : {}),
+        ...(failures !== undefined ? { failures: decodeReason(failures, `${label}.failures`) } : {}),
+    };
+}
+function decodeTargetIrRecord(value) {
+    const state = requireString(value["state"], "Edict targetIr.state");
+    if (state === "available") {
+        const target = requireRecord(value["target"], "Edict targetIr.target");
+        return {
+            state,
+            value: {
+                domain: requireString(value["domain"], "Edict targetIr.domain"),
+                target: {
+                    coordinate: requireString(target["coordinate"], "Edict targetIr.target.coordinate"),
+                    digest: requireDigest(target["digest"], "Edict targetIr.target.digest"),
+                },
+                digest: requireDigest(value["digest"], "Edict targetIr.digest"),
+                review: asJsonObject(value["review"], "Edict targetIr.review"),
+            },
+        };
+    }
+    if (state === "blocked") {
+        return { state, reason: decodeReason(value["reason"], "Edict targetIr.reason") };
+    }
+    if (state === "failed") {
+        return { state, error: decodeFailure(value["error"], "Edict targetIr.error") };
+    }
+    fail(`unknown Edict targetIr state ${state}`);
+}
+function decodeEchoReceiptRecord(value) {
+    const state = requireString(value["state"], "Edict echoReceipt.state");
+    if (value["receiptDigest"] !== undefined) {
+        fail("Edict echoReceipt.receiptDigest is not supported until canonical receipt bytes exist");
+    }
+    if (state === "available") {
+        const reason = value["reason"];
+        const reasonRecord = reason !== undefined
+            ? requireRecord(reason, "Edict echoReceipt.reason")
+            : undefined;
+        const reasonKind = reasonRecord?.["kind"];
+        const reasonPayload = reasonRecord?.["payload"];
+        const targetIrDomain = value["targetIrDomain"];
+        return {
+            state,
+            value: {
+                outcomeKind: requireString(value["outcomeKind"], "Edict echoReceipt.outcomeKind"),
+                targetIrDigest: requireDigest(value["targetIrDigest"], "Edict echoReceipt.targetIrDigest"),
+                ...(targetIrDomain !== undefined
+                    ? { targetIrDomain: requireString(targetIrDomain, "Edict echoReceipt.targetIrDomain") }
+                    : {}),
+                ...(reasonKind !== undefined
+                    ? { reasonKind: requireString(reasonKind, "Edict echoReceipt.reason.kind") }
+                    : {}),
+                ...(reasonPayload !== undefined
+                    ? { reasonPayload: asJsonObject(reasonPayload, "Edict echoReceipt.reason.payload") }
+                    : {}),
+                receipt: asJsonObject(value["receipt"], "Edict echoReceipt.receipt"),
+            },
+        };
+    }
+    if (state === "blocked") {
+        return { state, reason: decodeReason(value["reason"], "Edict echoReceipt.reason") };
+    }
+    if (state === "failed") {
+        return { state, error: decodeFailure(value["error"], "Edict echoReceipt.error") };
+    }
+    fail(`unknown Edict echoReceipt state ${state}`);
+}
+function decodeStatusRecord(value) {
+    const status = requireString(value["status"], "Edict status.status");
+    if (status !== "ok" && status !== "error") {
+        fail(`unknown Edict status ${status}`);
+    }
+    const exitCode = requireInteger(value["exitCode"], "Edict status.exitCode");
+    if (exitCode !== 0 && exitCode !== 1 && exitCode !== 2) {
+        fail("Edict status.exitCode must be 0, 1, or 2");
+    }
+    const checked = requireInteger(value["checked"], "Edict status.checked");
+    const errors = requireInteger(value["errors"], "Edict status.errors");
+    if (checked < 0 || errors < 0) {
+        fail("Edict status.checked and Edict status.errors must be non-negative");
+    }
+    return {
+        status,
+        checked,
+        errors,
+        exitCode,
+    };
+}
+export function isEdictPath(filePath) {
+    return filePath.trim().toLowerCase().endsWith(".edict");
+}
+export function projectEdictJsonlRecords(request, records) {
+    const mapper = makeUtf8ByteMapper(request.content);
+    let syntax = { state: "not_requested" };
+    let diagnostics = { items: [] };
+    let diagnosticsSeen = false;
+    let core = { state: "not_requested" };
+    let targetIr = { state: "not_requested" };
+    let echoReceipt = { state: "not_requested" };
+    let status;
+    for (const entry of records) {
+        const record = requireRecord(entry, "Edict JSONL record");
+        const schema = requireString(record["schema"], "Edict JSONL record.schema");
+        switch (schema) {
+            case "edict.projection.syntax/v1":
+                requireEnvelope(record, "syntax", "Edict syntax");
+                requireInputName(record, request.name, "Edict syntax");
+                syntax = decodeSyntaxRecord(record, request.content, mapper);
+                break;
+            case "edict.projection.diagnostics/v1":
+                requireEnvelope(record, "diagnostics", "Edict diagnostics");
+                requireInputName(record, request.name, "Edict diagnostics");
+                diagnostics = decodeDiagnosticsRecord(record, request.content, mapper);
+                diagnosticsSeen = true;
+                break;
+            case "edict.projection.core/v1":
+                requireEnvelope(record, "core", "Edict core");
+                requireInputName(record, request.name, "Edict core");
+                core = decodeCoreRecord(record);
+                break;
+            case "edict.projection.target-ir/v1":
+                requireEnvelope(record, "targetIr", "Edict targetIr");
+                requireInputName(record, request.name, "Edict targetIr");
+                targetIr = decodeTargetIrRecord(record);
+                break;
+            case "edict.projection.echo-receipt/v1":
+                requireEnvelope(record, "echoReceipt", "Edict echoReceipt");
+                requireInputName(record, request.name, "Edict echoReceipt");
+                echoReceipt = decodeEchoReceiptRecord(record);
+                break;
+            case "edict.cli.event/v1":
+                requireEnvelope(record, "status", "Edict status");
+                status = decodeStatusRecord(record);
+                break;
+            default:
+                fail(`unknown Edict JSONL schema ${schema}`);
+        }
+    }
+    if (status === undefined) {
+        fail("Edict JSONL stream is missing final status record");
+    }
+    if (request.emit.includes("diagnostics") && !diagnosticsSeen) {
+        diagnostics = {
+            items: [
+                {
+                    stage: "projection",
+                    kind: "missing_projection_record",
+                    severity: "error",
+                    message: "Edict did not emit a requested diagnostics projection record",
+                    range: {
+                        start: mapper.byteToPoint(0),
+                        end: mapper.byteToPoint(0),
+                    },
+                },
+            ],
+        };
+    }
+    if (request.emit.includes("syntax") && syntax.state === "not_requested") {
+        syntax = {
+            state: "failed",
+            error: {
+                kind: "missing_projection_record",
+                message: "Edict did not emit a requested syntax projection record",
+            },
+        };
+    }
+    if ((request.emit.includes("core") || request.emit.includes("digests"))
+        && core.state === "not_requested") {
+        core = {
+            state: "failed",
+            error: {
+                kind: "missing_projection_record",
+                message: "Edict did not emit a requested Core projection record",
+            },
+        };
+    }
+    if ((request.emit.includes("targetIr") || request.emit.includes("digests"))
+        && targetIr.state === "not_requested") {
+        targetIr = {
+            state: "failed",
+            error: {
+                kind: "missing_projection_record",
+                message: "Edict did not emit a requested Target IR projection record",
+            },
+        };
+    }
+    if (request.emit.includes("receipt") && echoReceipt.state === "not_requested") {
+        echoReceipt = {
+            state: "failed",
+            error: {
+                kind: "missing_projection_record",
+                message: "Edict did not emit a requested Echo receipt projection record",
+            },
+        };
+    }
+    return {
+        language: "edict",
+        name: request.name,
+        basis: request.basis ?? null,
+        syntax,
+        diagnostics,
+        core,
+        targetIr,
+        echoReceipt,
+        status,
+    };
+}
+//# sourceMappingURL=edict-projection.js.map

package/dist/operations/edict-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edict-projection.js","sourceRoot":"","sources":["../../src/operations/edict-projection.ts"],"names":[],"mappings":"AA0JA,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAOD,SAAS,IAAI,CAAC,OAAe;IAC3B,MAAM,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa;IACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,GAAG,KAAK,qBAAqB,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,KAAa;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,KAAa;IACjD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,OAAO,MAAoB,CAAC;AAC9B,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,IAAI,CAAC,GAAG,KAAK,oCAAoC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CAAC,MAA+B,EAAE,YAAoB,EAAE,KAAa;IAC3F,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;IAClE,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,KAAK,iBAAiB,YAAY,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,UAAU,CAAC,CAAC;IACrE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA+B,EAAE,WAAmB,EAAE,KAAa;IAC3F,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;IACtE,IAAI,SAAS,KAAK,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,KAAK,oDAAoD,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAc;IACxC,MAAM,eAAe,GAAG,IAAI,GAAG,EAA2C,CAAC;IAC3E,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;IAE3C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,GAAG,IAAI,CAAC,CAAC;YACT,MAAM,GAAG,CAAC,CAAC;QACb,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO;QACL,WAAW,CAAC,MAAM;YAChB,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,IAAI,CAAC,eAAe,MAAM,CAAC,MAAM,CAAC,oCAAoC,CAAC,CAAC;YAC1E,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,WAAW,CAAC,MAAM;YAChB,OAAO,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,KAAa,EAAE,MAAc,EAAE,MAAsB;IAC5F,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,MAAM,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvD,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,KAAK,IAAI,GAAG,GAAG,YAAY,EAAE,CAAC;QACnD,IAAI,CAAC,GAAG,KAAK,uCAAuC,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,GAAG,KAAK,mDAAmD,CAAC,CAAC;IACpE,CAAC;IACD,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC;QAChC,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,YAAY;YACf,OAAO,UAAU,CAAC;QACpB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;QACpB,KAAK,aAAa;YAChB,OAAO,aAAa,CAAC;QACvB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC;QAChB;YACE,IAAI,CAAC,6BAA6B,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,KAA8B,EAC9B,MAAc,EACd,MAAsB;IAEtB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACpF,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,sBAAsB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5E,OAAO;YACL,SAAS,EAAE,kBAAkB,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,sBAAsB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACzG,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,sBAAsB,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;YACnG,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,sBAAsB,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;SACrF,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAA8B,EAC9B,MAAc,EACd,MAAsB;IAEtB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,+BAA+B,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACrG,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,qBAAqB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3E,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAClC,OAAO;YACL,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,qBAAqB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;YAClF,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,qBAAqB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC/E,QAAQ,EAAE,OAAgB;YAC1B,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,qBAAqB,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;YAClG,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,OAAO,EAAE,qBAAqB,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrH,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,KAAa;IACjD,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7G,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA8B;IACtD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAChE,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,OAAO;YACL,KAAK;YACL,KAAK,EAAE;gBACL,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;gBAC3D,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;aAC3D;SACF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC,EAAE,CAAC;IAC/E,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAC,EAAE,CAAC;IAC7E,CAAC;IACD,IAAI,CAAC,4BAA4B,KAAK,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACpC,OAAO;QACL,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC;QACpD,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,OAAO,EAAE,GAAG,KAAK,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE,GAAG,KAAK,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7F,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA8B;IAC1D,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,sBAAsB,CAAC,CAAC;IACpE,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAC,CAAC;QACvE,OAAO;YACL,KAAK;YACL,KAAK,EAAE;gBACL,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAC;gBAC/D,MAAM,EAAE;oBACN,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,kCAAkC,CAAC;oBACnF,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,8BAA8B,CAAC;iBACxE;gBACD,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAC;gBAC/D,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAC;aAC/D;SACF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAC,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,sBAAsB,CAAC,EAAE,CAAC;IACjF,CAAC;IACD,IAAI,CAAC,gCAAgC,KAAK,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,uBAAuB,CAAC,KAA8B;IAC7D,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,yBAAyB,CAAC,CAAC;IACvE,IAAI,KAAK,CAAC,eAAe,CAAC,KAAK,SAAS,EAAE,CAAC;QACzC,IAAI,CAAC,sFAAsF,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/B,MAAM,YAAY,GAAG,MAAM,KAAK,SAAS;YACvC,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,0BAA0B,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,UAAU,GAAG,YAAY,EAAE,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,aAAa,GAAG,YAAY,EAAE,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,cAAc,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAC/C,OAAO;YACL,KAAK;YACL,KAAK,EAAE;gBACL,WAAW,EAAE,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,+BAA+B,CAAC;gBACjF,cAAc,EAAE,aAAa,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,kCAAkC,CAAC;gBAC1F,GAAG,CAAC,cAAc,KAAK,SAAS;oBAC9B,CAAC,CAAC,EAAE,cAAc,EAAE,aAAa,CAAC,cAAc,EAAE,kCAAkC,CAAC,EAAE;oBACvF,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,UAAU,KAAK,SAAS;oBAC1B,CAAC,CAAC,EAAE,UAAU,EAAE,aAAa,CAAC,UAAU,EAAE,+BAA+B,CAAC,EAAE;oBAC5E,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,aAAa,KAAK,SAAS;oBAC7B,CAAC,CAAC,EAAE,aAAa,EAAE,YAAY,CAAC,aAAa,EAAE,kCAAkC,CAAC,EAAE;oBACpF,CAAC,CAAC,EAAE,CAAC;gBACP,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,2BAA2B,CAAC;aACrE;SACF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,0BAA0B,CAAC,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,yBAAyB,CAAC,EAAE,CAAC;IACpF,CAAC;IACD,IAAI,CAAC,mCAAmC,KAAK,EAAE,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA8B;IACxD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACrE,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QAC1C,IAAI,CAAC,wBAAwB,MAAM,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,CAAC;IAC5E,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,sBAAsB,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACtE,IAAI,OAAO,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,mEAAmE,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO;QACL,MAAM;QACN,OAAO;QACP,MAAM;QACN,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,QAAgB;IAC1C,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,OAA+B,EAC/B,OAA2B;IAE3B,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,MAAM,GAA+C,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IACpF,IAAI,WAAW,GAA+B,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5D,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,IAAI,IAAI,GAA6C,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IAChF,IAAI,QAAQ,GAAiD,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IACxF,IAAI,WAAW,GAAoD,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IAC9F,IAAI,MAAyC,CAAC;IAE9C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,2BAA2B,CAAC,CAAC;QAC5E,QAAQ,MAAM,EAAE,CAAC;YACf,KAAK,4BAA4B;gBAC/B,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;gBAClD,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBACvD,MAAM,GAAG,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBAC7D,MAAM;YACR,KAAK,iCAAiC;gBACpC,eAAe,CAAC,MAAM,EAAE,aAAa,EAAE,mBAAmB,CAAC,CAAC;gBAC5D,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;gBAC5D,WAAW,GAAG,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBACvE,eAAe,GAAG,IAAI,CAAC;gBACvB,MAAM;YACR,KAAK,0BAA0B;gBAC7B,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;gBAC9C,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBACrD,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,+BAA+B;gBAClC,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBACtD,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBACzD,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;gBACxC,MAAM;YACR,KAAK,kCAAkC;gBACrC,eAAe,CAAC,MAAM,EAAE,aAAa,EAAE,mBAAmB,CAAC,CAAC;gBAC5D,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;gBAC5D,WAAW,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;gBAC9C,MAAM;YACR,KAAK,oBAAoB;gBACvB,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;gBAClD,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;gBACpC,MAAM;YACR;gBACE,IAAI,CAAC,8BAA8B,MAAM,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IAED,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC7D,WAAW,GAAG;YACZ,KAAK,EAAE;gBACL;oBACE,KAAK,EAAE,YAAY;oBACnB,IAAI,EAAE,2BAA2B;oBACjC,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,8DAA8D;oBACvE,KAAK,EAAE;wBACL,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;wBAC5B,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;qBAC3B;iBACF;aACF;SACF,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;QACxE,MAAM,GAAG;YACP,KAAK,EAAE,QAAQ;YACf,KAAK,EAAE;gBACL,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,yDAAyD;aACnE;SACF,CAAC;IACJ,CAAC;IACD,IACE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;WAChE,IAAI,CAAC,KAAK,KAAK,eAAe,EACjC,CAAC;QACD,IAAI,GAAG;YACL,KAAK,EAAE,QAAQ;YACf,KAAK,EAAE;gBACL,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,uDAAuD;aACjE;SACF,CAAC;IACJ,CAAC;IACD,IACE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;WACpE,QAAQ,CAAC,KAAK,KAAK,eAAe,EACrC,CAAC;QACD,QAAQ,GAAG;YACT,KAAK,EAAE,QAAQ;YACf,KAAK,EAAE;gBACL,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,4DAA4D;aACtE;SACF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,WAAW,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;QAC9E,WAAW,GAAG;YACZ,KAAK,EAAE,QAAQ;YACf,KAAK,EAAE;gBACL,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,+DAA+D;aACzE;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,OAAO;QACjB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI;QAC5B,MAAM;QACN,WAAW;QACX,IAAI;QACJ,QAAQ;QACR,WAAW;QACX,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/operations/projection-profile-resolver.d.ts

@@ -0,0 +1,67 @@
+export interface ProjectionProfileExtensionInput {
+    readonly coordinate: string;
+    readonly digest: string;
+}
+export interface ProjectionProfileInput {
+    readonly id: string;
+    readonly language: string;
+    readonly provider: string;
+    readonly extensions: readonly ProjectionProfileExtensionInput[];
+    readonly options?: Readonly<Record<string, unknown>> | undefined;
+}
+export interface ProjectionRouteInput {
+    readonly profileId: string;
+    readonly include: readonly string[];
+    readonly exclude?: readonly string[] | undefined;
+}
+export interface ProjectionExtensionFallbackInput {
+    readonly language: string;
+    readonly profileId: string;
+    readonly fileExtensions: readonly string[];
+}
+export interface ProjectionProfileResolverConfig {
+    readonly profiles: readonly ProjectionProfileInput[];
+    readonly routes?: readonly ProjectionRouteInput[] | undefined;
+    readonly extensionFallbacks?: readonly ProjectionExtensionFallbackInput[] | undefined;
+}
+export interface ProjectionProfileExtension {
+    readonly coordinate: string;
+    readonly digest: string;
+}
+export interface ResolvedAuthorityContext {
+    readonly language: string;
+    readonly profileId: string;
+    readonly profileDigest: string;
+    readonly routingDigest?: string | undefined;
+    readonly provider: string;
+    readonly extensions: readonly ProjectionProfileExtension[];
+    readonly resolutionSource: "explicit" | "project_config" | "extension_fallback";
+}
+export type ProjectionRoutingFailureKind = "no_provider" | "unknown_profile" | "ambiguous_profile" | "profile_config_invalid";
+export interface ProjectionRoutingFailure {
+    readonly kind: ProjectionRoutingFailureKind;
+    readonly message: string;
+    readonly path?: string | undefined;
+    readonly profileId?: string | undefined;
+    readonly matchingProfileIds?: readonly string[] | undefined;
+}
+export type ProjectionAuthorityResolution = {
+    readonly state: "resolved";
+    readonly authority: ResolvedAuthorityContext;
+} | {
+    readonly state: "failed";
+    readonly failure: ProjectionRoutingFailure;
+};
+export interface ProjectionProfileResolver {
+    resolve(opts: {
+        readonly path: string;
+        readonly profile?: string | null | undefined;
+        readonly language?: string | null | undefined;
+    }): ProjectionAuthorityResolution;
+}
+export declare class ProjectionProfileResolverError extends Error {
+    readonly kind: "profile_config_invalid";
+    constructor(message: string);
+}
+export declare function createProjectionProfileResolver(config: ProjectionProfileResolverConfig): ProjectionProfileResolver;
+//# sourceMappingURL=projection-profile-resolver.d.ts.map

package/dist/operations/projection-profile-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection-profile-resolver.d.ts","sourceRoot":"","sources":["../../src/operations/projection-profile-resolver.ts"],"names":[],"mappings":"AAWA,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,+BAA+B,EAAE,CAAC;IAChE,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC;CAClE;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CAClD;AAED,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACrD,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,oBAAoB,EAAE,GAAG,SAAS,CAAC;IAC9D,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,gCAAgC,EAAE,GAAG,SAAS,CAAC;CACvF;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC3D,QAAQ,CAAC,gBAAgB,EAAE,UAAU,GAAG,gBAAgB,GAAG,oBAAoB,CAAC;CACjF;AAED,MAAM,MAAM,4BAA4B,GACpC,aAAa,GACb,iBAAiB,GACjB,mBAAmB,GACnB,wBAAwB,CAAC;AAE7B,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,4BAA4B,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CAC7D;AAED,MAAM,MAAM,6BAA6B,GACrC;IACE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,wBAAwB,CAAC;CAC9C,GACD;IACE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;CAC5C,CAAC;AAEN,MAAM,WAAW,yBAAyB;IACxC,OAAO,CAAC,IAAI,EAAE;QACZ,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;QAC7C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;KAC/C,GAAG,6BAA6B,CAAC;CACnC;AAgCD,qBAAa,8BAA+B,SAAQ,KAAK;IACvD,QAAQ,CAAC,IAAI,EAAG,wBAAwB,CAAU;gBAEtC,OAAO,EAAE,MAAM;CAI5B;AAED,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,+BAA+B,GAAG,yBAAyB,CAElH"}