@eviano/tribunal 0.1.2 → 0.2.0

package/README.md

@@ -28,27 +28,30 @@ guarantees, not vibes:
 5. **Reporter-first.** Default mode is a non-blocking PR comment. Teams earn trust in the signal before
    it can break their build.
 
-## Quickstart
+## Install
+
+[![npm](https://img.shields.io/npm/v/@eviano/tribunal)](https://www.npmjs.com/package/@eviano/tribunal)
 
 ```bash
-npm install
-npm test            # run the suite
-npm run check -- check --help
+npm i -D @eviano/tribunal
 ```
 
-Run it against your working changes (report-only):
+Run it against a PR range (report-only by default; gates only on 🔴 CONTRADICTED):
 
 ```bash
-npm run check -- check                     # diff working tree vs HEAD
-npm run check -- check --base main --head HEAD
-npm run check -- check --diff some.patch    # analyze a unified diff file
-npm run check -- check --format json
+npx @eviano/tribunal check --base main --head HEAD
+npx @eviano/tribunal check                       # diff working tree vs HEAD
+npx @eviano/tribunal check --diff some.patch      # analyze a unified diff file
+npx @eviano/tribunal check --format json
+npx @eviano/tribunal check --base main --head HEAD --hard-fail   # block the build
 ```
 
-Make it block a build (opt-in, gates only on 🔴 CONTRADICTED):
+## Develop from source
 
 ```bash
-npm run check -- check --base main --head HEAD --hard-fail
+npm install
+npm test            # run the suite
+npm run check -- check --help
 ```
 
 ## Use it in CI (GitHub Action)
@@ -78,6 +81,78 @@ jobs:
 
 This repo dogfoods its own action — see [.github/workflows/tribunal.yml](.github/workflows/tribunal.yml).
 
+## SARIF output (GitHub code-scanning alerts)
+
+Tribunal can emit [SARIF](https://docs.oasis-open.org/sarif/) so findings appear as GitHub
+code-scanning alerts with proper tracking, dismissal, and filter-by-severity across runs.
+
+```bash
+tribunal check --diff pr.diff --format sarif > tribunal.sarif
+```
+
+Level mapping (deliberate — matches "gate only on CONTRADICTED"):
+
+| Tribunal verdict | SARIF level |
+|---|---|
+| 🔴 CONTRADICTED | `error` |
+| 🟡 UNVERIFIED | `note` |
+| 🟢 PASS | _omitted_ |
+
+Only the blocking verdict becomes an `error` alert; UNVERIFIED is visible but non-noisy. Each finding
+carries a stable `partialFingerprints` (derived from analyzer + file + line + claim, **not** from the
+prose) so GitHub tracks the same alert across runs — rewording a finding's title won't fork a new one.
+
+Upload it in a workflow (bring your own upload step; the bundled action stays markdown-only to keep its
+permission footprint minimal):
+
+```yaml
+jobs:
+  tribunal-sarif:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      security-events: write   # required by upload-sarif
+    steps:
+      - uses: actions/checkout@v4
+        with: { fetch-depth: 0 }
+      - run: npx @eviano/tribunal check \
+          --base ${{ github.event.pull_request.base.sha }} \
+          --head ${{ github.event.pull_request.head.sha }} \
+          --format sarif > tribunal.sarif
+      - uses: github/codeql-action/upload-sarif@v3
+        with:
+          sarif_file: tribunal.sarif
+          category: tribunal
+```
+
+SARIF is data, never a gate — the `--hard-fail` exit code still comes from `exitCode()`. You can run
+both: post the markdown comment (via the action) **and** upload SARIF in the same job.
+
+## Configuration (`tribunal.yml`)
+
+Optionally configure Tribunal with a `tribunal.yml` at the repo root (override the path with `--config
+<file>` or `TRIBUNAL_CONFIG`). With **no** file, all defaults apply — config is purely additive.
+
+```yaml
+# tribunal.yml
+analyzers:
+  risky-diff-no-test: false      # disable an analyzer (default: all enabled)
+generated-paths:                 # EXTRA generated paths, appended to the built-ins
+  - vendor-generated/
+  - "**/*.gen.ts"
+```
+
+- **`analyzers`** — a map of analyzer id → boolean. Default: every analyzer enabled. Disabling
+  `claim-reconciliation` just stops claim checks; claim-independent analyzers still run. **Unknown ids are
+  rejected** (typo guard): a misspelled key fails loud rather than silently no-op'ing.
+- **`generated-paths`** — extra generated/build-output patterns, **appended** to the built-ins
+  (`dist/`, `action-dist/`, `*.min.js`, …). Config can only *add* coverage — never replace — so a user
+  can't accidentally drop the `dist/` safety net. Patterns may be dir-prefixes (`vendor-generated/`),
+  suffixes (`.gen.ts`), or simple globs (`**/*.gen.ts`, `src/generated/*`).
+
+A present-but-malformed file (bad key, unknown analyzer, bad YAML) **fails loud** with a clear error
+pointing at the line — it never silently degrades to defaults.
+
 ## What M0 catches: `assertion-free-test`
 
 A test the PR added or changed that **can never fail** because it asserts nothing:
@@ -114,6 +189,57 @@ re-exports, and degrades to 🟡 UNVERIFIED whenever exports can't be statically
 unresolvable re-exports). Default imports are never flagged (interop synthesizes a default). Scope for
 M1 is imports; full identifier/call resolution is a later increment.
 
+## What it also ships: `risky-diff-no-test`
+
+A **signal** analyzer (never a gate) that fires when a PR touches a security-relevant area but adds no
+correlated asserting test — the "silence is not an escape hatch" check. An agent that changes auth,
+crypto, or payment code and ships nothing to cover it gets a finding even when it wrote no PR body:
+
+```ts
+// src/auth.ts — changed by the PR
+export function login(user, pass) { return user === pass; }   // 🟡 UNVERIFIED: risky area ('auth'),
+                                                              //              no correlated asserting test
+```
+
+- 🟡 **UNVERIFIED** — a risky area (path segment *or* a changed-line identifier token: `auth`,
+  `crypto`, `payment`, `token`, `secret`, …) was touched but no correlated asserting test was detected.
+  **Never blocks** — "is this risky?" is semantic, and a semantic guess may never flip a build red.
+- 🟢 **PASS** — risky area touched **and** a correlated asserting test was added (test basename stem
+  shares a token with the risky file, e.g. `auth.ts` ↔ `auth.test.ts`).
+
+It tokenizes (camelCase / kebab / snake) and matches on whole tokens, not substrings, so `authors.ts`
+and `tokenize.ts` are correctly *not* flagged. Because it can only ever emit PASS/UNVERIFIED, it is safe
+to run under `--hard-fail`.
+
+**Generated-path skip.** A bundled artifact (e.g. `action-dist/cli.cjs`, `dist/*.min.js`) carries the
+project's own risky vocab but isn't human-authored source a reviewer can act on, so flagging it is
+noisy. This analyzer **skips generated/build-output paths by default** (`dist/`, `action-dist/`,
+`build/`, `out/`, `.next/`, `coverage/`, `node_modules/`, and `*.min.{js,cjs,mjs}` / `*.bundle.js`).
+Pass `--no-skip-generated` (or set `TRIBUNAL_NO_SKIP_GENERATED=1`) to re-enable flagging them — an
+opinionated default must never silently suppress a file you want checked.
+
+## `comment-code-drift`
+
+A **signal** analyzer (never a gate) that flags a comment/docstring which references a symbol whose
+**definition changed** in the diff (body edit, rename, or removal), where the comment itself wasn't
+freshly added. Catches the classic agent failure: it edits a function's behavior or renames it, but
+leaves the docstring describing the old behavior/name.
+
+```ts
+// src/greet.ts
+// greet: returns a friendly greeting        ← pre-existing comment (not added this PR)
+export function greet() { return 'hello'; }  // ← body changed 'hi' → 'hello'
+// → 🟡 UNVERIFIED: comment mentions 'greet', whose definition changed. Verify the wording is accurate.
+```
+
+- 🟡 **UNVERIFIED** — a comment (in the changed file **or** another changed file) mentions a changed
+  symbol by its **exact identifier token**, and the comment line was **not added** in this diff (a
+  freshly-added comment is unlikely stale — the key false-positive cut).
+- It only fires when a **base ref** is available (it compares base vs head ASTs to find changed
+  declarations). With no base ref, it's silent.
+- Like the other signal analyzers it **never blocks**: comment staleness is semantic, so it emits
+  PASS/UNVERIFIED only and is safe under `--hard-fail`.
+
 ## What M3 adds: `claim-reconciliation`
 
 Verifies the agent's **own claims** against the diff — deterministically. Claims are declared in a
@@ -137,6 +263,46 @@ no-public-api-change
 Pass claims with `--claims <file>` (a claims file) or `--pr-body <file>` (reads only the fenced block).
 Adding a new claim is one entry in the verifier registry.
 
+## `tribunal propose` — let an LLM PROPOSE claims (it never adjudicates)
+
+No agent emits the ` ```tribunal ` convention today, so `claim-reconciliation` (above) does nothing on a
+normal agent PR. `propose` closes that gap: it asks an LLM to *suggest* which claims a reviewer should
+ask the deterministic engine to check, then writes a ` ```tribunal ` block that `check` consumes.
+
+This is the narrow, Trust-Contract-compliant use of an LLM: it **proposes**; deterministic code
+**adjudicates**. The LLM is never in the verification path.
+
+**The two-step loop:**
+
+```bash
+# 1) propose — the LLM reads the diff and suggests claims (writes claims.md)
+tribunal propose --diff pr.diff \
+  --endpoint https://api.openai.com/v1 --model gpt-4o-mini \
+  --allow-send-diff --out claims.md
+
+# 2) check — deterministic engine verifies the proposed claims against the diff
+tribunal check --diff pr.diff --pr-body claims.md --hard-fail
+```
+
+`propose` is pluggable: point `--endpoint` at any OpenAI-compatible chat-completions URL (OpenAI,
+OpenRouter, a local Ollama / LM Studio server). Configure via flags or `TRIBUNAL_ENDPOINT` /
+`TRIBUNAL_MODEL` / `TRIBUNAL_API_KEY`.
+
+**The send-guard.** The diff is your source code, and sending it to an LLM endpoint is an outward-facing
+publish. So `propose` **refuses to send by default** — without `--allow-send-diff` it prints the prompt
+for review and sends *nothing*. Add the flag (or `TRIBUNAL_ALLOW_SEND_DIFF=1`) only when you've chosen
+the endpoint and accept that the diff leaves the machine.
+
+**Why this can't break the gate.** Two architectural guarantees hold even if the model hallucinates or is
+prompt-injected:
+
+1. `propose` is a separate command and code path. It never imports or calls any verifier, `runTribunal`,
+   or `exitCode`. It only reads a diff and writes a claims block.
+2. The model can only ever emit claim *keys*. Keys outside the recognized set are downgraded to
+   🟡 UNVERIFIED by the verifier registry — never 🔴 CONTRADICTED. Since `--hard-fail` gates only on
+   CONTRADICTED, **the LLM path cannot manufacture a false red**, no matter what it returns. (A *legitimate*
+   CONTRADICTED can still appear — that's the deterministic checker doing its job, which is the point.)
+
 ## Benchmark — the moat-proof
 
 Tribunal is only safe as a hard-fail gate if it almost never false-fires. That's measured, not

package/dist/analyzers/claimReconciliation.js

@@ -42,7 +42,20 @@ function verifyAddedTest(ctx) {
     };
 }
 const EMPTY_EXPORTS = { names: new Set(), hasDefault: false, uncertain: false };
-/** "no public API change" → exported-symbol set is identical between base and head for changed files. */
+/**
+ * "no public API change" → the AGGREGATE exported-symbol set across changed files is identical between
+ * base and head.
+ *
+ * Why aggregate, not per-file: a refactor that moves `export const foo` from a.ts to b.ts (both changed)
+ * leaves the package surface unchanged, yet a per-file diff reports `-foo` in one file and `+foo` in the
+ * other — a false CONTRADICTED. Unchanged files export the same set on both sides, so they cancel out of
+ * the diff; aggregating only over changed files is therefore sound and bounded, and fixes the move case.
+ *
+ * Residual limitation: a symbol moved from a changed file into an UNCHANGED file still looks removed,
+ * because unchanged files are outside this diff-local view. Resolving that needs entry-point scoping
+ * (api-extractor); until then such a case degrades to UNVERIFIED via the `uncertain` path only when an
+ * uncertain module is present. This is strictly tighter than the prior per-file behavior.
+ */
 function verifyNoPublicApiChange(ctx) {
     if (!ctx.base || !ctx.readBaseFile) {
         return {
@@ -51,7 +64,10 @@ function verifyNoPublicApiChange(ctx) {
             detail: 'Exported-symbol changes need a base ref to diff against; none was available.',
         };
     }
-    const changes = [];
+    const baseNames = new Set();
+    const headNames = new Set();
+    let baseDefault = false;
+    let headDefault = false;
     let uncertain = false;
     for (const f of ctx.changedFiles) {
         if (!SOURCE_EXT_RE.test(f.path) || isTestPath(f.path))
@@ -62,29 +78,34 @@ function verifyNoPublicApiChange(ctx) {
             continue;
         const baseExp = baseContent ? directExports(baseContent, f.path) : EMPTY_EXPORTS;
         const headExp = headContent ? directExports(headContent, f.path) : EMPTY_EXPORTS;
-        if (baseExp.uncertain || headExp.uncertain) {
+        if (baseExp.uncertain || headExp.uncertain)
             uncertain = true;
-            continue;
-        }
-        const added = [...headExp.names].filter((n) => !baseExp.names.has(n));
-        const removed = [...baseExp.names].filter((n) => !headExp.names.has(n));
-        if (baseExp.hasDefault !== headExp.hasDefault) {
-            (headExp.hasDefault ? added : removed).push('default');
-        }
-        if (added.length || removed.length) {
-            const parts = [];
-            if (added.length)
-                parts.push(`+${added.join(', +')}`);
-            if (removed.length)
-                parts.push(`-${removed.join(', -')}`);
-            changes.push(`${f.path} (${parts.join('; ')})`);
-        }
+        for (const n of baseExp.names)
+            baseNames.add(n);
+        for (const n of headExp.names)
+            headNames.add(n);
+        if (baseExp.hasDefault)
+            baseDefault = true;
+        if (headExp.hasDefault)
+            headDefault = true;
     }
-    if (changes.length) {
+    const added = [...headNames].filter((n) => !baseNames.has(n));
+    const removed = [...baseNames].filter((n) => !headNames.has(n));
+    if (baseDefault !== headDefault)
+        (headDefault ? added : removed).push('default');
+    // Only CONTRADICT when the net change is a certainty. If any changed module is non-enumerable
+    // (`export *`, CJS), a "removed" symbol may live there and an "added" one may have pre-existed — so
+    // degrade to UNVERIFIED rather than risk a false red (Trust Contract §3.4).
+    if ((added.length || removed.length) && !uncertain) {
+        const parts = [];
+        if (added.length)
+            parts.push(`+${added.join(', +')}`);
+        if (removed.length)
+            parts.push(`-${removed.join(', -')}`);
         return {
             verdict: 'CONTRADICTED',
-            title: 'Claimed no public API change, but exports changed',
-            detail: `Exported symbols changed in: ${changes.join(' | ')}.`,
+            title: 'Claimed no public API change, but the exported surface changed',
+            detail: `Net exported-symbol change across changed files: ${parts.join('; ')}.`,
         };
     }
     if (uncertain) {
@@ -97,7 +118,7 @@ function verifyNoPublicApiChange(ctx) {
     return {
         verdict: 'PASS',
         title: 'Claim confirmed: no public API change',
-        detail: 'No exported symbols were added or removed in changed source files.',
+        detail: 'The aggregate exported-symbol set across changed files is unchanged.',
     };
 }
 /** "no default flip" → no literal default parameter value changed between base and head. */

package/dist/analyzers/claimReconciliation.js.map

@@ -1 +1 @@
-{"version":3,"file":"claimReconciliation.js","sourceRoot":"","sources":["../../src/analyzers/claimReconciliation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAsB,MAAM,cAAc,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEpE;;;;;;;GAOG;AAEH,MAAM,aAAa,GAAG,kBAAkB,CAAC;AACzC,MAAM,YAAY,GAAG,uCAAuC,CAAC;AAC7D,MAAM,WAAW,GAAG,mCAAmC,CAAC;AAExD,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3D,CAAC;AASD,qGAAqG;AACrG,SAAS,eAAe,CAAC,GAAoB;IAC3C,6FAA6F;IAC7F,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC;IACpC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAE1E,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO;YACL,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,6BAA6B;YACpC,MAAM,EAAE,iBAAiB,SAAS,uCAAuC;SAC1E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,mDAAmD;YAC1D,MAAM,EAAE,kFAAkF;SAC3F,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,qDAAqD;QAC5D,MAAM,EAAE,iBAAiB,OAAO,uHAAuH;KACxJ,CAAC;AACJ,CAAC;AAED,MAAM,aAAa,GAAkB,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAE/F,yGAAyG;AACzG,SAAS,uBAAuB,CAAC,GAAoB;IACnD,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC;QACnC,OAAO;YACL,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,uCAAuC;YAC9C,MAAM,EAAE,8EAA8E;SACvF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QAEhE,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzE,IAAI,WAAW,IAAI,IAAI,IAAI,WAAW,IAAI,IAAI;YAAE,SAAS;QAEzD,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACjF,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACjF,IAAI,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YAC3C,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YAC9C,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACtD,IAAI,OAAO,CAAC,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC1D,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,mDAAmD;YAC1D,MAAM,EAAE,gCAAgC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;SAC/D,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO;YACL,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,+CAA+C;YACtD,MAAM,EAAE,yFAAyF;SAClG,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,MAAM;QACf,KAAK,EAAE,uCAAuC;QAC9C,MAAM,EAAE,oEAAoE;KAC7E,CAAC;AACJ,CAAC;AAED,4FAA4F;AAC5F,SAAS,mBAAmB,CAAC,GAAoB,EAAE,KAAY;IAC7D,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC;QACnC,OAAO;YACL,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,iCAAiC;YACxC,MAAM,EAAE,4EAA4E;SACrF,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QAChE,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzE,IAAI,WAAW,IAAI,IAAI,IAAI,WAAW,IAAI,IAAI;YAAE,SAAS;QAEzD,MAAM,YAAY,GAAG,oBAAoB,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,oBAAoB,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/D,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;YAC1C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS,CAAC,oCAAoC;YAC1E,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;YACvC,IAAI,OAAO,KAAK,OAAO;gBAAE,SAAS;YAClC,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC1D,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,KAAK,OAAO,MAAM,OAAO,GAAG,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,gDAAgD;YACvD,MAAM,EAAE,2BAA2B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;SACxD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,MAAM;QACf,KAAK,EAAE,kCAAkC;QACzC,MAAM,EAAE,KAAK,CAAC,GAAG;YACf,CAAC,CAAC,2BAA2B,KAAK,CAAC,GAAG,oCAAoC;YAC1E,CAAC,CAAC,sEAAsE;KAC3E,CAAC;AACJ,CAAC;AAED,MAAM,SAAS,GAA6B;IAC1C,YAAY,EAAE,eAAe;IAC7B,aAAa,EAAE,eAAe;IAC9B,cAAc,EAAE,eAAe;IAC/B,sBAAsB,EAAE,uBAAuB;IAC/C,eAAe,EAAE,uBAAuB;IACxC,uBAAuB,EAAE,uBAAuB;IAChD,iBAAiB,EAAE,mBAAmB;IACtC,mBAAmB,EAAE,mBAAmB;IACxC,qBAAqB,EAAE,mBAAmB;CAC3C,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AAEvD,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,EAAE,EAAE,sBAAsB;IAC1B,KAAK,EAAE,sBAAsB;IAC7B,WAAW,EACT,2FAA2F;IAC7F,IAAI,EAAE,sBAAsB;IAC5B,GAAG,CAAC,GAAoB;QACtB,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,GAAG,GAAmB,QAAQ;gBAClC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;gBACtB,CAAC,CAAC;oBACE,OAAO,EAAE,YAAY;oBACrB,KAAK,EAAE,oBAAoB;oBAC3B,MAAM,EAAE,wCAAwC,KAAK,CAAC,GAAG,kBAAkB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBAC1G,CAAC;YAEN,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,sBAAsB;gBAChC,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,CAAC;gBACP,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,KAAK,EAAE,KAAK,CAAC,GAAG;aACjB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF,CAAC"}
+{"version":3,"file":"claimReconciliation.js","sourceRoot":"","sources":["../../src/analyzers/claimReconciliation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAsB,MAAM,cAAc,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEpE;;;;;;;GAOG;AAEH,MAAM,aAAa,GAAG,kBAAkB,CAAC;AACzC,MAAM,YAAY,GAAG,uCAAuC,CAAC;AAC7D,MAAM,WAAW,GAAG,mCAAmC,CAAC;AAExD,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3D,CAAC;AASD,qGAAqG;AACrG,SAAS,eAAe,CAAC,GAAoB;IAC3C,6FAA6F;IAC7F,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC;IACpC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAE1E,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO;YACL,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,6BAA6B;YACpC,MAAM,EAAE,iBAAiB,SAAS,uCAAuC;SAC1E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,mDAAmD;YAC1D,MAAM,EAAE,kFAAkF;SAC3F,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,qDAAqD;QAC5D,MAAM,EAAE,iBAAiB,OAAO,uHAAuH;KACxJ,CAAC;AACJ,CAAC;AAED,MAAM,aAAa,GAAkB,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAE/F;;;;;;;;;;;;;GAaG;AACH,SAAS,uBAAuB,CAAC,GAAoB;IACnD,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC;QACnC,OAAO;YACL,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,uCAAuC;YAC9C,MAAM,EAAE,8EAA8E;SACvF,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QAEhE,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzE,IAAI,WAAW,IAAI,IAAI,IAAI,WAAW,IAAI,IAAI;YAAE,SAAS;QAEzD,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACjF,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACjF,IAAI,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS;YAAE,SAAS,GAAG,IAAI,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK;YAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK;YAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,IAAI,OAAO,CAAC,UAAU;YAAE,WAAW,GAAG,IAAI,CAAC;QAC3C,IAAI,OAAO,CAAC,UAAU;YAAE,WAAW,GAAG,IAAI,CAAC;IAC7C,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,WAAW,KAAK,WAAW;QAAE,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAEjF,8FAA8F;IAC9F,oGAAoG;IACpG,4EAA4E;IAC5E,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;QACnD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACtD,IAAI,OAAO,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC1D,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,gEAAgE;YACvE,MAAM,EAAE,oDAAoD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;SAChF,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO;YACL,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,+CAA+C;YACtD,MAAM,EAAE,yFAAyF;SAClG,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,MAAM;QACf,KAAK,EAAE,uCAAuC;QAC9C,MAAM,EAAE,sEAAsE;KAC/E,CAAC;AACJ,CAAC;AAED,4FAA4F;AAC5F,SAAS,mBAAmB,CAAC,GAAoB,EAAE,KAAY;IAC7D,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC;QACnC,OAAO;YACL,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,iCAAiC;YACxC,MAAM,EAAE,4EAA4E;SACrF,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QAChE,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzE,IAAI,WAAW,IAAI,IAAI,IAAI,WAAW,IAAI,IAAI;YAAE,SAAS;QAEzD,MAAM,YAAY,GAAG,oBAAoB,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,oBAAoB,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/D,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;YAC1C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS,CAAC,oCAAoC;YAC1E,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;YACvC,IAAI,OAAO,KAAK,OAAO;gBAAE,SAAS;YAClC,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC1D,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,KAAK,OAAO,MAAM,OAAO,GAAG,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,gDAAgD;YACvD,MAAM,EAAE,2BAA2B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;SACxD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,MAAM;QACf,KAAK,EAAE,kCAAkC;QACzC,MAAM,EAAE,KAAK,CAAC,GAAG;YACf,CAAC,CAAC,2BAA2B,KAAK,CAAC,GAAG,oCAAoC;YAC1E,CAAC,CAAC,sEAAsE;KAC3E,CAAC;AACJ,CAAC;AAED,MAAM,SAAS,GAA6B;IAC1C,YAAY,EAAE,eAAe;IAC7B,aAAa,EAAE,eAAe;IAC9B,cAAc,EAAE,eAAe;IAC/B,sBAAsB,EAAE,uBAAuB;IAC/C,eAAe,EAAE,uBAAuB;IACxC,uBAAuB,EAAE,uBAAuB;IAChD,iBAAiB,EAAE,mBAAmB;IACtC,mBAAmB,EAAE,mBAAmB;IACxC,qBAAqB,EAAE,mBAAmB;CAC3C,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AAEvD,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,EAAE,EAAE,sBAAsB;IAC1B,KAAK,EAAE,sBAAsB;IAC7B,WAAW,EACT,2FAA2F;IAC7F,IAAI,EAAE,sBAAsB;IAC5B,GAAG,CAAC,GAAoB;QACtB,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,GAAG,GAAmB,QAAQ;gBAClC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;gBACtB,CAAC,CAAC;oBACE,OAAO,EAAE,YAAY;oBACrB,KAAK,EAAE,oBAAoB;oBAC3B,MAAM,EAAE,wCAAwC,KAAK,CAAC,GAAG,kBAAkB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBAC1G,CAAC;YAEN,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,sBAAsB;gBAChC,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,CAAC;gBACP,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,KAAK,EAAE,KAAK,CAAC,GAAG;aACjB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF,CAAC"}

package/dist/analyzers/commentCodeDrift.d.ts

@@ -0,0 +1,37 @@
+import type { Analyzer } from '../types.js';
+interface DeclInfo {
+    /** Declaration name (e.g. function/class/const/type name). */
+    name: string;
+    /** 1-based start line of the declaration (the `function foo(...)` line). */
+    line: number;
+}
+/** Collect top-level + class-member declaration names with their declaration line. */
+declare function collectDeclarations(content: string, path: string): DeclInfo[];
+/**
+ * Identify identifiers whose declaration changed in the diff for one file. A declaration "changed" if:
+ *   - its line in base differs from head (body edit / moved), OR
+ *   - it exists in base but not head (removed/renamed).
+ * Returns the set of changed names plus the file's added-line set (for the "comment not freshly added"
+ * exclusion).
+ */
+declare function changedSymbolNames(baseContent: string | null, headContent: string | null, path: string): {
+    names: Set<string>;
+    addedLines: Set<number>;
+};
+interface CommentMention {
+    /** File containing the comment. */
+    file: string;
+    /** 1-based line of the comment. */
+    line: number;
+    /** The symbol token it mentioned. */
+    symbol: string;
+}
+/** Find comments in `content` (lines NOT in `addedLines`) that mention any of `symbols` as a token. */
+declare function findStaleCommentMentions(content: string, path: string, symbols: Set<string>, addedLines: Set<number>): CommentMention[];
+export declare const commentCodeDrift: Analyzer;
+export declare const __test__: {
+    collectDeclarations: typeof collectDeclarations;
+    changedSymbolNames: typeof changedSymbolNames;
+    findStaleCommentMentions: typeof findStaleCommentMentions;
+};
+export {};

package/dist/analyzers/commentCodeDrift.js

@@ -0,0 +1,241 @@
+import ts from 'typescript';
+import { isGeneratedPath } from '../paths.js';
+/**
+ * `comment-code-drift` — flags a comment/docstring that references a symbol whose **definition changed**
+ * in the diff, where the comment itself wasn't freshly added. Completes SPEC §5a (the last "later"
+ * analyzer). Catches the classic agent failure: it edits a function's behavior or renames it, but leaves
+ * the docstring describing the old behavior/name.
+ *
+ * The verdict is load-bearing, same as `risky-diff-no-test`: "does this comment describe stale code?" is
+ * a *semantic* judgement, and SPEC §3.4 forbids semantic CONTRADICTED. So this analyzer is
+ * **UNVERIFIED-only, never CONTRADICTED** — a signal, never a gate. Safe under `--hard-fail` by
+ * construction.
+ *
+ * Trigger (all must hold):
+ *   1. A source file in the diff has a CHANGED declaration for identifier `X` (body edit, rename, or
+ *      removal — gathered from base+head ASTs).
+ *   2. A comment/docstring (same file OR another changed file) mentions `X` as a whole token.
+ *   3. The comment line was NOT added in this diff (a freshly-added comment is unlikely stale — this is
+ *      the key false-positive cut).
+ *
+ * Cross-file: same-file + other changed files (per design). Generated paths and test files are excluded
+ * from the "changed symbol" source set (a test mentioning a renamed util is usually fine; a bundle's
+ * comments aren't authored).
+ */
+const SOURCE_EXT_RE = /\.[cm]?[jt]sx?$/i;
+const TEST_FILE_RE = /(^|[./\\])(test|spec)\.[cm]?[jt]sx?$/i;
+const TEST_DIR_RE = /(^|[/\\])(__tests__|tests?)[/\\]/i;
+function isTestPath(path) {
+    return TEST_FILE_RE.test(path) || (TEST_DIR_RE.test(path) && SOURCE_EXT_RE.test(path));
+}
+function scriptKindFor(path) {
+    if (/\.tsx$/i.test(path))
+        return ts.ScriptKind.TSX;
+    if (/\.jsx$/i.test(path))
+        return ts.ScriptKind.JSX;
+    if (/\.[cm]?ts$/i.test(path))
+        return ts.ScriptKind.TS;
+    return ts.ScriptKind.JS;
+}
+/** Collect top-level + class-member declaration names with their declaration line. */
+function collectDeclarations(content, path) {
+    const sf = ts.createSourceFile(path, content, ts.ScriptTarget.Latest, true, scriptKindFor(path));
+    const out = [];
+    const visit = (node) => {
+        const name = declName(node);
+        if (name) {
+            const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+            out.push({ name, line });
+        }
+        // Don't descend into function bodies (locals aren't "documented" at module/class level), but DO
+        // descend into class bodies to catch method renames.
+        if (ts.isFunctionDeclaration(node) || ts.isFunctionExpression(node) || ts.isArrowFunction(node)) {
+            return;
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(sf);
+    return out;
+}
+function declName(node) {
+    // Named declarations we care about. NOTE: we handle VariableDeclaration (not VariableStatement) so a
+    // `const x` is reported once — visit descends from the statement into its declarators.
+    if (ts.isFunctionDeclaration(node) || ts.isClassDeclaration(node) || ts.isClassExpression(node)) {
+        return node.name?.text ?? null;
+    }
+    if (ts.isVariableDeclaration(node)) {
+        return node.name && ts.isIdentifier(node.name) ? node.name.text : null;
+    }
+    if (ts.isInterfaceDeclaration(node) ||
+        ts.isTypeAliasDeclaration(node) ||
+        ts.isEnumDeclaration(node)) {
+        return node.name.text;
+    }
+    if (ts.isMethodDeclaration(node) || ts.isMethodSignature(node) || ts.isPropertyDeclaration(node)) {
+        return ts.isIdentifier(node.name) ? node.name.text : null;
+    }
+    return null;
+}
+/**
+ * Identify identifiers whose declaration changed in the diff for one file. A declaration "changed" if:
+ *   - its line in base differs from head (body edit / moved), OR
+ *   - it exists in base but not head (removed/renamed).
+ * Returns the set of changed names plus the file's added-line set (for the "comment not freshly added"
+ * exclusion).
+ */
+function changedSymbolNames(baseContent, headContent, path) {
+    const names = new Set();
+    const addedLines = new Set();
+    if (baseContent == null && headContent == null)
+        return { names, addedLines };
+    // Determine added/removed lines by a cheap line-set diff (the ChangedFile.addedLines only has ADDS;
+    // we also need REMOVED base lines to spot a renamed old name).
+    const baseLines = baseContent ? new Set(baseContent.split('\n')) : new Set();
+    const headLines = headContent ? headContent.split('\n') : [];
+    if (headContent) {
+        headLines.forEach((l, i) => {
+            if (!baseLines.has(l))
+                addedLines.add(i + 1);
+        });
+    }
+    // Removed = base lines absent from head.
+    const removedLines = new Set();
+    const headLineSet = new Set(headLines);
+    if (baseContent) {
+        baseContent.split('\n').forEach((l, i) => {
+            if (!headLineSet.has(l))
+                removedLines.add(i + 1);
+        });
+    }
+    const baseDecls = baseContent ? collectDeclarations(baseContent, path) : [];
+    const headDecls = headContent ? collectDeclarations(headContent, path) : [];
+    const headByName = new Map(headDecls.map((d) => [d.name, d.line]));
+    // 1) base declarations removed from head (rename/removal) → old name is "changed".
+    for (const d of baseDecls) {
+        if (!headByName.has(d.name))
+            names.add(d.name);
+    }
+    // 2) declarations present in both whose declaration line is on a removed line → body edit or moved.
+    for (const d of headDecls) {
+        const was = baseDecls.find((b) => b.name === d.name);
+        if (was && (removedLines.has(was.line) || addedLines.has(d.line))) {
+            names.add(d.name);
+        }
+    }
+    return { names, addedLines };
+}
+/** Find comments in `content` (lines NOT in `addedLines`) that mention any of `symbols` as a token. */
+function findStaleCommentMentions(content, path, symbols, addedLines) {
+    if (symbols.size === 0 || !content)
+        return [];
+    const sf = ts.createSourceFile(path, content, ts.ScriptTarget.Latest, true, scriptKindFor(path));
+    const mentions = [];
+    const symbolSet = new Set([...symbols].filter((s) => s && s.length >= 2 && !COMMON_WORDS.has(s.toLowerCase())));
+    if (symbolSet.size === 0)
+        return [];
+    const isComment = (kind) => kind === ts.SyntaxKind.SingleLineCommentTrivia ||
+        kind === ts.SyntaxKind.MultiLineCommentTrivia;
+    // `forEachLeadingCommentRange` runs per-node, so the same comment is reported once per following
+    // node. Track positions we've already inspected to emit each comment at most once.
+    const seenCommentPos = new Set();
+    const fullText = sf.text;
+    const visit = (node) => {
+        const start = node.getFullStart();
+        ts.forEachLeadingCommentRange(fullText, start, (pos, _end, kind) => {
+            if (!isComment(kind) || seenCommentPos.has(pos))
+                return;
+            seenCommentPos.add(pos);
+            const line = sf.getLineAndCharacterOfPosition(pos).line + 1;
+            if (addedLines.has(line))
+                return; // freshly-added comment → unlikely stale
+            const text = fullText.slice(pos, _end);
+            const toks = new Set(text.toLowerCase().split(/[^a-z0-9_$]+/i).filter(Boolean));
+            for (const sym of symbolSet) {
+                if (toks.has(sym) || toks.has(sym.toLowerCase())) {
+                    mentions.push({ file: path, line, symbol: sym });
+                }
+            }
+        });
+        ts.forEachChild(node, visit);
+    };
+    visit(sf);
+    return mentions;
+}
+// Words too common to treat as a "symbol reference" even if they happen to be a declaration name.
+const COMMON_WORDS = new Set([
+    'data', 'value', 'item', 'result', 'error', 'options', 'config', 'props', 'state', 'type',
+]);
+export const commentCodeDrift = {
+    id: 'comment-code-drift',
+    title: 'Comment may describe changed code',
+    description: 'Signals a comment/docstring that references a symbol whose definition changed in the diff (body ' +
+        'edit, rename, or removal), where the comment itself was not freshly added. Never blocks: comment ' +
+        'staleness is semantic, so it emits UNVERIFIED only.',
+    kind: 'claim-independent',
+    run(ctx) {
+        // No base ref → can't compare; degrade to silence (no false signal).
+        if (!ctx.base || !ctx.readBaseFile)
+            return [];
+        // 1) Gather changed symbols per changed source file (excluding tests/generated).
+        const changedPerFile = new Map();
+        for (const f of ctx.changedFiles) {
+            if (f.status === 'deleted' || isTestPath(f.path) || !SOURCE_EXT_RE.test(f.path))
+                continue;
+            if (isGeneratedPath(f.path))
+                continue;
+            const baseContent = ctx.readBaseFile(f.path);
+            const headContent = ctx.readFile(f.path);
+            if (baseContent == null && headContent == null)
+                continue;
+            const info = changedSymbolNames(baseContent, headContent, f.path);
+            if (info.names.size > 0)
+                changedPerFile.set(f.path, info);
+        }
+        if (changedPerFile.size === 0)
+            return [];
+        // Union of all changed symbol names across changed files (for cross-file comment scan).
+        const allChangedNames = new Set();
+        for (const info of changedPerFile.values())
+            for (const n of info.names)
+                allChangedNames.add(n);
+        if (allChangedNames.size === 0)
+            return [];
+        // 2) Scan comments in each changed file (same-file + cross-file within the changed set).
+        const findings = [];
+        for (const f of ctx.changedFiles) {
+            if (f.status === 'deleted')
+                continue;
+            // Comments in test files still count (a test docstring can drift too), but generated paths don't.
+            if (!SOURCE_EXT_RE.test(f.path) || isGeneratedPath(f.path))
+                continue;
+            const content = ctx.readFile(f.path);
+            if (content == null)
+                continue;
+            const mentions = findStaleCommentMentions(content, f.path, allChangedNames, f.addedLines);
+            for (const m of mentions) {
+                findings.push({
+                    analyzer: 'comment-code-drift',
+                    verdict: 'UNVERIFIED',
+                    file: m.file,
+                    line: m.line,
+                    title: 'Comment may describe code that changed',
+                    detail: `A comment here mentions '${m.symbol}', whose definition changed in this PR. The comment ` +
+                        `may now be stale. 'Stale' is a heuristic, so this never blocks — verify the wording is ` +
+                        `still accurate.`,
+                });
+            }
+        }
+        // Dedupe by (file, line, symbol).
+        const seen = new Set();
+        return findings.filter((f) => {
+            const key = `${f.file}:${f.line}:${(f.detail.match(/'([^']+)'/) ?? ['', ''])[1]}`;
+            if (seen.has(key))
+                return false;
+            seen.add(key);
+            return true;
+        });
+    },
+};
+// Exposed for unit tests.
+export const __test__ = { collectDeclarations, changedSymbolNames, findStaleCommentMentions };
+//# sourceMappingURL=commentCodeDrift.js.map

package/dist/analyzers/commentCodeDrift.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commentCodeDrift.js","sourceRoot":"","sources":["../../src/analyzers/commentCodeDrift.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,MAAM,aAAa,GAAG,kBAAkB,CAAC;AACzC,MAAM,YAAY,GAAG,uCAAuC,CAAC;AAC7D,MAAM,WAAW,GAAG,mCAAmC,CAAC;AAExD,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;IACnD,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;IACnD,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;IACtD,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;AAC1B,CAAC;AASD,sFAAsF;AACtF,SAAS,mBAAmB,CAAC,OAAe,EAAE,IAAY;IACxD,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACjG,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAC1E,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3B,CAAC;QACD,gGAAgG;QAChG,qDAAqD;QACrD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAChG,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,IAAa;IAC7B,qGAAqG;IACrG,uFAAuF;IACvF,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChG,OAAO,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;IACjC,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,CAAC;IACD,IACE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAC/B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjG,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CACzB,WAA0B,EAC1B,WAA0B,EAC1B,IAAY;IAEZ,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,IAAI,WAAW,IAAI,IAAI,IAAI,WAAW,IAAI,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAE7E,oGAAoG;IACpG,+DAA+D;IAC/D,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;IACrF,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,IAAI,WAAW,EAAE,CAAC;QAChB,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACzB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC;IACD,yCAAyC;IACzC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IACvC,IAAI,WAAW,EAAE,CAAC;QAChB,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEnE,mFAAmF;IACnF,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,oGAAoG;IACpG,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAClE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAC/B,CAAC;AAWD,uGAAuG;AACvG,SAAS,wBAAwB,CAC/B,OAAe,EACf,IAAY,EACZ,OAAoB,EACpB,UAAuB;IAEvB,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CACrF,CAAC;IACF,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,SAAS,GAAG,CAAC,IAAmB,EAAW,EAAE,CACjD,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QAC9C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC;IAEhD,iGAAiG;IACjG,mFAAmF;IACnF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC;IAEzB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAClC,EAAE,CAAC,0BAA0B,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;YACjE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO;YACxD,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAC5D,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,yCAAyC;YAC3E,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YAChF,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;oBACjD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;gBACnD,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,kGAAkG;AAClG,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM;CAC1F,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,EAAE,EAAE,oBAAoB;IACxB,KAAK,EAAE,mCAAmC;IAC1C,WAAW,EACT,kGAAkG;QAClG,mGAAmG;QACnG,qDAAqD;IACvD,IAAI,EAAE,mBAAmB;IACzB,GAAG,CAAC,GAAoB;QACtB,qEAAqE;QACrE,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,YAAY;YAAE,OAAO,EAAE,CAAC;QAE9C,iFAAiF;QACjF,MAAM,cAAc,GAAG,IAAI,GAAG,EAA2D,CAAC;QAC1F,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACjC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC1F,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YACtC,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7C,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,WAAW,IAAI,IAAI,IAAI,WAAW,IAAI,IAAI;gBAAE,SAAS;YACzD,MAAM,IAAI,GAAG,kBAAkB,CAAC,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;gBAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAEzC,wFAAwF;QACxF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,MAAM,EAAE;YAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK;gBAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/F,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAE1C,yFAAyF;QACzF,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACjC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YACrC,kGAAkG;YAClG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YACrE,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,OAAO,IAAI,IAAI;gBAAE,SAAS;YAC9B,MAAM,QAAQ,GAAG,wBAAwB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;YAC1F,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,oBAAoB;oBAC9B,OAAO,EAAE,YAAY;oBACrB,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,KAAK,EAAE,wCAAwC;oBAC/C,MAAM,EACJ,4BAA4B,CAAC,CAAC,MAAM,sDAAsD;wBAC1F,yFAAyF;wBACzF,iBAAiB;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,kCAAkC;QAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClF,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF,0BAA0B;AAC1B,MAAM,CAAC,MAAM,QAAQ,GAAG,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,CAAC"}