isthmus-cli 0.5.0 → 0.7.0

package/dist/report/codequality.d.ts

@@ -0,0 +1,45 @@
+import type { CheckReport } from './check-report.ts';
+import { type IssueFingerprint } from './rules.ts';
+/**
+ * GitLab Code Quality가 받아들이는 심각도 어휘다. check의 error는 실제
+ * 불일치라 major로, warning은 미해결·비대칭 관찰이라 minor로 내린다.
+ */
+export type CodeQualitySeverity = 'info' | 'minor' | 'major' | 'critical' | 'blocker';
+/**
+ * GitLab Code Quality 보고서의 발견 항목 하나다. 형식은 CodeClimate 기반이며
+ * `fingerprint`가 같은 이슈의 병합 대상 판별에 쓰인다.
+ */
+export interface CodeQualityFinding {
+    readonly description: string;
+    readonly check_name: string;
+    readonly fingerprint: string;
+    readonly severity: CodeQualitySeverity;
+    readonly location: {
+        readonly path: string;
+        readonly lines: {
+            readonly begin: number;
+        };
+    };
+}
+/**
+ * check 보고서를 GitLab Code Quality 발견 목록으로 바꾼다.
+ *
+ * 이 형식이 표현하지 못하는 것을 명시한다:
+ * - 베이스라인이 받아들인 이슈는 제외한다 — 억제 개념이 없어 위젯이 다시
+ *   발견으로 표시하면 안 되기 때문이다(SARIF의 `suppressions`와 다른 결정).
+ * - 두 번째 이후 증거 끝점은 실리지 않는다 — CodeClimate의 `other_locations`
+ *   선택 필드를 GitLab이 받아들이는지 검증하지 않았다(SARIF의
+ *   `relatedLocations`와 다른 범위).
+ * - `report.limitations`는 표현되지 않는다 — SARIF와 같은 한계이며, 분석
+ *   공백 신호는 `*-unverified` 계열의 minor 발견으로만 전달된다.
+ * - `location.path`는 URI 인코딩하지 않은 프로젝트 상대 경로다 — SARIF의
+ *   `sarifUri`와 다른 소비자(URI 참조가 아니라 파일 뷰어 경로)라서다.
+ *
+ * `fingerprint`는 논리 이슈 식별자(code·target·channel·method) 해시다.
+ * GitLab은 같은 지문의 발견을 병합하므로, check 보고서가 같은 논리 키의
+ * 이슈를 두 개 이상 담으면 안 되는 상류 불변에 의존한다 — 중복이 관찰되면
+ * 깨진 아티팩트 대신 명시적으로 실패한다.
+ */
+export declare function createCodeQualityFindings(report: CheckReport, issueFingerprint: IssueFingerprint): readonly CodeQualityFinding[];
+/** 발견 목록을 결정적인 JSON 문자열로 인코딩한다. */
+export declare function encodeCodeQualityReport(findings: readonly CodeQualityFinding[]): string;

package/dist/report/codequality.js

@@ -0,0 +1,74 @@
+import { checkIssueRuleDescriptions, } from "./rules.js";
+import { encodeSortedJson } from "./sorted-json.js";
+/**
+ * check 보고서를 GitLab Code Quality 발견 목록으로 바꾼다.
+ *
+ * 이 형식이 표현하지 못하는 것을 명시한다:
+ * - 베이스라인이 받아들인 이슈는 제외한다 — 억제 개념이 없어 위젯이 다시
+ *   발견으로 표시하면 안 되기 때문이다(SARIF의 `suppressions`와 다른 결정).
+ * - 두 번째 이후 증거 끝점은 실리지 않는다 — CodeClimate의 `other_locations`
+ *   선택 필드를 GitLab이 받아들이는지 검증하지 않았다(SARIF의
+ *   `relatedLocations`와 다른 범위).
+ * - `report.limitations`는 표현되지 않는다 — SARIF와 같은 한계이며, 분석
+ *   공백 신호는 `*-unverified` 계열의 minor 발견으로만 전달된다.
+ * - `location.path`는 URI 인코딩하지 않은 프로젝트 상대 경로다 — SARIF의
+ *   `sarifUri`와 다른 소비자(URI 참조가 아니라 파일 뷰어 경로)라서다.
+ *
+ * `fingerprint`는 논리 이슈 식별자(code·target·channel·method) 해시다.
+ * GitLab은 같은 지문의 발견을 병합하므로, check 보고서가 같은 논리 키의
+ * 이슈를 두 개 이상 담으면 안 되는 상류 불변에 의존한다 — 중복이 관찰되면
+ * 깨진 아티팩트 대신 명시적으로 실패한다.
+ */
+export function createCodeQualityFindings(report, issueFingerprint) {
+    const seen = new Set();
+    return report.issues
+        .filter((issue) => issue.suppressed !== true)
+        .map((issue) => {
+        const finding = codeQualityFinding(issue, issueFingerprint);
+        if (seen.has(finding.fingerprint)) {
+            throw new Error('Cannot create Code Quality findings with duplicate fingerprints.');
+        }
+        seen.add(finding.fingerprint);
+        return finding;
+    });
+}
+/** 발견 목록을 결정적인 JSON 문자열로 인코딩한다. */
+export function encodeCodeQualityReport(findings) {
+    return encodeSortedJson(findings);
+}
+/** 논리 이슈 하나를 Code Quality 발견으로 바꾼다. 위치는 첫 번째 증거 끝점이다. */
+function codeQualityFinding(issue, issueFingerprint) {
+    const primary = issue.evidence[0];
+    if (primary === undefined) {
+        throw new Error('Cannot create a Code Quality finding without evidence.');
+    }
+    const { line } = primary.location;
+    if (line < 1) {
+        throw new Error('Cannot create a Code Quality location before the first line.');
+    }
+    const context = issue.method === undefined
+        ? `Channel '${issue.channel}'`
+        : `Channel '${issue.channel}', method '${issue.method}'`;
+    return {
+        description: `${checkIssueRuleDescriptions[issue.code]} ${context} (target: ${issue.target})`,
+        check_name: `isthmus:${issue.code}`,
+        fingerprint: issueFingerprint(issue),
+        severity: codeQualitySeverity(issue.severity),
+        location: {
+            path: primary.location.path,
+            lines: { begin: line },
+        },
+    };
+}
+/**
+ * check 심각도를 Code Quality 어휘로 내린다. `CheckIssue.severity`가 커지면
+ * 조용한 minor 폴백 대신 명시적으로 실패한다.
+ */
+function codeQualitySeverity(severity) {
+    if (severity === 'error')
+        return 'major';
+    if (severity === 'warning')
+        return 'minor';
+    throw new Error('Cannot map an unknown check severity to Code Quality.');
+}
+//# sourceMappingURL=codequality.js.map

package/dist/report/codequality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codequality.js","sourceRoot":"","sources":["../../src/report/codequality.ts"],"names":[],"mappings":"AACA,OAAO,EACL,0BAA0B,GAE3B,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAuBpD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAmB,EACnB,gBAAkC;IAElC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,MAAM,CAAC,MAAM;SACjB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC;SAC5C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,kEAAkE,CACnE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC9B,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;AACP,CAAC;AAED,mCAAmC;AACnC,MAAM,UAAU,uBAAuB,CACrC,QAAuC;IAEvC,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC;AACpC,CAAC;AAED,yDAAyD;AACzD,SAAS,kBAAkB,CACzB,KAAiB,EACjB,gBAAkC;IAElC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC;IAClC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,KAAK,SAAS;QACxC,CAAC,CAAC,YAAY,KAAK,CAAC,OAAO,GAAG;QAC9B,CAAC,CAAC,YAAY,KAAK,CAAC,OAAO,cAAc,KAAK,CAAC,MAAM,GAAG,CAAC;IAC3D,OAAO;QACL,WAAW,EACT,GAAG,0BAA0B,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,aAAa,KAAK,CAAC,MAAM,GAAG;QAClF,UAAU,EAAE,WAAW,KAAK,CAAC,IAAI,EAAE;QACnC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC;QACpC,QAAQ,EAAE,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC7C,QAAQ,EAAE;YACR,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;YAC3B,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;SACvB;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAC1B,QAAgC;IAEhC,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IACzC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAC3C,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;AAC3E,CAAC","sourcesContent":["import type { CheckIssue, CheckReport } from './check-report.ts';\nimport {\n  checkIssueRuleDescriptions,\n  type IssueFingerprint,\n} from './rules.ts';\nimport { encodeSortedJson } from './sorted-json.ts';\n\n/**\n * GitLab Code Quality가 받아들이는 심각도 어휘다. check의 error는 실제\n * 불일치라 major로, warning은 미해결·비대칭 관찰이라 minor로 내린다.\n */\nexport type CodeQualitySeverity = 'info' | 'minor' | 'major' | 'critical' | 'blocker';\n\n/**\n * GitLab Code Quality 보고서의 발견 항목 하나다. 형식은 CodeClimate 기반이며\n * `fingerprint`가 같은 이슈의 병합 대상 판별에 쓰인다.\n */\nexport interface CodeQualityFinding {\n  readonly description: string;\n  readonly check_name: string;\n  readonly fingerprint: string;\n  readonly severity: CodeQualitySeverity;\n  readonly location: {\n    readonly path: string;\n    readonly lines: { readonly begin: number };\n  };\n}\n\n/**\n * check 보고서를 GitLab Code Quality 발견 목록으로 바꾼다.\n *\n * 이 형식이 표현하지 못하는 것을 명시한다:\n * - 베이스라인이 받아들인 이슈는 제외한다 — 억제 개념이 없어 위젯이 다시\n *   발견으로 표시하면 안 되기 때문이다(SARIF의 `suppressions`와 다른 결정).\n * - 두 번째 이후 증거 끝점은 실리지 않는다 — CodeClimate의 `other_locations`\n *   선택 필드를 GitLab이 받아들이는지 검증하지 않았다(SARIF의\n *   `relatedLocations`와 다른 범위).\n * - `report.limitations`는 표현되지 않는다 — SARIF와 같은 한계이며, 분석\n *   공백 신호는 `*-unverified` 계열의 minor 발견으로만 전달된다.\n * - `location.path`는 URI 인코딩하지 않은 프로젝트 상대 경로다 — SARIF의\n *   `sarifUri`와 다른 소비자(URI 참조가 아니라 파일 뷰어 경로)라서다.\n *\n * `fingerprint`는 논리 이슈 식별자(code·target·channel·method) 해시다.\n * GitLab은 같은 지문의 발견을 병합하므로, check 보고서가 같은 논리 키의\n * 이슈를 두 개 이상 담으면 안 되는 상류 불변에 의존한다 — 중복이 관찰되면\n * 깨진 아티팩트 대신 명시적으로 실패한다.\n */\nexport function createCodeQualityFindings(\n  report: CheckReport,\n  issueFingerprint: IssueFingerprint,\n): readonly CodeQualityFinding[] {\n  const seen = new Set<string>();\n  return report.issues\n    .filter((issue) => issue.suppressed !== true)\n    .map((issue) => {\n      const finding = codeQualityFinding(issue, issueFingerprint);\n      if (seen.has(finding.fingerprint)) {\n        throw new Error(\n          'Cannot create Code Quality findings with duplicate fingerprints.',\n        );\n      }\n      seen.add(finding.fingerprint);\n      return finding;\n    });\n}\n\n/** 발견 목록을 결정적인 JSON 문자열로 인코딩한다. */\nexport function encodeCodeQualityReport(\n  findings: readonly CodeQualityFinding[],\n): string {\n  return encodeSortedJson(findings);\n}\n\n/** 논리 이슈 하나를 Code Quality 발견으로 바꾼다. 위치는 첫 번째 증거 끝점이다. */\nfunction codeQualityFinding(\n  issue: CheckIssue,\n  issueFingerprint: IssueFingerprint,\n): CodeQualityFinding {\n  const primary = issue.evidence[0];\n  if (primary === undefined) {\n    throw new Error('Cannot create a Code Quality finding without evidence.');\n  }\n  const { line } = primary.location;\n  if (line < 1) {\n    throw new Error('Cannot create a Code Quality location before the first line.');\n  }\n  const context = issue.method === undefined\n    ? `Channel '${issue.channel}'`\n    : `Channel '${issue.channel}', method '${issue.method}'`;\n  return {\n    description:\n      `${checkIssueRuleDescriptions[issue.code]} ${context} (target: ${issue.target})`,\n    check_name: `isthmus:${issue.code}`,\n    fingerprint: issueFingerprint(issue),\n    severity: codeQualitySeverity(issue.severity),\n    location: {\n      path: primary.location.path,\n      lines: { begin: line },\n    },\n  };\n}\n\n/**\n * check 심각도를 Code Quality 어휘로 내린다. `CheckIssue.severity`가 커지면\n * 조용한 minor 폴백 대신 명시적으로 실패한다.\n */\nfunction codeQualitySeverity(\n  severity: CheckIssue['severity'],\n): CodeQualitySeverity {\n  if (severity === 'error') return 'major';\n  if (severity === 'warning') return 'minor';\n  throw new Error('Cannot map an unknown check severity to Code Quality.');\n}\n"]}

package/dist/report/diff.d.ts

@@ -1,5 +1,7 @@
 import type { BridgeFactsDocument } from '../exchange/parse.ts';
-import type { JoinLimitation, MatchedMethod } from '../join/join.ts';
+import type { JoinLimitation, MatchedBoundaryName, MatchedMethod } from '../join/join.ts';
+import type { BridgeMessageDocument } from '../exchange/messages.ts';
+import type { MessageBridgeRoute } from '../join/messages.ts';
 import type { CheckIssue } from './check-report.ts';
 /** 두 스냅샷의 생산 도구 버전 근거다. */
 export interface DiffProducerVersion {
@@ -21,12 +23,26 @@ export interface BridgeDiffDocument {
     readonly summary: {
         readonly addedMethods: number;
         readonly removedMethods: number;
+        readonly addedModules: number;
+        readonly removedModules: number;
+        readonly addedComponents: number;
+        readonly removedComponents: number;
         readonly introducedErrors: number;
         readonly introducedWarnings: number;
         readonly resolvedIssues: number;
+        /** `messages` 입력이 있을 때만 실린다 — literal로 확정된 v2 경계 수다. */
+        readonly addedMessageBoundaries?: number;
+        readonly removedMessageBoundaries?: number;
     };
     readonly addedMethods: readonly MatchedMethod[];
     readonly removedMethods: readonly MatchedMethod[];
+    readonly addedModules: readonly MatchedBoundaryName[];
+    readonly removedModules: readonly MatchedBoundaryName[];
+    readonly addedComponents: readonly MatchedBoundaryName[];
+    readonly removedComponents: readonly MatchedBoundaryName[];
+    /** `messages` 입력이 있을 때만 실리는 literal v2 경계다. */
+    readonly addedMessageBoundaries?: readonly MessageBridgeRoute[];
+    readonly removedMessageBoundaries?: readonly MessageBridgeRoute[];
     readonly introducedIssues: readonly CheckIssue[];
     readonly resolvedIssues: readonly CheckIssue[];
     readonly limitations: {
@@ -40,5 +56,11 @@ export interface BridgeDiffDocument {
         readonly after: readonly DiffProducerVersion[];
     };
 }
-/** 동일 프로젝트의 관찰 결과를 비교하며 삭제 안전성이나 rename을 추측하지 않는다. */
-export declare function createBridgeDiff(before: readonly BridgeFactsDocument[], after: readonly BridgeFactsDocument[]): BridgeDiffDocument;
+/**
+ * 동일 프로젝트의 관찰 결과를 비교하며 삭제 안전성이나 rename을 추측하지 않는다.
+ *
+ * `beforeMessages`·`afterMessages`를 주면 Basic·Event v2 경계도 비교한다. 두 스냅샷
+ * 모두 있어야 하며 transport 집합이 같아야 한다 — 한쪽만 있으면 관찰 차이가 아니라
+ * 입력 구성 차이다.
+ */
+export declare function createBridgeDiff(before: readonly BridgeFactsDocument[], after: readonly BridgeFactsDocument[], beforeMessages?: readonly BridgeMessageDocument[], afterMessages?: readonly BridgeMessageDocument[]): BridgeDiffDocument;

package/dist/report/diff.js

@@ -1,10 +1,20 @@
+import { isCallerPlatform, isReceiverPlatform } from "../exchange/parse.js";
 import { compareStrings } from "../compare.js";
 import { BridgeJoinValidationError, isBridgeJoinDeferred, joinBridgeDocuments } from "../join/join.js";
+import { joinMessageBridges } from "../join/messages.js";
 import { baselineEntryKey } from "./baseline.js";
 import { createCheckReport } from "./check-report.js";
-/** 동일 프로젝트의 관찰 결과를 비교하며 삭제 안전성이나 rename을 추측하지 않는다. */
-export function createBridgeDiff(before, after) {
+/**
+ * 동일 프로젝트의 관찰 결과를 비교하며 삭제 안전성이나 rename을 추측하지 않는다.
+ *
+ * `beforeMessages`·`afterMessages`를 주면 Basic·Event v2 경계도 비교한다. 두 스냅샷
+ * 모두 있어야 하며 transport 집합이 같아야 한다 — 한쪽만 있으면 관찰 차이가 아니라
+ * 입력 구성 차이다.
+ */
+export function createBridgeDiff(before, after, beforeMessages, afterMessages) {
     validateSnapshots(before, after);
+    validateMessageSnapshots(beforeMessages, afterMessages);
+    const project = before[0]?.project ?? after[0].project;
     const oldJoin = joinBridgeDocuments(before);
     const newJoin = joinBridgeDocuments(after);
     if (isBridgeJoinDeferred(oldJoin) || isBridgeJoinDeferred(newJoin)) {
@@ -13,24 +23,53 @@ export function createBridgeDiff(before, after) {
             + `${before.length} documents, and the after inputs observed `
             + `${newJoin.observedFacts} facts across ${after.length} documents.`);
     }
-    const oldReport = createCheckReport(oldJoin);
-    const newReport = createCheckReport(newJoin);
+    const oldMessages = beforeMessages === undefined
+        ? undefined
+        : joinMessageBridges(beforeMessages, project);
+    const newMessages = afterMessages === undefined
+        ? undefined
+        : joinMessageBridges(afterMessages, project);
+    const oldReport = createCheckReport(oldJoin, oldMessages);
+    const newReport = createCheckReport(newJoin, newMessages);
     const addedMethods = difference(newJoin.matchedMethods, oldJoin.matchedMethods, logicalKey);
     const removedMethods = difference(oldJoin.matchedMethods, newJoin.matchedMethods, logicalKey);
+    const addedModules = difference(newJoin.matchedModules, oldJoin.matchedModules, logicalKey);
+    const removedModules = difference(oldJoin.matchedModules, newJoin.matchedModules, logicalKey);
+    const addedComponents = difference(newJoin.matchedComponents, oldJoin.matchedComponents, logicalKey);
+    const removedComponents = difference(oldJoin.matchedComponents, newJoin.matchedComponents, logicalKey);
     const introducedIssues = difference(newReport.issues, oldReport.issues, baselineEntryKey);
     const resolvedIssues = difference(oldReport.issues, newReport.issues, baselineEntryKey);
+    const messageBoundaries = oldMessages === undefined || newMessages === undefined
+        ? {}
+        : {
+            addedMessageBoundaries: difference(matchedMessageRoutes(newMessages), matchedMessageRoutes(oldMessages), messageBoundaryKey),
+            removedMessageBoundaries: difference(matchedMessageRoutes(oldMessages), matchedMessageRoutes(newMessages), messageBoundaryKey),
+        };
     return {
         format: 'isthmus-diff',
         version: 1,
         summary: {
             addedMethods: addedMethods.length,
             removedMethods: removedMethods.length,
+            addedModules: addedModules.length,
+            removedModules: removedModules.length,
+            addedComponents: addedComponents.length,
+            removedComponents: removedComponents.length,
             introducedErrors: introducedIssues.filter((issue) => issue.severity === 'error').length,
             introducedWarnings: introducedIssues.filter((issue) => issue.severity === 'warning').length,
             resolvedIssues: resolvedIssues.length,
+            ...(oldMessages === undefined || newMessages === undefined ? {} : {
+                addedMessageBoundaries: matchedMessageBoundaryCount(newMessages, oldMessages),
+                removedMessageBoundaries: matchedMessageBoundaryCount(oldMessages, newMessages),
+            }),
         },
         addedMethods,
         removedMethods,
+        addedModules,
+        removedModules,
+        addedComponents,
+        removedComponents,
+        ...messageBoundaries,
         introducedIssues,
         resolvedIssues,
         limitations: {
@@ -42,19 +81,61 @@ export function createBridgeDiff(before, after) {
         producers: { before: producerVersions(before), after: producerVersions(after) },
     };
 }
+/** literal로 양쪽이 관찰된 v2 경계만 돌려준다 — 후보 prefix는 확정 매치가 아니다. */
+function matchedMessageRoutes(messages) {
+    return messages.routes.filter((route) => route.matching === 'literal' && route.senders.length > 0 && route.handlers.length > 0);
+}
+/** 두 스냅샷의 literal v2 경계 키를 비교해 추가된 수를 센다. */
+function matchedMessageBoundaryCount(left, right) {
+    return difference(matchedMessageRoutes(left), matchedMessageRoutes(right), messageBoundaryKey).length;
+}
+/** v2 경계는 transport·주소로만 식별한다 — 같은 채널 이름이라도 transport가 다르다. */
+function messageBoundaryKey(route) {
+    return JSON.stringify([route.transport, route.channel]);
+}
+/**
+ * v2 입력은 두 스냅샷 모두 있거나 모두 없어야 하며, transport 집합이 같아야 한다.
+ *
+ * 한쪽에만 v2가 있으면 그 transport의 경계 전부가 추가·삭제로 보인다 — 관찰 차이가
+ * 아니라 입력 구성 차이므로 입력 오류로 거부한다.
+ */
+function validateMessageSnapshots(before, after) {
+    if (before === undefined && after === undefined)
+        return;
+    if (before === undefined || after === undefined) {
+        throw new BridgeJoinValidationError('Diff message inputs must be present in both snapshots; rebuild both from one checkout.');
+    }
+    const transports = (docs) => JSON.stringify([...new Set(docs.map(({ transport }) => transport))].sort(compareStrings));
+    if (transports(before) !== transports(after)) {
+        throw new BridgeJoinValidationError('Diff message inputs must observe the same transports in both snapshots.');
+    }
+}
 /** 플랫폼 누락이나 다른 프로젝트를 코드 삭제로 오해하지 않도록 입력 구성을 고정한다. */
 function validateSnapshots(before, after) {
     const all = [...before, ...after];
     if (new Set(all.map((doc) => doc.project)).size !== 1 ||
-        ![before, after].every((docs) => docs.some((doc) => doc.platform === 'dart') &&
-            docs.some((doc) => doc.platform === 'swift')) ||
+        new Set(all.filter((doc) => isReceiverPlatform(doc.platform)).map((doc) => doc.platform)).size !== 1 ||
+        ![before, after].every((docs) => docs.some((doc) => isCallerPlatform(doc.platform)) &&
+            docs.some((doc) => isReceiverPlatform(doc.platform))) ||
         JSON.stringify(producerInventory(before)) !== JSON.stringify(producerInventory(after)) ||
-        all.some((doc) => (doc.platform !== 'dart' && doc.platform !== 'swift') ||
-            (doc.target !== null && doc.target !== 'flutter'))) {
-        throw new BridgeJoinValidationError('Diff requires the same project and matching Flutter dart/swift producer '
-            + 'inventories in both snapshots; rebuild both snapshots from one checkout.');
+        JSON.stringify(snapshotTargets(before)) !== JSON.stringify(snapshotTargets(after)) ||
+        all.some((doc) => !isCallerPlatform(doc.platform) && !isReceiverPlatform(doc.platform))) {
+        throw new BridgeJoinValidationError('Diff requires the same project, the same bridge targets, and matching '
+            + 'caller/native producer inventories in both snapshots; rebuild both '
+            + 'snapshots from one checkout.');
     }
 }
+/**
+ * 스냅샷이 관찰한 브리지 target 집합을 정렬해 돌려준다.
+ *
+ * target 집합이 다른 두 시점을 비교하면 한쪽 target의 사실 전부가 삭제·추가로
+ * 보이므로 관찰 차이가 아니라 입력 구성 차이다. 사실이 없는 문서의 null target은
+ * 집합에 넣지 않는다.
+ */
+function snapshotTargets(docs) {
+    return [...new Set(docs.flatMap((doc) => doc.target === null ? [] : [doc.target]))]
+        .sort(compareStrings);
+}
 /** 버전 변화는 출력하되 플랫폼·도구별 문서 개수 변화는 허용하지 않는다. */
 function producerInventory(docs) {
     return docs.map((doc) => JSON.stringify([doc.platform, doc.tool.name])).sort(compareStrings);

package/dist/report/diff.js.map

@@ -1 +1 @@
-{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/report/diff.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAM/C,OAAO,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEvG,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AA2CtD,sDAAsD;AACtD,MAAM,UAAU,gBAAgB,CAC9B,MAAsC,EACtC,KAAqC;IAErC,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,oBAAoB,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,yBAAyB,CACjC,uEAAuE;cACrE,qCAAqC,OAAO,CAAC,aAAa,gBAAgB;cAC1E,GAAG,MAAM,CAAC,MAAM,4CAA4C;cAC5D,GAAG,OAAO,CAAC,aAAa,iBAAiB,KAAK,CAAC,MAAM,aAAa,CACrE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;IAC5F,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;IAC9F,MAAM,gBAAgB,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC1F,MAAM,cAAc,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACxF,OAAO;QACL,MAAM,EAAE,cAAuB;QAC/B,OAAO,EAAE,CAAU;QACnB,OAAO,EAAE;YACP,YAAY,EAAE,YAAY,CAAC,MAAM;YACjC,cAAc,EAAE,cAAc,CAAC,MAAM;YACrC,gBAAgB,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM;YACvF,kBAAkB,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM;YAC3F,cAAc,EAAE,cAAc,CAAC,MAAM;SACtC;QACD,YAAY;QACZ,cAAc;QACd,gBAAgB;QAChB,cAAc;QACd,WAAW,EAAE;YACX,MAAM,EAAE,SAAS,CAAC,WAAW;YAC7B,KAAK,EAAE,SAAS,CAAC,WAAW;YAC5B,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC;YAC9E,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC;SACjF;QACD,SAAS,EAAE,EAAE,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE;KAChF,CAAC;AACJ,CAAC;AAED,qDAAqD;AACrD,SAAS,iBAAiB,CAAC,MAAsC,EAAE,KAAqC;IACtG,MAAM,GAAG,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC;IAClC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;QACnD,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,MAAM,CAAC;YAC1E,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACtF,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,MAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC;YACrE,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,yBAAyB,CACjC,0EAA0E;cACxE,0EAA0E,CAC7E,CAAC;IACJ,CAAC;AACH,CAAC;AAED,8CAA8C;AAC9C,SAAS,iBAAiB,CAAC,IAAoC;IAC7D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AAC/F,CAAC;AAED,yCAAyC;AACzC,SAAS,gBAAgB,CAAC,IAAoC;IAC5D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;SAC9F,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,gDAAgD;AAChD,SAAS,UAAU,CAAC,IAA2F;IAC7G,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,aAAa,CAAC,IAAyL;IAC9M,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,IAAI,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC;AAC3H,CAAC;AAED,uCAAuC;AACvC,SAAS,UAAU,CAAI,IAAkB,EAAE,KAAmB,EAAE,GAAwB;IACtF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;SACnD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC","sourcesContent":["import type { BridgeFactsDocument, BridgeTarget } from '../exchange/parse.ts';\nimport { compareStrings } from '../compare.ts';\nimport type {\n  BridgeJoinResult,\n  JoinLimitation,\n  MatchedMethod,\n} from '../join/join.ts';\nimport { BridgeJoinValidationError, isBridgeJoinDeferred, joinBridgeDocuments } from '../join/join.ts';\nimport type { CheckIssue } from './check-report.ts';\nimport { baselineEntryKey } from './baseline.ts';\nimport { createCheckReport } from './check-report.ts';\n\n/** 두 스냅샷의 생산 도구 버전 근거다. */\nexport interface DiffProducerVersion {\n  readonly platform: string;\n  readonly name: string;\n  readonly version: string;\n  readonly generatedAt: string;\n}\n\n/**\n * 동일 프로젝트의 전후 관찰을 비교한 isthmus-diff 문서다.\n *\n * added/removed는 키 집합 차이라 소스 줄 이동은 차이가 아니다. introduced와\n * resolved는 논리 이슈 키 기준이라 코드가 바뀌면(-unverified → 본 판정)\n * 해결·추가 한 쌍으로 보인다 — 심각도 상승은 새 관찰이기 때문이다.\n */\nexport interface BridgeDiffDocument {\n  readonly format: 'isthmus-diff';\n  readonly version: 1;\n  readonly summary: {\n    readonly addedMethods: number;\n    readonly removedMethods: number;\n    readonly introducedErrors: number;\n    readonly introducedWarnings: number;\n    readonly resolvedIssues: number;\n  };\n  readonly addedMethods: readonly MatchedMethod[];\n  readonly removedMethods: readonly MatchedMethod[];\n  readonly introducedIssues: readonly CheckIssue[];\n  readonly resolvedIssues: readonly CheckIssue[];\n  readonly limitations: {\n    readonly before: readonly JoinLimitation[];\n    readonly after: readonly JoinLimitation[];\n    readonly added: readonly JoinLimitation[];\n    readonly removed: readonly JoinLimitation[];\n  };\n  readonly producers: {\n    readonly before: readonly DiffProducerVersion[];\n    readonly after: readonly DiffProducerVersion[];\n  };\n}\n\n/** 동일 프로젝트의 관찰 결과를 비교하며 삭제 안전성이나 rename을 추측하지 않는다. */\nexport function createBridgeDiff(\n  before: readonly BridgeFactsDocument[],\n  after: readonly BridgeFactsDocument[],\n): BridgeDiffDocument {\n  validateSnapshots(before, after);\n  const oldJoin = joinBridgeDocuments(before);\n  const newJoin = joinBridgeDocuments(after);\n  if (isBridgeJoinDeferred(oldJoin) || isBridgeJoinDeferred(newJoin)) {\n    throw new BridgeJoinValidationError(\n      'Cannot compare deferred bridge joins; split mixed bridge targets and '\n      + `retry. The before inputs observed ${oldJoin.observedFacts} facts across `\n      + `${before.length} documents, and the after inputs observed `\n      + `${newJoin.observedFacts} facts across ${after.length} documents.`,\n    );\n  }\n  const oldReport = createCheckReport(oldJoin);\n  const newReport = createCheckReport(newJoin);\n  const addedMethods = difference(newJoin.matchedMethods, oldJoin.matchedMethods, logicalKey);\n  const removedMethods = difference(oldJoin.matchedMethods, newJoin.matchedMethods, logicalKey);\n  const introducedIssues = difference(newReport.issues, oldReport.issues, baselineEntryKey);\n  const resolvedIssues = difference(oldReport.issues, newReport.issues, baselineEntryKey);\n  return {\n    format: 'isthmus-diff' as const,\n    version: 1 as const,\n    summary: {\n      addedMethods: addedMethods.length,\n      removedMethods: removedMethods.length,\n      introducedErrors: introducedIssues.filter((issue) => issue.severity === 'error').length,\n      introducedWarnings: introducedIssues.filter((issue) => issue.severity === 'warning').length,\n      resolvedIssues: resolvedIssues.length,\n    },\n    addedMethods,\n    removedMethods,\n    introducedIssues,\n    resolvedIssues,\n    limitations: {\n      before: oldReport.limitations,\n      after: newReport.limitations,\n      added: difference(newReport.limitations, oldReport.limitations, limitationKey),\n      removed: difference(oldReport.limitations, newReport.limitations, limitationKey),\n    },\n    producers: { before: producerVersions(before), after: producerVersions(after) },\n  };\n}\n\n/** 플랫폼 누락이나 다른 프로젝트를 코드 삭제로 오해하지 않도록 입력 구성을 고정한다. */\nfunction validateSnapshots(before: readonly BridgeFactsDocument[], after: readonly BridgeFactsDocument[]): void {\n  const all = [...before, ...after];\n  if (new Set(all.map((doc) => doc.project)).size !== 1 ||\n    ![before, after].every((docs) => docs.some((doc) => doc.platform === 'dart') &&\n      docs.some((doc) => doc.platform === 'swift')) ||\n    JSON.stringify(producerInventory(before)) !== JSON.stringify(producerInventory(after)) ||\n    all.some((doc) => (doc.platform !== 'dart' && doc.platform !== 'swift') ||\n      (doc.target !== null && doc.target !== 'flutter'))) {\n    throw new BridgeJoinValidationError(\n      'Diff requires the same project and matching Flutter dart/swift producer '\n      + 'inventories in both snapshots; rebuild both snapshots from one checkout.',\n    );\n  }\n}\n\n/** 버전 변화는 출력하되 플랫폼·도구별 문서 개수 변화는 허용하지 않는다. */\nfunction producerInventory(docs: readonly BridgeFactsDocument[]): string[] {\n  return docs.map((doc) => JSON.stringify([doc.platform, doc.tool.name])).sort(compareStrings);\n}\n\n/** 추출기 업그레이드가 관찰 차이의 원인인지 검토할 버전 근거다. */\nfunction producerVersions(docs: readonly BridgeFactsDocument[]) {\n  return docs.map((doc) => ({ platform: doc.platform, ...doc.tool, generatedAt: doc.generatedAt }))\n    .sort((a, b) => compareStrings(JSON.stringify(a), JSON.stringify(b)));\n}\n\n/** 충돌 없는 논리 키로 비교해 소스 줄 이동을 추가·삭제로 보고하지 않는다. */\nfunction logicalKey(item: { readonly target: BridgeTarget; readonly channel: string; readonly method?: string }): string {\n  return JSON.stringify([item.target, item.channel, item.method ?? null]);\n}\n\nfunction limitationKey(item: { readonly platform: string; readonly target: string | null; readonly tool: string; readonly message: string; readonly channels?: readonly string[]; readonly origin?: 'consumer' }): string {\n  return JSON.stringify([item.platform, item.target, item.tool, item.message, item.channels ?? null, item.origin ?? null]);\n}\n\n/** 키 집합 차이를 안정적으로 정렬하고 원래 증거를 보존한다. */\nfunction difference<T>(left: readonly T[], right: readonly T[], key: (item: T) => string): T[] {\n  const existing = new Set(right.map(key));\n  return left.filter((item) => !existing.has(key(item)))\n    .sort((a, b) => compareStrings(key(a), key(b)));\n}\n"]}
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/report/diff.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAO/C,OAAO,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAGvG,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAyDtD;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAsC,EACtC,KAAqC,EACrC,cAAiD,EACjD,aAAgD;IAEhD,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACjC,wBAAwB,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;IACxD,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,oBAAoB,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,yBAAyB,CACjC,uEAAuE;cACrE,qCAAqC,OAAO,CAAC,aAAa,gBAAgB;cAC1E,GAAG,MAAM,CAAC,MAAM,4CAA4C;cAC5D,GAAG,OAAO,CAAC,aAAa,iBAAiB,KAAK,CAAC,MAAM,aAAa,CACrE,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,cAAc,KAAK,SAAS;QAC9C,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,kBAAkB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,aAAa,KAAK,SAAS;QAC7C,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,kBAAkB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;IAC5F,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;IAC9F,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;IAC5F,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;IAC9F,MAAM,eAAe,GAAG,UAAU,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;IACrG,MAAM,iBAAiB,GAAG,UAAU,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;IACvG,MAAM,gBAAgB,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC1F,MAAM,cAAc,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACxF,MAAM,iBAAiB,GAAG,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS;QAC9E,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,sBAAsB,EAAE,UAAU,CAAC,oBAAoB,CAAC,WAAW,CAAC,EAClE,oBAAoB,CAAC,WAAW,CAAC,EAAE,kBAAkB,CAAC;YACxD,wBAAwB,EAAE,UAAU,CAAC,oBAAoB,CAAC,WAAW,CAAC,EACpE,oBAAoB,CAAC,WAAW,CAAC,EAAE,kBAAkB,CAAC;SACzD,CAAC;IACN,OAAO;QACL,MAAM,EAAE,cAAuB;QAC/B,OAAO,EAAE,CAAU;QACnB,OAAO,EAAE;YACP,YAAY,EAAE,YAAY,CAAC,MAAM;YACjC,cAAc,EAAE,cAAc,CAAC,MAAM;YACrC,YAAY,EAAE,YAAY,CAAC,MAAM;YACjC,cAAc,EAAE,cAAc,CAAC,MAAM;YACrC,eAAe,EAAE,eAAe,CAAC,MAAM;YACvC,iBAAiB,EAAE,iBAAiB,CAAC,MAAM;YAC3C,gBAAgB,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM;YACvF,kBAAkB,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM;YAC3F,cAAc,EAAE,cAAc,CAAC,MAAM;YACrC,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAChE,sBAAsB,EAAE,2BAA2B,CAAC,WAAW,EAAE,WAAW,CAAC;gBAC7E,wBAAwB,EAAE,2BAA2B,CAAC,WAAW,EAAE,WAAW,CAAC;aAChF,CAAC;SACH;QACD,YAAY;QACZ,cAAc;QACd,YAAY;QACZ,cAAc;QACd,eAAe;QACf,iBAAiB;QACjB,GAAG,iBAAiB;QACpB,gBAAgB;QAChB,cAAc;QACd,WAAW,EAAE;YACX,MAAM,EAAE,SAAS,CAAC,WAAW;YAC7B,KAAK,EAAE,SAAS,CAAC,WAAW;YAC5B,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC;YAC9E,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC;SACjF;QACD,SAAS,EAAE,EAAE,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE;KAChF,CAAC;AACJ,CAAC;AAED,4DAA4D;AAC5D,SAAS,oBAAoB,CAAC,QAA2B;IACvD,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CACtC,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,6CAA6C;AAC7C,SAAS,2BAA2B,CAClC,IAAuB,EACvB,KAAwB;IAExB,OAAO,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC,CAAC,MAAM,CAAC;AACxG,CAAC;AAED,+DAA+D;AAC/D,SAAS,kBAAkB,CAAC,KAAyB;IACnD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;GAKG;AACH,SAAS,wBAAwB,CAC/B,MAAoD,EACpD,KAAmD;IAEnD,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IACxD,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAChD,MAAM,IAAI,yBAAyB,CACjC,wFAAwF,CACzF,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,IAAsC,EAAU,EAAE,CACpE,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;IAC5F,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,yBAAyB,CACjC,yEAAyE,CAC1E,CAAC;IACJ,CAAC;AACH,CAAC;AAED,qDAAqD;AACrD,SAAS,iBAAiB,CAAC,MAAsC,EAAE,KAAqC;IACtG,MAAM,GAAG,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC;IAClC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;QACnD,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;QACpG,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACjF,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACtF,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QAClF,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC1F,MAAM,IAAI,yBAAyB,CACjC,wEAAwE;cACtE,qEAAqE;cACrE,8BAA8B,CACjC,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,IAAoC;IAC3D,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SAChF,IAAI,CAAC,cAAc,CAAC,CAAC;AAC1B,CAAC;AAED,8CAA8C;AAC9C,SAAS,iBAAiB,CAAC,IAAoC;IAC7D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AAC/F,CAAC;AAED,yCAAyC;AACzC,SAAS,gBAAgB,CAAC,IAAoC;IAC5D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;SAC9F,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,gDAAgD;AAChD,SAAS,UAAU,CAAC,IAA2F;IAC7G,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,aAAa,CAAC,IAAyL;IAC9M,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,IAAI,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC;AAC3H,CAAC;AAED,uCAAuC;AACvC,SAAS,UAAU,CAAI,IAAkB,EAAE,KAAmB,EAAE,GAAwB;IACtF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;SACnD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC","sourcesContent":["import type { BridgeFactsDocument, BridgeTarget } from '../exchange/parse.ts';\nimport { isCallerPlatform, isReceiverPlatform } from '../exchange/parse.ts';\nimport { compareStrings } from '../compare.ts';\nimport type {\n  BridgeJoinResult,\n  JoinLimitation,\n  MatchedBoundaryName,\n  MatchedMethod,\n} from '../join/join.ts';\nimport { BridgeJoinValidationError, isBridgeJoinDeferred, joinBridgeDocuments } from '../join/join.ts';\nimport type { BridgeMessageDocument } from '../exchange/messages.ts';\nimport type { MessageBridgeJoin, MessageBridgeRoute } from '../join/messages.ts';\nimport { joinMessageBridges } from '../join/messages.ts';\nimport type { CheckIssue } from './check-report.ts';\nimport { baselineEntryKey } from './baseline.ts';\nimport { createCheckReport } from './check-report.ts';\n\n/** 두 스냅샷의 생산 도구 버전 근거다. */\nexport interface DiffProducerVersion {\n  readonly platform: string;\n  readonly name: string;\n  readonly version: string;\n  readonly generatedAt: string;\n}\n\n/**\n * 동일 프로젝트의 전후 관찰을 비교한 isthmus-diff 문서다.\n *\n * added/removed는 키 집합 차이라 소스 줄 이동은 차이가 아니다. introduced와\n * resolved는 논리 이슈 키 기준이라 코드가 바뀌면(-unverified → 본 판정)\n * 해결·추가 한 쌍으로 보인다 — 심각도 상승은 새 관찰이기 때문이다.\n */\nexport interface BridgeDiffDocument {\n  readonly format: 'isthmus-diff';\n  readonly version: 1;\n  readonly summary: {\n    readonly addedMethods: number;\n    readonly removedMethods: number;\n    readonly addedModules: number;\n    readonly removedModules: number;\n    readonly addedComponents: number;\n    readonly removedComponents: number;\n    readonly introducedErrors: number;\n    readonly introducedWarnings: number;\n    readonly resolvedIssues: number;\n    /** `messages` 입력이 있을 때만 실린다 — literal로 확정된 v2 경계 수다. */\n    readonly addedMessageBoundaries?: number;\n    readonly removedMessageBoundaries?: number;\n  };\n  readonly addedMethods: readonly MatchedMethod[];\n  readonly removedMethods: readonly MatchedMethod[];\n  readonly addedModules: readonly MatchedBoundaryName[];\n  readonly removedModules: readonly MatchedBoundaryName[];\n  readonly addedComponents: readonly MatchedBoundaryName[];\n  readonly removedComponents: readonly MatchedBoundaryName[];\n  /** `messages` 입력이 있을 때만 실리는 literal v2 경계다. */\n  readonly addedMessageBoundaries?: readonly MessageBridgeRoute[];\n  readonly removedMessageBoundaries?: readonly MessageBridgeRoute[];\n  readonly introducedIssues: readonly CheckIssue[];\n  readonly resolvedIssues: readonly CheckIssue[];\n  readonly limitations: {\n    readonly before: readonly JoinLimitation[];\n    readonly after: readonly JoinLimitation[];\n    readonly added: readonly JoinLimitation[];\n    readonly removed: readonly JoinLimitation[];\n  };\n  readonly producers: {\n    readonly before: readonly DiffProducerVersion[];\n    readonly after: readonly DiffProducerVersion[];\n  };\n}\n\n/**\n * 동일 프로젝트의 관찰 결과를 비교하며 삭제 안전성이나 rename을 추측하지 않는다.\n *\n * `beforeMessages`·`afterMessages`를 주면 Basic·Event v2 경계도 비교한다. 두 스냅샷\n * 모두 있어야 하며 transport 집합이 같아야 한다 — 한쪽만 있으면 관찰 차이가 아니라\n * 입력 구성 차이다.\n */\nexport function createBridgeDiff(\n  before: readonly BridgeFactsDocument[],\n  after: readonly BridgeFactsDocument[],\n  beforeMessages?: readonly BridgeMessageDocument[],\n  afterMessages?: readonly BridgeMessageDocument[],\n): BridgeDiffDocument {\n  validateSnapshots(before, after);\n  validateMessageSnapshots(beforeMessages, afterMessages);\n  const project = before[0]?.project ?? after[0]!.project;\n  const oldJoin = joinBridgeDocuments(before);\n  const newJoin = joinBridgeDocuments(after);\n  if (isBridgeJoinDeferred(oldJoin) || isBridgeJoinDeferred(newJoin)) {\n    throw new BridgeJoinValidationError(\n      'Cannot compare deferred bridge joins; split mixed bridge targets and '\n      + `retry. The before inputs observed ${oldJoin.observedFacts} facts across `\n      + `${before.length} documents, and the after inputs observed `\n      + `${newJoin.observedFacts} facts across ${after.length} documents.`,\n    );\n  }\n  const oldMessages = beforeMessages === undefined\n    ? undefined\n    : joinMessageBridges(beforeMessages, project);\n  const newMessages = afterMessages === undefined\n    ? undefined\n    : joinMessageBridges(afterMessages, project);\n  const oldReport = createCheckReport(oldJoin, oldMessages);\n  const newReport = createCheckReport(newJoin, newMessages);\n  const addedMethods = difference(newJoin.matchedMethods, oldJoin.matchedMethods, logicalKey);\n  const removedMethods = difference(oldJoin.matchedMethods, newJoin.matchedMethods, logicalKey);\n  const addedModules = difference(newJoin.matchedModules, oldJoin.matchedModules, logicalKey);\n  const removedModules = difference(oldJoin.matchedModules, newJoin.matchedModules, logicalKey);\n  const addedComponents = difference(newJoin.matchedComponents, oldJoin.matchedComponents, logicalKey);\n  const removedComponents = difference(oldJoin.matchedComponents, newJoin.matchedComponents, logicalKey);\n  const introducedIssues = difference(newReport.issues, oldReport.issues, baselineEntryKey);\n  const resolvedIssues = difference(oldReport.issues, newReport.issues, baselineEntryKey);\n  const messageBoundaries = oldMessages === undefined || newMessages === undefined\n    ? {}\n    : {\n        addedMessageBoundaries: difference(matchedMessageRoutes(newMessages),\n          matchedMessageRoutes(oldMessages), messageBoundaryKey),\n        removedMessageBoundaries: difference(matchedMessageRoutes(oldMessages),\n          matchedMessageRoutes(newMessages), messageBoundaryKey),\n      };\n  return {\n    format: 'isthmus-diff' as const,\n    version: 1 as const,\n    summary: {\n      addedMethods: addedMethods.length,\n      removedMethods: removedMethods.length,\n      addedModules: addedModules.length,\n      removedModules: removedModules.length,\n      addedComponents: addedComponents.length,\n      removedComponents: removedComponents.length,\n      introducedErrors: introducedIssues.filter((issue) => issue.severity === 'error').length,\n      introducedWarnings: introducedIssues.filter((issue) => issue.severity === 'warning').length,\n      resolvedIssues: resolvedIssues.length,\n      ...(oldMessages === undefined || newMessages === undefined ? {} : {\n        addedMessageBoundaries: matchedMessageBoundaryCount(newMessages, oldMessages),\n        removedMessageBoundaries: matchedMessageBoundaryCount(oldMessages, newMessages),\n      }),\n    },\n    addedMethods,\n    removedMethods,\n    addedModules,\n    removedModules,\n    addedComponents,\n    removedComponents,\n    ...messageBoundaries,\n    introducedIssues,\n    resolvedIssues,\n    limitations: {\n      before: oldReport.limitations,\n      after: newReport.limitations,\n      added: difference(newReport.limitations, oldReport.limitations, limitationKey),\n      removed: difference(oldReport.limitations, newReport.limitations, limitationKey),\n    },\n    producers: { before: producerVersions(before), after: producerVersions(after) },\n  };\n}\n\n/** literal로 양쪽이 관찰된 v2 경계만 돌려준다 — 후보 prefix는 확정 매치가 아니다. */\nfunction matchedMessageRoutes(messages: MessageBridgeJoin): readonly MessageBridgeRoute[] {\n  return messages.routes.filter((route) =>\n    route.matching === 'literal' && route.senders.length > 0 && route.handlers.length > 0);\n}\n\n/** 두 스냅샷의 literal v2 경계 키를 비교해 추가된 수를 센다. */\nfunction matchedMessageBoundaryCount(\n  left: MessageBridgeJoin,\n  right: MessageBridgeJoin,\n): number {\n  return difference(matchedMessageRoutes(left), matchedMessageRoutes(right), messageBoundaryKey).length;\n}\n\n/** v2 경계는 transport·주소로만 식별한다 — 같은 채널 이름이라도 transport가 다르다. */\nfunction messageBoundaryKey(route: MessageBridgeRoute): string {\n  return JSON.stringify([route.transport, route.channel]);\n}\n\n/**\n * v2 입력은 두 스냅샷 모두 있거나 모두 없어야 하며, transport 집합이 같아야 한다.\n *\n * 한쪽에만 v2가 있으면 그 transport의 경계 전부가 추가·삭제로 보인다 — 관찰 차이가\n * 아니라 입력 구성 차이므로 입력 오류로 거부한다.\n */\nfunction validateMessageSnapshots(\n  before: readonly BridgeMessageDocument[] | undefined,\n  after: readonly BridgeMessageDocument[] | undefined,\n): void {\n  if (before === undefined && after === undefined) return;\n  if (before === undefined || after === undefined) {\n    throw new BridgeJoinValidationError(\n      'Diff message inputs must be present in both snapshots; rebuild both from one checkout.',\n    );\n  }\n  const transports = (docs: readonly BridgeMessageDocument[]): string =>\n    JSON.stringify([...new Set(docs.map(({ transport }) => transport))].sort(compareStrings));\n  if (transports(before) !== transports(after)) {\n    throw new BridgeJoinValidationError(\n      'Diff message inputs must observe the same transports in both snapshots.',\n    );\n  }\n}\n\n/** 플랫폼 누락이나 다른 프로젝트를 코드 삭제로 오해하지 않도록 입력 구성을 고정한다. */\nfunction validateSnapshots(before: readonly BridgeFactsDocument[], after: readonly BridgeFactsDocument[]): void {\n  const all = [...before, ...after];\n  if (new Set(all.map((doc) => doc.project)).size !== 1 ||\n    new Set(all.filter((doc) => isReceiverPlatform(doc.platform)).map((doc) => doc.platform)).size !== 1 ||\n    ![before, after].every((docs) => docs.some((doc) => isCallerPlatform(doc.platform)) &&\n      docs.some((doc) => isReceiverPlatform(doc.platform))) ||\n    JSON.stringify(producerInventory(before)) !== JSON.stringify(producerInventory(after)) ||\n    JSON.stringify(snapshotTargets(before)) !== JSON.stringify(snapshotTargets(after)) ||\n    all.some((doc) => !isCallerPlatform(doc.platform) && !isReceiverPlatform(doc.platform))) {\n    throw new BridgeJoinValidationError(\n      'Diff requires the same project, the same bridge targets, and matching '\n      + 'caller/native producer inventories in both snapshots; rebuild both '\n      + 'snapshots from one checkout.',\n    );\n  }\n}\n\n/**\n * 스냅샷이 관찰한 브리지 target 집합을 정렬해 돌려준다.\n *\n * target 집합이 다른 두 시점을 비교하면 한쪽 target의 사실 전부가 삭제·추가로\n * 보이므로 관찰 차이가 아니라 입력 구성 차이다. 사실이 없는 문서의 null target은\n * 집합에 넣지 않는다.\n */\nfunction snapshotTargets(docs: readonly BridgeFactsDocument[]): BridgeTarget[] {\n  return [...new Set(docs.flatMap((doc) => doc.target === null ? [] : [doc.target]))]\n    .sort(compareStrings);\n}\n\n/** 버전 변화는 출력하되 플랫폼·도구별 문서 개수 변화는 허용하지 않는다. */\nfunction producerInventory(docs: readonly BridgeFactsDocument[]): string[] {\n  return docs.map((doc) => JSON.stringify([doc.platform, doc.tool.name])).sort(compareStrings);\n}\n\n/** 추출기 업그레이드가 관찰 차이의 원인인지 검토할 버전 근거다. */\nfunction producerVersions(docs: readonly BridgeFactsDocument[]) {\n  return docs.map((doc) => ({ platform: doc.platform, ...doc.tool, generatedAt: doc.generatedAt }))\n    .sort((a, b) => compareStrings(JSON.stringify(a), JSON.stringify(b)));\n}\n\n/** 충돌 없는 논리 키로 비교해 소스 줄 이동을 추가·삭제로 보고하지 않는다. */\nfunction logicalKey(item: { readonly target: BridgeTarget; readonly channel: string; readonly method?: string }): string {\n  return JSON.stringify([item.target, item.channel, item.method ?? null]);\n}\n\nfunction limitationKey(item: { readonly platform: string; readonly target: string | null; readonly tool: string; readonly message: string; readonly channels?: readonly string[]; readonly origin?: 'consumer' }): string {\n  return JSON.stringify([item.platform, item.target, item.tool, item.message, item.channels ?? null, item.origin ?? null]);\n}\n\n/** 키 집합 차이를 안정적으로 정렬하고 원래 증거를 보존한다. */\nfunction difference<T>(left: readonly T[], right: readonly T[], key: (item: T) => string): T[] {\n  const existing = new Set(right.map(key));\n  return left.filter((item) => !existing.has(key(item)))\n    .sort((a, b) => compareStrings(key(a), key(b)));\n}\n"]}

package/dist/report/graph.d.ts

@@ -1,5 +1,6 @@
 import type { BridgeLocation, BridgePlatform, BridgeSymbol, BridgeSourceLanguage, BridgeTarget } from '../exchange/parse.ts';
 import type { BridgeJoinResult, JoinLimitation } from '../join/join.ts';
+import type { MessageBridgeJoin } from '../join/messages.ts';
 /** 소스 위치 하나를 나타내는 경계 그래프 노드다. */
 export interface BridgeGraphNode {
     readonly id: string;
@@ -12,7 +13,7 @@ export interface BridgeGraphNode {
 export interface BridgeGraphEdge {
     readonly from: string;
     readonly to: string;
-    readonly kind: 'channel' | 'method';
+    readonly kind: 'channel' | 'method' | 'module' | 'component' | 'message' | 'stream';
     readonly target: BridgeTarget;
     readonly channel: string;
     readonly method?: string;
@@ -37,7 +38,12 @@ export declare class BridgeGraphValidationError extends Error {
 }
 /** 경계 그래프를 요청한 출력 형식으로 렌더링한다. */
 export declare function renderBridgeGraph(graph: BridgeGraphDocument, format: 'json' | 'dot' | 'mermaid'): string;
-/** 조인 결과의 매치만 경계 그래프로 바꾼다. */
-export declare function createBridgeGraph(joined: BridgeJoinResult): BridgeGraphDocument;
+/**
+ * 조인 결과의 매치만 경계 그래프로 만든다.
+ *
+ * `messages`를 주면 literal로 확정된 Basic·Event 경계가 `message`·`stream`
+ * 간선으로 더해진다. dynamic prefix 후보는 확정 매치가 아니므로 담지 않는다.
+ */
+export declare function createBridgeGraph(joined: BridgeJoinResult, messages?: MessageBridgeJoin): BridgeGraphDocument;
 /** 모든 Cartesian 간선 수를 할당 전에 계산해 메모리 폭증을 막는다. */
-export declare function assertBridgeGraphSize(joined: BridgeJoinResult): void;
+export declare function assertBridgeGraphSize(joined: BridgeJoinResult, messages?: MessageBridgeJoin): void;

package/dist/report/graph.js

@@ -1,4 +1,4 @@
-import { isBridgeJoinDeferred } from "../join/join.js";
+import { compareLimitations, isBridgeJoinDeferred } from "../join/join.js";
 import { compareStrings } from "../compare.js";
 import { encodeSortedJson } from "./sorted-json.js";
 /** 한 번에 생성할 수 있는 경계 그래프 간선 수다. */
@@ -94,30 +94,66 @@ function edgeLabel(edge) {
         : `${edge.channel}#${edge.method}`;
     return `${edge.kind} ${key}`;
 }
-/** 조인 결과의 매치만 경계 그래프로 바꾼다. */
-export function createBridgeGraph(joined) {
+/**
+ * 조인 결과의 매치만 경계 그래프로 만든다.
+ *
+ * `messages`를 주면 literal로 확정된 Basic·Event 경계가 `message`·`stream`
+ * 간선으로 더해진다. dynamic prefix 후보는 확정 매치가 아니므로 담지 않는다.
+ */
+export function createBridgeGraph(joined, messages) {
     if (isBridgeJoinDeferred(joined)) {
         throw new Error('Cannot create a graph from a deferred bridge join.');
     }
-    assertBridgeGraphSize(joined);
+    assertBridgeGraphSize(joined, messages);
     const nodes = new Map();
     const edges = [];
     addChannelEdges(joined, nodes, edges);
     addMethodEdges(joined, nodes, edges);
+    addNameEdges(joined.matchedModules, 'module', nodes, edges);
+    addNameEdges(joined.matchedComponents, 'component', nodes, edges);
+    if (messages !== undefined)
+        addMessageEdges(messages, nodes, edges);
     return {
         format: 'isthmus-graph',
         version: 1,
         nodes: [...nodes.values()].sort((left, right) => compareStrings(left.id, right.id)),
         edges: edges.sort(compareEdges),
-        limitations: joined.limitations,
+        limitations: messages === undefined
+            ? joined.limitations
+            : [...joined.limitations, ...messages.limitations].sort(compareLimitations),
     };
 }
+/** literal로 확정된 Basic·Event 경계의 발신→수신 간선을 추가한다. */
+function addMessageEdges(messages, nodes, edges) {
+    for (const route of messages.routes) {
+        if (route.matching !== 'literal')
+            continue;
+        for (const sender of route.senders) {
+            for (const handler of route.handlers) {
+                const from = addNode(nodes, sender);
+                const to = addNode(nodes, handler);
+                edges.push({
+                    from,
+                    to,
+                    kind: route.transport === 'event-channel' ? 'stream' : 'message',
+                    target: 'flutter',
+                    channel: route.channel,
+                });
+            }
+        }
+    }
+}
 /** 모든 Cartesian 간선 수를 할당 전에 계산해 메모리 폭증을 막는다. */
-export function assertBridgeGraphSize(joined) {
+export function assertBridgeGraphSize(joined, messages) {
     let edgeCount = 0;
     const endpointCounts = [
         ...joined.matchedChannels.map(({ creations, registrations }) => [creations.length, registrations.length]),
         ...joined.matchedMethods.map(({ invocations, handlers }) => [invocations.length, handlers.length]),
+        ...joined.matchedModules.map(({ callers, receivers }) => [callers.length, receivers.length]),
+        ...joined.matchedComponents.map(({ callers, receivers }) => [callers.length, receivers.length]),
+        ...(messages?.routes ?? [])
+            .filter((route) => route.matching === 'literal')
+            .map(({ senders, handlers }) => [senders.length, handlers.length]),
     ];
     for (const [fromCount, toCount] of endpointCounts) {
         if (toCount > 0 &&
@@ -164,6 +200,24 @@ function addMethodEdges(joined, nodes, edges) {
         }
     }
 }
+/** 매치된 모듈·컴포넌트 이름의 호출→export 간선을 추가한다. */
+function addNameEdges(matches, kind, nodes, edges) {
+    for (const match of matches) {
+        for (const caller of match.callers) {
+            for (const receiver of match.receivers) {
+                const from = addNode(nodes, caller);
+                const to = addNode(nodes, receiver);
+                edges.push({
+                    from,
+                    to,
+                    kind,
+                    target: match.target,
+                    channel: match.channel,
+                });
+            }
+        }
+    }
+}
 /** 증거 위치를 그래프 노드로 추가하고 안정 ID를 돌려준다. */
 function addNode(nodes, endpoint) {
     const id = endpointId(endpoint);