@specferret/core 0.1.4 → 0.3.0

package/dist/config.d.ts

@@ -10,6 +10,9 @@ export interface FerretConfig {
         include: string[];
         watchNodes?: string[];
     };
+    contractParsers?: {
+        typescript?: boolean;
+    };
 }
 export declare const DEFAULT_CONFIG: FerretConfig;
 /**

package/dist/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,EAAE,QAAQ,GAAG,UAAU,CAAC;IAC7B,iBAAiB,CAAC,EAAE;QAClB,OAAO,CAAC,EAAE,OAAO,CAAC;KACnB,CAAC;IACF,aAAa,CAAC,EAAE;QACd,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;KACvB,CAAC;CACH;AAED,eAAO,MAAM,cAAc,EAAE,YAQ5B,CAAC;AAEF;;;GAGG;AACH,wBAAgB,UAAU,IAAI,YAAY,CAezC"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,EAAE,QAAQ,GAAG,UAAU,CAAC;IAC7B,iBAAiB,CAAC,EAAE;QAClB,OAAO,CAAC,EAAE,OAAO,CAAC;KACnB,CAAC;IACF,aAAa,CAAC,EAAE;QACd,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;KACvB,CAAC;IACF,eAAe,CAAC,EAAE;QAChB,UAAU,CAAC,EAAE,OAAO,CAAC;KACtB,CAAC;CACH;AAED,eAAO,MAAM,cAAc,EAAE,YAQ5B,CAAC;AAEF;;;GAGG;AACH,wBAAgB,UAAU,IAAI,YAAY,CAezC"}

package/dist/config.js.map

@@ -1 +1 @@
-{"version":3,"file":"config.js","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAgBnD,MAAM,CAAC,MAAM,cAAc,GAAiB;IAC1C,OAAO,EAAE,YAAY;IACrB,WAAW,EAAE,kBAAkB;IAC/B,QAAQ,EAAE,CAAC,kBAAkB,CAAC;IAC9B,KAAK,EAAE,QAAQ;IACf,iBAAiB,EAAE;QACjB,OAAO,EAAE,IAAI;KACd;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,UAAU;IACxB,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;IAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAEzD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,GAAG,cAAc,EAAE,CAAC;IAC/B,CAAC;IAED,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAA0B,CAAC;QACxD,OAAO,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,GAAG,cAAc,EAAE,CAAC;IAC/B,CAAC;AACH,CAAC"}
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAmBnD,MAAM,CAAC,MAAM,cAAc,GAAiB;IAC1C,OAAO,EAAE,YAAY;IACrB,WAAW,EAAE,kBAAkB;IAC/B,QAAQ,EAAE,CAAC,kBAAkB,CAAC;IAC9B,KAAK,EAAE,QAAQ;IACf,iBAAiB,EAAE;QACjB,OAAO,EAAE,IAAI;KACd;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,UAAU;IACxB,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;IAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAEzD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,GAAG,cAAc,EAAE,CAAC;IAC/B,CAAC;IAED,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAA0B,CAAC;QACxD,OAAO,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,GAAG,cAAc,EAAE,CAAC;IAC/B,CAAC;AACH,CAAC"}

package/dist/contract.d.ts

@@ -0,0 +1,16 @@
+import { z } from 'zod';
+export interface Contract<T extends Record<string, z.ZodTypeAny> = Record<string, z.ZodTypeAny>> {
+    id?: string;
+    value: string;
+    output: T;
+    invariants?: Array<(r: z.infer<z.ZodObject<T>>) => boolean>;
+    consumes?: Contract[];
+    forbids?: string[];
+    status?: 'complete' | 'active' | 'pending';
+    closedBy?: string;
+    closedWhen?: string;
+    dependsOn?: Contract[];
+}
+export declare function defineContract<T extends Record<string, z.ZodTypeAny>>(contract: Contract<T>): Contract<T>;
+export declare function isContract(value: unknown): value is Contract;
+//# sourceMappingURL=contract.d.ts.map

package/dist/contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,WAAW,QAAQ,CACvB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC;IAErE,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,CAAC,CAAC;IACV,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC;IAC5D,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,CAAC,EAAE,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;CACxB;AAED,wBAAgB,cAAc,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,EACnE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GACpB,QAAQ,CAAC,CAAC,CAAC,CAKb;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,QAAQ,CAW5D"}

package/dist/contract.js

@@ -0,0 +1,17 @@
+export function defineContract(contract) {
+    if ('id' in contract && contract.id !== undefined && contract.id.trim() === '') {
+        throw new Error('defineContract: id must be a non-empty string if provided');
+    }
+    return contract;
+}
+export function isContract(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        'value' in value &&
+        typeof value.value === 'string' &&
+        'output' in value &&
+        typeof value.output === 'object' &&
+        value.output !== null &&
+        !Array.isArray(value.output));
+}
+//# sourceMappingURL=contract.js.map

package/dist/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAiBA,MAAM,UAAU,cAAc,CAC5B,QAAqB;IAErB,IAAI,IAAI,IAAI,QAAQ,IAAI,QAAQ,CAAC,EAAE,KAAK,SAAS,IAAI,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/E,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAO,IAAI,KAAK;QAChB,OAAQ,KAAiC,CAAC,KAAK,KAAK,QAAQ;QAC5D,QAAQ,IAAI,KAAK;QACjB,OAAQ,KAAiC,CAAC,MAAM,KAAK,QAAQ;QAC5D,KAAiC,CAAC,MAAM,KAAK,IAAI;QAClD,CAAC,KAAK,CAAC,OAAO,CAAE,KAAiC,CAAC,MAAM,CAAC,CAC1D,CAAC;AACJ,CAAC"}

package/dist/extractor/__fixtures__/cross-file-id.fixture.d.ts

@@ -0,0 +1,15 @@
+import { z } from 'zod';
+export declare const myContract: {
+    value: string;
+    output: {
+        result: z.ZodString;
+    };
+    consumes: {
+        value: string;
+        output: {
+            data: z.ZodString;
+        };
+        id: string;
+    }[];
+};
+//# sourceMappingURL=cross-file-id.fixture.d.ts.map

package/dist/extractor/__fixtures__/cross-file-id.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-file-id.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/cross-file-id.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,UAAU;;;;;;;;;;;;CAItB,CAAC"}

package/dist/extractor/__fixtures__/cross-file-id.fixture.js

@@ -0,0 +1,9 @@
+import { z } from 'zod';
+import { externalWithId } from './external-with-id.fixture.js';
+// Consumes an external contract that has an explicit id — resolves via c.id
+export const myContract = {
+    value: 'Contract consuming known external',
+    output: { result: z.string() },
+    consumes: [externalWithId],
+};
+//# sourceMappingURL=cross-file-id.fixture.js.map

package/dist/extractor/__fixtures__/cross-file-id.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-file-id.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/cross-file-id.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D,4EAA4E;AAC5E,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,KAAK,EAAE,mCAAmC;IAC1C,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;IAC9B,QAAQ,EAAE,CAAC,cAAc,CAAC;CAC3B,CAAC"}

package/dist/extractor/__fixtures__/cross-file-unresolved.fixture.d.ts

@@ -0,0 +1,14 @@
+import { z } from 'zod';
+export declare const myContract: {
+    value: string;
+    output: {
+        result: z.ZodString;
+    };
+    consumes: {
+        value: string;
+        output: {
+            data: z.ZodString;
+        };
+    }[];
+};
+//# sourceMappingURL=cross-file-unresolved.fixture.d.ts.map

package/dist/extractor/__fixtures__/cross-file-unresolved.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-file-unresolved.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/cross-file-unresolved.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,UAAU;;;;;;;;;;;CAItB,CAAC"}

package/dist/extractor/__fixtures__/cross-file-unresolved.fixture.js

@@ -0,0 +1,9 @@
+import { z } from 'zod';
+import { externalNoId } from './external-no-id.fixture.js';
+// Consumes an external contract with no id — triggers exactly one warning
+export const myContract = {
+    value: 'Contract consuming unresolvable external',
+    output: { result: z.string() },
+    consumes: [externalNoId],
+};
+//# sourceMappingURL=cross-file-unresolved.fixture.js.map

package/dist/extractor/__fixtures__/cross-file-unresolved.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-file-unresolved.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/cross-file-unresolved.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE3D,0EAA0E;AAC1E,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,KAAK,EAAE,0CAA0C;IACjD,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;IAC9B,QAAQ,EAAE,CAAC,YAAY,CAAC;CACzB,CAAC"}

package/dist/extractor/__fixtures__/empty.fixture.d.ts

@@ -0,0 +1,6 @@
+export declare const version = "1.0.0";
+export declare const count = 42;
+export declare const config: {
+    debug: boolean;
+};
+//# sourceMappingURL=empty.fixture.d.ts.map

package/dist/extractor/__fixtures__/empty.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"empty.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/empty.fixture.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,OAAO,UAAU,CAAC;AAC/B,eAAO,MAAM,KAAK,KAAK,CAAC;AACxB,eAAO,MAAM,MAAM;;CAAkB,CAAC"}

package/dist/extractor/__fixtures__/empty.fixture.js

@@ -0,0 +1,5 @@
+// No ferret contracts here — only primitives and non-contract objects
+export const version = '1.0.0';
+export const count = 42;
+export const config = { debug: true };
+//# sourceMappingURL=empty.fixture.js.map

package/dist/extractor/__fixtures__/empty.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"empty.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/empty.fixture.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,MAAM,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC;AAC/B,MAAM,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;AACxB,MAAM,CAAC,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC"}

package/dist/extractor/__fixtures__/external-no-id.fixture.d.ts

@@ -0,0 +1,8 @@
+import { z } from 'zod';
+export declare const externalNoId: {
+    value: string;
+    output: {
+        data: z.ZodString;
+    };
+};
+//# sourceMappingURL=external-no-id.fixture.d.ts.map

package/dist/extractor/__fixtures__/external-no-id.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-no-id.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/external-no-id.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,eAAO,MAAM,YAAY;;;;;CAGxB,CAAC"}

package/dist/extractor/__fixtures__/external-no-id.fixture.js

@@ -0,0 +1,7 @@
+import { z } from 'zod';
+// External contract with no id — cross-file refs to this will be unresolvable
+export const externalNoId = {
+    value: 'External contract without id',
+    output: { data: z.string() },
+};
+//# sourceMappingURL=external-no-id.fixture.js.map

package/dist/extractor/__fixtures__/external-no-id.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-no-id.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/external-no-id.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,KAAK,EAAE,8BAA8B;IACrC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;CAC7B,CAAC"}

package/dist/extractor/__fixtures__/external-with-id.fixture.d.ts

@@ -0,0 +1,9 @@
+import { z } from 'zod';
+export declare const externalWithId: {
+    value: string;
+    output: {
+        data: z.ZodString;
+    };
+    id: string;
+};
+//# sourceMappingURL=external-with-id.fixture.d.ts.map

package/dist/extractor/__fixtures__/external-with-id.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-with-id.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/external-with-id.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,eAAO,MAAM,cAAc;;;;;;CAI1B,CAAC"}

package/dist/extractor/__fixtures__/external-with-id.fixture.js

@@ -0,0 +1,8 @@
+import { z } from 'zod';
+// External contract with an explicit id — cross-file refs resolve via c.id
+export const externalWithId = {
+    value: 'External contract with explicit id',
+    output: { data: z.string() },
+    id: 'external.known.id',
+};
+//# sourceMappingURL=external-with-id.fixture.js.map

package/dist/extractor/__fixtures__/external-with-id.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-with-id.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/external-with-id.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,2EAA2E;AAC3E,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,KAAK,EAAE,oCAAoC;IAC3C,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;IAC5B,EAAE,EAAE,mBAAmB;CACxB,CAAC"}

package/dist/extractor/__fixtures__/mixed.fixture.d.ts

@@ -0,0 +1,24 @@
+import { z } from 'zod';
+export declare const validContract: {
+    value: string;
+    output: {
+        name: z.ZodString;
+    };
+};
+export declare const anotherValid: {
+    value: string;
+    output: {
+        count: z.ZodNumber;
+    };
+};
+export declare const notAContract = 42;
+export declare const alsoNotAContract = "just a string";
+export declare const missingOutput: {
+    value: string;
+};
+export declare const missingValue: {
+    output: {
+        x: z.ZodString;
+    };
+};
+//# sourceMappingURL=mixed.fixture.d.ts.map

package/dist/extractor/__fixtures__/mixed.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mixed.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/mixed.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,aAAa;;;;;CAGzB,CAAC;AAEF,eAAO,MAAM,YAAY;;;;;CAGxB,CAAC;AAGF,eAAO,MAAM,YAAY,KAAK,CAAC;AAC/B,eAAO,MAAM,gBAAgB,kBAAkB,CAAC;AAChD,eAAO,MAAM,aAAa;;CAAoB,CAAC;AAC/C,eAAO,MAAM,YAAY;;;;CAAgC,CAAC"}

package/dist/extractor/__fixtures__/mixed.fixture.js

@@ -0,0 +1,15 @@
+import { z } from 'zod';
+export const validContract = {
+    value: 'valid',
+    output: { name: z.string() },
+};
+export const anotherValid = {
+    value: 'another valid',
+    output: { count: z.number() },
+};
+// These should be skipped by isContract
+export const notAContract = 42;
+export const alsoNotAContract = 'just a string';
+export const missingOutput = { value: 'oops' };
+export const missingValue = { output: { x: z.string() } };
+//# sourceMappingURL=mixed.fixture.js.map

package/dist/extractor/__fixtures__/mixed.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mixed.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/mixed.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;CAC7B,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,KAAK,EAAE,eAAe;IACtB,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;CAC9B,CAAC;AAEF,wCAAwC;AACxC,MAAM,CAAC,MAAM,YAAY,GAAG,EAAE,CAAC;AAC/B,MAAM,CAAC,MAAM,gBAAgB,GAAG,eAAe,CAAC;AAChD,MAAM,CAAC,MAAM,aAAa,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC/C,MAAM,CAAC,MAAM,YAAY,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC"}

package/dist/extractor/__fixtures__/one-contract.fixture.d.ts

@@ -0,0 +1,10 @@
+import { z } from 'zod';
+export declare const userContract: {
+    value: string;
+    output: {
+        id: z.ZodString;
+        name: z.ZodString;
+        email: z.ZodString;
+    };
+};
+//# sourceMappingURL=one-contract.fixture.d.ts.map

package/dist/extractor/__fixtures__/one-contract.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"one-contract.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/one-contract.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,YAAY;;;;;;;CAOxB,CAAC"}

package/dist/extractor/__fixtures__/one-contract.fixture.js

@@ -0,0 +1,10 @@
+import { z } from 'zod';
+export const userContract = {
+    value: 'User shape contract',
+    output: {
+        id: z.string().uuid(),
+        name: z.string(),
+        email: z.string().email(),
+    },
+};
+//# sourceMappingURL=one-contract.fixture.js.map

package/dist/extractor/__fixtures__/one-contract.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"one-contract.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/one-contract.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,KAAK,EAAE,qBAAqB;IAC5B,MAAM,EAAE;QACN,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE;KAC1B;CACF,CAAC"}

package/dist/extractor/__fixtures__/optional-fields.fixture.d.ts

@@ -0,0 +1,10 @@
+import { z } from 'zod';
+export declare const optionalFieldsContract: {
+    value: string;
+    output: {
+        required_field: z.ZodString;
+        optional_field: z.ZodOptional<z.ZodString>;
+        optional_number: z.ZodOptional<z.ZodNumber>;
+    };
+};
+//# sourceMappingURL=optional-fields.fixture.d.ts.map

package/dist/extractor/__fixtures__/optional-fields.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optional-fields.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/optional-fields.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,sBAAsB;;;;;;;CAOlC,CAAC"}

package/dist/extractor/__fixtures__/optional-fields.fixture.js

@@ -0,0 +1,10 @@
+import { z } from 'zod';
+export const optionalFieldsContract = {
+    value: 'Contract with optional fields',
+    output: {
+        required_field: z.string(),
+        optional_field: z.string().optional(),
+        optional_number: z.number().optional(),
+    },
+};
+//# sourceMappingURL=optional-fields.fixture.js.map

package/dist/extractor/__fixtures__/optional-fields.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optional-fields.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/optional-fields.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,KAAK,EAAE,+BAA+B;IACtC,MAAM,EAAE;QACN,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE;QAC1B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QACrC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KACvC;CACF,CAAC"}

package/dist/extractor/__fixtures__/same-file-consumes.fixture.d.ts

@@ -0,0 +1,20 @@
+import { z } from 'zod';
+export declare const baseContract: {
+    value: string;
+    output: {
+        token: z.ZodString;
+    };
+};
+export declare const dependentContract: {
+    value: string;
+    output: {
+        result: z.ZodString;
+    };
+    consumes: {
+        value: string;
+        output: {
+            token: z.ZodString;
+        };
+    }[];
+};
+//# sourceMappingURL=same-file-consumes.fixture.d.ts.map

package/dist/extractor/__fixtures__/same-file-consumes.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"same-file-consumes.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/same-file-consumes.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,YAAY;;;;;CAGxB,CAAC;AAEF,eAAO,MAAM,iBAAiB;;;;;;;;;;;CAI7B,CAAC"}

package/dist/extractor/__fixtures__/same-file-consumes.fixture.js

@@ -0,0 +1,11 @@
+import { z } from 'zod';
+export const baseContract = {
+    value: 'Base contract',
+    output: { token: z.string() },
+};
+export const dependentContract = {
+    value: 'Dependent contract that consumes baseContract',
+    output: { result: z.string() },
+    consumes: [baseContract],
+};
+//# sourceMappingURL=same-file-consumes.fixture.js.map

package/dist/extractor/__fixtures__/same-file-consumes.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"same-file-consumes.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/same-file-consumes.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,KAAK,EAAE,eAAe;IACtB,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;CAC9B,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,KAAK,EAAE,+CAA+C;IACtD,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;IAC9B,QAAQ,EAAE,CAAC,YAAY,CAAC;CACzB,CAAC"}

package/dist/extractor/__fixtures__/three-unresolved.fixture.d.ts

@@ -0,0 +1,38 @@
+import { z } from 'zod';
+export declare const contractA: {
+    value: string;
+    output: {
+        x: z.ZodString;
+    };
+    consumes: {
+        value: string;
+        output: {
+            a: z.ZodString;
+        };
+    }[];
+};
+export declare const contractB: {
+    value: string;
+    output: {
+        y: z.ZodString;
+    };
+    consumes: {
+        value: string;
+        output: {
+            b: z.ZodString;
+        };
+    }[];
+};
+export declare const contractC: {
+    value: string;
+    output: {
+        zField: z.ZodString;
+    };
+    consumes: {
+        value: string;
+        output: {
+            c: z.ZodString;
+        };
+    }[];
+};
+//# sourceMappingURL=three-unresolved.fixture.d.ts.map

package/dist/extractor/__fixtures__/three-unresolved.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"three-unresolved.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/three-unresolved.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB,eAAO,MAAM,SAAS;;;;;;;;;;;CAIrB,CAAC;AAEF,eAAO,MAAM,SAAS;;;;;;;;;;;CAIrB,CAAC;AAEF,eAAO,MAAM,SAAS;;;;;;;;;;;CAIrB,CAAC"}

package/dist/extractor/__fixtures__/three-unresolved.fixture.js

@@ -0,0 +1,21 @@
+import { z } from 'zod';
+// Three separate unresolvable external references (not exported, no id)
+const ext1 = { value: 'ext1', output: { a: z.string() } };
+const ext2 = { value: 'ext2', output: { b: z.string() } };
+const ext3 = { value: 'ext3', output: { c: z.string() } };
+export const contractA = {
+    value: 'Contract A',
+    output: { x: z.string() },
+    consumes: [ext1],
+};
+export const contractB = {
+    value: 'Contract B',
+    output: { y: z.string() },
+    consumes: [ext2],
+};
+export const contractC = {
+    value: 'Contract C',
+    output: { zField: z.string() },
+    consumes: [ext3],
+};
+//# sourceMappingURL=three-unresolved.fixture.js.map

package/dist/extractor/__fixtures__/three-unresolved.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"three-unresolved.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/three-unresolved.fixture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,wEAAwE;AACxE,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC;AAC1D,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC;AAC1D,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC;AAE1D,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;IACzB,QAAQ,EAAE,CAAC,IAAI,CAAC;CACjB,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;IACzB,QAAQ,EAAE,CAAC,IAAI,CAAC;CACjB,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;IAC9B,QAAQ,EAAE,CAAC,IAAI,CAAC;CACjB,CAAC"}

package/dist/extractor/__fixtures__/throws-on-import.fixture.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=throws-on-import.fixture.d.ts.map

package/dist/extractor/__fixtures__/throws-on-import.fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"throws-on-import.fixture.d.ts","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/throws-on-import.fixture.ts"],"names":[],"mappings":""}

package/dist/extractor/__fixtures__/throws-on-import.fixture.js

@@ -0,0 +1,5 @@
+// Fixture: throws synchronously at module top-level.
+// Used to verify that extractFromContractFile() does not swallow import errors.
+throw new Error('intentional module-level throw');
+export {};
+//# sourceMappingURL=throws-on-import.fixture.js.map

package/dist/extractor/__fixtures__/throws-on-import.fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"throws-on-import.fixture.js","sourceRoot":"","sources":["../../../src/extractor/__fixtures__/throws-on-import.fixture.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,gFAAgF;AAChF,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC"}

package/dist/extractor/frontmatter.d.ts

@@ -8,8 +8,12 @@ export interface ExtractionResult {
         shape: object;
         shape_hash: string;
         imports: string[];
+        /** Path to the TypeScript source file (code-first contracts only). */
+        sourceFile?: string;
+        /** TypeScript symbol name (code-first contracts only). */
+        sourceSymbol?: string;
     }>;
-    extractedBy: 'gray-matter' | 'tree-sitter';
+    extractedBy: 'gray-matter' | 'tree-sitter' | 'typescript';
     extractedAt: number;
     warning?: 'no-frontmatter';
 }

package/dist/extractor/frontmatter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"frontmatter.d.ts","sourceRoot":"","sources":["../../src/extractor/frontmatter.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IAC1B,SAAS,EAAE,KAAK,CAAC;QACf,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,YAAY,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC;QACd,UAAU,EAAE,MAAM,CAAC;QACnB,OAAO,EAAE,MAAM,EAAE,CAAC;KACnB,CAAC,CAAC;IACH,WAAW,EAAE,aAAa,GAAG,aAAa,CAAC;IAC3C,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,gBAAgB,CA4C3F"}
+{"version":3,"file":"frontmatter.d.ts","sourceRoot":"","sources":["../../src/extractor/frontmatter.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IAC1B,SAAS,EAAE,KAAK,CAAC;QACf,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,YAAY,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC;QACd,UAAU,EAAE,MAAM,CAAC;QACnB,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,sEAAsE;QACtE,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,0DAA0D;QAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;KACvB,CAAC,CAAC;IACH,WAAW,EAAE,aAAa,GAAG,aAAa,GAAG,YAAY,CAAC;IAC1D,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,gBAAgB,CAkD3F"}

package/dist/extractor/frontmatter.js

@@ -36,6 +36,9 @@ export function extractFromSpecFile(filePath, fileContent) {
     // validateFerretSchema never throws — only warns on unsupported keywords
     const validation = validateFerretSchema(ferret.shape, filePath);
     validation.warnings.forEach((w) => process.stderr.write(w + '\n'));
+    const source = ferret.source;
+    const sourceFile = typeof source?.file === 'string' ? source.file : undefined;
+    const sourceSymbol = typeof source?.symbol === 'string' ? source.symbol : undefined;
     return {
         filePath,
         fileType: 'spec',
@@ -46,6 +49,8 @@ export function extractFromSpecFile(filePath, fileContent) {
                 shape: ferret.shape,
                 shape_hash: hashSchema(ferret.shape),
                 imports: Array.isArray(ferret.imports) ? ferret.imports : [],
+                ...(sourceFile !== undefined && { sourceFile }),
+                ...(sourceSymbol !== undefined && { sourceSymbol }),
             },
         ],
         extractedBy: 'gray-matter',

package/dist/extractor/frontmatter.js.map

@@ -1 +1 @@
-{"version":3,"file":"frontmatter.js","sourceRoot":"","sources":["../../src/extractor/frontmatter.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,kFAAkF;AAElF,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAkBvC;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,WAAmB;IACvE,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,CAAC;IAE5B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,EAAE;YACb,WAAW,EAAE,aAAa;YAC1B,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;YACvB,OAAO,EAAE,gBAAgB;SAC1B,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,0CAA0C,QAAQ,KAAK,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrG,CAAC;IAED,MAAM,cAAc,GAAG,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnE,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,yEAAyE;IACzE,MAAM,UAAU,GAAG,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAEnE,OAAO;QACL,QAAQ;QACR,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE;YACT;gBACE,EAAE,EAAE,MAAM,CAAC,EAAY;gBACvB,IAAI,EAAE,cAAc,CAAC,KAAK;gBAC1B,KAAK,EAAE,MAAM,CAAC,KAAe;gBAC7B,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC;gBACpC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,OAAoB,CAAC,CAAC,CAAC,EAAE;aAC3E;SACF;QACD,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"frontmatter.js","sourceRoot":"","sources":["../../src/extractor/frontmatter.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,kFAAkF;AAElF,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAsBvC;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,WAAmB;IACvE,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,CAAC;IAE5B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,EAAE;YACb,WAAW,EAAE,aAAa;YAC1B,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;YACvB,OAAO,EAAE,gBAAgB;SAC1B,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,0CAA0C,QAAQ,KAAK,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrG,CAAC;IAED,MAAM,cAAc,GAAG,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnE,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,yEAAyE;IACzE,MAAM,UAAU,GAAG,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAEnE,MAAM,MAAM,GAAG,MAAM,CAAC,MAA0D,CAAC;IACjF,MAAM,UAAU,GAAG,OAAO,MAAM,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,MAAM,YAAY,GAAG,OAAO,MAAM,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAEpF,OAAO;QACL,QAAQ;QACR,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE;YACT;gBACE,EAAE,EAAE,MAAM,CAAC,EAAY;gBACvB,IAAI,EAAE,cAAc,CAAC,KAAK;gBAC1B,KAAK,EAAE,MAAM,CAAC,KAAe;gBAC7B,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC;gBACpC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,OAAoB,CAAC,CAAC,CAAC,EAAE;gBAC1E,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC;gBAC/C,GAAG,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,CAAC;aACpD;SACF;QACD,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACJ,CAAC"}

package/dist/extractor/typescript-contract.d.ts

@@ -0,0 +1,3 @@
+import type { ExtractionResult } from './frontmatter.js';
+export declare function extractFromContractFile(filePath: string): Promise<ExtractionResult>;
+//# sourceMappingURL=typescript-contract.d.ts.map

package/dist/extractor/typescript-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript-contract.d.ts","sourceRoot":"","sources":["../../src/extractor/typescript-contract.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEzD,wBAAsB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAkEzF"}

package/dist/extractor/typescript-contract.js

@@ -0,0 +1,67 @@
+// Extractor layer — turns a .contract.ts file into an ExtractionResult.
+// Uses Bun's native import() — no ts-morph, no AST, no compile step.
+import { z } from 'zod';
+import { zodToJsonSchema } from 'zod-to-json-schema';
+import { isContract } from '../contract.js';
+import { hashSchema } from './hash.js';
+export async function extractFromContractFile(filePath) {
+    const mod = (await import(filePath));
+    // Pass 1: build Map<contract object reference → export name> for same-file resolution
+    const exportNameMap = new Map();
+    for (const [exportName, exportValue] of Object.entries(mod)) {
+        if (isContract(exportValue)) {
+            exportNameMap.set(exportValue, exportName);
+        }
+    }
+    if (exportNameMap.size === 0) {
+        return {
+            filePath,
+            fileType: 'code',
+            contracts: [],
+            extractedBy: 'typescript',
+            extractedAt: Date.now(),
+            warning: 'no-frontmatter',
+        };
+    }
+    const contracts = [];
+    for (const [exportName, exportValue] of Object.entries(mod)) {
+        if (!isContract(exportValue))
+            continue;
+        const shape = zodToJsonSchema(z.object(exportValue.output), { $refStrategy: 'none' });
+        const shape_hash = hashSchema(shape);
+        // Pass 2: resolve consumes → import IDs
+        const imports = [];
+        if (exportValue.consumes) {
+            for (const consumed of exportValue.consumes) {
+                const samefile = exportNameMap.get(consumed);
+                if (samefile !== undefined) {
+                    imports.push(samefile);
+                }
+                else if (consumed.id !== undefined) {
+                    imports.push(consumed.id);
+                }
+                else {
+                    process.stderr.write(`[specferret] warning: unresolvable consumes reference in '${filePath}' — export '${exportName}' references a contract with no id and no matching same-file export\n`);
+                    imports.push('[unresolved]');
+                }
+            }
+        }
+        contracts.push({
+            id: exportName,
+            type: 'type',
+            shape,
+            shape_hash,
+            imports,
+            sourceFile: filePath,
+            sourceSymbol: exportName,
+        });
+    }
+    return {
+        filePath,
+        fileType: 'code',
+        contracts,
+        extractedBy: 'typescript',
+        extractedAt: Date.now(),
+    };
+}
+//# sourceMappingURL=typescript-contract.js.map

package/dist/extractor/typescript-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript-contract.js","sourceRoot":"","sources":["../../src/extractor/typescript-contract.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,qEAAqE;AAErE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAGvC,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,QAAgB;IAC5D,MAAM,GAAG,GAAG,CAAC,MAAM,MAAM,CAAC,QAAQ,CAAC,CAA4B,CAAC;IAEhE,sFAAsF;IACtF,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5B,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,EAAE;YACb,WAAW,EAAE,YAAY;YACzB,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;YACvB,OAAO,EAAE,gBAAgB;SAC1B,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAkC,EAAE,CAAC;IAEpD,KAAK,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,SAAS;QAEvC,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;QACtF,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAErC,wCAAwC;QACxC,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;YACzB,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAC5C,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC7C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzB,CAAC;qBAAM,IAAI,QAAQ,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;oBACrC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC5B,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,6DAA6D,QAAQ,eAAe,UAAU,uEAAuE,CACtK,CAAC;oBACF,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;QACH,CAAC;QAED,SAAS,CAAC,IAAI,CAAC;YACb,EAAE,EAAE,UAAU;YACd,IAAI,EAAE,MAAM;YACZ,KAAK;YACL,UAAU;YACV,OAAO;YACP,UAAU,EAAE,QAAQ;YACpB,YAAY,EAAE,UAAU;SACzB,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,QAAQ;QACR,QAAQ,EAAE,MAAM;QAChB,SAAS;QACT,WAAW,EAAE,YAAY;QACzB,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACJ,CAAC"}