@zhixuan92/multi-model-agent-core 4.3.1 → 4.4.0

package/dist/reporting/report-parser-slots/verify-report.d.ts

@@ -1,27 +0,0 @@
-import type { ReportSchema } from '../structured-report-parser.js';
-export interface VerifyReport {
-    results: Array<{
-        item: string;
-        pass: boolean;
-        evidence: string;
-    }>;
-}
-/**
- * Extract verify checklist results from `## Finding N:` narrative blocks.
- *
- * The verify tool prompt instructs workers to emit results in this exact
- * format (and explicitly NOT JSON):
- *
- *     ## Finding 1: <title>
- *     - Severity: low|high|...
- *     - Item: <criterion text>
- *     - Result: PASS | FAIL
- *     - Evidence: <evidence>
- *
- * Returns one entry per finding block. `pass` is true iff the Result line
- * normalizes to "pass" (case-insensitive). Missing labels become empty
- * strings / false (matches the schema's required-field shape).
- */
-export declare function parseVerifyResults(output: string): VerifyReport['results'];
-export declare const verifyReportSchema: ReportSchema<VerifyReport>;
-//# sourceMappingURL=verify-report.d.ts.map

package/dist/reporting/report-parser-slots/verify-report.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-report.d.ts","sourceRoot":"","sources":["../../../src/reporting/report-parser-slots/verify-report.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAEnE,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACnE;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,GACb,YAAY,CAAC,SAAS,CAAC,CAezB;AAED,eAAO,MAAM,kBAAkB,EAAE,YAAY,CAAC,YAAY,CAezD,CAAC"}

package/dist/reporting/report-parser-slots/verify-report.js

@@ -1,51 +0,0 @@
-/**
- * Extract verify checklist results from `## Finding N:` narrative blocks.
- *
- * The verify tool prompt instructs workers to emit results in this exact
- * format (and explicitly NOT JSON):
- *
- *     ## Finding 1: <title>
- *     - Severity: low|high|...
- *     - Item: <criterion text>
- *     - Result: PASS | FAIL
- *     - Evidence: <evidence>
- *
- * Returns one entry per finding block. `pass` is true iff the Result line
- * normalizes to "pass" (case-insensitive). Missing labels become empty
- * strings / false (matches the schema's required-field shape).
- */
-export function parseVerifyResults(output) {
-    if (!output || typeof output !== 'string')
-        return [];
-    const blocks = output.split(/^##\s+Finding\s+\d+\s*:?/im);
-    const out = [];
-    for (let i = 1; i < blocks.length; i++) {
-        const block = blocks[i];
-        const itemMatch = block.match(/^\s*[-*]?\s*Item\s*:\s*(.+?)\s*$/im);
-        const resultMatch = block.match(/^\s*[-*]?\s*Result\s*:\s*(\w+)/im);
-        const evidenceMatch = block.match(/^\s*[-*]?\s*Evidence\s*:\s*([\s\S]+?)(?=\n\s*[-*]\s|\n##|$)/im);
-        const item = itemMatch ? itemMatch[1].trim() : '';
-        const pass = resultMatch ? /^pass$/i.test(resultMatch[1].trim()) : false;
-        const evidence = evidenceMatch ? evidenceMatch[1].trim() : '';
-        out.push({ item, pass, evidence });
-    }
-    return out;
-}
-export const verifyReportSchema = {
-    parse(text) {
-        // Primary path: JSON block (legacy; some workers may still emit it).
-        const m = text.match(/```json\n([\s\S]+?)\n```/);
-        if (m)
-            return JSON.parse(m[1]);
-        // Narrative path (the actual prompt format — the verify prompt
-        // explicitly says "Do NOT emit JSON"). Recover one result per
-        // `## Finding N:` block. If neither path produced anything,
-        // throw so the parent falls back to notApplicable.
-        const narrative = parseVerifyResults(text);
-        if (narrative.length === 0) {
-            throw new Error('verify report missing JSON block and no `## Finding N:` narrative results');
-        }
-        return { results: narrative };
-    },
-};
-//# sourceMappingURL=verify-report.js.map

package/dist/reporting/report-parser-slots/verify-report.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-report.js","sourceRoot":"","sources":["../../../src/reporting/report-parser-slots/verify-report.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAc;IAEd,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACrD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC1D,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACpE,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACpE,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,+DAA+D,CAAC,CAAC;QACnG,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACzE,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAA+B;IAC5D,KAAK,CAAC,IAAY;QAChB,qEAAqE;QACrE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACjD,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,+DAA+D;QAC/D,8DAA8D;QAC9D,4DAA4D;QAC5D,mDAAmD;QACnD,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;QAC/F,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IAChC,CAAC;CACF,CAAC"}

package/dist/review/templates/annotator-verify.d.ts

@@ -1,3 +0,0 @@
-import type { AnnotatorTemplate } from './annotator-shared.js';
-export declare const annotatorVerifyTemplate: AnnotatorTemplate;
-//# sourceMappingURL=annotator-verify.d.ts.map

package/dist/review/templates/annotator-verify.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"annotator-verify.d.ts","sourceRoot":"","sources":["../../../src/review/templates/annotator-verify.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,eAAO,MAAM,uBAAuB,EAAE,iBAmBrC,CAAC"}

package/dist/review/templates/annotator-verify.js

@@ -1,21 +0,0 @@
-export const annotatorVerifyTemplate = {
-    role: 'verification report',
-    onBriefCheck: 'Each finding should map 1:1 to a checklist item with evidence in one of three valid shapes (EXECUTION command+output, FILE-LEVEL file:line+quote, or NEGATIVE "cannot verify"). AND: a PASS that rests on a prose claim from the work product alone — without execution output or file:line citation — is a rubber stamp; downgrade to FAIL with NEGATIVE evidence. Findings consistent with the verify failure-mode taxonomy (claim-without-evidence, stale evidence, implicit-criterion gap, partial coverage, conflated criteria, wrong-artifact evidence, assumed-PASS-on-untested) should be filed as the appropriate verdict — do NOT silently exclude implicit sub-criteria from PASS verdicts.',
-    evidenceRule: [
-        '- Each Finding must map 1:1 to a checklist item.',
-        '- Evidence is one of three valid shapes:',
-        '  1. EXECUTION: a command + its observed output (test name + pass/fail line, build output, lint result), with the relevant output line quoted.',
-        '  2. FILE-LEVEL: `file:line` citation showing the implementation that satisfies (or fails) the criterion, with the relevant code excerpt quoted.',
-        '  3. NEGATIVE: an explicit "cannot verify from this artifact" plus what would be needed to verify (a test run, a different file, a runtime check).',
-        '- A claimed PASS without one of the three shapes is a rubber stamp; downgrade to FAIL with NEGATIVE evidence.',
-        '- A "the work product says it is done" claim is NOT valid evidence — only execution output or file:line citations count for PASS.',
-        '- Severity binding: PASS = low; FAIL = medium or high based on impact; FAIL on a release-blocking criterion = critical.',
-        '- FAIL with NEGATIVE evidence ("cannot verify") is FULLY VALID and the correct verdict when the artifact is insufficient. Do NOT downgrade NEGATIVE-evidence FAILs to "cannot determine" or assumed-PASS.',
-    ].join('\n'),
-    scopeRule: [
-        '- Only checklist items are in scope. Findings not tied to a checklist item are off-brief.',
-        '- All checklist items should be covered (one Finding per item, in order, no skips).',
-        '- IMPLICIT criteria embedded in a checklist item (e.g. "fix the bug" implies "regression test added") ARE in scope. A PASS verdict that silently excludes an implicit sub-criterion is a partial-coverage failure.',
-    ].join('\n'),
-};
-//# sourceMappingURL=annotator-verify.js.map

package/dist/review/templates/annotator-verify.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"annotator-verify.js","sourceRoot":"","sources":["../../../src/review/templates/annotator-verify.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAsB;IACxD,IAAI,EAAE,qBAAqB;IAC3B,YAAY,EAAE,wqBAAwqB;IACtrB,YAAY,EAAE;QACZ,kDAAkD;QAClD,0CAA0C;QAC1C,gJAAgJ;QAChJ,kJAAkJ;QAClJ,oJAAoJ;QACpJ,+GAA+G;QAC/G,mIAAmI;QACnI,yHAAyH;QACzH,2MAA2M;KAC5M,CAAC,IAAI,CAAC,IAAI,CAAC;IACZ,SAAS,EAAE;QACT,2FAA2F;QAC3F,qFAAqF;QACrF,oNAAoN;KACrN,CAAC,IAAI,CAAC,IAAI,CAAC;CACb,CAAC"}

package/dist/review/templates/quality-review-verify.d.ts

@@ -1,3 +0,0 @@
-import type { ReviewTemplate } from './shared.js';
-export declare const qualityVerifyTemplate: ReviewTemplate;
-//# sourceMappingURL=quality-review-verify.d.ts.map

package/dist/review/templates/quality-review-verify.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"quality-review-verify.d.ts","sourceRoot":"","sources":["../../../src/review/templates/quality-review-verify.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAIlD,eAAO,MAAM,qBAAqB,EAAE,cAMnC,CAAC"}

package/dist/review/templates/quality-review-verify.js

@@ -1,10 +0,0 @@
-import { buildAnnotatorRubric } from './annotator-shared.js';
-import { annotatorVerifyTemplate } from './annotator-verify.js';
-export const qualityVerifyTemplate = {
-    systemPrompt: `You are a quality reviewer checking a verification report produced by a worker.
-Each finding should map to one checklist item with evidence the criterion was met or unmet. Flag findings that do not correspond to any checklist item, or whose evidence does not actually demonstrate the claimed pass/fail status.`,
-    buildUserPrompt(ctx) {
-        return `Task: ${ctx.brief}\n\nWorker output:\n${ctx.workerOutput}\n\n${buildAnnotatorRubric(annotatorVerifyTemplate)}`;
-    },
-};
-//# sourceMappingURL=quality-review-verify.js.map

package/dist/review/templates/quality-review-verify.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"quality-review-verify.js","sourceRoot":"","sources":["../../../src/review/templates/quality-review-verify.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,MAAM,CAAC,MAAM,qBAAqB,GAAmB;IACnD,YAAY,EAAE;sOACsN;IACpO,eAAe,CAAC,GAAG;QACjB,OAAO,SAAS,GAAG,CAAC,KAAK,uBAAuB,GAAG,CAAC,YAAY,OAAO,oBAAoB,CAAC,uBAAuB,CAAC,EAAE,CAAC;IACzH,CAAC;CACF,CAAC"}

package/dist/tools/verify/implementer-criteria.d.ts

@@ -1,61 +0,0 @@
-/**
- * Verify-specific implementer criteria.
- *
- * VERIFY'S PURPOSE — read this before adding categories.
- * mma-verify is the "are we lying when we say it's done?" gate. The
- * caller is about to claim work is complete to a stakeholder; the
- * verify output is the evidence trail for that claim. The success
- * criterion is:
- *
- *   "If you mark every item PASS, the caller can claim the work is
- *    done to a stakeholder without lying — and the stakeholder, given
- *    your evidence, can re-verify each item without re-doing the work."
- *
- * That criterion is what makes a finding load-bearing. A PASS marked
- * on the basis of a prose claim ("the bug is fixed") rather than
- * execution output or a file:line citation is a rubber stamp — the
- * verify-equivalent of an unimplementable fix. A criterion that the
- * worker could not actually verify from the supplied artifact must be
- * marked FAIL with "cannot verify from this artifact" — not assumed-
- * PASS or skipped.
- *
- * Verify walks an explicit checklist; each Finding maps 1:1 to one
- * checklist item. Severity is bound to the result (PASS = low,
- * FAIL = medium/high based on impact). Anything outside the checklist
- * is out of scope, no exceptions.
- */
-/**
- * The orientation block. Goes at the TOP of every verify prompt.
- *
- * Without an explicit purpose statement, workers default to "rubber-
- * stamp the checklist" — marking PASS based on prose claims in the
- * work product instead of demanding execution-level evidence. With
- * this orientation, every PASS comes with evidence a stakeholder
- * could re-verify.
- */
-export declare const VERIFY_PURPOSE_ORIENTATION: string;
-export declare const EVIDENCE_RULE_VERIFY: string;
-export declare const SCOPE_RULE_VERIFY: string;
-/**
- * The failure-mode taxonomy for verify.
- *
- * Without this block, workers tend to rubber-stamp PASS based on prose
- * claims in the work product. The 7 categories below are the patterns
- * a careful verifier would consciously check for.
- */
-export declare const VERIFY_FAILURE_MODES: string;
-/**
- * Counter-balance to the SEVERITY_LADDER's anti-inflation hint.
- *
- * The shared severity ladder warns against inflation. For verify, the
- * common failure is the OPPOSITE — workers UNDER-flag because they
- * accept prose claims at face value (rubber stamp). This block tells
- * the worker the typical verify failure is rubber-stamping, not
- * over-skeptical FAIL marking.
- */
-export declare const THOROUGHNESS_REMINDER_VERIFY: string;
-export declare const ANNOTATOR_AWARENESS_VERIFY: string;
-import { type CriterionEntry } from '../criteria-types.js';
-/** Structured per-criterion array for parallel-criteria fan-out. */
-export declare const VERIFY_CRITERIA: readonly CriterionEntry[];
-//# sourceMappingURL=implementer-criteria.d.ts.map

package/dist/tools/verify/implementer-criteria.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"implementer-criteria.d.ts","sourceRoot":"","sources":["../../../src/tools/verify/implementer-criteria.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,0BAA0B,QAe3B,CAAC;AAEb,eAAO,MAAM,oBAAoB,QAUrB,CAAC;AAEb,eAAO,MAAM,iBAAiB,QAKlB,CAAC;AAEb;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,QAcrB,CAAC;AAEb;;;;;;;;GAQG;AACH,eAAO,MAAM,4BAA4B,QAW7B,CAAC;AAEb,eAAO,MAAM,0BAA0B,QAS3B,CAAC;AAEb,OAAO,EAAiB,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE1E,oEAAoE;AACpE,eAAO,MAAM,eAAe,EAAE,SAAS,cAAc,EAAwC,CAAC"}

package/dist/tools/verify/implementer-criteria.js

@@ -1,125 +0,0 @@
-/**
- * Verify-specific implementer criteria.
- *
- * VERIFY'S PURPOSE — read this before adding categories.
- * mma-verify is the "are we lying when we say it's done?" gate. The
- * caller is about to claim work is complete to a stakeholder; the
- * verify output is the evidence trail for that claim. The success
- * criterion is:
- *
- *   "If you mark every item PASS, the caller can claim the work is
- *    done to a stakeholder without lying — and the stakeholder, given
- *    your evidence, can re-verify each item without re-doing the work."
- *
- * That criterion is what makes a finding load-bearing. A PASS marked
- * on the basis of a prose claim ("the bug is fixed") rather than
- * execution output or a file:line citation is a rubber stamp — the
- * verify-equivalent of an unimplementable fix. A criterion that the
- * worker could not actually verify from the supplied artifact must be
- * marked FAIL with "cannot verify from this artifact" — not assumed-
- * PASS or skipped.
- *
- * Verify walks an explicit checklist; each Finding maps 1:1 to one
- * checklist item. Severity is bound to the result (PASS = low,
- * FAIL = medium/high based on impact). Anything outside the checklist
- * is out of scope, no exceptions.
- */
-/**
- * The orientation block. Goes at the TOP of every verify prompt.
- *
- * Without an explicit purpose statement, workers default to "rubber-
- * stamp the checklist" — marking PASS based on prose claims in the
- * work product instead of demanding execution-level evidence. With
- * this orientation, every PASS comes with evidence a stakeholder
- * could re-verify.
- */
-export const VERIFY_PURPOSE_ORIENTATION = [
-    'Why this verify exists:',
-    'mma-verify is the "are we lying when we say it is done?" gate. Your output becomes the evidence trail behind a claim of completeness to a stakeholder. A wrong PASS here ships a false claim.',
-    '',
-    'For your output to clear that bar, every Finding must answer:',
-    '- Item: the exact criterion text (preserve the caller\'s wording).',
-    '- Result: PASS or FAIL — never "partial", "mostly", "in progress" — only PASS or FAIL.',
-    '- Evidence: how the stakeholder could re-verify this PASS or FAIL themselves. Acceptable evidence shapes:',
-    '    1. EXECUTION: a command + its observed output (test name + pass/fail line, build output, lint result).',
-    '    2. FILE-LEVEL: `file:line` citation showing the implementation that satisfies (or fails to satisfy) the criterion.',
-    '    3. NEGATIVE: an explicit "cannot verify from this artifact" with what would be needed to verify.',
-    '',
-    'A PASS without evidence is a rubber stamp — the worst possible verify failure mode. If you cannot demonstrate PASS, the result is FAIL, NOT assumed-PASS or skipped.',
-    '',
-    'The completion test: would a stakeholder who reads only your verification report and the named artifacts be able to re-verify each PASS themselves — and end up agreeing with each verdict?',
-].join('\n');
-export const EVIDENCE_RULE_VERIFY = [
-    'Evidence grounding (REQUIRED for every finding):',
-    '- Each Finding maps 1:1 to a checklist item (same count, same order).',
-    '- Evidence is one of three shapes:',
-    '    1. EXECUTION: a command + its observed output. Quote the relevant line of the output (e.g. "12 passed, 0 failed", "✓ tests/foo.test.ts").',
-    '    2. FILE-LEVEL: `file:line` citation showing the implementation that satisfies (or fails) the criterion. Include the quoted excerpt.',
-    '    3. NEGATIVE: explicitly state "cannot verify from this artifact" plus what would be needed (a test run, a different file, a runtime check).',
-    '- A "the work product says it is done" claim is NOT evidence — that is a rubber stamp. Only execution output or file:line citations count.',
-    '- If you cannot demonstrate PASS, the result is FAIL — explain why in the Evidence field. Do NOT mark PASS without evidence and do NOT skip the item.',
-    '- Severity binding: PASS items are `low`. FAIL items are `medium` or `high` based on impact. Reserve `critical` for FAIL items that block the next step entirely (a release-blocking criterion failed, an acceptance test failed, etc.).',
-].join('\n');
-export const SCOPE_RULE_VERIFY = [
-    'Scope:',
-    '- Strictly the checklist items. One Finding per item, in checklist order, no skips.',
-    '- IMPLICIT criteria embedded in a checklist item ARE in scope. Example: a checklist item "fix the off-by-one bug in pagination" has an implicit sub-criterion "regression test added". If the implicit sub-criterion is not met, mark FAIL — do NOT split the item into two findings.',
-    '- Out of scope: any issue not tied to a checklist item, however interesting. Such observations may be noted in your summary section, but do NOT emit them as Findings.',
-].join('\n');
-/**
- * The failure-mode taxonomy for verify.
- *
- * Without this block, workers tend to rubber-stamp PASS based on prose
- * claims in the work product. The 7 categories below are the patterns
- * a careful verifier would consciously check for.
- */
-export const VERIFY_FAILURE_MODES = [
-    'Five parallel evidence sources for verifying the user\'s checklist. From your assigned source, examine EVERY applicable checklist item and emit a finding (PASS / FAIL / cannot-verify) per item, with the evidence quoted. Severity = how decisive the verdict is.',
-    '',
-    '1. TEST-SUITE EVIDENCE — read the test files exercising the work product. Does an existing or newly-added test cover the criterion? Did the test pass on the most recent run? Cite the test name + file:line + the assertion. If no test exists for the criterion, that is itself a finding (FAIL: "no test exercises this criterion").',
-    '2. SOURCE-CODE DIRECT-READ — read the implementation files directly. Does the code actually do what the criterion requires? Trace the relevant function / class / module, cite file:line for the lines that satisfy (or fail to satisfy) the criterion. This is the highest-fidelity evidence — no second-hand claims.',
-    '3. DOCUMENTATION EVIDENCE — read README, docstrings, design docs, commit messages, CHANGELOG. Does the docs corroborate the criterion is met? Quote the docs passage + cite source. Doc-only evidence is medium-confidence (docs can be stale); always cross-check with TEST or SOURCE evidence when possible.',
-    '4. RUN-OUTPUT EVIDENCE — read recent test-run logs, build output, CI artifacts, shell-command output that the work-product author cited. Does the output demonstrate the criterion? Verify timestamps to ensure evidence post-dates the change. Run-output evidence is the strongest "it actually worked" signal.',
-    '5. DIFF EVIDENCE — read the recent diff (git log / git diff). Is the change actually in the diff for the relevant files/lines? A claim of "implemented X in module Y" must show up in the diff for module Y. If the diff is empty or unrelated, FAIL the criterion regardless of other claims.',
-    '',
-    'Severity calibration for each verification finding:',
-    '- critical: FAIL on a release-blocking criterion with rock-solid contradicting evidence from THIS source — the user must NOT claim done.',
-    '- high: FAIL on a substantial criterion with strong evidence from THIS source; OR a strong PASS on a load-bearing criterion with rock-solid evidence from THIS source.',
-    '- medium: PARTIAL coverage / cannot-verify-from-this-source / a clear PASS on a non-load-bearing criterion. Mark "verify by also checking <other source>" so the user knows where to triangulate.',
-    '- low: minor stylistic gap in the verification narrative; a low-confidence PASS or absence-of-counter-evidence; defer to other angles\' findings.',
-].join('\n');
-/**
- * Counter-balance to the SEVERITY_LADDER's anti-inflation hint.
- *
- * The shared severity ladder warns against inflation. For verify, the
- * common failure is the OPPOSITE — workers UNDER-flag because they
- * accept prose claims at face value (rubber stamp). This block tells
- * the worker the typical verify failure is rubber-stamping, not
- * over-skeptical FAIL marking.
- */
-export const THOROUGHNESS_REMINDER_VERIFY = [
-    'Thoroughness expectation for verify:',
-    '- The SEVERITY_LADDER warns against inflation. That warning is calibrated for code reviews — for verify, the common failure is the OPPOSITE: rubber-stamping PASS based on a prose claim instead of demanding execution-level evidence. Apply the failure-mode taxonomy first; THEN calibrate severity.',
-    '- For each checklist item, ASK: "could a stakeholder reading my evidence re-verify this PASS themselves and reach the same conclusion?" If no — even if you believe the criterion is met — the verdict is FAIL with "cannot verify from this artifact".',
-    '- Do not invent FAILs to hit a quota. But if every item is PASS and the artifact is non-trivial, double-check categories 1, 3, 4, and 7 (claim-without-evidence, implicit-criterion gap, partial coverage, assumed-PASS-on-untested) — these are the ones verifiers most often miss on first pass and the ones most likely to ship a false claim.',
-    '',
-    'Evidence-shape walk (REQUIRED on every checklist item):',
-    '- For each item, before writing the Finding, ask: which of the three evidence shapes do I have? EXECUTION, FILE-LEVEL, or NEGATIVE?',
-    '- If you cannot place your verdict in one of the three shapes, your evidence is insufficient — the verdict is FAIL with NEGATIVE evidence ("cannot verify from this artifact, would need X").',
-    '- Worked example. Checklist item: "Bug #123 is fixed (the off-by-one in pagination)." Work product says "fixed in commit abc123 — added a guard at the loop boundary." Naive verdict: PASS based on the work product\'s claim. Correct verdict: read commit abc123, find the changed lines, cite `src/pagination.ts:48` with the actual changed expression, AND check for a regression test (implicit sub-criterion of "fix the bug"). If no test exists, mark FAIL with explicit note "fix is in place but no regression test was added — implicit sub-criterion not met". Do NOT mark PASS on the work-product claim alone, and do NOT silently exclude the implicit sub-criterion.',
-    '- Most verifiers miss findings of this shape on first pass because the work product\'s prose is persuasive. The evidence-shape walk forces the demand for execution or file:line.',
-].join('\n');
-export const ANNOTATOR_AWARENESS_VERIFY = [
-    'After your output, an annotator validates each finding against this verify rubric:',
-    '- Does each Finding map to exactly one checklist item, in checklist order, with the criterion text preserved?',
-    '- Does the evidence actually demonstrate the claimed PASS or FAIL — and is it one of the three valid shapes (EXECUTION, FILE-LEVEL, or NEGATIVE)?',
-    '- Is the severity bound (PASS = low; FAIL = medium/high based on impact)?',
-    '- Are all checklist items covered, including ones the worker thought were trivial?',
-    '- For PASS items: could a stakeholder re-verify the PASS from the cited evidence alone?',
-    '- For FAIL items: is the FAIL backed by a specific shortfall (which sub-criterion missed, which test failed, which file does not implement what the criterion requires)?',
-    'Self-check before emitting. Findings that fail any check are downgraded or dropped — but FAIL with NEGATIVE evidence ("cannot verify from this artifact") is FULLY VALID and the correct verdict when the artifact is insufficient. Do NOT downgrade NEGATIVE-evidence FAILs to "cannot determine" or assumed-PASS.',
-].join('\n');
-import { parseCriteria } from '../criteria-types.js';
-/** Structured per-criterion array for parallel-criteria fan-out. */
-export const VERIFY_CRITERIA = parseCriteria(VERIFY_FAILURE_MODES);
-//# sourceMappingURL=implementer-criteria.js.map

package/dist/tools/verify/implementer-criteria.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"implementer-criteria.js","sourceRoot":"","sources":["../../../src/tools/verify/implementer-criteria.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,yBAAyB;IACzB,+LAA+L;IAC/L,EAAE;IACF,+DAA+D;IAC/D,oEAAoE;IACpE,wFAAwF;IACxF,2GAA2G;IAC3G,4GAA4G;IAC5G,wHAAwH;IACxH,sGAAsG;IACtG,EAAE;IACF,sKAAsK;IACtK,EAAE;IACF,6LAA6L;CAC9L,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,kDAAkD;IAClD,uEAAuE;IACvE,oCAAoC;IACpC,+IAA+I;IAC/I,yIAAyI;IACzI,iJAAiJ;IACjJ,4IAA4I;IAC5I,uJAAuJ;IACvJ,0OAA0O;CAC3O,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,QAAQ;IACR,qFAAqF;IACrF,uRAAuR;IACvR,wKAAwK;CACzK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,qQAAqQ;IACrQ,EAAE;IACF,yUAAyU;IACzU,wTAAwT;IACxT,gTAAgT;IAChT,mTAAmT;IACnT,gSAAgS;IAChS,EAAE;IACF,qDAAqD;IACrD,0IAA0I;IAC1I,wKAAwK;IACxK,mMAAmM;IACnM,mJAAmJ;CACpJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG;IAC1C,sCAAsC;IACtC,ySAAyS;IACzS,yPAAyP;IACzP,mVAAmV;IACnV,EAAE;IACF,yDAAyD;IACzD,qIAAqI;IACrI,+LAA+L;IAC/L,upBAAupB;IACvpB,mLAAmL;CACpL,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,oFAAoF;IACpF,+GAA+G;IAC/G,mJAAmJ;IACnJ,2EAA2E;IAC3E,oFAAoF;IACpF,yFAAyF;IACzF,0KAA0K;IAC1K,qTAAqT;CACtT,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,OAAO,EAAE,aAAa,EAAuB,MAAM,sBAAsB,CAAC;AAE1E,oEAAoE;AACpE,MAAM,CAAC,MAAM,eAAe,GAA8B,aAAa,CAAC,oBAAoB,CAAC,CAAC"}

package/dist/tools/verify/schema.d.ts

@@ -1,56 +0,0 @@
-import { z } from 'zod';
-export declare const inputSchema: z.ZodObject<{
-    work: z.ZodOptional<z.ZodString>;
-    checklist: z.ZodArray<z.ZodString>;
-    filePaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
-    contextBlockIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
-}, z.core.$strip>;
-export type Input = z.infer<typeof inputSchema>;
-export declare const outputSchema: z.ZodObject<{
-    headline: z.ZodString;
-    results: z.ZodUnion<readonly [z.ZodArray<z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>, z.ZodObject<{
-        kind: z.ZodLiteral<"not_applicable">;
-        reason: z.ZodString;
-    }, z.core.$strip>]>;
-    batchTimings: z.ZodUnion<readonly [z.ZodObject<{}, z.core.$loose>, z.ZodObject<{
-        kind: z.ZodLiteral<"not_applicable">;
-        reason: z.ZodString;
-    }, z.core.$strip>]>;
-    costSummary: z.ZodUnion<readonly [z.ZodObject<{}, z.core.$loose>, z.ZodObject<{
-        kind: z.ZodLiteral<"not_applicable">;
-        reason: z.ZodString;
-    }, z.core.$strip>]>;
-    structuredReport: z.ZodUnion<readonly [z.ZodObject<{}, z.core.$loose>, z.ZodObject<{
-        kind: z.ZodLiteral<"not_applicable">;
-        reason: z.ZodString;
-    }, z.core.$strip>]>;
-    error: z.ZodUnion<readonly [z.ZodObject<{
-        code: z.ZodString;
-        message: z.ZodString;
-        details: z.ZodOptional<z.ZodUnknown>;
-    }, z.core.$strip>, z.ZodObject<{
-        kind: z.ZodLiteral<"not_applicable">;
-        reason: z.ZodString;
-    }, z.core.$strip>]>;
-    specReviewVerdict: z.ZodOptional<z.ZodEnum<{
-        approved: "approved";
-        concerns: "concerns";
-        changes_required: "changes_required";
-        annotated: "annotated";
-        error: "error";
-        skipped: "skipped";
-        not_applicable: "not_applicable";
-    }>>;
-    qualityReviewVerdict: z.ZodOptional<z.ZodEnum<{
-        approved: "approved";
-        concerns: "concerns";
-        changes_required: "changes_required";
-        annotated: "annotated";
-        error: "error";
-        skipped: "skipped";
-        not_applicable: "not_applicable";
-    }>>;
-    roundsUsed: z.ZodOptional<z.ZodNumber>;
-}, z.core.$loose>;
-export type Output = z.infer<typeof outputSchema>;
-//# sourceMappingURL=schema.d.ts.map

package/dist/tools/verify/schema.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/tools/verify/schema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,eAAO,MAAM,WAAW;;;;;iBAOtB,CAAC;AAEH,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEhD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAA8B,CAAC;AAExD,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC"}

package/dist/tools/verify/schema.js

@@ -1,16 +0,0 @@
-// packages/core/src/tool-schemas/verify.ts
-import { z } from 'zod';
-import { buildOutputEnvelopeSchema } from '../shared-output.js';
-// Ported verbatim from packages/mcp/src/tools/verify-work.ts (verifyWorkSchema).
-// commonToolFields (filePaths + contextBlockIds) are inlined here to avoid
-// cross-package coupling.
-export const inputSchema = z.object({
-    work: z.string().optional().describe('Inline work product to verify'),
-    checklist: z.array(z.string()).min(1).describe('Verification checklist items (at least 1)'),
-    filePaths: z.array(z.string()).optional()
-        .describe('Files the sub-agent should focus on. Multiple files are processed in parallel.'),
-    contextBlockIds: z.array(z.string()).optional()
-        .describe('IDs from register_context_block to prepend to prompt. Use for delta audits, diff-scoped reviews, or shared specs.'),
-});
-export const outputSchema = buildOutputEnvelopeSchema();
-//# sourceMappingURL=schema.js.map

package/dist/tools/verify/schema.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../src/tools/verify/schema.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAEhE,iFAAiF;AACjF,2EAA2E;AAC3E,0BAA0B;AAC1B,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,+BAA+B,CAAC;IACrE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,2CAA2C,CAAC;IAC3F,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;SACtC,QAAQ,CAAC,gFAAgF,CAAC;IAC7F,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;SAC5C,QAAQ,CAAC,mHAAmH,CAAC;CACjI,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,YAAY,GAAG,yBAAyB,EAAE,CAAC"}

package/dist/tools/verify/tool-config.d.ts

@@ -1,14 +0,0 @@
-import { ToolSurfaceRegistry } from '../../tool-surface/tool-surface-registry.js';
-import type { Input } from './schema.js';
-import type { ToolConfig } from '../../lifecycle/tool-config-types.js';
-export declare function registerVerify(registry: ToolSurfaceRegistry): void;
-export interface VerifyBrief {
-    work?: string;
-    filePaths: string[];
-    checklist: string[];
-    contextBlockIds: string[];
-    /** For fan_out mode, the base prompt template without per-file header. */
-    promptTemplate?: string;
-}
-export declare const toolConfig: ToolConfig<Input, VerifyBrief, unknown>;
-//# sourceMappingURL=tool-config.d.ts.map

package/dist/tools/verify/tool-config.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"tool-config.d.ts","sourceRoot":"","sources":["../../../src/tools/verify/tool-config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AAElF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AAevE,wBAAgB,cAAc,CAAC,QAAQ,EAAE,mBAAmB,GAAG,IAAI,CAYlE;AAID,MAAM,WAAW,WAAW;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,0EAA0E;IAC1E,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAgFD,eAAO,MAAM,UAAU,EAAE,UAAU,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAyD9D,CAAC"}

package/dist/tools/verify/tool-config.js

@@ -1,146 +0,0 @@
-import { inputSchema } from './schema.js';
-import { qualityVerifyTemplate } from '../../review/reviewer-engine.js';
-import { verifyReportSchema } from '../../reporting/report-parser-slots/verify-report.js';
-import { verifyHeadlineTemplate } from '../../reporting/headline-templates/verify.js';
-import { DEFAULT_TASK_TIMEOUT_MS } from '../../config/schema.js';
-import { SEVERITY_LADDER } from '../../review/templates/finding-criteria.js';
-import { VERIFY_PURPOSE_ORIENTATION, EVIDENCE_RULE_VERIFY, SCOPE_RULE_VERIFY, ANNOTATOR_AWARENESS_VERIFY, VERIFY_FAILURE_MODES, THOROUGHNESS_REMINDER_VERIFY, } from './implementer-criteria.js';
-export function registerVerify(registry) {
-    registry.register({
-        routeName: 'verify',
-        httpMethod: 'POST',
-        httpPath: '/verify',
-        surface: 'tool',
-        schema: inputSchema,
-        toolCategory: 'read_only',
-        agentTypeDefault: 'complex',
-        agentTypeOverridable: false,
-        responseShapeName: 'BatchResponse',
-    });
-}
-// ── Prompt builders (lifted from legacy executor) ──
-const FINDING_FORMAT_INSTRUCTIONS = [
-    // Orientation goes FIRST — the worker needs to know why this verify
-    // exists (false-claim gate, every PASS must be re-verifiable) before
-    // reading the format spec / taxonomy / evidence rules. Without it,
-    // workers default to rubber-stamping based on prose claims.
-    VERIFY_PURPOSE_ORIENTATION,
-    '',
-    'For each checklist item, use this EXACT per-finding format — both the structured reviewer and the deterministic fallback extract from this same format:',
-    '',
-    '## Finding 1: <one-line title (the criterion summary)>',
-    '- Severity: critical | high | medium | low (use `low` for PASS items; `medium` or `high` for FAIL items per impact)',
-    '- Item: the criterion text',
-    '- Result: PASS or FAIL',
-    '- Evidence: EXECUTION (command + observed output), FILE-LEVEL (file:line + quoted excerpt), or NEGATIVE ("cannot verify from this artifact, would need X")',
-    '',
-    '## Finding 2: <one-line title>',
-    '- Severity: ...',
-    '- ...',
-    '',
-    'Rules:',
-    '- One `## Finding N:` block per checklist item — same count and same order as the checklist. Do not skip items even if they pass trivially.',
-    '- Severity / Item / Result / Evidence bullets are on their own lines with the labels exactly as shown.',
-    '',
-    // Tool sweep #12: shared rubric so worker calibrates the same way the
-    // annotator validates. For verify, severity is bound to the result —
-    // the SEVERITY_LADDER below explains the ladder; here we just bind:
-    // PASS -> low, FAIL -> medium/high based on impact.
-    SEVERITY_LADDER,
-    '',
-    // Verify failure-mode taxonomy. Without this block, workers tend to
-    // rubber-stamp PASS based on prose claims instead of demanding
-    // execution-level evidence. The 7 categories enumerate the ways a
-    // verifier can ship a false claim.
-    VERIFY_FAILURE_MODES,
-    '',
-    // Counter-balances the SEVERITY_LADDER's anti-inflation hint and
-    // includes the evidence-shape walk with worked example.
-    THOROUGHNESS_REMINDER_VERIFY,
-    '',
-    EVIDENCE_RULE_VERIFY,
-    '',
-    SCOPE_RULE_VERIFY,
-    '',
-    ANNOTATOR_AWARENESS_VERIFY,
-].join('\n');
-function buildFilePathsPrompt(filePaths) {
-    if (!filePaths || filePaths.length === 0)
-        return '';
-    return `Read and analyze these files:\n${filePaths.map(p => `- ${p}`).join('\n')}`;
-}
-function buildVerifyPrompt(work, filePaths, checklist) {
-    const parts = ['Verify this work:'];
-    if (work)
-        parts.push(work);
-    const fileSection = buildFilePathsPrompt(filePaths);
-    if (fileSection)
-        parts.push(fileSection);
-    const checklistText = checklist.map((item, i) => `${i + 1}. ${item}`).join('\n');
-    parts.push(`Checklist:\n${checklistText}`);
-    parts.push(FINDING_FORMAT_INSTRUCTIONS);
-    return parts.join('\n\n');
-}
-function buildPerFilePrompt(filePath, promptTemplate) {
-    return `${promptTemplate}\n\nRead and analyze this file:\n- ${filePath}`;
-}
-function hasContent(value) {
-    return value !== undefined && value.trim().length > 0;
-}
-// ── ToolConfig ──
-export const toolConfig = {
-    name: 'verify',
-    category: 'read_only',
-    agentType: 'complex',
-    briefSlot: (input) => {
-        const filePaths = (input.filePaths ?? []).filter(p => p.trim().length > 0);
-        if (!hasContent(input.work) && filePaths.length >= 2) {
-            // Fan-out: one task per file, shared prompt template
-            const promptTemplate = buildVerifyPrompt(undefined, undefined, input.checklist);
-            return filePaths.map(fp => ({
-                work: input.work,
-                filePaths: [fp],
-                checklist: input.checklist,
-                contextBlockIds: input.contextBlockIds ?? [],
-                promptTemplate,
-            }));
-        }
-        // Single task
-        return [{
-                work: input.work,
-                filePaths,
-                checklist: input.checklist,
-                contextBlockIds: input.contextBlockIds ?? [],
-            }];
-    },
-    buildTaskSpec: (brief, ctx) => {
-        const prompt = brief.promptTemplate
-            ? buildPerFilePrompt(brief.filePaths[0], brief.promptTemplate)
-            : buildVerifyPrompt(brief.work, brief.filePaths.length > 0 ? brief.filePaths : undefined, brief.checklist);
-        const checklistFmt = brief.checklist.map((c, i) => `${i + 1}. ${c}`).join('\n');
-        return {
-            prompt,
-            // Pure user work + checklist for the parallel-criteria dispatcher's
-            // cached prefix; bypasses the legacy verify format spec.
-            parallelTarget: `Work to verify:\n${brief.work}\n\nChecklist (verify each item):\n${checklistFmt}`,
-            agentType: 'complex',
-            reviewPolicy: 'quality_only',
-            briefQualityPolicy: 'off',
-            done: `Every checklist item (${brief.checklist.length} total) has a pass/fail verdict with supporting evidence from the code.`,
-            tools: ctx.config.defaults?.tools ?? 'full',
-            timeoutMs: ctx.config.defaults?.timeoutMs ?? DEFAULT_TASK_TIMEOUT_MS,
-            maxCostUSD: ctx.config.defaults?.maxCostUSD ?? 10,
-            sandboxPolicy: ctx.config.defaults?.sandboxPolicy ?? 'cwd-only',
-            cwd: ctx.projectContext?.cwd ?? ctx.cwd,
-            contextBlockIds: brief.contextBlockIds,
-            filePaths: brief.filePaths.length > 0 ? brief.filePaths : undefined,
-            mainModel: ctx.mainModel ?? undefined,
-        };
-    },
-    reportSchema: verifyReportSchema,
-    headlineTemplate: verifyHeadlineTemplate,
-    reviewTemplates: {
-        qualityAP: qualityVerifyTemplate,
-    },
-};
-//# sourceMappingURL=tool-config.js.map

package/dist/tools/verify/tool-config.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"tool-config.js","sourceRoot":"","sources":["../../../src/tools/verify/tool-config.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAGxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sDAAsD,CAAC;AAC1F,OAAO,EAAE,sBAAsB,EAAE,MAAM,8CAA8C,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4CAA4C,CAAC;AAC7E,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,iBAAiB,EACjB,0BAA0B,EAC1B,oBAAoB,EACpB,4BAA4B,GAC7B,MAAM,2BAA2B,CAAC;AAEnC,MAAM,UAAU,cAAc,CAAC,QAA6B;IAC1D,QAAQ,CAAC,QAAQ,CAAC;QAChB,SAAS,EAAE,QAAQ;QACnB,UAAU,EAAE,MAAM;QAClB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,WAAW;QACnB,YAAY,EAAE,WAAW;QACzB,gBAAgB,EAAE,SAAS;QAC3B,oBAAoB,EAAE,KAAK;QAC3B,iBAAiB,EAAE,eAAe;KACnC,CAAC,CAAC;AACL,CAAC;AAaD,sDAAsD;AAEtD,MAAM,2BAA2B,GAAG;IAClC,oEAAoE;IACpE,qEAAqE;IACrE,mEAAmE;IACnE,4DAA4D;IAC5D,0BAA0B;IAC1B,EAAE;IACF,yJAAyJ;IACzJ,EAAE;IACF,wDAAwD;IACxD,qHAAqH;IACrH,4BAA4B;IAC5B,wBAAwB;IACxB,4JAA4J;IAC5J,EAAE;IACF,gCAAgC;IAChC,iBAAiB;IACjB,OAAO;IACP,EAAE;IACF,QAAQ;IACR,6IAA6I;IAC7I,wGAAwG;IACxG,EAAE;IACF,sEAAsE;IACtE,qEAAqE;IACrE,oEAAoE;IACpE,oDAAoD;IACpD,eAAe;IACf,EAAE;IACF,oEAAoE;IACpE,+DAA+D;IAC/D,kEAAkE;IAClE,mCAAmC;IACnC,oBAAoB;IACpB,EAAE;IACF,iEAAiE;IACjE,wDAAwD;IACxD,4BAA4B;IAC5B,EAAE;IACF,oBAAoB;IACpB,EAAE;IACF,iBAAiB;IACjB,EAAE;IACF,0BAA0B;CAC3B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,SAAS,oBAAoB,CAAC,SAAoB;IAChD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpD,OAAO,kCAAkC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACrF,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAwB,EACxB,SAA+B,EAC/B,SAAmB;IAEnB,MAAM,KAAK,GAAa,CAAC,mBAAmB,CAAC,CAAC;IAC9C,IAAI,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,WAAW,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACpD,IAAI,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,eAAe,aAAa,EAAE,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACxC,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgB,EAAE,cAAsB;IAClE,OAAO,GAAG,cAAc,sCAAsC,QAAQ,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,UAAU,CAAC,KAAyB;IAC3C,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AACxD,CAAC;AAED,mBAAmB;AAEnB,MAAM,CAAC,MAAM,UAAU,GAA4C;IACjE,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,WAAW;IACrB,SAAS,EAAE,SAAS;IACpB,SAAS,EAAE,CAAC,KAAY,EAAiB,EAAE;QACzC,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAE3E,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACrD,qDAAqD;YACrD,MAAM,cAAc,GAAG,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YAChF,OAAO,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,SAAS,EAAE,CAAC,EAAE,CAAC;gBACf,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,eAAe,EAAE,KAAK,CAAC,eAAe,IAAI,EAAE;gBAC5C,cAAc;aACf,CAAC,CAAC,CAAC;QACN,CAAC;QAED,cAAc;QACd,OAAO,CAAC;gBACN,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,SAAS;gBACT,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,eAAe,EAAE,KAAK,CAAC,eAAe,IAAI,EAAE;aAC7C,CAAC,CAAC;IACL,CAAC;IACD,aAAa,EAAE,CAAC,KAAkB,EAAE,GAAqB,EAAE,EAAE;QAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc;YACjC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,cAAc,CAAC;YAC/D,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QAE7G,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,OAAO;YACL,MAAM;YACN,oEAAoE;YACpE,yDAAyD;YACzD,cAAc,EAAE,oBAAoB,KAAK,CAAC,IAAI,sCAAsC,YAAY,EAAE;YAClG,SAAS,EAAE,SAAS;YACpB,YAAY,EAAE,cAAc;YAC5B,kBAAkB,EAAE,KAAK;YACzB,IAAI,EAAE,yBAAyB,KAAK,CAAC,SAAS,CAAC,MAAM,yEAAyE;YAC9H,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,IAAI,MAAM;YAC3C,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,IAAI,uBAAuB;YACpE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,IAAI,EAAE;YACjD,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,IAAI,UAAU;YAC/D,GAAG,EAAE,GAAG,CAAC,cAAc,EAAE,GAAG,IAAI,GAAG,CAAC,GAAG;YACvC,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;YACnE,SAAS,EAAE,GAAG,CAAC,SAAS,IAAI,SAAS;SACtC,CAAC;IACJ,CAAC;IACD,YAAY,EAAE,kBAAkB;IAChC,gBAAgB,EAAE,sBAAsB;IACxC,eAAe,EAAE;QACf,SAAS,EAAE,qBAAqB;KACjC;CACF,CAAC"}