isthmus-cli 0.5.0 → 0.6.0

package/dist/cli/main.js

@@ -5,6 +5,9 @@ import { checkUsage, runCheckCommand } from "./check-command.js";
 import { graphUsage, runGraphCommand } from "./graph-command.js";
 import { diffUsage, runDiffCommand } from "./diff-command.js";
 import { queryUsage, runQueryCommand } from "./query-command.js";
+import { impactUsage, runImpactCommand } from "./impact-command.js";
+import { runtimeUsage, runRuntimeCommand } from "./runtime-command.js";
+import { preflightUsage, runPreflightCommand } from "./preflight-command.js";
 import { retentionUsage, runRetentionsCommand, } from "./retentions-command.js";
 process.stdout.on('error', handleStreamError);
 process.stderr.on('error', handleStreamError);
@@ -13,6 +16,9 @@ const commandUsages = new Map([
     ['graph', graphUsage],
     ['diff', diffUsage],
     ['query', queryUsage],
+    ['impact', impactUsage],
+    ['preflight', preflightUsage],
+    ['verify-runtime', runtimeUsage],
     ['retentions', retentionUsage],
 ]);
 const rootHelp = `Usage: isthmus <command> [options]
@@ -20,6 +26,9 @@ const rootHelp = `Usage: isthmus <command> [options]
 Commands:
   check        Report unmatched bridge calls and handlers
   query        Find both sides of a channel or method
+  impact       Inspect bridge dependencies before changing files or symbols
+  preflight    Trace cross-language impact from producer analysis context
+  verify-runtime  Verify recorded calls against scenario expectations
   graph        Render matched boundary edges
   diff         Compare bridge observations before and after a change
   retentions   Produce external retention evidence
@@ -81,6 +90,12 @@ async function dispatchCommand(commandArguments) {
             return runDiffCommand(commandArguments, readTextFile);
         case 'query':
             return runQueryCommand(commandArguments, readTextFile);
+        case 'impact':
+            return runImpactCommand(commandArguments, readTextFile);
+        case 'preflight':
+            return runPreflightCommand(commandArguments, readTextFile);
+        case 'verify-runtime':
+            return runRuntimeCommand(commandArguments, readTextFile);
         case 'retentions': {
             const version = await readPackageVersion();
             return version === undefined

package/dist/cli/main.js.map

@@ -1 +1 @@
-{"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":";AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEjE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EACL,cAAc,EACd,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;AAC9C,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;AAE9C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,CAAC,OAAO,EAAE,UAAU,CAAC;IACrB,CAAC,OAAO,EAAE,UAAU,CAAC;IACrB,CAAC,MAAM,EAAE,SAAS,CAAC;IACnB,CAAC,OAAO,EAAE,UAAU,CAAC;IACrB,CAAC,YAAY,EAAE,cAAc,CAAC;CAC/B,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG;;;;;;;;;;;;;CAahB,CAAC;AAEF,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACzC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC9D,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CACnD,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAClC,MAAM,mBAAmB,GAAG,MAAM,uBAAuB,CAAC,UAAU,CAAC,CAAC;AACtE,MAAM,MAAM,GAAG,mBAAmB,IAAI,MAAM,eAAe,CAAC,UAAU,CAAC,CAAC;AAExE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;AAC5C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;AAC3C,OAAO,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;AAEnC,sCAAsC;AACtC,SAAS,iBAAiB,CAAC,KAA4B;IACrD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO;IACT,CAAC;IACD,MAAM,KAAK,CAAC;AACd,CAAC;AAED,uCAAuC;AACvC,KAAK,UAAU,uBAAuB,CACpC,gBAAmC;IAEnC,+CAA+C;IAC/C,MAAM,aAAa,GAAG,gBAAgB,CAAC,SAAS,CAC9C,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,CACzD,CAAC;IACF,IAAI,aAAa,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,gBAAgB,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QACnC,OAAO,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,IACE,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAC7B,gBAAgB,CAAC,CAAC,CAAC,KAAK,WAAW,EACnC,CAAC;QACD,OAAO,WAAW,EAAE,CAAC;IACvB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,wCAAwC;AACxC,SAAS,WAAW,CAAC,OAA2B;IAC9C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC;QAC1B,CAAC,CAAC,cAAc,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,6BAA6B;AAC7B,KAAK,UAAU,eAAe,CAC5B,gBAAmC;IAEnC,QAAQ,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5B,KAAK,OAAO;YACV,mDAAmD;YACnD,OAAO,eAAe,CACpB,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,SAAS,EACT,MAAM,kBAAkB,EAAE,CAC3B,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,eAAe,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QACzD,KAAK,MAAM;YACT,OAAO,cAAc,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QACxD,KAAK,OAAO;YACV,OAAO,eAAe,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QACzD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,MAAM,kBAAkB,EAAE,CAAC;YAC3C,OAAO,OAAO,KAAK,SAAS;gBAC1B,CAAC,CAAC,oBAAoB,EAAE;gBACxB,CAAC,CAAC,oBAAoB,CAClB,gBAAgB,EAChB,YAAY,EACZ,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,EAChB,OAAO,CACR,CAAC;QACR,CAAC;QACD;YACE,OAAO;gBACL,cAAc,EAAE,EAAE;gBAClB,aAAa,EAAE,QAAQ;gBACvB,QAAQ,EAAE,EAAE;aACb,CAAC;IACN,CAAC;AACH,CAAC;AAED,6CAA6C;AAC7C,KAAK,UAAU,WAAW;IACxB,MAAM,OAAO,GAAG,MAAM,kBAAkB,EAAE,CAAC;IAC3C,OAAO,OAAO,KAAK,SAAS;QAC1B,CAAC,CAAC,oBAAoB,EAAE;QACxB,CAAC,CAAC,cAAc,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC;AACrC,CAAC;AAED,0CAA0C;AAC1C,KAAK,UAAU,kBAAkB;IAC/B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QACpF,MAAM,QAAQ,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,iDAAiD;AACjD,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,SAAS,IAAI,KAAK;QAClB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QACjC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CACzB,CAAC;AACJ,CAAC;AAED,iCAAiC;AACjC,SAAS,cAAc,CAAC,cAAsB;IAC5C,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,8CAA8C;AAC9C,SAAS,oBAAoB;IAC3B,OAAO;QACL,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,oCAAoC;QACnD,QAAQ,EAAE,CAAC;KACZ,CAAC;AACJ,CAAC","sourcesContent":["#!/usr/bin/env node\n\nimport { readFile } from 'node:fs/promises';\n\nimport { writeTextAtomically } from './atomic-write.ts';\nimport { checkUsage, runCheckCommand } from './check-command.ts';\nimport type { CommandResult } from './command-support.ts';\nimport { graphUsage, runGraphCommand } from './graph-command.ts';\nimport { diffUsage, runDiffCommand } from './diff-command.ts';\nimport { queryUsage, runQueryCommand } from './query-command.ts';\nimport {\n  retentionUsage,\n  runRetentionsCommand,\n} from './retentions-command.ts';\n\nprocess.stdout.on('error', handleStreamError);\nprocess.stderr.on('error', handleStreamError);\n\nconst commandUsages = new Map([\n  ['check', checkUsage],\n  ['graph', graphUsage],\n  ['diff', diffUsage],\n  ['query', queryUsage],\n  ['retentions', retentionUsage],\n]);\n\nconst rootHelp = `Usage: isthmus <command> [options]\n\nCommands:\n  check        Report unmatched bridge calls and handlers\n  query        Find both sides of a channel or method\n  graph        Render matched boundary edges\n  diff         Compare bridge observations before and after a change\n  retentions   Produce external retention evidence\n  help         Show command help\n\nOptions:\n  -h, --help   Show help; after a command it shows that command's usage\n  --version    Show version\n`;\n\nconst arguments_ = process.argv.slice(2);\nconst readTextFile = (path: string) => readFile(path, 'utf8');\nconst writeTextFile = (path: string, text: string) =>\n  writeTextAtomically(path, text);\nconst informationalResult = await runInformationalCommand(arguments_);\nconst result = informationalResult ?? await dispatchCommand(arguments_);\n\nprocess.stdout.write(result.standardOutput);\nprocess.stderr.write(result.standardError);\nprocess.exitCode = result.exitCode;\n\n/** 파이프 소비자가 먼저 닫힌 정상 상황만 조용히 종료한다. */\nfunction handleStreamError(error: NodeJS.ErrnoException): void {\n  if (error.code === 'EPIPE') {\n    process.exitCode = 0;\n    return;\n  }\n  throw error;\n}\n\n/** 도움말과 버전처럼 입력 문서가 필요 없는 명령을 실행한다. */\nasync function runInformationalCommand(\n  commandArguments: readonly string[],\n): Promise<CommandResult | undefined> {\n  // 도움말 플래그는 어느 위치에 있든 이긴다. 긴 호출 끝에 붙여도 사용법을 본다.\n  const helpFlagIndex = commandArguments.findIndex(\n    (argument) => argument === '--help' || argument === '-h',\n  );\n  if (helpFlagIndex >= 0) return commandHelp(commandArguments[0]);\n  if (commandArguments[0] === 'help') {\n    return commandHelp(commandArguments[1]);\n  }\n  if (\n    commandArguments.length === 1 &&\n    commandArguments[0] === '--version'\n  ) {\n    return readVersion();\n  }\n  return undefined;\n}\n\n/** 명령 이름에 맞는 사용법을, 모르면 루트 도움말을 돌려준다. */\nfunction commandHelp(command: string | undefined): CommandResult {\n  if (command === undefined) return successfulText(rootHelp);\n  const usage = commandUsages.get(command);\n  return usage === undefined\n    ? successfulText(rootHelp)\n    : successfulText(`${usage}\\n`);\n}\n\n/** 알려진 분석 하위 명령으로만 라우팅한다. */\nasync function dispatchCommand(\n  commandArguments: readonly string[],\n): Promise<CommandResult> {\n  switch (commandArguments[0]) {\n    case 'check':\n      // SARIF driver에만 필요하므로 메타데이터 부재는 json 보고서를 막지 않는다.\n      return runCheckCommand(\n        commandArguments,\n        readTextFile,\n        writeTextFile,\n        undefined,\n        await readPackageVersion(),\n      );\n    case 'graph':\n      return runGraphCommand(commandArguments, readTextFile);\n    case 'diff':\n      return runDiffCommand(commandArguments, readTextFile);\n    case 'query':\n      return runQueryCommand(commandArguments, readTextFile);\n    case 'retentions': {\n      const version = await readPackageVersion();\n      return version === undefined\n        ? packageMetadataError()\n        : runRetentionsCommand(\n            commandArguments,\n            readTextFile,\n            () => new Date(),\n            version,\n          );\n    }\n    default:\n      return {\n        standardOutput: '',\n        standardError: rootHelp,\n        exitCode: 64,\n      };\n  }\n}\n\n/** 설치된 package.json을 단일 출처로 사용해 버전을 출력한다. */\nasync function readVersion(): Promise<CommandResult> {\n  const version = await readPackageVersion();\n  return version === undefined\n    ? packageMetadataError()\n    : successfulText(`${version}\\n`);\n}\n\n/** 설치된 package.json에서 검증된 버전 문자열을 읽는다. */\nasync function readPackageVersion(): Promise<string | undefined> {\n  try {\n    const text = await readFile(new URL('../../package.json', import.meta.url), 'utf8');\n    const document: unknown = JSON.parse(text);\n    return isVersionDocument(document) ? document.version : undefined;\n  } catch {\n    return undefined;\n  }\n}\n\n/** package metadata가 비어 있지 않은 버전을 제공하는지 확인한다. */\nfunction isVersionDocument(value: unknown): value is { readonly version: string } {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'version' in value &&\n    typeof value.version === 'string' &&\n    value.version.length > 0\n  );\n}\n\n/** stdout 텍스트와 성공 종료 코드를 만든다. */\nfunction successfulText(standardOutput: string): CommandResult {\n  return { standardOutput, standardError: '', exitCode: 0 };\n}\n\n/** package metadata 실패를 민감정보 없는 코드 2로 바꾼다. */\nfunction packageMetadataError(): CommandResult {\n  return {\n    standardOutput: '',\n    standardError: 'Unable to read package metadata.\\n',\n    exitCode: 2,\n  };\n}\n"]}
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":";AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEjE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EACL,cAAc,EACd,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;AAC9C,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;AAE9C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,CAAC,OAAO,EAAE,UAAU,CAAC;IACrB,CAAC,OAAO,EAAE,UAAU,CAAC;IACrB,CAAC,MAAM,EAAE,SAAS,CAAC;IACnB,CAAC,OAAO,EAAE,UAAU,CAAC;IACrB,CAAC,QAAQ,EAAE,WAAW,CAAC;IACvB,CAAC,WAAW,EAAE,cAAc,CAAC;IAC7B,CAAC,gBAAgB,EAAE,YAAY,CAAC;IAChC,CAAC,YAAY,EAAE,cAAc,CAAC;CAC/B,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG;;;;;;;;;;;;;;;;CAgBhB,CAAC;AAEF,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACzC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC9D,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CACnD,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAClC,MAAM,mBAAmB,GAAG,MAAM,uBAAuB,CAAC,UAAU,CAAC,CAAC;AACtE,MAAM,MAAM,GAAG,mBAAmB,IAAI,MAAM,eAAe,CAAC,UAAU,CAAC,CAAC;AAExE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;AAC5C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;AAC3C,OAAO,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;AAEnC,sCAAsC;AACtC,SAAS,iBAAiB,CAAC,KAA4B;IACrD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO;IACT,CAAC;IACD,MAAM,KAAK,CAAC;AACd,CAAC;AAED,uCAAuC;AACvC,KAAK,UAAU,uBAAuB,CACpC,gBAAmC;IAEnC,+CAA+C;IAC/C,MAAM,aAAa,GAAG,gBAAgB,CAAC,SAAS,CAC9C,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,CACzD,CAAC;IACF,IAAI,aAAa,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,gBAAgB,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QACnC,OAAO,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,IACE,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAC7B,gBAAgB,CAAC,CAAC,CAAC,KAAK,WAAW,EACnC,CAAC;QACD,OAAO,WAAW,EAAE,CAAC;IACvB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,wCAAwC;AACxC,SAAS,WAAW,CAAC,OAA2B;IAC9C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC;QAC1B,CAAC,CAAC,cAAc,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,6BAA6B;AAC7B,KAAK,UAAU,eAAe,CAC5B,gBAAmC;IAEnC,QAAQ,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5B,KAAK,OAAO;YACV,mDAAmD;YACnD,OAAO,eAAe,CACpB,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,SAAS,EACT,MAAM,kBAAkB,EAAE,CAC3B,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,eAAe,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QACzD,KAAK,MAAM;YACT,OAAO,cAAc,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QACxD,KAAK,OAAO;YACV,OAAO,eAAe,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QACzD,KAAK,QAAQ;YACX,OAAO,gBAAgB,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QAC1D,KAAK,WAAW;YACd,OAAO,mBAAmB,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QAC7D,KAAK,gBAAgB;YACnB,OAAO,iBAAiB,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QAC3D,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,MAAM,kBAAkB,EAAE,CAAC;YAC3C,OAAO,OAAO,KAAK,SAAS;gBAC1B,CAAC,CAAC,oBAAoB,EAAE;gBACxB,CAAC,CAAC,oBAAoB,CAClB,gBAAgB,EAChB,YAAY,EACZ,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,EAChB,OAAO,CACR,CAAC;QACR,CAAC;QACD;YACE,OAAO;gBACL,cAAc,EAAE,EAAE;gBAClB,aAAa,EAAE,QAAQ;gBACvB,QAAQ,EAAE,EAAE;aACb,CAAC;IACN,CAAC;AACH,CAAC;AAED,6CAA6C;AAC7C,KAAK,UAAU,WAAW;IACxB,MAAM,OAAO,GAAG,MAAM,kBAAkB,EAAE,CAAC;IAC3C,OAAO,OAAO,KAAK,SAAS;QAC1B,CAAC,CAAC,oBAAoB,EAAE;QACxB,CAAC,CAAC,cAAc,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC;AACrC,CAAC;AAED,0CAA0C;AAC1C,KAAK,UAAU,kBAAkB;IAC/B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QACpF,MAAM,QAAQ,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,iDAAiD;AACjD,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,SAAS,IAAI,KAAK;QAClB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QACjC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CACzB,CAAC;AACJ,CAAC;AAED,iCAAiC;AACjC,SAAS,cAAc,CAAC,cAAsB;IAC5C,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,8CAA8C;AAC9C,SAAS,oBAAoB;IAC3B,OAAO;QACL,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,oCAAoC;QACnD,QAAQ,EAAE,CAAC;KACZ,CAAC;AACJ,CAAC","sourcesContent":["#!/usr/bin/env node\n\nimport { readFile } from 'node:fs/promises';\n\nimport { writeTextAtomically } from './atomic-write.ts';\nimport { checkUsage, runCheckCommand } from './check-command.ts';\nimport type { CommandResult } from './command-support.ts';\nimport { graphUsage, runGraphCommand } from './graph-command.ts';\nimport { diffUsage, runDiffCommand } from './diff-command.ts';\nimport { queryUsage, runQueryCommand } from './query-command.ts';\nimport { impactUsage, runImpactCommand } from './impact-command.ts';\nimport { runtimeUsage, runRuntimeCommand } from './runtime-command.ts';\nimport { preflightUsage, runPreflightCommand } from './preflight-command.ts';\nimport {\n  retentionUsage,\n  runRetentionsCommand,\n} from './retentions-command.ts';\n\nprocess.stdout.on('error', handleStreamError);\nprocess.stderr.on('error', handleStreamError);\n\nconst commandUsages = new Map([\n  ['check', checkUsage],\n  ['graph', graphUsage],\n  ['diff', diffUsage],\n  ['query', queryUsage],\n  ['impact', impactUsage],\n  ['preflight', preflightUsage],\n  ['verify-runtime', runtimeUsage],\n  ['retentions', retentionUsage],\n]);\n\nconst rootHelp = `Usage: isthmus <command> [options]\n\nCommands:\n  check        Report unmatched bridge calls and handlers\n  query        Find both sides of a channel or method\n  impact       Inspect bridge dependencies before changing files or symbols\n  preflight    Trace cross-language impact from producer analysis context\n  verify-runtime  Verify recorded calls against scenario expectations\n  graph        Render matched boundary edges\n  diff         Compare bridge observations before and after a change\n  retentions   Produce external retention evidence\n  help         Show command help\n\nOptions:\n  -h, --help   Show help; after a command it shows that command's usage\n  --version    Show version\n`;\n\nconst arguments_ = process.argv.slice(2);\nconst readTextFile = (path: string) => readFile(path, 'utf8');\nconst writeTextFile = (path: string, text: string) =>\n  writeTextAtomically(path, text);\nconst informationalResult = await runInformationalCommand(arguments_);\nconst result = informationalResult ?? await dispatchCommand(arguments_);\n\nprocess.stdout.write(result.standardOutput);\nprocess.stderr.write(result.standardError);\nprocess.exitCode = result.exitCode;\n\n/** 파이프 소비자가 먼저 닫힌 정상 상황만 조용히 종료한다. */\nfunction handleStreamError(error: NodeJS.ErrnoException): void {\n  if (error.code === 'EPIPE') {\n    process.exitCode = 0;\n    return;\n  }\n  throw error;\n}\n\n/** 도움말과 버전처럼 입력 문서가 필요 없는 명령을 실행한다. */\nasync function runInformationalCommand(\n  commandArguments: readonly string[],\n): Promise<CommandResult | undefined> {\n  // 도움말 플래그는 어느 위치에 있든 이긴다. 긴 호출 끝에 붙여도 사용법을 본다.\n  const helpFlagIndex = commandArguments.findIndex(\n    (argument) => argument === '--help' || argument === '-h',\n  );\n  if (helpFlagIndex >= 0) return commandHelp(commandArguments[0]);\n  if (commandArguments[0] === 'help') {\n    return commandHelp(commandArguments[1]);\n  }\n  if (\n    commandArguments.length === 1 &&\n    commandArguments[0] === '--version'\n  ) {\n    return readVersion();\n  }\n  return undefined;\n}\n\n/** 명령 이름에 맞는 사용법을, 모르면 루트 도움말을 돌려준다. */\nfunction commandHelp(command: string | undefined): CommandResult {\n  if (command === undefined) return successfulText(rootHelp);\n  const usage = commandUsages.get(command);\n  return usage === undefined\n    ? successfulText(rootHelp)\n    : successfulText(`${usage}\\n`);\n}\n\n/** 알려진 분석 하위 명령으로만 라우팅한다. */\nasync function dispatchCommand(\n  commandArguments: readonly string[],\n): Promise<CommandResult> {\n  switch (commandArguments[0]) {\n    case 'check':\n      // SARIF driver에만 필요하므로 메타데이터 부재는 json 보고서를 막지 않는다.\n      return runCheckCommand(\n        commandArguments,\n        readTextFile,\n        writeTextFile,\n        undefined,\n        await readPackageVersion(),\n      );\n    case 'graph':\n      return runGraphCommand(commandArguments, readTextFile);\n    case 'diff':\n      return runDiffCommand(commandArguments, readTextFile);\n    case 'query':\n      return runQueryCommand(commandArguments, readTextFile);\n    case 'impact':\n      return runImpactCommand(commandArguments, readTextFile);\n    case 'preflight':\n      return runPreflightCommand(commandArguments, readTextFile);\n    case 'verify-runtime':\n      return runRuntimeCommand(commandArguments, readTextFile);\n    case 'retentions': {\n      const version = await readPackageVersion();\n      return version === undefined\n        ? packageMetadataError()\n        : runRetentionsCommand(\n            commandArguments,\n            readTextFile,\n            () => new Date(),\n            version,\n          );\n    }\n    default:\n      return {\n        standardOutput: '',\n        standardError: rootHelp,\n        exitCode: 64,\n      };\n  }\n}\n\n/** 설치된 package.json을 단일 출처로 사용해 버전을 출력한다. */\nasync function readVersion(): Promise<CommandResult> {\n  const version = await readPackageVersion();\n  return version === undefined\n    ? packageMetadataError()\n    : successfulText(`${version}\\n`);\n}\n\n/** 설치된 package.json에서 검증된 버전 문자열을 읽는다. */\nasync function readPackageVersion(): Promise<string | undefined> {\n  try {\n    const text = await readFile(new URL('../../package.json', import.meta.url), 'utf8');\n    const document: unknown = JSON.parse(text);\n    return isVersionDocument(document) ? document.version : undefined;\n  } catch {\n    return undefined;\n  }\n}\n\n/** package metadata가 비어 있지 않은 버전을 제공하는지 확인한다. */\nfunction isVersionDocument(value: unknown): value is { readonly version: string } {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'version' in value &&\n    typeof value.version === 'string' &&\n    value.version.length > 0\n  );\n}\n\n/** stdout 텍스트와 성공 종료 코드를 만든다. */\nfunction successfulText(standardOutput: string): CommandResult {\n  return { standardOutput, standardError: '', exitCode: 0 };\n}\n\n/** package metadata 실패를 민감정보 없는 코드 2로 바꾼다. */\nfunction packageMetadataError(): CommandResult {\n  return {\n    standardOutput: '',\n    standardError: 'Unable to read package metadata.\\n',\n    exitCode: 2,\n  };\n}\n"]}

package/dist/cli/preflight-command.d.ts

@@ -0,0 +1,5 @@
+import type { CommandResult, ReadTextFile } from './command-support.ts';
+/** 같은 실행 문맥의 언어별 영향 결과를 연결해 사람이거나 AI인 소비자에게 전달한다. */
+export declare function runPreflightCommand(arguments_: readonly string[], readTextFile: ReadTextFile): Promise<CommandResult>;
+/** 입력 생성은 producer workflow가 맡으며 CLI는 JSON만 읽는다. */
+export declare const preflightUsage: string;

package/dist/cli/preflight-command.js

@@ -0,0 +1,83 @@
+import { isSafeNonEmptyString } from "../exchange/parse.js";
+import { parsePreflightContext, PreflightValidationError } from "../exchange/preflight-context.js";
+import { parseBridgeRuntime, parseRuntimeExpectations, RuntimeValidationError } from "../exchange/runtime.js";
+import { MAX_DOCUMENTS_PER_JOIN } from "../join/join.js";
+import { createPreflightReport, hasPreflightBlockers, PreflightGraphError } from "../report/preflight.js";
+import { attachPreflightRuntime } from "../report/preflight-runtime.js";
+import { createPreflightExplanation, createPreflightSummary } from "../report/preflight-view.js";
+import { encodeSortedJson } from "../report/sorted-json.js";
+import { inputFailure, inputFailureResult, internalError, isJsonParseFailure, MAX_TOTAL_INPUT_TEXT_LENGTH } from "./command-support.js";
+import { parseCommandArguments } from "./parse-arguments.js";
+import { RuntimeInputError, RuntimeJsonReader } from "./runtime-json-reader.js";
+/** 같은 실행 문맥의 언어별 영향 결과를 연결해 사람이거나 AI인 소비자에게 전달한다. */
+export async function runPreflightCommand(arguments_, readTextFile) {
+    const parsed = parseCommandArguments(arguments_.slice(1), ['--revision', '--expectations', '--limit', '--explain'], ['--strict', '--compact', '--summary']);
+    const revision = parsed?.valueFlags.get('--revision');
+    const expectedPath = parsed?.valueFlags.get('--expectations');
+    const summaryRequested = parsed?.booleanFlags.has('--summary') ?? false;
+    const explainSelector = parsed?.valueFlags.get('--explain');
+    const limitText = parsed?.valueFlags.get('--limit');
+    const limit = limitText === undefined ? undefined : Number(limitText);
+    if (parsed === undefined || parsed.positionals.length < 1 || parsed.positionals.length > MAX_DOCUMENTS_PER_JOIN + 1 ||
+        (expectedPath === undefined && parsed.positionals.length !== 1) ||
+        (revision !== undefined && !isSafeNonEmptyString(revision)) ||
+        (summaryRequested && explainSelector !== undefined) || (!summaryRequested && limitText !== undefined) ||
+        (limitText !== undefined && (!Number.isSafeInteger(limit) || limit < 1 || limit > 100))) {
+        return { standardOutput: '', standardError: `${preflightUsage}\n`, exitCode: 64 };
+    }
+    let text;
+    try {
+        text = await readTextFile(parsed.positionals[0]);
+    }
+    catch {
+        return inputFailure('Unable to read preflight context; check that the file exists and is readable.\n');
+    }
+    if (text.length > MAX_TOTAL_INPUT_TEXT_LENGTH)
+        return inputFailure('Preflight context exceeds the input size limit.\n');
+    let value;
+    try {
+        value = JSON.parse(text);
+    }
+    catch (error) {
+        return isJsonParseFailure(error) ? inputFailure('Preflight context is not valid JSON.\n') : internalError();
+    }
+    try {
+        const context = parsePreflightContext(value);
+        let report = createPreflightReport(revision === undefined || revision === context.revision ? context : {
+            ...context, limitations: [...context.limitations, 'stale-preflight-context: capture revision differs from the requested revision'],
+        });
+        if (expectedPath !== undefined) {
+            const reader = new RuntimeJsonReader(readTextFile, text.length);
+            const expectations = parseRuntimeExpectations(await reader.read(expectedPath));
+            const documents = [];
+            for (const path of parsed.positionals.slice(1))
+                documents.push(parseBridgeRuntime(await reader.read(path)));
+            report = attachPreflightRuntime(context, report, expectations, documents);
+        }
+        const blocked = parsed.booleanFlags.has('--strict') && hasPreflightBlockers(report);
+        const view = summaryRequested
+            ? createPreflightSummary(report, limit ?? 20)
+            : explainSelector === undefined ? report : createPreflightExplanation(report, explainSelector);
+        const viewStatus = explainSelector === undefined ? 'found' : view.status;
+        const statusHint = explainSelector === undefined || viewStatus === 'found' ? ''
+            : viewStatus === 'ambiguous'
+                ? 'The requested preflight selector matches multiple subjects; repeat with an exact subject key or producer id.\n'
+                : 'No preflight subject matches the requested selector; query an exact subject key, producer id, or qualifiedName.\n';
+        const exitCode = viewStatus === 'found' ? blocked ? 1 : 0 : 64;
+        return { standardOutput: encodeSortedJson(view, parsed.booleanFlags.has('--compact')),
+            standardError: viewStatus === 'found' && blocked
+                ? 'Cross-language preflight requires review: errors, evidence gaps, or unobserved selections remain.\n'
+                : statusHint, exitCode };
+    }
+    catch (error) {
+        if (error instanceof PreflightValidationError || error instanceof PreflightGraphError ||
+            error instanceof RuntimeValidationError || error instanceof RuntimeInputError) {
+            return inputFailure(`Preflight context violates its contract: ${error.message}\n`);
+        }
+        return inputFailureResult(error) ?? internalError();
+    }
+}
+/** 입력 생성은 producer workflow가 맡으며 CLI는 JSON만 읽는다. */
+export const preflightUsage = 'Usage: isthmus preflight <context.json> [<runtime.json> ...] '
+    + '[--expectations <checks.json>] [--revision <revision>] [--summary [--limit <1..100>] | --explain <selector>] [--strict] [--compact]';
+//# sourceMappingURL=preflight-command.js.map

package/dist/cli/preflight-command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"preflight-command.js","sourceRoot":"","sources":["../../src/cli/preflight-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AACnG,OAAO,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC9G,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC1G,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,0BAA0B,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACjG,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,aAAa,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AAExI,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEhF,qDAAqD;AACrD,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,UAA6B,EAAE,YAA0B;IACjG,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,EAAE,gBAAgB,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAC5J,MAAM,QAAQ,GAAG,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9D,MAAM,gBAAgB,GAAG,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC;IACxE,MAAM,eAAe,GAAG,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACtE,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,sBAAsB,GAAG,CAAC;QACjH,CAAC,YAAY,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;QAC/D,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC3D,CAAC,gBAAgB,IAAI,eAAe,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC,gBAAgB,IAAI,SAAS,KAAK,SAAS,CAAC;QACrG,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAM,GAAG,CAAC,IAAI,KAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5F,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,cAAc,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACpF,CAAC;IACD,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QAAC,IAAI,GAAG,MAAM,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC;IAAC,CAAC;IAC1D,MAAM,CAAC;QAAC,OAAO,YAAY,CAAC,iFAAiF,CAAC,CAAC;IAAC,CAAC;IACjH,IAAI,IAAI,CAAC,MAAM,GAAG,2BAA2B;QAAE,OAAO,YAAY,CAAC,mDAAmD,CAAC,CAAC;IACxH,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAAC,CAAC;IACjC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,wCAAwC,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC9G,CAAC;IACD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,MAAM,GAAG,qBAAqB,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACrG,GAAG,OAAO,EAAE,WAAW,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,EAAE,+EAA+E,CAAC;SACnI,CAAC,CAAC;QACH,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAChE,MAAM,YAAY,GAAG,wBAAwB,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;YAC/E,MAAM,SAAS,GAAG,EAAE,CAAC;YACrB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5G,MAAM,GAAG,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;QAC5E,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,gBAAgB;YAC3B,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC;YAC7C,CAAC,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QACjG,MAAM,UAAU,GAAG,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QACzE,MAAM,UAAU,GAAG,eAAe,KAAK,SAAS,IAAI,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE;YAC7E,CAAC,CAAC,UAAU,KAAK,WAAW;gBAC1B,CAAC,CAAC,gHAAgH;gBAClH,CAAC,CAAC,mHAAmH,CAAC;QAC1H,MAAM,QAAQ,GAAG,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,OAAO,EAAE,cAAc,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACnF,aAAa,EAAE,UAAU,KAAK,OAAO,IAAI,OAAO;gBAC9C,CAAC,CAAC,qGAAqG;gBACvG,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,wBAAwB,IAAI,KAAK,YAAY,mBAAmB;YACnF,KAAK,YAAY,sBAAsB,IAAI,KAAK,YAAY,iBAAiB,EAAE,CAAC;YAChF,OAAO,YAAY,CAAC,4CAA4C,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;QACrF,CAAC;QACD,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,aAAa,EAAE,CAAC;IACtD,CAAC;AACH,CAAC;AAED,oDAAoD;AACpD,MAAM,CAAC,MAAM,cAAc,GAAG,+DAA+D;MACzF,qIAAqI,CAAC","sourcesContent":["import { isSafeNonEmptyString } from '../exchange/parse.ts';\nimport { parsePreflightContext, PreflightValidationError } from '../exchange/preflight-context.ts';\nimport { parseBridgeRuntime, parseRuntimeExpectations, RuntimeValidationError } from '../exchange/runtime.ts';\nimport { MAX_DOCUMENTS_PER_JOIN } from '../join/join.ts';\nimport { createPreflightReport, hasPreflightBlockers, PreflightGraphError } from '../report/preflight.ts';\nimport { attachPreflightRuntime } from '../report/preflight-runtime.ts';\nimport { createPreflightExplanation, createPreflightSummary } from '../report/preflight-view.ts';\nimport { encodeSortedJson } from '../report/sorted-json.ts';\nimport { inputFailure, inputFailureResult, internalError, isJsonParseFailure, MAX_TOTAL_INPUT_TEXT_LENGTH } from './command-support.ts';\nimport type { CommandResult, ReadTextFile } from './command-support.ts';\nimport { parseCommandArguments } from './parse-arguments.ts';\nimport { RuntimeInputError, RuntimeJsonReader } from './runtime-json-reader.ts';\n\n/** 같은 실행 문맥의 언어별 영향 결과를 연결해 사람이거나 AI인 소비자에게 전달한다. */\nexport async function runPreflightCommand(arguments_: readonly string[], readTextFile: ReadTextFile): Promise<CommandResult> {\n  const parsed = parseCommandArguments(arguments_.slice(1), ['--revision', '--expectations', '--limit', '--explain'], ['--strict', '--compact', '--summary']);\n  const revision = parsed?.valueFlags.get('--revision');\n  const expectedPath = parsed?.valueFlags.get('--expectations');\n  const summaryRequested = parsed?.booleanFlags.has('--summary') ?? false;\n  const explainSelector = parsed?.valueFlags.get('--explain');\n  const limitText = parsed?.valueFlags.get('--limit');\n  const limit = limitText === undefined ? undefined : Number(limitText);\n  if (parsed === undefined || parsed.positionals.length < 1 || parsed.positionals.length > MAX_DOCUMENTS_PER_JOIN + 1 ||\n    (expectedPath === undefined && parsed.positionals.length !== 1) ||\n    (revision !== undefined && !isSafeNonEmptyString(revision)) ||\n    (summaryRequested && explainSelector !== undefined) || (!summaryRequested && limitText !== undefined) ||\n    (limitText !== undefined && (!Number.isSafeInteger(limit) || limit! < 1 || limit! > 100))) {\n    return { standardOutput: '', standardError: `${preflightUsage}\\n`, exitCode: 64 };\n  }\n  let text: string;\n  try { text = await readTextFile(parsed.positionals[0]!); }\n  catch { return inputFailure('Unable to read preflight context; check that the file exists and is readable.\\n'); }\n  if (text.length > MAX_TOTAL_INPUT_TEXT_LENGTH) return inputFailure('Preflight context exceeds the input size limit.\\n');\n  let value: unknown;\n  try { value = JSON.parse(text); }\n  catch (error) {\n    return isJsonParseFailure(error) ? inputFailure('Preflight context is not valid JSON.\\n') : internalError();\n  }\n  try {\n    const context = parsePreflightContext(value);\n    let report = createPreflightReport(revision === undefined || revision === context.revision ? context : {\n      ...context, limitations: [...context.limitations, 'stale-preflight-context: capture revision differs from the requested revision'],\n    });\n    if (expectedPath !== undefined) {\n      const reader = new RuntimeJsonReader(readTextFile, text.length);\n      const expectations = parseRuntimeExpectations(await reader.read(expectedPath));\n      const documents = [];\n      for (const path of parsed.positionals.slice(1)) documents.push(parseBridgeRuntime(await reader.read(path)));\n      report = attachPreflightRuntime(context, report, expectations, documents);\n    }\n    const blocked = parsed.booleanFlags.has('--strict') && hasPreflightBlockers(report);\n    const view = summaryRequested\n      ? createPreflightSummary(report, limit ?? 20)\n      : explainSelector === undefined ? report : createPreflightExplanation(report, explainSelector);\n    const viewStatus = explainSelector === undefined ? 'found' : view.status;\n    const statusHint = explainSelector === undefined || viewStatus === 'found' ? ''\n      : viewStatus === 'ambiguous'\n        ? 'The requested preflight selector matches multiple subjects; repeat with an exact subject key or producer id.\\n'\n        : 'No preflight subject matches the requested selector; query an exact subject key, producer id, or qualifiedName.\\n';\n    const exitCode = viewStatus === 'found' ? blocked ? 1 : 0 : 64;\n    return { standardOutput: encodeSortedJson(view, parsed.booleanFlags.has('--compact')),\n      standardError: viewStatus === 'found' && blocked\n        ? 'Cross-language preflight requires review: errors, evidence gaps, or unobserved selections remain.\\n'\n        : statusHint, exitCode };\n  } catch (error) {\n    if (error instanceof PreflightValidationError || error instanceof PreflightGraphError ||\n      error instanceof RuntimeValidationError || error instanceof RuntimeInputError) {\n      return inputFailure(`Preflight context violates its contract: ${error.message}\\n`);\n    }\n    return inputFailureResult(error) ?? internalError();\n  }\n}\n\n/** 입력 생성은 producer workflow가 맡으며 CLI는 JSON만 읽는다. */\nexport const preflightUsage = 'Usage: isthmus preflight <context.json> [<runtime.json> ...] '\n  + '[--expectations <checks.json>] [--revision <revision>] [--summary [--limit <1..100>] | --explain <selector>] [--strict] [--compact]';\n"]}

package/dist/cli/runtime-command.d.ts

@@ -0,0 +1,5 @@
+import type { CommandResult, ReadTextFile } from './command-support.ts';
+/** 시나리오별 실행 기대를 런타임 관찰 JSON과 대조하는 CLI다. */
+export declare function runRuntimeCommand(arguments_: readonly string[], readTextFile: ReadTextFile): Promise<CommandResult>;
+/** 런타임 기대 파일과 하나 이상의 실행 로그가 필요하다. */
+export declare const runtimeUsage: string;

package/dist/cli/runtime-command.js

@@ -0,0 +1,42 @@
+import { parseBridgeRuntime, parseRuntimeExpectations, RuntimeValidationError } from "../exchange/runtime.js";
+import { MAX_DOCUMENTS_PER_JOIN } from "../join/join.js";
+import { verifyRuntimeEvidence } from "../report/runtime.js";
+import { encodeSortedJson } from "../report/sorted-json.js";
+import { inputFailure, internalError } from "./command-support.js";
+import { parseCommandArguments } from "./parse-arguments.js";
+import { RuntimeInputError, RuntimeJsonReader } from "./runtime-json-reader.js";
+/** 시나리오별 실행 기대를 런타임 관찰 JSON과 대조하는 CLI다. */
+export async function runRuntimeCommand(arguments_, readTextFile) {
+    const parsed = parseCommandArguments(arguments_.slice(1), ['--expectations'], ['--strict', '--compact']);
+    const expectedPath = parsed?.valueFlags.get('--expectations');
+    if (parsed === undefined || expectedPath === undefined || parsed.positionals.length === 0 ||
+        parsed.positionals.length > MAX_DOCUMENTS_PER_JOIN) {
+        return { standardOutput: '', standardError: `${runtimeUsage}\n`, exitCode: 64 };
+    }
+    try {
+        const reader = new RuntimeJsonReader(readTextFile);
+        const expectations = parseRuntimeExpectations(await reader.read(expectedPath));
+        const documents = [];
+        for (const path of parsed.positionals)
+            documents.push(parseBridgeRuntime(await reader.read(path)));
+        const report = verifyRuntimeEvidence(expectations, documents);
+        const failed = parsed.booleanFlags.has('--strict') && report.status !== 'passed';
+        return {
+            standardOutput: encodeSortedJson(report, parsed.booleanFlags.has('--compact')),
+            standardError: failed
+                ? 'Runtime verification requires review: failed calls, missing scenarios, stale runs, or incomplete evidence remain.\n'
+                : '',
+            exitCode: failed ? 1 : 0,
+        };
+    }
+    catch (error) {
+        if (error instanceof RuntimeValidationError || error instanceof RuntimeInputError) {
+            return inputFailure(`${error.message}\n`);
+        }
+        return internalError();
+    }
+}
+/** 런타임 기대 파일과 하나 이상의 실행 로그가 필요하다. */
+export const runtimeUsage = 'Usage: isthmus verify-runtime --expectations <expectations.json> '
+    + '<runtime.json> [more...] [--strict] [--compact]';
+//# sourceMappingURL=runtime-command.js.map

package/dist/cli/runtime-command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-command.js","sourceRoot":"","sources":["../../src/cli/runtime-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC9G,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAEnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEhF,2CAA2C;AAC3C,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,UAA6B,EAAE,YAA0B;IAEzD,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;IACzG,MAAM,YAAY,GAAG,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9D,IAAI,MAAM,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QACvF,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,sBAAsB,EAAE,CAAC;QACrD,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,YAAY,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,YAAY,CAAC,CAAC;QACnD,MAAM,YAAY,GAAG,wBAAwB,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QAC/E,MAAM,SAAS,GAAG,EAAE,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW;YAAE,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnG,MAAM,MAAM,GAAG,qBAAqB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;QACjF,OAAO;YACL,cAAc,EAAE,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAC9E,aAAa,EAAE,MAAM;gBACnB,CAAC,CAAC,qHAAqH;gBACvH,CAAC,CAAC,EAAE;YACN,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACzB,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,sBAAsB,IAAI,KAAK,YAAY,iBAAiB,EAAE,CAAC;YAClF,OAAO,YAAY,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,aAAa,EAAE,CAAC;IACzB,CAAC;AACH,CAAC;AAED,qCAAqC;AACrC,MAAM,CAAC,MAAM,YAAY,GAAG,mEAAmE;MAC3F,iDAAiD,CAAC","sourcesContent":["import { parseBridgeRuntime, parseRuntimeExpectations, RuntimeValidationError } from '../exchange/runtime.ts';\nimport { MAX_DOCUMENTS_PER_JOIN } from '../join/join.ts';\nimport { verifyRuntimeEvidence } from '../report/runtime.ts';\nimport { encodeSortedJson } from '../report/sorted-json.ts';\nimport { inputFailure, internalError } from './command-support.ts';\nimport type { CommandResult, ReadTextFile } from './command-support.ts';\nimport { parseCommandArguments } from './parse-arguments.ts';\nimport { RuntimeInputError, RuntimeJsonReader } from './runtime-json-reader.ts';\n\n/** 시나리오별 실행 기대를 런타임 관찰 JSON과 대조하는 CLI다. */\nexport async function runRuntimeCommand(\n  arguments_: readonly string[], readTextFile: ReadTextFile,\n): Promise<CommandResult> {\n  const parsed = parseCommandArguments(arguments_.slice(1), ['--expectations'], ['--strict', '--compact']);\n  const expectedPath = parsed?.valueFlags.get('--expectations');\n  if (parsed === undefined || expectedPath === undefined || parsed.positionals.length === 0 ||\n    parsed.positionals.length > MAX_DOCUMENTS_PER_JOIN) {\n    return { standardOutput: '', standardError: `${runtimeUsage}\\n`, exitCode: 64 };\n  }\n  try {\n    const reader = new RuntimeJsonReader(readTextFile);\n    const expectations = parseRuntimeExpectations(await reader.read(expectedPath));\n    const documents = [];\n    for (const path of parsed.positionals) documents.push(parseBridgeRuntime(await reader.read(path)));\n    const report = verifyRuntimeEvidence(expectations, documents);\n    const failed = parsed.booleanFlags.has('--strict') && report.status !== 'passed';\n    return {\n      standardOutput: encodeSortedJson(report, parsed.booleanFlags.has('--compact')),\n      standardError: failed\n        ? 'Runtime verification requires review: failed calls, missing scenarios, stale runs, or incomplete evidence remain.\\n'\n        : '',\n      exitCode: failed ? 1 : 0,\n    };\n  } catch (error) {\n    if (error instanceof RuntimeValidationError || error instanceof RuntimeInputError) {\n      return inputFailure(`${error.message}\\n`);\n    }\n    return internalError();\n  }\n}\n\n/** 런타임 기대 파일과 하나 이상의 실행 로그가 필요하다. */\nexport const runtimeUsage = 'Usage: isthmus verify-runtime --expectations <expectations.json> '\n  + '<runtime.json> [more...] [--strict] [--compact]';\n"]}

package/dist/cli/runtime-json-reader.d.ts

@@ -0,0 +1,12 @@
+import type { ReadTextFile } from './command-support.ts';
+/** 기대·실행 JSON의 예산을 공유하며 이미 읽은 정적 context 크기도 포함한다. */
+export declare class RuntimeJsonReader {
+    private readonly readTextFile;
+    private totalLength;
+    private position;
+    constructor(readTextFile: ReadTextFile, initialLength?: number);
+    read(path: string): Promise<unknown>;
+}
+/** runtime 입력 I/O·JSON 오류를 내부 결함과 구분한다. */
+export declare class RuntimeInputError extends Error {
+}

package/dist/cli/runtime-json-reader.js

@@ -0,0 +1,37 @@
+import { isJsonParseFailure, MAX_INPUT_TEXT_LENGTH, MAX_TOTAL_INPUT_TEXT_LENGTH } from "./command-support.js";
+/** 기대·실행 JSON의 예산을 공유하며 이미 읽은 정적 context 크기도 포함한다. */
+export class RuntimeJsonReader {
+    readTextFile;
+    totalLength;
+    position = 0;
+    constructor(readTextFile, initialLength = 0) {
+        this.readTextFile = readTextFile;
+        this.totalLength = initialLength;
+    }
+    async read(path) {
+        this.position++;
+        let text;
+        try {
+            text = await this.readTextFile(path);
+        }
+        catch {
+            throw new RuntimeInputError(`Unable to read runtime input ${this.position}; check the file exists and is readable.`);
+        }
+        this.totalLength += text.length;
+        if (text.length > MAX_INPUT_TEXT_LENGTH || this.totalLength > MAX_TOTAL_INPUT_TEXT_LENGTH) {
+            throw new RuntimeInputError(`Runtime input ${this.position} exceeds the input size limits.`);
+        }
+        try {
+            return JSON.parse(text);
+        }
+        catch (error) {
+            if (isJsonParseFailure(error))
+                throw new RuntimeInputError(`Runtime input ${this.position} is not valid JSON.`);
+            throw error;
+        }
+    }
+}
+/** runtime 입력 I/O·JSON 오류를 내부 결함과 구분한다. */
+export class RuntimeInputError extends Error {
+}
+//# sourceMappingURL=runtime-json-reader.js.map

package/dist/cli/runtime-json-reader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-json-reader.js","sourceRoot":"","sources":["../../src/cli/runtime-json-reader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AAG9G,sDAAsD;AACtD,MAAM,OAAO,iBAAiB;IACX,YAAY,CAAe;IACpC,WAAW,CAAS;IACpB,QAAQ,GAAG,CAAC,CAAC;IAErB,YAAY,YAA0B,EAAE,aAAa,GAAG,CAAC;QACvD,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,WAAW,GAAG,aAAa,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAY;QACrB,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YAAC,IAAI,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAC7C,MAAM,CAAC;YAAC,MAAM,IAAI,iBAAiB,CAAC,gCAAgC,IAAI,CAAC,QAAQ,0CAA0C,CAAC,CAAC;QAAC,CAAC;QAC/H,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,MAAM,CAAC;QAChC,IAAI,IAAI,CAAC,MAAM,GAAG,qBAAqB,IAAI,IAAI,CAAC,WAAW,GAAG,2BAA2B,EAAE,CAAC;YAC1F,MAAM,IAAI,iBAAiB,CAAC,iBAAiB,IAAI,CAAC,QAAQ,iCAAiC,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,CAAC;YAAC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAChC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,kBAAkB,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,iBAAiB,CAAC,iBAAiB,IAAI,CAAC,QAAQ,qBAAqB,CAAC,CAAC;YAChH,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;CACF;AAED,2CAA2C;AAC3C,MAAM,OAAO,iBAAkB,SAAQ,KAAK;CAAG","sourcesContent":["import { isJsonParseFailure, MAX_INPUT_TEXT_LENGTH, MAX_TOTAL_INPUT_TEXT_LENGTH } from './command-support.ts';\nimport type { ReadTextFile } from './command-support.ts';\n\n/** 기대·실행 JSON의 예산을 공유하며 이미 읽은 정적 context 크기도 포함한다. */\nexport class RuntimeJsonReader {\n  private readonly readTextFile: ReadTextFile;\n  private totalLength: number;\n  private position = 0;\n\n  constructor(readTextFile: ReadTextFile, initialLength = 0) {\n    this.readTextFile = readTextFile;\n    this.totalLength = initialLength;\n  }\n\n  async read(path: string): Promise<unknown> {\n    this.position++;\n    let text: string;\n    try { text = await this.readTextFile(path); }\n    catch { throw new RuntimeInputError(`Unable to read runtime input ${this.position}; check the file exists and is readable.`); }\n    this.totalLength += text.length;\n    if (text.length > MAX_INPUT_TEXT_LENGTH || this.totalLength > MAX_TOTAL_INPUT_TEXT_LENGTH) {\n      throw new RuntimeInputError(`Runtime input ${this.position} exceeds the input size limits.`);\n    }\n    try { return JSON.parse(text); }\n    catch (error) {\n      if (isJsonParseFailure(error)) throw new RuntimeInputError(`Runtime input ${this.position} is not valid JSON.`);\n      throw error;\n    }\n  }\n}\n\n/** runtime 입력 I/O·JSON 오류를 내부 결함과 구분한다. */\nexport class RuntimeInputError extends Error {}\n"]}

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

@@ -0,0 +1,13 @@
+/** 변경 대상의 프로젝트 상대 파일과 정확한 심볼 이름/USR이다. 두 목록은 합집합이다. */
+export interface ImpactSelection {
+    readonly files: readonly string[];
+    readonly symbols: readonly string[];
+}
+/** 변경 목록이 큰 입력을 통한 선택 집합 증폭을 일으키지 않도록 제한한다. */
+export declare const MAX_IMPACT_SELECTORS = 10000;
+/** 변경 선택 계약 실패를 소스 값이 없는 메시지로 구분한다. */
+export declare class ImpactSelectionValidationError extends Error {
+    constructor(message: string);
+}
+/** 외부 변경 목록을 검증하고 위치·심볼 문자열을 손대지 않은 채 중복 제거한다. */
+export declare function parseImpactSelection(input: unknown): ImpactSelection;

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"]}