isthmus-cli 0.5.0 → 0.6.0

package/dist/report/preflight-view.d.ts

@@ -0,0 +1,146 @@
+import type { BridgeEndpoint, JoinLimitation } from '../join/join.ts';
+import { type PreflightRelation, type PreflightReport, type PreflightSubject } from './preflight.ts';
+import type { RuntimeVerificationReport } from './runtime.ts';
+/** 모든 항목 수를 보존하면서 표시 항목만 제한하는 컬렉션이다. */
+export interface PreflightBounded<T> {
+    readonly total: number;
+    readonly items: readonly T[];
+    readonly omitted: number;
+}
+/** 목록 소비자가 사용할 수 있는 작은 심볼 투영이다. */
+export type PreflightSubjectPreview = PreflightSubject;
+export interface PreflightIssuePreview {
+    readonly code: string;
+    readonly severity: 'error' | 'warning';
+    readonly channel: string;
+    readonly method?: string;
+    readonly message: string;
+}
+export interface PreflightLimitationPreview {
+    readonly code: string;
+    readonly message: string;
+    readonly analysis?: string;
+}
+export interface PreflightBridgeLimitationPreview {
+    readonly platform: JoinLimitation['platform'];
+    readonly target: JoinLimitation['target'];
+    readonly tool: string;
+    readonly message: string;
+    readonly channels?: PreflightBounded<string>;
+}
+export interface PreflightRuntimeRoutePreview {
+    readonly runId: string;
+    readonly scenario: string;
+    readonly platform: string;
+    readonly transport: string;
+    readonly channel: string;
+    readonly method?: string;
+    readonly instance?: string;
+    readonly observedCalls: number;
+    readonly staticStatus: string;
+    readonly candidateKey?: string;
+}
+export interface PreflightRuntimeCandidatePreview {
+    readonly key: string;
+    readonly channel: string;
+    readonly method?: string;
+    readonly transport?: 'basic-message-channel';
+    readonly matching?: 'literal' | 'prefix';
+    readonly handlerCount: number;
+    readonly handlersOmitted: number;
+    readonly handlers: PreflightBounded<BridgeEndpoint>;
+}
+export interface PreflightRuntimeView {
+    readonly aligned: boolean;
+    readonly verification: {
+        readonly status: string;
+        readonly scope: string;
+        readonly summary: RuntimeVerificationReport['summary'];
+        readonly declaredScenarioPlatforms: number;
+        readonly nonpassedChecks: PreflightBounded<PreflightRuntimeCheckPreview>;
+    };
+    readonly unobservedBoundaries: PreflightBounded<string>;
+    readonly uncoveredBoundaries: PreflightBounded<string>;
+    readonly routes: PreflightBounded<PreflightRuntimeRoutePreview>;
+    readonly candidates: PreflightBounded<PreflightRuntimeCandidatePreview>;
+}
+export interface PreflightRuntimeCheckPreview {
+    readonly id: string;
+    readonly scenario: string;
+    readonly platform: string;
+    readonly transport: string;
+    readonly channel: string;
+    readonly method?: string;
+    readonly instance?: string;
+    readonly status: string;
+    readonly observedCalls: number;
+}
+/** 원본 보고서를 변경하지 않고 정적·runtime 정보를 압축한 뷰다. */
+export interface PreflightSummaryView {
+    readonly format: 'isthmus-preflight-summary';
+    readonly version: 1;
+    readonly project: string;
+    readonly revision: string;
+    readonly scope: PreflightReport['scope'];
+    readonly complete: false;
+    readonly status: PreflightReport['status'];
+    readonly summary: PreflightReport['summary'];
+    readonly requiresReview: boolean;
+    readonly roots: PreflightBounded<{
+        readonly subject: PreflightSubjectPreview;
+        readonly depth: 0;
+    }>;
+    readonly affected: PreflightBounded<{
+        readonly subject: PreflightSubjectPreview;
+        readonly depth: number;
+    }>;
+    readonly reviewFiles: PreflightBounded<string>;
+    readonly issues: PreflightBounded<PreflightIssuePreview>;
+    readonly limitations: PreflightBounded<PreflightLimitationPreview>;
+    readonly bridgeLimitations: PreflightBounded<PreflightBridgeLimitationPreview>;
+    readonly messageLimitations?: PreflightBounded<PreflightBridgeLimitationPreview>;
+    readonly producers: PreflightBounded<PreflightReport['producers'][number]>;
+    readonly runtime?: PreflightRuntimeView;
+}
+interface PreflightPathStep {
+    readonly subject: PreflightSubjectPreview;
+    readonly depth: number;
+    readonly relations: PreflightBounded<PreflightRelationPreview>;
+}
+type PreflightRelationPreview = {
+    readonly kind: 'language';
+    readonly analysis: string;
+    readonly relationships: PreflightBounded<string>;
+} | Exclude<PreflightRelation, {
+    readonly kind: 'language';
+}>;
+export interface PreflightExplanationView {
+    readonly format: 'isthmus-preflight-explanation';
+    readonly version: 1;
+    readonly project: string;
+    readonly revision: string;
+    readonly scope: PreflightReport['scope'];
+    readonly complete: false;
+    readonly status: 'found' | 'notFound' | 'ambiguous';
+    readonly selector: string;
+    readonly summary: PreflightReport['summary'];
+    readonly requiresReview: boolean;
+    readonly issues: PreflightBounded<PreflightIssuePreview>;
+    readonly limitations: PreflightBounded<PreflightLimitationPreview>;
+    readonly bridgeLimitations: PreflightBounded<PreflightBridgeLimitationPreview>;
+    readonly messageLimitations?: PreflightBounded<PreflightBridgeLimitationPreview>;
+    readonly runtime?: PreflightRuntimeView;
+    readonly result?: {
+        readonly subject: PreflightSubjectPreview;
+        readonly path: readonly PreflightPathStep[];
+    };
+    readonly candidates?: PreflightBounded<{
+        readonly key: string;
+        readonly subject: PreflightSubjectPreview;
+    }>;
+}
+/** 전체 보고서에서 상태와 개수를 계산한 뒤 목록 항목만 제한한 preflight 뷰를 만든다. */
+export declare function createPreflightSummary(report: PreflightReport, limit?: number): PreflightSummaryView;
+/** 정확히 일치하는 심볼을 설명하고, 찾으면 root부터의 전체 경로를 제공한다. */
+export declare function createPreflightExplanation(report: PreflightReport, selector: string): PreflightExplanationView;
+export {};

package/dist/report/preflight-view.js

@@ -0,0 +1,189 @@
+import { compareStrings } from "../compare.js";
+import { hasPreflightBlockers, PreflightGraphError } from "./preflight.js";
+const VIEW_LIMIT = 20;
+/** 전체 보고서에서 상태와 개수를 계산한 뒤 목록 항목만 제한한 preflight 뷰를 만든다. */
+export function createPreflightSummary(report, limit = VIEW_LIMIT) {
+    assertLimit(limit);
+    const view = commonView(report, limit);
+    return {
+        format: 'isthmus-preflight-summary', version: 1,
+        project: report.project, revision: report.revision, scope: report.scope,
+        complete: false, status: report.status, summary: report.summary,
+        requiresReview: requiresReview(report),
+        roots: bounded(sortedRoots(report.roots).map((subject) => ({ subject, depth: 0 })), limit),
+        affected: bounded(sortedAffected(report.affected).map(({ subject, depth }) => ({ subject, depth })), limit),
+        ...view,
+    };
+}
+/** 정확히 일치하는 심볼을 설명하고, 찾으면 root부터의 전체 경로를 제공한다. */
+export function createPreflightExplanation(report, selector) {
+    const limit = VIEW_LIMIT;
+    const view = commonView(report, limit);
+    const subjects = allSubjects(report);
+    const matches = matchingSubjects(subjects, selector);
+    const base = {
+        format: 'isthmus-preflight-explanation', version: 1,
+        project: report.project, revision: report.revision, scope: report.scope,
+        complete: false, selector, summary: report.summary,
+        requiresReview: requiresReview(report), ...view,
+    };
+    if (matches.length === 0)
+        return { ...base, status: 'notFound' };
+    const candidates = bounded(matches.map(({ subject }) => ({ key: subject.key, subject })), limit);
+    if (matches.length !== 1)
+        return { ...base, status: 'ambiguous', candidates };
+    const target = matches[0].subject;
+    return { ...base, status: 'found', result: { subject: target, path: pathFor(report, target.key) } };
+}
+function commonView(report, limit) {
+    return {
+        reviewFiles: bounded([...report.reviewFiles].sort(compareStrings), limit),
+        issues: bounded([...report.issues].sort(compareIssues).map(issuePreview), limit),
+        limitations: bounded([...report.limitations].sort(compareLimitations).map(({ code, message, analysis }) => ({
+            code, message, ...(analysis === undefined ? {} : { analysis }),
+        })), limit),
+        bridgeLimitations: bounded([...report.bridgeLimitations].sort(compareBridgeLimitations).map((limitation) => ({
+            platform: limitation.platform, target: limitation.target, tool: limitation.tool, message: limitation.message,
+            ...(limitation.channels === undefined ? {} : { channels: bounded([...limitation.channels].sort(compareStrings), limit) }),
+        })), limit),
+        ...(report.messageLimitations === undefined ? {} : { messageLimitations: bounded([...report.messageLimitations]
+                .sort(compareBridgeLimitations).map(({ platform, target, tool, message }) => ({ platform, target, tool, message })), limit) }),
+        producers: bounded([...report.producers].sort((a, b) => compareStrings(a.analysis, b.analysis) || compareStrings(a.platform, b.platform)), limit),
+        ...(report.runtime === undefined ? {} : { runtime: runtimeView(report, limit) }),
+    };
+}
+function runtimeView(report, limit) {
+    const runtime = report.runtime;
+    const checks = runtime.verification.checks.filter(({ status }) => status !== 'passed');
+    const pairs = new Set(runtime.verification.checks.map(({ expected }) => JSON.stringify([expected.scenario, expected.platform])));
+    return {
+        aligned: runtime.aligned,
+        verification: {
+            status: runtime.verification.status, scope: runtime.verification.scope,
+            summary: runtime.verification.summary,
+            declaredScenarioPlatforms: pairs.size,
+            nonpassedChecks: bounded(checks.map(runtimeCheckPreview).sort(compareRuntimeChecks), limit),
+        },
+        unobservedBoundaries: bounded([...runtime.unobservedBoundaries].sort(compareStrings), limit),
+        uncoveredBoundaries: bounded([...runtime.uncoveredBoundaries].sort(compareStrings), limit),
+        routes: bounded(runtime.routes.map(runtimeRoutePreview).sort(compareRuntimeRoutes), limit),
+        candidates: bounded(runtime.candidates.map((candidate) => ({
+            key: candidate.key, channel: candidate.channel, ...(candidate.method === undefined ? {} : { method: candidate.method }),
+            ...(candidate.transport === undefined ? {} : { transport: candidate.transport, matching: candidate.matching }),
+            handlerCount: candidate.handlers.length + candidate.handlersOmitted, handlersOmitted: candidate.handlersOmitted,
+            handlers: { total: candidate.handlers.length + candidate.handlersOmitted,
+                items: candidate.handlers.slice(0, limit),
+                omitted: candidate.handlers.length + candidate.handlersOmitted - Math.min(candidate.handlers.length, limit) },
+        })).sort((a, b) => compareStrings(a.key, b.key)), limit),
+    };
+}
+function runtimeCheckPreview(check) {
+    const expected = check.expected;
+    return {
+        id: expected.id, scenario: expected.scenario, platform: expected.platform,
+        transport: expected.transport, channel: expected.channel,
+        ...(expected.method === undefined ? {} : { method: expected.method }),
+        ...(expected.instance === undefined ? {} : { instance: expected.instance }),
+        status: check.status, observedCalls: check.observedCalls,
+    };
+}
+function runtimeRoutePreview(route) {
+    return {
+        runId: route.runId, scenario: route.scenario, platform: route.platform, transport: route.transport,
+        channel: route.channel, ...(route.method === undefined ? {} : { method: route.method }),
+        ...(route.instance === undefined ? {} : { instance: route.instance }),
+        observedCalls: route.observedCalls, staticStatus: route.staticStatus,
+        ...(route.candidateKey === undefined ? {} : { candidateKey: route.candidateKey }),
+    };
+}
+function issuePreview(issue) {
+    const route = issue.method === undefined ? issue.channel : `${issue.channel}.${issue.method}`;
+    const message = issue.code === 'unhandled-invocation' || issue.code === 'unhandled-invocation-unverified'
+        ? `No native handler was verified for ${route}.`
+        : issue.code === 'unregistered-channel-creation' || issue.code === 'unregistered-channel-creation-unverified'
+            ? `No native registration was verified for ${route}.`
+            : issue.code === 'registration-without-creation'
+                ? `Native registration has no verified channel creation for ${route}.`
+                : `Native handler has no verified invocation for ${route}.`;
+    return {
+        code: issue.code, severity: issue.severity, channel: issue.channel,
+        ...(issue.method === undefined ? {} : { method: issue.method }), message,
+    };
+}
+function pathFor(report, targetKey) {
+    const roots = new Map(report.roots.map((subject) => [subject.key, subject]));
+    const affected = new Map(report.affected.map((item) => [item.subject.key, item]));
+    const steps = [];
+    const seen = new Set();
+    let reachedRoot = false;
+    let key = targetKey;
+    while (key !== undefined) {
+        if (seen.has(key))
+            throw new PreflightGraphError('Preflight explanation encountered a cyclic path.');
+        seen.add(key);
+        const root = roots.get(key);
+        if (root !== undefined) {
+            steps.push({ subject: root, depth: 0, relations: bounded([], VIEW_LIMIT) });
+            reachedRoot = true;
+            break;
+        }
+        const item = affected.get(key);
+        if (item === undefined)
+            throw new PreflightGraphError('Preflight explanation refers to an unknown path node.');
+        steps.push({ subject: item.subject, depth: item.depth, relations: relationPreview(item.relations, VIEW_LIMIT) });
+        key = item.via;
+    }
+    if (!reachedRoot) {
+        throw new PreflightGraphError('Preflight explanation could not find a root path.');
+    }
+    return steps.reverse();
+}
+function relationPreview(relations, limit) {
+    return bounded(relations.map((relation) => relation.kind === 'language'
+        ? { kind: 'language', analysis: relation.analysis, relationships: bounded([...relation.relationships].sort(compareStrings), limit) }
+        : relation), limit);
+}
+function allSubjects(report) {
+    const values = [...report.roots, ...report.affected.map(({ subject }) => subject)];
+    const unique = new Map();
+    values.forEach((subject, index) => { if (!unique.has(subject.key))
+        unique.set(subject.key, { subject, index }); });
+    return [...unique.values()].sort((a, b) => compareStrings(a.subject.key, b.subject.key) || a.index - b.index);
+}
+function matchingSubjects(subjects, selector) {
+    const keys = subjects.filter(({ subject }) => subject.key === selector);
+    if (keys.length > 0)
+        return keys;
+    const ids = subjects.filter(({ subject }) => subject.kind === 'symbol' && subject.symbol.id === selector);
+    if (ids.length > 0)
+        return ids;
+    return subjects.filter(({ subject }) => subject.kind === 'symbol' && subject.symbol.qualifiedName === selector);
+}
+function sortedRoots(subjects) { return [...subjects].sort((a, b) => compareStrings(a.key, b.key)); }
+function sortedAffected(affected) {
+    return [...affected].sort((a, b) => a.depth - b.depth || compareStrings(a.subject.key, b.subject.key));
+}
+function bounded(items, limit) {
+    return { total: items.length, items: items.slice(0, limit), omitted: Math.max(0, items.length - limit) };
+}
+function assertLimit(limit) {
+    if (!Number.isSafeInteger(limit) || limit < 1 || limit > 100)
+        throw new RangeError('Preflight view limit must be an integer from 1 to 100.');
+}
+function requiresReview(report) {
+    return hasPreflightBlockers(report);
+}
+function compareIssues(a, b) {
+    return compareStrings(a.code, b.code) || compareStrings(a.channel, b.channel) || compareStrings(a.method ?? '', b.method ?? '') || compareStrings(a.severity, b.severity);
+}
+function compareLimitations(a, b) {
+    return compareStrings(a.code, b.code) || compareStrings(a.analysis ?? '', b.analysis ?? '') || compareStrings(a.message, b.message);
+}
+function compareBridgeLimitations(a, b) {
+    return compareStrings(a.platform, b.platform) || compareStrings(a.target ?? '', b.target ?? '') || compareStrings(a.tool, b.tool) || compareStrings(a.message, b.message);
+}
+function compareRuntimeChecks(a, b) { return compareStrings(a.id, b.id); }
+function compareRuntimeRoutes(a, b) {
+    return compareStrings(a.runId, b.runId) || compareStrings(a.channel, b.channel) || compareStrings(a.method ?? '', b.method ?? '') || compareStrings(a.instance ?? '', b.instance ?? '');
+}
+//# sourceMappingURL=preflight-view.js.map

package/dist/report/preflight-view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"preflight-view.js","sourceRoot":"","sources":["../../src/report/preflight-view.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAA+F,MAAM,gBAAgB,CAAC;AA2IxK,MAAM,UAAU,GAAG,EAAE,CAAC;AAEtB,0DAA0D;AAC1D,MAAM,UAAU,sBAAsB,CAAC,MAAuB,EAAE,KAAK,GAAG,UAAU;IAChF,WAAW,CAAC,KAAK,CAAC,CAAC;IACnB,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,OAAO;QACL,MAAM,EAAE,2BAA2B,EAAE,OAAO,EAAE,CAAC;QAC/C,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK;QACvE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO;QAC/D,cAAc,EAAE,cAAc,CAAC,MAAM,CAAC;QACtC,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAU,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC;QACnG,QAAQ,EAAE,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC;QAC3G,GAAG,IAAI;KACR,CAAC;AACJ,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,0BAA0B,CAAC,MAAuB,EAAE,QAAgB;IAClF,MAAM,KAAK,GAAG,UAAU,CAAC;IACzB,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG;QACX,MAAM,EAAE,+BAAwC,EAAE,OAAO,EAAE,CAAU;QACrE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK;QACvE,QAAQ,EAAE,KAAc,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO;QAC3D,cAAc,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI;KAChD,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IACjE,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC9E,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;IACnC,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;AACtG,CAAC;AAED,SAAS,UAAU,CAAC,MAAuB,EAAE,KAAa;IACxD,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC;QACzE,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC;QAChF,WAAW,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1G,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;SAC/D,CAAC,CAAC,EAAE,KAAK,CAAC;QACX,iBAAiB,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC3G,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO;YAC5G,GAAG,CAAC,UAAU,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;SAC1H,CAAC,CAAC,EAAE,KAAK,CAAC;QACX,GAAG,CAAC,MAAM,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,kBAAkB,CAAC;iBAC5G,IAAI,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;QAChI,SAAS,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC;QACjJ,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;KACjF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,MAAuB,EAAE,KAAa;IACzD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAQ,CAAC;IAChC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACvF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACjI,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,YAAY,EAAE;YACZ,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,YAAY,CAAC,KAAK;YACtE,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,OAAO;YACrC,yBAAyB,EAAE,KAAK,CAAC,IAAI;YACrC,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,KAAK,CAAC;SAC5F;QACD,oBAAoB,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC;QAC5F,mBAAmB,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC;QAC1F,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,KAAK,CAAC;QAC1F,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACzD,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;YACvH,GAAG,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAS,EAAE,CAAC;YAC/G,YAAY,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC,eAAe,EAAE,eAAe,EAAE,SAAS,CAAC,eAAe;YAC/G,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC,eAAe;gBACtE,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;gBACzC,OAAO,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;SAChH,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAyB;IACpD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,OAAO;QACL,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QACzE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO;QACxD,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;QACrE,GAAG,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC3E,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa;KACzD,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAgE;IAC3F,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS;QAClG,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QACvF,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY;QACpE,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC;KAClF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAwC;IAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;IAC9F,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,KAAK,CAAC,IAAI,KAAK,iCAAiC;QACvG,CAAC,CAAC,sCAAsC,KAAK,GAAG;QAChD,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,+BAA+B,IAAI,KAAK,CAAC,IAAI,KAAK,0CAA0C;YAC3G,CAAC,CAAC,2CAA2C,KAAK,GAAG;YACrD,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,+BAA+B;gBAC9C,CAAC,CAAC,4DAA4D,KAAK,GAAG;gBACtE,CAAC,CAAC,iDAAiD,KAAK,GAAG,CAAC;IAClE,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO;QAClE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,OAAO;KACzE,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,MAAuB,EAAE,SAAiB;IACzD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,GAAG,GAAuB,SAAS,CAAC;IACxC,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,mBAAmB,CAAC,kDAAkD,CAAC,CAAC;QACrG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;YAC5E,WAAW,GAAG,IAAI,CAAC;YACnB,MAAM;QACR,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,mBAAmB,CAAC,uDAAuD,CAAC,CAAC;QAC/G,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;QACjH,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,MAAM,IAAI,mBAAmB,CAAC,mDAAmD,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,eAAe,CAAC,SAAuC,EAAE,KAAa;IAC7E,OAAO,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU;QACrE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC,EAAE;QAC7I,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,WAAW,CAAC,MAAuB;IAC1C,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACnF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwD,CAAC;IAC/E,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnH,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AAChH,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAiE,EAAE,QAAgB;IAC3G,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC;IACxE,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC;IAC1G,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAC/B,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC;AAClH,CAAC;AAED,SAAS,WAAW,CAAC,QAAqC,IAAwB,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACtJ,SAAS,cAAc,CAAC,QAAsC;IAC5D,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;AACzG,CAAC;AAED,SAAS,OAAO,CAAI,KAAmB,EAAE,KAAa;IACpD,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC;AAC3G,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG;QAAE,MAAM,IAAI,UAAU,CAAC,wDAAwD,CAAC,CAAC;AAC/I,CAAC;AAED,SAAS,cAAc,CAAC,MAAuB;IAC7C,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,aAAa,CAAC,CAAoC,EAAE,CAAoC;IAC/F,OAAO,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;AAC5K,CAAC;AACD,SAAS,kBAAkB,CAAC,CAAyC,EAAE,CAAyC;IAC9G,OAAO,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;AACtI,CAAC;AACD,SAAS,wBAAwB,CAAC,CAAiB,EAAE,CAAiB;IACpE,OAAO,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;AAC5K,CAAC;AACD,SAAS,oBAAoB,CAAC,CAA+B,EAAE,CAA+B,IAAY,OAAO,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9I,SAAS,oBAAoB,CAAC,CAA+B,EAAE,CAA+B;IAC5F,OAAO,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;AAC1L,CAAC","sourcesContent":["import { compareStrings } from '../compare.ts';\nimport type { BridgeEndpoint, JoinLimitation } from '../join/join.ts';\nimport { hasPreflightBlockers, PreflightGraphError, type PreflightAffected, type PreflightRelation, type PreflightReport, type PreflightSubject } from './preflight.ts';\nimport type { RuntimeCheckResult } from './runtime.ts';\nimport type { RuntimeVerificationReport } from './runtime.ts';\n\n/** 모든 항목 수를 보존하면서 표시 항목만 제한하는 컬렉션이다. */\nexport interface PreflightBounded<T> {\n  readonly total: number;\n  readonly items: readonly T[];\n  readonly omitted: number;\n}\n\n/** 목록 소비자가 사용할 수 있는 작은 심볼 투영이다. */\nexport type PreflightSubjectPreview = PreflightSubject;\n\nexport interface PreflightIssuePreview {\n  readonly code: string;\n  readonly severity: 'error' | 'warning';\n  readonly channel: string;\n  readonly method?: string;\n  readonly message: string;\n}\n\nexport interface PreflightLimitationPreview {\n  readonly code: string;\n  readonly message: string;\n  readonly analysis?: string;\n}\n\nexport interface PreflightBridgeLimitationPreview {\n  readonly platform: JoinLimitation['platform'];\n  readonly target: JoinLimitation['target'];\n  readonly tool: string;\n  readonly message: string;\n  readonly channels?: PreflightBounded<string>;\n}\n\nexport interface PreflightRuntimeRoutePreview {\n  readonly runId: string;\n  readonly scenario: string;\n  readonly platform: string;\n  readonly transport: string;\n  readonly channel: string;\n  readonly method?: string;\n  readonly instance?: string;\n  readonly observedCalls: number;\n  readonly staticStatus: string;\n  readonly candidateKey?: string;\n}\n\nexport interface PreflightRuntimeCandidatePreview {\n  readonly key: string;\n  readonly channel: string;\n  readonly method?: string;\n  readonly transport?: 'basic-message-channel';\n  readonly matching?: 'literal' | 'prefix';\n  readonly handlerCount: number;\n  readonly handlersOmitted: number;\n  readonly handlers: PreflightBounded<BridgeEndpoint>;\n}\n\nexport interface PreflightRuntimeView {\n  readonly aligned: boolean;\n  readonly verification: {\n    readonly status: string;\n    readonly scope: string;\n    readonly summary: RuntimeVerificationReport['summary'];\n    readonly declaredScenarioPlatforms: number;\n    readonly nonpassedChecks: PreflightBounded<PreflightRuntimeCheckPreview>;\n  };\n  readonly unobservedBoundaries: PreflightBounded<string>;\n  readonly uncoveredBoundaries: PreflightBounded<string>;\n  readonly routes: PreflightBounded<PreflightRuntimeRoutePreview>;\n  readonly candidates: PreflightBounded<PreflightRuntimeCandidatePreview>;\n}\n\nexport interface PreflightRuntimeCheckPreview {\n  readonly id: string;\n  readonly scenario: string;\n  readonly platform: string;\n  readonly transport: string;\n  readonly channel: string;\n  readonly method?: string;\n  readonly instance?: string;\n  readonly status: string;\n  readonly observedCalls: number;\n}\n\n/** 원본 보고서를 변경하지 않고 정적·runtime 정보를 압축한 뷰다. */\nexport interface PreflightSummaryView {\n  readonly format: 'isthmus-preflight-summary';\n  readonly version: 1;\n  readonly project: string;\n  readonly revision: string;\n  readonly scope: PreflightReport['scope'];\n  readonly complete: false;\n  readonly status: PreflightReport['status'];\n  readonly summary: PreflightReport['summary'];\n  readonly requiresReview: boolean;\n  readonly roots: PreflightBounded<{ readonly subject: PreflightSubjectPreview; readonly depth: 0 }>;\n  readonly affected: PreflightBounded<{ readonly subject: PreflightSubjectPreview; readonly depth: number }>;\n  readonly reviewFiles: PreflightBounded<string>;\n  readonly issues: PreflightBounded<PreflightIssuePreview>;\n  readonly limitations: PreflightBounded<PreflightLimitationPreview>;\n  readonly bridgeLimitations: PreflightBounded<PreflightBridgeLimitationPreview>;\n  readonly messageLimitations?: PreflightBounded<PreflightBridgeLimitationPreview>;\n  readonly producers: PreflightBounded<PreflightReport['producers'][number]>;\n  readonly runtime?: PreflightRuntimeView;\n}\n\ninterface PreflightPathStep {\n  readonly subject: PreflightSubjectPreview;\n  readonly depth: number;\n  readonly relations: PreflightBounded<PreflightRelationPreview>;\n}\n\ntype PreflightRelationPreview =\n  | { readonly kind: 'language'; readonly analysis: string; readonly relationships: PreflightBounded<string> }\n  | Exclude<PreflightRelation, { readonly kind: 'language' }>;\n\nexport interface PreflightExplanationView {\n  readonly format: 'isthmus-preflight-explanation';\n  readonly version: 1;\n  readonly project: string;\n  readonly revision: string;\n  readonly scope: PreflightReport['scope'];\n  readonly complete: false;\n  readonly status: 'found' | 'notFound' | 'ambiguous';\n  readonly selector: string;\n  readonly summary: PreflightReport['summary'];\n  readonly requiresReview: boolean;\n  readonly issues: PreflightBounded<PreflightIssuePreview>;\n  readonly limitations: PreflightBounded<PreflightLimitationPreview>;\n  readonly bridgeLimitations: PreflightBounded<PreflightBridgeLimitationPreview>;\n  readonly messageLimitations?: PreflightBounded<PreflightBridgeLimitationPreview>;\n  readonly runtime?: PreflightRuntimeView;\n  readonly result?: { readonly subject: PreflightSubjectPreview; readonly path: readonly PreflightPathStep[] };\n  readonly candidates?: PreflightBounded<{ readonly key: string; readonly subject: PreflightSubjectPreview }>;\n}\n\nconst VIEW_LIMIT = 20;\n\n/** 전체 보고서에서 상태와 개수를 계산한 뒤 목록 항목만 제한한 preflight 뷰를 만든다. */\nexport function createPreflightSummary(report: PreflightReport, limit = VIEW_LIMIT): PreflightSummaryView {\n  assertLimit(limit);\n  const view = commonView(report, limit);\n  return {\n    format: 'isthmus-preflight-summary', version: 1,\n    project: report.project, revision: report.revision, scope: report.scope,\n    complete: false, status: report.status, summary: report.summary,\n    requiresReview: requiresReview(report),\n    roots: bounded(sortedRoots(report.roots).map((subject) => ({ subject, depth: 0 as const })), limit),\n    affected: bounded(sortedAffected(report.affected).map(({ subject, depth }) => ({ subject, depth })), limit),\n    ...view,\n  };\n}\n\n/** 정확히 일치하는 심볼을 설명하고, 찾으면 root부터의 전체 경로를 제공한다. */\nexport function createPreflightExplanation(report: PreflightReport, selector: string): PreflightExplanationView {\n  const limit = VIEW_LIMIT;\n  const view = commonView(report, limit);\n  const subjects = allSubjects(report);\n  const matches = matchingSubjects(subjects, selector);\n  const base = {\n    format: 'isthmus-preflight-explanation' as const, version: 1 as const,\n    project: report.project, revision: report.revision, scope: report.scope,\n    complete: false as const, selector, summary: report.summary,\n    requiresReview: requiresReview(report), ...view,\n  };\n  if (matches.length === 0) return { ...base, status: 'notFound' };\n  const candidates = bounded(matches.map(({ subject }) => ({ key: subject.key, subject })), limit);\n  if (matches.length !== 1) return { ...base, status: 'ambiguous', candidates };\n  const target = matches[0]!.subject;\n  return { ...base, status: 'found', result: { subject: target, path: pathFor(report, target.key) } };\n}\n\nfunction commonView(report: PreflightReport, limit: number): Pick<PreflightSummaryView, 'reviewFiles' | 'issues' | 'limitations' | 'bridgeLimitations' | 'messageLimitations' | 'producers' | 'runtime'> {\n  return {\n    reviewFiles: bounded([...report.reviewFiles].sort(compareStrings), limit),\n    issues: bounded([...report.issues].sort(compareIssues).map(issuePreview), limit),\n    limitations: bounded([...report.limitations].sort(compareLimitations).map(({ code, message, analysis }) => ({\n      code, message, ...(analysis === undefined ? {} : { analysis }),\n    })), limit),\n    bridgeLimitations: bounded([...report.bridgeLimitations].sort(compareBridgeLimitations).map((limitation) => ({\n      platform: limitation.platform, target: limitation.target, tool: limitation.tool, message: limitation.message,\n      ...(limitation.channels === undefined ? {} : { channels: bounded([...limitation.channels].sort(compareStrings), limit) }),\n    })), limit),\n    ...(report.messageLimitations === undefined ? {} : { messageLimitations: bounded([...report.messageLimitations]\n      .sort(compareBridgeLimitations).map(({ platform, target, tool, message }) => ({ platform, target, tool, message })), limit) }),\n    producers: bounded([...report.producers].sort((a, b) => compareStrings(a.analysis, b.analysis) || compareStrings(a.platform, b.platform)), limit),\n    ...(report.runtime === undefined ? {} : { runtime: runtimeView(report, limit) }),\n  };\n}\n\nfunction runtimeView(report: PreflightReport, limit: number): PreflightRuntimeView {\n  const runtime = report.runtime!;\n  const checks = runtime.verification.checks.filter(({ status }) => status !== 'passed');\n  const pairs = new Set(runtime.verification.checks.map(({ expected }) => JSON.stringify([expected.scenario, expected.platform])));\n  return {\n    aligned: runtime.aligned,\n    verification: {\n      status: runtime.verification.status, scope: runtime.verification.scope,\n      summary: runtime.verification.summary,\n      declaredScenarioPlatforms: pairs.size,\n      nonpassedChecks: bounded(checks.map(runtimeCheckPreview).sort(compareRuntimeChecks), limit),\n    },\n    unobservedBoundaries: bounded([...runtime.unobservedBoundaries].sort(compareStrings), limit),\n    uncoveredBoundaries: bounded([...runtime.uncoveredBoundaries].sort(compareStrings), limit),\n    routes: bounded(runtime.routes.map(runtimeRoutePreview).sort(compareRuntimeRoutes), limit),\n    candidates: bounded(runtime.candidates.map((candidate) => ({\n      key: candidate.key, channel: candidate.channel, ...(candidate.method === undefined ? {} : { method: candidate.method }),\n      ...(candidate.transport === undefined ? {} : { transport: candidate.transport, matching: candidate.matching! }),\n      handlerCount: candidate.handlers.length + candidate.handlersOmitted, handlersOmitted: candidate.handlersOmitted,\n      handlers: { total: candidate.handlers.length + candidate.handlersOmitted,\n        items: candidate.handlers.slice(0, limit),\n        omitted: candidate.handlers.length + candidate.handlersOmitted - Math.min(candidate.handlers.length, limit) },\n    })).sort((a, b) => compareStrings(a.key, b.key)), limit),\n  };\n}\n\nfunction runtimeCheckPreview(check: RuntimeCheckResult): PreflightRuntimeCheckPreview {\n  const expected = check.expected;\n  return {\n    id: expected.id, scenario: expected.scenario, platform: expected.platform,\n    transport: expected.transport, channel: expected.channel,\n    ...(expected.method === undefined ? {} : { method: expected.method }),\n    ...(expected.instance === undefined ? {} : { instance: expected.instance }),\n    status: check.status, observedCalls: check.observedCalls,\n  };\n}\n\nfunction runtimeRoutePreview(route: NonNullable<PreflightReport['runtime']>['routes'][number]): PreflightRuntimeRoutePreview {\n  return {\n    runId: route.runId, scenario: route.scenario, platform: route.platform, transport: route.transport,\n    channel: route.channel, ...(route.method === undefined ? {} : { method: route.method }),\n    ...(route.instance === undefined ? {} : { instance: route.instance }),\n    observedCalls: route.observedCalls, staticStatus: route.staticStatus,\n    ...(route.candidateKey === undefined ? {} : { candidateKey: route.candidateKey }),\n  };\n}\n\nfunction issuePreview(issue: PreflightReport['issues'][number]): PreflightIssuePreview {\n  const route = issue.method === undefined ? issue.channel : `${issue.channel}.${issue.method}`;\n  const message = issue.code === 'unhandled-invocation' || issue.code === 'unhandled-invocation-unverified'\n    ? `No native handler was verified for ${route}.`\n    : issue.code === 'unregistered-channel-creation' || issue.code === 'unregistered-channel-creation-unverified'\n      ? `No native registration was verified for ${route}.`\n      : issue.code === 'registration-without-creation'\n        ? `Native registration has no verified channel creation for ${route}.`\n        : `Native handler has no verified invocation for ${route}.`;\n  return {\n    code: issue.code, severity: issue.severity, channel: issue.channel,\n    ...(issue.method === undefined ? {} : { method: issue.method }), message,\n  };\n}\n\nfunction pathFor(report: PreflightReport, targetKey: string): PreflightPathStep[] {\n  const roots = new Map(report.roots.map((subject) => [subject.key, subject]));\n  const affected = new Map(report.affected.map((item) => [item.subject.key, item]));\n  const steps: PreflightPathStep[] = [];\n  const seen = new Set<string>();\n  let reachedRoot = false;\n  let key: string | undefined = targetKey;\n  while (key !== undefined) {\n    if (seen.has(key)) throw new PreflightGraphError('Preflight explanation encountered a cyclic path.');\n    seen.add(key);\n    const root = roots.get(key);\n    if (root !== undefined) {\n      steps.push({ subject: root, depth: 0, relations: bounded([], VIEW_LIMIT) });\n      reachedRoot = true;\n      break;\n    }\n    const item = affected.get(key);\n    if (item === undefined) throw new PreflightGraphError('Preflight explanation refers to an unknown path node.');\n    steps.push({ subject: item.subject, depth: item.depth, relations: relationPreview(item.relations, VIEW_LIMIT) });\n    key = item.via;\n  }\n  if (!reachedRoot) {\n    throw new PreflightGraphError('Preflight explanation could not find a root path.');\n  }\n  return steps.reverse();\n}\n\nfunction relationPreview(relations: readonly PreflightRelation[], limit: number): PreflightBounded<PreflightRelationPreview> {\n  return bounded(relations.map((relation) => relation.kind === 'language'\n    ? { kind: 'language' as const, analysis: relation.analysis, relationships: bounded([...relation.relationships].sort(compareStrings), limit) }\n    : relation), limit);\n}\n\nfunction allSubjects(report: PreflightReport): Array<{ subject: PreflightSubject; index: number }> {\n  const values = [...report.roots, ...report.affected.map(({ subject }) => subject)];\n  const unique = new Map<string, { subject: PreflightSubject; index: number }>();\n  values.forEach((subject, index) => { if (!unique.has(subject.key)) unique.set(subject.key, { subject, index }); });\n  return [...unique.values()].sort((a, b) => compareStrings(a.subject.key, b.subject.key) || a.index - b.index);\n}\n\nfunction matchingSubjects(subjects: readonly { subject: PreflightSubject; index: number }[], selector: string): Array<{ subject: PreflightSubject; index: number }> {\n  const keys = subjects.filter(({ subject }) => subject.key === selector);\n  if (keys.length > 0) return keys;\n  const ids = subjects.filter(({ subject }) => subject.kind === 'symbol' && subject.symbol.id === selector);\n  if (ids.length > 0) return ids;\n  return subjects.filter(({ subject }) => subject.kind === 'symbol' && subject.symbol.qualifiedName === selector);\n}\n\nfunction sortedRoots(subjects: readonly PreflightSubject[]): PreflightSubject[] { return [...subjects].sort((a, b) => compareStrings(a.key, b.key)); }\nfunction sortedAffected(affected: readonly PreflightAffected[]): PreflightAffected[] {\n  return [...affected].sort((a, b) => a.depth - b.depth || compareStrings(a.subject.key, b.subject.key));\n}\n\nfunction bounded<T>(items: readonly T[], limit: number): PreflightBounded<T> {\n  return { total: items.length, items: items.slice(0, limit), omitted: Math.max(0, items.length - limit) };\n}\n\nfunction assertLimit(limit: number): asserts limit is number {\n  if (!Number.isSafeInteger(limit) || limit < 1 || limit > 100) throw new RangeError('Preflight view limit must be an integer from 1 to 100.');\n}\n\nfunction requiresReview(report: PreflightReport): boolean {\n  return hasPreflightBlockers(report);\n}\n\nfunction compareIssues(a: PreflightReport['issues'][number], b: PreflightReport['issues'][number]): number {\n  return compareStrings(a.code, b.code) || compareStrings(a.channel, b.channel) || compareStrings(a.method ?? '', b.method ?? '') || compareStrings(a.severity, b.severity);\n}\nfunction compareLimitations(a: PreflightReport['limitations'][number], b: PreflightReport['limitations'][number]): number {\n  return compareStrings(a.code, b.code) || compareStrings(a.analysis ?? '', b.analysis ?? '') || compareStrings(a.message, b.message);\n}\nfunction compareBridgeLimitations(a: JoinLimitation, b: JoinLimitation): number {\n  return compareStrings(a.platform, b.platform) || compareStrings(a.target ?? '', b.target ?? '') || compareStrings(a.tool, b.tool) || compareStrings(a.message, b.message);\n}\nfunction compareRuntimeChecks(a: PreflightRuntimeCheckPreview, b: PreflightRuntimeCheckPreview): number { return compareStrings(a.id, b.id); }\nfunction compareRuntimeRoutes(a: PreflightRuntimeRoutePreview, b: PreflightRuntimeRoutePreview): number {\n  return compareStrings(a.runId, b.runId) || compareStrings(a.channel, b.channel) || compareStrings(a.method ?? '', b.method ?? '') || compareStrings(a.instance ?? '', b.instance ?? '');\n}\n"]}

package/dist/report/preflight.d.ts

@@ -0,0 +1,104 @@
+import type { ImpactSymbol, PreflightContext } from '../exchange/preflight-context.ts';
+import type { BridgeEndpoint, JoinLimitation } from '../join/join.ts';
+import type { BridgeTarget } from '../exchange/parse.ts';
+import type { CheckIssue } from './check-report.ts';
+import type { PreflightRuntimeReport } from './preflight-runtime.ts';
+import type { BridgeHandlerDependency } from '../exchange/messages.ts';
+import type { BridgeSymbol } from '../exchange/parse.ts';
+type Language = 'dart' | 'swift' | 'kotlin';
+/** 언어 심볼과 경계의 키 공간을 분리한다. 원래 producer ID는 symbol.id에 보존한다. */
+export type PreflightSubject = {
+    readonly key: string;
+    readonly kind: 'symbol';
+    readonly platform: Language;
+    readonly symbol: ImpactSymbol;
+} | {
+    readonly key: string;
+    readonly kind: 'bridge';
+    readonly target: BridgeTarget;
+    readonly channel: string;
+    readonly method?: string;
+    readonly transport?: 'basic-message-channel';
+    readonly matching?: 'literal' | 'prefix';
+};
+/** 실제 producer 사용 관계와 문자열 브리지 관계를 서로 다른 근거로 표시한다. */
+export type PreflightRelation = {
+    readonly kind: 'language';
+    readonly analysis: string;
+    readonly relationships: readonly string[];
+} | {
+    readonly kind: 'bridge-message-dependency';
+    readonly evidence: BridgeEndpoint;
+    readonly dependency: Omit<BridgeHandlerDependency, 'dispatchTargets'>;
+    readonly dispatchTarget?: BridgeSymbol;
+} | {
+    readonly kind: 'bridge-handler' | 'bridge-registration' | 'bridge-invocation' | 'bridge-creation' | 'bridge-message-send' | 'bridge-message-handler';
+    readonly evidence: BridgeEndpoint;
+};
+/** 가장 가까운 변경 씨앗까지의 선행 정점을 공유해 긴 경로 복사를 피한다. */
+export interface PreflightAffected {
+    readonly subject: PreflightSubject;
+    readonly depth: number;
+    readonly via: string;
+    readonly relations: readonly PreflightRelation[];
+}
+/** 근거를 연결할 수 없는 부분과 발생 위치다. */
+export interface PreflightLimitation {
+    readonly code: string;
+    readonly message: string;
+    readonly analysis?: string;
+    readonly evidence?: BridgeEndpoint;
+}
+/** 언어별 영향 투영과 브리지 관계를 연결한 사전 검토 문서다. */
+export interface PreflightReport {
+    readonly format: 'isthmus-preflight';
+    readonly version: 1;
+    readonly project: string;
+    readonly revision: string;
+    readonly scope: 'cross-language-impact';
+    readonly complete: false;
+    readonly status: 'observed' | 'unobserved' | 'noChanges';
+    readonly selection: PreflightContext['selection'];
+    readonly roots: readonly PreflightSubject[];
+    readonly affected: readonly PreflightAffected[];
+    readonly boundaries: readonly {
+        subject: Extract<PreflightSubject, {
+            kind: 'bridge';
+        }>;
+        relationship: 'consumer' | 'dependency';
+        callers: readonly BridgeEndpoint[];
+        receivers: readonly BridgeEndpoint[];
+    }[];
+    readonly reviewFiles: readonly string[];
+    readonly issues: readonly CheckIssue[];
+    readonly limitations: readonly PreflightLimitation[];
+    readonly bridgeLimitations: readonly JoinLimitation[];
+    readonly messageLimitations?: readonly JoinLimitation[];
+    readonly runtime?: PreflightRuntimeReport;
+    readonly producers: ReadonlyArray<{
+        analysis: string;
+        platform: Language;
+        tool: {
+            name: string;
+            version: string;
+        };
+        truncated: boolean;
+    }>;
+    readonly summary: {
+        selectedSymbols: number;
+        affectedSymbols: number;
+        bridgeBoundaries: number;
+        reviewFiles: number;
+        errors: number;
+        warnings: number;
+        evidenceGaps: number;
+    };
+}
+/** 잘못된 그래프 투영과 자원 상한 초과를 입력 값 없이 구분한다. */
+export declare class PreflightGraphError extends Error {
+}
+/** 전체 언어 그래프가 아닌 producer의 영향 숲을 경계에서 연결한다. */
+export declare function createPreflightReport(context: PreflightContext): PreflightReport;
+/** 관찰된 영향과 "영향 없음"의 보증을 구분하며 관련 공백은 CI 검토를 요구한다. */
+export declare function hasPreflightBlockers(report: PreflightReport): boolean;
+export {};