durable-actors 0.2.4

package/dist/compiler/generators/usage-comment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"usage-comment.js","sourceRoot":"","sources":["../../../src/compiler/generators/usage-comment.ts"],"names":[],"mappings":"AAAA,SAAS,YAAY,CAAC,WAAmB,EAAE,OAAgB;IACvD,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACrF,OAAO,QAAQ,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAA;AAC7F,CAAC;AAED,OAAO,EAAE,YAAY,EAAE,CAAA"}

package/dist/compiler/json-schema.d.ts

@@ -0,0 +1,7 @@
+import type { JSONSchema7 } from "json-schema";
+import ts from "typescript";
+declare function jsonSchema(checker: ts.TypeChecker, types: Record<string, ts.Type>): JSONSchema7;
+declare function sourceTypeName(type: ts.Type): string | undefined;
+declare function assertJsonType(checker: ts.TypeChecker, type: ts.Type, label: string, optional?: boolean, seen?: Set<ts.Type>): void;
+export { assertJsonType, jsonSchema, sourceTypeName };
+//# sourceMappingURL=json-schema.d.ts.map

package/dist/compiler/json-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-schema.d.ts","sourceRoot":"","sources":["../../src/compiler/json-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAyB,MAAM,aAAa,CAAA;AACrE,OAAO,EAAE,MAAM,YAAY,CAAA;AAK3B,iBAAS,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,WAAW,CAmBxF;AAiDD,iBAAS,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,SAAS,CAWzD;AAED,iBAAS,cAAc,CACnB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,KAAK,EAAE,MAAM,EACb,QAAQ,UAAQ,EAChB,IAAI,eAAqB,GAC1B,IAAI,CAiDN;AAED,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,CAAA"}

package/dist/compiler/json-schema.js

@@ -0,0 +1,122 @@
+import ts from "typescript";
+import { JsonSchemaGenerator, getDefaultArgs } from "typescript-json-schema";
+import { ActorDefinitionError } from "../errors.js";
+function jsonSchema(checker, types) {
+    const generator = new JsonSchemaGenerator([], types, {}, {}, checker, {
+        ...getDefaultArgs(),
+        required: true,
+        strictNullChecks: true,
+        rejectDateType: true,
+        ref: true,
+        aliasRef: false,
+        topRef: false,
+        defaultProps: false
+    });
+    const names = Object.keys(types).filter(name => !(types[name].flags & ts.TypeFlags.Never));
+    const generated = generator.getSchemaForSymbols(names);
+    const definitions = { ...generated.definitions };
+    for (const name of Object.keys(types))
+        if (types[name].flags & ts.TypeFlags.Never)
+            definitions[name] = false;
+    const seen = new Set();
+    for (const [name, type] of Object.entries(types))
+        preserveTypeNames(checker, type, definitions[name], definitions, seen);
+    return { $schema: "http://json-schema.org/draft-07/schema#", definitions };
+}
+function preserveTypeNames(checker, type, schema, definitions, seen) {
+    if (!schema || typeof schema === "boolean" || seen.has(schema))
+        return;
+    seen.add(schema);
+    if (schema.$ref) {
+        const key = decodeURIComponent(schema.$ref.slice("#/definitions/".length))
+            .replaceAll("~1", "/")
+            .replaceAll("~0", "~");
+        preserveTypeNames(checker, type, definitions[key], definitions, seen);
+        return;
+    }
+    const name = sourceTypeName(type);
+    if (type.isUnion()) {
+        const members = type.types.filter(member => !(member.flags & ts.TypeFlags.Undefined));
+        if (members.length !== 1) {
+            if (name)
+                schema.title ??= name;
+            return;
+        }
+        type = members[0];
+    }
+    const title = name ?? sourceTypeName(type);
+    if (title)
+        schema.title ??= title;
+    const visit = (child, definition) => preserveTypeNames(checker, child, definition, definitions, seen);
+    if (checker.isArrayType(type) || checker.isTupleType(type) || type.getSymbol()?.name === "ReadonlyArray") {
+        const elements = checker.getTypeArguments(type);
+        if (Array.isArray(schema.items))
+            schema.items.forEach((item, index) => {
+                if (elements[index])
+                    visit(elements[index], item);
+            });
+        else if (elements[0])
+            visit(elements[0], schema.items);
+        return;
+    }
+    for (const property of type.getProperties()) {
+        const declaration = property.valueDeclaration ?? property.declarations?.[0];
+        if (declaration)
+            visit(checker.getTypeOfSymbolAtLocation(property, declaration), schema.properties?.[property.name]);
+    }
+    const indexType = checker.getIndexTypeOfType(type, ts.IndexKind.String);
+    if (indexType)
+        visit(indexType, schema.additionalProperties);
+}
+function sourceTypeName(type) {
+    const symbol = type.aliasSymbol ?? type.getSymbol();
+    if (symbol?.declarations?.some(declaration => declaration.getSourceFile().hasNoDefaultLib))
+        return undefined;
+    return symbol?.declarations?.some(declaration => ts.isInterfaceDeclaration(declaration) ||
+        ts.isTypeAliasDeclaration(declaration) ||
+        ts.isEnumDeclaration(declaration))
+        ? symbol.name
+        : undefined;
+}
+function assertJsonType(checker, type, label, optional = false, seen = new Set()) {
+    if (type.flags & ts.TypeFlags.Undefined) {
+        if (optional)
+            return;
+        throw new ActorDefinitionError(`${label} must be JSON-compatible; undefined is only allowed for optional properties`);
+    }
+    if (type.isUnionOrIntersection()) {
+        for (const member of type.types)
+            assertJsonType(checker, member, label, optional, seen);
+        return;
+    }
+    if (seen.has(type))
+        return;
+    seen.add(type);
+    if (type.flags &
+        (ts.TypeFlags.StringLike |
+            ts.TypeFlags.NumberLike |
+            ts.TypeFlags.BooleanLike |
+            ts.TypeFlags.Null |
+            ts.TypeFlags.Never))
+        return;
+    if (checker.isArrayType(type) || checker.isTupleType(type) || type.getSymbol()?.name === "ReadonlyArray") {
+        for (const element of checker.getTypeArguments(type))
+            assertJsonType(checker, element, label, false, seen);
+        return;
+    }
+    if (!(type.flags & ts.TypeFlags.Object) ||
+        type.getCallSignatures().length ||
+        type.getConstructSignatures().length ||
+        (type.getSymbol()?.flags ?? 0) & ts.SymbolFlags.Class)
+        throw new ActorDefinitionError(`${label} must be JSON-compatible; unsupported type ${checker.typeToString(type)}`);
+    for (const property of type.getProperties()) {
+        const declaration = property.valueDeclaration ?? property.declarations?.[0];
+        if (!declaration || property.name.startsWith("__@"))
+            throw new ActorDefinitionError(`${label} must be JSON-compatible; symbol properties are not supported`);
+        assertJsonType(checker, checker.getTypeOfSymbolAtLocation(property, declaration), `${label}.${property.name}`, !!(property.flags & ts.SymbolFlags.Optional), seen);
+    }
+    for (const index of checker.getIndexInfosOfType(type))
+        assertJsonType(checker, index.type, label, false, seen);
+}
+export { assertJsonType, jsonSchema, sourceTypeName };
+//# sourceMappingURL=json-schema.js.map

package/dist/compiler/json-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-schema.js","sourceRoot":"","sources":["../../src/compiler/json-schema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAA;AAC3B,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAE5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAEnD,SAAS,UAAU,CAAC,OAAuB,EAAE,KAA8B;IACvE,MAAM,SAAS,GAAG,IAAI,mBAAmB,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;QAClE,GAAG,cAAc,EAAE;QACnB,QAAQ,EAAE,IAAI;QACd,gBAAgB,EAAE,IAAI;QACtB,cAAc,EAAE,IAAI;QACpB,GAAG,EAAE,IAAI;QACT,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,KAAK;QACb,YAAY,EAAE,KAAK;KACtB,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;IAC1F,MAAM,SAAS,GAAG,SAAS,CAAC,mBAAmB,CAAC,KAAK,CAAgB,CAAA;IACrE,MAAM,WAAW,GAA0C,EAAE,GAAG,SAAS,CAAC,WAAW,EAAE,CAAA;IACvF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK;YAAE,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAA;IAC5G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAe,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QAC5C,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAA;IAC1E,OAAO,EAAE,OAAO,EAAE,yCAAyC,EAAE,WAAW,EAAE,CAAA;AAC9E,CAAC;AAED,SAAS,iBAAiB,CACtB,OAAuB,EACvB,IAAa,EACb,MAAyC,EACzC,WAAkD,EAClD,IAAsB;IAEtB,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAM;IACtE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAChB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACd,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;aACrE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;aACrB,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC1B,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAA;QACrE,OAAM;IACV,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;IACjC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACjB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAA;QACrF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,IAAI,IAAI;gBAAE,MAAM,CAAC,KAAK,KAAK,IAAI,CAAA;YAC/B,OAAM;QACV,CAAC;QACD,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACrB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,IAAI,cAAc,CAAC,IAAI,CAAC,CAAA;IAC1C,IAAI,KAAK;QAAE,MAAM,CAAC,KAAK,KAAK,KAAK,CAAA;IACjC,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,UAA6C,EAAE,EAAE,CAC5E,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CAAA;IACpE,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACvG,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC,CAAA;QACnE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;YAC3B,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACjC,IAAI,QAAQ,CAAC,KAAK,CAAC;oBAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAA;YACrD,CAAC,CAAC,CAAA;aACD,IAAI,QAAQ,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;QACtD,OAAM;IACV,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,QAAQ,CAAC,gBAAgB,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAA;QAC3E,IAAI,WAAW;YACX,KAAK,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;IAC3G,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;IACvE,IAAI,SAAS;QAAE,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAA;AAChE,CAAC;AAED,SAAS,cAAc,CAAC,IAAa;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,SAAS,EAAE,CAAA;IACnD,IAAI,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,SAAS,CAAA;IAC5G,OAAO,MAAM,EAAE,YAAY,EAAE,IAAI,CAC7B,WAAW,CAAC,EAAE,CACV,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC;QACtC,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC;QACtC,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,CACxC;QACG,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,SAAS,CAAA;AACnB,CAAC;AAED,SAAS,cAAc,CACnB,OAAuB,EACvB,IAAa,EACb,KAAa,EACb,QAAQ,GAAG,KAAK,EAChB,OAAO,IAAI,GAAG,EAAW;IAEzB,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QACtC,IAAI,QAAQ;YAAE,OAAM;QACpB,MAAM,IAAI,oBAAoB,CAC1B,GAAG,KAAK,6EAA6E,CACxF,CAAA;IACL,CAAC;IACD,IAAI,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK;YAAE,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QACvF,OAAM;IACV,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAM;IAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACd,IACI,IAAI,CAAC,KAAK;QACV,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU;YACpB,EAAE,CAAC,SAAS,CAAC,UAAU;YACvB,EAAE,CAAC,SAAS,CAAC,WAAW;YACxB,EAAE,CAAC,SAAS,CAAC,IAAI;YACjB,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;QAEvB,OAAM;IACV,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACvG,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC;YACpE,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QACxD,OAAM;IACV,CAAC;IACD,IACI,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;QACnC,IAAI,CAAC,iBAAiB,EAAE,CAAC,MAAM;QAC/B,IAAI,CAAC,sBAAsB,EAAE,CAAC,MAAM;QACpC,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;QAErD,MAAM,IAAI,oBAAoB,CAC1B,GAAG,KAAK,8CAA8C,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CACrF,CAAA;IACL,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,QAAQ,CAAC,gBAAgB,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAA;QAC3E,IAAI,CAAC,WAAW,IAAI,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAC/C,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,+DAA+D,CAAC,CAAA;QAC3G,cAAc,CACV,OAAO,EACP,OAAO,CAAC,yBAAyB,CAAC,QAAQ,EAAE,WAAW,CAAC,EACxD,GAAG,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,EAC3B,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,EAC5C,IAAI,CACP,CAAA;IACL,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;AAClH,CAAC;AAED,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,CAAA"}

package/dist/compiler/public-schema.d.ts

@@ -0,0 +1,4 @@
+import type { JSONSchema7 } from "json-schema";
+declare function extractPublicSchema(schema: JSONSchema7, roots: readonly string[]): JSONSchema7;
+export { extractPublicSchema };
+//# sourceMappingURL=public-schema.d.ts.map

package/dist/compiler/public-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"public-schema.d.ts","sourceRoot":"","sources":["../../src/compiler/public-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAyB,MAAM,aAAa,CAAA;AAIrE,iBAAS,mBAAmB,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,WAAW,CA+BvF;AAaD,OAAO,EAAE,mBAAmB,EAAE,CAAA"}

package/dist/compiler/public-schema.js

@@ -0,0 +1,46 @@
+import { ActorDefinitionError } from "../errors.js";
+function extractPublicSchema(schema, roots) {
+    const definitions = schema.definitions ?? {};
+    const names = new Map(roots.map(name => [name, name]));
+    const pending = [...roots];
+    let nextType = 0;
+    const rename = (reference) => {
+        if (!reference.startsWith("#/definitions/"))
+            throw new ActorDefinitionError(`public contracts require local type references: ${reference}`);
+        const original = decodeURIComponent(reference.slice("#/definitions/".length))
+            .replaceAll("~1", "/")
+            .replaceAll("~0", "~");
+        if (!Object.hasOwn(definitions, original))
+            throw new ActorDefinitionError(`public contract type reference is missing: ${reference}`);
+        if (!names.has(original)) {
+            let name;
+            do
+                name = `Type${nextType++}`;
+            while (roots.includes(name));
+            names.set(original, name);
+            pending.push(original);
+        }
+        return `#/definitions/${names.get(original)}`;
+    };
+    const publicDefinitions = [];
+    for (let index = 0; index < pending.length; index++) {
+        const original = pending[index];
+        publicDefinitions.push([
+            names.get(original),
+            rewriteReferences(definitions[original], rename)
+        ]);
+    }
+    return { $schema: schema.$schema, definitions: Object.fromEntries(publicDefinitions) };
+}
+function rewriteReferences(value, rename) {
+    if (Array.isArray(value))
+        return value.map(item => rewriteReferences(item, rename));
+    if (!value || typeof value !== "object")
+        return value;
+    return Object.fromEntries(Object.entries(value).map(([key, child]) => [
+        key,
+        key === "$ref" && typeof child === "string" ? rename(child) : rewriteReferences(child, rename)
+    ]));
+}
+export { extractPublicSchema };
+//# sourceMappingURL=public-schema.js.map

package/dist/compiler/public-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"public-schema.js","sourceRoot":"","sources":["../../src/compiler/public-schema.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAEnD,SAAS,mBAAmB,CAAC,MAAmB,EAAE,KAAwB;IACtE,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,EAAE,CAAA;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IACtD,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAA;IAC1B,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,MAAM,MAAM,GAAG,CAAC,SAAiB,EAAE,EAAE;QACjC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,gBAAgB,CAAC;YACvC,MAAM,IAAI,oBAAoB,CAAC,mDAAmD,SAAS,EAAE,CAAC,CAAA;QAClG,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;aACxE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;aACrB,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC1B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC;YACrC,MAAM,IAAI,oBAAoB,CAAC,8CAA8C,SAAS,EAAE,CAAC,CAAA;QAC7F,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvB,IAAI,IAAY,CAAA;YAChB;gBAAG,IAAI,GAAG,OAAO,QAAQ,EAAE,EAAE,CAAA;mBACtB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAC;YAC5B,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;YACzB,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC1B,CAAC;QACD,OAAO,iBAAiB,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAE,EAAE,CAAA;IAClD,CAAC,CAAA;IACD,MAAM,iBAAiB,GAAsC,EAAE,CAAA;IAC/D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,iBAAiB,CAAC,IAAI,CAAC;YACnB,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAE;YACpB,iBAAiB,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,MAAM,CAA0B;SAC5E,CAAC,CAAA;IACN,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,EAAE,CAAA;AAC1F,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc,EAAE,MAAqC;IAC5E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;IACnF,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IACrD,OAAO,MAAM,CAAC,WAAW,CACrB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QACxC,GAAG;QACH,GAAG,KAAK,MAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC;KACjG,CAAC,CACL,CAAA;AACL,CAAC;AAED,OAAO,EAAE,mBAAmB,EAAE,CAAA"}

package/dist/compiler/rpc-contract.d.ts

@@ -0,0 +1,5 @@
+import ts from "typescript";
+import type { RpcContract } from "../wire/public-contract.js";
+declare function rpcContract(checker: ts.TypeChecker, actor: ts.ClassDeclaration): RpcContract;
+export { rpcContract };
+//# sourceMappingURL=rpc-contract.d.ts.map

package/dist/compiler/rpc-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc-contract.d.ts","sourceRoot":"","sources":["../../src/compiler/rpc-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAI3B,OAAO,KAAK,EAAE,WAAW,EAA0C,MAAM,4BAA4B,CAAA;AAKrG,iBAAS,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,GAAG,WAAW,CAMrF;AAsGD,OAAO,EAAE,WAAW,EAAE,CAAA"}

package/dist/compiler/rpc-contract.js

@@ -0,0 +1,95 @@
+import ts from "typescript";
+import { validateActorComponent } from "../actor/identity.js";
+import { ActorDefinitionError } from "../errors.js";
+import { assertJsonType, jsonSchema, sourceTypeName } from "./json-schema.js";
+import { extractPublicSchema } from "./public-schema.js";
+function rpcContract(checker, actor) {
+    const types = Object.create(null);
+    const methods = publicMethods(checker, actor).map(({ name, declaration }) => readMethod(checker, declaration, `${actor.name.text}.${name}`, name, types));
+    return { schema: rpcSchema(checker, types), methods };
+}
+function rpcSchema(checker, types) {
+    const schema = jsonSchema(checker, types);
+    for (const [name, definition] of Object.entries(schema.definitions ?? {})) {
+        if (typeof definition === "boolean" || definition.$ref)
+            continue;
+        const title = types[name] ? sourceTypeName(types[name]) : /^[A-Za-z_$][\w$]*$/u.test(name) ? name : undefined;
+        if (title)
+            definition.title ??= title;
+    }
+    return extractPublicSchema(schema, Object.keys(types));
+}
+function publicMethods(checker, actor) {
+    const methods = [];
+    for (const member of actor.members) {
+        if (!member.name || ts.isPrivateIdentifier(member.name) || !isPublicInstance(member))
+            continue;
+        const symbol = checker.getSymbolAtLocation(member.name);
+        const name = symbol?.name ?? member.name.getText();
+        const label = `${actor.name.text}.${name}`;
+        if (ts.isGetAccessorDeclaration(member) || ts.isSetAccessorDeclaration(member))
+            throw new ActorDefinitionError(`${label}: accessors are not supported`);
+        if (!ts.isMethodDeclaration(member)) {
+            if (checker.getTypeAtLocation(member).getCallSignatures().length)
+                throw new ActorDefinitionError(`${label}: callable fields must be declared as async methods`);
+            continue;
+        }
+        if (["onConnect", "onMessage", "onDisconnect"].includes(name))
+            continue;
+        if (["then", "connect", "broadcast"].includes(name))
+            throw new ActorDefinitionError(`${label}: reserved RPC method name`);
+        validateActorComponent("actor method", name);
+        if (symbol?.declarations?.filter(ts.isMethodDeclaration).length !== 1)
+            throw new ActorDefinitionError(`${label}: overloaded RPC methods are not supported`);
+        if (!member.modifiers?.some(modifier => modifier.kind === ts.SyntaxKind.AsyncKeyword) || member.asteriskToken)
+            throw new ActorDefinitionError(`${label}: RPC methods must be async functions`);
+        if (member.typeParameters?.length)
+            throw new ActorDefinitionError(`${label}: generic RPC methods are not supported`);
+        if (member.questionToken)
+            throw new ActorDefinitionError(`${label}: optional RPC methods are not supported`);
+        methods.push({ name, declaration: member });
+    }
+    return methods.sort((left, right) => (left.name < right.name ? -1 : left.name > right.name ? 1 : 0));
+}
+function isPublicInstance(member) {
+    const excluded = [ts.SyntaxKind.PrivateKeyword, ts.SyntaxKind.ProtectedKeyword, ts.SyntaxKind.StaticKeyword];
+    return !ts.canHaveModifiers(member) || !ts.getModifiers(member)?.some(modifier => excluded.includes(modifier.kind));
+}
+function readMethod(checker, method, label, name, types) {
+    const signature = checker.getSignatureFromDeclaration(method);
+    const parameters = method.parameters.map((parameter, index) => readParameter(checker, parameter, index, method, label, name, types));
+    const result = checker.getAwaitedType(signature.getReturnType());
+    if (result.flags & ts.TypeFlags.Void)
+        return { name, parameters, result: { kind: "void" } };
+    assertJsonType(checker, result, `${label} result`);
+    return {
+        name,
+        parameters,
+        result: { kind: "value", type: registerType(types, `Method_${name}_Result`, result) }
+    };
+}
+function readParameter(checker, parameter, index, method, label, methodName, types) {
+    const name = ts.isIdentifier(parameter.name) ? parameter.name.text : `arg${index}`;
+    if (name === "this")
+        throw new ActorDefinitionError(`${label}: explicit this parameters are not supported`);
+    const optional = !!(parameter.questionToken || parameter.initializer);
+    const rest = !!parameter.dotDotDotToken;
+    const type = checker.getTypeAtLocation(parameter);
+    if (rest && !checker.isArrayType(type))
+        throw new ActorDefinitionError(`${label}: rest parameters must use an array type`);
+    if (parameter.initializer &&
+        method.parameters
+            .slice(index + 1)
+            .some(next => !next.questionToken && !next.initializer && !next.dotDotDotToken))
+        throw new ActorDefinitionError(`${label}: default parameters before required parameters are not supported`);
+    assertJsonType(checker, type, `${label} parameter ${name}`, optional);
+    return { name, optional, rest, type: registerType(types, `Method_${methodName}_Parameter_${index}`, type) };
+}
+function registerType(types, name, type) {
+    const existing = sourceTypeName(type) ? Object.keys(types).find(key => types[key] === type) : undefined;
+    const key = existing ?? name;
+    types[key] = type;
+    return { $ref: `#/definitions/${key}` };
+}
+export { rpcContract };
+//# sourceMappingURL=rpc-contract.js.map

package/dist/compiler/rpc-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc-contract.js","sourceRoot":"","sources":["../../src/compiler/rpc-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAE3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAGnD,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA;AAExD,SAAS,WAAW,CAAC,OAAuB,EAAE,KAA0B;IACpE,MAAM,KAAK,GAA4B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1D,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,CACxE,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,IAAK,CAAC,IAAI,IAAI,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAC/E,CAAA;IACD,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,CAAA;AACzD,CAAC;AAED,SAAS,SAAS,CAAC,OAAuB,EAAE,KAA8B;IACtE,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACzC,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC;QACxE,IAAI,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI;YAAE,SAAQ;QAChE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;QAC7G,IAAI,KAAK;YAAE,UAAU,CAAC,KAAK,KAAK,KAAK,CAAA;IACzC,CAAC;IACD,OAAO,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;AAC1D,CAAC;AAED,SAAS,aAAa,CAAC,OAAuB,EAAE,KAA0B;IACtE,MAAM,OAAO,GAA0D,EAAE,CAAA;IACzE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC;YAAE,SAAQ;QAC9F,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,MAAM,EAAE,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAA;QAClD,MAAM,KAAK,GAAG,GAAG,KAAK,CAAC,IAAK,CAAC,IAAI,IAAI,IAAI,EAAE,CAAA;QAC3C,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;YAC1E,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,+BAA+B,CAAC,CAAA;QAC3E,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,IAAI,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,iBAAiB,EAAE,CAAC,MAAM;gBAC5D,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,qDAAqD,CAAC,CAAA;YACjG,SAAQ;QACZ,CAAC;QACD,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAQ;QACvE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC/C,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,4BAA4B,CAAC,CAAA;QACxE,sBAAsB,CAAC,cAAc,EAAE,IAAI,CAAC,CAAA;QAC5C,IAAI,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,MAAM,KAAK,CAAC;YACjE,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,4CAA4C,CAAC,CAAA;QACxF,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,aAAa;YACzG,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,uCAAuC,CAAC,CAAA;QACnF,IAAI,MAAM,CAAC,cAAc,EAAE,MAAM;YAC7B,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,yCAAyC,CAAC,CAAA;QACrF,IAAI,MAAM,CAAC,aAAa;YAAE,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,0CAA0C,CAAC,CAAA;QAC5G,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACxG,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAuB;IAC7C,MAAM,QAAQ,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;IAC5G,OAAO,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;AACvH,CAAC;AAED,SAAS,UAAU,CACf,OAAuB,EACvB,MAA4B,EAC5B,KAAa,EACb,IAAY,EACZ,KAA8B;IAE9B,MAAM,SAAS,GAAG,OAAO,CAAC,2BAA2B,CAAC,MAAM,CAAE,CAAA;IAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAC1D,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CACvE,CAAA;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,aAAa,EAAE,CAAE,CAAA;IACjE,IAAI,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAA;IAC3F,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAA;IAClD,OAAO;QACH,IAAI;QACJ,UAAU;QACV,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,UAAU,IAAI,SAAS,EAAE,MAAM,CAAC,EAAE;KACxF,CAAA;AACL,CAAC;AAED,SAAS,aAAa,CAClB,OAAuB,EACvB,SAAkC,EAClC,KAAa,EACb,MAA4B,EAC5B,KAAa,EACb,UAAkB,EAClB,KAA8B;IAE9B,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAA;IAClF,IAAI,IAAI,KAAK,MAAM;QAAE,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,8CAA8C,CAAC,CAAA;IAC3G,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,IAAI,SAAS,CAAC,WAAW,CAAC,CAAA;IACrE,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAA;IACvC,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAA;IACjD,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,0CAA0C,CAAC,CAAA;IACtF,IACI,SAAS,CAAC,WAAW;QACrB,MAAM,CAAC,UAAU;aACZ,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;aAChB,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC;QAEnF,MAAM,IAAI,oBAAoB,CAAC,GAAG,KAAK,mEAAmE,CAAC,CAAA;IAC/G,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,cAAc,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAA;IACrE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,UAAU,UAAU,cAAc,KAAK,EAAE,EAAE,IAAI,CAAC,EAAE,CAAA;AAC/G,CAAC;AAED,SAAS,YAAY,CAAC,KAA8B,EAAE,IAAY,EAAE,IAAa;IAC7E,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACvG,MAAM,GAAG,GAAG,QAAQ,IAAI,IAAI,CAAA;IAC5B,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA;IACjB,OAAO,EAAE,IAAI,EAAE,iBAAiB,GAAG,EAAE,EAAE,CAAA;AAC3C,CAAC;AAED,OAAO,EAAE,WAAW,EAAE,CAAA"}

package/dist/compiler/socket-contract.d.ts

@@ -0,0 +1,6 @@
+import ts from "typescript";
+import type { ActorSchema } from "../actor/schema.js";
+import type { SocketContract } from "../wire/contract.js";
+declare function socketContract(checker: ts.TypeChecker, actor: ts.ClassDeclaration, schema: ActorSchema): SocketContract;
+export { socketContract };
+//# sourceMappingURL=socket-contract.d.ts.map

package/dist/compiler/socket-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"socket-contract.d.ts","sourceRoot":"","sources":["../../src/compiler/socket-contract.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAA;AAG3B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAIzD,iBAAS,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,GAAG,cAAc,CA2BhH;AAMD,OAAO,EAAE,cAAc,EAAE,CAAA"}

package/dist/compiler/socket-contract.js

@@ -0,0 +1,36 @@
+import ts from "typescript";
+import { Persistence } from "../actor/schema.js";
+import { assertJsonType, jsonSchema } from "./json-schema.js";
+function socketContract(checker, actor, schema) {
+    const instance = checker.getTypeAtLocation(actor);
+    const base = instance.getBaseTypes()[0];
+    const [metadata, incoming, outgoing] = checker.getTypeArguments(base);
+    const types = { Metadata: metadata, Incoming: incoming, Outgoing: outgoing };
+    const optional = new Set();
+    const state = { type: "object", properties: Object.create(null), required: [] };
+    for (const field of schema.fields.filter(field => field.persistence === Persistence.Persisted && !field.private && !field.visibility)) {
+        const property = instance.getProperty(field.name);
+        const name = `Field_${field.name}`;
+        types[name] = checker.getTypeOfSymbolAtLocation(property, actor);
+        state.properties[field.name] = { $ref: `#/definitions/${pointer(name)}` };
+        if (property.flags & ts.SymbolFlags.Optional)
+            optional.add(name);
+        else
+            state.required.push(field.name);
+    }
+    for (const [name, type] of Object.entries(types))
+        assertJsonType(checker, type, `${schema.actorName}.${name}`, optional.has(name));
+    const generated = jsonSchema(checker, types);
+    const definitions = { ...generated.definitions, State: state };
+    return {
+        version: 1,
+        actorName: schema.actorName,
+        schema: { $schema: "http://json-schema.org/draft-07/schema#", definitions },
+        emittable: schema.fields.filter(field => field.emittable).map(field => field.name)
+    };
+}
+function pointer(value) {
+    return value.replaceAll("~", "~0").replaceAll("/", "~1");
+}
+export { socketContract };
+//# sourceMappingURL=socket-contract.js.map

package/dist/compiler/socket-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"socket-contract.js","sourceRoot":"","sources":["../../src/compiler/socket-contract.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAA;AAE3B,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAIhD,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7D,SAAS,cAAc,CAAC,OAAuB,EAAE,KAA0B,EAAE,MAAmB;IAC5F,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,EAAG,CAAC,CAAC,CAAqB,CAAA;IAC5D,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAA;IACrE,MAAM,KAAK,GAA4B,EAAE,QAAQ,EAAE,QAAS,EAAE,QAAQ,EAAE,QAAS,EAAE,QAAQ,EAAE,QAAS,EAAE,CAAA;IACxG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,KAAK,GAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IAC5F,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CACpC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,WAAW,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,CAC9F,EAAE,CAAC;QACA,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAE,CAAA;QAClD,MAAM,IAAI,GAAG,SAAS,KAAK,CAAC,IAAI,EAAE,CAAA;QAClC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,yBAAyB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QAChE,KAAK,CAAC,UAAW,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,iBAAiB,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,CAAA;QAC1E,IAAI,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;;YAC3D,KAAK,CAAC,QAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACzC,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QAC5C,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,SAAS,IAAI,IAAI,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;IACpF,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC5C,MAAM,WAAW,GAAG,EAAE,GAAG,SAAS,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IAC9D,OAAO;QACH,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,EAAE,OAAO,EAAE,yCAAyC,EAAE,WAAW,EAAE;QAC3E,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;KACrF,CAAA;AACL,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC1B,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC5D,CAAC;AAED,OAAO,EAAE,cAAc,EAAE,CAAA"}

package/dist/compiler/types.d.ts

@@ -0,0 +1,51 @@
+import type ts from "typescript";
+import { Persistence } from "../actor/schema.js";
+import type { ActorSchema } from "../actor/schema.js";
+interface CompilerOptions {
+    readonly configFile?: string;
+}
+interface SdkSymbols {
+    readonly Actor: ts.Symbol;
+    readonly Persisted: ts.Symbol;
+    readonly Ephemeral: ts.Symbol;
+    readonly Emittable: ts.Symbol;
+    readonly Reentrant?: ts.Symbol;
+}
+declare enum AnnotationKind {
+    Persistence = "persistence",
+    Emission = "emission",
+    Reentrancy = "reentrancy"
+}
+interface PersistenceAnnotation {
+    readonly kind: AnnotationKind.Persistence;
+    readonly mode: Persistence;
+    readonly node: ts.Decorator;
+}
+type Annotation = PersistenceAnnotation | {
+    readonly kind: AnnotationKind.Emission | AnnotationKind.Reentrancy;
+    readonly node: ts.Decorator;
+};
+interface DecoratorUse {
+    readonly node: ts.Decorator;
+    readonly target: ts.Node;
+    readonly called: boolean;
+}
+interface DecoratorResult {
+    readonly annotations: readonly Annotation[];
+    readonly diagnostics: readonly ts.Diagnostic[];
+}
+interface ParsedMember extends DecoratorResult {
+    readonly node: ts.ClassElement;
+}
+interface ParsedActor extends DecoratorResult {
+    readonly name: string;
+    readonly members: readonly ParsedMember[];
+}
+interface ActorAnalysis {
+    readonly schemas: readonly ActorSchema[];
+    readonly diagnostics: readonly ts.Diagnostic[];
+}
+export { AnnotationKind, Persistence };
+export type { ActorAnalysis, ActorSchema, Annotation, CompilerOptions, DecoratorResult, DecoratorUse, ParsedActor, ParsedMember, SdkSymbols };
+export type { ActorFieldSchema } from "../actor/schema.js";
+//# sourceMappingURL=types.d.ts.map

package/dist/compiler/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/compiler/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAA;AAEhC,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAErD,UAAU,eAAe;IACrB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAC/B;AAED,UAAU,UAAU;IAChB,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAA;IAC7B,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAA;IAC7B,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAA;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,MAAM,CAAA;CACjC;AAED,aAAK,cAAc;IACf,WAAW,gBAAgB;IAC3B,QAAQ,aAAa;IACrB,UAAU,eAAe;CAC5B;AAED,UAAU,qBAAqB;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,WAAW,CAAA;IACzC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAA;CAC9B;AAED,KAAK,UAAU,GACT,qBAAqB,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAA;CAAE,CAAA;AAEzG,UAAU,YAAY;IAClB,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAC3B;AAED,UAAU,eAAe;IACrB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAA;IAC3C,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,CAAA;CACjD;AAED,UAAU,YAAa,SAAQ,eAAe;IAC1C,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAA;CACjC;AAED,UAAU,WAAY,SAAQ,eAAe;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;CAC5C;AAED,UAAU,aAAa;IACnB,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAA;IACxC,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,CAAA;CACjD;AAED,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,CAAA;AACtC,YAAY,EACR,aAAa,EACb,WAAW,EACX,UAAU,EACV,eAAe,EACf,eAAe,EACf,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,UAAU,EACb,CAAA;AACD,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA"}

package/dist/compiler/types.js

@@ -0,0 +1,9 @@
+import { Persistence } from "../actor/schema.js";
+var AnnotationKind;
+(function (AnnotationKind) {
+    AnnotationKind["Persistence"] = "persistence";
+    AnnotationKind["Emission"] = "emission";
+    AnnotationKind["Reentrancy"] = "reentrancy";
+})(AnnotationKind || (AnnotationKind = {}));
+export { AnnotationKind, Persistence };
+//# sourceMappingURL=types.js.map

package/dist/compiler/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/compiler/types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAehD,IAAK,cAIJ;AAJD,WAAK,cAAc;IACf,6CAA2B,CAAA;IAC3B,uCAAqB,CAAA;IACrB,2CAAyB,CAAA;AAC7B,CAAC,EAJI,cAAc,KAAd,cAAc,QAIlB;AAqCD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,CAAA"}

package/dist/compiler/validate-public-contract.d.ts

@@ -0,0 +1,4 @@
+import type { PublicActorContract } from "../wire/public-contract.js";
+declare function parsePublicContract(input: unknown): PublicActorContract;
+export { parsePublicContract };
+//# sourceMappingURL=validate-public-contract.d.ts.map

package/dist/compiler/validate-public-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-public-contract.d.ts","sourceRoot":"","sources":["../../src/compiler/validate-public-contract.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAY,mBAAmB,EAAe,MAAM,4BAA4B,CAAA;AAE5F,iBAAS,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,mBAAmB,CAQhE;AAuJD,OAAO,EAAE,mBAAmB,EAAE,CAAA"}

package/dist/compiler/validate-public-contract.js

@@ -0,0 +1,155 @@
+import { Ajv } from "ajv";
+import ts from "typescript";
+import { z } from "zod";
+function parsePublicContract(input) {
+    const document = documentSchema.parse(input);
+    const names = new Set();
+    for (const actor of document.actors) {
+        unique(names, actor.actorName, "actor");
+        validateActor(actor);
+    }
+    return document;
+}
+function validateActor(actor) {
+    const scanner = ts.createScanner(ts.ScriptTarget.Latest, false, ts.LanguageVariant.Standard, actor.actorName);
+    if (scanner.scan() !== ts.SyntaxKind.Identifier || scanner.scan() !== ts.SyntaxKind.EndOfFileToken)
+        throw new Error(`actor name ${actor.actorName} cannot be emitted as a TypeScript identifier`);
+    if (actor.actorName !== actor.socket.actorName)
+        throw new Error("actor and socket contract names must match");
+    validateSocket(actor.socket);
+    validateRpc(actor.rpc);
+}
+function validateSocket(socket) {
+    for (const kind of ["Metadata", "Incoming", "Outgoing", "State"])
+        reference(socket.schema, `#/definitions/${kind}`);
+    const fields = new Set();
+    const state = socket.schema.definitions.State;
+    for (const field of socket.emittable) {
+        unique(fields, field, "emittable field");
+        if (typeof state !== "object" || !Object.hasOwn(state.properties ?? {}, field))
+            throw new Error(`emittable field ${field} is not public state`);
+    }
+}
+function validateRpc(rpc) {
+    const methods = new Set();
+    for (const method of rpc.methods) {
+        unique(methods, method.name, "RPC method");
+        if (["constructor", "then", "connect", "broadcast", "onConnect", "onMessage", "onDisconnect"].includes(method.name))
+            throw new Error(`reserved RPC method ${method.name}`);
+        let optionalSeen = false;
+        method.parameters.forEach((parameter, index) => {
+            const type = reference(rpc.schema, parameter.type.$ref);
+            if (parameter.rest &&
+                (parameter.optional ||
+                    index !== method.parameters.length - 1 ||
+                    typeof type !== "object" ||
+                    type.type !== "array" ||
+                    Array.isArray(type.items)))
+                throw new Error("rest parameter must be a final, required array parameter");
+            if (optionalSeen && !parameter.optional && !parameter.rest)
+                throw new Error("required parameter follows optional parameter");
+            optionalSeen ||= parameter.optional;
+        });
+        if (method.result.kind === "value")
+            reference(rpc.schema, method.result.type.$ref);
+    }
+}
+function unique(seen, value, kind) {
+    if (seen.has(value))
+        throw new Error(`duplicate ${kind} ${value}`);
+    seen.add(value);
+}
+function parseSchema(input, context) {
+    if (!ajv.validate("http://json-schema.org/draft-07/schema#", input)) {
+        context.addIssue({ code: "custom", message: `invalid contract schema: ${ajv.errorsText()}` });
+        return z.NEVER;
+    }
+    visit(input, input);
+    return input;
+}
+function visit(node, root) {
+    if (typeof node === "boolean")
+        return;
+    if (["$id", "id", "tsType"].some(key => Object.hasOwn(node, key)))
+        throw new Error("contract schemas cannot override type resolution");
+    if (node.$ref)
+        reference(root, node.$ref);
+    for (const children of [node.definitions, node.properties, node.patternProperties])
+        for (const child of Object.values(children ?? {}))
+            visit(child, root);
+    for (const child of [
+        node.items,
+        node.additionalItems,
+        node.additionalProperties,
+        node.contains,
+        node.propertyNames,
+        node.not,
+        node.if,
+        node.then,
+        node.else,
+        node.allOf,
+        node.anyOf,
+        node.oneOf
+    ]) {
+        if (Array.isArray(child))
+            child.forEach(item => visit(item, root));
+        else if (child !== undefined)
+            visit(child, root);
+    }
+    for (const child of Object.values(node.dependencies ?? {}))
+        if (!Array.isArray(child))
+            visit(child, root);
+}
+function reference(schema, ref) {
+    if (!ref.startsWith("#/definitions/"))
+        throw new Error("contract type references must be local definitions");
+    let target = schema;
+    for (const part of ref.slice(2).split("/")) {
+        const key = part.replaceAll("~1", "/").replaceAll("~0", "~");
+        target =
+            target && typeof target === "object" && Object.hasOwn(target, key)
+                ? target[key]
+                : undefined;
+    }
+    if (typeof target !== "boolean" && (!target || typeof target !== "object" || Array.isArray(target)))
+        throw new Error(`contract type reference is missing: ${ref}`);
+    return target;
+}
+const ajv = new Ajv({ strict: false, validateFormats: false });
+const schema = z.looseObject({ definitions: z.record(z.string(), z.unknown()) }).transform(parseSchema);
+const typeReference = z.strictObject({ $ref: z.string() });
+const component = z
+    .string()
+    .min(1)
+    .max(255)
+    .regex(/^[A-Za-z0-9._-]+$/u);
+const documentSchema = z.strictObject({
+    version: z.literal(1),
+    actors: z.array(z.strictObject({
+        actorName: component,
+        socket: z.strictObject({
+            version: z.literal(1),
+            actorName: component,
+            schema,
+            emittable: z.array(z.string())
+        }),
+        rpc: z.strictObject({
+            schema,
+            methods: z.array(z.strictObject({
+                name: component,
+                parameters: z.array(z.strictObject({
+                    name: z.string().min(1),
+                    optional: z.boolean(),
+                    rest: z.boolean(),
+                    type: typeReference
+                })),
+                result: z.discriminatedUnion("kind", [
+                    z.strictObject({ kind: z.literal("void") }),
+                    z.strictObject({ kind: z.literal("value"), type: typeReference })
+                ])
+            }))
+        })
+    }))
+});
+export { parsePublicContract };
+//# sourceMappingURL=validate-public-contract.js.map