@mt-tl/tl 0.1.0

package/dist/tools/freeze-layer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"freeze-layer.d.ts","sourceRoot":"","sources":["../../src/tools/freeze-layer.ts"],"names":[],"mappings":"AAaA,MAAM,WAAW,YAAY;IACzB,YAAY,EAAE,MAAM,CAAA;IACpB,OAAO,EAAE,MAAM,CAAA;IACf,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAA;IACX,kFAAkF;IAClF,KAAK,EAAE,MAAM,CAAA;IACb,WAAW,EAAE,MAAM,CAAA;CACtB;AAiBD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAqC1F"}

package/dist/tools/freeze-layer.js

@@ -0,0 +1,86 @@
+import { mkdirSync, writeFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { pathToFileURL } from 'node:url';
+import { parseSchemaDir } from '../tl/parser.js';
+/** A single `name#id p:type … = ResultType;` line. */
+function tlLine(e) {
+    const name = e.predicate ?? e.method ?? '?';
+    const params = e.params.map(p => `${p.name}:${p.type}`).join(' ');
+    return `${name}#${e.id}${params ? ' ' + params : ''} = ${e.type};`;
+}
+/** Reconstruct a readable `.tl` from the frozen IR (constructors, then methods). */
+function toTlText(constructors, methods, layer) {
+    const lines = [`// Frozen snapshot of layer ${layer}. Generated by \`freeze\` — do not edit.`, ''];
+    lines.push(...constructors.map(tlLine));
+    if (methods.length)
+        lines.push('', '---functions---', '', ...methods.map(tlLine));
+    return lines.join('\n') + '\n';
+}
+/**
+ * Freezes the `.tl` schema in `schemaDir` into a per-layer snapshot
+ * `<outDir>/scheme_<layer>.json` (loaded by the gateway) plus a human-readable
+ * `<outDir>/scheme_<layer>.tl` mirror (for inspection/diffs; not loaded). Run
+ * this when you SHIP a layer: the `.tl` you edit is the in-progress newest layer;
+ * the frozen snapshot is the historical record the gateway uses to encode for
+ * clients on that layer.
+ *
+ * The snapshot is BUSINESS-only: the immutable MTProto protocol/core types are
+ * excluded (they live in @mt-tl/tl and are loaded globally), so a business
+ * layer never carries protocol definitions.
+ *
+ * Schema ownership lives in the consumer app, so paths are explicit — apps wrap
+ * this in their own `freeze` script.
+ */
+export function freezeLayer(schemaDir, outDir, layer) {
+    const { defs, crcMismatches } = parseSchemaDir(schemaDir);
+    const constructors = [];
+    const methods = [];
+    const seen = new Set();
+    for (const d of defs) {
+        // Per-layer snapshots are BUSINESS-only. The MTProto protocol layer
+        // (scheme_0_protocol + the manually-parsed core ctors `parseSchemaDir`
+        // injects) is immutable and layer-independent — it lives in @mt-tl/tl
+        // and the gateway always loads it globally, so it must NOT be baked into
+        // each business snapshot (mirrors Telegram's split: mtproto_api vs api).
+        if (d.isProtocol)
+            continue;
+        if (seen.has(d.id))
+            continue;
+        seen.add(d.id);
+        const params = d.params.map(p => ({ name: p.name, type: p.raw }));
+        if (d.kind === 'method')
+            methods.push({ id: d.id, method: d.name, params, type: d.type });
+        else
+            constructors.push({ id: d.id, predicate: d.name, params, type: d.type });
+    }
+    const byId = (a, b) => parseInt(a.id, 16) - parseInt(b.id, 16);
+    constructors.sort(byId);
+    methods.sort(byId);
+    mkdirSync(outDir, { recursive: true });
+    const out = join(outDir, `scheme_${layer}.json`);
+    const tlOut = join(outDir, `scheme_${layer}.tl`);
+    writeFileSync(out, JSON.stringify({ constructors, methods }, null, 2));
+    writeFileSync(tlOut, toTlText(constructors, methods, layer));
+    return {
+        constructors: constructors.length,
+        methods: methods.length,
+        out,
+        tlOut,
+        crcWarnings: crcMismatches.length,
+    };
+}
+// CLI: `tsx freeze-layer.ts <layer> <schemaDir> <outDir>`
+//   or env: `SCHEMA_DIR=… SCHEMA_LAYERS_DIR=… tsx freeze-layer.ts <layer>`
+if (process.argv[1] && import.meta.url === pathToFileURL(process.argv[1]).href) {
+    const layer = Number(process.argv[2]);
+    const schemaDir = process.argv[3] || process.env.SCHEMA_DIR;
+    const outDir = process.argv[4] || process.env.SCHEMA_LAYERS_DIR;
+    if (!Number.isInteger(layer) || layer <= 0 || !schemaDir || !outDir) {
+        console.error('usage: freeze-layer <layer> <schemaDir> <outDir>');
+        process.exit(1);
+    }
+    const r = freezeLayer(schemaDir, outDir, layer);
+    console.log(`Froze layer ${layer}: ${r.constructors} constructors, ${r.methods} methods -> ${r.out} (+ ${r.tlOut})` +
+        (r.crcWarnings ? `  (${r.crcWarnings} crc warnings)` : ''));
+}
+//# sourceMappingURL=freeze-layer.js.map

package/dist/tools/freeze-layer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"freeze-layer.js","sourceRoot":"","sources":["../../src/tools/freeze-layer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAoBhD,sDAAsD;AACtD,SAAS,MAAM,CAAC,CAAgB;IAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,CAAA;IAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjE,OAAO,GAAG,IAAI,IAAI,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,GAAG,CAAA;AACtE,CAAC;AAED,oFAAoF;AACpF,SAAS,QAAQ,CAAC,YAA6B,EAAE,OAAwB,EAAE,KAAa;IACpF,MAAM,KAAK,GAAG,CAAC,+BAA+B,KAAK,0CAA0C,EAAE,EAAE,CAAC,CAAA;IAClG,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IACvC,IAAI,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IACjF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAA;AAClC,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,WAAW,CAAC,SAAiB,EAAE,MAAc,EAAE,KAAa;IACxE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,cAAc,CAAC,SAAS,CAAC,CAAA;IAEzD,MAAM,YAAY,GAAoB,EAAE,CAAA;IACxC,MAAM,OAAO,GAAoB,EAAE,CAAA;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACnB,oEAAoE;QACpE,uEAAuE;QACvE,sEAAsE;QACtE,yEAAyE;QACzE,yEAAyE;QACzE,IAAI,CAAC,CAAC,UAAU;YAAE,SAAQ;QAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,SAAQ;QAC5B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACd,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;QACjE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;;YACpF,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;IACjF,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IAC5F,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAElB,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACtC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,UAAU,KAAK,OAAO,CAAC,CAAA;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,UAAU,KAAK,KAAK,CAAC,CAAA;IAChD,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IACtE,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,YAAY,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;IAE5D,OAAO;QACH,YAAY,EAAE,YAAY,CAAC,MAAM;QACjC,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,GAAG;QACH,KAAK;QACL,WAAW,EAAE,aAAa,CAAC,MAAM;KACpC,CAAA;AACL,CAAC;AAED,0DAA0D;AAC1D,2EAA2E;AAC3E,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7E,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IACrC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAA;IAC3D,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAA;IAC/D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,EAAE,CAAC;QAClE,OAAO,CAAC,KAAK,CAAC,kDAAkD,CAAC,CAAA;QACjE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACnB,CAAC;IACD,MAAM,CAAC,GAAG,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IAC/C,OAAO,CAAC,GAAG,CACP,eAAe,KAAK,KAAK,CAAC,CAAC,YAAY,kBAAkB,CAAC,CAAC,OAAO,eAAe,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,KAAK,GAAG;QACnG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CACjE,CAAA;AACL,CAAC"}

package/dist/wire.d.ts

@@ -0,0 +1,12 @@
+import type { RpcRequest, RpcResponse } from './rpc.js';
+/**
+ * Wire format for the gateway↔worker RPC, shared so both sides agree:
+ *   request  { jsonrpc, id, method, params, context }
+ *   response { result? , error?: { code, message }, effects? }
+ * Gateway encodes requests / decodes responses; workers do the inverse.
+ */
+export declare function encodeRequest(req: RpcRequest): unknown;
+export declare function decodeRequest(json: unknown): RpcRequest | null;
+export declare function encodeResponse(res: RpcResponse): unknown;
+export declare function decodeResponse(json: unknown): RpcResponse;
+//# sourceMappingURL=wire.d.ts.map

package/dist/wire.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wire.d.ts","sourceRoot":"","sources":["../src/wire.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAc,UAAU,EAAE,WAAW,EAAiB,MAAM,UAAU,CAAA;AAElF;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAQtD;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAU9D;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAExD;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,OAAO,GAAG,WAAW,CAkBzD"}

package/dist/wire.js

@@ -0,0 +1,50 @@
+/**
+ * Wire format for the gateway↔worker RPC, shared so both sides agree:
+ *   request  { jsonrpc, id, method, params, context }
+ *   response { result? , error?: { code, message }, effects? }
+ * Gateway encodes requests / decodes responses; workers do the inverse.
+ */
+export function encodeRequest(req) {
+    return {
+        jsonrpc: '2.0',
+        id: req.id,
+        method: req.method,
+        params: req.params,
+        context: req.context,
+    };
+}
+export function decodeRequest(json) {
+    if (!json || typeof json !== 'object')
+        return null;
+    const o = json;
+    if (typeof o.method !== 'string' || !o.context || typeof o.context !== 'object')
+        return null;
+    return {
+        id: o.id === undefined ? '' : String(o.id),
+        method: o.method,
+        params: (o.params ?? {}),
+        context: o.context,
+    };
+}
+export function encodeResponse(res) {
+    return res;
+}
+export function decodeResponse(json) {
+    if (!json || typeof json !== 'object') {
+        return { error: { code: 502, message: 'BAD_RESPONSE' } };
+    }
+    const o = json;
+    const effects = Array.isArray(o.effects) ? o.effects : undefined;
+    if (o.error && typeof o.error === 'object') {
+        const e = o.error;
+        return {
+            error: {
+                code: typeof e.code === 'number' ? e.code : 500,
+                message: typeof e.message === 'string' ? e.message : 'ERROR',
+            },
+            effects,
+        };
+    }
+    return { result: o.result, effects };
+}
+//# sourceMappingURL=wire.js.map

package/dist/wire.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wire.js","sourceRoot":"","sources":["../src/wire.ts"],"names":[],"mappings":"AAGA;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,GAAe;IACzC,OAAO;QACH,OAAO,EAAE,KAAK;QACd,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,GAAG,CAAC,OAAO;KACvB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAa;IACvC,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAClD,MAAM,CAAC,GAAG,IAA+B,CAAA;IACzC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC5F,OAAO;QACH,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAc;QACrC,OAAO,EAAE,CAAC,CAAC,OAAqB;KACnC,CAAA;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAgB;IAC3C,OAAO,GAAG,CAAA;AACd,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAa;IACxC,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAA;IAC5D,CAAC;IACD,MAAM,CAAC,GAAG,IAA+B,CAAA;IACzC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,OAA2B,CAAC,CAAC,CAAC,SAAS,CAAA;IAErF,IAAI,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAgC,CAAA;QAC5C,OAAO;YACH,KAAK,EAAE;gBACH,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;gBAC/C,OAAO,EAAE,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO;aAC/D;YACD,OAAO;SACV,CAAA;IACL,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAmB,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC"}

package/package.json

@@ -0,0 +1,76 @@
+{
+  "name": "@mt-tl/tl",
+  "version": "0.1.0",
+  "type": "module",
+  "description": "TL (Type Language) tooling for MTProto: parser/IR, generic wire codec, value↔JSON, migrations, a TypeScript type generator, layer freezing, and the bundled MTProto protocol schema.",
+  "license": "MIT",
+  "author": "Joe Beretta",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/joeberetta/mt-tl.git",
+    "directory": "packages/tl"
+  },
+  "homepage": "https://github.com/joeberetta/mt-tl/tree/master/packages/tl#readme",
+  "bugs": "https://github.com/joeberetta/mt-tl/issues",
+  "keywords": [
+    "mtproto",
+    "telegram",
+    "tl",
+    "type-language",
+    "codec",
+    "schema",
+    "codegen"
+  ],
+  "engines": {
+    "node": ">=20"
+  },
+  "sideEffects": false,
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "schema"
+  ],
+  "scripts": {
+    "build": "rm -rf dist && tsc -p tsconfig.build.json",
+    "clean": "rm -rf dist",
+    "prepack": "yarn run build",
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run --passWithNoTests"
+  },
+  "publishConfig": {
+    "access": "public",
+    "exports": {
+      ".": {
+        "types": "./dist/index.d.ts",
+        "import": "./dist/index.js"
+      }
+    },
+    "main": "./dist/index.js",
+    "module": "./dist/index.js",
+    "types": "./dist/index.d.ts",
+    "bin": {
+      "mtproto-tl": "./dist/cli.js"
+    }
+  },
+  "dependencies": {
+    "crc-32": "^1.2.2"
+  },
+  "devDependencies": {
+    "@types/node": "^20.14.0",
+    "tsx": "^4.19.2",
+    "typescript": "^5.6.3",
+    "vitest": "^2.1.8"
+  },
+  "main": "./dist/index.js",
+  "module": "./dist/index.js",
+  "bin": {
+    "mtproto-tl": "./dist/cli.js"
+  },
+  "types": "./dist/index.d.ts"
+}

package/schema/scheme_0_protocol.tl

@@ -0,0 +1,150 @@
+// Core types (no need to gen)
+
+//vector#1cb5c415 {t:Type} # [ t ] = Vector t;
+
+///////////////////////////////
+/////////////////// Layer cons
+///////////////////////////////
+
+//invokeAfterMsg#cb9f372d msg_id:long query:!X = X;
+//invokeAfterMsgs#3dc4b4f0 msg_ids:Vector<long> query:!X = X;
+//invokeWithLayer1#53835315 query:!X = X;
+//invokeWithLayer2#289dd1f6 query:!X = X;
+//invokeWithLayer3#b7475268 query:!X = X;
+//invokeWithLayer4#dea0d430 query:!X = X;
+//invokeWithLayer5#417a57ae query:!X = X;
+//invokeWithLayer6#3a64d54d query:!X = X;
+//invokeWithLayer7#a5be56d3 query:!X = X;
+//invokeWithLayer8#e9abd9fd query:!X = X;
+//invokeWithLayer9#76715a63 query:!X = X;
+//invokeWithLayer10#39620c41 query:!X = X;
+//invokeWithLayer11#a6b88fdf query:!X = X;
+//invokeWithLayer12#dda60d3c query:!X = X;
+//invokeWithLayer13#427c8ea2 query:!X = X;
+//invokeWithLayer14#2b9b08fa query:!X = X;
+//invokeWithLayer15#b4418b64 query:!X = X;
+//invokeWithLayer16#cf5f0987 query:!X = X;
+//invokeWithLayer17#50858a19 query:!X = X;
+//invokeWithLayer18#1c900537 query:!X = X;
+//invokeWithLayer#da9b0d0d layer:int query:!X = X; // after 18 layer
+
+///////////////////////////////
+/// Authorization key creation
+///////////////////////////////
+
+resPQ#05162463 nonce:int128 server_nonce:int128 pq:string server_public_key_fingerprints:Vector<long> = ResPQ;
+
+p_q_inner_data#83c95aec pq:string p:string q:string nonce:int128 server_nonce:int128 new_nonce:int256 = P_Q_inner_data;
+p_q_inner_data_dc#a9f55f95 pq:string p:string q:string nonce:int128 server_nonce:int128 new_nonce:int256 dc:int = P_Q_inner_data;
+p_q_inner_data_temp#3c6a84d4 pq:string p:string q:string nonce:int128 server_nonce:int128 new_nonce:int256 expires_in:int = P_Q_inner_data;
+p_q_inner_data_temp_dc#56fddf88 pq:string p:string q:string nonce:int128 server_nonce:int128 new_nonce:int256 dc:int expires_in:int = P_Q_inner_data;
+
+server_DH_params_fail#79cb045d nonce:int128 server_nonce:int128 new_nonce_hash:int128 = Server_DH_Params;
+server_DH_params_ok#d0e8075c nonce:int128 server_nonce:int128 encrypted_answer:string = Server_DH_Params;
+
+server_DH_inner_data#b5890dba nonce:int128 server_nonce:int128 g:int dh_prime:string g_a:string server_time:int = Server_DH_inner_data;
+
+client_DH_inner_data#6643b654 nonce:int128 server_nonce:int128 retry_id:long g_b:string = Client_DH_Inner_Data;
+
+dh_gen_ok#3bcbf734 nonce:int128 server_nonce:int128 new_nonce_hash1:int128 = Set_client_DH_params_answer;
+dh_gen_retry#46dc1fb9 nonce:int128 server_nonce:int128 new_nonce_hash2:int128 = Set_client_DH_params_answer;
+dh_gen_fail#a69dae02 nonce:int128 server_nonce:int128 new_nonce_hash3:int128 = Set_client_DH_params_answer;
+
+destroy_auth_key_ok#f660e1d4 = DestroyAuthKeyRes;
+destroy_auth_key_none#0a9f2259 = DestroyAuthKeyRes;
+destroy_auth_key_fail#ea109b13 = DestroyAuthKeyRes;
+
+---functions---
+
+req_pq#60469778 nonce:int128 = ResPQ;
+req_pq_multi#be7e8ef1 nonce:int128 = ResPQ;
+
+req_DH_params#d712e4be nonce:int128 server_nonce:int128 p:string q:string public_key_fingerprint:long encrypted_data:string = Server_DH_Params;
+
+set_client_DH_params#f5045f1f nonce:int128 server_nonce:int128 encrypted_data:string = Set_client_DH_params_answer;
+
+destroy_auth_key#d1435160 = DestroyAuthKeyRes;
+
+///////////////////////////////
+////////////// System messages
+///////////////////////////////
+
+---types---
+
+msgs_ack#62d6b459 msg_ids:Vector<long> = MsgsAck;
+
+bad_msg_notification#a7eff811 bad_msg_id:long bad_msg_seqno:int error_code:int = BadMsgNotification;
+bad_server_salt#edab447b bad_msg_id:long bad_msg_seqno:int error_code:int new_server_salt:long = BadMsgNotification;
+
+msgs_state_req#da69fb52 msg_ids:Vector<long> = MsgsStateReq;
+msgs_state_info#04deb57d req_msg_id:long info:string = MsgsStateInfo;
+msgs_all_info#8cc0d131 msg_ids:Vector<long> info:string = MsgsAllInfo;
+
+msg_detailed_info#276d3ec6 msg_id:long answer_msg_id:long bytes:int status:int = MsgDetailedInfo;
+msg_new_detailed_info#809db6df answer_msg_id:long bytes:int status:int = MsgDetailedInfo;
+
+msg_resend_req#7d861a08 msg_ids:Vector<long> = MsgResendReq;
+
+//rpc_result#f35c6d01 req_msg_id:long result:Object = RpcResult; // parsed manually
+
+rpc_error#2144ca19 error_code:int error_message:string = RpcError;
+
+rpc_answer_unknown#5e2ad36e = RpcDropAnswer;
+rpc_answer_dropped_running#cd78e586 = RpcDropAnswer;
+rpc_answer_dropped#a43ad8b7 msg_id:long seq_no:int bytes:int = RpcDropAnswer;
+
+future_salt#0949d9dc valid_since:int valid_until:int salt:long = FutureSalt;
+future_salts#ae500895 req_msg_id:long now:int salts:vector<future_salt> = FutureSalts;
+
+pong#347773c5 msg_id:long ping_id:long = Pong;
+
+destroy_session_ok#e22045fc session_id:long = DestroySessionRes;
+destroy_session_none#62d350c9 session_id:long = DestroySessionRes;
+
+new_session_created#9ec20908 first_msg_id:long unique_id:long server_salt:long = NewSession;
+
+//message msg_id:long seqno:int bytes:int body:Object = Message; // parsed manually
+//msg_container#73f1f8dc messages:vector<message> = MessageContainer; // parsed manually
+//msg_copy#e06046b2 orig_message:Message = MessageCopy; // parsed manually, not used - use msg_container
+//gzip_packed#3072cfa1 packed_data:string = Object; // parsed manually
+
+http_wait#9299359f max_delay:int wait_after:int max_wait:int = HttpWait;
+
+//ipPort ipv4:int port:int = IpPort;
+//help.configSimple#d997c3c5 date:int expires:int dc_id:int ip_port_list:Vector<ipPort> = help.ConfigSimple;
+
+ipPort#d433ad73 ipv4:int port:int = IpPort;
+ipPortSecret#37982646 ipv4:int port:int secret:bytes = IpPort;
+accessPointRule#4679b65f phone_prefix_rules:string dc_id:int ips:vector<IpPort> = AccessPointRule;
+help.configSimple#5a592a6c date:int expires:int rules:vector<AccessPointRule> = help.ConfigSimple;
+
+---functions---
+
+rpc_drop_answer#58e4a740 req_msg_id:long = RpcDropAnswer;
+
+get_future_salts#b921bd04 num:int = FutureSalts;
+
+ping#7abe77ec ping_id:long = Pong;
+ping_delay_disconnect#f3427b8c ping_id:long disconnect_delay:int = Pong;
+
+destroy_session#e7512126 session_id:long = DestroySessionRes;
+
+contest.saveDeveloperInfo#9a5f6e95 vk_id:int name:string phone_number:string age:int city:string = Bool;
+
+---types---
+
+vector#1cb5c415 {t:Type} # [ t ] = Vector t;
+
+---functions---
+
+initConnection#7d7f18cf {X:Type} flags:# api_id:int api_hash:flags.1?string device_model:string system_version:string app_version:string system_lang_code:string lang_pack:string lang_code:string proxy:flags.0?InputClientProxy query:!X = X;
+invokeAfterMsg#cb9f372d {X:Type} msg_id:long query:!X = X;
+invokeAfterMsgs#3dc4b4f0 {X:Type} msg_ids:Vector<long> query:!X = X;
+invokeWithLayer#da9b0d0d {X:Type} layer:int query:!X = X;
+invokeWithoutUpdates#bf9459b7 {X:Type} query:!X = X;
+invokeWithMessagesRange#365275f2 {X:Type} range:MessageRange query:!X = X;
+invokeWithTakeout#aca9fd2e {X:Type} takeout_id:long query:!X = X;
+
+///////////////////////////////
+///////// Main application API
+///////////////////////////////

package/src/cli.ts

@@ -0,0 +1,48 @@
+#!/usr/bin/env node
+import { writeSchemaTs } from './codegen/gen-types.js'
+import { freezeLayer } from './tools/freeze-layer.js'
+
+const USAGE = `mtproto-tl — TL tooling
+
+Usage:
+  mtproto-tl gen-types <schemaDir> <outFile>
+      Generate TypeScript types (RpcMethods + interfaces) from a .tl schema.
+
+  mtproto-tl freeze <schemaDir> <outDir> <layer>
+      Freeze the current schema into a per-layer snapshot (scheme_<layer>.json + .tl).
+`
+
+function fail(msg: string): never {
+    console.error(msg + '\n\n' + USAGE)
+    process.exit(1)
+}
+
+const [cmd, ...args] = process.argv.slice(2)
+
+switch (cmd) {
+    case 'gen-types': {
+        const [schemaDir, outFile] = args
+        if (!schemaDir || !outFile) fail('gen-types requires <schemaDir> <outFile>')
+        writeSchemaTs(schemaDir, outFile)
+        break
+    }
+    case 'freeze': {
+        const [schemaDir, outDir, layerStr] = args
+        if (!schemaDir || !outDir || !layerStr) fail('freeze requires <schemaDir> <outDir> <layer>')
+        const layer = Number(layerStr)
+        if (!Number.isInteger(layer)) fail(`freeze: <layer> must be an integer, got "${layerStr}"`)
+        const res = freezeLayer(schemaDir, outDir, layer)
+        console.log(
+            `Froze layer ${layer}: ${res.constructors} constructors, ${res.methods} methods → ${res.out}`,
+        )
+        if (res.crcWarnings) console.warn(`  (${res.crcWarnings} CRC warnings)`)
+        break
+    }
+    case undefined:
+    case '-h':
+    case '--help':
+        console.log(USAGE)
+        break
+    default:
+        fail(`unknown command: ${cmd}`)
+}

package/src/codegen/gen-types.ts

@@ -0,0 +1,203 @@
+import { mkdirSync, writeFileSync } from 'node:fs'
+import { dirname } from 'node:path'
+import { pathToFileURL } from 'node:url'
+import { parseSchemaDir } from '../tl/parser.js'
+import { protocolSchemaDir as bundledSchemaDir } from '../index.js'
+import type { TlDef, TlType } from '../tl/ir.js'
+
+/**
+ * Generates `generated/schema.ts` — TypeScript types for the **newest** layer:
+ * one interface per constructor, a union alias per TL type, and an `RpcMethods`
+ * map (method name → { params; result }) for typed worker handlers.
+ *
+ * Types only (no runtime). Field shapes are the post-`fromJson` values workers
+ * receive: long→bigint, bytes/int128/int256→Buffer, Vector<T>→T[], flags.N?T→
+ * optional. Run `yarn gen:types` after editing the schema.
+ *
+ *   yarn workspace @mt-tl/tl run gen:types
+ */
+
+const SPECIAL_TYPES = new Set(['Object', 'X', 'Bool', 'Vector t', 'true', '#'])
+
+function tsName(name: string): string {
+    return name
+        .split('.')
+        .map(s => (s ? s.charAt(0).toUpperCase() + s.slice(1) : s))
+        .join('')
+}
+
+function mapType(t: TlType, known: Set<string>): string {
+    switch (t.kind) {
+        case 'int':
+        case 'double':
+        case 'flags':
+            return 'number'
+        case 'long':
+            return 'bigint'
+        case 'bytes':
+        case 'int128':
+        case 'int256':
+            return 'Buffer'
+        case 'string':
+            return 'string'
+        case 'bool':
+            return 'boolean'
+        case 'true':
+            return 'true'
+        case 'vector':
+            return `${wrapUnion(mapType(t.inner, known))}[]`
+        case 'object':
+            return 'unknown'
+        case 'flag':
+            return mapType(t.inner, known)
+        case 'boxed':
+        case 'bare': {
+            const n = tsName(t.name)
+            return known.has(n) ? n : 'unknown'
+        }
+    }
+}
+
+function wrapUnion(t: string): string {
+    return t.includes('|') ? `(${t})` : t
+}
+
+function fieldLines(def: TlDef, known: Set<string>): string[] {
+    const out: string[] = []
+    for (const p of def.params) {
+        if (p.type.kind === 'flags') continue // internal bitmask
+        const prop = /^[A-Za-z_$][\w$]*$/.test(p.name) ? p.name : JSON.stringify(p.name)
+        if (p.type.kind === 'flag') {
+            out.push(`    ${prop}?: ${mapType(p.type.inner, known)}`)
+        } else {
+            out.push(`    ${prop}: ${mapType(p.type, known)}`)
+        }
+    }
+    return out
+}
+
+/**
+ * Generates TypeScript types from the `.tl` schema in `dir`: one interface per
+ * constructor, a union per type, and the `RpcMethods` map (method → params/result)
+ * you pass to `createServer<RpcMethods>()`. Returns the source as a string; see
+ * {@link writeSchemaTs} to write it to a file. Run via your app's `gen:types` script.
+ */
+export function generateSchemaTs(dir: string = bundledSchemaDir): string {
+    const { defs } = parseSchemaDir(dir)
+
+    const ctors = defs.filter(d => d.kind === 'constructor')
+    const methods = defs.filter(d => d.kind === 'method')
+
+    // Type groups (union of constructors), excluding special types.
+    const typeGroups = new Map<string, TlDef[]>()
+    for (const d of ctors) {
+        if (SPECIAL_TYPES.has(d.type)) continue
+        const g = typeGroups.get(d.type) ?? []
+        g.push(d)
+        typeGroups.set(d.type, g)
+    }
+
+    // A TL type is a UNION of its constructors, emitted under the bare type name.
+    // The one exception: a type with a single constructor whose name equals the
+    // type name (e.g. `error` = Error) — there the lone interface IS the type, so
+    // no union alias is needed.
+    const unions = new Map<string, TlDef[]>()
+    for (const [type, group] of typeGroups) {
+        const name = tsName(type)
+        const soleSelfNamed = group.length === 1 && tsName(group[0]!.name) === name
+        if (soleSelfNamed) continue
+        unions.set(name, group)
+    }
+    const unionNames = new Set(unions.keys())
+
+    // A constructor's interface name. When it would take a name a union already
+    // owns (the type's "primary" constructor — e.g. `user` in type `User`), suffix
+    // it with `_` so the union keeps the bare name: `User = User_ | UserEmpty | …`.
+    const ctorIface = (d: TlDef): string => {
+        const base = tsName(d.name)
+        return unionNames.has(base) ? `${base}_` : base
+    }
+
+    // Interface def per constructor name (dedup; first wins).
+    const ctorByTs = new Map<string, TlDef>()
+    for (const d of ctors) {
+        const name = ctorIface(d)
+        if (!ctorByTs.has(name)) ctorByTs.set(name, d)
+    }
+
+    const known = new Set<string>([...ctorByTs.keys(), ...unionNames])
+
+    const lines: string[] = [
+        '// AUTO-GENERATED by `yarn gen:types`. Do not edit by hand.',
+        '// Types for the newest schema layer (post-fromJson shapes).',
+        '/* eslint-disable */',
+        '',
+    ]
+
+    // Constructor interfaces (sorted).
+    for (const name of [...ctorByTs.keys()].sort()) {
+        const def = ctorByTs.get(name)!
+        const fields = fieldLines(def, known)
+        lines.push(`export interface ${name} {`)
+        lines.push(`    _: ${JSON.stringify(def.name)}`)
+        lines.push(...fields)
+        lines.push('}', '')
+    }
+
+    // Type unions (sorted).
+    for (const name of [...unions.keys()].sort()) {
+        const members = [...new Set(unions.get(name)!.map(d => ctorIface(d)))]
+        lines.push(`export type ${name} = ${members.join(' | ')}`, '')
+    }
+
+    // RpcMethods map (sorted by method name; dedup by name — first wins).
+    lines.push('export interface RpcMethods {')
+    const seenMethods = new Set<string>()
+    for (const m of [...methods].sort((a, b) => a.name.localeCompare(b.name))) {
+        if (seenMethods.has(m.name)) continue
+        seenMethods.add(m.name)
+        const paramsName = `${tsName(m.name)}Params`
+        const result = resultType(m.type, known)
+        lines.push(`    ${JSON.stringify(m.name)}: { params: ${paramsName}; result: ${result} }`)
+    }
+    lines.push('}', '')
+
+    // Method params interfaces (sorted).
+    const seenParams = new Set<string>()
+    for (const m of [...methods].sort((a, b) => a.name.localeCompare(b.name))) {
+        const paramsName = `${tsName(m.name)}Params`
+        if (seenParams.has(paramsName)) continue
+        seenParams.add(paramsName)
+        lines.push(`export interface ${paramsName} {`)
+        lines.push(...fieldLines(m, known))
+        lines.push('}', '')
+    }
+
+    return lines.join('\n')
+}
+
+function resultType(type: string, known: Set<string>): string {
+    if (type === 'Bool') return 'boolean'
+    if (type === 'Object' || type === 'X') return 'unknown'
+    const n = tsName(type)
+    return known.has(n) ? n : 'unknown'
+}
+
+/** Generates types for the schema in `schemaDir` and writes them to `outPath`. */
+export function writeSchemaTs(schemaDir: string, outPath: string): void {
+    mkdirSync(dirname(outPath), { recursive: true })
+    writeFileSync(outPath, generateSchemaTs(schemaDir))
+    console.log(`Generated -> ${outPath}`)
+}
+
+// CLI: `tsx gen-types.ts <schemaDir> <outPath>` (apps wrap this in their own
+// `gen:types` script pointing at their schema). No bundled default — the
+// framework no longer ships business types.
+if (process.argv[1] && import.meta.url === pathToFileURL(process.argv[1]).href) {
+    const [schemaDir, outPath] = process.argv.slice(2)
+    if (!schemaDir || !outPath) {
+        console.error('usage: gen-types <schemaDir> <outPath>')
+        process.exit(1)
+    }
+    writeSchemaTs(schemaDir, outPath)
+}