isthmus-cli 0.4.1 → 0.6.0

package/dist/cli/check-command.js

@@ -1,12 +1,10 @@
-import { BridgeFactsValidationError, parseBridgeFactsDocument, } from "../exchange/parse.js";
-import { BridgeJoinValidationError, isBridgeJoinDeferred, joinBridgeDocuments, MAX_DOCUMENTS_PER_JOIN, } from "../join/join.js";
-import { applyBaseline, BridgeBaselineValidationError, createBaselineDocument, encodeBaselineDocument, MAX_BASELINE_ENTRIES, parseBaselineDocument, } from "../report/baseline.js";
+import { createHash } from 'node:crypto';
+import { isBridgeJoinDeferred, joinBridgeDocuments, MAX_DOCUMENTS_PER_JOIN, } from "../join/join.js";
+import { applyBaseline, baselineEntryKey, BridgeBaselineValidationError, createBaselineDocument, encodeBaselineDocument, MAX_BASELINE_ENTRIES, parseBaselineDocument, } from "../report/baseline.js";
 import { createCheckReport, encodeCheckReport } from "../report/check-report.js";
 import { createSarifLog, encodeSarifLog, } from "../report/sarif.js";
-/** 한 입력 파일에서 허용하는 최대 UTF-16 문자열 길이다. */
-export const MAX_INPUT_TEXT_LENGTH = 16 * 1024 * 1024;
-/** 한 명령에서 허용하는 전체 UTF-16 입력 문자열 길이다. */
-export const MAX_TOTAL_INPUT_TEXT_LENGTH = 64 * 1024 * 1024;
+import { bridgeJoinDeferredError, inputFailure, inputFailureResult, internalError, isJsonParseFailure, MAX_INPUT_TEXT_LENGTH, readBridgeDocuments, } from "./command-support.js";
+import { parseCommandArguments } from "./parse-arguments.js";
 /** check 인자를 실행해 프로세스에 독립적인 결과를 반환한다. */
 export async function runCheckCommand(arguments_, readTextFile, writeTextFile, now = () => new Date(), producerVersion) {
     if (arguments_[0] !== 'check')
@@ -24,15 +22,16 @@ export async function runCheckCommand(arguments_, readTextFile, writeTextFile, n
     try {
         const documents = await readBridgeDocuments(inputPaths, readTextFile);
         const joined = joinBridgeDocuments(documents);
-        if (isBridgeJoinDeferred(joined))
-            return bridgeJoinDeferredError();
+        if (isBridgeJoinDeferred(joined)) {
+            return bridgeJoinDeferredError(joined.observedFacts, documents.length);
+        }
         let report = createCheckReport(joined);
         if (baselinePath !== undefined) {
             const baseline = await readBaselineDocument(baselinePath, readTextFile);
             report = applyBaseline(report, baseline.entries);
         }
         const standardOutput = format === 'sarif'
-            ? encodeSarifLog(createSarifLog(report, producerVersion))
+            ? encodeSarifLog(createSarifLog(report, producerVersion, issueFingerprint))
             : encodeCheckReport(report);
         if (updateBaselinePath !== undefined && writeTextFile !== undefined) {
             await writeBaselineDocument(updateBaselinePath, report.issues, now(), writeTextFile);
@@ -44,62 +43,30 @@ export async function runCheckCommand(arguments_, readTextFile, writeTextFile, n
         };
     }
     catch (error) {
-        return inputFailureResult(error) ?? internalError();
+        return inputFailureResult(error) ?? baselineFailureResult(error)
+            ?? internalError();
     }
 }
 /** check 플래그와 값·입력 경로를 분리한다. 잘못되면 undefined다. */
 function parseCheckOptions(rest) {
-    let strict = false;
-    let format;
-    let baselinePath;
-    let updateBaselinePath;
-    const inputPaths = [];
-    for (let index = 0; index < rest.length; index++) {
-        const argument = rest[index];
-        if (argument === undefined)
-            return undefined;
-        if (argument === '--strict') {
-            strict = true;
-            continue;
-        }
-        if (argument === '--format' || argument === '--baseline' || argument === '--update-baseline') {
-            const value = rest[index + 1];
-            // 빈 값은 경로가 아니라 호출 오류다. 읽기 실패(코드 2)보다 사용법(64)이 맞다.
-            if (value === undefined || value.length === 0 || value.startsWith('-')) {
-                return undefined;
-            }
-            if (argument === '--format') {
-                if (format !== undefined || (value !== 'json' && value !== 'sarif')) {
-                    return undefined;
-                }
-                format = value;
-            }
-            else if (argument === '--baseline') {
-                if (baselinePath !== undefined)
-                    return undefined;
-                baselinePath = value;
-            }
-            else {
-                if (updateBaselinePath !== undefined)
-                    return undefined;
-                updateBaselinePath = value;
-            }
-            index++;
-            continue;
-        }
-        if (argument.startsWith('-'))
-            return undefined;
-        inputPaths.push(argument);
+    const parsed = parseCommandArguments(rest, ['--format', '--baseline', '--update-baseline'], ['--strict']);
+    if (parsed === undefined)
+        return undefined;
+    const format = parsed.valueFlags.get('--format');
+    if (format !== undefined && format !== 'json' && format !== 'sarif') {
+        return undefined;
     }
+    const baselinePath = parsed.valueFlags.get('--baseline');
+    const updateBaselinePath = parsed.valueFlags.get('--update-baseline');
     if (baselinePath !== undefined && updateBaselinePath !== undefined) {
         return undefined;
     }
     return {
-        strict,
+        strict: parsed.booleanFlags.has('--strict'),
         format: format ?? 'json',
         baselinePath,
         updateBaselinePath,
-        inputPaths,
+        inputPaths: [...parsed.positionals],
     };
 }
 /** 베이스라인 파일을 읽고 크기 상한 안에서 검증된 문서로 파싱한다. */
@@ -127,15 +94,6 @@ async function readBaselineDocument(path, readTextFile) {
     }
     return parseBaselineDocument(parsed);
 }
-/**
- * 사용자 입력 JSON 파싱 실패인지 확인한다.
- *
- * 깊은 중첩은 SyntaxError가 아니라 RangeError(스택 초과)로 실패한다.
- * 둘 다 입력 탓이라 내부 오류 메시지로 오분류하지 않는다.
- */
-function isJsonParseFailure(error) {
-    return error instanceof SyntaxError || error instanceof RangeError;
-}
 /** 현재 이슈 전체를 결정적 베이스라인 문서로 써서 해결된 항목을 정리한다. */
 async function writeBaselineDocument(path, issues, generatedAt, writeTextFile) {
     let document;
@@ -194,101 +152,8 @@ class BridgeBaselineWriteLimitError extends Error {
         this.name = 'BridgeBaselineWriteLimitError';
     }
 }
-/** 입력을 순서대로 읽어 파일 수·메모리 상한 안에서 교환 문서로 파싱한다. */
-export async function readBridgeDocuments(inputPaths, readTextFile) {
-    const documents = [];
-    let totalTextLength = 0;
-    for (const [index, path] of inputPaths.entries()) {
-        const inputPosition = index + 1;
-        let text;
-        try {
-            text = await readTextFile(path);
-        }
-        catch {
-            throw new BridgeInputReadError(inputPosition);
-        }
-        totalTextLength += text.length;
-        if (text.length > MAX_INPUT_TEXT_LENGTH ||
-            totalTextLength > MAX_TOTAL_INPUT_TEXT_LENGTH) {
-            throw new BridgeInputLimitError(inputPosition);
-        }
-        // JSON 구문 오류와 문서 검증 실패를 같은 try로 감싸면 검증기의 예외가
-        // 구문 오류로 오분류된다. 파싱과 검증을 나눠 분류 경계를 지킨다.
-        let parsed;
-        try {
-            parsed = JSON.parse(text);
-        }
-        catch (error) {
-            if (isJsonParseFailure(error)) {
-                throw new BridgeInputJsonError(inputPosition);
-            }
-            throw error;
-        }
-        try {
-            documents.push(parseBridgeFactsDocument(parsed));
-        }
-        catch (error) {
-            if (error instanceof BridgeFactsValidationError) {
-                throw new BridgeInputContractError(inputPosition, error.message);
-            }
-            throw error;
-        }
-    }
-    return documents;
-}
-/** 실패한 입력의 1부터 시작하는 순서를 보존하는 입력 오류다. */
-class BridgeInputError extends Error {
-    inputPosition;
-    constructor(name, inputPosition) {
-        super(`${name} at input ${inputPosition}`);
-        this.name = name;
-        this.inputPosition = inputPosition;
-    }
-}
-/** 입력 파일을 읽지 못한 경우를 구분한다. */
-class BridgeInputReadError extends BridgeInputError {
-    constructor(inputPosition) {
-        super('BridgeInputReadError', inputPosition);
-    }
-}
-/** 입력 텍스트가 JSON이 아닌 경우를 구분한다. */
-class BridgeInputJsonError extends BridgeInputError {
-    constructor(inputPosition) {
-        super('BridgeInputJsonError', inputPosition);
-    }
-}
-/** 입력 문서가 교환 계약을 어긴 경우와 그 이유를 구분한다. */
-class BridgeInputContractError extends BridgeInputError {
-    reason;
-    constructor(inputPosition, reason) {
-        super('BridgeInputContractError', inputPosition);
-        this.reason = reason;
-    }
-}
-/** 입력 텍스트의 크기만 계약을 넘은 경우를 구분한다. */
-class BridgeInputLimitError extends BridgeInputError {
-    constructor(inputPosition) {
-        super('BridgeInputLimitError', inputPosition);
-    }
-}
-/** 알려진 입력·조인 실패를 원인별 해결 방향을 담은 코드 2 결과로 바꾼다. */
-export function inputFailureResult(error) {
-    if (error instanceof BridgeInputReadError) {
-        return inputFailure(`Unable to read bridge facts input ${error.inputPosition}; `
-            + 'check that the file exists and is readable.\n');
-    }
-    if (error instanceof BridgeInputJsonError) {
-        return inputFailure(`Bridge facts input ${error.inputPosition} is not valid JSON; `
-            + 'regenerate it with a bridge-facts producer.\n');
-    }
-    if (error instanceof BridgeInputContractError) {
-        return inputFailure(`Bridge facts input ${error.inputPosition} violates the bridge-facts `
-            + `contract: ${error.reason}\n`);
-    }
-    if (error instanceof BridgeInputLimitError) {
-        return inputFailure(`Bridge facts input ${error.inputPosition} exceeds the input size limits; `
-            + 'split the extraction into smaller documents.\n');
-    }
+/** check 고유의 baseline 실패를 원인별 해결 방향을 담은 코드 2로 바꾼다. */
+function baselineFailureResult(error) {
     if (error instanceof BridgeBaselineReadError) {
         return inputFailure('Unable to read the baseline file; check that it exists and is readable.\n');
     }
@@ -311,31 +176,8 @@ export function inputFailureResult(error) {
         return inputFailure(`The baseline file is not a valid isthmus-baseline document: `
             + `${error.message}\n`);
     }
-    if (error instanceof BridgeJoinValidationError) {
-        return inputFailure(`${error.message}\n`);
-    }
     return undefined;
 }
-/** 원인 메시지만 stdout 없이 코드 2로 내보낸다. */
-function inputFailure(standardError) {
-    return { standardOutput: '', standardError, exitCode: 2 };
-}
-/** 전체 조인 보류를 깨끗한 결과와 구분하는 코드 2 결과로 바꾼다. */
-export function bridgeJoinDeferredError() {
-    return {
-        standardOutput: '',
-        standardError: 'Bridge facts could not be joined; split mixed bridge targets and retry.\n',
-        exitCode: 2,
-    };
-}
-/** 내부 결함을 입력 탓으로 돌리지 않는 경로 없는 코드 2 결과다. */
-export function internalError() {
-    return {
-        standardOutput: '',
-        standardError: 'Internal isthmus error; retry with a current version.\n',
-        exitCode: 2,
-    };
-}
 /** 잘못된 CLI 호출을 경로 없는 사용법과 코드 64로 바꾼다. */
 function usageError() {
     return {
@@ -349,4 +191,8 @@ export const checkUsage = 'Usage: isthmus check <bridge-facts.json> <bridge-fact
     + '[more...] [--strict] [--format json|sarif] '
     + '[--baseline <isthmus-baseline.json>] '
     + '[--update-baseline <isthmus-baseline.json>]';
+/** 논리 이슈 키의 SHA-256 지문이다. SARIF partialFingerprints에 쓴다. */
+function issueFingerprint(issue) {
+    return createHash('sha256').update(baselineEntryKey(issue)).digest('hex');
+}
 //# sourceMappingURL=check-command.js.map

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,EACL,0BAA0B,EAC1B,wBAAwB,GAEzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,yBAAyB,EACzB,oBAAoB,EACpB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,aAAa,EACb,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,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;AAS5D,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;YAAE,OAAO,uBAAuB,EAAE,CAAC;QACnE,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,CAAC,CAAC;YACzD,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,aAAa,EAAE,CAAC;IACtD,CAAC;AACH,CAAC;AAED,iDAAiD;AACjD,SAAS,iBAAiB,CACxB,IAAuB;IAQvB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,MAAqC,CAAC;IAC1C,IAAI,YAAgC,CAAC;IACrC,IAAI,kBAAsC,CAAC;IAC3C,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC7C,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC5B,MAAM,GAAG,IAAI,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,KAAK,UAAU,IAAI,QAAQ,KAAK,YAAY,IAAI,QAAQ,KAAK,mBAAmB,EAAE,CAAC;YAC7F,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,kDAAkD;YAClD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvE,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,OAAO,CAAC,EAAE,CAAC;oBACpE,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,MAAM,GAAG,KAAK,CAAC;YACjB,CAAC;iBAAM,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;gBACrC,IAAI,YAAY,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACjD,YAAY,GAAG,KAAK,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,IAAI,kBAAkB,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACvD,kBAAkB,GAAG,KAAK,CAAC;YAC7B,CAAC;YACD,KAAK,EAAE,CAAC;YACR,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAC/C,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,YAAY,KAAK,SAAS,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACnE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,MAAM;QACN,MAAM,EAAE,MAAM,IAAI,MAAM;QACxB,YAAY;QACZ,kBAAkB;QAClB,UAAU;KACX,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;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,KAAc;IACxC,OAAO,KAAK,YAAY,WAAW,IAAI,KAAK,YAAY,UAAU,CAAC;AACrE,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,+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,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,gDAAgD;AAChD,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,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,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,SAAS,YAAY,CAAC,aAAqB;IACzC,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,uBAAuB;IACrC,OAAO;QACL,cAAc,EAAE,EAAE;QAClB,aAAa,EACX,2EAA2E;QAC7E,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;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","sourcesContent":["import {\n  BridgeFactsValidationError,\n  parseBridgeFactsDocument,\n  type BridgeFactsDocument,\n} from '../exchange/parse.ts';\nimport {\n  BridgeJoinValidationError,\n  isBridgeJoinDeferred,\n  joinBridgeDocuments,\n  MAX_DOCUMENTS_PER_JOIN,\n} from '../join/join.ts';\nimport {\n  applyBaseline,\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';\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/** check가 내는 보고서 형식이다. SARIF는 isthmus 소유의 additive 출력이다. */\nexport type CheckOutputFormat = 'json' | 'sarif';\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/** CLI가 프로세스 경계에 쓸 출력과 종료 코드다. */\nexport interface CommandResult {\n  readonly standardOutput: string;\n  readonly standardError: string;\n  readonly exitCode: 0 | 1 | 2 | 64;\n}\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)) return bridgeJoinDeferredError();\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))\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) ?? 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  let strict = false;\n  let format: CheckOutputFormat | undefined;\n  let baselinePath: string | undefined;\n  let updateBaselinePath: string | undefined;\n  const inputPaths: string[] = [];\n  for (let index = 0; index < rest.length; index++) {\n    const argument = rest[index];\n    if (argument === undefined) return undefined;\n    if (argument === '--strict') {\n      strict = true;\n      continue;\n    }\n    if (argument === '--format' || argument === '--baseline' || argument === '--update-baseline') {\n      const value = rest[index + 1];\n      // 빈 값은 경로가 아니라 호출 오류다. 읽기 실패(코드 2)보다 사용법(64)이 맞다.\n      if (value === undefined || value.length === 0 || value.startsWith('-')) {\n        return undefined;\n      }\n      if (argument === '--format') {\n        if (format !== undefined || (value !== 'json' && value !== 'sarif')) {\n          return undefined;\n        }\n        format = value;\n      } else if (argument === '--baseline') {\n        if (baselinePath !== undefined) return undefined;\n        baselinePath = value;\n      } else {\n        if (updateBaselinePath !== undefined) return undefined;\n        updateBaselinePath = value;\n      }\n      index++;\n      continue;\n    }\n    if (argument.startsWith('-')) return undefined;\n    inputPaths.push(argument);\n  }\n  if (baselinePath !== undefined && updateBaselinePath !== undefined) {\n    return undefined;\n  }\n  return {\n    strict,\n    format: format ?? 'json',\n    baselinePath,\n    updateBaselinePath,\n    inputPaths,\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/**\n * 사용자 입력 JSON 파싱 실패인지 확인한다.\n *\n * 깊은 중첩은 SyntaxError가 아니라 RangeError(스택 초과)로 실패한다.\n * 둘 다 입력 탓이라 내부 오류 메시지로 오분류하지 않는다.\n */\nfunction isJsonParseFailure(error: unknown): boolean {\n  return error instanceof SyntaxError || error instanceof RangeError;\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/** 입력을 순서대로 읽어 파일 수·메모리 상한 안에서 교환 문서로 파싱한다. */\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/** 실패한 입력의 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 결과로 바꾼다. */\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 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  if (error instanceof BridgeJoinValidationError) {\n    return inputFailure(`${error.message}\\n`);\n  }\n  return undefined;\n}\n\n/** 원인 메시지만 stdout 없이 코드 2로 내보낸다. */\nfunction inputFailure(standardError: string): CommandResult {\n  return { standardOutput: '', standardError, exitCode: 2 };\n}\n\n/** 전체 조인 보류를 깨끗한 결과와 구분하는 코드 2 결과로 바꾼다. */\nexport function bridgeJoinDeferredError(): CommandResult {\n  return {\n    standardOutput: '',\n    standardError:\n      'Bridge facts could not be joined; split mixed bridge targets and retry.\\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\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"]}
+{"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"]}

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

@@ -0,0 +1,48 @@
+import type { BridgeFactsDocument } from '../exchange/parse.ts';
+/**
+ * 모든 분석 하위 명령이 공유하는 CLI 인프라다.
+ *
+ * 입력 문서 읽기·예산, 입력 실패의 분류와 메시지, 프로세스 경계 결과 형태를
+ * 한 곳에 모아 check-command의 편중을 떼어낸다. baseline 같은 명령 고유
+ * 오류는 각 명령이 자신의 실패 매퍼를 덧붙이는 방식으로 확장한다.
+ */
+/** 파일 경로를 받아 UTF-8 텍스트를 읽는 주입 경계다. */
+export type ReadTextFile = (path: string) => Promise<string>;
+/** 파일 경로에 UTF-8 텍스트를 쓰는 주입 경계다. */
+export type WriteTextFile = (path: string, text: string) => Promise<void>;
+/** 생성 시각을 테스트 가능하게 주입하는 시계다. */
+export type Clock = () => Date;
+/** CLI가 프로세스 경계에 쓸 출력과 종료 코드다. */
+export interface CommandResult {
+    readonly standardOutput: string;
+    readonly standardError: string;
+    readonly exitCode: 0 | 1 | 2 | 64;
+}
+/** 한 입력 파일에서 허용하는 최대 UTF-16 문자열 길이다. */
+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, initialTextLength?: number): Promise<BridgeFactsDocument[]>;
+/**
+ * 사용자 입력 JSON 파싱 실패인지 확인한다.
+ *
+ * 깊은 중첩은 SyntaxError가 아니라 RangeError(스택 초과)로 실패한다.
+ * 둘 다 입력 탓이라 내부 오류 메시지로 오분류하지 않는다.
+ */
+export declare function isJsonParseFailure(error: unknown): boolean;
+/** 알려진 입력·조인 실패를 원인별 해결 방향을 담은 코드 2 결과로 바꾼다.
+
+명령 고유의 입력(baseline 등)은 각 명령이 자신의 매퍼를 이 뒤에 붙인다. */
+export declare function inputFailureResult(error: unknown): CommandResult | undefined;
+/** 원인 메시지만 stdout 없이 코드 2로 내보낸다. */
+export declare function inputFailure(standardError: string): CommandResult;
+/**
+ * 전체 조인 보류를 깨끗한 결과와 구분하는 코드 2 결과로 바꾼다.
+ *
+ * 관찰량을 숫자 보간으로 함께 알린다. 보류된 조인은 문서를 출력하지 않으므로,
+ * 이 숫자가 "몇 개를 봤는데 못 조인했는지"가 도달하는 유일한 경로다.
+ */
+export declare function bridgeJoinDeferredError(observedFacts: number, documentCount: number): CommandResult;
+/** 내부 결함을 입력 탓으로 돌리지 않는 경로 없는 코드 2 결과다. */
+export declare function internalError(): CommandResult;

package/dist/cli/command-support.js

@@ -0,0 +1,144 @@
+import { BridgeFactsValidationError, parseBridgeFactsDocument, } from "../exchange/parse.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, initialTextLength = 0) {
+    const documents = [];
+    let totalTextLength = initialTextLength;
+    for (const [index, path] of inputPaths.entries()) {
+        const inputPosition = index + 1;
+        let text;
+        try {
+            text = await readTextFile(path);
+        }
+        catch {
+            throw new BridgeInputReadError(inputPosition);
+        }
+        totalTextLength += text.length;
+        if (text.length > MAX_INPUT_TEXT_LENGTH ||
+            totalTextLength > MAX_TOTAL_INPUT_TEXT_LENGTH) {
+            throw new BridgeInputLimitError(inputPosition);
+        }
+        // JSON 구문 오류와 문서 검증 실패를 같은 try로 감싸면 검증기의 예외가
+        // 구문 오류로 오분류된다. 파싱과 검증을 나눠 분류 경계를 지킨다.
+        let parsed;
+        try {
+            parsed = JSON.parse(text);
+        }
+        catch (error) {
+            if (isJsonParseFailure(error)) {
+                throw new BridgeInputJsonError(inputPosition);
+            }
+            throw error;
+        }
+        try {
+            documents.push(parseBridgeFactsDocument(parsed));
+        }
+        catch (error) {
+            if (error instanceof BridgeFactsValidationError) {
+                throw new BridgeInputContractError(inputPosition, error.message);
+            }
+            throw error;
+        }
+    }
+    return documents;
+}
+/**
+ * 사용자 입력 JSON 파싱 실패인지 확인한다.
+ *
+ * 깊은 중첩은 SyntaxError가 아니라 RangeError(스택 초과)로 실패한다.
+ * 둘 다 입력 탓이라 내부 오류 메시지로 오분류하지 않는다.
+ */
+export function isJsonParseFailure(error) {
+    return error instanceof SyntaxError || error instanceof RangeError;
+}
+/** 실패한 입력의 1부터 시작하는 순서를 보존하는 입력 오류다. */
+class BridgeInputError extends Error {
+    inputPosition;
+    constructor(name, inputPosition) {
+        super(`${name} at input ${inputPosition}`);
+        this.name = name;
+        this.inputPosition = inputPosition;
+    }
+}
+/** 입력 파일을 읽지 못한 경우를 구분한다. */
+class BridgeInputReadError extends BridgeInputError {
+    constructor(inputPosition) {
+        super('BridgeInputReadError', inputPosition);
+    }
+}
+/** 입력 텍스트가 JSON이 아닌 경우를 구분한다. */
+class BridgeInputJsonError extends BridgeInputError {
+    constructor(inputPosition) {
+        super('BridgeInputJsonError', inputPosition);
+    }
+}
+/** 입력 문서가 교환 계약을 어긴 경우와 그 이유를 구분한다. */
+class BridgeInputContractError extends BridgeInputError {
+    reason;
+    constructor(inputPosition, reason) {
+        super('BridgeInputContractError', inputPosition);
+        this.reason = reason;
+    }
+}
+/** 입력 텍스트의 크기만 계약을 넘은 경우를 구분한다. */
+class BridgeInputLimitError extends BridgeInputError {
+    constructor(inputPosition) {
+        super('BridgeInputLimitError', inputPosition);
+    }
+}
+/** 알려진 입력·조인 실패를 원인별 해결 방향을 담은 코드 2 결과로 바꾼다.
+
+명령 고유의 입력(baseline 등)은 각 명령이 자신의 매퍼를 이 뒤에 붙인다. */
+export function inputFailureResult(error) {
+    if (error instanceof BridgeInputReadError) {
+        return inputFailure(`Unable to read bridge facts input ${error.inputPosition}; `
+            + 'check that the file exists and is readable.\n');
+    }
+    if (error instanceof BridgeInputJsonError) {
+        return inputFailure(`Bridge facts input ${error.inputPosition} is not valid JSON; `
+            + 'regenerate it with a bridge-facts producer.\n');
+    }
+    if (error instanceof BridgeInputContractError) {
+        return inputFailure(`Bridge facts input ${error.inputPosition} violates the bridge-facts `
+            + `contract: ${error.reason}\n`);
+    }
+    if (error instanceof BridgeInputLimitError) {
+        return inputFailure(`Bridge facts input ${error.inputPosition} exceeds the input size limits; `
+            + 'split the extraction into smaller documents.\n');
+    }
+    if (error instanceof BridgeJoinValidationError) {
+        return inputFailure(`${error.message}\n`);
+    }
+    return undefined;
+}
+/** 원인 메시지만 stdout 없이 코드 2로 내보낸다. */
+export function inputFailure(standardError) {
+    return { standardOutput: '', standardError, exitCode: 2 };
+}
+/**
+ * 전체 조인 보류를 깨끗한 결과와 구분하는 코드 2 결과로 바꾼다.
+ *
+ * 관찰량을 숫자 보간으로 함께 알린다. 보류된 조인은 문서를 출력하지 않으므로,
+ * 이 숫자가 "몇 개를 봤는데 못 조인했는지"가 도달하는 유일한 경로다.
+ */
+export function bridgeJoinDeferredError(observedFacts, documentCount) {
+    return {
+        standardOutput: '',
+        standardError: 'Bridge facts could not be joined; split mixed bridge targets and retry. '
+            + `The inputs observed ${observedFacts} facts across ${documentCount} documents.\n`,
+        exitCode: 2,
+    };
+}
+/** 내부 결함을 입력 탓으로 돌리지 않는 경로 없는 코드 2 결과다. */
+export function internalError() {
+    return {
+        standardOutput: '',
+        standardError: 'Internal isthmus error; retry with a current version.\n',
+        exitCode: 2,
+    };
+}
+//# sourceMappingURL=command-support.js.map

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

@@ -0,0 +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,EAC1B,iBAAiB,GAAG,CAAC;IAErB,MAAM,SAAS,GAA0B,EAAE,CAAC;IAC5C,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,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  initialTextLength = 0,\n): Promise<BridgeFactsDocument[]> {\n  const documents: BridgeFactsDocument[] = [];\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    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"]}

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

@@ -1,4 +1,4 @@
-import { type CommandResult, type ReadTextFile } from './check-command.ts';
+import { type CommandResult, type ReadTextFile } from './command-support.ts';
 /** 전후 교환 파일을 하나의 입력 예산으로 읽어 새 경계 오류만 CI 실패로 표시한다. */
 export declare function runDiffCommand(arguments_: readonly string[], readTextFile: ReadTextFile): Promise<CommandResult>;
 /** 각 snapshot은 caller와 receiver 문서를 함께 제공해야 한다. */

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 { internalError, inputFailureResult, readBridgeDocuments, } from "./check-command.js";
+import { inputFailureResult, internalError, readBridgeDocuments, } from "./command-support.js";
 /** 전후 교환 파일을 하나의 입력 예산으로 읽어 새 경계 오류만 CI 실패로 표시한다. */
 export async function runDiffCommand(arguments_, readTextFile) {
     const strictFlags = arguments_.filter((argument) => argument === '--strict');

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,aAAa,EACb,kBAAkB,EAClB,mBAAmB,GAGpB,MAAM,oBAAoB,CAAC;AAE5B,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  internalError,\n  inputFailureResult,\n  readBridgeDocuments,\n  type CommandResult,\n  type ReadTextFile,\n} from './check-command.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,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"]}

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

@@ -1,4 +1,4 @@
-import { type CommandResult, type ReadTextFile } from './check-command.ts';
+import { type CommandResult, type ReadTextFile } from './command-support.ts';
 /** graph 인자를 실행해 경계 그래프와 종료 코드를 반환한다. */
 export declare function runGraphCommand(arguments_: readonly string[], readTextFile: ReadTextFile): Promise<CommandResult>;
 /** graph 명령의 한 줄 사용법이다. */