@exornea/zeno-compiler 1.7.0

package/dist/measurement.d.ts

@@ -0,0 +1,41 @@
+export declare const MEASUREMENT_LAYERS: readonly ["typescript-syntax", "typescript-type", "layout-ir-fixed", "layout-ir-dynamic", "emitted-view"];
+export type Resolution = (typeof MEASUREMENT_LAYERS)[number];
+export type Phase = "phase-0" | "phase-1" | "phase-2" | "phase-3";
+export interface Measurement {
+    readonly construct: string;
+    readonly layer: Resolution;
+    readonly phase: Phase;
+}
+export type MeasurementFailure = {
+    readonly kind: "InsufficientResolution";
+    readonly construct: string;
+    readonly required: Resolution;
+    readonly given: Resolution;
+    readonly phase?: Phase;
+} | {
+    readonly kind: "UnsupportedAtPhase";
+    readonly construct: string;
+    readonly phase: Phase;
+} | {
+    readonly kind: "AmbiguousLayout";
+    readonly construct: string;
+    readonly candidates: readonly string[];
+} | {
+    readonly kind: "DuplicateDefinition";
+    readonly construct: string;
+    readonly first: string;
+    readonly duplicate: string;
+} | {
+    readonly kind: "LayoutInvariantViolation";
+    readonly construct: string;
+    readonly invariant: string;
+};
+export type ValidationError = MeasurementFailure;
+export declare function measure(construct: string, layer: Resolution, phase: Phase): Measurement;
+export declare function insufficientResolution(construct: string, required: Resolution, given: Resolution, phase?: Phase): MeasurementFailure;
+export declare function unsupportedAtPhase(construct: string, phase: Phase): MeasurementFailure;
+export declare function ambiguousLayout(construct: string, candidates: readonly string[]): MeasurementFailure;
+export declare function duplicateDefinition(construct: string, first: string, duplicate: string): MeasurementFailure;
+export declare function layoutInvariantViolation(construct: string, invariant: string): MeasurementFailure;
+export declare function layerCanObserve(given: Resolution, required: Resolution): boolean;
+//# sourceMappingURL=measurement.d.ts.map

package/dist/measurement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"measurement.d.ts","sourceRoot":"","sources":["../src/measurement.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,kBAAkB,2GAMrB,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D,MAAM,MAAM,KAAK,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;AAElE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED,MAAM,MAAM,kBAAkB,GAC1B;IACE,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEN,MAAM,MAAM,eAAe,GAAG,kBAAkB,CAAC;AAEjD,wBAAgB,OAAO,CACrB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,KAAK,GACX,WAAW,CAEb;AAED,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,UAAU,EACpB,KAAK,EAAE,UAAU,EACjB,KAAK,CAAC,EAAE,KAAK,GACZ,kBAAkB,CAgBpB;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,KAAK,GACX,kBAAkB,CAMpB;AAED,wBAAgB,eAAe,CAC7B,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,SAAS,MAAM,EAAE,GAC5B,kBAAkB,CAMpB;AAED,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,MAAM,GAChB,kBAAkB,CAOpB;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,GAChB,kBAAkB,CAMpB;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,UAAU,GACnB,OAAO,CAET"}

package/dist/measurement.js

@@ -0,0 +1,58 @@
+export const MEASUREMENT_LAYERS = [
+    "typescript-syntax",
+    "typescript-type",
+    "layout-ir-fixed",
+    "layout-ir-dynamic",
+    "emitted-view",
+];
+export function measure(construct, layer, phase) {
+    return { construct, layer, phase };
+}
+export function insufficientResolution(construct, required, given, phase) {
+    const failure = {
+        kind: "InsufficientResolution",
+        construct,
+        required,
+        given,
+    };
+    if (phase === undefined) {
+        return failure;
+    }
+    return { ...failure, phase };
+}
+export function unsupportedAtPhase(construct, phase) {
+    return {
+        kind: "UnsupportedAtPhase",
+        construct,
+        phase,
+    };
+}
+export function ambiguousLayout(construct, candidates) {
+    return {
+        kind: "AmbiguousLayout",
+        construct,
+        candidates,
+    };
+}
+export function duplicateDefinition(construct, first, duplicate) {
+    return {
+        kind: "DuplicateDefinition",
+        construct,
+        first,
+        duplicate,
+    };
+}
+export function layoutInvariantViolation(construct, invariant) {
+    return {
+        kind: "LayoutInvariantViolation",
+        construct,
+        invariant,
+    };
+}
+export function layerCanObserve(given, required) {
+    return layerRank(given) >= layerRank(required);
+}
+function layerRank(layer) {
+    return MEASUREMENT_LAYERS.indexOf(layer);
+}
+//# sourceMappingURL=measurement.js.map

package/dist/measurement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"measurement.js","sourceRoot":"","sources":["../src/measurement.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,mBAAmB;IACnB,iBAAiB;IACjB,iBAAiB;IACjB,mBAAmB;IACnB,cAAc;CACN,CAAC;AA4CX,MAAM,UAAU,OAAO,CACrB,SAAiB,EACjB,KAAiB,EACjB,KAAY;IAEZ,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,SAAiB,EACjB,QAAoB,EACpB,KAAiB,EACjB,KAAa;IAEb,MAAM,OAAO,GAGT;QACF,IAAI,EAAE,wBAAwB;QAC9B,SAAS;QACT,QAAQ;QACR,KAAK;KACN,CAAC;IAEF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAiB,EACjB,KAAY;IAEZ,OAAO;QACL,IAAI,EAAE,oBAAoB;QAC1B,SAAS;QACT,KAAK;KACN,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,SAAiB,EACjB,UAA6B;IAE7B,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,SAAS;QACT,UAAU;KACX,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,SAAiB,EACjB,KAAa,EACb,SAAiB;IAEjB,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,SAAS;QACT,KAAK;QACL,SAAS;KACV,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAAiB,EACjB,SAAiB;IAEjB,OAAO;QACL,IAAI,EAAE,0BAA0B;QAChC,SAAS;QACT,SAAS;KACV,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,KAAiB,EACjB,QAAoB;IAEpB,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,SAAS,CAAC,KAAiB;IAClC,OAAO,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC3C,CAAC"}

package/dist/result.d.ts

@@ -0,0 +1,20 @@
+export type Result<T, E> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly error: E;
+};
+export declare function ok<T>(value: T): Result<T, never>;
+export declare function err<E>(error: E): Result<never, E>;
+export declare function isOk<T, E>(result: Result<T, E>): result is {
+    readonly ok: true;
+    readonly value: T;
+};
+export declare function isErr<T, E>(result: Result<T, E>): result is {
+    readonly ok: false;
+    readonly error: E;
+};
+export declare function mapResult<T, U, E>(result: Result<T, E>, map: (value: T) => U): Result<U, E>;
+export declare function andThen<T, U, E>(result: Result<T, E>, next: (value: T) => Result<U, E>): Result<U, E>;
+//# sourceMappingURL=result.d.ts.map

package/dist/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAE9C,wBAAgB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAEhD;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAEjD;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,IAAI;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAEnG;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,IAAI;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAErG;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/B,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACpB,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GACnB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAMd;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7B,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACpB,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAMd"}

package/dist/result.js

@@ -0,0 +1,25 @@
+export function ok(value) {
+    return { ok: true, value };
+}
+export function err(error) {
+    return { ok: false, error };
+}
+export function isOk(result) {
+    return result.ok;
+}
+export function isErr(result) {
+    return !result.ok;
+}
+export function mapResult(result, map) {
+    if (!result.ok) {
+        return result;
+    }
+    return ok(map(result.value));
+}
+export function andThen(result, next) {
+    if (!result.ok) {
+        return result;
+    }
+    return next(result.value);
+}
+//# sourceMappingURL=result.js.map

package/dist/result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,EAAE,CAAI,KAAQ;IAC5B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,GAAG,CAAI,KAAQ;IAC7B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,IAAI,CAAO,MAAoB;IAC7C,OAAO,MAAM,CAAC,EAAE,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,KAAK,CAAO,MAAoB;IAC9C,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,MAAoB,EACpB,GAAoB;IAEpB,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,MAAoB,EACpB,IAAgC;IAEhC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC"}

package/dist/validator.d.ts

@@ -0,0 +1,4 @@
+import { type StructLayout } from "@exornea/zeno-schema";
+import { type LayoutDiagnostic } from "./diagnostics.js";
+export declare function validateLayouts(layouts: StructLayout[]): LayoutDiagnostic[];
+//# sourceMappingURL=validator.d.ts.map

package/dist/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAQL,KAAK,YAAY,EAElB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAsB,KAAK,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AA+B7E,wBAAgB,eAAe,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,gBAAgB,EAAE,CA2B3E"}

package/dist/validator.js

@@ -0,0 +1,342 @@
+import { POINTER32_BYTE_LENGTH, SPAN32_BYTE_LENGTH, VECTOR32_BYTE_LENGTH, alignTo, scalarByteLength, } from "@exornea/zeno-schema";
+import { createIrDiagnostic } from "./diagnostics.js";
+import { duplicateDefinition, layoutInvariantViolation, measure, unsupportedAtPhase, } from "./measurement.js";
+export function validateLayouts(layouts) {
+    const diagnostics = [];
+    const context = {
+        layoutNames: new Set(layouts.map((layout) => layout.name)),
+        layoutMap: new Map(layouts.map((layout) => [layout.name, layout])),
+    };
+    for (const layout of layouts) {
+        const seenFieldNames = new Set();
+        for (const field of layout.fields) {
+            const fieldContext = { ...context, layout, field, seenFieldNames };
+            for (const rule of fieldValidationRules) {
+                const diagnostic = rule(fieldContext);
+                if (diagnostic !== null) {
+                    diagnostics.push(diagnostic);
+                }
+            }
+            seenFieldNames.add(field.name);
+        }
+        const layoutContext = { ...context, layout };
+        for (const rule of layoutValidationRules) {
+            diagnostics.push(...rule(layoutContext));
+        }
+    }
+    return diagnostics;
+}
+const fieldValidationRules = [
+    validateDuplicateField,
+    validateFieldAlignment,
+    validateDescriptorShape,
+    validatePointerTarget,
+    validatePointerVectorTarget,
+    validatePointerShape,
+    validatePointerVectorElementShape,
+    validateVectorElementByteLength,
+    validateFixedArrayElementByteLength,
+    validateStructVectorElementTarget,
+    validateStructVectorElementStride,
+    validateStructFixedArrayElementTarget,
+    validateStructFixedArrayElementStride,
+];
+const layoutValidationRules = [
+    validateNoOverlappingFields,
+    validateStructByteLength,
+    validateNoInlineStructCycle,
+];
+function validateDuplicateField({ layout, field, seenFieldNames, }) {
+    if (!seenFieldNames.has(field.name)) {
+        return null;
+    }
+    return createIrDiagnostic("DUPLICATE_FIELD", `Field "${field.name}" is duplicated in struct "${layout.name}".`, `validateLayouts:${layout.name}.${field.name}`, {
+        structName: layout.name,
+        fieldName: field.name,
+        measurement: measure(`field "${field.name}" definition`, "layout-ir-fixed", "phase-0"),
+        error: duplicateDefinition(`field "${field.name}"`, "first declaration", "duplicate declaration"),
+    });
+}
+function validateFieldAlignment({ layout, field, }) {
+    if (isAligned(field)) {
+        return null;
+    }
+    return invariantDiagnostic(layout, field, "ALIGNMENT_VIOLATION", `Field "${field.name}" in struct "${layout.name}" is not aligned to ${field.alignment} bytes.`, `field "${field.name}" alignment`, `offset must be divisible by ${field.alignment}`);
+}
+function validateDescriptorShape({ layout, field, }) {
+    if (hasValidDescriptorShape(field)) {
+        return null;
+    }
+    return invariantDiagnostic(layout, field, "LAYOUT_INVARIANT", `Field "${field.name}" in struct "${layout.name}" has an invalid descriptor layout.`, `field "${field.name}" descriptor`, "descriptor fields must use 4-byte alignment and the correct descriptor byte length");
+}
+function validatePointerTarget({ layout, field, layoutNames, }) {
+    if (field.kind !== "pointer" || layoutNames.has(field.targetTypeName)) {
+        return null;
+    }
+    return unknownPointerTargetDiagnostic(layout, field.name, field.targetTypeName, `validateLayouts:${layout.name}.${field.name}`);
+}
+function validatePointerVectorTarget({ layout, field, layoutNames, }) {
+    if (field.kind !== "vector" ||
+        field.element.kind !== "pointer" ||
+        layoutNames.has(field.element.targetTypeName)) {
+        return null;
+    }
+    return unknownPointerTargetDiagnostic(layout, field.name, field.element.targetTypeName, `validateLayouts:${layout.name}.${field.name}.element`);
+}
+function validatePointerShape({ layout, field, }) {
+    if (field.kind !== "pointer" || hasValidPointerShape(field)) {
+        return null;
+    }
+    return invariantDiagnostic(layout, field, "LAYOUT_INVARIANT", `Pointer field "${field.name}" in struct "${layout.name}" has an invalid pointer layout.`, `field "${field.name}" pointer`, "pointer32 must use signed i32 field-relative offsets and raw 0xffffffff null");
+}
+function validatePointerVectorElementShape({ layout, field, }) {
+    if (field.kind !== "vector" ||
+        field.element.kind !== "pointer" ||
+        hasValidPointerElementShape(field.element)) {
+        return null;
+    }
+    return invariantDiagnostic(layout, field, "LAYOUT_INVARIANT", `Pointer vector field "${field.name}" in struct "${layout.name}" has an invalid pointer element layout.`, `field "${field.name}" pointer vector element`, "pointer vector elements must use signed i32 element-relative offsets and raw 0xffffffff null");
+}
+function validateVectorElementByteLength({ layout, field, }) {
+    if (field.kind !== "vector" || hasValidVectorElementByteLength(field.element)) {
+        return null;
+    }
+    return invariantDiagnostic(layout, field, "LAYOUT_INVARIANT", `Vector field "${field.name}" in struct "${layout.name}" has an invalid element byte length.`, `field "${field.name}" vector element`, "vector element byteLength must match its element kind");
+}
+function validateFixedArrayElementByteLength({ layout, field, }) {
+    if (field.kind !== "fixed-array" ||
+        (field.length > 0 &&
+            hasValidFixedArrayElementByteLength(field.element) &&
+            field.byteLength === field.length * field.element.byteLength)) {
+        return null;
+    }
+    return invariantDiagnostic(layout, field, "LAYOUT_INVARIANT", `Fixed array field "${field.name}" in struct "${layout.name}" has an invalid element layout.`, `field "${field.name}" fixed array element`, "fixed array length must be positive and byteLength must equal length * element byteLength");
+}
+function validateStructVectorElementTarget({ layout, field, layoutNames, }) {
+    if (field.kind !== "vector" ||
+        field.element.kind !== "struct" ||
+        layoutNames.has(field.element.typeName)) {
+        return null;
+    }
+    return unknownStructVectorElementDiagnostic(layout, field.name, field.element.typeName, `validateLayouts:${layout.name}.${field.name}.element`);
+}
+function validateStructFixedArrayElementTarget({ layout, field, layoutNames, }) {
+    if (field.kind !== "fixed-array" ||
+        field.element.kind !== "struct" ||
+        layoutNames.has(field.element.typeName)) {
+        return null;
+    }
+    return unknownStructElementDiagnostic(layout, field.name, field.element.typeName, `validateLayouts:${layout.name}.${field.name}.element`, "Fixed array");
+}
+function validateStructVectorElementStride({ layout, field, layoutNames, layoutMap, }) {
+    if (field.kind !== "vector" ||
+        field.element.kind !== "struct" ||
+        !layoutNames.has(field.element.typeName) ||
+        isFixedStrideStruct(field.element.typeName, layoutMap, new Set())) {
+        return null;
+    }
+    return invariantDiagnostic(layout, field, "LAYOUT_INVARIANT", `Vector field "${field.name}" in struct "${layout.name}" uses struct element "${field.element.typeName}" with dynamic tail fields; use vector<pointer<T>> for dynamic or graph-shaped elements.`, `field "${field.name}" struct vector element`, "vector<struct> elements must be fixed-stride; use vector<pointer<T>> for dynamic or graph-shaped elements");
+}
+function validateStructFixedArrayElementStride({ layout, field, layoutNames, layoutMap, }) {
+    if (field.kind !== "fixed-array" ||
+        field.element.kind !== "struct" ||
+        !layoutNames.has(field.element.typeName) ||
+        isFixedStrideStruct(field.element.typeName, layoutMap, new Set())) {
+        return null;
+    }
+    return invariantDiagnostic(layout, field, "LAYOUT_INVARIANT", `Fixed array field "${field.name}" in struct "${layout.name}" uses struct element "${field.element.typeName}" with dynamic tail fields; use fixedArray<pointer<T>, N> only after pointer fixed arrays have an ABI policy.`, `field "${field.name}" fixed array struct element`, "fixedArray<struct, N> elements must be fixed-stride");
+}
+function validateNoOverlappingFields({ layout, }) {
+    return overlappingFields(layout.fields).map((field) => invariantDiagnostic(layout, field, "LAYOUT_INVARIANT", `Field "${field.name}" in struct "${layout.name}" overlaps a previous field.`, `field "${field.name}" offset range`, "field ranges must not overlap"));
+}
+function validateStructByteLength({ layout, }) {
+    const expectedByteLength = expectedStructByteLength(layout);
+    if (layout.byteLength === expectedByteLength) {
+        return [];
+    }
+    return [
+        createIrDiagnostic("LAYOUT_INVARIANT", `Struct "${layout.name}" byteLength is ${layout.byteLength}, expected ${expectedByteLength}.`, `validateLayouts:${layout.name}.byteLength`, {
+            structName: layout.name,
+            measurement: measure(`struct "${layout.name}" byteLength`, "layout-ir-fixed", "phase-0"),
+            error: layoutInvariantViolation(`struct "${layout.name}" byteLength`, "byteLength must equal the aligned end of the last field"),
+        }),
+    ];
+}
+function validateNoInlineStructCycle({ layout, layoutMap, }) {
+    if (!hasInlineStructCycle(layout.name, layoutMap, new Set())) {
+        return [];
+    }
+    return [
+        createIrDiagnostic("RECURSIVE_STRUCT", `Struct "${layout.name}" contains an inline recursive layout. Use pointer<T> for recursive references.`, `validateLayouts:${layout.name}.inlineCycle`, {
+            structName: layout.name,
+            measurement: measure(`struct "${layout.name}" inline size`, "layout-ir-fixed", "phase-0"),
+            error: unsupportedAtPhase(`inline recursive struct "${layout.name}"`, "phase-0"),
+        }),
+    ];
+}
+function unknownStructVectorElementDiagnostic(layout, fieldName, typeName, description) {
+    return createIrDiagnostic("UNKNOWN_STRUCT", `Vector field "${fieldName}" in struct "${layout.name}" targets unknown struct "${typeName}".`, description, {
+        structName: layout.name,
+        fieldName,
+        measurement: measure(`vector "${fieldName}" struct element`, "layout-ir-fixed", "phase-0"),
+        error: unsupportedAtPhase(`vector struct element "${typeName}"`, "phase-0"),
+    });
+}
+function unknownStructElementDiagnostic(layout, fieldName, typeName, description, label) {
+    return createIrDiagnostic("UNKNOWN_STRUCT", `${label} field "${fieldName}" in struct "${layout.name}" targets unknown struct "${typeName}".`, description, {
+        structName: layout.name,
+        fieldName,
+        measurement: measure(`${label.toLowerCase()} "${fieldName}" struct element`, "layout-ir-fixed", "phase-0"),
+        error: unsupportedAtPhase(`${label.toLowerCase()} struct element "${typeName}"`, "phase-0"),
+    });
+}
+function unknownPointerTargetDiagnostic(layout, fieldName, targetTypeName, description) {
+    return createIrDiagnostic("UNKNOWN_STRUCT", `Pointer field "${fieldName}" in struct "${layout.name}" targets unknown struct "${targetTypeName}".`, description, {
+        structName: layout.name,
+        fieldName,
+        measurement: measure(`pointer "${fieldName}" target`, "layout-ir-fixed", "phase-0"),
+        error: unsupportedAtPhase(`pointer target "${targetTypeName}"`, "phase-0"),
+    });
+}
+function hasValidPointerShape(field) {
+    return (field.descriptor === "pointer32" &&
+        field.nullValue === 0xffffffff &&
+        field.offsetBase === "field" &&
+        field.offsetEncoding === "i32");
+}
+function hasValidPointerElementShape(element) {
+    return (element.descriptor === "pointer32" &&
+        element.nullValue === 0xffffffff &&
+        element.offsetBase === "element" &&
+        element.offsetEncoding === "i32");
+}
+function hasInlineStructCycle(layoutName, layouts, active) {
+    if (active.has(layoutName)) {
+        return true;
+    }
+    const layout = layouts.get(layoutName);
+    if (layout === undefined) {
+        return false;
+    }
+    active.add(layoutName);
+    for (const field of layout.fields) {
+        if (field.kind === "struct" &&
+            hasInlineStructCycle(field.typeName, layouts, active)) {
+            active.delete(layoutName);
+            return true;
+        }
+        if (field.kind === "fixed-array" &&
+            field.element.kind === "struct" &&
+            hasInlineStructCycle(field.element.typeName, layouts, active)) {
+            active.delete(layoutName);
+            return true;
+        }
+    }
+    active.delete(layoutName);
+    return false;
+}
+function isFixedStrideStruct(layoutName, layouts, active) {
+    if (active.has(layoutName)) {
+        return false;
+    }
+    const layout = layouts.get(layoutName);
+    if (layout === undefined) {
+        return false;
+    }
+    active.add(layoutName);
+    for (const field of layout.fields) {
+        switch (field.kind) {
+            case "dynamic-string":
+            case "dynamic-bytes":
+            case "vector":
+                active.delete(layoutName);
+                return false;
+            case "fixed-array":
+                if (field.element.kind === "struct" &&
+                    !isFixedStrideStruct(field.element.typeName, layouts, active)) {
+                    active.delete(layoutName);
+                    return false;
+                }
+                break;
+            case "struct":
+                if (!isFixedStrideStruct(field.typeName, layouts, active)) {
+                    active.delete(layoutName);
+                    return false;
+                }
+                break;
+            default:
+                break;
+        }
+    }
+    active.delete(layoutName);
+    return true;
+}
+function isAligned(field) {
+    if (field.alignment <= 0) {
+        return false;
+    }
+    return field.offset % field.alignment === 0;
+}
+function hasValidDescriptorShape(field) {
+    switch (field.kind) {
+        case "dynamic-string":
+        case "dynamic-bytes":
+            return field.alignment >= 4 && field.byteLength === SPAN32_BYTE_LENGTH;
+        case "vector":
+            return field.alignment >= 4 && field.byteLength === VECTOR32_BYTE_LENGTH;
+        case "pointer":
+            return field.alignment >= 4 && field.byteLength === POINTER32_BYTE_LENGTH;
+        default:
+            return true;
+    }
+}
+function hasValidVectorElementByteLength(element) {
+    switch (element.kind) {
+        case "scalar":
+            return element.byteLength === scalarByteLength(element.scalar);
+        case "dynamic-string":
+        case "dynamic-bytes":
+            return element.byteLength === SPAN32_BYTE_LENGTH;
+        case "fixed-bytes":
+        case "fixed-string":
+        case "struct":
+            return element.byteLength > 0;
+        case "pointer":
+            return element.byteLength === POINTER32_BYTE_LENGTH;
+    }
+}
+function hasValidFixedArrayElementByteLength(element) {
+    switch (element.kind) {
+        case "scalar":
+            return element.byteLength === scalarByteLength(element.scalar);
+        case "fixed-bytes":
+        case "fixed-string":
+        case "struct":
+            return element.byteLength > 0;
+    }
+}
+function overlappingFields(fields) {
+    const sortedFields = [...fields].sort((left, right) => left.offset - right.offset);
+    const overlaps = [];
+    let previousEnd = 0;
+    for (const field of sortedFields) {
+        if (field.offset < previousEnd) {
+            overlaps.push(field);
+        }
+        previousEnd = Math.max(previousEnd, field.offset + field.byteLength);
+    }
+    return overlaps;
+}
+function expectedStructByteLength(layout) {
+    const end = layout.fields.reduce((maxEnd, field) => Math.max(maxEnd, field.offset + field.byteLength), 0);
+    return alignTo(end, layout.alignment);
+}
+function invariantDiagnostic(layout, field, code, message, construct, invariant) {
+    return createIrDiagnostic(code, message, `validateLayouts:${layout.name}.${field.name}`, {
+        structName: layout.name,
+        fieldName: field.name,
+        measurement: measure(construct, "layout-ir-fixed", "phase-0"),
+        error: layoutInvariantViolation(construct, invariant),
+    });
+}
+//# sourceMappingURL=validator.js.map

package/dist/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,OAAO,EACP,gBAAgB,GAKjB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,kBAAkB,EAAyB,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EACL,mBAAmB,EACnB,wBAAwB,EACxB,OAAO,EACP,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAyB1B,MAAM,UAAU,eAAe,CAAC,OAAuB;IACrD,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAsB;QACjC,WAAW,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1D,SAAS,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;KACnE,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QACzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,YAAY,GAAG,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;YACnE,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE,CAAC;gBACxC,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;gBACtC,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oBACxB,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;YACD,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QAED,MAAM,aAAa,GAAG,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,qBAAqB,EAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,oBAAoB,GAAG;IAC3B,sBAAsB;IACtB,sBAAsB;IACtB,uBAAuB;IACvB,qBAAqB;IACrB,2BAA2B;IAC3B,oBAAoB;IACpB,iCAAiC;IACjC,+BAA+B;IAC/B,mCAAmC;IACnC,iCAAiC;IACjC,iCAAiC;IACjC,qCAAqC;IACrC,qCAAqC;CACG,CAAC;AAE3C,MAAM,qBAAqB,GAAG;IAC5B,2BAA2B;IAC3B,wBAAwB;IACxB,2BAA2B;CACc,CAAC;AAE5C,SAAS,sBAAsB,CAAC,EAC9B,MAAM,EACN,KAAK,EACL,cAAc,GACS;IACvB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,kBAAkB,CACvB,iBAAiB,EACjB,UAAU,KAAK,CAAC,IAAI,8BAA8B,MAAM,CAAC,IAAI,IAAI,EACjE,mBAAmB,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAC9C;QACE,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,SAAS,EAAE,KAAK,CAAC,IAAI;QACrB,WAAW,EAAE,OAAO,CAClB,UAAU,KAAK,CAAC,IAAI,cAAc,EAClC,iBAAiB,EACjB,SAAS,CACV;QACD,KAAK,EAAE,mBAAmB,CACxB,UAAU,KAAK,CAAC,IAAI,GAAG,EACvB,mBAAmB,EACnB,uBAAuB,CACxB;KACF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,EAC9B,MAAM,EACN,KAAK,GACkB;IACvB,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,mBAAmB,CACxB,MAAM,EACN,KAAK,EACL,qBAAqB,EACrB,UAAU,KAAK,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,uBAAuB,KAAK,CAAC,SAAS,SAAS,EAC9F,UAAU,KAAK,CAAC,IAAI,aAAa,EACjC,+BAA+B,KAAK,CAAC,SAAS,EAAE,CACjD,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,EAC/B,MAAM,EACN,KAAK,GACkB;IACvB,IAAI,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,mBAAmB,CACxB,MAAM,EACN,KAAK,EACL,kBAAkB,EAClB,UAAU,KAAK,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,qCAAqC,EACpF,UAAU,KAAK,CAAC,IAAI,cAAc,EAClC,oFAAoF,CACrF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,EAC7B,MAAM,EACN,KAAK,EACL,WAAW,GACY;IACvB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,8BAA8B,CACnC,MAAM,EACN,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,cAAc,EACpB,mBAAmB,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAC/C,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,EACnC,MAAM,EACN,KAAK,EACL,WAAW,GACY;IACvB,IACE,KAAK,CAAC,IAAI,KAAK,QAAQ;QACvB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;QAChC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,8BAA8B,CACnC,MAAM,EACN,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,OAAO,CAAC,cAAc,EAC5B,mBAAmB,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,UAAU,CACvD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,EAC5B,MAAM,EACN,KAAK,GACkB;IACvB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,mBAAmB,CACxB,MAAM,EACN,KAAK,EACL,kBAAkB,EAClB,kBAAkB,KAAK,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,kCAAkC,EACzF,UAAU,KAAK,CAAC,IAAI,WAAW,EAC/B,8EAA8E,CAC/E,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CAAC,EACzC,MAAM,EACN,KAAK,GACkB;IACvB,IACE,KAAK,CAAC,IAAI,KAAK,QAAQ;QACvB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;QAChC,2BAA2B,CAAC,KAAK,CAAC,OAAO,CAAC,EAC1C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,mBAAmB,CACxB,MAAM,EACN,KAAK,EACL,kBAAkB,EAClB,yBAAyB,KAAK,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,0CAA0C,EACxG,UAAU,KAAK,CAAC,IAAI,0BAA0B,EAC9C,8FAA8F,CAC/F,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,EACvC,MAAM,EACN,KAAK,GACkB;IACvB,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,+BAA+B,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,mBAAmB,CACxB,MAAM,EACN,KAAK,EACL,kBAAkB,EAClB,iBAAiB,KAAK,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,uCAAuC,EAC7F,UAAU,KAAK,CAAC,IAAI,kBAAkB,EACtC,uDAAuD,CACxD,CAAC;AACJ,CAAC;AAED,SAAS,mCAAmC,CAAC,EAC3C,MAAM,EACN,KAAK,GACkB;IACvB,IACE,KAAK,CAAC,IAAI,KAAK,aAAa;QAC5B,CACE,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,mCAAmC,CAAC,KAAK,CAAC,OAAO,CAAC;YAClD,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAC7D,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,mBAAmB,CACxB,MAAM,EACN,KAAK,EACL,kBAAkB,EAClB,sBAAsB,KAAK,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,kCAAkC,EAC7F,UAAU,KAAK,CAAC,IAAI,uBAAuB,EAC3C,2FAA2F,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CAAC,EACzC,MAAM,EACN,KAAK,EACL,WAAW,GACY;IACvB,IACE,KAAK,CAAC,IAAI,KAAK,QAAQ;QACvB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;QAC/B,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EACvC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,oCAAoC,CACzC,MAAM,EACN,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,OAAO,CAAC,QAAQ,EACtB,mBAAmB,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,UAAU,CACvD,CAAC;AACJ,CAAC;AAED,SAAS,qCAAqC,CAAC,EAC7C,MAAM,EACN,KAAK,EACL,WAAW,GACY;IACvB,IACE,KAAK,CAAC,IAAI,KAAK,aAAa;QAC5B,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;QAC/B,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EACvC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,8BAA8B,CACnC,MAAM,EACN,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,OAAO,CAAC,QAAQ,EACtB,mBAAmB,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,UAAU,EACtD,aAAa,CACd,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CAAC,EACzC,MAAM,EACN,KAAK,EACL,WAAW,EACX,SAAS,GACc;IACvB,IACE,KAAK,CAAC,IAAI,KAAK,QAAQ;QACvB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;QAC/B,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QACxC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,EACjE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,mBAAmB,CACxB,MAAM,EACN,KAAK,EACL,kBAAkB,EAClB,iBAAiB,KAAK,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,0BAA0B,KAAK,CAAC,OAAO,CAAC,QAAQ,0FAA0F,EAChM,UAAU,KAAK,CAAC,IAAI,yBAAyB,EAC7C,2GAA2G,CAC5G,CAAC;AACJ,CAAC;AAED,SAAS,qCAAqC,CAAC,EAC7C,MAAM,EACN,KAAK,EACL,WAAW,EACX,SAAS,GACc;IACvB,IACE,KAAK,CAAC,IAAI,KAAK,aAAa;QAC5B,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;QAC/B,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QACxC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,EACjE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,mBAAmB,CACxB,MAAM,EACN,KAAK,EACL,kBAAkB,EAClB,sBAAsB,KAAK,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,0BAA0B,KAAK,CAAC,OAAO,CAAC,QAAQ,+GAA+G,EAC1N,UAAU,KAAK,CAAC,IAAI,8BAA8B,EAClD,qDAAqD,CACtD,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,EACnC,MAAM,GACkB;IACxB,OAAO,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACpD,mBAAmB,CACjB,MAAM,EACN,KAAK,EACL,kBAAkB,EAClB,UAAU,KAAK,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,8BAA8B,EAC7E,UAAU,KAAK,CAAC,IAAI,gBAAgB,EACpC,+BAA+B,CAChC,CACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,EAChC,MAAM,GACkB;IACxB,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;IAC5D,IAAI,MAAM,CAAC,UAAU,KAAK,kBAAkB,EAAE,CAAC;QAC7C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;QACL,kBAAkB,CAChB,kBAAkB,EAClB,WAAW,MAAM,CAAC,IAAI,mBAAmB,MAAM,CAAC,UAAU,cAAc,kBAAkB,GAAG,EAC7F,mBAAmB,MAAM,CAAC,IAAI,aAAa,EAC3C;YACE,UAAU,EAAE,MAAM,CAAC,IAAI;YACvB,WAAW,EAAE,OAAO,CAClB,WAAW,MAAM,CAAC,IAAI,cAAc,EACpC,iBAAiB,EACjB,SAAS,CACV;YACD,KAAK,EAAE,wBAAwB,CAC7B,WAAW,MAAM,CAAC,IAAI,cAAc,EACpC,yDAAyD,CAC1D;SACF,CACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,EACnC,MAAM,EACN,SAAS,GACe;IACxB,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC;QAC7D,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;QACL,kBAAkB,CAChB,kBAAkB,EAClB,WAAW,MAAM,CAAC,IAAI,iFAAiF,EACvG,mBAAmB,MAAM,CAAC,IAAI,cAAc,EAC5C;YACE,UAAU,EAAE,MAAM,CAAC,IAAI;YACvB,WAAW,EAAE,OAAO,CAClB,WAAW,MAAM,CAAC,IAAI,eAAe,EACrC,iBAAiB,EACjB,SAAS,CACV;YACD,KAAK,EAAE,kBAAkB,CACvB,4BAA4B,MAAM,CAAC,IAAI,GAAG,EAC1C,SAAS,CACV;SACF,CACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oCAAoC,CAC3C,MAAoB,EACpB,SAAiB,EACjB,QAAgB,EAChB,WAAmB;IAEnB,OAAO,kBAAkB,CACvB,gBAAgB,EAChB,iBAAiB,SAAS,gBAAgB,MAAM,CAAC,IAAI,6BAA6B,QAAQ,IAAI,EAC9F,WAAW,EACX;QACE,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,SAAS;QACT,WAAW,EAAE,OAAO,CAClB,WAAW,SAAS,kBAAkB,EACtC,iBAAiB,EACjB,SAAS,CACV;QACD,KAAK,EAAE,kBAAkB,CACvB,0BAA0B,QAAQ,GAAG,EACrC,SAAS,CACV;KACF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,MAAoB,EACpB,SAAiB,EACjB,QAAgB,EAChB,WAAmB,EACnB,KAA+B;IAE/B,OAAO,kBAAkB,CACvB,gBAAgB,EAChB,GAAG,KAAK,WAAW,SAAS,gBAAgB,MAAM,CAAC,IAAI,6BAA6B,QAAQ,IAAI,EAChG,WAAW,EACX;QACE,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,SAAS;QACT,WAAW,EAAE,OAAO,CAClB,GAAG,KAAK,CAAC,WAAW,EAAE,KAAK,SAAS,kBAAkB,EACtD,iBAAiB,EACjB,SAAS,CACV;QACD,KAAK,EAAE,kBAAkB,CACvB,GAAG,KAAK,CAAC,WAAW,EAAE,oBAAoB,QAAQ,GAAG,EACrD,SAAS,CACV;KACF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,MAAoB,EACpB,SAAiB,EACjB,cAAsB,EACtB,WAAmB;IAEnB,OAAO,kBAAkB,CACvB,gBAAgB,EAChB,kBAAkB,SAAS,gBAAgB,MAAM,CAAC,IAAI,6BAA6B,cAAc,IAAI,EACrG,WAAW,EACX;QACE,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,SAAS;QACT,WAAW,EAAE,OAAO,CAClB,YAAY,SAAS,UAAU,EAC/B,iBAAiB,EACjB,SAAS,CACV;QACD,KAAK,EAAE,kBAAkB,CACvB,mBAAmB,cAAc,GAAG,EACpC,SAAS,CACV;KACF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAgD;IAEhD,OAAO,CACL,KAAK,CAAC,UAAU,KAAK,WAAW;QAChC,KAAK,CAAC,SAAS,KAAK,UAAU;QAC9B,KAAK,CAAC,UAAU,KAAK,OAAO;QAC5B,KAAK,CAAC,cAAc,KAAK,KAAK,CAC/B,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,OAA0D;IAE1D,OAAO,CACL,OAAO,CAAC,UAAU,KAAK,WAAW;QAClC,OAAO,CAAC,SAAS,KAAK,UAAU;QAChC,OAAO,CAAC,UAAU,KAAK,SAAS;QAChC,OAAO,CAAC,cAAc,KAAK,KAAK,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAAkB,EAClB,OAA0C,EAC1C,MAAmB;IAEnB,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,IACE,KAAK,CAAC,IAAI,KAAK,QAAQ;YACvB,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EACrD,CAAC;YACD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAC1B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IACE,KAAK,CAAC,IAAI,KAAK,aAAa;YAC5B,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;YAC/B,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAC7D,CAAC;YACD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAC1B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAAkB,EAClB,OAA0C,EAC1C,MAAmB;IAEnB,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,gBAAgB,CAAC;YACtB,KAAK,eAAe,CAAC;YACrB,KAAK,QAAQ;gBACX,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gBAC1B,OAAO,KAAK,CAAC;YACf,KAAK,aAAa;gBAChB,IACE,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;oBAC/B,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAC7D,CAAC;oBACD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;oBAC1B,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC1D,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;oBAC1B,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAC,KAAkB;IACnC,IAAI,KAAK,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,SAAS,KAAK,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAkB;IACjD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,gBAAgB,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO,KAAK,CAAC,SAAS,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,kBAAkB,CAAC;QACzE,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,SAAS,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,oBAAoB,CAAC;QAC3E,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,SAAS,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,qBAAqB,CAAC;QAC5E;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,+BAA+B,CAAC,OAA4B;IACnE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,UAAU,KAAK,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACjE,KAAK,gBAAgB,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,UAAU,KAAK,kBAAkB,CAAC;QACnD,KAAK,aAAa,CAAC;QACnB,KAAK,cAAc,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,UAAU,GAAG,CAAC,CAAC;QAChC,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,UAAU,KAAK,qBAAqB,CAAC;IACxD,CAAC;AACH,CAAC;AAED,SAAS,mCAAmC,CAAC,OAAgC;IAC3E,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,UAAU,KAAK,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACjE,KAAK,aAAa,CAAC;QACnB,KAAK,cAAc,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,UAAU,GAAG,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,MAA8B;IACvD,MAAM,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IACvE,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAoB;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAC9B,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,EACpE,CAAC,CACF,CAAC;IACF,OAAO,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAoB,EACpB,KAAkB,EAClB,IAAgD,EAChD,OAAe,EACf,SAAiB,EACjB,SAAiB;IAEjB,OAAO,kBAAkB,CACvB,IAAI,EACJ,OAAO,EACP,mBAAmB,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAC9C;QACE,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,SAAS,EAAE,KAAK,CAAC,IAAI;QACrB,WAAW,EAAE,OAAO,CAAC,SAAS,EAAE,iBAAiB,EAAE,SAAS,CAAC;QAC7D,KAAK,EAAE,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC;KACtD,CACF,CAAC;AACJ,CAAC"}

package/package.json

@@ -0,0 +1,47 @@
+{
+  "name": "@exornea/zeno-compiler",
+  "version": "1.7.0",
+  "description": "TypeScript schema analyzer and code generator for Zeno zero-copy binary views.",
+  "keywords": [
+    "typescript",
+    "binary",
+    "zero-copy",
+    "codegen",
+    "cli",
+    "dataview",
+    "schema"
+  ],
+  "homepage": "https://github.com/srtdog64/zeno#readme",
+  "bugs": {
+    "url": "https://github.com/srtdog64/zeno/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/srtdog64/zeno.git",
+    "directory": "packages/compiler"
+  },
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist/",
+    "bin/",
+    "!dist/plugin.*"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "bin": {
+    "zeno-codegen": "./bin/zeno-codegen.mjs"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@exornea/zeno-schema": "1.7.0",
+    "typescript": "^5.9.0"
+  }
+}