@eviano/tribunal 0.1.2

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Tribunal contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,169 @@
+# ⚖️ Tribunal
+
+**A deterministic, no-LLM-in-the-loop CI gate that catches the defects coding agents ship** — tests
+that assert nothing, references to symbols that don't exist, and PR claims that contradict what the
+diff actually did.
+
+Agents now write both the change *and* a persuasive PR description optimized to sound done. Reviewers
+anchor on the prose and rubber-stamp. Tribunal is the deterministic safety net for that failure mode —
+not another stochastic reviewer that can be prompt-injected or hallucinate an approval.
+
+> **Status: pre-alpha (M0).** The first analyzer — `assertion-free-test` — and the full
+> diff → verdict → exit-code pipeline are working and tested. See [docs/SPEC.md](docs/SPEC.md) for the
+> architecture and roadmap.
+
+## The Trust Contract
+
+Tribunal is only useful if a paranoid platform team will let it block a build. That requires hard
+guarantees, not vibes:
+
+1. **No LLM is ever in the verification path.** The thing that flips a build red is always
+   deterministic code. (A model may *propose* a claim to check; it may never *adjudicate* one.)
+2. **Three verdicts:** 🟢 `PASS` · 🟡 `UNVERIFIED` · 🔴 `CONTRADICTED`.
+3. **The build is gated ONLY on `CONTRADICTED`,** and only with `--hard-fail`. Absence of a
+   contradiction never blocks; `UNVERIFIED` never blocks.
+4. **`CONTRADICTED` is a syntactic certainty, never a guess.** If a contradiction can't be *proven*
+   from the AST, the verdict degrades to `UNVERIFIED` — never a false red. We would rather miss a real
+   defect than block a correct PR.
+5. **Reporter-first.** Default mode is a non-blocking PR comment. Teams earn trust in the signal before
+   it can break their build.
+
+## Quickstart
+
+```bash
+npm install
+npm test            # run the suite
+npm run check -- check --help
+```
+
+Run it against your working changes (report-only):
+
+```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
+```
+
+Make it block a build (opt-in, gates only on 🔴 CONTRADICTED):
+
+```bash
+npm run check -- check --base main --head HEAD --hard-fail
+```
+
+## Use it in CI (GitHub Action)
+
+Tribunal ships a reusable composite action that runs on a PR, posts a **sticky comment** with the
+report, and (optionally) fails the build — gating **only** on 🔴 CONTRADICTED.
+
+```yaml
+# .github/workflows/tribunal.yml
+name: Tribunal
+on: pull_request
+permissions:
+  contents: read
+  pull-requests: write
+jobs:
+  tribunal:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with: { fetch-depth: 0 }
+      - uses: eviano/tribunal@v1
+        with:
+          base: ${{ github.event.pull_request.base.sha }}
+          head: ${{ github.event.pull_request.head.sha }}
+          hard-fail: 'false'   # start in report-only; flip to 'true' once you trust the signal
+```
+
+This repo dogfoods its own action — see [.github/workflows/tribunal.yml](.github/workflows/tribunal.yml).
+
+## What M0 catches: `assertion-free-test`
+
+A test the PR added or changed that **can never fail** because it asserts nothing:
+
+```ts
+it('validates the input', () => {
+  const result = validate(payload);   // 🔴 CONTRADICTED: no assertion — this test can never fail
+});
+```
+
+- 🟢 **PASS** — an assertion is reachable (directly, or via a local helper Tribunal can follow).
+- 🟡 **UNVERIFIED** — no assertion found, but the test calls an external helper that *might* assert.
+  Loud, never blocking.
+- 🔴 **CONTRADICTED** — a syntactic certainty: the body is empty, has no calls at all, or only calls
+  local helpers that themselves cannot assert.
+
+It understands `expect`, `assert`/`node:assert` (incl. named imports like `strictEqual`), chai
+(`.should`, `chai.expect`), `sinon.assert.*`, Deno std `assert*`, and AVA/`node:test` context
+assertions (`t.is`, `t.deepEqual`, …). Skipped tests (`it.skip`, `it.todo`) are ignored. Only tests
+**touched by the diff** are evaluated.
+
+## What M1 adds: `hallucinated-symbol`
+
+Imports the PR added that reference something that doesn't exist:
+
+```ts
+import { parseConifg } from './config';   // 🔴 CONTRADICTED: './config' has no export named 'parseConifg'
+import { helper } from './utils/missing'; // 🔴 CONTRADICTED: path resolves to no file
+import { Client } from 'some-sdk';        // 🟡 UNVERIFIED: package not installed (dependency check is separate)
+```
+
+It resolves modules the way the target repo's own `tsconfig.json` does, follows local `export *`
+re-exports, and degrades to 🟡 UNVERIFIED whenever exports can't be statically enumerated (CJS,
+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 M3 adds: `claim-reconciliation`
+
+Verifies the agent's **own claims** against the diff — deterministically. Claims are declared in a
+machine-readable block (parsing, never NLU), so an unrecognized claim degrades to 🟡 UNVERIFIED and can
+never become a false 🔴 CONTRADICTED:
+
+````md
+```tribunal
+added-test
+no-public-api-change
+```
+````
+
+- `added-test` → 🟢 PASS if the diff adds a test with a reachable assertion; 🔴 CONTRADICTED if it adds
+  no test at all; 🟡 UNVERIFIED if a test was added but its assertion can't be detected.
+- `no-public-api-change` → compares the exported-symbol set between base and head; 🔴 CONTRADICTED on any
+  added/removed export, 🟡 UNVERIFIED when there's no base ref or a module re-exports via `export *`.
+- `no-default-flip` → compares literal default parameter values between base and head (scope to one with
+  `no-default-flip: paramName`); 🔴 CONTRADICTED when a default silently changed.
+
+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.
+
+## Benchmark — the moat-proof
+
+Tribunal is only safe as a hard-fail gate if it almost never false-fires. That's measured, not
+asserted:
+
+```bash
+npm run bench
+# cases=16  TP=9 TN=7 FP=0 FN=0
+# recall=100.0%  precision=100.0%  false-positive=0.0%
+```
+
+The [`bench/`](bench/) corpus is deliberately adversarial on the clean side (big refactors carrying a
+`no-public-api-change` claim, tests that assert through helpers) so the **false-positive rate** means
+something. It runs in CI via `test/bench.test.ts` and is the regression guard for the Trust Contract.
+The public MSR'26 PR-MCI labeled set (974 PRs) plugs in alongside the seed corpus — see
+[bench/README.md](bench/README.md).
+
+## Roadmap
+
+| Milestone | Scope |
+|-----------|-------|
+| **M0** ✅ | scaffold + `assertion-free-test` + pipeline + tests |
+| **M1** ✅ | `hallucinated-symbol` — import resolution (nonexistent named exports & relative paths) |
+| **M2** ✅ | PR-comment reporter as a GitHub Action |
+| **M3** ✅ | claim-reconciliation: `added-test`, `no-public-api-change`, `no-default-flip` (pluggable registry) |
+| **M4** ✅ | benchmark harness + adversarial seed corpus + CI guard (currently **0% false-positive**); MSR'26 PR-MCI set pluggable |
+
+## License
+
+MIT

package/dist/analyzers/assertionFreeTest.d.ts

@@ -0,0 +1,12 @@
+import ts from 'typescript';
+import type { Analyzer, Finding } from '../types.js';
+declare function isTestFile(path: string): boolean;
+declare function scriptKindFor(path: string): ts.ScriptKind;
+declare function analyzeFile(sf: ts.SourceFile, path: string, addedLines: Set<number>): Finding[];
+export declare const assertionFreeTest: Analyzer;
+export declare const __test__: {
+    analyzeFile: typeof analyzeFile;
+    isTestFile: typeof isTestFile;
+    scriptKindFor: typeof scriptKindFor;
+};
+export {};

package/dist/analyzers/assertionFreeTest.js

@@ -0,0 +1,316 @@
+import ts from 'typescript';
+/**
+ * `assertion-free-test` — flags tests the PR added/changed that contain NO assertion and therefore can
+ * never fail. This is a marquee agent defect: "I added tests" where the test does setup and asserts
+ * nothing.
+ *
+ * Trust Contract (docs/SPEC.md §3):
+ *  - PASS         : an assertion is reachable from the test body (directly or via a resolvable local helper).
+ *  - CONTRADICTED : a SYNTACTIC CERTAINTY that no assertion can occur — the body is empty, or it contains
+ *                   zero function calls, or every call resolves to a local helper that also cannot assert.
+ *  - UNVERIFIED   : no assertion found, but the body calls something external/unresolvable that COULD
+ *                   assert indirectly. We never guess PASS and never guess CONTRADICTED here.
+ */
+const TEST_FILE_RE = /(^|[./\\])(test|spec)\.[cm]?[jt]sx?$/i;
+const TEST_DIR_RE = /(^|[/\\])(__tests__|tests?)[/\\]/i;
+const SOURCE_EXT_RE = /\.[cm]?[jt]sx?$/i;
+function isTestFile(path) {
+    return TEST_FILE_RE.test(path) || (TEST_DIR_RE.test(path) && SOURCE_EXT_RE.test(path));
+}
+/** Test-defining call roots. `Deno` covers `Deno.test(...)`. */
+const TEST_ROOTS = new Set(['it', 'test', 'fit', 'Deno']);
+/** Modifiers that mean the test does not run, so its lack of assertions is not a defect. */
+const SKIP_MODIFIERS = new Set(['skip', 'todo']);
+/** AVA / node:test context-object assertion methods (`t.is`, `t.deepEqual`, ...). */
+const CTX_ASSERTIONS = new Set([
+    'is', 'not', 'deepEqual', 'notDeepEqual', 'like', 'true', 'false', 'truthy', 'falsy',
+    'assert', 'pass', 'fail', 'throws', 'throwsAsync', 'notThrows', 'notThrowsAsync',
+    'regex', 'notRegex', 'snapshot',
+]);
+/** Walk a callee chain to its root identifier, noting any `.skip`/`.todo` modifier on the way. */
+function calleeInfo(expr) {
+    let hasSkip = false;
+    let node = expr;
+    while (true) {
+        if (ts.isCallExpression(node)) {
+            node = node.expression;
+        }
+        else if (ts.isPropertyAccessExpression(node)) {
+            if (SKIP_MODIFIERS.has(node.name.text))
+                hasSkip = true;
+            node = node.expression;
+        }
+        else if (ts.isElementAccessExpression(node)) {
+            node = node.expression;
+        }
+        else {
+            break;
+        }
+    }
+    return { root: ts.isIdentifier(node) ? node.text : undefined, hasSkip };
+}
+/** Find the function/arrow argument that is the test body (the last function-like argument). */
+function testBodyFn(call) {
+    for (let i = call.arguments.length - 1; i >= 0; i--) {
+        const a = call.arguments[i];
+        if (ts.isArrowFunction(a) || ts.isFunctionExpression(a))
+            return a;
+    }
+    return undefined;
+}
+/** First string-literal argument, used as the human-readable test name. */
+function testName(call) {
+    const a = call.arguments[0];
+    if (a && (ts.isStringLiteral(a) || ts.isNoSubstitutionTemplateLiteral(a)))
+        return a.text;
+    return undefined;
+}
+/** Build the per-file assertion vocabulary from imports plus globals (`expect`, `assert`). */
+function collectVocab(sf) {
+    const ids = new Set(['expect', 'assert']);
+    const memberRoots = new Set(['assert', 'sinon', 'chai', 'expect']);
+    sf.forEachChild((node) => {
+        if (!ts.isImportDeclaration(node) || !node.importClause)
+            return;
+        if (!ts.isStringLiteral(node.moduleSpecifier))
+            return;
+        const mod = node.moduleSpecifier.text;
+        const fromAssertModule = /assert/i.test(mod);
+        const considerBinding = (name) => {
+            if (name === 'expect' || name === 'should' || /^assert/i.test(name) || fromAssertModule) {
+                ids.add(name);
+            }
+            if (name === 'chai' || name === 'sinon' || name === 'expect' || name === 'assert') {
+                memberRoots.add(name);
+            }
+        };
+        const clause = node.importClause;
+        if (clause.name)
+            considerBinding(clause.name.text); // default import
+        const nb = clause.namedBindings;
+        if (nb) {
+            if (ts.isNamespaceImport(nb)) {
+                memberRoots.add(nb.name.text); // import * as assert / chai
+            }
+            else if (ts.isNamedImports(nb)) {
+                nb.elements.forEach((e) => considerBinding(e.name.text));
+            }
+        }
+    });
+    return { ids, memberRoots };
+}
+/** Leftmost root identifier of a (possibly chained) expression. */
+function rootIdentifier(expr) {
+    let node = expr;
+    while (ts.isPropertyAccessExpression(node) ||
+        ts.isElementAccessExpression(node) ||
+        ts.isCallExpression(node) ||
+        ts.isNonNullExpression(node)) {
+        node = node.expression;
+    }
+    return ts.isIdentifier(node) ? node : undefined;
+}
+function isAssertionCallee(callee, vocab, ctxParam) {
+    if (ts.isIdentifier(callee))
+        return vocab.ids.has(callee.text);
+    if (ts.isPropertyAccessExpression(callee)) {
+        const root = rootIdentifier(callee);
+        if (root) {
+            if (vocab.memberRoots.has(root.text))
+                return true;
+            if (ctxParam && root.text === ctxParam && CTX_ASSERTIONS.has(callee.name.text))
+                return true;
+        }
+    }
+    return false;
+}
+/** Local module-scope helpers: name → body node, so we can follow `helper()` calls one or more levels. */
+function collectHelpers(sf) {
+    const helpers = new Map();
+    sf.forEachChild((node) => {
+        if (ts.isFunctionDeclaration(node) && node.name && node.body) {
+            helpers.set(node.name.text, node.body);
+        }
+        else if (ts.isVariableStatement(node)) {
+            for (const d of node.declarationList.declarations) {
+                if (ts.isIdentifier(d.name) &&
+                    d.initializer &&
+                    (ts.isArrowFunction(d.initializer) || ts.isFunctionExpression(d.initializer))) {
+                    helpers.set(d.name.text, d.initializer.body);
+                }
+            }
+        }
+    });
+    return helpers;
+}
+const MAX_HELPER_DEPTH = 4;
+function analyzeBody(body, vocab, ctxParam, helpers, visited, depth) {
+    let hasAssertion = false;
+    let callCount = 0;
+    let hasUnresolved = false;
+    const visit = (node) => {
+        if (hasAssertion)
+            return;
+        // chai BDD: `result.should.equal(x)` — the assertion signal is the `.should` property.
+        if (ts.isPropertyAccessExpression(node) && node.name.text === 'should') {
+            hasAssertion = true;
+            return;
+        }
+        if (ts.isCallExpression(node)) {
+            callCount++;
+            if (isAssertionCallee(node.expression, vocab, ctxParam)) {
+                hasAssertion = true;
+                return;
+            }
+            const callee = node.expression;
+            const localName = ts.isIdentifier(callee) ? callee.text : undefined;
+            if (localName && helpers.has(localName)) {
+                if (!visited.has(localName) && depth < MAX_HELPER_DEPTH) {
+                    visited.add(localName);
+                    const sub = analyzeBody(helpers.get(localName), vocab, undefined, helpers, visited, depth + 1);
+                    if (sub.hasAssertion) {
+                        hasAssertion = true;
+                        return;
+                    }
+                    if (sub.hasUnresolved)
+                        hasUnresolved = true;
+                    // else: a fully-resolved helper that cannot assert — contributes a call but nothing asserting.
+                }
+                else {
+                    hasUnresolved = true; // recursion limit / cycle — stay safe.
+                }
+            }
+            else {
+                hasUnresolved = true; // external/unknown call could assert indirectly.
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(body);
+    return { hasAssertion, callCount, hasUnresolved };
+}
+function statementCount(body) {
+    if (ts.isBlock(body))
+        return body.statements.length;
+    return 1; // expression-bodied arrow
+}
+function ctxParamName(fn) {
+    const p = fn.parameters[0];
+    if (p && ts.isIdentifier(p.name))
+        return p.name.text;
+    return undefined;
+}
+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;
+}
+/** Inclusive overlap test between a node's [start,end] line range and the diff's added lines. */
+function isTouched(addedLines, startLine, endLine) {
+    if (addedLines.size === 0)
+        return false;
+    for (let l = startLine; l <= endLine; l++) {
+        if (addedLines.has(l))
+            return true;
+    }
+    return false;
+}
+function analyzeFile(sf, path, addedLines) {
+    const findings = [];
+    const vocab = collectVocab(sf);
+    const helpers = collectHelpers(sf);
+    const visit = (node) => {
+        if (ts.isCallExpression(node)) {
+            const info = calleeInfo(node.expression);
+            if (info.root && TEST_ROOTS.has(info.root) && !info.hasSkip) {
+                const fn = testBodyFn(node);
+                if (fn) {
+                    const startLine = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    const endLine = sf.getLineAndCharacterOfPosition(node.getEnd()).line + 1;
+                    if (isTouched(addedLines, startLine, endLine)) {
+                        findings.push(evaluateTest(node, fn, sf, path, vocab, helpers, startLine, endLine));
+                    }
+                    // Don't descend into the test body looking for nested tests — tests don't nest meaningfully.
+                    return;
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(sf);
+    return findings;
+}
+function evaluateTest(call, fn, sf, path, vocab, helpers, startLine, endLine) {
+    const name = testName(call);
+    const label = name ? `"${name}"` : 'this test';
+    const ctxParam = ctxParamName(fn);
+    const analysis = analyzeBody(fn.body, vocab, ctxParam, helpers, new Set(), 0);
+    let verdict;
+    let title;
+    let detail;
+    if (analysis.hasAssertion) {
+        verdict = 'PASS';
+        title = 'Test asserts';
+        detail = `${label} contains at least one assertion.`;
+    }
+    else if (statementCount(fn.body) === 0) {
+        verdict = 'CONTRADICTED';
+        title = 'Test body is empty';
+        detail = `${label} has an empty body and asserts nothing — it can never fail.`;
+    }
+    else if (analysis.callCount === 0) {
+        verdict = 'CONTRADICTED';
+        title = 'Test asserts nothing';
+        detail = `${label} has no assertions and calls nothing that could assert — it can never fail.`;
+    }
+    else if (analysis.hasUnresolved) {
+        verdict = 'UNVERIFIED';
+        title = 'No assertion found';
+        detail =
+            `No assertion was detected in ${label}, but it calls a function Tribunal cannot resolve ` +
+                `(an external/imported helper) that may assert. Verify manually.`;
+    }
+    else {
+        verdict = 'CONTRADICTED';
+        title = 'Test asserts nothing';
+        detail =
+            `${label} only calls local helpers that contain no assertions — it can never fail.`;
+    }
+    return {
+        analyzer: 'assertion-free-test',
+        verdict,
+        file: path,
+        line: startLine,
+        endLine,
+        title,
+        detail,
+    };
+}
+export const assertionFreeTest = {
+    id: 'assertion-free-test',
+    title: 'Assertion-free tests',
+    description: 'Flags tests the PR added or changed that contain no assertion and therefore can never fail.',
+    kind: 'claim-independent',
+    run(ctx) {
+        const findings = [];
+        for (const f of ctx.changedFiles) {
+            if (f.status === 'deleted')
+                continue;
+            if (!isTestFile(f.path))
+                continue;
+            const src = ctx.readFile(f.path);
+            if (src == null)
+                continue;
+            const sf = ts.createSourceFile(f.path, src, ts.ScriptTarget.Latest, true, scriptKindFor(f.path));
+            findings.push(...analyzeFile(sf, f.path, f.addedLines));
+        }
+        return findings;
+    },
+};
+// Exposed for unit tests that drive a single source string directly.
+export const __test__ = { analyzeFile, isTestFile, scriptKindFor };
+//# sourceMappingURL=assertionFreeTest.js.map

package/dist/analyzers/assertionFreeTest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertionFreeTest.js","sourceRoot":"","sources":["../../src/analyzers/assertionFreeTest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B;;;;;;;;;;;GAWG;AAEH,MAAM,YAAY,GAAG,uCAAuC,CAAC;AAC7D,MAAM,WAAW,GAAG,mCAAmC,CAAC;AACxD,MAAM,aAAa,GAAG,kBAAkB,CAAC;AAEzC,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,gEAAgE;AAChE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAC1D,4FAA4F;AAC5F,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEjD,qFAAqF;AACrF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO;IACpF,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB;IAChF,OAAO,EAAE,UAAU,EAAE,UAAU;CAChC,CAAC,CAAC;AAOH,kGAAkG;AAClG,SAAS,UAAU,CAAC,IAAmB;IACrC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;aAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,GAAG,IAAI,CAAC;YACvD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;aAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC;AAC1E,CAAC;AAED,gGAAgG;AAChG,SAAS,UAAU,CAAC,IAAuB;IACzC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,2EAA2E;AAC3E,SAAS,QAAQ,CAAC,IAAuB;IACvC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IACzF,OAAO,SAAS,CAAC;AACnB,CAAC;AASD,8FAA8F;AAC9F,SAAS,YAAY,CAAC,EAAiB;IACrC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAE3E,EAAE,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE;QACvB,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY;YAAE,OAAO;QAChE,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;YAAE,OAAO;QACtD,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;QACtC,MAAM,gBAAgB,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE7C,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,EAAE;YACvC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,EAAE,CAAC;gBACxF,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC;YACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAClF,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC,CAAC;QAEF,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC;QACjC,IAAI,MAAM,CAAC,IAAI;YAAE,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB;QACrE,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC;QAChC,IAAI,EAAE,EAAE,CAAC;YACP,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7B,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,4BAA4B;YAC7D,CAAC;iBAAM,IAAI,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;gBACjC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED,mEAAmE;AACnE,SAAS,cAAc,CAAC,IAAmB;IACzC,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,OACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACnC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAClC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAClD,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAqB,EACrB,KAAqB,EACrB,QAA4B;IAE5B,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClD,IAAI,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,0GAA0G;AAC1G,SAAS,cAAc,CAAC,EAAiB;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC3C,EAAE,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBAClD,IACE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;oBACvB,CAAC,CAAC,WAAW;oBACb,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC7E,CAAC;oBACD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AASD,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAE3B,SAAS,WAAW,CAClB,IAAa,EACb,KAAqB,EACrB,QAA4B,EAC5B,OAA6B,EAC7B,OAAoB,EACpB,KAAa;IAEb,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,aAAa,GAAG,KAAK,CAAC;IAE1B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,YAAY;YAAE,OAAO;QAEzB,uFAAuF;QACvF,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvE,YAAY,GAAG,IAAI,CAAC;YACpB,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,SAAS,EAAE,CAAC;YACZ,IAAI,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACxD,YAAY,GAAG,IAAI,CAAC;gBACpB,OAAO;YACT,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;YAC/B,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACpE,IAAI,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,GAAG,gBAAgB,EAAE,CAAC;oBACxD,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBACvB,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAE,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;oBAChG,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;wBACrB,YAAY,GAAG,IAAI,CAAC;wBACpB,OAAO;oBACT,CAAC;oBACD,IAAI,GAAG,CAAC,aAAa;wBAAE,aAAa,GAAG,IAAI,CAAC;oBAC5C,+FAA+F;gBACjG,CAAC;qBAAM,CAAC;oBACN,aAAa,GAAG,IAAI,CAAC,CAAC,uCAAuC;gBAC/D,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,aAAa,GAAG,IAAI,CAAC,CAAC,iDAAiD;YACzE,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,cAAc,CAAC,IAAoB;IAC1C,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;IACpD,OAAO,CAAC,CAAC,CAAC,0BAA0B;AACtC,CAAC;AAED,SAAS,YAAY,CAAC,EAA4C;IAChE,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACrD,OAAO,SAAS,CAAC;AACnB,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;AAED,iGAAiG;AACjG,SAAS,SAAS,CAAC,UAAuB,EAAE,SAAiB,EAAE,OAAe;IAC5E,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,SAAS,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACrC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,EAAiB,EAAE,IAAY,EAAE,UAAuB;IAC3E,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IAEnC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC5D,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC5B,IAAI,EAAE,EAAE,CAAC;oBACP,MAAM,SAAS,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;oBAC/E,MAAM,OAAO,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;oBACzE,IAAI,SAAS,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;wBAC9C,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;oBACtF,CAAC;oBACD,6FAA6F;oBAC7F,OAAO;gBACT,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,CAAC,CAAC;IAEV,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,YAAY,CACnB,IAAuB,EACvB,EAA4C,EAC5C,EAAiB,EACjB,IAAY,EACZ,KAAqB,EACrB,OAA6B,EAC7B,SAAiB,EACjB,OAAe;IAEf,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;IAC/C,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAE9E,IAAI,OAAgB,CAAC;IACrB,IAAI,KAAa,CAAC;IAClB,IAAI,MAAc,CAAC;IAEnB,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC1B,OAAO,GAAG,MAAM,CAAC;QACjB,KAAK,GAAG,cAAc,CAAC;QACvB,MAAM,GAAG,GAAG,KAAK,mCAAmC,CAAC;IACvD,CAAC;SAAM,IAAI,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,GAAG,cAAc,CAAC;QACzB,KAAK,GAAG,oBAAoB,CAAC;QAC7B,MAAM,GAAG,GAAG,KAAK,6DAA6D,CAAC;IACjF,CAAC;SAAM,IAAI,QAAQ,CAAC,SAAS,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,GAAG,cAAc,CAAC;QACzB,KAAK,GAAG,sBAAsB,CAAC;QAC/B,MAAM,GAAG,GAAG,KAAK,6EAA6E,CAAC;IACjG,CAAC;SAAM,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;QAClC,OAAO,GAAG,YAAY,CAAC;QACvB,KAAK,GAAG,oBAAoB,CAAC;QAC7B,MAAM;YACJ,gCAAgC,KAAK,oDAAoD;gBACzF,iEAAiE,CAAC;IACtE,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,cAAc,CAAC;QACzB,KAAK,GAAG,sBAAsB,CAAC;QAC/B,MAAM;YACJ,GAAG,KAAK,2EAA2E,CAAC;IACxF,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,qBAAqB;QAC/B,OAAO;QACP,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,SAAS;QACf,OAAO;QACP,KAAK;QACL,MAAM;KACP,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,EAAE,EAAE,qBAAqB;IACzB,KAAK,EAAE,sBAAsB;IAC7B,WAAW,EACT,6FAA6F;IAC/F,IAAI,EAAE,mBAAmB;IACzB,GAAG,CAAC,GAAoB;QACtB,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,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YAClC,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,GAAG,IAAI,IAAI;gBAAE,SAAS;YAC1B,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACjG,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF,CAAC;AAEF,qEAAqE;AACrE,MAAM,CAAC,MAAM,QAAQ,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC"}

package/dist/analyzers/claimReconciliation.d.ts

@@ -0,0 +1,3 @@
+import type { Analyzer } from '../types.js';
+export declare const recognizedClaims: string[];
+export declare const claimReconciliation: Analyzer;