isthmus-cli 0.5.0 → 0.7.0

package/dist/exchange/impact-selection.js

@@ -0,0 +1,35 @@
+import { isProjectRelativePath, isSafeNonEmptyString } from "./parse.js";
+import { compareStrings } from "../compare.js";
+/** 변경 목록이 큰 입력을 통한 선택 집합 증폭을 일으키지 않도록 제한한다. */
+export const MAX_IMPACT_SELECTORS = 10_000;
+/** 변경 선택 계약 실패를 소스 값이 없는 메시지로 구분한다. */
+export class ImpactSelectionValidationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'ImpactSelectionValidationError';
+    }
+}
+/** 외부 변경 목록을 검증하고 위치·심볼 문자열을 손대지 않은 채 중복 제거한다. */
+export function parseImpactSelection(input) {
+    if (typeof input !== 'object' || input === null || Array.isArray(input)) {
+        throw new ImpactSelectionValidationError('Changes must be a JSON object.');
+    }
+    const value = input;
+    if (value.format !== 'isthmus-changes' || value.version !== 1) {
+        throw new ImpactSelectionValidationError('Expected isthmus-changes version 1.');
+    }
+    const files = value.files === undefined ? [] : value.files;
+    const symbols = value.symbols === undefined ? [] : value.symbols;
+    if (!Array.isArray(files) || !Array.isArray(symbols) ||
+        files.length + symbols.length === 0 || files.length + symbols.length > MAX_IMPACT_SELECTORS) {
+        throw new ImpactSelectionValidationError('Changes require 1 to 10000 file or symbol selectors.');
+    }
+    if (!files.every(isProjectRelativePath) || !symbols.every(isSafeNonEmptyString)) {
+        throw new ImpactSelectionValidationError('Changes require relative file paths and non-empty safe symbol names.');
+    }
+    return {
+        files: [...new Set(files)].sort(compareStrings),
+        symbols: [...new Set(symbols)].sort(compareStrings),
+    };
+}
+//# sourceMappingURL=impact-selection.js.map

package/dist/exchange/impact-selection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact-selection.js","sourceRoot":"","sources":["../../src/exchange/impact-selection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAQ/C,+CAA+C;AAC/C,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC;AAE3C,uCAAuC;AACvC,MAAM,OAAO,8BAA+B,SAAQ,KAAK;IACvD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,gCAAgC,CAAC;IAC/C,CAAC;CACF;AAED,kDAAkD;AAClD,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,8BAA8B,CAAC,gCAAgC,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,KAAK,GAAG,KAAgC,CAAC;IAC/C,IAAI,KAAK,CAAC,MAAM,KAAK,iBAAiB,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,8BAA8B,CAAC,qCAAqC,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;IAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAClD,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,oBAAoB,EAAE,CAAC;QAC9F,MAAM,IAAI,8BAA8B,CAAC,sDAAsD,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,8BAA8B,CAAC,sEAAsE,CAAC,CAAC;IACnH,CAAC;IACD,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;QAC3D,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;KAChE,CAAC;AACJ,CAAC","sourcesContent":["import { isProjectRelativePath, isSafeNonEmptyString } from './parse.ts';\nimport { compareStrings } from '../compare.ts';\n\n/** 변경 대상의 프로젝트 상대 파일과 정확한 심볼 이름/USR이다. 두 목록은 합집합이다. */\nexport interface ImpactSelection {\n  readonly files: readonly string[];\n  readonly symbols: readonly string[];\n}\n\n/** 변경 목록이 큰 입력을 통한 선택 집합 증폭을 일으키지 않도록 제한한다. */\nexport const MAX_IMPACT_SELECTORS = 10_000;\n\n/** 변경 선택 계약 실패를 소스 값이 없는 메시지로 구분한다. */\nexport class ImpactSelectionValidationError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'ImpactSelectionValidationError';\n  }\n}\n\n/** 외부 변경 목록을 검증하고 위치·심볼 문자열을 손대지 않은 채 중복 제거한다. */\nexport function parseImpactSelection(input: unknown): ImpactSelection {\n  if (typeof input !== 'object' || input === null || Array.isArray(input)) {\n    throw new ImpactSelectionValidationError('Changes must be a JSON object.');\n  }\n  const value = input as Record<string, unknown>;\n  if (value.format !== 'isthmus-changes' || value.version !== 1) {\n    throw new ImpactSelectionValidationError('Expected isthmus-changes version 1.');\n  }\n  const files = value.files === undefined ? [] : value.files;\n  const symbols = value.symbols === undefined ? [] : value.symbols;\n  if (!Array.isArray(files) || !Array.isArray(symbols) ||\n    files.length + symbols.length === 0 || files.length + symbols.length > MAX_IMPACT_SELECTORS) {\n    throw new ImpactSelectionValidationError('Changes require 1 to 10000 file or symbol selectors.');\n  }\n  if (!files.every(isProjectRelativePath) || !symbols.every(isSafeNonEmptyString)) {\n    throw new ImpactSelectionValidationError('Changes require relative file paths and non-empty safe symbol names.');\n  }\n  return {\n    files: [...new Set(files as string[])].sort(compareStrings),\n    symbols: [...new Set(symbols as string[])].sort(compareStrings),\n  };\n}\n"]}

package/dist/exchange/kartograph-impact.d.ts

@@ -0,0 +1,4 @@
+import { type LanguageImpact } from './preflight-context.ts';
+import type { ProducerImpactMetadata } from './producer-impact.ts';
+/** Kartograph의 현재 시점 영향 근거를 공통 사전 점검 형식으로 연결한다. */
+export declare function adaptKartographImpact(raw: unknown, metadata: ProducerImpactMetadata): LanguageImpact;

package/dist/exchange/kartograph-impact.js

@@ -0,0 +1,169 @@
+import { PreflightValidationError, validateLanguageImpact } from "./preflight-context.js";
+import { isProjectRelativePath, isSafeNonEmptyString } from "./parse.js";
+import { compareStrings } from "../compare.js";
+/** Kartograph의 현재 시점 영향 근거를 공통 사전 점검 형식으로 연결한다. */
+export function adaptKartographImpact(raw, metadata) {
+    const value = object(raw);
+    if (value.format !== 'kartograph-impact' || value.version !== 1)
+        fail('Expected kartograph-impact version 1.');
+    if (!['found', 'partial', 'notFound', 'noChanges'].includes(string(value.status)))
+        fail('Invalid Kartograph impact status.');
+    if (!isSafeNonEmptyString(metadata.project))
+        fail('Invalid Kartograph project metadata.');
+    const inputs = object(value.inputs);
+    if (inputs.base !== undefined)
+        fail('Kartograph preflight requires a current-only impact report.');
+    const limitations = array(value.limitations).map((item) => string(item));
+    const flags = object(value.truncated);
+    for (const key of ['results', 'depth', 'budget'])
+        if (typeof flags[key] !== 'boolean')
+            fail('Invalid Kartograph truncation flag.');
+    const navigation = value.navigation === undefined ? undefined : object(value.navigation);
+    if (navigation !== undefined && (!Number.isSafeInteger(navigation.offset) || navigation.offset < 0 ||
+        typeof navigation.hasNext !== 'boolean' || typeof navigation.hasPrevious !== 'boolean'))
+        fail('Invalid Kartograph navigation.');
+    let truncated = Object.values(flags).some((flag) => flag === true) || value.status === 'partial' ||
+        (navigation !== undefined && (navigation.offset !== 0 || navigation.hasNext === true || navigation.hasPrevious === true));
+    let missingLocations = 0;
+    let partialLocations = 0;
+    let omittedPaths = 0;
+    let pathItems = 0;
+    const symbols = new Map();
+    const changed = array(value.changed).map(object);
+    const affected = array(value.affected).map(object);
+    for (const row of [...changed, ...affected]) {
+        const id = string(row.usr);
+        if (symbols.has(id))
+            fail('Kartograph impact symbol ids must be unique.');
+        const current = array(row.presentIn).map(string).includes('current');
+        if (!current) {
+            omittedPaths++;
+            continue;
+        }
+        let location;
+        if (row.location !== null && row.location !== undefined) {
+            const source = object(row.location);
+            const path = typeof source.path === 'string' && source.path.startsWith(`${metadata.project}/`)
+                ? source.path.slice(metadata.project.length + 1) : source.path;
+            if (isProjectRelativePath(path)) {
+                const line = Number.isSafeInteger(source.line) && source.line > 0 ? source.line : undefined;
+                const column = line !== undefined && Number.isSafeInteger(source.column) && source.column > 0
+                    ? source.column : undefined;
+                location = { path, ...(line === undefined ? {} : { line }), ...(column === undefined ? {} : { column }) };
+                if (column === undefined)
+                    partialLocations++;
+            }
+        }
+        if (location === undefined)
+            missingLocations++;
+        symbols.set(id, { id, qualifiedName: string(row.qualifiedName),
+            ...(row.kind === undefined ? {} : { kind: string(row.kind) }), ...(location === undefined ? {} : { location }) });
+    }
+    const roots = changed.flatMap((row) => symbols.has(string(row.usr)) ? [symbols.get(string(row.usr))] : []);
+    const rootIds = new Set(roots.map(({ id }) => id));
+    const adjacency = new Map();
+    for (const row of affected) {
+        omittedPaths += row.pathOmissions === undefined ? 0 : array(row.pathOmissions).length;
+        if (row.pathStatus !== undefined && row.pathStatus !== 'complete')
+            truncated = true;
+        for (const input of array(row.paths)) {
+            const path = object(input);
+            const revision = string(path.revision);
+            if (revision === 'base') {
+                omittedPaths++;
+                continue;
+            }
+            if (revision !== 'current')
+                fail('Invalid Kartograph path revision.');
+            const nodes = array(path.nodes).map(string);
+            const edges = array(path.edges).map(object);
+            pathItems += nodes.length + edges.length;
+            if (pathItems > 1_000_000)
+                fail('Kartograph impact paths exceed their budget.');
+            if (nodes.length < 2 || nodes.length > 129 || edges.length !== nodes.length - 1 || nodes[0] !== row.usr ||
+                nodes.at(-1) !== path.changed || new Set(nodes).size !== nodes.length)
+                fail('Invalid Kartograph impact path.');
+            const relationships = edges.map((edge, index) => {
+                const source = string(edge.source);
+                const target = string(edge.target);
+                const forward = source === nodes[index] && target === nodes[index + 1];
+                const reverse = target === nodes[index] && source === nodes[index + 1];
+                if ((!forward && !reverse) || (reverse && edge.kind !== 'override') ||
+                    edge.traversal !== (forward ? 'dependency' : 'overrideContract')) {
+                    fail('Kartograph path edges do not match their traversal.');
+                }
+                return [string(edge.kind), `origin:${string(edge.origin)}`, `traversal:${string(edge.traversal)}`];
+            });
+            if (!rootIds.has(string(path.changed)) || nodes.some((id) => !symbols.has(id))) {
+                omittedPaths++;
+                continue;
+            }
+            for (let index = 0; index < edges.length; index++) {
+                const parent = nodes[index + 1];
+                const child = nodes[index];
+                let children = adjacency.get(parent);
+                if (children === undefined) {
+                    children = new Map();
+                    adjacency.set(parent, children);
+                }
+                let reasons = children.get(child);
+                if (reasons === undefined) {
+                    reasons = new Set();
+                    children.set(child, reasons);
+                }
+                for (const reason of relationships[index])
+                    reasons.add(reason);
+            }
+        }
+    }
+    // 같은 current 그래프의 관찰 간선만 사용한다. 한 정점의 대표 경로는 가장 짧은 경로다.
+    const queue = [...rootIds].sort(compareStrings);
+    const depth = new Map(queue.map((id) => [id, 0]));
+    const rows = [];
+    for (let index = 0; index < queue.length; index++) {
+        const parent = queue[index];
+        for (const [id, reasons] of [...(adjacency.get(parent) ?? [])].sort(([a], [b]) => compareStrings(a, b))) {
+            if (depth.has(id))
+                continue;
+            const distance = depth.get(parent) + 1;
+            if (distance > 128) {
+                omittedPaths++;
+                continue;
+            }
+            depth.set(id, distance);
+            queue.push(id);
+            rows.push({ symbol: symbols.get(id), via: parent, depth: distance, relationships: [...reasons].sort(compareStrings) });
+        }
+    }
+    omittedPaths += affected.filter((row) => symbols.has(string(row.usr)) && !depth.has(string(row.usr))).length;
+    const unresolved = array(value.unresolved);
+    if (unresolved.length > 0)
+        limitations.push(`kartograph-unresolved: ${unresolved.length} requested item(s) require review`);
+    if (missingLocations > 0)
+        limitations.push(`kartograph-unresolved-locations: ${missingLocations} symbol location(s) omitted`);
+    if (partialLocations > 0)
+        limitations.push(`kartograph-partial-source-locations: ${partialLocations} JVM symbol location(s) lack exact line or column coordinates`);
+    if (omittedPaths > 0)
+        limitations.push(`kartograph-unrepresented-paths: ${omittedPaths} path or symbol observation(s) require the original producer report`);
+    truncated ||= omittedPaths > 0;
+    return validateLanguageImpact({ id: metadata.id, platform: 'kotlin', requested: metadata.requested,
+        tool: metadata.tool, ...(metadata.trigger === undefined ? {} : { trigger: metadata.trigger }),
+        roots, affected: rows, limitations, truncated });
+}
+function object(value) {
+    if (value === null || typeof value !== 'object' || Array.isArray(value))
+        fail('Invalid Kartograph impact object.');
+    return value;
+}
+function array(value) {
+    if (!Array.isArray(value) || value.length > 50_000)
+        fail('Invalid Kartograph impact array.');
+    return value;
+}
+function string(value) {
+    if (!isSafeNonEmptyString(value))
+        fail('Invalid Kartograph impact string.');
+    return value;
+}
+function fail(message) { throw new PreflightValidationError(message); }
+//# sourceMappingURL=kartograph-impact.js.map

package/dist/exchange/kartograph-impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kartograph-impact.js","sourceRoot":"","sources":["../../src/exchange/kartograph-impact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,sBAAsB,EAA0C,MAAM,wBAAwB,CAAC;AAElI,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,mDAAmD;AACnD,MAAM,UAAU,qBAAqB,CAAC,GAAY,EAAE,QAAgC;IAClF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,CAAC,MAAM,KAAK,mBAAmB,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC;QAAE,IAAI,CAAC,uCAAuC,CAAC,CAAC;IAC/G,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAAE,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC7H,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,IAAI,CAAC,sCAAsC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,6DAA6D,CAAC,CAAC;IACnG,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC;QAAE,IAAI,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACnI,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACzF,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,IAAK,UAAU,CAAC,MAAiB,GAAG,CAAC;QAC5G,OAAO,UAAU,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,UAAU,CAAC,WAAW,KAAK,SAAS,CAAC;QAAE,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAClI,IAAI,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAC9F,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,OAAO,KAAK,IAAI,IAAI,UAAU,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC;IAC5H,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnD,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;QAC5C,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAC1E,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACrE,IAAI,CAAC,OAAO,EAAE,CAAC;YAAC,YAAY,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QAC3C,IAAI,QAAQ,CAAC;QACb,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,OAAO,GAAG,CAAC;gBAC5F,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YACjE,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,IAAK,MAAM,CAAC,IAAe,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAc,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClH,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,IAAK,MAAM,CAAC,MAAiB,GAAG,CAAC;oBACvG,CAAC,CAAC,MAAM,CAAC,MAAgB,CAAC,CAAC,CAAC,SAAS,CAAC;gBACxC,QAAQ,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;gBAC1G,IAAI,MAAM,KAAK,SAAS;oBAAE,gBAAgB,EAAE,CAAC;YAC/C,CAAC;QACH,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS;YAAE,gBAAgB,EAAE,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC;YAC5D,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IACtH,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5G,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC9D,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,YAAY,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC;QACtF,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,KAAK,UAAU;YAAE,SAAS,GAAG,IAAI,CAAC;QACpF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;gBAAC,YAAY,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YACtD,IAAI,QAAQ,KAAK,SAAS;gBAAE,IAAI,CAAC,mCAAmC,CAAC,CAAC;YACtE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5C,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;YACzC,IAAI,SAAS,GAAG,SAAS;gBAAE,IAAI,CAAC,8CAA8C,CAAC,CAAC;YAChF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG;gBACrG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;gBAAE,IAAI,CAAC,iCAAiC,CAAC,CAAC;YACjH,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAAC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACvE,MAAM,OAAO,GAAG,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBACvE,MAAM,OAAO,GAAG,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBACvE,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;oBACjE,IAAI,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC;oBACnE,IAAI,CAAC,qDAAqD,CAAC,CAAC;gBAC9D,CAAC;gBACD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,aAAa,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACrG,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBAAC,YAAY,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC7G,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBAClD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;gBAAC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;gBAC9D,IAAI,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;oBAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;gBAAC,CAAC;gBACtF,IAAI,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAAC,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;oBAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBAAC,CAAC;gBACjF,KAAK,MAAM,MAAM,IAAI,aAAa,CAAC,KAAK,CAAE;oBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IACD,uDAAuD;IACvD,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,IAAI,GAA8C,EAAE,CAAC;IAC3D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxG,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAE,GAAG,CAAC,CAAC;YACxC,IAAI,QAAQ,GAAG,GAAG,EAAE,CAAC;gBAAC,YAAY,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YACjD,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;QAC1H,CAAC;IACH,CAAC;IACD,YAAY,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7G,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,0BAA0B,UAAU,CAAC,MAAM,mCAAmC,CAAC,CAAC;IAC5H,IAAI,gBAAgB,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,oCAAoC,gBAAgB,6BAA6B,CAAC,CAAC;IAC9H,IAAI,gBAAgB,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,wCAAwC,gBAAgB,+DAA+D,CAAC,CAAC;IACpK,IAAI,YAAY,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,mCAAmC,YAAY,qEAAqE,CAAC,CAAC;IAC7J,SAAS,KAAK,YAAY,GAAG,CAAC,CAAC;IAC/B,OAAO,sBAAsB,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS;QAChG,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;QAC7F,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACnH,OAAO,KAAgC,CAAC;AAC1C,CAAC;AACD,SAAS,KAAK,CAAC,KAAc;IAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM;QAAE,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC7F,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC5E,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,IAAI,CAAC,OAAe,IAAW,MAAM,IAAI,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC","sourcesContent":["import { PreflightValidationError, validateLanguageImpact, type LanguageImpact, type ImpactSymbol } from './preflight-context.ts';\nimport type { ProducerImpactMetadata } from './producer-impact.ts';\nimport { isProjectRelativePath, isSafeNonEmptyString } from './parse.ts';\nimport { compareStrings } from '../compare.ts';\n\n/** Kartograph의 현재 시점 영향 근거를 공통 사전 점검 형식으로 연결한다. */\nexport function adaptKartographImpact(raw: unknown, metadata: ProducerImpactMetadata): LanguageImpact {\n  const value = object(raw);\n  if (value.format !== 'kartograph-impact' || value.version !== 1) fail('Expected kartograph-impact version 1.');\n  if (!['found', 'partial', 'notFound', 'noChanges'].includes(string(value.status))) fail('Invalid Kartograph impact status.');\n  if (!isSafeNonEmptyString(metadata.project)) fail('Invalid Kartograph project metadata.');\n  const inputs = object(value.inputs);\n  if (inputs.base !== undefined) fail('Kartograph preflight requires a current-only impact report.');\n  const limitations = array(value.limitations).map((item) => string(item));\n  const flags = object(value.truncated);\n  for (const key of ['results', 'depth', 'budget']) if (typeof flags[key] !== 'boolean') fail('Invalid Kartograph truncation flag.');\n  const navigation = value.navigation === undefined ? undefined : object(value.navigation);\n  if (navigation !== undefined && (!Number.isSafeInteger(navigation.offset) || (navigation.offset as number) < 0 ||\n    typeof navigation.hasNext !== 'boolean' || typeof navigation.hasPrevious !== 'boolean')) fail('Invalid Kartograph navigation.');\n  let truncated = Object.values(flags).some((flag) => flag === true) || value.status === 'partial' ||\n    (navigation !== undefined && (navigation.offset !== 0 || navigation.hasNext === true || navigation.hasPrevious === true));\n  let missingLocations = 0;\n  let partialLocations = 0;\n  let omittedPaths = 0;\n  let pathItems = 0;\n  const symbols = new Map<string, ImpactSymbol>();\n  const changed = array(value.changed).map(object);\n  const affected = array(value.affected).map(object);\n  for (const row of [...changed, ...affected]) {\n    const id = string(row.usr);\n    if (symbols.has(id)) fail('Kartograph impact symbol ids must be unique.');\n    const current = array(row.presentIn).map(string).includes('current');\n    if (!current) { omittedPaths++; continue; }\n    let location;\n    if (row.location !== null && row.location !== undefined) {\n      const source = object(row.location);\n      const path = typeof source.path === 'string' && source.path.startsWith(`${metadata.project}/`)\n        ? source.path.slice(metadata.project.length + 1) : source.path;\n      if (isProjectRelativePath(path)) {\n        const line = Number.isSafeInteger(source.line) && (source.line as number) > 0 ? source.line as number : undefined;\n        const column = line !== undefined && Number.isSafeInteger(source.column) && (source.column as number) > 0\n          ? source.column as number : undefined;\n        location = { path, ...(line === undefined ? {} : { line }), ...(column === undefined ? {} : { column }) };\n        if (column === undefined) partialLocations++;\n      }\n    }\n    if (location === undefined) missingLocations++;\n    symbols.set(id, { id, qualifiedName: string(row.qualifiedName),\n      ...(row.kind === undefined ? {} : { kind: string(row.kind) }), ...(location === undefined ? {} : { location }) });\n  }\n  const roots = changed.flatMap((row) => symbols.has(string(row.usr)) ? [symbols.get(string(row.usr))!] : []);\n  const rootIds = new Set(roots.map(({ id }) => id));\n  const adjacency = new Map<string, Map<string, Set<string>>>();\n  for (const row of affected) {\n    omittedPaths += row.pathOmissions === undefined ? 0 : array(row.pathOmissions).length;\n    if (row.pathStatus !== undefined && row.pathStatus !== 'complete') truncated = true;\n    for (const input of array(row.paths)) {\n      const path = object(input);\n      const revision = string(path.revision);\n      if (revision === 'base') { omittedPaths++; continue; }\n      if (revision !== 'current') fail('Invalid Kartograph path revision.');\n      const nodes = array(path.nodes).map(string);\n      const edges = array(path.edges).map(object);\n      pathItems += nodes.length + edges.length;\n      if (pathItems > 1_000_000) fail('Kartograph impact paths exceed their budget.');\n      if (nodes.length < 2 || nodes.length > 129 || edges.length !== nodes.length - 1 || nodes[0] !== row.usr ||\n        nodes.at(-1) !== path.changed || new Set(nodes).size !== nodes.length) fail('Invalid Kartograph impact path.');\n      const relationships = edges.map((edge, index) => {\n        const source = string(edge.source); const target = string(edge.target);\n        const forward = source === nodes[index] && target === nodes[index + 1];\n        const reverse = target === nodes[index] && source === nodes[index + 1];\n        if ((!forward && !reverse) || (reverse && edge.kind !== 'override') ||\n          edge.traversal !== (forward ? 'dependency' : 'overrideContract')) {\n          fail('Kartograph path edges do not match their traversal.');\n        }\n        return [string(edge.kind), `origin:${string(edge.origin)}`, `traversal:${string(edge.traversal)}`];\n      });\n      if (!rootIds.has(string(path.changed)) || nodes.some((id) => !symbols.has(id))) { omittedPaths++; continue; }\n      for (let index = 0; index < edges.length; index++) {\n        const parent = nodes[index + 1]!; const child = nodes[index]!;\n        let children = adjacency.get(parent);\n        if (children === undefined) { children = new Map(); adjacency.set(parent, children); }\n        let reasons = children.get(child);\n        if (reasons === undefined) { reasons = new Set(); children.set(child, reasons); }\n        for (const reason of relationships[index]!) reasons.add(reason);\n      }\n    }\n  }\n  // 같은 current 그래프의 관찰 간선만 사용한다. 한 정점의 대표 경로는 가장 짧은 경로다.\n  const queue = [...rootIds].sort(compareStrings);\n  const depth = new Map(queue.map((id) => [id, 0]));\n  const rows: Array<LanguageImpact['affected'][number]> = [];\n  for (let index = 0; index < queue.length; index++) {\n    const parent = queue[index]!;\n    for (const [id, reasons] of [...(adjacency.get(parent) ?? [])].sort(([a], [b]) => compareStrings(a, b))) {\n      if (depth.has(id)) continue;\n      const distance = depth.get(parent)! + 1;\n      if (distance > 128) { omittedPaths++; continue; }\n      depth.set(id, distance); queue.push(id);\n      rows.push({ symbol: symbols.get(id)!, via: parent, depth: distance, relationships: [...reasons].sort(compareStrings) });\n    }\n  }\n  omittedPaths += affected.filter((row) => symbols.has(string(row.usr)) && !depth.has(string(row.usr))).length;\n  const unresolved = array(value.unresolved);\n  if (unresolved.length > 0) limitations.push(`kartograph-unresolved: ${unresolved.length} requested item(s) require review`);\n  if (missingLocations > 0) limitations.push(`kartograph-unresolved-locations: ${missingLocations} symbol location(s) omitted`);\n  if (partialLocations > 0) limitations.push(`kartograph-partial-source-locations: ${partialLocations} JVM symbol location(s) lack exact line or column coordinates`);\n  if (omittedPaths > 0) limitations.push(`kartograph-unrepresented-paths: ${omittedPaths} path or symbol observation(s) require the original producer report`);\n  truncated ||= omittedPaths > 0;\n  return validateLanguageImpact({ id: metadata.id, platform: 'kotlin', requested: metadata.requested,\n    tool: metadata.tool, ...(metadata.trigger === undefined ? {} : { trigger: metadata.trigger }),\n    roots, affected: rows, limitations, truncated });\n}\n\nfunction object(value: unknown): Record<string, unknown> {\n  if (value === null || typeof value !== 'object' || Array.isArray(value)) fail('Invalid Kartograph impact object.');\n  return value as Record<string, unknown>;\n}\nfunction array(value: unknown): unknown[] {\n  if (!Array.isArray(value) || value.length > 50_000) fail('Invalid Kartograph impact array.');\n  return value;\n}\nfunction string(value: unknown): string {\n  if (!isSafeNonEmptyString(value)) fail('Invalid Kartograph impact string.');\n  return value;\n}\nfunction fail(message: string): never { throw new PreflightValidationError(message); }\n"]}

package/dist/exchange/messages.d.ts

@@ -0,0 +1,36 @@
+import type { BridgeHandlerDependency, BridgeHandlerScope, BridgeLocation, BridgeSourceLanguage, BridgeSymbol } from './parse.ts';
+export type { BridgeHandlerDependency, BridgeHandlerScope } from './parse.ts';
+/** v2 문서가 다루는 transport다. Basic은 호출/응답, Event는 네이티브→Dart 스트림이다. */
+export type BridgeMessageTransport = 'basic-message-channel' | 'event-channel';
+/** Basic·Event 채널의 발신·수신 사실이며 MethodChannel 메서드를 합성하지 않는다. */
+export interface BridgeMessageFact {
+    readonly kind: 'message-send' | 'message-handle' | 'stream-listen' | 'stream-handle';
+    readonly channel: string | null;
+    readonly dynamic: boolean;
+    readonly channelPrefix?: string;
+    readonly location: BridgeLocation;
+    readonly symbol?: BridgeSymbol;
+    readonly sourceLanguage?: BridgeSourceLanguage;
+    readonly handlerScope?: BridgeHandlerScope;
+    readonly dependencies?: readonly BridgeHandlerDependency[];
+}
+/** v1 전용 소비자가 조용히 무시하지 못하도록 별도 버전으로 전달하는 v2 문서다. */
+export interface BridgeMessageDocument {
+    readonly format: 'bridge-facts';
+    readonly version: 2;
+    readonly transport: BridgeMessageTransport;
+    readonly platform: 'dart' | 'swift' | 'kotlin';
+    readonly target: 'flutter' | null;
+    readonly project: string;
+    readonly generatedAt: string;
+    readonly tool: {
+        readonly name: string;
+        readonly version: string;
+    };
+    readonly facts: readonly BridgeMessageFact[];
+    readonly limitations: readonly string[];
+}
+/** 입력 묶음의 역할·프로젝트 범위를 값 조인 없이 검증한다. */
+export declare function validateMessageDocuments(documents: readonly BridgeMessageDocument[], project: string): void;
+/** transport별 v2를 검증하고 알려진 필드만 복사한다. v1 입력 파서는 그대로 유지한다. */
+export declare function parseMessageBridgeDocument(input: unknown): BridgeMessageDocument;

package/dist/exchange/messages.js

@@ -0,0 +1,96 @@
+import { BridgeFactsValidationError, isBridgeTimestamp, isSafeNonEmptyString, MAX_FACTS_PER_DOCUMENT, MAX_SCOPE_DEPENDENCIES_PER_DOCUMENT, normalizeScopeEvidence, validateLocation, validateScopeEvidence, validateSourceLanguage, validateSymbol } from "./parse.js";
+/** transport·플랫폼별 허용 사실 종류와 미귀속 한계 접두사다. */
+const transportRules = {
+    'basic-message-channel': {
+        dart: 'message-send', native: 'message-handle', unattributed: 'unattributed-message-handles:',
+    },
+    'event-channel': {
+        dart: 'stream-listen', native: 'stream-handle', unattributed: 'unattributed-stream-handles:',
+    },
+};
+/** 입력 묶음의 역할·프로젝트 범위를 값 조인 없이 검증한다. */
+export function validateMessageDocuments(documents, project) {
+    if (documents.length === 0)
+        return;
+    if (documents.length > 256 || documents.some((document) => document.project !== project) ||
+        !documents.some(({ platform }) => platform === 'dart') || !documents.some(({ platform }) => platform === 'swift' || platform === 'kotlin')) {
+        fail('Message inputs require Dart and native documents for the same project.');
+    }
+}
+/** transport별 v2를 검증하고 알려진 필드만 복사한다. v1 입력 파서는 그대로 유지한다. */
+export function parseMessageBridgeDocument(input) {
+    const value = object(input);
+    if (value.format !== 'bridge-facts' || value.version !== 2 ||
+        (value.transport !== 'basic-message-channel' && value.transport !== 'event-channel')) {
+        fail('Expected bridge-facts version 2 for a message transport.');
+    }
+    const rules = transportRules[value.transport];
+    if (value.platform !== 'dart' && value.platform !== 'swift' && value.platform !== 'kotlin')
+        fail('Unsupported message bridge platform.');
+    if (!Array.isArray(value.facts) || value.facts.length > MAX_FACTS_PER_DOCUMENT)
+        fail('Invalid message bridge fact count.');
+    if (value.target !== (value.facts.length ? 'flutter' : null))
+        fail('Invalid message bridge target.');
+    if (!isBridgeTimestamp(value.generatedAt))
+        fail('Invalid message bridge timestamp.');
+    const project = safe(value.project);
+    const tool = object(value.tool);
+    const limitations = value.limitations;
+    if (!Array.isArray(limitations) || !limitations.every((item) => typeof item === 'string'))
+        fail('Invalid message bridge limitations.');
+    let dependencyCount = 0;
+    const consumeDependencies = (count) => {
+        dependencyCount += count;
+        if (dependencyCount > MAX_SCOPE_DEPENDENCIES_PER_DOCUMENT)
+            fail('Message dependency budget exceeded.');
+    };
+    const facts = value.facts.map((item, index) => {
+        const fact = object(item);
+        const expectedKind = value.platform === 'dart' ? rules.dart : rules.native;
+        if (fact.kind !== expectedKind || fact.method !== undefined)
+            fail('Invalid message bridge fact kind or method.');
+        if (fact.channel === null ? fact.kind !== rules.native : !isSafeNonEmptyString(fact.channel))
+            fail('Invalid message bridge channel.');
+        if (typeof fact.dynamic !== 'boolean')
+            fail('Invalid message bridge dynamic flag.');
+        if (fact.channelPrefix !== undefined && (!fact.dynamic || fact.channel === null || !isSafeNonEmptyString(fact.channelPrefix))) {
+            fail('Message prefix requires a dynamic channel and a non-empty proven prefix.');
+        }
+        validateLocation(fact.location, index);
+        validateSymbol(fact.symbol, index);
+        const location = fact.location;
+        const symbol = fact.symbol;
+        validateSourceLanguage(fact.sourceLanguage, value.platform, location, symbol, index);
+        let scoped;
+        if (fact.handlerScope !== undefined || fact.dependencies !== undefined) {
+            if (expectedKind !== rules.native || fact.sourceLanguage !== undefined)
+                fail('Handler dependencies require a native message handler.');
+            validateScopeEvidence(fact, location, symbol, index, consumeDependencies);
+            scoped = normalizeScopeEvidence(fact.handlerScope, fact.dependencies);
+        }
+        return { kind: expectedKind, channel: fact.channel, dynamic: fact.dynamic,
+            location: { path: location.path, line: location.line, column: location.column },
+            ...(fact.channelPrefix === undefined ? {} : { channelPrefix: fact.channelPrefix }),
+            ...(symbol === undefined ? {} : { symbol: { qualifiedName: symbol.qualifiedName, ...(symbol.usr === undefined ? {} : { usr: symbol.usr }) } }),
+            ...(fact.sourceLanguage === undefined ? {} : { sourceLanguage: fact.sourceLanguage }),
+            ...(scoped === undefined ? {} : scoped), };
+    });
+    if (facts.some((fact) => fact.channel === null) && !limitations.some((item) => item.startsWith(rules.unattributed))) {
+        fail('Unattributed message handles require a limitation.');
+    }
+    return { format: 'bridge-facts', version: 2, transport: value.transport, platform: value.platform,
+        target: facts.length ? 'flutter' : null, project, generatedAt: value.generatedAt,
+        tool: { name: safe(tool.name), version: safe(tool.version) }, facts, limitations: [...limitations] };
+}
+function object(value) {
+    if (value === null || typeof value !== 'object' || Array.isArray(value))
+        fail('Message bridge input must be a JSON object.');
+    return value;
+}
+function safe(value) {
+    if (!isSafeNonEmptyString(value))
+        fail('Invalid message bridge metadata.');
+    return value;
+}
+function fail(message) { throw new BridgeFactsValidationError(message); }
+//# sourceMappingURL=messages.js.map

package/dist/exchange/messages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.js","sourceRoot":"","sources":["../../src/exchange/messages.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,sBAAsB,EAClG,mCAAmC,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,qBAAqB,EACpG,sBAAsB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAmC7D,4CAA4C;AAC5C,MAAM,cAAc,GAAG;IACrB,uBAAuB,EAAE;QACvB,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,gBAAgB,EAAE,YAAY,EAAE,+BAA+B;KAC9F;IACD,eAAe,EAAE;QACf,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,8BAA8B;KAC7F;CACO,CAAC;AAEX,uCAAuC;AACvC,MAAM,UAAU,wBAAwB,CAAC,SAA2C,EAAE,OAAe;IACnG,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACnC,IAAI,SAAS,CAAC,MAAM,GAAG,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,CAAC;QACtF,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC7I,IAAI,CAAC,wEAAwE,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,0BAA0B,CAAC,KAAc;IACvD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,MAAM,KAAK,cAAc,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC;QACxD,CAAC,KAAK,CAAC,SAAS,KAAK,uBAAuB,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,CAAC,EAAE,CAAC;QACvF,IAAI,CAAC,0DAA0D,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,OAAO,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAAE,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACzI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,sBAAsB;QAAE,IAAI,CAAC,oCAAoC,CAAC,CAAC;IAC3H,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,gCAAgC,CAAC,CAAC;IACrG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;IACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;QAAE,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACvI,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,MAAM,mBAAmB,GAAG,CAAC,KAAa,EAAQ,EAAE;QAClD,eAAe,IAAI,KAAK,CAAC;QACzB,IAAI,eAAe,GAAG,mCAAmC;YAAE,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACzG,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAqB,EAAE;QAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;QAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,6CAA6C,CAAC,CAAC;QACjH,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,iCAAiC,CAAC,CAAC;QACtI,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACpF,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;YAC9H,IAAI,CAAC,0EAA0E,CAAC,CAAC;QACnF,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACvC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAA0B,CAAC;QACjD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAkC,CAAC;QACvD,sBAAsB,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACrF,IAAI,MAA0G,CAAC;QAC/G,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACvE,IAAI,YAAY,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS;gBAAE,IAAI,CAAC,wDAAwD,CAAC,CAAC;YACvI,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,mBAAmB,CAAC,CAAC;YAC1E,MAAM,GAAG,sBAAsB,CAAC,IAAI,CAAC,YAAkC,EACrE,IAAI,CAAC,YAAkD,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,CAAC,OAAwB,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO;YACxF,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;YAC/E,GAAG,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAuB,EAAE,CAAC;YAC5F,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9I,GAAG,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,cAAsC,EAAE,CAAC;YAC7G,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GACxC,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QACpH,IAAI,CAAC,oDAAoD,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ;QAC/F,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW;QAChF,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC;AACzG,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC7H,OAAO,KAAgC,CAAC;AAC1C,CAAC;AACD,SAAS,IAAI,CAAC,KAAc;IAC1B,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC3E,OAAO,KAAe,CAAC;AACzB,CAAC;AACD,SAAS,IAAI,CAAC,OAAe,IAAW,MAAM,IAAI,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC","sourcesContent":["import { BridgeFactsValidationError, isBridgeTimestamp, isSafeNonEmptyString, MAX_FACTS_PER_DOCUMENT,\n  MAX_SCOPE_DEPENDENCIES_PER_DOCUMENT, normalizeScopeEvidence, validateLocation, validateScopeEvidence,\n  validateSourceLanguage, validateSymbol } from './parse.ts';\nimport type { BridgeHandlerDependency, BridgeHandlerScope, BridgeLocation, BridgeSourceLanguage, BridgeSymbol } from './parse.ts';\n\nexport type { BridgeHandlerDependency, BridgeHandlerScope } from './parse.ts';\n\n/** v2 문서가 다루는 transport다. Basic은 호출/응답, Event는 네이티브→Dart 스트림이다. */\nexport type BridgeMessageTransport = 'basic-message-channel' | 'event-channel';\n\n/** Basic·Event 채널의 발신·수신 사실이며 MethodChannel 메서드를 합성하지 않는다. */\nexport interface BridgeMessageFact {\n  readonly kind: 'message-send' | 'message-handle' | 'stream-listen' | 'stream-handle';\n  readonly channel: string | null;\n  readonly dynamic: boolean;\n  readonly channelPrefix?: string;\n  readonly location: BridgeLocation;\n  readonly symbol?: BridgeSymbol;\n  readonly sourceLanguage?: BridgeSourceLanguage;\n  readonly handlerScope?: BridgeHandlerScope;\n  readonly dependencies?: readonly BridgeHandlerDependency[];\n}\n\n/** v1 전용 소비자가 조용히 무시하지 못하도록 별도 버전으로 전달하는 v2 문서다. */\nexport interface BridgeMessageDocument {\n  readonly format: 'bridge-facts';\n  readonly version: 2;\n  readonly transport: BridgeMessageTransport;\n  readonly platform: 'dart' | 'swift' | 'kotlin';\n  readonly target: 'flutter' | null;\n  readonly project: string;\n  readonly generatedAt: string;\n  readonly tool: { readonly name: string; readonly version: string };\n  readonly facts: readonly BridgeMessageFact[];\n  readonly limitations: readonly string[];\n}\n\n/** transport·플랫폼별 허용 사실 종류와 미귀속 한계 접두사다. */\nconst transportRules = {\n  'basic-message-channel': {\n    dart: 'message-send', native: 'message-handle', unattributed: 'unattributed-message-handles:',\n  },\n  'event-channel': {\n    dart: 'stream-listen', native: 'stream-handle', unattributed: 'unattributed-stream-handles:',\n  },\n} as const;\n\n/** 입력 묶음의 역할·프로젝트 범위를 값 조인 없이 검증한다. */\nexport function validateMessageDocuments(documents: readonly BridgeMessageDocument[], project: string): void {\n  if (documents.length === 0) return;\n  if (documents.length > 256 || documents.some((document) => document.project !== project) ||\n    !documents.some(({ platform }) => platform === 'dart') || !documents.some(({ platform }) => platform === 'swift' || platform === 'kotlin')) {\n    fail('Message inputs require Dart and native documents for the same project.');\n  }\n}\n\n/** transport별 v2를 검증하고 알려진 필드만 복사한다. v1 입력 파서는 그대로 유지한다. */\nexport function parseMessageBridgeDocument(input: unknown): BridgeMessageDocument {\n  const value = object(input);\n  if (value.format !== 'bridge-facts' || value.version !== 2 ||\n    (value.transport !== 'basic-message-channel' && value.transport !== 'event-channel')) {\n    fail('Expected bridge-facts version 2 for a message transport.');\n  }\n  const rules = transportRules[value.transport];\n  if (value.platform !== 'dart' && value.platform !== 'swift' && value.platform !== 'kotlin') fail('Unsupported message bridge platform.');\n  if (!Array.isArray(value.facts) || value.facts.length > MAX_FACTS_PER_DOCUMENT) fail('Invalid message bridge fact count.');\n  if (value.target !== (value.facts.length ? 'flutter' : null)) fail('Invalid message bridge target.');\n  if (!isBridgeTimestamp(value.generatedAt)) fail('Invalid message bridge timestamp.');\n  const project = safe(value.project);\n  const tool = object(value.tool);\n  const limitations = value.limitations;\n  if (!Array.isArray(limitations) || !limitations.every((item) => typeof item === 'string')) fail('Invalid message bridge limitations.');\n  let dependencyCount = 0;\n  const consumeDependencies = (count: number): void => {\n    dependencyCount += count;\n    if (dependencyCount > MAX_SCOPE_DEPENDENCIES_PER_DOCUMENT) fail('Message dependency budget exceeded.');\n  };\n  const facts = value.facts.map((item, index): BridgeMessageFact => {\n    const fact = object(item);\n    const expectedKind = value.platform === 'dart' ? rules.dart : rules.native;\n    if (fact.kind !== expectedKind || fact.method !== undefined) fail('Invalid message bridge fact kind or method.');\n    if (fact.channel === null ? fact.kind !== rules.native : !isSafeNonEmptyString(fact.channel)) fail('Invalid message bridge channel.');\n    if (typeof fact.dynamic !== 'boolean') fail('Invalid message bridge dynamic flag.');\n    if (fact.channelPrefix !== undefined && (!fact.dynamic || fact.channel === null || !isSafeNonEmptyString(fact.channelPrefix))) {\n      fail('Message prefix requires a dynamic channel and a non-empty proven prefix.');\n    }\n    validateLocation(fact.location, index);\n    validateSymbol(fact.symbol, index);\n    const location = fact.location as BridgeLocation;\n    const symbol = fact.symbol as BridgeSymbol | undefined;\n    validateSourceLanguage(fact.sourceLanguage, value.platform, location, symbol, index);\n    let scoped: { handlerScope: BridgeHandlerScope; dependencies: readonly BridgeHandlerDependency[] } | undefined;\n    if (fact.handlerScope !== undefined || fact.dependencies !== undefined) {\n      if (expectedKind !== rules.native || fact.sourceLanguage !== undefined) fail('Handler dependencies require a native message handler.');\n      validateScopeEvidence(fact, location, symbol, index, consumeDependencies);\n      scoped = normalizeScopeEvidence(fact.handlerScope as BridgeHandlerScope,\n        fact.dependencies as readonly BridgeHandlerDependency[]);\n    }\n    return { kind: expectedKind, channel: fact.channel as string | null, dynamic: fact.dynamic,\n      location: { path: location.path, line: location.line, column: location.column },\n      ...(fact.channelPrefix === undefined ? {} : { channelPrefix: fact.channelPrefix as string }),\n      ...(symbol === undefined ? {} : { symbol: { qualifiedName: symbol.qualifiedName, ...(symbol.usr === undefined ? {} : { usr: symbol.usr }) } }),\n      ...(fact.sourceLanguage === undefined ? {} : { sourceLanguage: fact.sourceLanguage as BridgeSourceLanguage }),\n      ...(scoped === undefined ? {} : scoped),\n    };\n  });\n  if (facts.some((fact) => fact.channel === null) && !limitations.some((item) => item.startsWith(rules.unattributed))) {\n    fail('Unattributed message handles require a limitation.');\n  }\n  return { format: 'bridge-facts', version: 2, transport: value.transport, platform: value.platform,\n    target: facts.length ? 'flutter' : null, project, generatedAt: value.generatedAt,\n    tool: { name: safe(tool.name), version: safe(tool.version) }, facts, limitations: [...limitations] };\n}\n\nfunction object(value: unknown): Record<string, unknown> {\n  if (value === null || typeof value !== 'object' || Array.isArray(value)) fail('Message bridge input must be a JSON object.');\n  return value as Record<string, unknown>;\n}\nfunction safe(value: unknown): string {\n  if (!isSafeNonEmptyString(value)) fail('Invalid message bridge metadata.');\n  return value as string;\n}\nfunction fail(message: string): never { throw new BridgeFactsValidationError(message); }\n"]}

package/dist/exchange/parse.d.ts

@@ -2,6 +2,14 @@
 export type BridgePlatform = 'dart' | 'swift' | 'kotlin' | 'js';
 /** 언어 경계를 잇는 메커니즘이다. */
 export type BridgeTarget = 'flutter' | 'react-native' | 'capacitor';
+/**
+ * 같은 target 안에서 사실이 통과하는 구체적인 해석 경로다.
+ *
+ * `react-native` 문서 안에서 코어 RN 경로와 Expo Modules 경로가 공존한다.
+ * 생략된 사실은 `core`로 읽는다 — v1 이전 문서가 모두 코어 RN만 기술했기
+ * 때문이다. 이 필드는 이름 경계 사실 네 종류에만 허용된다.
+ */
+export type BridgeMechanism = 'core' | 'expo';
 /** Swift 플랫폼 문서에 실린 Objective-C 구현을 Swift 보존 대상과 구분한다. */
 export type BridgeSourceLanguage = 'objective-c';
 /** 특정 한계 전체의 영향을 포함하는 채널 집합. 일부 발견 목록이 아니다. */
@@ -27,15 +35,55 @@ export interface BridgeSymbol {
     readonly qualifiedName: string;
     readonly usr?: string;
 }
+/** producer가 관찰한 사용 관계를 귀속한 실제 native handler 분기 범위다. */
+export interface BridgeHandlerScope {
+    readonly start: BridgeLocation;
+    readonly end: BridgeLocation;
+    readonly complete: boolean;
+}
+/** 실제 참조 위치와 대상, index의 overrides로 확인한 dispatch 후보를 보존한다. */
+export interface BridgeHandlerDependency {
+    readonly kind: 'call' | 'reference';
+    readonly scope: 'handler' | 'registration';
+    readonly location: BridgeLocation;
+    readonly symbol: BridgeSymbol & {
+        readonly usr: string;
+    };
+    readonly dispatchTargets?: readonly (BridgeSymbol & {
+        readonly usr: string;
+    })[];
+}
+/** handler 분기 근거의 원시 상한이다. */
+export declare const MAX_SCOPE_DEPENDENCIES_PER_FACT = 10000;
+export declare const MAX_SCOPE_DEPENDENCIES_PER_DOCUMENT = 1000000;
 /** 생산 도구 하나가 관찰한 언어 경계 사실이다. */
 export interface BridgeFact {
     readonly kind: BridgeFactKind;
     readonly channel: string | null;
     readonly method?: string;
+    /**
+     * `react-native` target의 이름 경계 사실이 속한 해석 경로다.
+     *
+     * 생략은 `core`다. Expo의 `requireNativeModule`은 TurboModule 폴백이
+     * 있어 호출 측 `expo`가 양쪽 mechanism의 export와 조인되지만,
+     * `requireNativeViewManager`에는 그런 폴백이 없다 — 조인 규칙은
+     * GRAPH-EXCHANGE.md가 정한다.
+     */
+    readonly mechanism?: BridgeMechanism;
+    /**
+     * 호출 측 API가 모듈 부재를 허용한다는 증거다.
+     *
+     * `requireOptionalNativeModule`·`TurboModuleRegistry.get` 계열은 부재 시
+     * 던지지 않고 `null`을 돌려주므로, 이 표시가 있는 `module-import`의 미수출은
+     * 크래시가 아니라 호출자가 감당하는 관찰이다. `module-import`에만 올 수 있다.
+     */
+    readonly optional?: boolean;
     readonly dynamic: boolean;
     readonly location: BridgeLocation;
     readonly symbol?: BridgeSymbol;
     readonly sourceLanguage?: BridgeSourceLanguage;
+    readonly handlerScope?: BridgeHandlerScope;
+    readonly dependencies?: readonly BridgeHandlerDependency[];
 }
 /** bridge-facts 버전 1 문서다. */
 export interface BridgeFactsDocument {
@@ -60,6 +108,19 @@ export declare class BridgeFactsValidationError extends Error {
 }
 /** 신뢰하지 않는 JSON 값을 검증된 bridge-facts v1 문서로 바꾼다. */
 export declare function parseBridgeFactsDocument(input: unknown): BridgeFactsDocument;
+/**
+ * v1 `method-handle`과 v2 handler 사실이 공유하는 분기 근거 필드를 검증한다.
+ *
+ * `handlerScope`는 감싸는 핸들러 선언 안에서 이 사실로 귀속한 분기 범위고,
+ * `dependencies`의 `scope`가 그 안(`handler`)인지 공유 부분(`registration`)인지
+ * 구분한다. 두 필드는 함께만 올 수 있다.
+ */
+export declare function validateScopeEvidence(fact: Record<string, unknown>, location: BridgeLocation, symbol: BridgeSymbol | undefined, index: number, consumeScopeDependencies: (count: number) => void): void;
+/** 검증된 분기 근거를 계약 필드만 남긴 사본으로 만든다. */
+export declare function normalizeScopeEvidence(handlerScope: BridgeHandlerScope, dependencies: readonly BridgeHandlerDependency[]): {
+    handlerScope: BridgeHandlerScope;
+    dependencies: BridgeHandlerDependency[];
+};
 /** 브리지 호출 측 사실을 생산하는 플랫폼인지 확인한다. */
 export declare function isCallerPlatform(platform: unknown): platform is 'dart' | 'js';
 /** 브리지 수신 측 사실을 생산하는 플랫폼인지 확인한다. */
@@ -68,6 +129,14 @@ export declare function isReceiverPlatform(platform: unknown): platform is 'swif
 export declare function isBridgeTarget(value: unknown): value is BridgeTarget;
 /** 조인 키를 깨뜨리는 제어 문자가 없는 비어 있지 않은 문자열인지 확인한다. */
 export declare function isSafeNonEmptyString(value: unknown): value is string;
+/** 사실 위치가 상대 경로와 1부터 시작하는 줄·열을 갖는지 검증한다. */
+export declare function validateLocation(value: unknown, index: number): void;
+/** 절대·상위 경로와 제어 문자를 제외한 프로젝트 상대 경로인지 확인한다. */
+export declare function isProjectRelativePath(value: unknown): value is string;
+/** 선택 symbol의 이름과 USR이 비어 있지 않은지 검증한다. */
+export declare function validateSymbol(value: unknown, index: number): void;
+/** 교환 계약별 파서가 Objective-C 출처·경로·실제 Clang 신원 규칙을 공유한다. */
+export declare function validateSourceLanguage(value: unknown, platform: unknown, location: BridgeLocation, symbol: BridgeSymbol | undefined, index: number): void;
 /** ISO 계열 생성 시각으로 해석할 수 있는지 확인한다. */
 export declare function isBridgeTimestamp(value: unknown): value is string;
 /** 배열과 null을 제외한 JSON 객체인지 확인한다. isthmus 소유 문서 검증도 재사용한다. */