isthmus-cli 0.5.0 → 0.7.0

package/Skills/isthmus/SKILL.md

@@ -1,9 +1,10 @@
 ---
 name: isthmus
 description: >-
-  Trace Flutter Dart-to-Swift bridge callers, compare bridge snapshots, or produce
-  cartograph retention evidence with isthmus. Use for native MethodChannel handler
-  changes; React Native and Kotlin extraction are not supported.
+  Inspect file or symbol changes across Flutter Dart-to-Swift/Kotlin bridges, trace callers,
+  compare snapshots, or produce cartograph retention evidence. Use before changing
+  MethodChannel or Pigeon/Basic handlers and their Dart callers. `extract-js` extracts
+  React Native caller-side facts from JS/TS sources within its token-scan scope.
 ---
 
 # isthmus
@@ -13,14 +14,100 @@ analysis evidence; it does not authorize source edits, deletion, publishing, or
 
 ## Inputs
 
-Use `isthmus-cli` 0.1.4+ (`isthmus` binary), cartograph 0.5.3+ and dartograph 0.1.1+.
+Use `isthmus-cli` 0.1.4+ (`isthmus` binary), cartograph 0.5.3+ and dartograph 0.1.1+
+for the basic check/query/diff/retentions workflow. `impact`, `preflight`,
+`verify-runtime`, and Basic/Pigeon (`--messages`) need isthmus-cli 0.6.0 with the
+compatible producer for each side: cartograph 0.15.1 (Swift), dartograph 0.10.0,
+plus kartograph 0.10.0 when Android/Kotlin inputs are used.
 Obtain both Dart and Swift bridge-facts JSON with identical project roots and analysis scope.
 Swift production requires a built compiler index; use `cartograph bridges --target flutter --format json`.
+Android preflight uses public Kotlin support: obtain Kotlin facts using
+`kartograph bridges --project <root> --target flutter --graph-file <snapshot.json>`.
+For React Native caller-side facts, run `isthmus extract-js <file-or-dir> [more...] [--project <dir>]`
+on the JS/TS sources; it emits a `bridge-facts` document with `platform: "js"`,
+`target: "react-native"` that joins with kartograph/cartograph RN receiver facts.
+Non-literal names stay `dynamic`, and bindings that leave the scanned file set are
+reported only through `limitations` — token-scan output is observation scope, not
+proof of complete app coverage.
+For Basic/Pigeon add `--messages`. A snapshot must come from the same prepared source/build;
+source-only names are not compiler symbol identities. Use `selection.kotlin` in the context.
+The capture workflow accepts `kartograph` and `kartographSnapshot`; Android-only capture does
+not require cartograph. Fingerprint the Kartograph launcher and its runtime library directory.
+For an app-local Pigeon package, explicitly include its source in Dartograph's `source_packages`
+configuration and in capture inputs; see `docs/PREFLIGHT.md`. A runtime success alone does not
+establish a static path from the Kotlin implementation through the generated Dart API to the app caller.
 Do not fabricate missing facts or rewrite project identifiers just to make a join pass.
 If inputs are missing, identify the required files and proceed with independent authorized work.
 
 ## Choose the requested operation
 
+- Trace transitive cross-language impact when a current producer context is available
+  (isthmus-cli 0.6.0+):
+  `isthmus preflight <context.json> --summary --strict --compact`.
+  Add `--revision <expected-capture-revision>` when the workflow supplied that revision.
+  Read the whole-report `summary` and `requiresReview`, then bounded collections
+  `{total, items, omitted}` for roots, affected symbols, review files and limitations.
+  Default display limit is 20; `--limit <1..100>` only applies to summary. Omitted
+  entries were analyzed and still affect status. For a requested symbol's complete
+  root-to-target path, replace `--summary` with `--explain <exact-key-or-producer-id>`
+  from the preview. Exact qualifiedName is also accepted; ambiguous matches return
+  candidates with code 64. `result.path` is a full array; each step's relations are
+  bounded. Describe those actual steps; do not substitute a similarly named root
+  from summary. A path through shared registration may be broader than the requested
+  method's execution path. Do not combine summary and explain. Omit both flags only when the full
+  report is needed; it includes `affected[].via`, `boundaries` and all evidence.
+  Distinguish language use edges
+  from bridge evidence; dependency boundaries do not imply changes to every caller
+  of an unchanged native handler. Do not repeat queries for evidence already present.
+  Use the source-generation workflow to refresh stale context; do not hand-author
+  missing producer identities or analyses. The separate `scripts/capture-preflight.mjs`
+  workflow executes configured preparation and producer commands, so use the project's
+  established configuration and existing authorization. Its fingerprint covers declared
+  inputs; inspect that scope before reusing the cache. The `.sources.json` sidecar retains
+  original producer reports. Report paths are relative to `project`; verify existence
+  before making local links. Code 1 preserves a usable report with gaps; `noChanges`
+  only means no modeled source selection. To also verify runtime evidence, use
+  `isthmus preflight <context.json> <runtime.json> [more...] --expectations <checks.json> --summary --strict --compact`.
+  Read `runtime.aligned` as well as `runtime.verification.status`, `unobservedBoundaries`,
+  `uncoveredBoundaries`, and route `staticStatus`. Passing unrelated scenarios or matching
+  old expectations/logs cannot verify the current change. Basic/Pigeon static support
+  requires optional v2 `context.messages` from both producers; without it Basic is
+  unsupported for static matching. `matching: prefix` remains a possible address
+  family, with unresolved suffix/instance wiring even after a successful runtime call.
+  Address matches remain native candidates. Raw message limitations appear separately
+  as `messageLimitations` when message inputs are present.
+  Android observations match Kotlin candidates; iOS/macOS observations match Swift candidates.
+  In a mixed native context, one platform's success does not cover the other platform.
+  Follow each route's candidateKey; do not group native candidates by channel name alone.
+  For a runtime-only dynamic route, follow `candidateKey` into `runtime.candidates` for
+  native source evidence. In summary/explanation, `candidates.items[].handlers` is a
+  bounded collection of source locations/symbols; report its `omitted` count. The full
+  report uses `handlersOmitted` for its native-candidate display cap.
+  `passedChecks` counts expectations, not distinct scenarios. In summary/explanation,
+  `runtime.verification.declaredScenarioPlatforms` counts unique declared scenario/platform
+  pairs; it is not a count of passing scenarios. Multiple checks can share one scenario.
+- Preflight a source change: `impact` is available since isthmus-cli 0.6.0.
+  Run `isthmus impact --file <project-relative-path> <dart.json> <swift.json> --strict --compact`;
+  for a precise producer symbol use `--symbol <qualifiedName-or-usr>` instead.
+  For multiple files, pass `--changes <json>` with
+  `{"format":"isthmus-changes","version":1,"files":["lib/camera.dart","ios/Camera.swift"]}`.
+  Read `reviewFiles`, `methods` (callers and handlers), `issues`, `selectedFacts`,
+  `unmatchedSelectors`, and `relevantLimitations` in one response. Channel wiring
+  changes include every observed method on that channel. Compact output loses no evidence.
+  Impact already includes both sides; do not repeat a channel query just to retrieve
+  the same endpoints. Evidence paths are relative to report `project`, not the CLI
+  working directory. Make local file links only after confirming the files exist;
+  for non-local snapshots, give the reported relative path and line as evidence.
+  `--strict` returns code 1 on related errors, extraction gaps and unobserved selections;
+  read its JSON as the preflight result instead of rerunning the same inputs without the flag.
+  For deleted code use the pre-change snapshot. `scope: bridge` and `complete: false`
+  do not establish complete coverage of language-internal or runtime dependencies.
+  When current runtime evidence is available, add `--runtime <runtime.json> --revision <revision>`.
+  Inspect `runtime.routes`, failures/gaps and `runtime-observation` reasons. These add
+  native handler candidates for dynamically named calls, not proof of a particular
+  native symbol executing. Static unresolved facts remain unresolved for untested paths.
+  If the installed CLI lacks impact, use `query` on bridge names found in the source
+  and report that file-based preflight requires the newer implementation.
 - Audit the boundary: `isthmus check <dart.json> <swift.json> [--strict]`.
   Read `summary`, each `issues[].code/severity/evidence`, and `limitations`.
   `-unverified` codes are undecidable findings, not clean results.
@@ -35,15 +122,27 @@ If inputs are missing, identify the required files and proceed with independent
   Inspect added/removed logical methods, introduced/resolved issues, both sets of limitations,
   and producer versions/timestamps. Revisions come from the caller's before/after choice.
   Same-key endpoint changes and rename inference are outside this comparison.
+- Verify recorded runtime calls (isthmus-cli 0.6.0+):
+  `isthmus verify-runtime --expectations <checks.json> <runtime.json> [more...] --strict --compact`.
+  Expectations must be specified independently of the observed log. Check `status`,
+  `summary`, unsuccessful `checks`, `failures`, and stale/incomplete `runs`.
+  `passed` covers only declared scenarios; missing, stale, dropped or pending evidence
+  cannot establish coverage. `evidenceOmitted` is display truncation; `droppedEvents`
+  means collection loss. Do not fabricate logs when the runtime recorder is unavailable.
+  Expected negative scenarios can declare `allowedOutcomes` explicitly; omitted means
+  success only. Preserve expected and unexpected failure counts. Pending calls, stale
+  runs, and missing observations cannot be allowed outcomes.
 - Supply Swift retention evidence, when requested:
   `isthmus retentions <dart.json> <swift.json> --for cartograph`.
   Save stdout to a new private temporary file, check successful output, then pass its path to
   `cartograph dead --external-retentions <path>`. Clean up only artifacts created for this run.
+  This command targets Swift; it does not emit Kotlin retention rules.
 
 ## Interpret and finish
 
 Code 0 means the command ran successfully, not that code is safe to delete.
-Code 1 from check/diff strict is a finding to report; query code 64 with
+Code 1 from check/diff/impact/preflight/verify-runtime strict is a finding or evidence gap to report;
+query code 64 with
 `notFound`/`ambiguous` is a usable answer, while usage errors require corrected arguments.
 Code 2 indicates unreadable, invalid, or deferred inputs: explain the cause category and next step.
 Empty results, `resolvedIssues`, and missing callers can reflect dynamic names or incomplete coverage.

package/compatibility.json

@@ -0,0 +1,10 @@
+{
+  "format": "isthmus-compatibility",
+  "version": 1,
+  "isthmus": "0.7.0",
+  "producers": {
+    "cartograph": "0.18.0",
+    "kartograph": "0.10.2",
+    "dartograph": "0.14.0"
+  }
+}

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

@@ -1,7 +1,7 @@
 import { type Clock, type CommandResult, type ReadTextFile, type WriteTextFile } from './command-support.ts';
 export type { Clock, CommandResult, ReadTextFile, WriteTextFile };
-/** check가 내는 보고서 형식이다. SARIF는 isthmus 소유의 additive 출력이다. */
-export type CheckOutputFormat = 'json' | 'sarif';
+/** check가 내는 보고서 형식이다. SARIF·Code Quality는 isthmus 소유의 additive 출력이다. */
+export type CheckOutputFormat = 'json' | 'sarif' | 'codequality';
 /** check 인자를 실행해 프로세스에 독립적인 결과를 반환한다. */
 export declare function runCheckCommand(arguments_: readonly string[], readTextFile: ReadTextFile, writeTextFile?: WriteTextFile, now?: Clock, producerVersion?: string): Promise<CommandResult>;
 /** check 명령의 한 줄 사용법이다. */

package/dist/cli/check-command.js

@@ -1,9 +1,11 @@
 import { createHash } from 'node:crypto';
-import { isBridgeJoinDeferred, joinBridgeDocuments, MAX_DOCUMENTS_PER_JOIN, } from "../join/join.js";
+import { emptyBridgeJoinResult, isBridgeJoinDeferred, joinBridgeDocuments, MAX_DOCUMENTS_PER_JOIN, } from "../join/join.js";
+import { joinMessageBridges } from "../join/messages.js";
 import { applyBaseline, baselineEntryKey, BridgeBaselineValidationError, createBaselineDocument, encodeBaselineDocument, MAX_BASELINE_ENTRIES, parseBaselineDocument, } from "../report/baseline.js";
 import { createCheckReport, encodeCheckReport } from "../report/check-report.js";
+import { createCodeQualityFindings, encodeCodeQualityReport, } from "../report/codequality.js";
 import { createSarifLog, encodeSarifLog, } from "../report/sarif.js";
-import { bridgeJoinDeferredError, inputFailure, inputFailureResult, internalError, isJsonParseFailure, MAX_INPUT_TEXT_LENGTH, readBridgeDocuments, } from "./command-support.js";
+import { bridgeJoinDeferredError, inputFailure, inputFailureResult, internalError, isJsonParseFailure, MAX_INPUT_TEXT_LENGTH, readBridgeInputs, } from "./command-support.js";
 import { parseCommandArguments } from "./parse-arguments.js";
 /** check 인자를 실행해 프로세스에 독립적인 결과를 반환한다. */
 export async function runCheckCommand(arguments_, readTextFile, writeTextFile, now = () => new Date(), producerVersion) {
@@ -20,19 +22,29 @@ export async function runCheckCommand(arguments_, readTextFile, writeTextFile, n
         return internalError();
     }
     try {
-        const documents = await readBridgeDocuments(inputPaths, readTextFile);
-        const joined = joinBridgeDocuments(documents);
+        const { bridges, messages } = await readBridgeInputs(inputPaths, readTextFile);
+        // v1 사실이 없어도 v2 전용 입력은 빈 결과 위에서 보고한다. project는
+        // 어느 쪽에 있든 하나여야 하며 joinMessageBridges가 일치를 검증한다.
+        const project = bridges[0]?.project ?? messages[0].project;
+        const joined = bridges.length > 0
+            ? joinBridgeDocuments(bridges)
+            : emptyBridgeJoinResult();
         if (isBridgeJoinDeferred(joined)) {
-            return bridgeJoinDeferredError(joined.observedFacts, documents.length);
+            return bridgeJoinDeferredError(joined.observedFacts, bridges.length);
         }
-        let report = createCheckReport(joined);
+        const messageJoin = messages.length > 0
+            ? joinMessageBridges(messages, project)
+            : undefined;
+        let report = createCheckReport(joined, messageJoin);
         if (baselinePath !== undefined) {
             const baseline = await readBaselineDocument(baselinePath, readTextFile);
             report = applyBaseline(report, baseline.entries);
         }
         const standardOutput = format === 'sarif'
             ? encodeSarifLog(createSarifLog(report, producerVersion, issueFingerprint))
-            : encodeCheckReport(report);
+            : format === 'codequality'
+                ? encodeCodeQualityReport(createCodeQualityFindings(report, issueFingerprint))
+                : encodeCheckReport(report);
         if (updateBaselinePath !== undefined && writeTextFile !== undefined) {
             await writeBaselineDocument(updateBaselinePath, report.issues, now(), writeTextFile);
         }
@@ -53,7 +65,8 @@ function parseCheckOptions(rest) {
     if (parsed === undefined)
         return undefined;
     const format = parsed.valueFlags.get('--format');
-    if (format !== undefined && format !== 'json' && format !== 'sarif') {
+    if (format !== undefined && format !== 'json' && format !== 'sarif'
+        && format !== 'codequality') {
         return undefined;
     }
     const baselinePath = parsed.valueFlags.get('--baseline');
@@ -188,7 +201,7 @@ function usageError() {
 }
 /** check 명령의 한 줄 사용법이다. */
 export const checkUsage = 'Usage: isthmus check <bridge-facts.json> <bridge-facts.json> '
-    + '[more...] [--strict] [--format json|sarif] '
+    + '[more...] [--strict] [--format json|sarif|codequality] '
     + '[--baseline <isthmus-baseline.json>] '
     + '[--update-baseline <isthmus-baseline.json>]';
 /** 논리 이슈 키의 SHA-256 지문이다. SARIF partialFingerprints에 쓴다. */

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

@@ -1 +1 @@
-{"version":3,"file":"check-command.js","sourceRoot":"","sources":["../../src/cli/check-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,6BAA6B,EAC7B,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,qBAAqB,GAEtB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACjF,OAAO,EACL,cAAc,EACd,cAAc,GACf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,uBAAuB,EACvB,YAAY,EACZ,kBAAkB,EAClB,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,GAKpB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAO7D,yCAAyC;AACzC,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,UAA6B,EAC7B,YAA0B,EAC1B,aAA6B,EAC7B,MAAa,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,EAC7B,eAAwB;IAExB,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,OAAO,UAAU,EAAE,CAAC;IACnD,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAU,EAAE,CAAC;IAC/C,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,kBAAkB,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACjF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,sBAAsB,EAAE,CAAC;QACxE,OAAO,UAAU,EAAE,CAAC;IACtB,CAAC;IACD,IAAI,kBAAkB,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QACpE,OAAO,aAAa,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,MAAM,mBAAmB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,OAAO,uBAAuB,CAAC,MAAM,CAAC,aAAa,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YACxE,MAAM,GAAG,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACnD,CAAC;QACD,MAAM,cAAc,GAAG,MAAM,KAAK,OAAO;YACvC,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,MAAM,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;YAC3E,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,kBAAkB,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YACpE,MAAM,qBAAqB,CACzB,kBAAkB,EAClB,MAAM,CAAC,MAAM,EACb,GAAG,EAAE,EACL,aAAa,CACd,CAAC;QACJ,CAAC;QACD,OAAO;YACL,cAAc;YACd,aAAa,EAAE,EAAE;YACjB,QAAQ,EAAE,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACtD,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,qBAAqB,CAAC,KAAK,CAAC;eAC3D,aAAa,EAAE,CAAC;IACvB,CAAC;AACH,CAAC;AAED,iDAAiD;AACjD,SAAS,iBAAiB,CACxB,IAAuB;IAQvB,MAAM,MAAM,GAAG,qBAAqB,CAClC,IAAI,EACJ,CAAC,UAAU,EAAE,YAAY,EAAE,mBAAmB,CAAC,EAC/C,CAAC,UAAU,CAAC,CACb,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACpE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACzD,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;IACtE,IAAI,YAAY,KAAK,SAAS,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACnE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC;QAC3C,MAAM,EAAE,MAAM,IAAI,MAAM;QACxB,YAAY;QACZ,kBAAkB;QAClB,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC;KACpC,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,KAAK,UAAU,oBAAoB,CACjC,IAAY,EACZ,YAA0B;IAE1B,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,uBAAuB,EAAE,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QACxC,MAAM,IAAI,wBAAwB,EAAE,CAAC;IACvC,CAAC;IACD,6CAA6C;IAC7C,uCAAuC;IACvC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,kBAAkB,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,uBAAuB,EAAE,CAAC;QACnE,MAAM,KAAK,CAAC;IACd,CAAC;IACD,OAAO,qBAAqB,CAAC,MAAM,CAAC,CAAC;AACvC,CAAC;AAED,+CAA+C;AAC/C,KAAK,UAAU,qBAAqB,CAClC,IAAY,EACZ,MAA6B,EAC7B,WAAiB,EACjB,aAA4B;IAE5B,IAAI,QAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,QAAQ,GAAG,sBAAsB,CAAC,MAAM,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC;IACvE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,wCAAwC;QACxC,6BAA6B;QAC7B,IAAI,KAAK,YAAY,6BAA6B,EAAE,CAAC;YACnD,MAAM,IAAI,6BAA6B,EAAE,CAAC;QAC5C,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,sCAAsC;IACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,CAAC;QACH,MAAM,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,wBAAwB,EAAE,CAAC;IACvC,CAAC;AACH,CAAC;AAED,gCAAgC;AAChC,MAAM,uBAAwB,SAAQ,KAAK;IACzC;QACE,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,mCAAmC;AACnC,MAAM,uBAAwB,SAAQ,KAAK;IACzC;QACE,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,oCAAoC;AACpC,MAAM,wBAAyB,SAAQ,KAAK;IAC1C;QACE,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAED,gCAAgC;AAChC,MAAM,wBAAyB,SAAQ,KAAK;IAC1C;QACE,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAED,mCAAmC;AACnC,MAAM,6BAA8B,SAAQ,KAAK;IAC/C;QACE,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,GAAG,+BAA+B,CAAC;IAC9C,CAAC;CACF;AAED,sDAAsD;AACtD,SAAS,qBAAqB,CAAC,KAAc;IAC3C,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;QAC7C,OAAO,YAAY,CACjB,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;QAC7C,OAAO,YAAY,CACjB,0DAA0D;cACxD,4BAA4B,CAC/B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,wBAAwB,EAAE,CAAC;QAC9C,OAAO,YAAY,CACjB,sEAAsE;cACpE,4BAA4B,CAC/B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,wBAAwB,EAAE,CAAC;QAC9C,OAAO,YAAY,CACjB,uEAAuE,CACxE,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,6BAA6B,EAAE,CAAC;QACnD,OAAO,YAAY,CACjB,0CAA0C,oBAAoB,YAAY;cACxE,2BAA2B,CAC9B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,6BAA6B,EAAE,CAAC;QACnD,OAAO,YAAY,CACjB,8DAA8D;cAC5D,GAAG,KAAK,CAAC,OAAO,IAAI,CACvB,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,yCAAyC;AACzC,SAAS,UAAU;IACjB,OAAO;QACL,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,GAAG,UAAU,IAAI;QAChC,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,2BAA2B;AAC3B,MAAM,CAAC,MAAM,UAAU,GACrB,+DAA+D;MAC7D,6CAA6C;MAC7C,uCAAuC;MACvC,6CAA6C,CAAC;AAElD,4DAA4D;AAC5D,SAAS,gBAAgB,CAAC,KAKzB;IACC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5E,CAAC","sourcesContent":["import { createHash } from 'node:crypto';\n\nimport {\n  isBridgeJoinDeferred,\n  joinBridgeDocuments,\n  MAX_DOCUMENTS_PER_JOIN,\n} from '../join/join.ts';\nimport {\n  applyBaseline,\n  baselineEntryKey,\n  BridgeBaselineValidationError,\n  createBaselineDocument,\n  encodeBaselineDocument,\n  MAX_BASELINE_ENTRIES,\n  parseBaselineDocument,\n  type BaselineDocument,\n} from '../report/baseline.ts';\nimport type { CheckIssue } from '../report/check-report.ts';\nimport { createCheckReport, encodeCheckReport } from '../report/check-report.ts';\nimport {\n  createSarifLog,\n  encodeSarifLog,\n} from '../report/sarif.ts';\nimport {\n  bridgeJoinDeferredError,\n  inputFailure,\n  inputFailureResult,\n  internalError,\n  isJsonParseFailure,\n  MAX_INPUT_TEXT_LENGTH,\n  readBridgeDocuments,\n  type Clock,\n  type CommandResult,\n  type ReadTextFile,\n  type WriteTextFile,\n} from './command-support.ts';\nimport { parseCommandArguments } from './parse-arguments.ts';\n\nexport type { Clock, CommandResult, ReadTextFile, WriteTextFile };\n\n/** check가 내는 보고서 형식이다. SARIF는 isthmus 소유의 additive 출력이다. */\nexport type CheckOutputFormat = 'json' | 'sarif';\n\n/** check 인자를 실행해 프로세스에 독립적인 결과를 반환한다. */\nexport async function runCheckCommand(\n  arguments_: readonly string[],\n  readTextFile: ReadTextFile,\n  writeTextFile?: WriteTextFile,\n  now: Clock = () => new Date(),\n  producerVersion?: string,\n): Promise<CommandResult> {\n  if (arguments_[0] !== 'check') return usageError();\n  const options = parseCheckOptions(arguments_.slice(1));\n  if (options === undefined) return usageError();\n  const { strict, format, baselinePath, updateBaselinePath, inputPaths } = options;\n  if (inputPaths.length < 2 || inputPaths.length > MAX_DOCUMENTS_PER_JOIN) {\n    return usageError();\n  }\n  if (updateBaselinePath !== undefined && writeTextFile === undefined) {\n    return internalError();\n  }\n  try {\n    const documents = await readBridgeDocuments(inputPaths, readTextFile);\n    const joined = joinBridgeDocuments(documents);\n    if (isBridgeJoinDeferred(joined)) {\n      return bridgeJoinDeferredError(joined.observedFacts, documents.length);\n    }\n    let report = createCheckReport(joined);\n    if (baselinePath !== undefined) {\n      const baseline = await readBaselineDocument(baselinePath, readTextFile);\n      report = applyBaseline(report, baseline.entries);\n    }\n    const standardOutput = format === 'sarif'\n      ? encodeSarifLog(createSarifLog(report, producerVersion, issueFingerprint))\n      : encodeCheckReport(report);\n    if (updateBaselinePath !== undefined && writeTextFile !== undefined) {\n      await writeBaselineDocument(\n        updateBaselinePath,\n        report.issues,\n        now(),\n        writeTextFile,\n      );\n    }\n    return {\n      standardOutput,\n      standardError: '',\n      exitCode: strict && report.summary.errors > 0 ? 1 : 0,\n    };\n  } catch (error) {\n    return inputFailureResult(error) ?? baselineFailureResult(error)\n      ?? internalError();\n  }\n}\n\n/** check 플래그와 값·입력 경로를 분리한다. 잘못되면 undefined다. */\nfunction parseCheckOptions(\n  rest: readonly string[],\n): {\n  strict: boolean;\n  format: CheckOutputFormat;\n  baselinePath: string | undefined;\n  updateBaselinePath: string | undefined;\n  inputPaths: string[];\n} | undefined {\n  const parsed = parseCommandArguments(\n    rest,\n    ['--format', '--baseline', '--update-baseline'],\n    ['--strict'],\n  );\n  if (parsed === undefined) return undefined;\n  const format = parsed.valueFlags.get('--format');\n  if (format !== undefined && format !== 'json' && format !== 'sarif') {\n    return undefined;\n  }\n  const baselinePath = parsed.valueFlags.get('--baseline');\n  const updateBaselinePath = parsed.valueFlags.get('--update-baseline');\n  if (baselinePath !== undefined && updateBaselinePath !== undefined) {\n    return undefined;\n  }\n  return {\n    strict: parsed.booleanFlags.has('--strict'),\n    format: format ?? 'json',\n    baselinePath,\n    updateBaselinePath,\n    inputPaths: [...parsed.positionals],\n  };\n}\n\n/** 베이스라인 파일을 읽고 크기 상한 안에서 검증된 문서로 파싱한다. */\nasync function readBaselineDocument(\n  path: string,\n  readTextFile: ReadTextFile,\n): Promise<BaselineDocument> {\n  let text: string;\n  try {\n    text = await readTextFile(path);\n  } catch {\n    throw new BridgeBaselineReadError();\n  }\n  if (text.length > MAX_INPUT_TEXT_LENGTH) {\n    throw new BridgeBaselineLimitError();\n  }\n  // JSON 구문 오류와 문서 검증 실패를 같은 try로 감싸면 검증기의 예외가\n  // 구문 오류로 오분류된다. 파싱과 검증을 나눠 분류 경계를 지킨다.\n  let parsed: unknown;\n  try {\n    parsed = JSON.parse(text);\n  } catch (error) {\n    if (isJsonParseFailure(error)) throw new BridgeBaselineJsonError();\n    throw error;\n  }\n  return parseBaselineDocument(parsed);\n}\n\n/** 현재 이슈 전체를 결정적 베이스라인 문서로 써서 해결된 항목을 정리한다. */\nasync function writeBaselineDocument(\n  path: string,\n  issues: readonly CheckIssue[],\n  generatedAt: Date,\n  writeTextFile: WriteTextFile,\n): Promise<void> {\n  let document: BaselineDocument;\n  try {\n    document = createBaselineDocument(issues, generatedAt.toISOString());\n  } catch (error) {\n    // 만들 수 없는 문서는 쓰지 않는다. 상한 초과 산출물은 다음 실행이\n    // 소비할 수 없어 부분 성공보다 실패가 안전하다.\n    if (error instanceof BridgeBaselineValidationError) {\n      throw new BridgeBaselineWriteLimitError();\n    }\n    throw error;\n  }\n  // 인코딩 결함은 쓰기 실패가 아니라 내부 오류로 분류되어야 한다.\n  const encoded = encodeBaselineDocument(document);\n  try {\n    await writeTextFile(path, encoded);\n  } catch {\n    throw new BridgeBaselineWriteError();\n  }\n}\n\n/** 베이스라인 파일을 읽지 못한 경우를 구분한다. */\nclass BridgeBaselineReadError extends Error {\n  constructor() {\n    super('BridgeBaselineReadError');\n    this.name = 'BridgeBaselineReadError';\n  }\n}\n\n/** 베이스라인 파일이 JSON이 아닌 경우를 구분한다. */\nclass BridgeBaselineJsonError extends Error {\n  constructor() {\n    super('BridgeBaselineJsonError');\n    this.name = 'BridgeBaselineJsonError';\n  }\n}\n\n/** 베이스라인 파일이 크기 상한을 넘은 경우를 구분한다. */\nclass BridgeBaselineLimitError extends Error {\n  constructor() {\n    super('BridgeBaselineLimitError');\n    this.name = 'BridgeBaselineLimitError';\n  }\n}\n\n/** 베이스라인 파일을 쓰지 못한 경우를 구분한다. */\nclass BridgeBaselineWriteError extends Error {\n  constructor() {\n    super('BridgeBaselineWriteError');\n    this.name = 'BridgeBaselineWriteError';\n  }\n}\n\n/** 쓸 베이스라인이 항목 상한을 넘는 경우를 구분한다. */\nclass BridgeBaselineWriteLimitError extends Error {\n  constructor() {\n    super('BridgeBaselineWriteLimitError');\n    this.name = 'BridgeBaselineWriteLimitError';\n  }\n}\n\n/** check 고유의 baseline 실패를 원인별 해결 방향을 담은 코드 2로 바꾼다. */\nfunction baselineFailureResult(error: unknown): CommandResult | undefined {\n  if (error instanceof BridgeBaselineReadError) {\n    return inputFailure(\n      'Unable to read the baseline file; check that it exists and is readable.\\n',\n    );\n  }\n  if (error instanceof BridgeBaselineJsonError) {\n    return inputFailure(\n      'The baseline file is not valid JSON; regenerate it with '\n      + 'check --update-baseline.\\n',\n    );\n  }\n  if (error instanceof BridgeBaselineLimitError) {\n    return inputFailure(\n      'The baseline file exceeds the input size limits; regenerate it with '\n      + 'check --update-baseline.\\n',\n    );\n  }\n  if (error instanceof BridgeBaselineWriteError) {\n    return inputFailure(\n      'Unable to write the baseline file; check that the path is writable.\\n',\n    );\n  }\n  if (error instanceof BridgeBaselineWriteLimitError) {\n    return inputFailure(\n      `Cannot write a baseline with more than ${MAX_BASELINE_ENTRIES} entries; `\n      + 'narrow the join inputs.\\n',\n    );\n  }\n  if (error instanceof BridgeBaselineValidationError) {\n    return inputFailure(\n      `The baseline file is not a valid isthmus-baseline document: `\n      + `${error.message}\\n`,\n    );\n  }\n  return undefined;\n}\n\n/** 잘못된 CLI 호출을 경로 없는 사용법과 코드 64로 바꾼다. */\nfunction usageError(): CommandResult {\n  return {\n    standardOutput: '',\n    standardError: `${checkUsage}\\n`,\n    exitCode: 64,\n  };\n}\n\n/** check 명령의 한 줄 사용법이다. */\nexport const checkUsage =\n  'Usage: isthmus check <bridge-facts.json> <bridge-facts.json> '\n  + '[more...] [--strict] [--format json|sarif] '\n  + '[--baseline <isthmus-baseline.json>] '\n  + '[--update-baseline <isthmus-baseline.json>]';\n\n/** 논리 이슈 키의 SHA-256 지문이다. SARIF partialFingerprints에 쓴다. */\nfunction issueFingerprint(issue: {\n  readonly code: string;\n  readonly target: string;\n  readonly channel: string;\n  readonly method?: string;\n}): string {\n  return createHash('sha256').update(baselineEntryKey(issue)).digest('hex');\n}\n"]}
+{"version":3,"file":"check-command.js","sourceRoot":"","sources":["../../src/cli/check-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,6BAA6B,EAC7B,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,qBAAqB,GAEtB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,cAAc,EACd,cAAc,GACf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,uBAAuB,EACvB,YAAY,EACZ,kBAAkB,EAClB,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACrB,gBAAgB,GAKjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAO7D,yCAAyC;AACzC,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,UAA6B,EAC7B,YAA0B,EAC1B,aAA6B,EAC7B,MAAa,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,EAC7B,eAAwB;IAExB,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,OAAO,UAAU,EAAE,CAAC;IACnD,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAU,EAAE,CAAC;IAC/C,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,kBAAkB,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACjF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,sBAAsB,EAAE,CAAC;QACxE,OAAO,UAAU,EAAE,CAAC;IACtB,CAAC;IACD,IAAI,kBAAkB,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QACpE,OAAO,aAAa,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,CAAC;QACH,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,gBAAgB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QAC/E,+CAA+C;QAC/C,iDAAiD;QACjD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;QAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC;YAC/B,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC;YAC9B,CAAC,CAAC,qBAAqB,EAAE,CAAC;QAC5B,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,OAAO,uBAAuB,CAAC,MAAM,CAAC,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC;YACrC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC;YACvC,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,MAAM,GAAG,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACpD,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YACxE,MAAM,GAAG,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACnD,CAAC;QACD,MAAM,cAAc,GAAG,MAAM,KAAK,OAAO;YACvC,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,MAAM,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;YAC3E,CAAC,CAAC,MAAM,KAAK,aAAa;gBACxB,CAAC,CAAC,uBAAuB,CACrB,yBAAyB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CACpD;gBACH,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,kBAAkB,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YACpE,MAAM,qBAAqB,CACzB,kBAAkB,EAClB,MAAM,CAAC,MAAM,EACb,GAAG,EAAE,EACL,aAAa,CACd,CAAC;QACJ,CAAC;QACD,OAAO;YACL,cAAc;YACd,aAAa,EAAE,EAAE;YACjB,QAAQ,EAAE,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACtD,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,qBAAqB,CAAC,KAAK,CAAC;eAC3D,aAAa,EAAE,CAAC;IACvB,CAAC;AACH,CAAC;AAED,iDAAiD;AACjD,SAAS,iBAAiB,CACxB,IAAuB;IAQvB,MAAM,MAAM,GAAG,qBAAqB,CAClC,IAAI,EACJ,CAAC,UAAU,EAAE,YAAY,EAAE,mBAAmB,CAAC,EAC/C,CAAC,UAAU,CAAC,CACb,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACjD,IACE,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO;WAC5D,MAAM,KAAK,aAAa,EAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACzD,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;IACtE,IAAI,YAAY,KAAK,SAAS,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACnE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC;QAC3C,MAAM,EAAE,MAAM,IAAI,MAAM;QACxB,YAAY;QACZ,kBAAkB;QAClB,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC;KACpC,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,KAAK,UAAU,oBAAoB,CACjC,IAAY,EACZ,YAA0B;IAE1B,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,uBAAuB,EAAE,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QACxC,MAAM,IAAI,wBAAwB,EAAE,CAAC;IACvC,CAAC;IACD,6CAA6C;IAC7C,uCAAuC;IACvC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,kBAAkB,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,uBAAuB,EAAE,CAAC;QACnE,MAAM,KAAK,CAAC;IACd,CAAC;IACD,OAAO,qBAAqB,CAAC,MAAM,CAAC,CAAC;AACvC,CAAC;AAED,+CAA+C;AAC/C,KAAK,UAAU,qBAAqB,CAClC,IAAY,EACZ,MAA6B,EAC7B,WAAiB,EACjB,aAA4B;IAE5B,IAAI,QAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,QAAQ,GAAG,sBAAsB,CAAC,MAAM,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC;IACvE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,wCAAwC;QACxC,6BAA6B;QAC7B,IAAI,KAAK,YAAY,6BAA6B,EAAE,CAAC;YACnD,MAAM,IAAI,6BAA6B,EAAE,CAAC;QAC5C,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,sCAAsC;IACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,CAAC;QACH,MAAM,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,wBAAwB,EAAE,CAAC;IACvC,CAAC;AACH,CAAC;AAED,gCAAgC;AAChC,MAAM,uBAAwB,SAAQ,KAAK;IACzC;QACE,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,mCAAmC;AACnC,MAAM,uBAAwB,SAAQ,KAAK;IACzC;QACE,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,oCAAoC;AACpC,MAAM,wBAAyB,SAAQ,KAAK;IAC1C;QACE,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAED,gCAAgC;AAChC,MAAM,wBAAyB,SAAQ,KAAK;IAC1C;QACE,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAED,mCAAmC;AACnC,MAAM,6BAA8B,SAAQ,KAAK;IAC/C;QACE,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,GAAG,+BAA+B,CAAC;IAC9C,CAAC;CACF;AAED,sDAAsD;AACtD,SAAS,qBAAqB,CAAC,KAAc;IAC3C,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;QAC7C,OAAO,YAAY,CACjB,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;QAC7C,OAAO,YAAY,CACjB,0DAA0D;cACxD,4BAA4B,CAC/B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,wBAAwB,EAAE,CAAC;QAC9C,OAAO,YAAY,CACjB,sEAAsE;cACpE,4BAA4B,CAC/B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,wBAAwB,EAAE,CAAC;QAC9C,OAAO,YAAY,CACjB,uEAAuE,CACxE,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,6BAA6B,EAAE,CAAC;QACnD,OAAO,YAAY,CACjB,0CAA0C,oBAAoB,YAAY;cACxE,2BAA2B,CAC9B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,6BAA6B,EAAE,CAAC;QACnD,OAAO,YAAY,CACjB,8DAA8D;cAC5D,GAAG,KAAK,CAAC,OAAO,IAAI,CACvB,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,yCAAyC;AACzC,SAAS,UAAU;IACjB,OAAO;QACL,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,GAAG,UAAU,IAAI;QAChC,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,2BAA2B;AAC3B,MAAM,CAAC,MAAM,UAAU,GACrB,+DAA+D;MAC7D,yDAAyD;MACzD,uCAAuC;MACvC,6CAA6C,CAAC;AAElD,4DAA4D;AAC5D,SAAS,gBAAgB,CAAC,KAKzB;IACC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5E,CAAC","sourcesContent":["import { createHash } from 'node:crypto';\n\nimport {\n  emptyBridgeJoinResult,\n  isBridgeJoinDeferred,\n  joinBridgeDocuments,\n  MAX_DOCUMENTS_PER_JOIN,\n} from '../join/join.ts';\nimport { joinMessageBridges } from '../join/messages.ts';\nimport {\n  applyBaseline,\n  baselineEntryKey,\n  BridgeBaselineValidationError,\n  createBaselineDocument,\n  encodeBaselineDocument,\n  MAX_BASELINE_ENTRIES,\n  parseBaselineDocument,\n  type BaselineDocument,\n} from '../report/baseline.ts';\nimport type { CheckIssue } from '../report/check-report.ts';\nimport { createCheckReport, encodeCheckReport } from '../report/check-report.ts';\nimport {\n  createCodeQualityFindings,\n  encodeCodeQualityReport,\n} from '../report/codequality.ts';\nimport {\n  createSarifLog,\n  encodeSarifLog,\n} from '../report/sarif.ts';\nimport {\n  bridgeJoinDeferredError,\n  inputFailure,\n  inputFailureResult,\n  internalError,\n  isJsonParseFailure,\n  MAX_INPUT_TEXT_LENGTH,\n  readBridgeInputs,\n  type Clock,\n  type CommandResult,\n  type ReadTextFile,\n  type WriteTextFile,\n} from './command-support.ts';\nimport { parseCommandArguments } from './parse-arguments.ts';\n\nexport type { Clock, CommandResult, ReadTextFile, WriteTextFile };\n\n/** check가 내는 보고서 형식이다. SARIF·Code Quality는 isthmus 소유의 additive 출력이다. */\nexport type CheckOutputFormat = 'json' | 'sarif' | 'codequality';\n\n/** check 인자를 실행해 프로세스에 독립적인 결과를 반환한다. */\nexport async function runCheckCommand(\n  arguments_: readonly string[],\n  readTextFile: ReadTextFile,\n  writeTextFile?: WriteTextFile,\n  now: Clock = () => new Date(),\n  producerVersion?: string,\n): Promise<CommandResult> {\n  if (arguments_[0] !== 'check') return usageError();\n  const options = parseCheckOptions(arguments_.slice(1));\n  if (options === undefined) return usageError();\n  const { strict, format, baselinePath, updateBaselinePath, inputPaths } = options;\n  if (inputPaths.length < 2 || inputPaths.length > MAX_DOCUMENTS_PER_JOIN) {\n    return usageError();\n  }\n  if (updateBaselinePath !== undefined && writeTextFile === undefined) {\n    return internalError();\n  }\n  try {\n    const { bridges, messages } = await readBridgeInputs(inputPaths, readTextFile);\n    // v1 사실이 없어도 v2 전용 입력은 빈 결과 위에서 보고한다. project는\n    // 어느 쪽에 있든 하나여야 하며 joinMessageBridges가 일치를 검증한다.\n    const project = bridges[0]?.project ?? messages[0]!.project;\n    const joined = bridges.length > 0\n      ? joinBridgeDocuments(bridges)\n      : emptyBridgeJoinResult();\n    if (isBridgeJoinDeferred(joined)) {\n      return bridgeJoinDeferredError(joined.observedFacts, bridges.length);\n    }\n    const messageJoin = messages.length > 0\n      ? joinMessageBridges(messages, project)\n      : undefined;\n    let report = createCheckReport(joined, messageJoin);\n    if (baselinePath !== undefined) {\n      const baseline = await readBaselineDocument(baselinePath, readTextFile);\n      report = applyBaseline(report, baseline.entries);\n    }\n    const standardOutput = format === 'sarif'\n      ? encodeSarifLog(createSarifLog(report, producerVersion, issueFingerprint))\n      : format === 'codequality'\n        ? encodeCodeQualityReport(\n            createCodeQualityFindings(report, issueFingerprint),\n          )\n        : encodeCheckReport(report);\n    if (updateBaselinePath !== undefined && writeTextFile !== undefined) {\n      await writeBaselineDocument(\n        updateBaselinePath,\n        report.issues,\n        now(),\n        writeTextFile,\n      );\n    }\n    return {\n      standardOutput,\n      standardError: '',\n      exitCode: strict && report.summary.errors > 0 ? 1 : 0,\n    };\n  } catch (error) {\n    return inputFailureResult(error) ?? baselineFailureResult(error)\n      ?? internalError();\n  }\n}\n\n/** check 플래그와 값·입력 경로를 분리한다. 잘못되면 undefined다. */\nfunction parseCheckOptions(\n  rest: readonly string[],\n): {\n  strict: boolean;\n  format: CheckOutputFormat;\n  baselinePath: string | undefined;\n  updateBaselinePath: string | undefined;\n  inputPaths: string[];\n} | undefined {\n  const parsed = parseCommandArguments(\n    rest,\n    ['--format', '--baseline', '--update-baseline'],\n    ['--strict'],\n  );\n  if (parsed === undefined) return undefined;\n  const format = parsed.valueFlags.get('--format');\n  if (\n    format !== undefined && format !== 'json' && format !== 'sarif'\n    && format !== 'codequality'\n  ) {\n    return undefined;\n  }\n  const baselinePath = parsed.valueFlags.get('--baseline');\n  const updateBaselinePath = parsed.valueFlags.get('--update-baseline');\n  if (baselinePath !== undefined && updateBaselinePath !== undefined) {\n    return undefined;\n  }\n  return {\n    strict: parsed.booleanFlags.has('--strict'),\n    format: format ?? 'json',\n    baselinePath,\n    updateBaselinePath,\n    inputPaths: [...parsed.positionals],\n  };\n}\n\n/** 베이스라인 파일을 읽고 크기 상한 안에서 검증된 문서로 파싱한다. */\nasync function readBaselineDocument(\n  path: string,\n  readTextFile: ReadTextFile,\n): Promise<BaselineDocument> {\n  let text: string;\n  try {\n    text = await readTextFile(path);\n  } catch {\n    throw new BridgeBaselineReadError();\n  }\n  if (text.length > MAX_INPUT_TEXT_LENGTH) {\n    throw new BridgeBaselineLimitError();\n  }\n  // JSON 구문 오류와 문서 검증 실패를 같은 try로 감싸면 검증기의 예외가\n  // 구문 오류로 오분류된다. 파싱과 검증을 나눠 분류 경계를 지킨다.\n  let parsed: unknown;\n  try {\n    parsed = JSON.parse(text);\n  } catch (error) {\n    if (isJsonParseFailure(error)) throw new BridgeBaselineJsonError();\n    throw error;\n  }\n  return parseBaselineDocument(parsed);\n}\n\n/** 현재 이슈 전체를 결정적 베이스라인 문서로 써서 해결된 항목을 정리한다. */\nasync function writeBaselineDocument(\n  path: string,\n  issues: readonly CheckIssue[],\n  generatedAt: Date,\n  writeTextFile: WriteTextFile,\n): Promise<void> {\n  let document: BaselineDocument;\n  try {\n    document = createBaselineDocument(issues, generatedAt.toISOString());\n  } catch (error) {\n    // 만들 수 없는 문서는 쓰지 않는다. 상한 초과 산출물은 다음 실행이\n    // 소비할 수 없어 부분 성공보다 실패가 안전하다.\n    if (error instanceof BridgeBaselineValidationError) {\n      throw new BridgeBaselineWriteLimitError();\n    }\n    throw error;\n  }\n  // 인코딩 결함은 쓰기 실패가 아니라 내부 오류로 분류되어야 한다.\n  const encoded = encodeBaselineDocument(document);\n  try {\n    await writeTextFile(path, encoded);\n  } catch {\n    throw new BridgeBaselineWriteError();\n  }\n}\n\n/** 베이스라인 파일을 읽지 못한 경우를 구분한다. */\nclass BridgeBaselineReadError extends Error {\n  constructor() {\n    super('BridgeBaselineReadError');\n    this.name = 'BridgeBaselineReadError';\n  }\n}\n\n/** 베이스라인 파일이 JSON이 아닌 경우를 구분한다. */\nclass BridgeBaselineJsonError extends Error {\n  constructor() {\n    super('BridgeBaselineJsonError');\n    this.name = 'BridgeBaselineJsonError';\n  }\n}\n\n/** 베이스라인 파일이 크기 상한을 넘은 경우를 구분한다. */\nclass BridgeBaselineLimitError extends Error {\n  constructor() {\n    super('BridgeBaselineLimitError');\n    this.name = 'BridgeBaselineLimitError';\n  }\n}\n\n/** 베이스라인 파일을 쓰지 못한 경우를 구분한다. */\nclass BridgeBaselineWriteError extends Error {\n  constructor() {\n    super('BridgeBaselineWriteError');\n    this.name = 'BridgeBaselineWriteError';\n  }\n}\n\n/** 쓸 베이스라인이 항목 상한을 넘는 경우를 구분한다. */\nclass BridgeBaselineWriteLimitError extends Error {\n  constructor() {\n    super('BridgeBaselineWriteLimitError');\n    this.name = 'BridgeBaselineWriteLimitError';\n  }\n}\n\n/** check 고유의 baseline 실패를 원인별 해결 방향을 담은 코드 2로 바꾼다. */\nfunction baselineFailureResult(error: unknown): CommandResult | undefined {\n  if (error instanceof BridgeBaselineReadError) {\n    return inputFailure(\n      'Unable to read the baseline file; check that it exists and is readable.\\n',\n    );\n  }\n  if (error instanceof BridgeBaselineJsonError) {\n    return inputFailure(\n      'The baseline file is not valid JSON; regenerate it with '\n      + 'check --update-baseline.\\n',\n    );\n  }\n  if (error instanceof BridgeBaselineLimitError) {\n    return inputFailure(\n      'The baseline file exceeds the input size limits; regenerate it with '\n      + 'check --update-baseline.\\n',\n    );\n  }\n  if (error instanceof BridgeBaselineWriteError) {\n    return inputFailure(\n      'Unable to write the baseline file; check that the path is writable.\\n',\n    );\n  }\n  if (error instanceof BridgeBaselineWriteLimitError) {\n    return inputFailure(\n      `Cannot write a baseline with more than ${MAX_BASELINE_ENTRIES} entries; `\n      + 'narrow the join inputs.\\n',\n    );\n  }\n  if (error instanceof BridgeBaselineValidationError) {\n    return inputFailure(\n      `The baseline file is not a valid isthmus-baseline document: `\n      + `${error.message}\\n`,\n    );\n  }\n  return undefined;\n}\n\n/** 잘못된 CLI 호출을 경로 없는 사용법과 코드 64로 바꾼다. */\nfunction usageError(): CommandResult {\n  return {\n    standardOutput: '',\n    standardError: `${checkUsage}\\n`,\n    exitCode: 64,\n  };\n}\n\n/** check 명령의 한 줄 사용법이다. */\nexport const checkUsage =\n  'Usage: isthmus check <bridge-facts.json> <bridge-facts.json> '\n  + '[more...] [--strict] [--format json|sarif|codequality] '\n  + '[--baseline <isthmus-baseline.json>] '\n  + '[--update-baseline <isthmus-baseline.json>]';\n\n/** 논리 이슈 키의 SHA-256 지문이다. SARIF partialFingerprints에 쓴다. */\nfunction issueFingerprint(issue: {\n  readonly code: string;\n  readonly target: string;\n  readonly channel: string;\n  readonly method?: string;\n}): string {\n  return createHash('sha256').update(baselineEntryKey(issue)).digest('hex');\n}\n"]}

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

@@ -1,4 +1,5 @@
 import type { BridgeFactsDocument } from '../exchange/parse.ts';
+import type { BridgeMessageDocument } from '../exchange/messages.ts';
 /**
  * 모든 분석 하위 명령이 공유하는 CLI 인프라다.
  *
@@ -10,6 +11,18 @@ import type { BridgeFactsDocument } from '../exchange/parse.ts';
 export type ReadTextFile = (path: string) => Promise<string>;
 /** 파일 경로에 UTF-8 텍스트를 쓰는 주입 경계다. */
 export type WriteTextFile = (path: string, text: string) => Promise<void>;
+/** 경로 종류다. 없는 경로를 빈 결과로 오인하지 않게 `missing`을 구분한다. */
+export type PathKind = 'file' | 'directory' | 'missing';
+/**
+ * doctor·init이 쓰는 최소 파일시스템 경계다.
+ *
+ * 제품은 producer를 실행하지 않는다. 이 경계는 설정 JSON의 경로 존재와
+ * project 정규화만 확인한다.
+ */
+export interface CaptureFileSystem {
+    statPath(path: string): Promise<PathKind>;
+    realPath(path: string): Promise<string>;
+}
 /** 생성 시각을 테스트 가능하게 주입하는 시계다. */
 export type Clock = () => Date;
 /** CLI가 프로세스 경계에 쓸 출력과 종료 코드다. */
@@ -22,8 +35,13 @@ export interface CommandResult {
 export declare const MAX_INPUT_TEXT_LENGTH: number;
 /** 한 명령에서 허용하는 전체 UTF-16 입력 문자열 길이다. */
 export declare const MAX_TOTAL_INPUT_TEXT_LENGTH: number;
-/** 입력을 순서대로 읽어 파일 수·메모리 상한 안에서 교환 문서로 파싱한다. */
-export declare function readBridgeDocuments(inputPaths: readonly string[], readTextFile: ReadTextFile): Promise<BridgeFactsDocument[]>;
+/** 입력을 순서대로 읽어 파일 수·메모리 상한 안에서 v1 교환 문서로 파싱한다. */
+export declare function readBridgeDocuments(inputPaths: readonly string[], readTextFile: ReadTextFile, initialTextLength?: number): Promise<BridgeFactsDocument[]>;
+/** v1 MethodChannel과 v2 Basic/Event 문서를 한 번에 읽어 버전별로 나눈다. */
+export declare function readBridgeInputs(inputPaths: readonly string[], readTextFile: ReadTextFile, initialTextLength?: number): Promise<{
+    bridges: BridgeFactsDocument[];
+    messages: BridgeMessageDocument[];
+}>;
 /**
  * 사용자 입력 JSON 파싱 실패인지 확인한다.
  *

package/dist/cli/command-support.js

@@ -1,13 +1,14 @@
-import { BridgeFactsValidationError, parseBridgeFactsDocument, } from "../exchange/parse.js";
+import { BridgeFactsValidationError, isJsonObject, parseBridgeFactsDocument, } from "../exchange/parse.js";
+import { parseMessageBridgeDocument } from "../exchange/messages.js";
 import { BridgeJoinValidationError } from "../join/join.js";
 /** 한 입력 파일에서 허용하는 최대 UTF-16 문자열 길이다. */
 export const MAX_INPUT_TEXT_LENGTH = 16 * 1024 * 1024;
 /** 한 명령에서 허용하는 전체 UTF-16 입력 문자열 길이다. */
 export const MAX_TOTAL_INPUT_TEXT_LENGTH = 64 * 1024 * 1024;
-/** 입력을 순서대로 읽어 파일 수·메모리 상한 안에서 교환 문서로 파싱한다. */
-export async function readBridgeDocuments(inputPaths, readTextFile) {
-    const documents = [];
-    let totalTextLength = 0;
+/** 입력을 순서대로 읽어 파일 수·메모리 상한 안에서 JSON 값으로 만든다. */
+async function readJsonInputs(inputPaths, readTextFile, initialTextLength) {
+    const inputs = [];
+    let totalTextLength = initialTextLength;
     for (const [index, path] of inputPaths.entries()) {
         const inputPosition = index + 1;
         let text;
@@ -24,9 +25,8 @@ export async function readBridgeDocuments(inputPaths, readTextFile) {
         }
         // JSON 구문 오류와 문서 검증 실패를 같은 try로 감싸면 검증기의 예외가
         // 구문 오류로 오분류된다. 파싱과 검증을 나눠 분류 경계를 지킨다.
-        let parsed;
         try {
-            parsed = JSON.parse(text);
+            inputs.push({ position: inputPosition, value: JSON.parse(text) });
         }
         catch (error) {
             if (isJsonParseFailure(error)) {
@@ -34,18 +34,47 @@ export async function readBridgeDocuments(inputPaths, readTextFile) {
             }
             throw error;
         }
+    }
+    return inputs;
+}
+/** 입력을 순서대로 읽어 파일 수·메모리 상한 안에서 v1 교환 문서로 파싱한다. */
+export async function readBridgeDocuments(inputPaths, readTextFile, initialTextLength = 0) {
+    const documents = [];
+    for (const { position, value } of await readJsonInputs(inputPaths, readTextFile, initialTextLength)) {
         try {
-            documents.push(parseBridgeFactsDocument(parsed));
+            documents.push(parseBridgeFactsDocument(value));
         }
         catch (error) {
             if (error instanceof BridgeFactsValidationError) {
-                throw new BridgeInputContractError(inputPosition, error.message);
+                throw new BridgeInputContractError(position, error.message);
             }
             throw error;
         }
     }
     return documents;
 }
+/** v1 MethodChannel과 v2 Basic/Event 문서를 한 번에 읽어 버전별로 나눈다. */
+export async function readBridgeInputs(inputPaths, readTextFile, initialTextLength = 0) {
+    const bridges = [];
+    const messages = [];
+    for (const { position, value } of await readJsonInputs(inputPaths, readTextFile, initialTextLength)) {
+        try {
+            if (isJsonObject(value) && value.version === 2) {
+                messages.push(parseMessageBridgeDocument(value));
+            }
+            else {
+                bridges.push(parseBridgeFactsDocument(value));
+            }
+        }
+        catch (error) {
+            if (error instanceof BridgeFactsValidationError) {
+                throw new BridgeInputContractError(position, error.message);
+            }
+            throw error;
+        }
+    }
+    return { bridges, messages };
+}
 /**
  * 사용자 입력 JSON 파싱 실패인지 확인한다.
  *

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

@@ -1 +1 @@
-{"version":3,"file":"command-support.js","sourceRoot":"","sources":["../../src/cli/command-support.ts"],"names":[],"mappings":"AACA,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AA0B5D,wCAAwC;AACxC,MAAM,CAAC,MAAM,qBAAqB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAEtD,wCAAwC;AACxC,MAAM,CAAC,MAAM,2BAA2B,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAE5D,+CAA+C;AAC/C,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,UAA6B,EAC7B,YAA0B;IAE1B,MAAM,SAAS,GAA0B,EAAE,CAAC;IAC5C,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,aAAa,GAAG,KAAK,GAAG,CAAC,CAAC;QAChC,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,oBAAoB,CAAC,aAAa,CAAC,CAAC;QAChD,CAAC;QACD,eAAe,IAAI,IAAI,CAAC,MAAM,CAAC;QAC/B,IACE,IAAI,CAAC,MAAM,GAAG,qBAAqB;YACnC,eAAe,GAAG,2BAA2B,EAC7C,CAAC;YACD,MAAM,IAAI,qBAAqB,CAAC,aAAa,CAAC,CAAC;QACjD,CAAC;QACD,6CAA6C;QAC7C,uCAAuC;QACvC,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,oBAAoB,CAAC,aAAa,CAAC,CAAC;YAChD,CAAC;YACD,MAAM,KAAK,CAAC;QACd,CAAC;QACD,IAAI,CAAC;YACH,SAAS,CAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,0BAA0B,EAAE,CAAC;gBAChD,MAAM,IAAI,wBAAwB,CAAC,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACnE,CAAC;YACD,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,OAAO,KAAK,YAAY,WAAW,IAAI,KAAK,YAAY,UAAU,CAAC;AACrE,CAAC;AAED,wCAAwC;AACxC,MAAM,gBAAiB,SAAQ,KAAK;IACzB,aAAa,CAAS;IAE/B,YAAY,IAAY,EAAE,aAAqB;QAC7C,KAAK,CAAC,GAAG,IAAI,aAAa,aAAa,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACrC,CAAC;CACF;AAED,6BAA6B;AAC7B,MAAM,oBAAqB,SAAQ,gBAAgB;IACjD,YAAY,aAAqB;QAC/B,KAAK,CAAC,sBAAsB,EAAE,aAAa,CAAC,CAAC;IAC/C,CAAC;CACF;AAED,iCAAiC;AACjC,MAAM,oBAAqB,SAAQ,gBAAgB;IACjD,YAAY,aAAqB;QAC/B,KAAK,CAAC,sBAAsB,EAAE,aAAa,CAAC,CAAC;IAC/C,CAAC;CACF;AAED,uCAAuC;AACvC,MAAM,wBAAyB,SAAQ,gBAAgB;IAC5C,MAAM,CAAS;IAExB,YAAY,aAAqB,EAAE,MAAc;QAC/C,KAAK,CAAC,0BAA0B,EAAE,aAAa,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,mCAAmC;AACnC,MAAM,qBAAsB,SAAQ,gBAAgB;IAClD,YAAY,aAAqB;QAC/B,KAAK,CAAC,uBAAuB,EAAE,aAAa,CAAC,CAAC;IAChD,CAAC;CACF;AAED;;iDAEiD;AACjD,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,IAAI,KAAK,YAAY,oBAAoB,EAAE,CAAC;QAC1C,OAAO,YAAY,CACjB,qCAAqC,KAAK,CAAC,aAAa,IAAI;cAC1D,+CAA+C,CAClD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,oBAAoB,EAAE,CAAC;QAC1C,OAAO,YAAY,CACjB,sBAAsB,KAAK,CAAC,aAAa,sBAAsB;cAC7D,+CAA+C,CAClD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,wBAAwB,EAAE,CAAC;QAC9C,OAAO,YAAY,CACjB,sBAAsB,KAAK,CAAC,aAAa,6BAA6B;cACpE,aAAa,KAAK,CAAC,MAAM,IAAI,CAChC,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,qBAAqB,EAAE,CAAC;QAC3C,OAAO,YAAY,CACjB,sBAAsB,KAAK,CAAC,aAAa,kCAAkC;cACzE,gDAAgD,CACnD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,yBAAyB,EAAE,CAAC;QAC/C,OAAO,YAAY,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,YAAY,CAAC,aAAqB;IAChD,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,aAAqB,EACrB,aAAqB;IAErB,OAAO;QACL,cAAc,EAAE,EAAE;QAClB,aAAa,EACX,0EAA0E;cACxE,uBAAuB,aAAa,iBAAiB,aAAa,eAAe;QACrF,QAAQ,EAAE,CAAC;KACZ,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,aAAa;IAC3B,OAAO;QACL,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,yDAAyD;QACxE,QAAQ,EAAE,CAAC;KACZ,CAAC;AACJ,CAAC","sourcesContent":["import type { BridgeFactsDocument } from '../exchange/parse.ts';\nimport {\n  BridgeFactsValidationError,\n  parseBridgeFactsDocument,\n} from '../exchange/parse.ts';\nimport { BridgeJoinValidationError } from '../join/join.ts';\n\n/**\n * 모든 분석 하위 명령이 공유하는 CLI 인프라다.\n *\n * 입력 문서 읽기·예산, 입력 실패의 분류와 메시지, 프로세스 경계 결과 형태를\n * 한 곳에 모아 check-command의 편중을 떼어낸다. baseline 같은 명령 고유\n * 오류는 각 명령이 자신의 실패 매퍼를 덧붙이는 방식으로 확장한다.\n */\n\n/** 파일 경로를 받아 UTF-8 텍스트를 읽는 주입 경계다. */\nexport type ReadTextFile = (path: string) => Promise<string>;\n\n/** 파일 경로에 UTF-8 텍스트를 쓰는 주입 경계다. */\nexport type WriteTextFile = (path: string, text: string) => Promise<void>;\n\n/** 생성 시각을 테스트 가능하게 주입하는 시계다. */\nexport type Clock = () => Date;\n\n/** CLI가 프로세스 경계에 쓸 출력과 종료 코드다. */\nexport interface CommandResult {\n  readonly standardOutput: string;\n  readonly standardError: string;\n  readonly exitCode: 0 | 1 | 2 | 64;\n}\n\n/** 한 입력 파일에서 허용하는 최대 UTF-16 문자열 길이다. */\nexport const MAX_INPUT_TEXT_LENGTH = 16 * 1024 * 1024;\n\n/** 한 명령에서 허용하는 전체 UTF-16 입력 문자열 길이다. */\nexport const MAX_TOTAL_INPUT_TEXT_LENGTH = 64 * 1024 * 1024;\n\n/** 입력을 순서대로 읽어 파일 수·메모리 상한 안에서 교환 문서로 파싱한다. */\nexport async function readBridgeDocuments(\n  inputPaths: readonly string[],\n  readTextFile: ReadTextFile,\n): Promise<BridgeFactsDocument[]> {\n  const documents: BridgeFactsDocument[] = [];\n  let totalTextLength = 0;\n  for (const [index, path] of inputPaths.entries()) {\n    const inputPosition = index + 1;\n    let text: string;\n    try {\n      text = await readTextFile(path);\n    } catch {\n      throw new BridgeInputReadError(inputPosition);\n    }\n    totalTextLength += text.length;\n    if (\n      text.length > MAX_INPUT_TEXT_LENGTH ||\n      totalTextLength > MAX_TOTAL_INPUT_TEXT_LENGTH\n    ) {\n      throw new BridgeInputLimitError(inputPosition);\n    }\n    // JSON 구문 오류와 문서 검증 실패를 같은 try로 감싸면 검증기의 예외가\n    // 구문 오류로 오분류된다. 파싱과 검증을 나눠 분류 경계를 지킨다.\n    let parsed: unknown;\n    try {\n      parsed = JSON.parse(text);\n    } catch (error) {\n      if (isJsonParseFailure(error)) {\n        throw new BridgeInputJsonError(inputPosition);\n      }\n      throw error;\n    }\n    try {\n      documents.push(parseBridgeFactsDocument(parsed));\n    } catch (error) {\n      if (error instanceof BridgeFactsValidationError) {\n        throw new BridgeInputContractError(inputPosition, error.message);\n      }\n      throw error;\n    }\n  }\n  return documents;\n}\n\n/**\n * 사용자 입력 JSON 파싱 실패인지 확인한다.\n *\n * 깊은 중첩은 SyntaxError가 아니라 RangeError(스택 초과)로 실패한다.\n * 둘 다 입력 탓이라 내부 오류 메시지로 오분류하지 않는다.\n */\nexport function isJsonParseFailure(error: unknown): boolean {\n  return error instanceof SyntaxError || error instanceof RangeError;\n}\n\n/** 실패한 입력의 1부터 시작하는 순서를 보존하는 입력 오류다. */\nclass BridgeInputError extends Error {\n  readonly inputPosition: number;\n\n  constructor(name: string, inputPosition: number) {\n    super(`${name} at input ${inputPosition}`);\n    this.name = name;\n    this.inputPosition = inputPosition;\n  }\n}\n\n/** 입력 파일을 읽지 못한 경우를 구분한다. */\nclass BridgeInputReadError extends BridgeInputError {\n  constructor(inputPosition: number) {\n    super('BridgeInputReadError', inputPosition);\n  }\n}\n\n/** 입력 텍스트가 JSON이 아닌 경우를 구분한다. */\nclass BridgeInputJsonError extends BridgeInputError {\n  constructor(inputPosition: number) {\n    super('BridgeInputJsonError', inputPosition);\n  }\n}\n\n/** 입력 문서가 교환 계약을 어긴 경우와 그 이유를 구분한다. */\nclass BridgeInputContractError extends BridgeInputError {\n  readonly reason: string;\n\n  constructor(inputPosition: number, reason: string) {\n    super('BridgeInputContractError', inputPosition);\n    this.reason = reason;\n  }\n}\n\n/** 입력 텍스트의 크기만 계약을 넘은 경우를 구분한다. */\nclass BridgeInputLimitError extends BridgeInputError {\n  constructor(inputPosition: number) {\n    super('BridgeInputLimitError', inputPosition);\n  }\n}\n\n/** 알려진 입력·조인 실패를 원인별 해결 방향을 담은 코드 2 결과로 바꾼다.\n\n명령 고유의 입력(baseline 등)은 각 명령이 자신의 매퍼를 이 뒤에 붙인다. */\nexport function inputFailureResult(error: unknown): CommandResult | undefined {\n  if (error instanceof BridgeInputReadError) {\n    return inputFailure(\n      `Unable to read bridge facts input ${error.inputPosition}; `\n      + 'check that the file exists and is readable.\\n',\n    );\n  }\n  if (error instanceof BridgeInputJsonError) {\n    return inputFailure(\n      `Bridge facts input ${error.inputPosition} is not valid JSON; `\n      + 'regenerate it with a bridge-facts producer.\\n',\n    );\n  }\n  if (error instanceof BridgeInputContractError) {\n    return inputFailure(\n      `Bridge facts input ${error.inputPosition} violates the bridge-facts `\n      + `contract: ${error.reason}\\n`,\n    );\n  }\n  if (error instanceof BridgeInputLimitError) {\n    return inputFailure(\n      `Bridge facts input ${error.inputPosition} exceeds the input size limits; `\n      + 'split the extraction into smaller documents.\\n',\n    );\n  }\n  if (error instanceof BridgeJoinValidationError) {\n    return inputFailure(`${error.message}\\n`);\n  }\n  return undefined;\n}\n\n/** 원인 메시지만 stdout 없이 코드 2로 내보낸다. */\nexport function inputFailure(standardError: string): CommandResult {\n  return { standardOutput: '', standardError, exitCode: 2 };\n}\n\n/**\n * 전체 조인 보류를 깨끗한 결과와 구분하는 코드 2 결과로 바꾼다.\n *\n * 관찰량을 숫자 보간으로 함께 알린다. 보류된 조인은 문서를 출력하지 않으므로,\n * 이 숫자가 \"몇 개를 봤는데 못 조인했는지\"가 도달하는 유일한 경로다.\n */\nexport function bridgeJoinDeferredError(\n  observedFacts: number,\n  documentCount: number,\n): CommandResult {\n  return {\n    standardOutput: '',\n    standardError:\n      'Bridge facts could not be joined; split mixed bridge targets and retry. '\n      + `The inputs observed ${observedFacts} facts across ${documentCount} documents.\\n`,\n    exitCode: 2,\n  };\n}\n\n/** 내부 결함을 입력 탓으로 돌리지 않는 경로 없는 코드 2 결과다. */\nexport function internalError(): CommandResult {\n  return {\n    standardOutput: '',\n    standardError: 'Internal isthmus error; retry with a current version.\\n',\n    exitCode: 2,\n  };\n}\n"]}
+{"version":3,"file":"command-support.js","sourceRoot":"","sources":["../../src/cli/command-support.ts"],"names":[],"mappings":"AACA,OAAO,EACL,0BAA0B,EAC1B,YAAY,EACZ,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAwC5D,wCAAwC;AACxC,MAAM,CAAC,MAAM,qBAAqB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAEtD,wCAAwC;AACxC,MAAM,CAAC,MAAM,2BAA2B,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAQ5D,gDAAgD;AAChD,KAAK,UAAU,cAAc,CAC3B,UAA6B,EAC7B,YAA0B,EAC1B,iBAAyB;IAEzB,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,eAAe,GAAG,iBAAiB,CAAC;IACxC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,aAAa,GAAG,KAAK,GAAG,CAAC,CAAC;QAChC,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,oBAAoB,CAAC,aAAa,CAAC,CAAC;QAChD,CAAC;QACD,eAAe,IAAI,IAAI,CAAC,MAAM,CAAC;QAC/B,IACE,IAAI,CAAC,MAAM,GAAG,qBAAqB;YACnC,eAAe,GAAG,2BAA2B,EAC7C,CAAC;YACD,MAAM,IAAI,qBAAqB,CAAC,aAAa,CAAC,CAAC;QACjD,CAAC;QACD,6CAA6C;QAC7C,uCAAuC;QACvC,IAAI,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,oBAAoB,CAAC,aAAa,CAAC,CAAC;YAChD,CAAC;YACD,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kDAAkD;AAClD,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,UAA6B,EAC7B,YAA0B,EAC1B,iBAAiB,GAAG,CAAC;IAErB,MAAM,SAAS,GAA0B,EAAE,CAAC;IAC5C,KAAK,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,MAAM,cAAc,CACpD,UAAU,EACV,YAAY,EACZ,iBAAiB,CAClB,EAAE,CAAC;QACF,IAAI,CAAC;YACH,SAAS,CAAC,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;QAClD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,0BAA0B,EAAE,CAAC;gBAChD,MAAM,IAAI,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAC9D,CAAC;YACD,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,6DAA6D;AAC7D,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,UAA6B,EAC7B,YAA0B,EAC1B,iBAAiB,GAAG,CAAC;IAKrB,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,MAAM,cAAc,CACpD,UAAU,EACV,YAAY,EACZ,iBAAiB,CAClB,EAAE,CAAC;QACF,IAAI,CAAC;YACH,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;gBAC/C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAC;YACnD,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,0BAA0B,EAAE,CAAC;gBAChD,MAAM,IAAI,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAC9D,CAAC;YACD,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,OAAO,KAAK,YAAY,WAAW,IAAI,KAAK,YAAY,UAAU,CAAC;AACrE,CAAC;AAED,wCAAwC;AACxC,MAAM,gBAAiB,SAAQ,KAAK;IACzB,aAAa,CAAS;IAE/B,YAAY,IAAY,EAAE,aAAqB;QAC7C,KAAK,CAAC,GAAG,IAAI,aAAa,aAAa,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACrC,CAAC;CACF;AAED,6BAA6B;AAC7B,MAAM,oBAAqB,SAAQ,gBAAgB;IACjD,YAAY,aAAqB;QAC/B,KAAK,CAAC,sBAAsB,EAAE,aAAa,CAAC,CAAC;IAC/C,CAAC;CACF;AAED,iCAAiC;AACjC,MAAM,oBAAqB,SAAQ,gBAAgB;IACjD,YAAY,aAAqB;QAC/B,KAAK,CAAC,sBAAsB,EAAE,aAAa,CAAC,CAAC;IAC/C,CAAC;CACF;AAED,uCAAuC;AACvC,MAAM,wBAAyB,SAAQ,gBAAgB;IAC5C,MAAM,CAAS;IAExB,YAAY,aAAqB,EAAE,MAAc;QAC/C,KAAK,CAAC,0BAA0B,EAAE,aAAa,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,mCAAmC;AACnC,MAAM,qBAAsB,SAAQ,gBAAgB;IAClD,YAAY,aAAqB;QAC/B,KAAK,CAAC,uBAAuB,EAAE,aAAa,CAAC,CAAC;IAChD,CAAC;CACF;AAED;;iDAEiD;AACjD,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,IAAI,KAAK,YAAY,oBAAoB,EAAE,CAAC;QAC1C,OAAO,YAAY,CACjB,qCAAqC,KAAK,CAAC,aAAa,IAAI;cAC1D,+CAA+C,CAClD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,oBAAoB,EAAE,CAAC;QAC1C,OAAO,YAAY,CACjB,sBAAsB,KAAK,CAAC,aAAa,sBAAsB;cAC7D,+CAA+C,CAClD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,wBAAwB,EAAE,CAAC;QAC9C,OAAO,YAAY,CACjB,sBAAsB,KAAK,CAAC,aAAa,6BAA6B;cACpE,aAAa,KAAK,CAAC,MAAM,IAAI,CAChC,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,qBAAqB,EAAE,CAAC;QAC3C,OAAO,YAAY,CACjB,sBAAsB,KAAK,CAAC,aAAa,kCAAkC;cACzE,gDAAgD,CACnD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,yBAAyB,EAAE,CAAC;QAC/C,OAAO,YAAY,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,YAAY,CAAC,aAAqB;IAChD,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,aAAqB,EACrB,aAAqB;IAErB,OAAO;QACL,cAAc,EAAE,EAAE;QAClB,aAAa,EACX,0EAA0E;cACxE,uBAAuB,aAAa,iBAAiB,aAAa,eAAe;QACrF,QAAQ,EAAE,CAAC;KACZ,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,aAAa;IAC3B,OAAO;QACL,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,yDAAyD;QACxE,QAAQ,EAAE,CAAC;KACZ,CAAC;AACJ,CAAC","sourcesContent":["import type { BridgeFactsDocument } from '../exchange/parse.ts';\nimport {\n  BridgeFactsValidationError,\n  isJsonObject,\n  parseBridgeFactsDocument,\n} from '../exchange/parse.ts';\nimport type { BridgeMessageDocument } from '../exchange/messages.ts';\nimport { parseMessageBridgeDocument } from '../exchange/messages.ts';\nimport { BridgeJoinValidationError } from '../join/join.ts';\n\n/**\n * 모든 분석 하위 명령이 공유하는 CLI 인프라다.\n *\n * 입력 문서 읽기·예산, 입력 실패의 분류와 메시지, 프로세스 경계 결과 형태를\n * 한 곳에 모아 check-command의 편중을 떼어낸다. baseline 같은 명령 고유\n * 오류는 각 명령이 자신의 실패 매퍼를 덧붙이는 방식으로 확장한다.\n */\n\n/** 파일 경로를 받아 UTF-8 텍스트를 읽는 주입 경계다. */\nexport type ReadTextFile = (path: string) => Promise<string>;\n\n/** 파일 경로에 UTF-8 텍스트를 쓰는 주입 경계다. */\nexport type WriteTextFile = (path: string, text: string) => Promise<void>;\n\n/** 경로 종류다. 없는 경로를 빈 결과로 오인하지 않게 `missing`을 구분한다. */\nexport type PathKind = 'file' | 'directory' | 'missing';\n\n/**\n * doctor·init이 쓰는 최소 파일시스템 경계다.\n *\n * 제품은 producer를 실행하지 않는다. 이 경계는 설정 JSON의 경로 존재와\n * project 정규화만 확인한다.\n */\nexport interface CaptureFileSystem {\n  statPath(path: string): Promise<PathKind>;\n  realPath(path: string): Promise<string>;\n}\n\n/** 생성 시각을 테스트 가능하게 주입하는 시계다. */\nexport type Clock = () => Date;\n\n/** CLI가 프로세스 경계에 쓸 출력과 종료 코드다. */\nexport interface CommandResult {\n  readonly standardOutput: string;\n  readonly standardError: string;\n  readonly exitCode: 0 | 1 | 2 | 64;\n}\n\n/** 한 입력 파일에서 허용하는 최대 UTF-16 문자열 길이다. */\nexport const MAX_INPUT_TEXT_LENGTH = 16 * 1024 * 1024;\n\n/** 한 명령에서 허용하는 전체 UTF-16 입력 문자열 길이다. */\nexport const MAX_TOTAL_INPUT_TEXT_LENGTH = 64 * 1024 * 1024;\n\n/** 한 입력 파일의 JSON 값과 1부터 시작하는 순서를 보존한다. */\ninterface ParsedInput {\n  readonly position: number;\n  readonly value: unknown;\n}\n\n/** 입력을 순서대로 읽어 파일 수·메모리 상한 안에서 JSON 값으로 만든다. */\nasync function readJsonInputs(\n  inputPaths: readonly string[],\n  readTextFile: ReadTextFile,\n  initialTextLength: number,\n): Promise<ParsedInput[]> {\n  const inputs: ParsedInput[] = [];\n  let totalTextLength = initialTextLength;\n  for (const [index, path] of inputPaths.entries()) {\n    const inputPosition = index + 1;\n    let text: string;\n    try {\n      text = await readTextFile(path);\n    } catch {\n      throw new BridgeInputReadError(inputPosition);\n    }\n    totalTextLength += text.length;\n    if (\n      text.length > MAX_INPUT_TEXT_LENGTH ||\n      totalTextLength > MAX_TOTAL_INPUT_TEXT_LENGTH\n    ) {\n      throw new BridgeInputLimitError(inputPosition);\n    }\n    // JSON 구문 오류와 문서 검증 실패를 같은 try로 감싸면 검증기의 예외가\n    // 구문 오류로 오분류된다. 파싱과 검증을 나눠 분류 경계를 지킨다.\n    try {\n      inputs.push({ position: inputPosition, value: JSON.parse(text) });\n    } catch (error) {\n      if (isJsonParseFailure(error)) {\n        throw new BridgeInputJsonError(inputPosition);\n      }\n      throw error;\n    }\n  }\n  return inputs;\n}\n\n/** 입력을 순서대로 읽어 파일 수·메모리 상한 안에서 v1 교환 문서로 파싱한다. */\nexport async function readBridgeDocuments(\n  inputPaths: readonly string[],\n  readTextFile: ReadTextFile,\n  initialTextLength = 0,\n): Promise<BridgeFactsDocument[]> {\n  const documents: BridgeFactsDocument[] = [];\n  for (const { position, value } of await readJsonInputs(\n    inputPaths,\n    readTextFile,\n    initialTextLength,\n  )) {\n    try {\n      documents.push(parseBridgeFactsDocument(value));\n    } catch (error) {\n      if (error instanceof BridgeFactsValidationError) {\n        throw new BridgeInputContractError(position, error.message);\n      }\n      throw error;\n    }\n  }\n  return documents;\n}\n\n/** v1 MethodChannel과 v2 Basic/Event 문서를 한 번에 읽어 버전별로 나눈다. */\nexport async function readBridgeInputs(\n  inputPaths: readonly string[],\n  readTextFile: ReadTextFile,\n  initialTextLength = 0,\n): Promise<{\n  bridges: BridgeFactsDocument[];\n  messages: BridgeMessageDocument[];\n}> {\n  const bridges: BridgeFactsDocument[] = [];\n  const messages: BridgeMessageDocument[] = [];\n  for (const { position, value } of await readJsonInputs(\n    inputPaths,\n    readTextFile,\n    initialTextLength,\n  )) {\n    try {\n      if (isJsonObject(value) && value.version === 2) {\n        messages.push(parseMessageBridgeDocument(value));\n      } else {\n        bridges.push(parseBridgeFactsDocument(value));\n      }\n    } catch (error) {\n      if (error instanceof BridgeFactsValidationError) {\n        throw new BridgeInputContractError(position, error.message);\n      }\n      throw error;\n    }\n  }\n  return { bridges, messages };\n}\n\n/**\n * 사용자 입력 JSON 파싱 실패인지 확인한다.\n *\n * 깊은 중첩은 SyntaxError가 아니라 RangeError(스택 초과)로 실패한다.\n * 둘 다 입력 탓이라 내부 오류 메시지로 오분류하지 않는다.\n */\nexport function isJsonParseFailure(error: unknown): boolean {\n  return error instanceof SyntaxError || error instanceof RangeError;\n}\n\n/** 실패한 입력의 1부터 시작하는 순서를 보존하는 입력 오류다. */\nclass BridgeInputError extends Error {\n  readonly inputPosition: number;\n\n  constructor(name: string, inputPosition: number) {\n    super(`${name} at input ${inputPosition}`);\n    this.name = name;\n    this.inputPosition = inputPosition;\n  }\n}\n\n/** 입력 파일을 읽지 못한 경우를 구분한다. */\nclass BridgeInputReadError extends BridgeInputError {\n  constructor(inputPosition: number) {\n    super('BridgeInputReadError', inputPosition);\n  }\n}\n\n/** 입력 텍스트가 JSON이 아닌 경우를 구분한다. */\nclass BridgeInputJsonError extends BridgeInputError {\n  constructor(inputPosition: number) {\n    super('BridgeInputJsonError', inputPosition);\n  }\n}\n\n/** 입력 문서가 교환 계약을 어긴 경우와 그 이유를 구분한다. */\nclass BridgeInputContractError extends BridgeInputError {\n  readonly reason: string;\n\n  constructor(inputPosition: number, reason: string) {\n    super('BridgeInputContractError', inputPosition);\n    this.reason = reason;\n  }\n}\n\n/** 입력 텍스트의 크기만 계약을 넘은 경우를 구분한다. */\nclass BridgeInputLimitError extends BridgeInputError {\n  constructor(inputPosition: number) {\n    super('BridgeInputLimitError', inputPosition);\n  }\n}\n\n/** 알려진 입력·조인 실패를 원인별 해결 방향을 담은 코드 2 결과로 바꾼다.\n\n명령 고유의 입력(baseline 등)은 각 명령이 자신의 매퍼를 이 뒤에 붙인다. */\nexport function inputFailureResult(error: unknown): CommandResult | undefined {\n  if (error instanceof BridgeInputReadError) {\n    return inputFailure(\n      `Unable to read bridge facts input ${error.inputPosition}; `\n      + 'check that the file exists and is readable.\\n',\n    );\n  }\n  if (error instanceof BridgeInputJsonError) {\n    return inputFailure(\n      `Bridge facts input ${error.inputPosition} is not valid JSON; `\n      + 'regenerate it with a bridge-facts producer.\\n',\n    );\n  }\n  if (error instanceof BridgeInputContractError) {\n    return inputFailure(\n      `Bridge facts input ${error.inputPosition} violates the bridge-facts `\n      + `contract: ${error.reason}\\n`,\n    );\n  }\n  if (error instanceof BridgeInputLimitError) {\n    return inputFailure(\n      `Bridge facts input ${error.inputPosition} exceeds the input size limits; `\n      + 'split the extraction into smaller documents.\\n',\n    );\n  }\n  if (error instanceof BridgeJoinValidationError) {\n    return inputFailure(`${error.message}\\n`);\n  }\n  return undefined;\n}\n\n/** 원인 메시지만 stdout 없이 코드 2로 내보낸다. */\nexport function inputFailure(standardError: string): CommandResult {\n  return { standardOutput: '', standardError, exitCode: 2 };\n}\n\n/**\n * 전체 조인 보류를 깨끗한 결과와 구분하는 코드 2 결과로 바꾼다.\n *\n * 관찰량을 숫자 보간으로 함께 알린다. 보류된 조인은 문서를 출력하지 않으므로,\n * 이 숫자가 \"몇 개를 봤는데 못 조인했는지\"가 도달하는 유일한 경로다.\n */\nexport function bridgeJoinDeferredError(\n  observedFacts: number,\n  documentCount: number,\n): CommandResult {\n  return {\n    standardOutput: '',\n    standardError:\n      'Bridge facts could not be joined; split mixed bridge targets and retry. '\n      + `The inputs observed ${observedFacts} facts across ${documentCount} documents.\\n`,\n    exitCode: 2,\n  };\n}\n\n/** 내부 결함을 입력 탓으로 돌리지 않는 경로 없는 코드 2 결과다. */\nexport function internalError(): CommandResult {\n  return {\n    standardOutput: '',\n    standardError: 'Internal isthmus error; retry with a current version.\\n',\n    exitCode: 2,\n  };\n}\n"]}

package/dist/cli/diff-command.js

@@ -1,7 +1,7 @@
 import { MAX_DOCUMENTS_PER_JOIN } from "../join/join.js";
 import { createBridgeDiff } from "../report/diff.js";
 import { encodeSortedJson } from "../report/sorted-json.js";
-import { inputFailureResult, internalError, readBridgeDocuments, } from "./command-support.js";
+import { inputFailureResult, internalError, readBridgeInputs, } from "./command-support.js";
 /** 전후 교환 파일을 하나의 입력 예산으로 읽어 새 경계 오류만 CI 실패로 표시한다. */
 export async function runDiffCommand(arguments_, readTextFile) {
     const strictFlags = arguments_.filter((argument) => argument === '--strict');
@@ -21,8 +21,9 @@ export async function runDiffCommand(arguments_, readTextFile) {
         return { standardOutput: '', standardError: `${diffUsage}\n`, exitCode: 64 };
     }
     try {
-        const documents = await readBridgeDocuments(paths, readTextFile);
-        const report = createBridgeDiff(documents.slice(0, beforePaths.length), documents.slice(beforePaths.length));
+        const before = await readBridgeInputs(beforePaths, readTextFile);
+        const after = await readBridgeInputs(afterPaths, readTextFile);
+        const report = createBridgeDiff(before.bridges, after.bridges, before.messages.length > 0 ? before.messages : undefined, after.messages.length > 0 ? after.messages : undefined);
         return {
             standardOutput: encodeSortedJson(report),
             standardError: '',

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

@@ -1 +1 @@
-{"version":3,"file":"diff-command.js","sourceRoot":"","sources":["../../src/cli/diff-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,mBAAmB,GAGpB,MAAM,sBAAsB,CAAC;AAE9B,qDAAqD;AACrD,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,UAA6B,EAC7B,YAA0B;IAE1B,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,CAAC;IAC9C,IACE,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM;QAClB,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU;QACtB,WAAW,CAAC,MAAM,GAAG,CAAC;QACtB,SAAS,GAAG,CAAC;QACb,WAAW,CAAC,MAAM,GAAG,CAAC;QACtB,UAAU,CAAC,MAAM,GAAG,CAAC;QACrB,KAAK,CAAC,MAAM,GAAG,sBAAsB;QACrC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EACtE,CAAC;QACD,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,SAAS,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,MAAM,mBAAmB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,gBAAgB,CAC7B,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,EACtC,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CACpC,CAAC;QACF,OAAO;YACL,cAAc,EAAE,gBAAgB,CAAC,MAAM,CAAC;YACxC,aAAa,EAAE,EAAE;YACjB,QAAQ,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAClF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,aAAa,EAAE,CAAC;IACtD,CAAC;AACH,CAAC;AAED,mDAAmD;AACnD,MAAM,CAAC,MAAM,SAAS,GACpB,kEAAkE;MAChE,uDAAuD,CAAC","sourcesContent":["import { MAX_DOCUMENTS_PER_JOIN } from '../join/join.ts';\nimport { createBridgeDiff } from '../report/diff.ts';\nimport { encodeSortedJson } from '../report/sorted-json.ts';\nimport {\n  inputFailureResult,\n  internalError,\n  readBridgeDocuments,\n  type CommandResult,\n  type ReadTextFile,\n} from './command-support.ts';\n\n/** 전후 교환 파일을 하나의 입력 예산으로 읽어 새 경계 오류만 CI 실패로 표시한다. */\nexport async function runDiffCommand(\n  arguments_: readonly string[],\n  readTextFile: ReadTextFile,\n): Promise<CommandResult> {\n  const strictFlags = arguments_.filter((argument) => argument === '--strict');\n  const args = arguments_.filter((argument) => argument !== '--strict');\n  const separator = args.indexOf('--after');\n  const beforePaths = args.slice(2, separator);\n  const afterPaths = args.slice(separator + 1);\n  const paths = [...beforePaths, ...afterPaths];\n  if (\n    args[0] !== 'diff' ||\n    args[1] !== '--before' ||\n    strictFlags.length > 1 ||\n    separator < 4 ||\n    beforePaths.length < 2 ||\n    afterPaths.length < 2 ||\n    paths.length > MAX_DOCUMENTS_PER_JOIN ||\n    paths.some((path) => path.trim().length === 0 || path.startsWith('-'))\n  ) {\n    return { standardOutput: '', standardError: `${diffUsage}\\n`, exitCode: 64 };\n  }\n  try {\n    const documents = await readBridgeDocuments(paths, readTextFile);\n    const report = createBridgeDiff(\n      documents.slice(0, beforePaths.length),\n      documents.slice(beforePaths.length),\n    );\n    return {\n      standardOutput: encodeSortedJson(report),\n      standardError: '',\n      exitCode: strictFlags.length === 1 && report.summary.introducedErrors > 0 ? 1 : 0,\n    };\n  } catch (error) {\n    return inputFailureResult(error) ?? internalError();\n  }\n}\n\n/** 각 snapshot은 caller와 receiver 문서를 함께 제공해야 한다. */\nexport const diffUsage =\n  'Usage: isthmus diff --before <dart.json> <swift.json> [more...] '\n  + '--after <dart.json> <swift.json> [more...] [--strict]';\n"]}
+{"version":3,"file":"diff-command.js","sourceRoot":"","sources":["../../src/cli/diff-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,gBAAgB,GAGjB,MAAM,sBAAsB,CAAC;AAE9B,qDAAqD;AACrD,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,UAA6B,EAC7B,YAA0B;IAE1B,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,CAAC;IAC9C,IACE,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM;QAClB,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU;QACtB,WAAW,CAAC,MAAM,GAAG,CAAC;QACtB,SAAS,GAAG,CAAC;QACb,WAAW,CAAC,MAAM,GAAG,CAAC;QACtB,UAAU,CAAC,MAAM,GAAG,CAAC;QACrB,KAAK,CAAC,MAAM,GAAG,sBAAsB;QACrC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EACtE,CAAC;QACD,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,SAAS,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,gBAAgB,CAC7B,MAAM,CAAC,OAAO,EACd,KAAK,CAAC,OAAO,EACb,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EACxD,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CACvD,CAAC;QACF,OAAO;YACL,cAAc,EAAE,gBAAgB,CAAC,MAAM,CAAC;YACxC,aAAa,EAAE,EAAE;YACjB,QAAQ,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAClF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,aAAa,EAAE,CAAC;IACtD,CAAC;AACH,CAAC;AAED,mDAAmD;AACnD,MAAM,CAAC,MAAM,SAAS,GACpB,kEAAkE;MAChE,uDAAuD,CAAC","sourcesContent":["import { MAX_DOCUMENTS_PER_JOIN } from '../join/join.ts';\nimport { createBridgeDiff } from '../report/diff.ts';\nimport { encodeSortedJson } from '../report/sorted-json.ts';\nimport {\n  inputFailureResult,\n  internalError,\n  readBridgeInputs,\n  type CommandResult,\n  type ReadTextFile,\n} from './command-support.ts';\n\n/** 전후 교환 파일을 하나의 입력 예산으로 읽어 새 경계 오류만 CI 실패로 표시한다. */\nexport async function runDiffCommand(\n  arguments_: readonly string[],\n  readTextFile: ReadTextFile,\n): Promise<CommandResult> {\n  const strictFlags = arguments_.filter((argument) => argument === '--strict');\n  const args = arguments_.filter((argument) => argument !== '--strict');\n  const separator = args.indexOf('--after');\n  const beforePaths = args.slice(2, separator);\n  const afterPaths = args.slice(separator + 1);\n  const paths = [...beforePaths, ...afterPaths];\n  if (\n    args[0] !== 'diff' ||\n    args[1] !== '--before' ||\n    strictFlags.length > 1 ||\n    separator < 4 ||\n    beforePaths.length < 2 ||\n    afterPaths.length < 2 ||\n    paths.length > MAX_DOCUMENTS_PER_JOIN ||\n    paths.some((path) => path.trim().length === 0 || path.startsWith('-'))\n  ) {\n    return { standardOutput: '', standardError: `${diffUsage}\\n`, exitCode: 64 };\n  }\n  try {\n    const before = await readBridgeInputs(beforePaths, readTextFile);\n    const after = await readBridgeInputs(afterPaths, readTextFile);\n    const report = createBridgeDiff(\n      before.bridges,\n      after.bridges,\n      before.messages.length > 0 ? before.messages : undefined,\n      after.messages.length > 0 ? after.messages : undefined,\n    );\n    return {\n      standardOutput: encodeSortedJson(report),\n      standardError: '',\n      exitCode: strictFlags.length === 1 && report.summary.introducedErrors > 0 ? 1 : 0,\n    };\n  } catch (error) {\n    return inputFailureResult(error) ?? internalError();\n  }\n}\n\n/** 각 snapshot은 caller와 receiver 문서를 함께 제공해야 한다. */\nexport const diffUsage =\n  'Usage: isthmus diff --before <dart.json> <swift.json> [more...] '\n  + '--after <dart.json> <swift.json> [more...] [--strict]';\n"]}

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

@@ -0,0 +1,11 @@
+import { type CaptureFileSystem, type CommandResult, type ReadTextFile } from './command-support.ts';
+/**
+ * capture 설정 JSON을 검증하고 참조한 실행 파일이 실제로 있는지 확인한다.
+ *
+ * producer를 실행하거나 버전을 묻지 않는다 — 제품은 JSON만 읽는다. 여기서
+ * 확인하는 것은 `scripts/capture-preflight.mjs`가 실행할 명령의 첫 토큰이
+ * 존재하는 파일(또는 PATH 위의 실행 파일)인지뿐이다.
+ */
+export declare function runDoctorCommand(arguments_: readonly string[], readTextFile: ReadTextFile, fileSystem: CaptureFileSystem, cwd: string, pathValue?: string): Promise<CommandResult>;
+/** doctor 명령의 한 줄 사용법이다. */
+export declare const doctorUsage = "Usage: isthmus doctor <capture.json>";