isthmus-cli 0.5.0 → 0.6.0

package/README.ko.md

@@ -1,7 +1,7 @@
 # isthmus
 
 크로스플랫폼 앱에서 **언어 경계를 넘는 호출**을 그래프로 잇는 도구.
-[cartograph](https://github.com/ictechgy/cartograph)(Swift) · kartograph(Kotlin, 예정) ·
+[cartograph](https://github.com/ictechgy/cartograph)(Swift) · [kartograph](https://github.com/ictechgy/kartograph)(Kotlin) ·
 [dartograph](https://github.com/ictechgy/dartograph)(Dart)가 각자 그린 지도를 하나로 붙인다.
 
 [English](README.md)
@@ -22,36 +22,25 @@ React Native나 Flutter 앱의 네이티브 코드는 JS/Dart가 **문자열 이
 
 isthmus는 각 언어 도구가 내보낸 **브리지 사실**(채널 이름 · 메서드 이름 · 등록 지점 ·
 호출 지점)을 문자열 키로 조인해서, 경계를 넘는 간선을 만들고 위 세 가지를 답한다.
-그리고 그 결과를 cartograph/kartograph에 **보존 근거로 돌려준다** — "Swift
+그리고 그 결과를 cartograph에 **보존 근거로 돌려준다** — "Swift
 `CameraHandler.takePhoto`는 `lib/camera.dart:42`가 채널 `com.example/camera`로 부르므로
 보존".
 
 ## 상태
 
-**0.5.0.** CLI 사용성을 통일하고 진단 가독성을 높였다: 모든 명령에서 옵션이 입력
-파일 앞뒤 어디에 와도 동작하고(`-`로 시작하는 경로는 `--` 구분자 뒤에 쓴다),
-`-h`/`--help`는 임의 위치에서 이기며 `help <command>`가 명령별 사용법을 낸다.
-조인이 보류되면 어느 명령이든 관찰한 fact 수·문서 수를 함께 알리고
-(check·graph·query·retentions·diff), query의 `notFound`·`ambiguous`는 원인 한 줄을
-stderr에 출력한다. query `qualifiedName`은 `:`까지 이스케이프해 첫 `:`와 `#` 기준
-분해가 가역이다. 내부로는 공유 CLI 인프라를 check-command에서 분리하고 SARIF 지문
-해싱을 주입해 report 계층이 Node 내장 모듈에 의존하지 않으며, diff 문서 형태를
-`BridgeDiffDocument`로 명시했다. 출력 문서·종료 코드·필드는 불변이고 0.4.1과 값이
-달라지는 것은 이름에 `:`를 포함하는 채널·메서드의 `qualifiedName`뿐이다.
-0.4.0의 추가 사항 — GitHub code scanning용 check SARIF 2.1.0 렌더링(`check --format sarif`,
-additive, 소스 줄 이동에 강한 논리 키 지문), 브리지가 없는 프로젝트와 아무것도
-관찰하지 못한 실행을 구분하는 check summary 관찰량(`observedFacts`·`observedLimitations`),
-다중 호출자 보존 근거(`evidence.callers` — 근거당 상한·명시적 `callersOmitted` 계수,
-단일 호출자는 기존과 바이트 동일), 인덱스 없이 빌드된 Objective-C 핸들러의 usr 없는
-`qualifiedName` 신원 — 과 0.3.0의 핵심 계약·명령은 그대로 유지된다. 외부 입력·
-혼합 target·그래프 크기·Dart/Swift Phase 0 추출 경계는 fail-closed를 유지하고,
-조인하지 못한 사실은 소비자 쪽에서 다시 세며 근거를 만들지 못한 보존 대상은 조용히
-사라지는 대신 실패로 보고한다. 수신 측이 신고한 분석 공백은 불일치가 아니라 판정
-불가로 보고되고 공백 완화는 target을 넘지 않는다. 다음 단계는 실제 Flutter 앱
-도그푸딩과 React Native 지원이다.
-
-정식 producer는 cartograph 0.5.3 이상과 dartograph 0.1.1 이상이다. 두 도구의 실제 출력과
-공개 battery 플러그인의 Swift USR·Dart 호출 근거 왕복을 검증했다.
+**0.6.0**은 Flutter Dart ↔ Swift/Kotlin 변경 사전 점검, MethodChannel·Pigeon/BasicMessageChannel
+사실, 명시한 런타임 시나리오 대조와 내용 기반 수집 캐시를 지원한다. `impact
+--file`/`--symbol`/`--changes`(정보 손실 없는 `--compact` JSON과 분석 공백도 실패시키는
+`--strict` 포함), producer 전이 영향 경로를 다루는 `preflight <context.json>`의
+`--summary`/`--explain`, `verify-runtime --expectations`가 추가됐다. 실제 macOS·Android
+검증 앱에서 공개 플러그인 API를 실행했다. 설정과 측정 범위는 [사전 점검](docs/PREFLIGHT.md),
+[런타임 검증](docs/RUNTIME.md), [고정 소스 구축](docs/TOOLCHAIN.md)을 참조한다.
+
+npm 발행본은 **0.6.0**이며 위 기능은 호환되는 producer 개발 commit이 필요하다. 발행된
+Dart/Swift MethodChannel 절차는 cartograph 0.5.3 이상과 dartograph 0.1.1 이상을 사용하며
+공개 battery 플러그인으로 검증했다. Message channel 지원은 현재 개발 producer가 필요하다.
+React Native·EventChannel 추출은 계획이고 보존 근거 내보내기는 현재 cartograph(Swift)를
+대상으로 한다. 앱 전체 적용 범위와 최초 외부 사용자 구축은 아직 검증하지 않았다.
 
 | 문서 | 내용 |
 |---|---|
@@ -93,7 +82,38 @@ npx isthmus-cli --help
 
 ## 사용
 
-isthmus는 자매 도구를 직접 실행하지 않는다. 각 도구가 만든 JSON 파일을 전달하면 된다.
+`impact --file`·`--symbol`·`--changes` 사전 점검과 정보 손실 없는 `--compact`, 분석
+공백도 실패시키는 `--strict`를 제공한다. 빌드·계약·현재 브리지 한정 범위는
+[변경 사전 점검](docs/IMPACT.md)을 참조한다.
+Android 개발 지원은 `selection.kotlin`과 Kartograph snapshot을 사용한다. Kotlin Method/Basic
+사실을 Dart 소비자에 연결하고 Android 실행은 Kotlin 후보에만 대조한다.
+[Android 수집 설정](docs/PREFLIGHT.md#android-수집)과 [선택적 Kotlin 도구 구축](docs/TOOLCHAIN.md)을 참조한다.
+`verify-runtime --expectations`는 revision·시나리오·플랫폼·엔진 인스턴스별
+통신 기록을 대조한다([계약](docs/RUNTIME.md)). 선택적 [Flutter 수집기](packages/isthmus_runtime/README.md)는
+실제 macOS·Android 앱에서 핸들러와 `url_launcher_macos 3.2.2`·
+`shared_preferences_android 2.4.1`의 Pigeon 생성 API로 검증했다.
+언어 내부 전이 영향 연결과 스냅샷 수집은 구현됐으며, 더 넓은 앱 적용 범위와
+처음 설치하는 사용자의 재현 절차는 검증 중이다.
+
+0.6.0의 `preflight <context.json> --strict --compact`는 producer의 전이 영향과
+브리지를 연결한다. 별도 수집 workflow는 명시된 입력의 내용 해시로 캐시를 재사용하며,
+실제 producer를 사용한 합성 소스 검증을 통과했다. 사용법·지원 경계·CI 설정은
+[언어 간 변경 사전 점검](docs/PREFLIGHT.md)을 참조한다. 실제 앱 전체 검증은 남아 있다.
+runtime JSON과 `--expectations <checks.json>`를 함께 주면 같은 revision의 실행과
+전이 분석을 대조하고, native 후보·미관찰 경계·시나리오 누락을 기존 정적 공백과 함께 보고한다.
+
+`preflight <context.json> --summary --strict --compact`로 작은 개요를 읽고,
+`--explain <exact-producer-symbol-id>`로 한 심볼의 전체 원인 경로를 조회한다.
+summary는 목록당 기본 20개(`--limit 1..100`)를 표시하며 생략한 항목도 검토 상태에 반영한다.
+선택적 [Basic/Pigeon v2 입력](docs/BRIDGE-MESSAGES.md)은 개발 producer로 literal 주소와
+증명된 prefix 후보를 연결한다. prefix의 suffix·instance 배선 불확실성은 유지한다.
+이 추가 기능에는 개발 producer가 필요하다.
+호환 개발 도구를 로컬 Git의 고정 commit에서 새로 구축하는 방법은
+[도구 구축 절차](docs/TOOLCHAIN.md)에 있다. Dart AOT 실행 파일, impact와 Basic을 함께
+제공하는 Cartograph, 격리 설치된 isthmus 패키지를 준비한다.
+
+isthmus CLI는 각 도구가 만든 JSON 파일을 읽는다. 선택적 수집 workflow는 설정에
+명시한 준비·producer 명령을 실행한다.
 
 ```bash
 isthmus check dart-bridges.json swift-bridges.json
@@ -364,7 +384,8 @@ JSON으로 출력한다. 연결에는 호출자와 핸들러 위치가 포함된
 이전 불일치가 더 이상 관찰되지 않는다는 뜻이며, 동적 전환·추출기 변경 때문인지 한계를
 함께 확인해야 한다. `--strict`은 인자 위치와 무관하게 인식하며 두 번 이상 줄 수 없다.
 
-현재 diff는 Flutter의 Dart·Swift 문서만 받는다. 각 시점에 두 플랫폼이 모두 필요하며,
+개발 소스의 diff는 Flutter Dart와 Swift 또는 Kotlin 문서를 받는다. 한 비교에는 native 언어
+하나만 사용하며 각 시점에 호출/수신 문서가 모두 필요하다.
 양 시점의 `project`와 플랫폼·도구별 문서 개수가 같아야 한다. 한 checkout의 같은
 경로에서 각 revision을 빌드해 JSON을 보관한다. 일부 파일만 추출한 결과와 전체 결과를
 비교하지 말고 같은 분석 설정을 사용한다. 입력 파일은 합계 256개, 텍스트 길이 제한은

package/README.md

@@ -1,7 +1,7 @@
 # isthmus
 
 **Cross-language bridge calls in cross-platform apps, joined into one graph.**
-[cartograph](https://github.com/ictechgy/cartograph) (Swift) · kartograph (Kotlin, planned) ·
+[cartograph](https://github.com/ictechgy/cartograph) (Swift) · [kartograph](https://github.com/ictechgy/kartograph) (Kotlin) ·
 [dartograph](https://github.com/ictechgy/dartograph) (Dart) each draw their own map; isthmus
 joins them into one.
 
@@ -24,39 +24,26 @@ see these strings. As a result:
 
 isthmus joins the **bridge facts** each language tool exports (channel names, method names,
 registration sites, invocation sites) by string key, builds the edges that cross the boundary,
-and answers those three questions. It then hands the result **back to cartograph/kartograph as
+and answers those three questions. It then hands the result **back to cartograph as
 retention evidence** — "keep Swift `CameraHandler.takePhoto`, because `lib/camera.dart:42`
 calls it over channel `com.example/camera`".
 
 ## Status
 
-**0.5.0.** Makes the CLI consistent and its diagnostics more legible: options may appear
-before or after the input files in every command (with a `--` escape for `-`-leading paths),
-`-h`/`--help` wins from any position alongside `help <command>`, deferred joins report how
-many observed facts could not be joined (check, graph, query, retentions, and diff),
-`notFound`/`ambiguous` queries state their cause on stderr, and query `qualifiedName` escapes
-`:` so splitting on the first `:` and `#` always recovers the names. Internally, shared CLI
-infrastructure moved out of check-command, the SARIF fingerprint hash is injected so the
-report layer stays free of Node built-ins, and the diff document shape is named
-(`BridgeDiffDocument`). Output documents, exit codes, and fields are unchanged — the only
-value that differs from 0.4.1 is the `qualifiedName` of channels or methods whose names
-contain `:`.
-The 0.4.0 additions — SARIF 2.1.0 rendering of check results for GitHub code scanning
-(`check --format sarif`, additive, with logic-key fingerprints that survive source line
-moves), observation volume in the check summary (`observedFacts`, `observedLimitations`),
-multi-caller retention evidence (`evidence.callers` with a per-retention cap and an explicit
-`callersOmitted` count, byte-identical for single callers), and usr-less `qualifiedName`
-identity for Objective-C handlers built without an index — and the core 0.3.0 contract and
-commands remain intact. isthmus keeps fail-closed behavior for external input, mixed targets,
-graph size, and the Dart/Swift Phase 0 extraction boundary. Facts that could not be joined
-are re-counted on the consumer side, and retention subjects whose evidence cannot be built
-are refused loudly, so neither disappears silently. Coverage gaps a receiver reports about
-itself come back as undecidable, not as mismatches, and gap mitigation never leaks across
-targets. Next: dogfooding it on a real Flutter app, and React Native support.
-
-The supported producers are cartograph 0.5.3+ and dartograph 0.1.1+. Both were verified on
-their real output, and on a Swift USR ↔ Dart invocation evidence round trip over the public
-battery plugin.
+**0.6.0** supports Flutter Dart ↔ Swift/Kotlin change preflight, MethodChannel and
+Pigeon/BasicMessageChannel facts, declared runtime scenarios, and content-based capture reuse.
+It adds `impact --file`/`--symbol`/`--changes` (with lossless `--compact` JSON and a
+gap-aware `--strict` gate), `preflight <context.json>` with `--summary`/`--explain` over
+producer impact paths, and `verify-runtime --expectations`. Actual macOS and Android fixture
+apps have exercised public plugin APIs. See [preflight](docs/PREFLIGHT.md),
+[runtime verification](docs/RUNTIME.md), and
+[building from pinned source commits](docs/TOOLCHAIN.md) for setup and measured limits.
+
+The published npm version is **0.6.0**; these features require compatible producer commits.
+The published Dart/Swift MethodChannel workflow uses cartograph 0.5.3+ and dartograph
+0.1.1+; message-channel support currently needs development producers.
+React Native and EventChannel extraction remain planned. Retention export currently targets
+cartograph (Swift). Full application coverage and first-time external setup remain unverified.
 
 | Document | Contents |
 |---|---|
@@ -101,7 +88,43 @@ Do not use `npx isthmus` — that installs a different package with the same nam
 
 ## Usage
 
-isthmus never runs the sister tools itself. You hand it the JSON files they produced:
+Change preflight is available with `impact --file`, `--symbol`, or `--changes`, plus
+lossless `--compact` JSON and a gap-aware `--strict` gate. See
+[change preflight](docs/IMPACT.md) for the build command, contract, and current
+bridge-only scope.
+Android development support uses `selection.kotlin` and a Kartograph snapshot. It connects
+Kotlin Method/Basic facts to Dart consumers and matches Android observations only to Kotlin
+candidates. See [Android capture](docs/PREFLIGHT.md#android-수집) and [toolchain builds](docs/TOOLCHAIN.md).
+`verify-runtime --expectations` checks recorded calls
+by revision, scenario, platform, and engine instance. See the [runtime contract](docs/RUNTIME.md).
+The optional [Flutter recorder](packages/isthmus_runtime/README.md) has been exercised
+in real macOS and Android apps, including the Pigeon-generated APIs of
+`url_launcher_macos 3.2.2` and `shared_preferences_android 2.4.1`. Transitive producer impact
+and snapshot capture are implemented; broader application coverage and first-time setup remain
+under validation.
+
+0.6.0 exposes `preflight <context.json> --strict --compact` to compose
+producer impact paths across the bridge. A separate capture workflow caches declared
+input content and has passed a synthetic source test with real producers. See
+[cross-language preflight](docs/PREFLIGHT.md) for the contract, CI setup, and remaining
+real-application validation.
+To combine that context with recorded execution, pass runtime JSON files and
+`--expectations <checks.json>`. Preflight reports revision alignment, native candidates,
+and static boundaries missing observations or declared scenarios; existing static gaps remain visible.
+
+Use `preflight <context.json> --summary --strict --compact` for a bounded overview, then
+`--explain <exact-producer-symbol-id>` for a complete path to one symbol. Summary defaults
+to 20 items per collection (`--limit 1..100`); omitted items still affect review status.
+Optional [Basic/Pigeon v2 inputs](docs/BRIDGE-MESSAGES.md) connect literal addresses and
+proven prefix candidates with development producers. Prefix matches preserve unresolved
+suffix and instance wiring. These additions require development producers.
+To build compatible development tools from pinned local Git commits, use the
+[toolchain build workflow (Korean)](docs/TOOLCHAIN.md). It produces a standalone
+Dart executable, a Cartograph executable with both impact and message support,
+and an isolated installation of the isthmus package.
+
+The isthmus CLI reads JSON produced by the sister tools. The optional capture workflow
+runs the preparation and producer commands declared in its configuration:
 
 ```bash
 isthmus check dart-bridges.json swift-bridges.json
@@ -393,7 +416,8 @@ analyzed". `resolvedIssues` likewise means a previous mismatch is no longer obse
 the limitations to see whether a dynamic transition or an extractor change caused it.
 `--strict` is recognized at any argument position and cannot be given more than once.
 
-`diff` currently accepts only Flutter Dart/Swift documents. Both platforms are required at
+Development `diff` accepts Flutter Dart plus either Swift or Kotlin documents. Keep one native language per comparison.
+Both sender and receiver documents are required at
 each point in time, and the two snapshots must agree on `project` and on the per-platform,
 per-tool document counts. Build each revision from the same checkout path and keep the JSON.
 Do not compare a partial extraction against a full one; use the same analysis settings. Input

package/Skills/isthmus/SKILL.md

@@ -1,9 +1,9 @@
 ---
 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; RN extraction is not supported.
 ---
 
 # isthmus
@@ -16,11 +16,88 @@ analysis evidence; it does not authorize source edits, deletion, publishing, or
 Use `isthmus-cli` 0.1.4+ (`isthmus` binary), cartograph 0.5.3+ and dartograph 0.1.1+.
 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 requires development Kotlin support: obtain Kotlin facts using
+`kartograph bridges --project <root> --target flutter --graph-file <snapshot.json>`.
+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
+  (development source, after 0.5.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: check `isthmus --help` for `impact` (added after the
+  published 0.5.0; currently requires a build of the development source).
+  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 +112,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 (development source, after 0.5.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/dist/cli/command-support.d.ts

@@ -23,7 +23,7 @@ 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[]>;
+export declare function readBridgeDocuments(inputPaths: readonly string[], readTextFile: ReadTextFile, initialTextLength?: number): Promise<BridgeFactsDocument[]>;
 /**
  * 사용자 입력 JSON 파싱 실패인지 확인한다.
  *

package/dist/cli/command-support.js

@@ -5,9 +5,9 @@ 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) {
+export async function readBridgeDocuments(inputPaths, readTextFile, initialTextLength = 0) {
     const documents = [];
-    let totalTextLength = 0;
+    let totalTextLength = initialTextLength;
     for (const [index, path] of inputPaths.entries()) {
         const inputPosition = index + 1;
         let text;

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,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/impact-command.d.ts

@@ -0,0 +1,5 @@
+import type { CommandResult, ReadTextFile } from './command-support.ts';
+/** 파일·심볼·CI 변경 목록을 브리지 영향 보고서로 바꾸는 CLI 경계다. */
+export declare function runImpactCommand(arguments_: readonly string[], readTextFile: ReadTextFile): Promise<CommandResult>;
+/** impact 명령의 독립적인 선택 방식과 CI 실패 옵션이다. */
+export declare const impactUsage: string;

package/dist/cli/impact-command.js

@@ -0,0 +1,111 @@
+import { ImpactSelectionValidationError, parseImpactSelection } from "../exchange/impact-selection.js";
+import { isSafeNonEmptyString } from "../exchange/parse.js";
+import { parseBridgeRuntime, RuntimeValidationError } from "../exchange/runtime.js";
+import { MAX_DOCUMENTS_PER_JOIN } from "../join/join.js";
+import { createBridgeImpact, encodeBridgeImpact, hasImpactBlockers } from "../report/impact.js";
+import { inputFailure, inputFailureResult, internalError, isJsonParseFailure, MAX_INPUT_TEXT_LENGTH, readBridgeDocuments, } from "./command-support.js";
+import { parseCommandArguments } from "./parse-arguments.js";
+/** 파일·심볼·CI 변경 목록을 브리지 영향 보고서로 바꾸는 CLI 경계다. */
+export async function runImpactCommand(arguments_, readTextFile) {
+    const parsed = parseCommandArguments(arguments_.slice(1), ['--file', '--symbol', '--changes', '--runtime', '--revision'], ['--strict', '--compact']);
+    if (parsed === undefined || ['--file', '--symbol', '--changes'].filter((flag) => parsed.valueFlags.has(flag)).length !== 1 ||
+        parsed.positionals.length < 2 || parsed.positionals.length > MAX_DOCUMENTS_PER_JOIN) {
+        return usageError();
+    }
+    const runtimePath = parsed.valueFlags.get('--runtime');
+    const revision = parsed.valueFlags.get('--revision');
+    if ((runtimePath === undefined) !== (revision === undefined) ||
+        (revision !== undefined && !isSafeNonEmptyString(revision)))
+        return usageError();
+    try {
+        let selection;
+        let supplementalTextLength = 0;
+        const changesPath = parsed.valueFlags.get('--changes');
+        if (changesPath !== undefined) {
+            const loaded = await readSupplemental(changesPath, readTextFile, 'changes', parseImpactSelection);
+            if ('exitCode' in loaded)
+                return loaded;
+            selection = loaded.document;
+            supplementalTextLength += loaded.textLength;
+        }
+        else {
+            const file = parsed.valueFlags.get('--file');
+            const symbol = parsed.valueFlags.get('--symbol');
+            try {
+                selection = parseImpactSelection({ format: 'isthmus-changes', version: 1,
+                    files: file === undefined ? [] : [file], symbols: symbol === undefined ? [] : [symbol] });
+            }
+            catch (error) {
+                if (error instanceof ImpactSelectionValidationError)
+                    return usageError();
+                throw error;
+            }
+        }
+        let runtime;
+        if (runtimePath !== undefined && revision !== undefined) {
+            const loaded = await readSupplemental(runtimePath, readTextFile, 'runtime', parseBridgeRuntime);
+            if ('exitCode' in loaded)
+                return loaded;
+            supplementalTextLength += loaded.textLength;
+            runtime = { document: loaded.document, revision };
+        }
+        const documents = await readBridgeDocuments(parsed.positionals, readTextFile, supplementalTextLength);
+        const report = createBridgeImpact(documents, selection, runtime);
+        const blocked = parsed.booleanFlags.has('--strict') && hasImpactBlockers(report);
+        return {
+            standardOutput: encodeBridgeImpact(report, parsed.booleanFlags.has('--compact')),
+            standardError: blocked
+                ? 'Change preflight requires review: related errors, analysis gaps, or unobserved selectors remain.\n'
+                : report.status === 'unobserved'
+                    ? 'No selected bridge facts were observed; inspect source coverage and use a pre-change snapshot for deleted code.\n'
+                    : '',
+            exitCode: blocked ? 1 : 0,
+        };
+    }
+    catch (error) {
+        if (error instanceof RuntimeValidationError)
+            return inputFailure(`${error.message}\n`);
+        return inputFailureResult(error) ?? internalError();
+    }
+}
+/** 변경 파일도 브리지 입력과 같은 읽기·구문·계약 실패 경계를 지킨다. */
+async function readSupplemental(path, readTextFile, kind, parse) {
+    const label = kind === 'changes' ? 'Changes' : 'Runtime';
+    const format = kind === 'changes' ? 'isthmus-changes' : 'bridge-runtime';
+    let text;
+    try {
+        text = await readTextFile(path);
+    }
+    catch {
+        return inputFailure(`Unable to read ${kind} input; check that the file exists and is readable.\n`);
+    }
+    if (text.length > MAX_INPUT_TEXT_LENGTH)
+        return inputFailure(`${label} input exceeds the input size limit.\n`);
+    let value;
+    try {
+        value = JSON.parse(text);
+    }
+    catch (error) {
+        if (isJsonParseFailure(error))
+            return inputFailure(`${label} input is not valid JSON.\n`);
+        throw error;
+    }
+    try {
+        return { document: parse(value), textLength: text.length };
+    }
+    catch (error) {
+        if (error instanceof ImpactSelectionValidationError || error instanceof RuntimeValidationError) {
+            return inputFailure(`${label} input violates the ${format} contract: ${error.message}\n`);
+        }
+        throw error;
+    }
+}
+/** 잘못된 인수는 입력을 읽기 전에 코드 64로 거부한다. */
+function usageError() {
+    return { standardOutput: '', standardError: `${impactUsage}\n`, exitCode: 64 };
+}
+/** impact 명령의 독립적인 선택 방식과 CI 실패 옵션이다. */
+export const impactUsage = 'Usage: isthmus impact (--file <relative-path> | --symbol <name-or-usr> '
+    + '| --changes <changes.json>) <bridge-facts.json> <bridge-facts.json> [more...] '
+    + '[--runtime <runtime.json> --revision <revision>] [--strict] [--compact]';
+//# sourceMappingURL=impact-command.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"impact-command.js","sourceRoot":"","sources":["../../src/cli/impact-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,8BAA8B,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAEvG,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AACpF,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAEhG,OAAO,EACL,YAAY,EAAE,kBAAkB,EAAE,aAAa,EAAE,kBAAkB,EACnE,qBAAqB,EAAE,mBAAmB,GAC3C,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,+CAA+C;AAC/C,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,UAA6B,EAAE,YAA0B;IAEzD,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EACtD,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;IAC7F,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;QACxH,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,sBAAsB,EAAE,CAAC;QACtF,OAAO,UAAU,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACrD,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC;QAC1D,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,UAAU,EAAE,CAAC;IACnF,IAAI,CAAC;QACH,IAAI,SAA0B,CAAC;QAC/B,IAAI,sBAAsB,GAAG,CAAC,CAAC;QAC/B,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,oBAAoB,CAAC,CAAC;YAClG,IAAI,UAAU,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;YACxC,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC5B,sBAAsB,IAAI,MAAM,CAAC,UAAU,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACjD,IAAI,CAAC;gBACH,SAAS,GAAG,oBAAoB,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC;oBACtE,KAAK,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC9F,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,KAAK,YAAY,8BAA8B;oBAAE,OAAO,UAAU,EAAE,CAAC;gBACzE,MAAM,KAAK,CAAC;YACd,CAAC;QACH,CAAC;QACD,IAAI,OAAuC,CAAC;QAC5C,IAAI,WAAW,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC;YAChG,IAAI,UAAU,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;YACxC,sBAAsB,IAAI,MAAM,CAAC,UAAU,CAAC;YAC5C,OAAO,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC;QACpD,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,mBAAmB,CAAC,MAAM,CAAC,WAAW,EAAE,YAAY,EAAE,sBAAsB,CAAC,CAAC;QACtG,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACjF,OAAO;YACL,cAAc,EAAE,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAChF,aAAa,EAAE,OAAO;gBACpB,CAAC,CAAC,oGAAoG;gBACtG,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,YAAY;oBAC9B,CAAC,CAAC,mHAAmH;oBACrH,CAAC,CAAC,EAAE;YACR,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC1B,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,sBAAsB;YAAE,OAAO,YAAY,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;QACvF,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,aAAa,EAAE,CAAC;IACtD,CAAC;AACH,CAAC;AAED,6CAA6C;AAC7C,KAAK,UAAU,gBAAgB,CAC7B,IAAY,EAAE,YAA0B,EAAE,IAA2B,EAAE,KAA4B;IAInG,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACzD,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,gBAAgB,CAAC;IACzE,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QAAC,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;IAAC,CAAC;IACxC,MAAM,CAAC;QAAC,OAAO,YAAY,CAAC,kBAAkB,IAAI,uDAAuD,CAAC,CAAC;IAAC,CAAC;IAC7G,IAAI,IAAI,CAAC,MAAM,GAAG,qBAAqB;QAAE,OAAO,YAAY,CAAC,GAAG,KAAK,wCAAwC,CAAC,CAAC;IAC/G,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAAC,CAAC;IACjC,OAAO,KAAK,EAAE,CAAC;QACb,IAAI,kBAAkB,CAAC,KAAK,CAAC;YAAE,OAAO,YAAY,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;QAC1F,MAAM,KAAK,CAAC;IACd,CAAC;IACD,IAAI,CAAC;QAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IAAC,CAAC;IACnE,OAAO,KAAK,EAAE,CAAC;QACb,IAAI,KAAK,YAAY,8BAA8B,IAAI,KAAK,YAAY,sBAAsB,EAAE,CAAC;YAC/F,OAAO,YAAY,CAAC,GAAG,KAAK,uBAAuB,MAAM,cAAc,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,qCAAqC;AACrC,SAAS,UAAU;IACjB,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,WAAW,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AACjF,CAAC;AAED,yCAAyC;AACzC,MAAM,CAAC,MAAM,WAAW,GAAG,yEAAyE;MAChG,gFAAgF;MAChF,yEAAyE,CAAC","sourcesContent":["import { ImpactSelectionValidationError, parseImpactSelection } from '../exchange/impact-selection.ts';\nimport type { ImpactSelection } from '../exchange/impact-selection.ts';\nimport { isSafeNonEmptyString } from '../exchange/parse.ts';\nimport { parseBridgeRuntime, RuntimeValidationError } from '../exchange/runtime.ts';\nimport { MAX_DOCUMENTS_PER_JOIN } from '../join/join.ts';\nimport { createBridgeImpact, encodeBridgeImpact, hasImpactBlockers } from '../report/impact.ts';\nimport type { ImpactRuntimeInput } from '../report/runtime-impact.ts';\nimport {\n  inputFailure, inputFailureResult, internalError, isJsonParseFailure,\n  MAX_INPUT_TEXT_LENGTH, readBridgeDocuments,\n} from './command-support.ts';\nimport type { CommandResult, ReadTextFile } from './command-support.ts';\nimport { parseCommandArguments } from './parse-arguments.ts';\n\n/** 파일·심볼·CI 변경 목록을 브리지 영향 보고서로 바꾸는 CLI 경계다. */\nexport async function runImpactCommand(\n  arguments_: readonly string[], readTextFile: ReadTextFile,\n): Promise<CommandResult> {\n  const parsed = parseCommandArguments(arguments_.slice(1),\n    ['--file', '--symbol', '--changes', '--runtime', '--revision'], ['--strict', '--compact']);\n  if (parsed === undefined || ['--file', '--symbol', '--changes'].filter((flag) => parsed.valueFlags.has(flag)).length !== 1 ||\n    parsed.positionals.length < 2 || parsed.positionals.length > MAX_DOCUMENTS_PER_JOIN) {\n    return usageError();\n  }\n  const runtimePath = parsed.valueFlags.get('--runtime');\n  const revision = parsed.valueFlags.get('--revision');\n  if ((runtimePath === undefined) !== (revision === undefined) ||\n    (revision !== undefined && !isSafeNonEmptyString(revision))) return usageError();\n  try {\n    let selection: ImpactSelection;\n    let supplementalTextLength = 0;\n    const changesPath = parsed.valueFlags.get('--changes');\n    if (changesPath !== undefined) {\n      const loaded = await readSupplemental(changesPath, readTextFile, 'changes', parseImpactSelection);\n      if ('exitCode' in loaded) return loaded;\n      selection = loaded.document;\n      supplementalTextLength += loaded.textLength;\n    } else {\n      const file = parsed.valueFlags.get('--file');\n      const symbol = parsed.valueFlags.get('--symbol');\n      try {\n        selection = parseImpactSelection({ format: 'isthmus-changes', version: 1,\n          files: file === undefined ? [] : [file], symbols: symbol === undefined ? [] : [symbol] });\n      } catch (error) {\n        if (error instanceof ImpactSelectionValidationError) return usageError();\n        throw error;\n      }\n    }\n    let runtime: ImpactRuntimeInput | undefined;\n    if (runtimePath !== undefined && revision !== undefined) {\n      const loaded = await readSupplemental(runtimePath, readTextFile, 'runtime', parseBridgeRuntime);\n      if ('exitCode' in loaded) return loaded;\n      supplementalTextLength += loaded.textLength;\n      runtime = { document: loaded.document, revision };\n    }\n    const documents = await readBridgeDocuments(parsed.positionals, readTextFile, supplementalTextLength);\n    const report = createBridgeImpact(documents, selection, runtime);\n    const blocked = parsed.booleanFlags.has('--strict') && hasImpactBlockers(report);\n    return {\n      standardOutput: encodeBridgeImpact(report, parsed.booleanFlags.has('--compact')),\n      standardError: blocked\n        ? 'Change preflight requires review: related errors, analysis gaps, or unobserved selectors remain.\\n'\n        : report.status === 'unobserved'\n          ? 'No selected bridge facts were observed; inspect source coverage and use a pre-change snapshot for deleted code.\\n'\n          : '',\n      exitCode: blocked ? 1 : 0,\n    };\n  } catch (error) {\n    if (error instanceof RuntimeValidationError) return inputFailure(`${error.message}\\n`);\n    return inputFailureResult(error) ?? internalError();\n  }\n}\n\n/** 변경 파일도 브리지 입력과 같은 읽기·구문·계약 실패 경계를 지킨다. */\nasync function readSupplemental<T>(\n  path: string, readTextFile: ReadTextFile, kind: 'changes' | 'runtime', parse: (value: unknown) => T,\n): Promise<\n  { document: T; textLength: number } | CommandResult\n> {\n  const label = kind === 'changes' ? 'Changes' : 'Runtime';\n  const format = kind === 'changes' ? 'isthmus-changes' : 'bridge-runtime';\n  let text: string;\n  try { text = await readTextFile(path); }\n  catch { return inputFailure(`Unable to read ${kind} input; check that the file exists and is readable.\\n`); }\n  if (text.length > MAX_INPUT_TEXT_LENGTH) return inputFailure(`${label} input exceeds the input size limit.\\n`);\n  let value: unknown;\n  try { value = JSON.parse(text); }\n  catch (error) {\n    if (isJsonParseFailure(error)) return inputFailure(`${label} input is not valid JSON.\\n`);\n    throw error;\n  }\n  try { return { document: parse(value), textLength: text.length }; }\n  catch (error) {\n    if (error instanceof ImpactSelectionValidationError || error instanceof RuntimeValidationError) {\n      return inputFailure(`${label} input violates the ${format} contract: ${error.message}\\n`);\n    }\n    throw error;\n  }\n}\n\n/** 잘못된 인수는 입력을 읽기 전에 코드 64로 거부한다. */\nfunction usageError(): CommandResult {\n  return { standardOutput: '', standardError: `${impactUsage}\\n`, exitCode: 64 };\n}\n\n/** impact 명령의 독립적인 선택 방식과 CI 실패 옵션이다. */\nexport const impactUsage = 'Usage: isthmus impact (--file <relative-path> | --symbol <name-or-usr> '\n  + '| --changes <changes.json>) <bridge-facts.json> <bridge-facts.json> [more...] '\n  + '[--runtime <runtime.json> --revision <revision>] [--strict] [--compact]';\n"]}