@memberjunction/db-auto-doc 6.2.0-edge.4 → 6.2.0-edge.6

package/dist/discovery/LLMSanityChecker.js

@@ -3,6 +3,7 @@
  * Uses LLM intelligence to review and reject obviously wrong PK/FK candidates
  * This is a MACRO-LEVEL review that happens once after statistical detection
  */
+import { ResolveCallTimeoutMs, WithCallDeadline } from '../utils/call-deadline.js';
 import { CreateLLMInstance } from '../utils/llm-factory.js';
 export class LLMSanityChecker {
     constructor(aiConfig, statsCache) {
@@ -37,7 +38,15 @@ export class LLMSanityChecker {
             responseFormat: 'JSON'
         };
         console.log(`[LLMSanityChecker] Calling LLM for sanity check...`);
-        const chatResult = await this.llm.ChatCompletion(params);
+        // Bounded. This call reviews the ENTIRE candidate set in one request, so its prompt grows with
+        // the schema and it is the single largest call the discovery phase makes — and it had no
+        // deadline, no retry and no failover, so a stall here parked the whole run.
+        //
+        // The throw is deliberately NOT caught here: the caller in DiscoveryEngine already treats an
+        // exception from this checker as fatal to the iteration, whereas a returned failure is
+        // swallowed into "no candidates were invalid" — which would silently pass every statistically
+        // derived key through unreviewed. A timeout must not look like an all-clear.
+        const chatResult = await WithCallDeadline(ResolveCallTimeoutMs(this.aiConfig.callTimeoutMs), 'PK/FK sanity check', signal => this.llm.ChatCompletion({ ...params, cancellationToken: signal }));
         if (!chatResult.success) {
             console.warn(`[LLMSanityChecker] LLM call failed: ${chatResult.errorMessage}`);
             return {

package/dist/discovery/LLMSanityChecker.js.map

@@ -1 +1 @@
-{"version":3,"file":"LLMSanityChecker.js","sourceRoot":"","sources":["../../src/discovery/LLMSanityChecker.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAsB5D,MAAM,OAAO,gBAAgB;IAG3B,YAAoB,QAAkB,EAAU,UAA6B;QAAzD,aAAQ,GAAR,QAAQ,CAAU;QAAU,eAAU,GAAV,UAAU,CAAmB;QAC3E,2DAA2D;QAC3D,IAAI,CAAC,GAAG,GAAG,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnE,CAAC;IAED;;;OAGG;IACI,KAAK,CAAC,gBAAgB,CAC3B,YAA2B,EAC3B,YAA2B;QAE3B,OAAO,CAAC,GAAG,CAAC,gCAAgC,YAAY,CAAC,MAAM,sBAAsB,YAAY,CAAC,MAAM,gBAAgB,CAAC,CAAC;QAE1H,mCAAmC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAEvE,WAAW;QACX,MAAM,MAAM,GAAe;YACzB,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK;YAC1B,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,2MAA2M;iBACrN;gBACD;oBACE,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,MAAM;iBAChB;aACF;YACD,WAAW,EAAE,GAAG;YAChB,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;YACxC,cAAc,EAAE,MAAM;SACvB,CAAC;QAEF,OAAO,CAAC,GAAG,CAAC,oDAAoD,CAAC,CAAC;QAClE,MAAM,UAAU,GAAe,MAAM,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAErE,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,uCAAuC,UAAU,CAAC,YAAY,EAAE,CAAC,CAAC;YAC/E,OAAO;gBACL,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE;gBACd,WAAW,EAAE,EAAE;gBACf,UAAU,EAAE,CAAC;gBACb,WAAW,EAAE,CAAC;gBACd,YAAY,EAAE,CAAC;aAChB,CAAC;QACJ,CAAC;QAED,qBAAqB;QACrB,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAEpC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAIhC,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,4BAA4B,MAAM,CAAC,UAAU,CAAC,MAAM,iBAAiB,MAAM,CAAC,UAAU,CAAC,MAAM,cAAc,CAAC,CAAC;YAEzH,OAAO;gBACL,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,EAAE;gBACrC,UAAU,EAAE,KAAK,EAAE,WAAW,IAAI,CAAC;gBACnC,WAAW,EAAE,KAAK,EAAE,YAAY,IAAI,CAAC;gBACrC,YAAY,EAAE,KAAK,EAAE,gBAAgB,IAAI,CAAC;aAC3C,CAAC;QACJ,CAAC;QAAC,OAAO,UAAU,EAAE,CAAC;YACpB,OAAO,CAAC,KAAK,CAAC,oDAAqD,UAAoB,CAAC,OAAO,EAAE,CAAC,CAAC;YACnG,OAAO,CAAC,KAAK,CAAC,mCAAmC,OAAO,EAAE,CAAC,CAAC;YAC5D,OAAO;gBACL,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE;gBACd,WAAW,EAAE,EAAE;gBACf,UAAU,EAAE,KAAK,EAAE,WAAW,IAAI,CAAC;gBACnC,WAAW,EAAE,KAAK,EAAE,YAAY,IAAI,CAAC;gBACrC,YAAY,EAAE,KAAK,EAAE,gBAAgB,IAAI,CAAC;aAC3C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,gDAAgD;IACzC,KAAK,CAAC,gBAAgB,CAC3B,YAA2B,EAC3B,YAA2B;QAE3B,OAAO,IAAI,CAAC,gBAAgB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACK,sBAAsB,CAC5B,YAA2B,EAC3B,YAA2B;QAE3B,qBAAqB;QACrB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;QACpD,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC1B,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;QACpD,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACjD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC1B,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,MAAM,GAAG;;;;;;;;;;;;;CAahB,CAAC;QAEE,oBAAoB;QACpB,KAAK,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACnD,MAAM,IAAI,YAAY,QAAQ,IAAI,CAAC;YACnC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACrB,MAAM,UAAU,GAAG,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBAC7D,MAAM,OAAO,GAAG,EAAE,CAAC,QAAQ,EAAE,WAAW,IAAI,SAAS,CAAC;gBACtD,MAAM,IAAI,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,OAAO,iBAAiB,UAAU,iBAAiB,EAAE,CAAC,UAAU,MAAM,CAAC;YACjI,CAAC;QACH,CAAC;QAED,MAAM,IAAI;;CAEb,CAAC;QAEE,oBAAoB;QACpB,KAAK,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACnD,MAAM,IAAI,YAAY,QAAQ,IAAI,CAAC;YACnC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACrB,MAAM,IAAI,OAAO,EAAE,CAAC,YAAY,MAAM,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,YAAY,iBAAiB,EAAE,CAAC,UAAU,MAAM,CAAC;YACjI,CAAC;QACH,CAAC;QAED,MAAM,IAAI;;;;;;;;;;;;;;;;EAgBZ,CAAC;QAEC,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}
+{"version":3,"file":"LLMSanityChecker.js","sourceRoot":"","sources":["../../src/discovery/LLMSanityChecker.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAGnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAsB5D,MAAM,OAAO,gBAAgB;IAG3B,YAAoB,QAAkB,EAAU,UAA6B;QAAzD,aAAQ,GAAR,QAAQ,CAAU;QAAU,eAAU,GAAV,UAAU,CAAmB;QAC3E,2DAA2D;QAC3D,IAAI,CAAC,GAAG,GAAG,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnE,CAAC;IAED;;;OAGG;IACI,KAAK,CAAC,gBAAgB,CAC3B,YAA2B,EAC3B,YAA2B;QAE3B,OAAO,CAAC,GAAG,CAAC,gCAAgC,YAAY,CAAC,MAAM,sBAAsB,YAAY,CAAC,MAAM,gBAAgB,CAAC,CAAC;QAE1H,mCAAmC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAEvE,WAAW;QACX,MAAM,MAAM,GAAe;YACzB,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK;YAC1B,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,2MAA2M;iBACrN;gBACD;oBACE,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,MAAM;iBAChB;aACF;YACD,WAAW,EAAE,GAAG;YAChB,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;YACxC,cAAc,EAAE,MAAM;SACvB,CAAC;QAEF,OAAO,CAAC,GAAG,CAAC,oDAAoD,CAAC,CAAC;QAClE,+FAA+F;QAC/F,yFAAyF;QACzF,4EAA4E;QAC5E,EAAE;QACF,6FAA6F;QAC7F,uFAAuF;QACvF,8FAA8F;QAC9F,6EAA6E;QAC7E,MAAM,UAAU,GAAe,MAAM,gBAAgB,CACnD,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EACjD,oBAAoB,EACpB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,GAAG,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC,CAC5E,CAAC;QAEF,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,uCAAuC,UAAU,CAAC,YAAY,EAAE,CAAC,CAAC;YAC/E,OAAO;gBACL,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE;gBACd,WAAW,EAAE,EAAE;gBACf,UAAU,EAAE,CAAC;gBACb,WAAW,EAAE,CAAC;gBACd,YAAY,EAAE,CAAC;aAChB,CAAC;QACJ,CAAC;QAED,qBAAqB;QACrB,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAEpC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAIhC,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,4BAA4B,MAAM,CAAC,UAAU,CAAC,MAAM,iBAAiB,MAAM,CAAC,UAAU,CAAC,MAAM,cAAc,CAAC,CAAC;YAEzH,OAAO;gBACL,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,EAAE;gBACrC,UAAU,EAAE,KAAK,EAAE,WAAW,IAAI,CAAC;gBACnC,WAAW,EAAE,KAAK,EAAE,YAAY,IAAI,CAAC;gBACrC,YAAY,EAAE,KAAK,EAAE,gBAAgB,IAAI,CAAC;aAC3C,CAAC;QACJ,CAAC;QAAC,OAAO,UAAU,EAAE,CAAC;YACpB,OAAO,CAAC,KAAK,CAAC,oDAAqD,UAAoB,CAAC,OAAO,EAAE,CAAC,CAAC;YACnG,OAAO,CAAC,KAAK,CAAC,mCAAmC,OAAO,EAAE,CAAC,CAAC;YAC5D,OAAO;gBACL,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE;gBACd,WAAW,EAAE,EAAE;gBACf,UAAU,EAAE,KAAK,EAAE,WAAW,IAAI,CAAC;gBACnC,WAAW,EAAE,KAAK,EAAE,YAAY,IAAI,CAAC;gBACrC,YAAY,EAAE,KAAK,EAAE,gBAAgB,IAAI,CAAC;aAC3C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,gDAAgD;IACzC,KAAK,CAAC,gBAAgB,CAC3B,YAA2B,EAC3B,YAA2B;QAE3B,OAAO,IAAI,CAAC,gBAAgB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACK,sBAAsB,CAC5B,YAA2B,EAC3B,YAA2B;QAE3B,qBAAqB;QACrB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;QACpD,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC1B,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;QACpD,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACjD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC1B,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,MAAM,GAAG;;;;;;;;;;;;;CAahB,CAAC;QAEE,oBAAoB;QACpB,KAAK,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACnD,MAAM,IAAI,YAAY,QAAQ,IAAI,CAAC;YACnC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACrB,MAAM,UAAU,GAAG,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBAC7D,MAAM,OAAO,GAAG,EAAE,CAAC,QAAQ,EAAE,WAAW,IAAI,SAAS,CAAC;gBACtD,MAAM,IAAI,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,OAAO,iBAAiB,UAAU,iBAAiB,EAAE,CAAC,UAAU,MAAM,CAAC;YACjI,CAAC;QACH,CAAC;QAED,MAAM,IAAI;;CAEb,CAAC;QAEE,oBAAoB;QACpB,KAAK,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACnD,MAAM,IAAI,YAAY,QAAQ,IAAI,CAAC;YACnC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACrB,MAAM,IAAI,OAAO,EAAE,CAAC,YAAY,MAAM,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,YAAY,iBAAiB,EAAE,CAAC,UAAU,MAAM,CAAC;YACjI,CAAC;QACH,CAAC;QAED,MAAM,IAAI;;;;;;;;;;;;;;;;EAgBZ,CAAC;QAEC,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}

package/dist/discovery/OrganicKeyDetector.d.ts

@@ -20,7 +20,9 @@ import { DatabaseDocumentation } from '../types/state.js';
 import { OrganicKeyCluster, OrganicKeyDetectionPhase } from '../types/organic-keys.js';
 import { ProgressCallback } from './SemanticPhase.js';
 import { BridgeViewProvider } from './BridgeViewSQLGenerator.js';
+import { ClusterVerification } from './Composer.js';
 import { DetectedOrganicKeysOutput } from './OrganicKeyTranslator.js';
+import { KeyVerifier } from './JoinProbe.js';
 export interface OrganicKeyDetectionResult {
     clusters: OrganicKeyCluster[];
     output: DetectedOrganicKeysOutput;
@@ -37,20 +39,46 @@ export interface OrganicKeyDetectionResult {
         outputKeys: number;
         outputSpokes: number;
         transitiveBridges: number;
+        /** Clusters the value-overlap probe refuted outright. */
+        clustersDroppedUnverified: number;
+        /** Members dropped for not sharing the anchor's value space. */
+        membersDroppedUnverified: number;
+        /** Concepts not emitted because no member owns the value as its table's primary key. */
+        conceptsSkippedUnanchored: number;
+        /** Probes spent, and the cap they ran under. */
+        probesUsed: number;
+        probesAllowed: number;
     };
+    /** Per-cluster probe record, so a dropped key can be explained rather than just missing. */
+    Verification: ClusterVerification[];
 }
 export interface DetectorRunOptions {
     OnProgress?: ProgressCallback;
 }
+/** Emit-time behaviour for the detector. */
+export interface OrganicKeyEmitOptions {
+    /**
+     * Set `AutoCreateRelatedViewOnForm` on emitted keys. Default false — a
+     * machine-proposed key should not silently create a grid per spoke on every form.
+     */
+    AutoCreateRelatedViewOnForm?: boolean;
+}
 export declare class OrganicKeyDetector {
     private readonly config;
     private readonly aiConfig;
     private readonly databaseProvider?;
+    private readonly keyVerifier;
+    private readonly emitOptions;
     /**
      * @param databaseProvider - Platform of the analyzed database. Bridge-view SQL is emitted in
      *                           its dialect because CodeGen executes it verbatim. Default SQL Server.
+     * @param keyVerifier - Probes each cluster member against the cluster anchor before
+     *                      the key is emitted. Pass the SAME instance the analysis engine
+     *                      got, so one probe budget covers the whole run. When null, keys
+     *                      are emitted unverified — the previous behaviour — and the
+     *                      per-cluster record says they were never checked.
      */
-    constructor(config: OrganicKeyDetectionConfig, aiConfig: AIConfig, databaseProvider?: BridgeViewProvider);
+    constructor(config: OrganicKeyDetectionConfig, aiConfig: AIConfig, databaseProvider?: BridgeViewProvider, keyVerifier?: KeyVerifier | null, emitOptions?: OrganicKeyEmitOptions);
     Detect(state: DatabaseDocumentation, opts?: DetectorRunOptions): Promise<OrganicKeyDetectionResult>;
     /** @deprecated Use {@link Detect}. */
     detect(state: DatabaseDocumentation, opts?: DetectorRunOptions): Promise<OrganicKeyDetectionResult>;

package/dist/discovery/OrganicKeyDetector.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"OrganicKeyDetector.d.ts","sourceRoot":"","sources":["../../src/discovery/OrganicKeyDetector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAoB,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAExE,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAEjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAEtE,MAAM,WAAW,yBAAyB;IACtC,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAC9B,MAAM,EAAE,yBAAyB,CAAC;IAClC,KAAK,EAAE,wBAAwB,CAAC;IAChC,OAAO,EAAE;QACL,cAAc,EAAE,MAAM,CAAC;QACvB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,2BAA2B,EAAE,MAAM,CAAC;QACpC,aAAa,EAAE,MAAM,CAAC;QACtB,eAAe,EAAE,MAAM,CAAC;QACxB,eAAe,EAAE,MAAM,CAAC;QACxB,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC;QACrB,iBAAiB,EAAE,MAAM,CAAC;KAC7B,CAAC;CACL;AAED,MAAM,WAAW,kBAAkB;IAC/B,UAAU,CAAC,EAAE,gBAAgB,CAAC;CACjC;AAED,qBAAa,kBAAkB;IAMvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IAPtC;;;OAGG;gBAEkB,MAAM,EAAE,yBAAyB,EACjC,QAAQ,EAAE,QAAQ,EAClB,gBAAgB,CAAC,EAAE,kBAAkB;IAG7C,MAAM,CACf,KAAK,EAAE,qBAAqB,EAC5B,IAAI,GAAE,kBAAuB,GAC9B,OAAO,CAAC,yBAAyB,CAAC;IAmDrC,sCAAsC;IACzB,MAAM,CACf,KAAK,EAAE,qBAAqB,EAC5B,IAAI,GAAE,kBAAuB,GAC9B,OAAO,CAAC,yBAAyB,CAAC;IAIrC,OAAO,CAAC,YAAY;CAMvB"}
+{"version":3,"file":"OrganicKeyDetector.d.ts","sourceRoot":"","sources":["../../src/discovery/OrganicKeyDetector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAoB,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAExE,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAW,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAE7C,MAAM,WAAW,yBAAyB;IACtC,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAC9B,MAAM,EAAE,yBAAyB,CAAC;IAClC,KAAK,EAAE,wBAAwB,CAAC;IAChC,OAAO,EAAE;QACL,cAAc,EAAE,MAAM,CAAC;QACvB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,2BAA2B,EAAE,MAAM,CAAC;QACpC,aAAa,EAAE,MAAM,CAAC;QACtB,eAAe,EAAE,MAAM,CAAC;QACxB,eAAe,EAAE,MAAM,CAAC;QACxB,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC;QACrB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,yDAAyD;QACzD,yBAAyB,EAAE,MAAM,CAAC;QAClC,gEAAgE;QAChE,wBAAwB,EAAE,MAAM,CAAC;QACjC,wFAAwF;QACxF,yBAAyB,EAAE,MAAM,CAAC;QAClC,gDAAgD;QAChD,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,4FAA4F;IAC5F,YAAY,EAAE,mBAAmB,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,kBAAkB;IAC/B,UAAU,CAAC,EAAE,gBAAgB,CAAC;CACjC;AAED,4CAA4C;AAC5C,MAAM,WAAW,qBAAqB;IAClC;;;OAGG;IACH,2BAA2B,CAAC,EAAE,OAAO,CAAC;CACzC;AAED,qBAAa,kBAAkB;IAWvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IAClC,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAdhC;;;;;;;;OAQG;gBAEkB,MAAM,EAAE,yBAAyB,EACjC,QAAQ,EAAE,QAAQ,EAClB,gBAAgB,CAAC,EAAE,kBAAkB,EACrC,WAAW,GAAE,WAAW,GAAG,IAAW,EACtC,WAAW,GAAE,qBAA0B;IAG/C,MAAM,CACf,KAAK,EAAE,qBAAqB,EAC5B,IAAI,GAAE,kBAAuB,GAC9B,OAAO,CAAC,yBAAyB,CAAC;IA6ErC,sCAAsC;IACzB,MAAM,CACf,KAAK,EAAE,qBAAqB,EAC5B,IAAI,GAAE,kBAAuB,GAC9B,OAAO,CAAC,yBAAyB,CAAC;IAIrC,OAAO,CAAC,YAAY;CAMvB"}

package/dist/discovery/OrganicKeyDetector.js

@@ -22,20 +22,43 @@ export class OrganicKeyDetector {
     /**
      * @param databaseProvider - Platform of the analyzed database. Bridge-view SQL is emitted in
      *                           its dialect because CodeGen executes it verbatim. Default SQL Server.
+     * @param keyVerifier - Probes each cluster member against the cluster anchor before
+     *                      the key is emitted. Pass the SAME instance the analysis engine
+     *                      got, so one probe budget covers the whole run. When null, keys
+     *                      are emitted unverified — the previous behaviour — and the
+     *                      per-cluster record says they were never checked.
      */
-    constructor(config, aiConfig, databaseProvider) {
+    constructor(config, aiConfig, databaseProvider, keyVerifier = null, emitOptions = {}) {
         this.config = config;
         this.aiConfig = aiConfig;
         this.databaseProvider = databaseProvider;
+        this.keyVerifier = keyVerifier;
+        this.emitOptions = emitOptions;
     }
     async Detect(state, opts = {}) {
         const progress = opts.OnProgress ?? (() => { });
         const startedAt = new Date().toISOString();
         const a = await RunSemanticPhase(state, this.config, this.aiConfig, progress);
-        const b = RunStructuralPhase(state, a.clusters, this.databaseProvider);
-        progress(`structural: ${b.Summary.transitiveBridgesFound} bridges`);
-        const c = Compose(a.clusters, b.Bridges);
-        progress(`compose: emitted ${c.Emitted}/${a.clusters.length} clusters (${c.Summary.outputKeys} keys, ${c.Summary.outputSpokes} spokes)`);
+        const b = RunStructuralPhase(state, a.clusters, { Provider: this.databaseProvider });
+        // Say WHY when the phase produced nothing: "0 bridges" from a completed walk and
+        // "0 bridges" from a walk that never ran are different facts, and a truncated walk
+        // is a third. Reporting them separately is the difference between a schema with no
+        // transitive bridges and a schema whose walk we bounded.
+        progress(b.Summary.walked
+            ? `structural: ${b.Summary.transitiveBridgesFound} bridges${b.Summary.truncationReasons ? ` (walk truncated: ${b.Summary.truncationReasons.join(', ')})` : ''}`
+            : `structural: skipped (${b.Summary.skipReason})`);
+        const c = await Compose(a.clusters, b.Bridges, this.keyVerifier, {
+            AutoCreateRelatedViewOnForm: this.emitOptions.AutoCreateRelatedViewOnForm,
+        });
+        // Report what the probe removed, not just what survived: "emitted 5 clusters" and
+        // "emitted 5 of 161, 156 refuted" are the same output and completely different
+        // facts about the schema.
+        const budget = this.keyVerifier ? this.keyVerifier.Budget : null;
+        progress(`compose: emitted ${c.Emitted}/${a.clusters.length} clusters (${c.Summary.outputKeys} keys, ${c.Summary.outputSpokes} spokes)`
+            + (c.SkippedUnanchored > 0 ? `; skipped ${c.SkippedUnanchored} concepts with no primary-key owner` : '')
+            + (budget
+                ? `; probe refuted ${c.DroppedUnverified} clusters and ${c.DroppedMembers} members using ${budget.ProbesUsed}/${budget.ProbesAllowed} probes`
+                : '; keys NOT verified (no probe configured)'));
         // Net additional clusters produced by the concept-name split (sub-clusters created
         // beyond the raw clusterer output, counting both kept and dropped sub-clusters).
         const splitClusterCount = Math.max(0, a.Summary.clustersFound + a.Summary.clustersDropped - a.Summary.clustersBeforeSplit);
@@ -69,7 +92,13 @@ export class OrganicKeyDetector {
                 outputKeys: c.Summary.outputKeys,
                 outputSpokes: c.Summary.outputSpokes,
                 transitiveBridges: b.Summary.transitiveBridgesFound,
+                clustersDroppedUnverified: c.DroppedUnverified,
+                membersDroppedUnverified: c.DroppedMembers,
+                conceptsSkippedUnanchored: c.SkippedUnanchored,
+                probesUsed: budget ? budget.ProbesUsed : 0,
+                probesAllowed: budget ? budget.ProbesAllowed : 0,
             },
+            Verification: c.Verification,
         };
     }
     /** @deprecated Use {@link Detect}. */

package/dist/discovery/OrganicKeyDetector.js.map

@@ -1 +1 @@
-{"version":3,"file":"OrganicKeyDetector.js","sourceRoot":"","sources":["../../src/discovery/OrganicKeyDetector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH,OAAO,EAAE,gBAAgB,EAAoB,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AA0BxC,MAAM,OAAO,kBAAkB;IAC3B;;;OAGG;IACH,YACqB,MAAiC,EACjC,QAAkB,EAClB,gBAAqC;QAFrC,WAAM,GAAN,MAAM,CAA2B;QACjC,aAAQ,GAAR,QAAQ,CAAU;QAClB,qBAAgB,GAAhB,gBAAgB,CAAqB;IACvD,CAAC;IAEG,KAAK,CAAC,MAAM,CACf,KAA4B,EAC5B,OAA2B,EAAE;QAE7B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAE3C,MAAM,CAAC,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC9E,MAAM,CAAC,GAAG,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACvE,QAAQ,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,sBAAsB,UAAU,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QACzC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,cAAc,CAAC,CAAC,OAAO,CAAC,UAAU,UAAU,CAAC,CAAC,OAAO,CAAC,YAAY,UAAU,CAAC,CAAC;QAEzI,mFAAmF;QACnF,iFAAiF;QACjF,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAC9B,CAAC,EACD,CAAC,CAAC,OAAO,CAAC,aAAa,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,GAAG,CAAC,CAAC,OAAO,CAAC,mBAAmB,CACtF,CAAC;QAEF,OAAO;YACH,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,KAAK,EAAE;gBACH,SAAS,EAAE,IAAI;gBACf,SAAS;gBACT,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACrC,MAAM,EAAE,WAAW;gBACnB,qBAAqB,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM;gBACxC,qBAAqB,EAAE,CAAC,CAAC,OAAO;gBAChC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,2BAA2B;gBAC3D,iBAAiB;gBACjB,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK;gBAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK;gBAC3B,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;gBAC7B,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBACjE,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK;aAC3C;YACD,OAAO,EAAE;gBACL,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc;gBACxC,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB;gBAC9C,2BAA2B,EAAE,CAAC,CAAC,OAAO,CAAC,2BAA2B;gBAClE,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM;gBAChC,eAAe,EAAE,CAAC,CAAC,OAAO;gBAC1B,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe;gBAC1C,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa;gBACtC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY;gBACpC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU;gBAChC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY;gBACpC,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB;aACtD;SACJ,CAAC;IACN,CAAC;IAED,sCAAsC;IAC/B,KAAK,CAAC,MAAM,CACf,KAA4B,EAC5B,OAA2B,EAAE;QAE7B,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAEO,YAAY,CAAC,WAAmB,EAAE,YAAoB;QAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QACtC,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,CAAC;QACvB,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,IAAI,CAAC,CAAC;cAC/D,CAAC,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,qBAAqB,IAAI,CAAC,CAAC,CAAC;IAC7E,CAAC;CACJ"}
+{"version":3,"file":"OrganicKeyDetector.js","sourceRoot":"","sources":["../../src/discovery/OrganicKeyDetector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH,OAAO,EAAE,gBAAgB,EAAoB,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,OAAO,EAAE,OAAO,EAAuB,MAAM,eAAe,CAAC;AA+C7D,MAAM,OAAO,kBAAkB;IAC3B;;;;;;;;OAQG;IACH,YACqB,MAAiC,EACjC,QAAkB,EAClB,gBAAqC,EACrC,cAAkC,IAAI,EACtC,cAAqC,EAAE;QAJvC,WAAM,GAAN,MAAM,CAA2B;QACjC,aAAQ,GAAR,QAAQ,CAAU;QAClB,qBAAgB,GAAhB,gBAAgB,CAAqB;QACrC,gBAAW,GAAX,WAAW,CAA2B;QACtC,gBAAW,GAAX,WAAW,CAA4B;IACzD,CAAC;IAEG,KAAK,CAAC,MAAM,CACf,KAA4B,EAC5B,OAA2B,EAAE;QAE7B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAE3C,MAAM,CAAC,GAAG,MAAM,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC9E,MAAM,CAAC,GAAG,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC;QACrF,iFAAiF;QACjF,mFAAmF;QACnF,mFAAmF;QACnF,yDAAyD;QACzD,QAAQ,CACJ,CAAC,CAAC,OAAO,CAAC,MAAM;YACZ,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,sBAAsB,WAAW,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC/J,CAAC,CAAC,wBAAwB,CAAC,CAAC,OAAO,CAAC,UAAU,GAAG,CACxD,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE;YAC7D,2BAA2B,EAAE,IAAI,CAAC,WAAW,CAAC,2BAA2B;SAC5E,CAAC,CAAC;QACH,kFAAkF;QAClF,+EAA+E;QAC/E,0BAA0B;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACjE,QAAQ,CACJ,oBAAoB,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,cAAc,CAAC,CAAC,OAAO,CAAC,UAAU,UAAU,CAAC,CAAC,OAAO,CAAC,YAAY,UAAU;cAC5H,CAAC,CAAC,CAAC,iBAAiB,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,iBAAiB,qCAAqC,CAAC,CAAC,CAAC,EAAE,CAAC;cACtG,CAAC,MAAM;gBACL,CAAC,CAAC,mBAAmB,CAAC,CAAC,iBAAiB,iBAAiB,CAAC,CAAC,cAAc,kBAAkB,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,aAAa,SAAS;gBAC7I,CAAC,CAAC,2CAA2C,CAAC,CACrD,CAAC;QAEF,mFAAmF;QACnF,iFAAiF;QACjF,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAC9B,CAAC,EACD,CAAC,CAAC,OAAO,CAAC,aAAa,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,GAAG,CAAC,CAAC,OAAO,CAAC,mBAAmB,CACtF,CAAC;QAEF,OAAO;YACH,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,KAAK,EAAE;gBACH,SAAS,EAAE,IAAI;gBACf,SAAS;gBACT,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACrC,MAAM,EAAE,WAAW;gBACnB,qBAAqB,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM;gBACxC,qBAAqB,EAAE,CAAC,CAAC,OAAO;gBAChC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,2BAA2B;gBAC3D,iBAAiB;gBACjB,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK;gBAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK;gBAC3B,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;gBAC7B,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBACjE,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK;aAC3C;YACD,OAAO,EAAE;gBACL,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc;gBACxC,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB;gBAC9C,2BAA2B,EAAE,CAAC,CAAC,OAAO,CAAC,2BAA2B;gBAClE,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM;gBAChC,eAAe,EAAE,CAAC,CAAC,OAAO;gBAC1B,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe;gBAC1C,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa;gBACtC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY;gBACpC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU;gBAChC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY;gBACpC,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB;gBACnD,yBAAyB,EAAE,CAAC,CAAC,iBAAiB;gBAC9C,wBAAwB,EAAE,CAAC,CAAC,cAAc;gBAC1C,yBAAyB,EAAE,CAAC,CAAC,iBAAiB;gBAC9C,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC1C,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;aACnD;YACD,YAAY,EAAE,CAAC,CAAC,YAAY;SAC/B,CAAC;IACN,CAAC;IAED,sCAAsC;IAC/B,KAAK,CAAC,MAAM,CACf,KAA4B,EAC5B,OAA2B,EAAE;QAE7B,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAEO,YAAY,CAAC,WAAmB,EAAE,YAAoB;QAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QACtC,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,CAAC;QACvB,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,IAAI,CAAC,CAAC;cAC/D,CAAC,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,qBAAqB,IAAI,CAAC,CAAC,CAAC;IAC7E,CAAC;CACJ"}

package/dist/discovery/OrganicKeyTranslator.d.ts

@@ -60,16 +60,35 @@ export interface TransitiveSpokeInput {
     relatedEntityJoinFieldName: string;
     hubConcept?: string;
 }
+/** Emit-time options for {@link TranslateClusters}. */
+export interface TranslateOptions {
+    /**
+     * Value for `AutoCreateRelatedViewOnForm` on every emitted key. Default FALSE.
+     *
+     * This was a hardcoded `true`, so every emitted key auto-created a related-record
+     * grid per spoke — around 22 grids per key on a real run, none of them asked for,
+     * each one a value-join on a column the detector had never verified. Opting in is
+     * the right default for a machine-proposed key.
+     */
+    AutoCreateRelatedViewOnForm?: boolean;
+    /**
+     * Called for each concept skipped because no member is its table's primary key, with the
+     * concept name and member count, so the caller can report what was not emitted.
+     */
+    OnUnanchored?: (concept: string, members: number) => void;
+}
 /**
  * Render gated clusters into PR #2193 JSON. Same-concept consolidation +
- * per-table fan-out + transitive spoke attachment. No filters, no thresholds.
+ * hub-and-spoke fan-out + transitive spoke attachment. No thresholds.
  *
- * The caller (Composer) is responsible for filtering. Anything passed in
- * gets emitted.
+ * The caller (Composer) is responsible for filtering by evidence. The one
+ * structural rule applied here: a concept is emitted only around the members
+ * that own it as a primary key (the hubs), and non-hub members are never
+ * linked to each other.
  */
-export declare function TranslateClusters(clusters: OrganicKeyCluster[], transitiveSpokes?: TransitiveSpokeInput[]): DetectedOrganicKeysOutput;
+export declare function TranslateClusters(clusters: OrganicKeyCluster[], transitiveSpokes?: TransitiveSpokeInput[], options?: TranslateOptions): DetectedOrganicKeysOutput;
 /** @deprecated Use {@link TranslateClusters}. */
-export declare function translateClusters(clusters: OrganicKeyCluster[], transitiveSpokes?: TransitiveSpokeInput[]): DetectedOrganicKeysOutput;
+export declare function translateClusters(clusters: OrganicKeyCluster[], transitiveSpokes?: TransitiveSpokeInput[], options?: TranslateOptions): DetectedOrganicKeysOutput;
 /** Tally the emit payload: number of schemas, tables, organic keys, and spokes it contains. */
 export declare function CountOutputEntries(out: DetectedOrganicKeysOutput): {
     schemas: number;

package/dist/discovery/OrganicKeyTranslator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"OrganicKeyTranslator.d.ts","sourceRoot":"","sources":["../../src/discovery/OrganicKeyTranslator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACH,iBAAiB,EAEjB,+BAA+B,EAGlC,MAAM,0BAA0B,CAAC;AAOlC,0EAA0E;AAC1E,MAAM,WAAW,oBAAoB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;CACf;AAED,kIAAkI;AAClI,MAAM,WAAW,6BAA6B;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,yBAAyB,CAAC,EAAE,MAAM,EAAE,CAAC;IACrC,yBAAyB,CAAC,EAAE,MAAM,CAAC;IACnC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,yGAAyG;AACzG,MAAM,WAAW,gBAAgB;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,EAAE,+BAA+B,CAAC;IACvD,6BAA6B,CAAC,EAAE,MAAM,CAAC;IACvC,2BAA2B,CAAC,EAAE,OAAO,CAAC;IACtC,eAAe,EAAE,6BAA6B,EAAE,CAAC;CACpD;AAED,kDAAkD;AAClD,MAAM,WAAW,qBAAqB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,gBAAgB,EAAE,CAAC;CACnC;AAED,4EAA4E;AAC5E,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;AAIhF,MAAM,WAAW,oBAAoB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,oBAAoB,CAAC;IACrC,yBAAyB,EAAE,MAAM,EAAE,CAAC;IACpC,yBAAyB,EAAE,MAAM,CAAC;IAClC,0BAA0B,EAAE,MAAM,CAAC;IACnC,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAID;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC7B,QAAQ,EAAE,iBAAiB,EAAE,EAC7B,gBAAgB,GAAE,oBAAoB,EAAO,GAC9C,yBAAyB,CAmG3B;AAED,iDAAiD;AACjD,wBAAgB,iBAAiB,CAC7B,QAAQ,EAAE,iBAAiB,EAAE,EAC7B,gBAAgB,GAAE,oBAAoB,EAAO,GAC9C,yBAAyB,CAE3B;AAwCD,+FAA+F;AAC/F,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,yBAAyB,GAAG;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAClB,CAaA;AAED,kDAAkD;AAClD,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,yBAAyB,GAAG;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAClB,CAEA"}
+{"version":3,"file":"OrganicKeyTranslator.d.ts","sourceRoot":"","sources":["../../src/discovery/OrganicKeyTranslator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACH,iBAAiB,EAEjB,+BAA+B,EAGlC,MAAM,0BAA0B,CAAC;AAOlC,0EAA0E;AAC1E,MAAM,WAAW,oBAAoB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;CACf;AAED,kIAAkI;AAClI,MAAM,WAAW,6BAA6B;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,yBAAyB,CAAC,EAAE,MAAM,EAAE,CAAC;IACrC,yBAAyB,CAAC,EAAE,MAAM,CAAC;IACnC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,yGAAyG;AACzG,MAAM,WAAW,gBAAgB;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,EAAE,+BAA+B,CAAC;IACvD,6BAA6B,CAAC,EAAE,MAAM,CAAC;IACvC,2BAA2B,CAAC,EAAE,OAAO,CAAC;IACtC,eAAe,EAAE,6BAA6B,EAAE,CAAC;CACpD;AAED,kDAAkD;AAClD,MAAM,WAAW,qBAAqB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,gBAAgB,EAAE,CAAC;CACnC;AAED,4EAA4E;AAC5E,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;AAIhF,MAAM,WAAW,oBAAoB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,oBAAoB,CAAC;IACrC,yBAAyB,EAAE,MAAM,EAAE,CAAC;IACpC,yBAAyB,EAAE,MAAM,CAAC;IAClC,0BAA0B,EAAE,MAAM,CAAC;IACnC,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAID,uDAAuD;AACvD,MAAM,WAAW,gBAAgB;IAC7B;;;;;;;OAOG;IACH,2BAA2B,CAAC,EAAE,OAAO,CAAC;IACtC;;;OAGG;IACH,YAAY,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CAC7D;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC7B,QAAQ,EAAE,iBAAiB,EAAE,EAC7B,gBAAgB,GAAE,oBAAoB,EAAO,EAC7C,OAAO,GAAE,gBAAqB,GAC/B,yBAAyB,CAqH3B;AAED,iDAAiD;AACjD,wBAAgB,iBAAiB,CAC7B,QAAQ,EAAE,iBAAiB,EAAE,EAC7B,gBAAgB,GAAE,oBAAoB,EAAO,EAC7C,OAAO,GAAE,gBAAqB,GAC/B,yBAAyB,CAE3B;AAwCD,+FAA+F;AAC/F,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,yBAAyB,GAAG;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAClB,CAaA;AAED,kDAAkD;AAClD,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,yBAAyB,GAAG;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAClB,CAEA"}

package/dist/discovery/OrganicKeyTranslator.js

@@ -14,15 +14,17 @@
  * fan-out — deterministic equivalent of an LLM concept-merge pass.
  */
 import { MemberColumns, IsCompoundMember, } from '../types/organic-keys.js';
-// ─── Entry point — pure fan-out ─────────────────────────────────────────────
 /**
  * Render gated clusters into PR #2193 JSON. Same-concept consolidation +
- * per-table fan-out + transitive spoke attachment. No filters, no thresholds.
+ * hub-and-spoke fan-out + transitive spoke attachment. No thresholds.
  *
- * The caller (Composer) is responsible for filtering. Anything passed in
- * gets emitted.
+ * The caller (Composer) is responsible for filtering by evidence. The one
+ * structural rule applied here: a concept is emitted only around the members
+ * that own it as a primary key (the hubs), and non-hub members are never
+ * linked to each other.
  */
-export function TranslateClusters(clusters, transitiveSpokes = []) {
+export function TranslateClusters(clusters, transitiveSpokes = [], options = {}) {
+    const autoCreateRelatedView = options.AutoCreateRelatedViewOnForm ?? false;
     // Step 1 — group by normalized canonical concept name.
     const byConcept = new Map();
     for (const cluster of clusters) {
@@ -58,13 +60,24 @@ export function TranslateClusters(clusters, transitiveSpokes = []) {
             .slice()
             .sort((a, b) => (b.confidence - a.confidence) || (b.members.length - a.members.length))[0];
         const name = prettyConceptName(anchor.concept);
-        // Step 3 — fan out: one entry per unique owner, spokes = all OTHER unique members.
+        // Hubs are the members whose column is their table's primary key: the table that owns
+        // the value. Without one, every pair is a co-reference (two tables that both hold a
+        // customer key), which is many-to-many and multiplies rows when joined, so the concept
+        // is skipped rather than emitted as a join path.
+        const hubs = allMembers.filter((m) => m.isPrimaryKey);
+        if (hubs.length === 0) {
+            options.OnUnanchored?.(name, allMembers.length);
+            continue;
+        }
+        // Step 3 — fan out, hub and spoke: a hub links to every other member (one-to-many);
+        // any other member links only to the hubs (many-to-one), never to another non-hub.
         for (const owner of allMembers) {
             const tableEntry = upsertTable(out, owner.schema, owner.table);
+            const targets = owner.isPrimaryKey ? allMembers : hubs;
             const seenSpokes = new Set();
             const spokes = [];
-            // Direct spokes — every other cluster member.
-            for (const target of allMembers) {
+            // Direct spokes.
+            for (const target of targets) {
                 if (target === owner)
                     continue;
                 const targetColumns = MemberColumns(target);
@@ -79,12 +92,17 @@ export function TranslateClusters(clusters, transitiveSpokes = []) {
                     DisplayName: `${target.schema}.${target.table}`,
                 });
             }
-            // Transitive spokes — bridge views attached to matching hubs.
+            // Transitive spokes — bridge views attached to matching hubs. Only a hub owner gets
+            // them: a non-hub reaching another table through a bridge (orders -> registration via
+            // the customer key both hold) is the same co-reference the direct fan-out leaves out.
+            // A table the owner already links to directly is not added again through a bridge.
             const ownerColumns = MemberColumns(owner);
-            const matchingTransitive = transitiveSpokes.filter((t) => t.hubSchema === owner.schema &&
+            const directTables = new Set(spokes.map((s) => `${s.SchemaName}.${s.TableName}`));
+            const matchingTransitive = !owner.isPrimaryKey ? [] : transitiveSpokes.filter((t) => t.hubSchema === owner.schema &&
                 t.hubTable === owner.table &&
                 t.hubKeyFields.length === ownerColumns.length &&
-                t.hubKeyFields.every((f, idx) => f === ownerColumns[idx]));
+                t.hubKeyFields.every((f, idx) => f === ownerColumns[idx]) &&
+                !directTables.has(`${t.spokeSchema}.${t.spokeTable}`));
             for (const t of matchingTransitive) {
                 spokes.push({
                     SchemaName: t.spokeSchema,
@@ -110,7 +128,7 @@ export function TranslateClusters(clusters, transitiveSpokes = []) {
                 MatchFieldNames: ownerColumns,
                 NormalizationStrategy: ownerNormalization,
                 CustomNormalizationExpression: ownerCustomExpression,
-                AutoCreateRelatedViewOnForm: true,
+                AutoCreateRelatedViewOnForm: autoCreateRelatedView,
                 RelatedEntities: spokes,
             });
         }
@@ -118,8 +136,8 @@ export function TranslateClusters(clusters, transitiveSpokes = []) {
     return out;
 }
 /** @deprecated Use {@link TranslateClusters}. */
-export function translateClusters(clusters, transitiveSpokes = []) {
-    return TranslateClusters(clusters, transitiveSpokes);
+export function translateClusters(clusters, transitiveSpokes = [], options = {}) {
+    return TranslateClusters(clusters, transitiveSpokes, options);
 }
 // ─── Helpers ────────────────────────────────────────────────────────────────
 function normalizeConceptName(name) {

package/dist/discovery/OrganicKeyTranslator.js.map

@@ -1 +1 @@
-{"version":3,"file":"OrganicKeyTranslator.js","sourceRoot":"","sources":["../../src/discovery/OrganicKeyTranslator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAIH,aAAa,EACb,gBAAgB,GACnB,MAAM,0BAA0B,CAAC;AA6DlC,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC7B,QAA6B,EAC7B,mBAA2C,EAAE;IAE7C,uDAAuD;IACvD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+B,CAAC;IACzD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QACzC,MAAM,GAAG,GAAG,oBAAoB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;YAC5B,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,GAAG,GAA8B,EAAE,CAAC;IAE1C,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACrC,sEAAsE;QACtE,gDAAgD;QAChD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmC,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/C,CAAC;QACL,CAAC;QACD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QAClD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QACpC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChF,IAAI,cAAc,CAAC,IAAI,GAAG,CAAC;YAAE,SAAS;QAEtC,8DAA8D;QAC9D,MAAM,MAAM,GAAG,KAAK;aACf,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAE/C,mFAAmF;QACnF,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAE/D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;YACrC,MAAM,MAAM,GAAoC,EAAE,CAAC;YAEnD,8CAA8C;YAC9C,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;gBAC9B,IAAI,MAAM,KAAK,KAAK;oBAAE,SAAS;gBAC/B,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;gBAC5C,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxE,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAChC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC;oBACR,UAAU,EAAE,MAAM,CAAC,MAAM;oBACzB,SAAS,EAAE,MAAM,CAAC,KAAK;oBACvB,iBAAiB,EAAE,aAAa;oBAChC,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,EAAE;iBAClD,CAAC,CAAC;YACP,CAAC;YAED,8DAA8D;YAC9D,MAAM,YAAY,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAC9C,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,MAAM;gBAC5B,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,KAAK;gBAC1B,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM;gBAC7C,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,YAAY,CAAC,GAAG,CAAC,CAAC,CAChE,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,kBAAkB,EAAE,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC;oBACR,UAAU,EAAE,CAAC,CAAC,WAAW;oBACzB,SAAS,EAAE,CAAC,CAAC,UAAU;oBACvB,cAAc,EAAE,CAAC,CAAC,cAAc;oBAChC,yBAAyB,EAAE,CAAC,CAAC,yBAAyB;oBACtD,yBAAyB,EAAE,CAAC,CAAC,yBAAyB;oBACtD,0BAA0B,EAAE,CAAC,CAAC,0BAA0B;oBACxD,WAAW,EAAE,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,UAAU,SAAS,CAAC,CAAC,UAAU,IAAI,QAAQ,GAAG;iBACpF,CAAC,CAAC;YACP,CAAC;YAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/F,0EAA0E;YAC1E,wEAAwE;YACxE,2EAA2E;YAC3E,0EAA0E;YAC1E,4EAA4E;YAC5E,MAAM,kBAAkB,GAAG,KAAK,CAAC,qBAAqB,IAAI,MAAM,CAAC,aAAa,CAAC;YAC/E,MAAM,qBAAqB,GACvB,KAAK,CAAC,6BAA6B,IAAI,MAAM,CAAC,6BAA6B,CAAC;YAChF,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC;gBACxB,IAAI,EAAE,IAAI,GAAG,cAAc;gBAC3B,WAAW,EAAE,MAAM,CAAC,SAAS;gBAC7B,eAAe,EAAE,YAAY;gBAC7B,qBAAqB,EAAE,kBAAkB;gBACzC,6BAA6B,EAAE,qBAAqB;gBACpD,2BAA2B,EAAE,IAAI;gBACjC,eAAe,EAAE,MAAM;aAC1B,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,GAAG,CAAC;AACf,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,iBAAiB,CAC7B,QAA6B,EAC7B,mBAA2C,EAAE;IAE7C,OAAO,iBAAiB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;AACzD,CAAC;AAED,+EAA+E;AAE/E,SAAS,oBAAoB,CAAC,IAAY;IACtC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;SACd,WAAW,EAAE;SACb,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;SACxB,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;SACnB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,IAAI,EAAE,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAe;IACtC,MAAM,MAAM,GAAG,OAAO;SACjB,KAAK,CAAC,GAAG,CAAC;SACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;SAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SAC3C,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,OAAO,GAAG,MAAM,QAAQ,CAAC;AAC7B,CAAC;AAED,SAAS,WAAW,CAChB,GAA8B,EAC9B,MAAc,EACd,KAAa;IAEb,IAAI,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,IAAI,CAAC,QAAQ,EAAE,CAAC;QACZ,QAAQ,GAAG,EAAE,CAAC;QACd,GAAG,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC;IAC3B,CAAC;IACD,IAAI,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC;IACxD,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,KAAK,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,kBAAkB,CAAC,GAA8B;IAM7D,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC;YAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW;gBAAE,MAAM,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC;QACtE,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC7C,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,kBAAkB,CAAC,GAA8B;IAM7D,OAAO,kBAAkB,CAAC,GAAG,CAAC,CAAC;AACnC,CAAC"}
+{"version":3,"file":"OrganicKeyTranslator.js","sourceRoot":"","sources":["../../src/discovery/OrganicKeyTranslator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAIH,aAAa,EACb,gBAAgB,GACnB,MAAM,0BAA0B,CAAC;AAiFlC;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAC7B,QAA6B,EAC7B,mBAA2C,EAAE,EAC7C,UAA4B,EAAE;IAE9B,MAAM,qBAAqB,GAAG,OAAO,CAAC,2BAA2B,IAAI,KAAK,CAAC;IAC3E,uDAAuD;IACvD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+B,CAAC;IACzD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QACzC,MAAM,GAAG,GAAG,oBAAoB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;YAC5B,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,GAAG,GAA8B,EAAE,CAAC;IAE1C,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACrC,sEAAsE;QACtE,gDAAgD;QAChD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmC,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/C,CAAC;QACL,CAAC;QACD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QAClD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QACpC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChF,IAAI,cAAc,CAAC,IAAI,GAAG,CAAC;YAAE,SAAS;QAEtC,8DAA8D;QAC9D,MAAM,MAAM,GAAG,KAAK;aACf,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAE/C,sFAAsF;QACtF,oFAAoF;QACpF,uFAAuF;QACvF,iDAAiD;QACjD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACtD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,YAAY,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;YAChD,SAAS;QACb,CAAC;QAED,oFAAoF;QACpF,mFAAmF;QACnF,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/D,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAEvD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;YACrC,MAAM,MAAM,GAAoC,EAAE,CAAC;YAEnD,iBAAiB;YACjB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,MAAM,KAAK,KAAK;oBAAE,SAAS;gBAC/B,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;gBAC5C,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxE,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAChC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC;oBACR,UAAU,EAAE,MAAM,CAAC,MAAM;oBACzB,SAAS,EAAE,MAAM,CAAC,KAAK;oBACvB,iBAAiB,EAAE,aAAa;oBAChC,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,EAAE;iBAClD,CAAC,CAAC;YACP,CAAC;YAED,oFAAoF;YACpF,sFAAsF;YACtF,sFAAsF;YACtF,mFAAmF;YACnF,MAAM,YAAY,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;YAClF,MAAM,kBAAkB,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CACzE,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,MAAM;gBAC5B,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,KAAK;gBAC1B,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM;gBAC7C,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,YAAY,CAAC,GAAG,CAAC,CAAC;gBACzD,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC,CAC5D,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,kBAAkB,EAAE,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC;oBACR,UAAU,EAAE,CAAC,CAAC,WAAW;oBACzB,SAAS,EAAE,CAAC,CAAC,UAAU;oBACvB,cAAc,EAAE,CAAC,CAAC,cAAc;oBAChC,yBAAyB,EAAE,CAAC,CAAC,yBAAyB;oBACtD,yBAAyB,EAAE,CAAC,CAAC,yBAAyB;oBACtD,0BAA0B,EAAE,CAAC,CAAC,0BAA0B;oBACxD,WAAW,EAAE,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,UAAU,SAAS,CAAC,CAAC,UAAU,IAAI,QAAQ,GAAG;iBACpF,CAAC,CAAC;YACP,CAAC;YAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/F,0EAA0E;YAC1E,wEAAwE;YACxE,2EAA2E;YAC3E,0EAA0E;YAC1E,4EAA4E;YAC5E,MAAM,kBAAkB,GAAG,KAAK,CAAC,qBAAqB,IAAI,MAAM,CAAC,aAAa,CAAC;YAC/E,MAAM,qBAAqB,GACvB,KAAK,CAAC,6BAA6B,IAAI,MAAM,CAAC,6BAA6B,CAAC;YAChF,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC;gBACxB,IAAI,EAAE,IAAI,GAAG,cAAc;gBAC3B,WAAW,EAAE,MAAM,CAAC,SAAS;gBAC7B,eAAe,EAAE,YAAY;gBAC7B,qBAAqB,EAAE,kBAAkB;gBACzC,6BAA6B,EAAE,qBAAqB;gBACpD,2BAA2B,EAAE,qBAAqB;gBAClD,eAAe,EAAE,MAAM;aAC1B,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,GAAG,CAAC;AACf,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,iBAAiB,CAC7B,QAA6B,EAC7B,mBAA2C,EAAE,EAC7C,UAA4B,EAAE;IAE9B,OAAO,iBAAiB,CAAC,QAAQ,EAAE,gBAAgB,EAAE,OAAO,CAAC,CAAC;AAClE,CAAC;AAED,+EAA+E;AAE/E,SAAS,oBAAoB,CAAC,IAAY;IACtC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;SACd,WAAW,EAAE;SACb,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;SACxB,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;SACnB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,IAAI,EAAE,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAe;IACtC,MAAM,MAAM,GAAG,OAAO;SACjB,KAAK,CAAC,GAAG,CAAC;SACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;SAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SAC3C,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,OAAO,GAAG,MAAM,QAAQ,CAAC;AAC7B,CAAC;AAED,SAAS,WAAW,CAChB,GAA8B,EAC9B,MAAc,EACd,KAAa;IAEb,IAAI,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,IAAI,CAAC,QAAQ,EAAE,CAAC;QACZ,QAAQ,GAAG,EAAE,CAAC;QACd,GAAG,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC;IAC3B,CAAC;IACD,IAAI,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC;IACxD,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,KAAK,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,kBAAkB,CAAC,GAA8B;IAM7D,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC;YAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW;gBAAE,MAAM,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC;QACtE,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC7C,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,kBAAkB,CAAC,GAA8B;IAM7D,OAAO,kBAAkB,CAAC,GAAG,CAAC,CAAC;AACnC,CAAC"}

package/dist/discovery/PKDetector.d.ts

@@ -77,5 +77,14 @@ export declare class PKDetector {
      */
     private findConsecutivePKEligibleColumns;
     private detectCompositeKeys;
+    /** Whether index-backed candidates are switched on (default true). */
+    private useIndexes;
+    /**
+     * Composite candidates from multi-column unique (and primary-key) indexes. A unique index allows repeated NULLs,
+     * so every column must be NOT NULL, or nullable with no nulls in a non-empty table.
+     */
+    private indexBackedCompositeCandidates;
+    /** Adds candidates, keeping the higher-confidence one when the same column set is already present. */
+    private mergeCandidates;
 }
 //# sourceMappingURL=PKDetector.d.ts.map

package/dist/discovery/PKDetector.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PKDetector.d.ts","sourceRoot":"","sources":["../../src/discovery/PKDetector.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,eAAe,EAAoB,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAAE,WAAW,EAAmD,MAAM,uBAAuB,CAAC;AACrG,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,qBAAa,UAAU;IAEnB,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,UAAU;gBAFV,MAAM,EAAE,iBAAiB,EACzB,MAAM,EAAE,2BAA2B,EACnC,UAAU,EAAE,gBAAgB;IAGtC;;;;OAIG;IACI,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE;IAQ5E,oDAAoD;IAC7C,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE;IAI5E;;OAEG;IACU,kBAAkB,CAC7B,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,eAAe,EACtB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,WAAW,EAAE,CAAC;IA+EzB,kDAAkD;IACrC,kBAAkB,CAC7B,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,eAAe,EACtB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,WAAW,EAAE,CAAC;IAIzB;;;;OAIG;IACH,OAAO,CAAC,uBAAuB;IAsC/B;;OAEG;YACW,qBAAqB;IAoInC;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAsC5B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IA+B9B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IA+CzB;;;;;;;;OAQG;IACH,OAAO,CAAC,qBAAqB;IA4H7B;;;OAGG;IACH,OAAO,CAAC,eAAe;IAoCvB;;;;OAIG;IAEH;;;;;OAKG;IACH,OAAO,CAAC,gCAAgC;YAuC1B,mBAAmB;CA4GlC"}
+{"version":3,"file":"PKDetector.d.ts","sourceRoot":"","sources":["../../src/discovery/PKDetector.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,eAAe,EAAoB,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAAE,WAAW,EAAmD,MAAM,uBAAuB,CAAC;AACrG,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAMzD,qBAAa,UAAU;IAEnB,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,UAAU;gBAFV,MAAM,EAAE,iBAAiB,EACzB,MAAM,EAAE,2BAA2B,EACnC,UAAU,EAAE,gBAAgB;IAGtC;;;;OAIG;IACI,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE;IAQ5E,oDAAoD;IAC7C,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE;IAI5E;;OAEG;IACU,kBAAkB,CAC7B,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,eAAe,EACtB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,WAAW,EAAE,CAAC;IAwFzB,kDAAkD;IACrC,kBAAkB,CAC7B,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,eAAe,EACtB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,WAAW,EAAE,CAAC;IAIzB;;;;OAIG;IACH,OAAO,CAAC,uBAAuB;IAsC/B;;OAEG;YACW,qBAAqB;IA6InC;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAsC5B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IA+B9B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IA+CzB;;;;;;;;OAQG;IACH,OAAO,CAAC,qBAAqB;IAkI7B;;;OAGG;IACH,OAAO,CAAC,eAAe;IAoCvB;;;;OAIG;IAEH;;;;;OAKG;IACH,OAAO,CAAC,gCAAgC;YAuC1B,mBAAmB;IA6GjC,sEAAsE;IACtE,OAAO,CAAC,UAAU;IAIlB;;;OAGG;IACH,OAAO,CAAC,8BAA8B;IAkCtC,sGAAsG;IACtG,OAAO,CAAC,eAAe;CAWxB"}

package/dist/discovery/PKDetector.js

@@ -3,6 +3,7 @@
  * Analyzes columns to find potential primary keys based on uniqueness,
  * naming patterns, and data characteristics
  */
+import { ClassifySingleColumnKey, CompositeKeyIndexes, INDEX_KEY_BOOST, UNIQUE_COMPOSITE_CONFIDENCE } from './IndexKeyEvidence.js';
 export class PKDetector {
     constructor(driver, config, statsCache) {
         this.driver = driver;
@@ -34,7 +35,7 @@ export class PKDetector {
         // Single-column PK detection
         for (let colIdx = 0; colIdx < table.columns.length; colIdx++) {
             const column = table.columns[colIdx];
-            const candidate = await this.analyzeSingleColumnPK(schemaName, table.name, column, iteration, colIdx);
+            const candidate = await this.analyzeSingleColumnPK(schemaName, table, column, iteration, colIdx);
             if (candidate && candidate.confidence >= this.config.confidence.primaryKeyMinimum * 100) {
                 candidates.push(candidate);
             }
@@ -50,6 +51,14 @@ export class PKDetector {
             const compositeCandidates = await this.detectCompositeKeys(schemaName, table, iteration);
             candidates.push(...compositeCandidates);
         }
+        // Composite keys backed by a unique index, for tables where no single column qualifies (junction
+        // tables, for example). When a single-column candidate already clears primaryKeyMinimum, a composite
+        // unique index is an alternate key: adding it as a candidate would get its columns flagged as part of
+        // the primary key too, because discovery applies every candidate above the minimum.
+        const hasSingleColumnKey = candidates.some(c => c.columnNames.length === 1);
+        if (this.useIndexes() && !hasSingleColumnKey) {
+            this.mergeCandidates(candidates, this.indexBackedCompositeCandidates(schemaName, table, iteration));
+        }
         // H11: Progressive discount for later PK-eligible columns
         // When multiple PK-eligible columns exist, later ones get discounted
         // to reduce false positives from FK columns with high uniqueness
@@ -130,7 +139,9 @@ export class PKDetector {
     /**
      * Analyze a single column as potential PK
      */
-    async analyzeSingleColumnPK(schemaName, tableName, column, iteration, colOrdinal = 0) {
+    async analyzeSingleColumnPK(schemaName, table, column, iteration, colOrdinal = 0) {
+        const tableName = table.name;
+        const indexKey = this.useIndexes() ? ClassifySingleColumnKey(table, column) : undefined;
         // Get or compute column statistics
         let cachedStats = this.statsCache.getColumnStats(schemaName, tableName, column.name);
         if (!cachedStats) {
@@ -166,12 +177,14 @@ export class PKDetector {
             };
             this.statsCache.setColumnStats(cachedStats);
         }
-        // Use cached stats for PK analysis
-        const uniqueness = cachedStats.uniqueness;
+        // A unique index on a NOT NULL column guarantees uniqueness whatever the sample shows (even on an empty table).
+        const indexGuaranteesKey = indexKey?.Kind === 'UniqueNotNull';
+        const uniqueness = indexGuaranteesKey ? 1.0 : cachedStats.uniqueness;
         // Deterministic eligibility gate — a column is only PK-eligible if it has
         // zero nulls, zero blanks, and 100% unique values. This is the mathematical
         // definition of a primary key and cannot be overridden by the LLM.
-        if (!cachedStats.pkEligible) {
+        // A unique index on a NOT NULL column is the same guarantee from the database itself.
+        if (!cachedStats.pkEligible && !indexGuaranteesKey) {
             const reasons = [];
             if (cachedStats.nullCount > 0)
                 reasons.push(`${cachedStats.nullCount} nulls`);
@@ -193,6 +206,7 @@ export class PKDetector {
         // Use cached data pattern
         const dataPattern = cachedStats.dataPattern;
         // Calculate overall confidence
+        const indexBoost = indexKey ? INDEX_KEY_BOOST[indexKey.Kind] : 0;
         const confidence = this.calculatePKConfidence({
             uniqueness,
             nullCount: cachedStats.nullCount,
@@ -201,7 +215,7 @@ export class PKDetector {
             namingScore,
             dataTypeScore,
             warnings: []
-        }, tableName, column.name, colOrdinal);
+        }, tableName, column.name, colOrdinal, indexBoost);
         // Build evidence
         const evidence = {
             uniqueness,
@@ -210,8 +224,12 @@ export class PKDetector {
             dataPattern,
             namingScore,
             dataTypeScore,
-            warnings: []
+            warnings: [],
+            backingIndex: indexKey?.Index.IndexName
         };
+        if (indexKey) {
+            evidence.warnings.push(`Backed by ${indexKey.Kind === 'UniqueNotNull' ? 'a unique index on a NOT NULL column' : 'a unique index on a nullable column'}: ${indexKey.Index.IndexName}`);
+        }
         // Add warnings (nulls/blanks are already hard-rejected by eligibility gate)
         if (uniqueness < 1.0) {
             evidence.warnings.push(`Only ${(uniqueness * 100).toFixed(1)}% unique values`);
@@ -347,7 +365,7 @@ export class PKDetector {
      * - Composite keys: 50-75
      * - Everything else: <50
      */
-    calculatePKConfidence(evidence, tableName, columnName, colOrdinal = 0) {
+    calculatePKConfidence(evidence, tableName, columnName, colOrdinal = 0, indexBoost = 0) {
         let score = 0;
         // **CRITICAL FIX**: Reject obvious non-PK columns immediately
         const blacklistPatterns = [
@@ -436,6 +454,11 @@ export class PKDetector {
             score += boost;
             console.log(`[PKDetector] ${columnName}: surrogate key boost +${boost} (final: ${Math.round(Math.min(score, 100))})`);
         }
+        // Existing unique index on the column: strong evidence the database itself enforces (see IndexKeyEvidence)
+        if (indexBoost > 0) {
+            score += indexBoost;
+            console.log(`[PKDetector] ${columnName}: unique index boost +${indexBoost}`);
+        }
         // H9: Position-based multiplier — PKs are almost always first columns
         // 100% of correct PKs in AW benchmark start at position 0
         const positionMultipliers = [1.0, 0.85, 0.70, 0.55, 0.40];
@@ -604,5 +627,60 @@ export class PKDetector {
         }
         return candidates;
     }
+    /** Whether index-backed candidates are switched on (default true). */
+    useIndexes() {
+        return this.config.indexBackedCandidates !== false;
+    }
+    /**
+     * Composite candidates from multi-column unique (and primary-key) indexes. A unique index allows repeated NULLs,
+     * so every column must be NOT NULL, or nullable with no nulls in a non-empty table.
+     */
+    indexBackedCompositeCandidates(schemaName, table, iteration) {
+        const candidates = [];
+        for (const ix of CompositeKeyIndexes(table)) {
+            const columns = ix.Columns.map((name) => table.columns.find((c) => c.name.toLowerCase() === name.toLowerCase()));
+            if (columns.some((c) => !c))
+                continue;
+            const cols = columns;
+            const names = cols.map((c) => c.name);
+            const stats = cols.map((c) => this.statsCache.getColumnStats(schemaName, table.name, c.name));
+            const totalRows = stats.find((s) => s)?.totalRows ?? table.rowCount ?? 0;
+            const allNotNull = cols.every((c) => !c.isNullable);
+            const noNullsObserved = totalRows > 0 && cols.every((c, i) => !c.isNullable || (stats[i] !== undefined && stats[i].nullCount === 0));
+            if (!allNotNull && !noNullsObserved) {
+                console.log(`[PKDetector] ${table.name}: unique index ${ix.IndexName} skipped - nullable columns without evidence of no nulls`);
+                continue;
+            }
+            const confidence = allNotNull ? UNIQUE_COMPOSITE_CONFIDENCE.NotNull : UNIQUE_COMPOSITE_CONFIDENCE.NoNullsObserved;
+            console.log(`[PKDetector] ${table.name} [${names.join(', ')}]: composite key backed by unique index ${ix.IndexName} (confidence ${confidence})`);
+            candidates.push({
+                schemaName,
+                tableName: table.name,
+                columnNames: names,
+                confidence,
+                evidence: {
+                    uniqueness: 1.0, nullCount: 0, totalRows, dataPattern: 'composite', namingScore: 0.8, dataTypeScore: 0.9,
+                    warnings: [`Backed by unique index ${ix.IndexName}`], backingIndex: ix.IndexName
+                },
+                discoveredInIteration: iteration,
+                validatedByLLM: false,
+                status: 'candidate'
+            });
+        }
+        return candidates;
+    }
+    /** Adds candidates, keeping the higher-confidence one when the same column set is already present. */
+    mergeCandidates(into, extra) {
+        const key = (c) => c.columnNames.map((n) => n.toLowerCase()).sort().join('\u0000');
+        for (const candidate of extra) {
+            const existing = into.findIndex((c) => key(c) === key(candidate));
+            if (existing < 0) {
+                into.push(candidate);
+            }
+            else if (candidate.confidence > into[existing].confidence) {
+                into[existing] = candidate;
+            }
+        }
+    }
 }
 //# sourceMappingURL=PKDetector.js.map