@zmdb/compiler 1.0.0-beta.1

package/dist/protobuf/plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../src/protobuf/plan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAoB,KAAK,QAAQ,EAAE,KAAK,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAE9F,KAAK,aAAa,GACd,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,SAAS,GACT,UAAU,GACV,SAAS,GACT,UAAU,GACV,OAAO,GACP,QAAQ,CAAC;AAEb,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;AAEpE,MAAM,WAAW,UAAU,CAAC,IAAI,SAAS,MAAM,GAAG,UAAU;IAC1D,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,GAAG,QAAQ,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB;AAED,MAAM,MAAM,QAAQ,CAAC,IAAI,SAAS,MAAM,GAAG,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,GAAG,WAAW,GAAG,aAAa,CAAC;AAEnH,MAAM,WAAW,SAAS,CAAC,IAAI;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,eAAO,MAAM,UAAU,QAA6B,CAAC;AAKrD,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,KAAK,SAAS,CAAC;AAE3E,MAAM,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,KAAK,CAAA;CAAE,CAAC,CAAC;AAEjF,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,KAAK,OAAO,GACvD,IAAI,CAsBN;AAED,wBAAgB,SAAS,CAAC,IAAI,EAC5B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,GAAG,SAAS,EAC/D,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,KAAK,IAAI,EAC9D,MAAM,EAAE,MAAM,GACb,SAAS,CAAC,IAAI,CAAC,GAAG,SAAS,CA+D7B;AAED,wBAAgB,UAAU,CACxB,IAAI,EAAE,QAAQ,EACd,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,MAAM,EACvB,MAAM,EAAE,MAAM,GACb,UAAU,GAAG,aAAa,GAAG,SAAS,CAuCxC;AAgCD,wBAAgB,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAEvG;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAI5C"}

package/dist/protobuf/plan.js

@@ -0,0 +1,158 @@
+import {} from '@zmdb/schema/ir';
+export const IDENTIFIER = /^[A-Za-z_][A-Za-z0-9_]*$/;
+const THIRTY_TWO_BIT = new Set(['int32', 'uint32', 'sint32', 'fixed32', 'sfixed32']);
+const SIXTY_FOUR_BIT = new Set(['int64', 'uint64', 'sint64', 'fixed64', 'sfixed64']);
+const FLOATING = new Set(['float', 'double']);
+export function collectMessages(node, suggested, register) {
+    switch (node.kind) {
+        case 'object':
+            if (!register(node, suggested))
+                return;
+            for (const property of node.properties) {
+                collectMessages(property.type, `${suggested}${safeName(property.name)}`, register);
+            }
+            return;
+        case 'array':
+            collectMessages(node.element, suggested, register);
+            return;
+        case 'tuple':
+            for (const [index, element] of node.elements.entries()) {
+                collectMessages(element, `${suggested}${index + 1}`, register);
+            }
+            return;
+        case 'union':
+            for (const member of node.members)
+                collectMessages(member, suggested, register);
+            return;
+        default:
+            return;
+    }
+}
+export function planField(node, path, atomPlan, enumeration, refuse) {
+    if (node.kind === 'array') {
+        if (node.element.kind === 'array') {
+            return refuse(path, 'a nested array would require `repeated repeated`, which proto3 cannot spell without an explicit wrapper message');
+        }
+        const element = planField(node.element, `${path}[]`, atomPlan, enumeration, refuse);
+        if (element === undefined)
+            return undefined;
+        if (element.repeated || element.nullable) {
+            return refuse(path, 'a repeated protobuf element cannot itself be repeated or nullable');
+        }
+        return { atom: element.atom, repeated: true, nullable: false };
+    }
+    if (node.kind === 'union') {
+        const values = node.members.filter(member => member.kind !== 'null' && member.kind !== 'undefined');
+        const nullable = node.members.some(member => member.kind === 'null');
+        const literals = values.filter(member => member.kind === 'literal' && typeof member.value === 'string');
+        if (literals.length === values.length && literals.length > 0) {
+            const atom = enumeration(path, literals.map(member => (member.kind === 'literal' && typeof member.value === 'string' ? member.value : '')));
+            return { atom, repeated: false, nullable };
+        }
+        const [only] = values;
+        if (values.length === 1 && only !== undefined) {
+            const resolved = planField(only, path, atomPlan, enumeration, refuse);
+            return resolved === undefined ? undefined : { ...resolved, nullable: resolved.nullable || nullable };
+        }
+        if (values.some(member => member.kind === 'object')) {
+            return refuse(path, 'a union of message types would require `oneof`, but union arms have no ProtoField<N> tag slot');
+        }
+        return refuse(path, 'this TypeScript union has no single protobuf field spelling');
+    }
+    switch (node.kind) {
+        case 'scalar':
+        case 'object':
+        case 'ref': {
+            const atom = atomPlan(node, path);
+            return atom === undefined ? undefined : { atom, repeated: false, nullable: false };
+        }
+        case 'literal':
+            return typeof node.value === 'string'
+                ? { atom: enumeration(path, [node.value]), repeated: false, nullable: false }
+                : refuse(path, 'a numeric or boolean literal has no protobuf wire constraint');
+        case 'tuple':
+            return refuse(path, 'a tuple has no protobuf field spelling; declare a numbered wrapper message');
+        case 'unknown':
+            return refuse(path, '`unknown` has no protobuf wire type');
+        case 'null':
+        case 'undefined':
+            return refuse(path, 'a protobuf field cannot contain only null or undefined');
+        case 'unsupported':
+            return refuse(path, node.reason, node.source);
+    }
+}
+export function planScalar(node, path, timestamp, refuse) {
+    const proto = node.proto;
+    switch (node.scalar) {
+        case 'number':
+        case 'integer':
+            if (proto === undefined)
+                return scalar('double', 1, 'number');
+            if (THIRTY_TWO_BIT.has(proto) || FLOATING.has(proto))
+                return numeric(proto);
+            if (SIXTY_FOUR_BIT.has(proto)) {
+                return refuse(path, `Proto<'${proto}'> needs bigint because a TypeScript number cannot preserve every 64-bit integer`);
+            }
+            return refuse(path, `Proto<'${proto}'> is not a numeric protobuf scalar`);
+        case 'bigint':
+            if (proto === undefined) {
+                return refuse(path, 'an untagged bigint has no inferable protobuf width or signedness; add Proto<K>');
+            }
+            return SIXTY_FOUR_BIT.has(proto)
+                ? numeric(proto)
+                : refuse(path, `a bigint protobuf field needs an explicit 64-bit scalar, not Proto<'${proto}'>`);
+        case 'boolean':
+            if (proto === undefined || proto === 'bool')
+                return scalar('bool', 0, 'boolean');
+            return refuse(path, `a boolean protobuf field cannot use Proto<'${proto}'>`);
+        case 'string':
+            if (proto === undefined || proto === 'string')
+                return scalar('string', 2, 'string');
+            if (proto === 'bytes') {
+                return refuse(path, "Proto<'bytes'> needs Uint8Array, and the current reflection refuses typed-array data types");
+            }
+            return refuse(path, `a string protobuf field cannot use Proto<'${proto}'>`);
+        case 'date':
+            if (proto !== undefined) {
+                return refuse(path, `Date has the fixed google.protobuf.Timestamp mapping, not Proto<'${proto}'>`);
+            }
+            return { kind: 'timestamp', helper: timestamp(), wire: 2 };
+    }
+}
+function numeric(method) {
+    switch (method) {
+        case 'int32':
+        case 'uint32':
+        case 'sint32':
+            return scalar(method, 0, 'number');
+        case 'int64':
+        case 'uint64':
+        case 'sint64':
+            return scalar(method, 0, 'bigint');
+        case 'fixed32':
+        case 'sfixed32':
+        case 'float':
+            return scalar(method, 5, 'number');
+        case 'fixed64':
+        case 'sfixed64':
+            return scalar(method, 1, 'bigint');
+        case 'double':
+            return scalar(method, 1, 'number');
+        case 'bool':
+        case 'string':
+        case 'bytes':
+            throw new Error(`non-numeric protobuf scalar ${method}`);
+    }
+}
+function scalar(method, wire, zero) {
+    return { kind: 'scalar', method, wire, zero };
+}
+export function isPacked(atom) {
+    return atom.kind === 'enum' || (atom.kind === 'scalar' && atom.method !== 'string');
+}
+export function safeName(raw) {
+    const words = raw.split(/[^A-Za-z0-9_$]+/).filter(word => word.length > 0);
+    const joined = words.map(word => `${word.slice(0, 1).toUpperCase()}${word.slice(1)}`).join('');
+    return joined.length === 0 ? 'Message' : joined;
+}
+//# sourceMappingURL=plan.js.map

package/dist/protobuf/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../../src/protobuf/plan.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+D,MAAM,iBAAiB,CAAC;AAmD9F,MAAM,CAAC,MAAM,UAAU,GAAG,0BAA0B,CAAC;AACrD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAClG,MAAM,cAAc,GAAG,IAAI,GAAG,CAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAClG,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAM3D,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,SAAiB,EACjB,QAAwD;IAExD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;gBAAE,OAAO;YACvC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACvC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YACrF,CAAC;YACD,OAAO;QACT,KAAK,OAAO;YACV,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YACnD,OAAO;QACT,KAAK,OAAO;YACV,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;gBACvD,eAAe,CAAC,OAAO,EAAE,GAAG,SAAS,GAAG,KAAK,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YACjE,CAAC;YACD,OAAO;QACT,KAAK,OAAO;YACV,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;gBAAE,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YAChF,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,IAAY,EACZ,IAAY,EACZ,QAA+D,EAC/D,WAA8D,EAC9D,MAAc;IAEd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAClC,OAAO,MAAM,CACX,IAAI,EACJ,iHAAiH,CAClH,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;QACpF,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5C,IAAI,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACzC,OAAO,MAAM,CAAC,IAAI,EAAE,mEAAmE,CAAC,CAAC;QAC3F,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACjE,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QACpG,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;QACxG,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAG,WAAW,CACtB,IAAI,EACJ,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC5G,CAAC;YACF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QAC7C,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QACtB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9C,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;YACtE,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,IAAI,QAAQ,EAAE,CAAC;QACvG,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YACpD,OAAO,MAAM,CACX,IAAI,EACJ,+FAA+F,CAChG,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,EAAE,6DAA6D,CAAC,CAAC;IACrF,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAClC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QACrF,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;gBACnC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;gBAC7E,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,8DAA8D,CAAC,CAAC;QACnF,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,IAAI,EAAE,4EAA4E,CAAC,CAAC;QACpG,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;QAC7D,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW;YACd,OAAO,MAAM,CAAC,IAAI,EAAE,wDAAwD,CAAC,CAAC;QAChF,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,IAAc,EACd,IAAY,EACZ,SAAuB,EACvB,MAAc;IAEd,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9D,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5E,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,MAAM,CACX,IAAI,EACJ,UAAU,KAAK,kFAAkF,CAClG,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,EAAE,UAAU,KAAK,qCAAqC,CAAC,CAAC;QAC5E,KAAK,QAAQ;YACX,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,MAAM,CAAC,IAAI,EAAE,gFAAgF,CAAC,CAAC;YACxG,CAAC;YACD,OAAO,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;gBAC9B,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;gBAChB,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,uEAAuE,KAAK,IAAI,CAAC,CAAC;QACrG,KAAK,SAAS;YACZ,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM;gBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YACjF,OAAO,MAAM,CAAC,IAAI,EAAE,8CAA8C,KAAK,IAAI,CAAC,CAAC;QAC/E,KAAK,QAAQ;YACX,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACpF,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;gBACtB,OAAO,MAAM,CACX,IAAI,EACJ,4FAA4F,CAC7F,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,EAAE,6CAA6C,KAAK,IAAI,CAAC,CAAC;QAC9E,KAAK,MAAM;YACT,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,MAAM,CAAC,IAAI,EAAE,oEAAoE,KAAK,IAAI,CAAC,CAAC;YACrG,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,MAAmB;IAClC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACrC,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACrC,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACrC,KAAK,SAAS,CAAC;QACf,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACrC,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,MAAM,IAAI,KAAK,CAAC,+BAA+B,MAAM,EAAE,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,MAA4B,EAAE,IAAwB,EAAE,IAAwB;IAC9F,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,QAAQ,CAAsB,IAAoB;IAChE,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/F,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;AAClD,CAAC"}

package/dist/reflect/callsites.d.ts

@@ -0,0 +1,40 @@
+import type { CallExpression, SourceFile, TypeNode } from 'typescript/unstable/ast';
+import { type Checker } from 'typescript/unstable/sync';
+export declare const CALL_OWNERS: Readonly<Record<string, readonly string[]>>;
+export declare const OWNED_CALLEES: ReadonlySet<string>;
+export declare const STRICT_OWNER_CALLEES: ReadonlySet<string>;
+export interface CallSite {
+    /** The canonical exported name, even when the local import is aliased. */
+    readonly callee: string;
+    /** The local named-import binding, or the namespace binding for `ns.callee`. */
+    readonly binding: string;
+    /** The owner module whose export resolved to this call. */
+    readonly specifier?: string;
+    /** The single type argument. A call with none is not a call site. */
+    readonly typeArgument: TypeNode;
+    readonly node: CallExpression;
+}
+/**
+ * Every call to one of `callees` that carries a type argument, in source order.
+ *
+ * Source order matters downstream: the transformer rewrites by text offset, and
+ * rewriting back-to-front is what keeps earlier offsets valid.
+ */
+export declare function findCallSites(sourceFile: SourceFile, callees: ReadonlySet<string>): readonly CallSite[];
+export interface OwnedCallOptions {
+    /**
+     * Test-only escape for synthetic global declarations. Production callers leave
+     * this false; strict-owner calls then require a matching `CALL_OWNERS` import.
+     */
+    readonly allowUnbound?: boolean;
+}
+/**
+ * Calls whose resolved symbol is an allowed package export, plus legacy
+ * text-matched validator/schema calls that intentionally retain forwarding support.
+ *
+ * The canonical export table is built only from owner modules the file actually
+ * imports. Strict-owner calls therefore cannot match a foreign same-named function
+ * by structural type or text.
+ */
+export declare function findOwnedCallSites(sourceFile: SourceFile, checker: Checker, callees: ReadonlySet<string>, owners: Readonly<Record<string, readonly string[]>>, options?: OwnedCallOptions): readonly CallSite[];
+//# sourceMappingURL=callsites.d.ts.map

package/dist/reflect/callsites.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"callsites.d.ts","sourceRoot":"","sources":["../../src/reflect/callsites.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,cAAc,EAAQ,UAAU,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAQ1F,OAAO,EAAe,KAAK,OAAO,EAA2B,MAAM,0BAA0B,CAAC;AAE9F,eAAO,MAAM,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAkBlE,CAAC;AAEH,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,CAAqC,CAAC;AACpF,eAAO,MAAM,oBAAoB,EAAE,WAAW,CAAC,MAAM,CAMnD,CAAC;AAEH,MAAM,WAAW,QAAQ;IACvB,0EAA0E;IAC1E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,2DAA2D;IAC3D,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,qEAAqE;IACrE,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;CAC/B;AAYD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,QAAQ,EAAE,CAoBvG;AA0CD,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,EAC5B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,EACnD,OAAO,GAAE,gBAAqB,GAC7B,SAAS,QAAQ,EAAE,CAsCrB"}

package/dist/reflect/callsites.js

@@ -0,0 +1,153 @@
+// Finding the call sites the transformer replaces.
+//
+// The generic `findCallSites` helper remains text-based because reflection fixtures use
+// local probe functions. Production transformation uses `findOwnedCallSites` instead.
+// The five protobuf/gRPC calls resolve strictly to exports of `@zmdb/protobuf`, so a
+// local shadow, foreign same-named export, or old forwarding package is not a target.
+// Existing validator/schema calls retain their historical text-based forwarding support.
+import { isCallExpression, isIdentifier, isImportDeclaration, isPropertyAccessExpression, isStringLiteral, } from 'typescript/unstable/ast/is';
+import { SymbolFlags } from 'typescript/unstable/sync';
+export const CALL_OWNERS = Object.freeze({
+    is: ['@zmdb/validator', 'zmdb', 'zmdb/validator'],
+    isShallow: ['@zmdb/validator', 'zmdb/validator'],
+    assert: ['@zmdb/validator', 'zmdb', 'zmdb/validator'],
+    assertShallow: ['@zmdb/validator', 'zmdb/validator'],
+    equals: ['@zmdb/validator', 'zmdb/validator'],
+    assertEquals: ['@zmdb/validator', 'zmdb/validator'],
+    validate: ['@zmdb/validator', 'zmdb', 'zmdb/validator'],
+    validateShallow: ['@zmdb/validator', 'zmdb/validator'],
+    random: ['@zmdb/validator', 'zmdb/validator'],
+    toJsonSchema: ['@zmdb/schema/openapi', 'zmdb/schema'],
+    schemaOf: ['@zmdb/schema', 'zmdb', 'zmdb/schema'],
+    toolFor: ['@zmdb/ai'],
+    grpcDescriptor: ['@zmdb/protobuf'],
+    loadGrpcService: ['@zmdb/protobuf'],
+    protoDescriptor: ['@zmdb/protobuf'],
+    protoDecode: ['@zmdb/protobuf'],
+    protoEncode: ['@zmdb/protobuf'],
+});
+export const OWNED_CALLEES = new Set(Object.keys(CALL_OWNERS));
+export const STRICT_OWNER_CALLEES = new Set([
+    'grpcDescriptor',
+    'loadGrpcService',
+    'protoDescriptor',
+    'protoDecode',
+    'protoEncode',
+]);
+/** `is(...)` → `is`; `v.is(...)` → `is`; anything else → `undefined`. */
+function calleeName(call) {
+    const target = call.expression;
+    if (isIdentifier(target))
+        return { callee: target.text, binding: target.text };
+    if (isPropertyAccessExpression(target) && isIdentifier(target.name) && isIdentifier(target.expression)) {
+        return { callee: target.name.text, binding: target.expression.text };
+    }
+    return undefined;
+}
+/**
+ * Every call to one of `callees` that carries a type argument, in source order.
+ *
+ * Source order matters downstream: the transformer rewrites by text offset, and
+ * rewriting back-to-front is what keeps earlier offsets valid.
+ */
+export function findCallSites(sourceFile, callees) {
+    const found = [];
+    // `forEachChild` is a method on the node, not a free function: it is not among the
+    // exports of `typescript/unstable/ast`, which only offers the *visitor* (rewriting)
+    // half of the pair.
+    const visit = (node) => {
+        if (isCallExpression(node)) {
+            const typeArgument = node.typeArguments?.[0];
+            const named = calleeName(node);
+            if (typeArgument && named !== undefined && callees.has(named.callee)) {
+                found.push({ ...named, typeArgument, node });
+            }
+        }
+        node.forEachChild(visit);
+        return undefined;
+    };
+    sourceFile.forEachChild(visit);
+    return found;
+}
+function resolved(checker, symbol) {
+    if (symbol === undefined)
+        return undefined;
+    return (symbol.flags & SymbolFlags.Alias) === 0 ? symbol : checker.getAliasedSymbol(symbol);
+}
+function importedExports(sourceFile, checker, callees, owners) {
+    const bySymbol = new Map();
+    for (const statement of sourceFile.statements) {
+        if (!isImportDeclaration(statement) || !isStringLiteral(statement.moduleSpecifier))
+            continue;
+        const specifier = statement.moduleSpecifier.text;
+        const candidates = [...callees].filter(callee => owners[callee]?.includes(specifier) === true);
+        if (candidates.length === 0)
+            continue;
+        const module = checker.getSymbolAtLocation(statement.moduleSpecifier);
+        if (module === undefined)
+            continue;
+        const exports = new Map(checker.getExportsOfModule(module).map(symbol => [symbol.name, symbol]));
+        for (const callee of candidates) {
+            const symbol = resolved(checker, exports.get(callee));
+            if (symbol !== undefined)
+                bySymbol.set(symbol.id, { callee, specifier });
+        }
+    }
+    return bySymbol;
+}
+function callTarget(call) {
+    const target = call.expression;
+    if (isIdentifier(target))
+        return { location: target, binding: target.text };
+    if (isPropertyAccessExpression(target) && isIdentifier(target.name) && isIdentifier(target.expression)) {
+        return { location: target.name, binding: target.expression.text };
+    }
+    return undefined;
+}
+/**
+ * Calls whose resolved symbol is an allowed package export, plus legacy
+ * text-matched validator/schema calls that intentionally retain forwarding support.
+ *
+ * The canonical export table is built only from owner modules the file actually
+ * imports. Strict-owner calls therefore cannot match a foreign same-named function
+ * by structural type or text.
+ */
+export function findOwnedCallSites(sourceFile, checker, callees, owners, options = {}) {
+    if (options.allowUnbound === true)
+        return findCallSites(sourceFile, callees);
+    const canonical = importedExports(sourceFile, checker, callees, owners);
+    const found = [];
+    const visit = (node) => {
+        if (isCallExpression(node)) {
+            const typeArgument = node.typeArguments?.[0];
+            const target = callTarget(node);
+            if (typeArgument !== undefined && target !== undefined) {
+                const symbol = resolved(checker, checker.getSymbolAtLocation(target.location));
+                const owned = symbol === undefined ? undefined : canonical.get(symbol.id);
+                if (owned !== undefined) {
+                    found.push({
+                        callee: owned.callee,
+                        binding: target.binding,
+                        specifier: owned.specifier,
+                        typeArgument,
+                        node,
+                    });
+                }
+                else {
+                    const named = calleeName(node);
+                    if (named !== undefined && callees.has(named.callee) && !STRICT_OWNER_CALLEES.has(named.callee)) {
+                        // Validator/schema calls retain their established forwarding support.
+                        // The new protobuf boundary is deliberately stricter because those old
+                        // owners are removed rather than kept as compatibility aliases.
+                        found.push({ ...named, typeArgument, node });
+                    }
+                }
+            }
+        }
+        node.forEachChild(visit);
+        return undefined;
+    };
+    sourceFile.forEachChild(visit);
+    return found;
+}
+//# sourceMappingURL=callsites.js.map

package/dist/reflect/callsites.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callsites.js","sourceRoot":"","sources":["../../src/reflect/callsites.ts"],"names":[],"mappings":"AAAA,mDAAmD;AACnD,EAAE;AACF,wFAAwF;AACxF,sFAAsF;AACtF,qFAAqF;AACrF,sFAAsF;AACtF,yFAAyF;AAGzF,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,eAAe,GAChB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,WAAW,EAAyC,MAAM,0BAA0B,CAAC;AAE9F,MAAM,CAAC,MAAM,WAAW,GAAgD,MAAM,CAAC,MAAM,CAAC;IACpF,EAAE,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,gBAAgB,CAAC;IACjD,SAAS,EAAE,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IAChD,MAAM,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,gBAAgB,CAAC;IACrD,aAAa,EAAE,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACpD,MAAM,EAAE,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IAC7C,YAAY,EAAE,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACnD,QAAQ,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,gBAAgB,CAAC;IACvD,eAAe,EAAE,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IACtD,MAAM,EAAE,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IAC7C,YAAY,EAAE,CAAC,sBAAsB,EAAE,aAAa,CAAC;IACrD,QAAQ,EAAE,CAAC,cAAc,EAAE,MAAM,EAAE,aAAa,CAAC;IACjD,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,cAAc,EAAE,CAAC,gBAAgB,CAAC;IAClC,eAAe,EAAE,CAAC,gBAAgB,CAAC;IACnC,eAAe,EAAE,CAAC,gBAAgB,CAAC;IACnC,WAAW,EAAE,CAAC,gBAAgB,CAAC;IAC/B,WAAW,EAAE,CAAC,gBAAgB,CAAC;CAChC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;AACpF,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,gBAAgB;IAChB,iBAAiB;IACjB,iBAAiB;IACjB,aAAa;IACb,aAAa;CACd,CAAC,CAAC;AAcH,yEAAyE;AACzE,SAAS,UAAU,CAAC,IAAoB;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;IAC/E,IAAI,0BAA0B,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACvG,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;IACvE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,UAAsB,EAAE,OAA4B;IAChF,MAAM,KAAK,GAAe,EAAE,CAAC;IAE7B,mFAAmF;IACnF,oFAAoF;IACpF,oBAAoB;IACpB,MAAM,KAAK,GAAG,CAAC,IAAU,EAAa,EAAE;QACtC,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,YAAY,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,OAAgB,EAAE,MAA4B;IAC9D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,CAAC,MAAM,CAAC,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,eAAe,CACtB,UAAsB,EACtB,OAAgB,EAChB,OAA4B,EAC5B,MAAmD;IAEnD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmE,CAAC;IAE5F,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC;YAAE,SAAS;QAC7F,MAAM,SAAS,GAAG,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC;QACjD,MAAM,UAAU,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC;QAC/F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEtC,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACtE,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACjG,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;YACtD,IAAI,MAAM,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,IAAoB;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;IAC5E,IAAI,0BAA0B,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACvG,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;IACpE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAUD;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,UAAsB,EACtB,OAAgB,EAChB,OAA4B,EAC5B,MAAmD,EACnD,OAAO,GAAqB,EAAE;IAE9B,IAAI,OAAO,CAAC,YAAY,KAAK,IAAI;QAAE,OAAO,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE7E,MAAM,SAAS,GAAG,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACxE,MAAM,KAAK,GAAe,EAAE,CAAC;IAE7B,MAAM,KAAK,GAAG,CAAC,IAAU,EAAa,EAAE;QACtC,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,YAAY,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACvD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC/E,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC1E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,KAAK,CAAC,IAAI,CAAC;wBACT,MAAM,EAAE,KAAK,CAAC,MAAM;wBACpB,OAAO,EAAE,MAAM,CAAC,OAAO;wBACvB,SAAS,EAAE,KAAK,CAAC,SAAS;wBAC1B,YAAY;wBACZ,IAAI;qBACL,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;oBAC/B,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;wBAChG,sEAAsE;wBACtE,uEAAuE;wBACvE,gEAAgE;wBAChE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC/C,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/reflect/index.d.ts

@@ -0,0 +1,106 @@
+import { type SchemaIR, type ShapeIR, type TypeIR } from '@zmdb/schema/ir';
+import { type NamingStrategy } from '@zmdb/schema/naming';
+import type { Node } from 'typescript/unstable/ast';
+import type { Checker, Type } from 'typescript/unstable/sync';
+import type { GrpcServiceIR } from '../protobuf/grpc-ir.js';
+export { apiInstanceCount, projectSourceFileNames, ReflectSession, withSession } from './session.js';
+export type { SessionOptions, SessionUpdate, SourceFileHandle } from './session.js';
+export type { GrpcMethodIR, GrpcServiceIR } from '../protobuf/grpc-ir.js';
+/**
+ * A refusal, recorded rather than thrown. `path` is the property chain that reached
+ * it (`'email'`, `'profile.address.zip'`) so the message can point somewhere.
+ */
+export interface ReflectDiagnostic {
+    readonly path: string;
+    readonly reason: string;
+    /** The type as the checker prints it, when that is more use than the path. */
+    readonly source?: string;
+}
+export interface ReflectLimits {
+    /** Nesting depth of object/array/union recursion. */
+    readonly maxDepth: number;
+    /** Total IR nodes produced by one reflector. */
+    readonly maxNodes: number;
+    /** Distinct named objects, i.e. hoistable helpers in the emitted code. */
+    readonly maxHelpers: number;
+}
+/**
+ * Deliberately generous. These are a guard against pathological input, not a style
+ * guide: a legitimate 30-deep nested JSON payload is unusual but not wrong, and a
+ * cap that fires on real code trains people to raise it rather than to read it.
+ */
+export declare const DEFAULT_LIMITS: ReflectLimits;
+export interface ReflectOptions {
+    readonly limits?: Partial<ReflectLimits>;
+    /** Resolved from `zmdb.config.ts` by the caller. Absent means identity. */
+    readonly naming?: NamingStrategy;
+}
+export { type NamingStrategy } from '@zmdb/schema/naming';
+/**
+ * One reflector per file, not per type: the budget, the helper names and the
+ * duplicate-tag detector are all whole-program facts, and splitting them per type
+ * would let a 200-type file blow past every cap one type at a time.
+ */
+export declare class Reflector {
+    #private;
+    readonly diagnostics: ReflectDiagnostic[];
+    constructor(checker: Checker, location: Node, options?: ReflectOptions);
+    /** The structural IR of a type. Total: always returns a node. */
+    typeIR(type: Type, path?: string): TypeIR;
+    /**
+     * The structural IR of a protobuf message, with field-number validation enabled.
+     *
+     * Ordinary validators may reflect an object whose properties have no protobuf
+     * numbers; only a protobuf call makes complete numbering mandatory. Keeping that
+     * decision here means every protobuf back-end receives the same checked IR.
+     */
+    protobufIR(type: Type): TypeIR;
+    /**
+     * Reflect a gRPC service while keeping every message on the protobuf path.
+     *
+     * The service shell is not a protobuf message: its properties are methods,
+     * and each method owns two message roots. Reflecting those roots here keeps
+     * field-number validation and every downstream codec on the one TypeIR walk.
+     */
+    grpcServiceIR(type: Type): GrpcServiceIR;
+    /**
+     * The schema IR of a *tagged entity* type: the only way a table's IR is produced.
+     *
+     * There used to be a second producer that read the same document back out of a builder
+     * value, and for the length of the migration the two had to agree node for node. Now this
+     * is it, so every SQL snapshot, DDL golden and JSON Schema contract in the repository is
+     * downstream of what this returns (REQ-TF-7, REQ-TF-12). `reflect.spec.ts` writes out the
+     * answer for the two-table corpus, which is what stands in for that differential.
+     */
+    schemaIR(type: Type, fallbackTable?: string): SchemaIR;
+    /**
+     * The columns of any object type, each with its own optionality — what the JSON
+     * Schema back-end consumes (`jsonSchemaFromShape`).
+     *
+     * `schemaIR` above is for a tagged *entity*: it wants a `Table<'name'>` tag, reads
+     * relations, and computes a primary key. A document is generated from something
+     * weaker and more general — `CreateDTO<User>`, `ReadDTO<User>`, or a `Pick` of either
+     * — and none of those carry a table name, because a mapped type drops the
+     * symbol-keyed entity tags along with everything else non-string. Demanding one would
+     * make the type-driven `toJsonSchema<T>()` work on exactly one shape per table.
+     *
+     * The optionality is the type's own, read off the property symbol. That is the whole
+     * reason this is not `schemaIR` with a flag: `CreateDTO<User>` has already applied the
+     * "a column with a default may be omitted" rule that the `'create'` variant applies by
+     * hand, and reading it back off the type is what makes the two paths agree by
+     * construction rather than by a rule written twice.
+     *
+     * Relations are skipped, as they are in `schemaIR`: a join target is not a column and
+     * has no place in a column's document. `toJsonSchemaWithRelations` adds `$ref`s on top.
+     */
+    shapeIR(type: Type): ShapeIR;
+}
+export interface ReflectResult<T> {
+    readonly ir: T;
+    readonly diagnostics: readonly ReflectDiagnostic[];
+}
+/** One type, one IR, plus whatever the reflection had to refuse along the way. */
+export declare function irFromType(checker: Checker, type: Type, location: Node, options?: ReflectOptions): ReflectResult<TypeIR>;
+/** A tagged entity type, read to the `SchemaIR` every back-end takes. */
+export declare function schemaIrFromType(checker: Checker, type: Type, location: Node, options?: ReflectOptions): ReflectResult<SchemaIR>;
+//# sourceMappingURL=index.d.ts.map

package/dist/reflect/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/reflect/index.ts"],"names":[],"mappings":"AAkCA,OAAO,EAgBL,KAAK,QAAQ,EAEb,KAAK,OAAO,EAGZ,KAAK,MAAM,EACZ,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAEpD,OAAO,KAAK,EAAE,OAAO,EAAwC,IAAI,EAAiB,MAAM,0BAA0B,CAAC;AAEnH,OAAO,KAAK,EAAgB,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE1E,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACrG,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACpF,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAM1E;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC5B,qDAAqD;IACrD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,0EAA0E;IAC1E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,aAAmE,CAAC;AAEjG,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACzC,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC;CAClC;AAED,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,qBAAqB,CAAC;AA0I1D;;;;GAIG;AACH,qBAAa,SAAS;;IACpB,QAAQ,CAAC,WAAW,EAAE,iBAAiB,EAAE,CAAM;IAgB/C,YAAY,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,GAAE,cAAmB,EAKzE;IAMD,iEAAiE;IACjE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,SAAK,GAAG,MAAM,CAEpC;IAED;;;;;;OAMG;IACH,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAK7B;IAED;;;;;;OAMG;IACH,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,aAAa,CAoCvC;IAED;;;;;;;;OAQG;IACH,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,EAAE,MAAM,GAAG,QAAQ,CAiJrD;IAED;;;;;;;;;;;;;;;;;;;OAmBG;IACH,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CA0B3B;CAwiCF;AAMD,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACf,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACpD;AAED,kFAAkF;AAClF,wBAAgB,UAAU,CACxB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,IAAI,EACd,OAAO,CAAC,EAAE,cAAc,GACvB,aAAa,CAAC,MAAM,CAAC,CAGvB;AAED,yEAAyE;AACzE,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,IAAI,EACd,OAAO,CAAC,EAAE,cAAc,GACvB,aAAa,CAAC,QAAQ,CAAC,CAGzB"}