Model canonical OCF conditional shapes

eslint.config.mjs

@@ -26,7 +26,7 @@ const eslintConfig = [
     languageOptions: {
       parser: typescriptEslintParser,
       parserOptions: {
-        project: ['./tsconfig.json', './tsconfig.tests.json'],
+        project: ['./tsconfig.json', './tsconfig.tests.json', './tsconfig.declaration-tests.json'],
         ecmaVersion: 2020,
         sourceType: 'module',
       },

package.json

@@ -7,6 +7,15 @@
     "url": "https://github.com/Fairmint/ocp-canton-sdk.git"
   },
   "license": "GPL-3.0-only",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js",
+      "require": "./dist/index.js",
+      "default": "./dist/index.js"
+    },
+    "./package.json": "./package.json"
+  },
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
   "files": [

scripts/check-declarations.ts

@@ -5,7 +5,11 @@ import ts from 'typescript';
 const projectRoot = process.cwd();
 const configPath = path.join(projectRoot, 'tsconfig.json');
 const declarationEntryPoint = path.join(projectRoot, 'dist', 'index.d.ts');
+const strictConsumerEntryPoint = path.join(projectRoot, 'test', 'declarations', 'publicApi.types.ts');
 const declarationRoot = `${path.dirname(declarationEntryPoint)}${path.sep}`;
+const generatedDamlPackage = '@fairmint/open-captable-protocol-daml-js';
+const cantonTransactionTreeOperationsModule = '@fairmint/canton-node-sdk/build/src/clients/ledger-json-api/operations';
+const commonTypesDeclaration = path.join(declarationRoot, 'types', 'common.d.ts');
 const diagnosticHost: ts.FormatDiagnosticsHost = {
   getCanonicalFileName: (fileName) => fileName,
   getCurrentDirectory: () => projectRoot,
@@ -30,16 +34,41 @@ if (parsedConfig.errors.length > 0) {
 }
 
 const program = ts.createProgram({
-  rootNames: [declarationEntryPoint],
-  options: parsedConfig.options,
+  rootNames: [declarationEntryPoint, strictConsumerEntryPoint],
+  options: { ...parsedConfig.options, rootDir: projectRoot },
 });
 
-const sdkDiagnostics = ts
-  .getPreEmitDiagnostics(program)
-  .filter((diagnostic) => diagnostic.file?.fileName.startsWith(declarationRoot));
+const diagnostics = ts.getPreEmitDiagnostics(program);
 
-if (sdkDiagnostics.length > 0) {
+if (diagnostics.length > 0) {
   throw new Error(
-    `SDK declaration validation failed:\n${ts.formatDiagnosticsWithColorAndContext(sdkDiagnostics, diagnosticHost)}`
+    `Strict consumer declaration validation failed:\n${ts.formatDiagnosticsWithColorAndContext(diagnostics, diagnosticHost)}`
+  );
+}
+
+const generatedDamlLeaks = program
+  .getSourceFiles()
+  .filter((sourceFile) => sourceFile.fileName.startsWith(declarationRoot))
+  .filter((sourceFile) => sourceFile.text.includes(generatedDamlPackage))
+  .map((sourceFile) => path.relative(projectRoot, sourceFile.fileName));
+
+if (generatedDamlLeaks.length > 0) {
+  throw new Error(
+    `Public declaration graph references ${generatedDamlPackage}:\n${generatedDamlLeaks.map((file) => `- ${file}`).join('\n')}`
+  );
+}
+
+const duplicatedTransactionTreeResponseImports = program
+  .getSourceFiles()
+  .filter((sourceFile) => sourceFile.fileName.startsWith(declarationRoot))
+  .filter((sourceFile) => sourceFile.fileName !== commonTypesDeclaration)
+  .filter((sourceFile) => sourceFile.text.includes(cantonTransactionTreeOperationsModule))
+  .map((sourceFile) => path.relative(projectRoot, sourceFile.fileName));
+
+if (duplicatedTransactionTreeResponseImports.length > 0) {
+  throw new Error(
+    `Public declarations must import transaction-tree response types through src/types/common:\n${duplicatedTransactionTreeResponseImports
+      .map((file) => `- ${file}`)
+      .join('\n')}`
   );
 }