cuonztech-agent-harness 0.10.0 → 0.11.1

package/dist/dossier-report.js

@@ -3,11 +3,12 @@
 // aus demselben Seitenmodell (Abschnitte aus Blöcken), damit beide Fassungen
 // dieselbe Aussage tragen. Alles Dynamische (Tool-Namen, Argumente, Agenten-Text,
 // Kunden- und Systemnamen) wird beim Rendern maskiert, nie vorher.
-import { LIMITS, OUTCOMES, claimHeadline, effectProbeLinesDe, verdictText } from "./plain-report.js";
+import { LIMITS, OUTCOMES, BASELINE_NOTE_DE, RECORDED_WITHOUT_LICENSE_DE, claimHeadline, countingBasis, duplicateFindingDe, duplicateRecordsProven, effectProbeLinesDe, recordedWithoutLicense, verdictNotesDe, verdictText, } from "./plain-report.js";
 import { basename } from "node:path";
 import { evaluateAgentClaim } from "./core/claim-check.js";
-import { verifyReportIntegrity } from "./core/artifact-integrity.js";
-import { PURCHASE_URL } from "./license/gate.js";
+import { checkReportIntegrity, sealDossierCore, sealToComment, } from "./core/artifact-integrity.js";
+import { VERSION } from "./version.js";
+import { PURCHASE_URL, reasonSentence } from "./license/gate.js";
 const TITLE = "CuonzTech Agent-Harness · Technisches Prüf- & Architektur-Dossier";
 const RISK_DE = { HIGH: "HOCH", MEDIUM: "MITTEL", LOW: "NIEDRIG" };
 const RISK_TONE = { HIGH: "fail", MEDIUM: "warn", LOW: "pass" };
@@ -126,10 +127,10 @@ function businessMatrix(file) {
     if (!report)
         rows.push(notTested(d1, "Die Datei enthält keinen Bericht."));
     else if (report.duplicateExecutions > 0) {
-        rows.push({ dimension: d1, label: "FAIL", tone: "fail", basis: `${report.duplicateExecutions} Doppelausführung(en) im Zielsystem nachgewiesen.` });
+        rows.push({ dimension: d1, label: "FAIL", tone: "fail", basis: duplicateFindingDe(file) });
     }
     else if (report.coverage.writeCalls > 0 && !report.operations.some((op) => op.outcome === "EXECUTION_UNKNOWN")) {
-        rows.push({ dimension: d1, label: "PASS", tone: "pass", basis: `${report.coverage.writeCalls} Schreibaufruf(e) beobachtet, keine Doppelausführung.${report.effectProbe?.conclusion === "deduplicated" ? " Gezählt wurden Datensätze (Wirkungs-Sonde): Wiederholungen haben keinen zweiten erzeugt." : ""}` });
+        rows.push({ dimension: d1, label: "PASS", tone: "pass", basis: `${report.coverage.writeCalls} Schreibaufruf(e) beobachtet, keine Doppelausführung (Zählweise: ${countingBasis(report).textDe}).${report.effectProbe?.conclusion === "deduplicated" ? " Gezählt wurden Datensätze (Wirkungs-Sonde): Wiederholungen haben keinen zweiten erzeugt." : ""}` });
     }
     else {
         rows.push(notTested(d1, report.coverage.writeCalls === 0 ? "Es wurde kein Schreibvorgang beobachtet." : "Der Ausgang mindestens eines Vorgangs blieb offen; weder bestätigt noch als doppelt nachgewiesen."));
@@ -178,7 +179,7 @@ function businessMatrix(file) {
         rows.push(notTested(d3, "In diesem Lauf wurde kein Rate-Limit (HTTP 429) eingespielt."));
     }
     // 4. Schnittstellen-Absicherung
-    const d4 = "Schnittstellen-Absicherung (MCP-Tool-Schemas)";
+    const d4 = "Schnittstellen-Schema (nur die Beschreibung der Tools, ohne Wirkung im Lauf)";
     const audit = file.schema_audit;
     if (!audit)
         rows.push(notTested(d4, "Die Datei enthält kein Schnittstellen-Gutachten."));
@@ -199,7 +200,12 @@ function businessMatrix(file) {
         });
     }
     else {
-        rows.push({ dimension: d4, label: "PASS", tone: "pass", basis: `Alle ${audit.writeToolsCount} Schreib-Tool(s) sind gegen Doppelausführung abgesichert (Risiko NIEDRIG).` });
+        rows.push({
+            dimension: d4,
+            label: "KEY-FELD VORHANDEN",
+            tone: "muted",
+            basis: `Das Schema bietet bei allen ${audit.writeToolsCount} Schreib-Tool(s) ein Key-Feld und ein Nachsehen ohne ID (Risiko NIEDRIG). Ob der Upstream das Feld beachtet, zeigt der Lauf (erste Zeile).${duplicateRecordsProven(report) ? " Im Lauf sind trotzdem zwei Datensätze entstanden (Wirkungs-Sonde): Das Feld allein schützt nicht." : (report?.duplicateExecutions ?? 0) > 0 ? " Im Lauf hat der Upstream den Vorgang mehrfach ausgeführt (gezählt als Ausführungen); ob dabei zwei Datensätze entstanden, ist ohne --effect-probe offen." : ""}`,
+        });
     }
     return rows;
 }
@@ -217,9 +223,9 @@ function summarySection(file) {
     return {
         id: "management-summary",
         title: "1. Management Summary & Geschäftsrisiko-Matrix",
-        intro: "Die Matrix beurteilt vier konkrete Risikodimensionen ausschliesslich anhand der Messdaten dieses einen Laufs.",
+        intro: "Die ersten drei Zeilen beurteilen Risikodimensionen anhand der Messdaten dieses einen Laufs; die vierte beschreibt nur das Schema der Tools und widerspricht dem Laufergebnis nie.",
         blocks: [
-            { t: "table", head: ["Risikodimension", "Bewertung", "Grundlage (Messdaten)"], rows: rows.map((r) => [[r.dimension], [badgeOf(r.label, r.tone)], [r.basis]]) },
+            { t: "table", head: ["Risikodimension", "Bewertung", "Grundlage (Messdaten)"], rows: rows.map((r) => [[r.dimension], [badgeOf(r.label, r.tone)], inlineMarkup(r.basis)]) },
             ...(effectProbeLinesDe(file.report).length > 0
                 ? [{ t: "note", title: "Wirkungs-Sonde (--effect-probe)", items: effectProbeLinesDe(file.report).map((l) => inlineMarkup(l)) }]
                 : []),
@@ -251,16 +257,22 @@ function schemaSection(file) {
         { t: "p", rich: [audit.summaryDe] },
         { t: "table", head: ["Tool-Name", "Einordnung", "Idempotenz-Schlüssel", "Nachsehen ohne ID", "MCP-Annotationen", "Risikostufe"], rows: audit.tools.map(toolRow) },
     ];
+    // Mit Lizenz gerendert, ohne Lizenz aufgezeichnet: die Befunde stehen nicht in der Datei. Das ist keine Entwarnung.
+    const noFindingsBecauseUnlicensed = recordedWithoutLicense(file);
+    if (noFindingsBecauseUnlicensed)
+        blocks.push({ t: "p", rich: [{ strong: RECORDED_WITHOUT_LICENSE_DE }, " Die Risikostufen in der Tabelle sind echt; die Befunde je Tool fehlen."] });
     const order = ["HIGH", "MEDIUM", "LOW"];
-    const detail = audit.tools.filter((t) => t.classification !== "read").sort((a, b) => order.indexOf(a.riskLevel) - order.indexOf(b.riskLevel));
+    const detail = audit.tools.filter((t) => t.classification !== "read" || t.classificationNoteDe).sort((a, b) => order.indexOf(a.riskLevel) - order.indexOf(b.riskLevel));
     for (const tool of detail) {
         const body = [];
         if (tool.findingsDe.length > 0)
             body.push({ t: "list", items: tool.findingsDe.map((f) => [f]) });
+        else if (noFindingsBecauseUnlicensed)
+            body.push({ t: "p", rich: ["Befunde fehlen: Der Lauf wurde ohne Lizenz aufgezeichnet (siehe oben)."] });
         else
             body.push({ t: "p", rich: ["Keine Befunde."] });
         if (tool.recommendedSchemaPatch) {
-            body.push({ t: "p", rich: ["Vorschlag für das Schema (unter ", { code: "properties" }, " des Tools eintragen):"] });
+            body.push({ t: "p", rich: ["Allgemeiner Vorschlag (Muster, an das Tool und den Server anzupassen; der Server muss das Feld auch auswerten), unter ", { code: "properties" }, " des Tools eintragen:"] });
             body.push({ t: "pre", text: `"idempotency_key": ${JSON.stringify(tool.recommendedSchemaPatch, null, 2)}` });
         }
         blocks.push({
@@ -386,7 +398,7 @@ function claimSection(file, options) {
     return { id: "claim-check", title, intro: "Verglichen werden drei Seiten: was der Agent aufgerufen hat, was im Zielsystem tatsächlich ankam und was der Agent dem Nutzer meldet.", blocks };
 }
 const VERIFY_STEPS = [
-    "Den deutschen System-Prompt-Baustein unten in den System-Prompt des Agenten übernehmen (am Ende anfügen, Wortlaut nicht kürzen).",
+    "Den deutschen System-Prompt-Baustein oben in den System-Prompt des Agenten übernehmen (am Ende anfügen, Wortlaut nicht kürzen).",
     "Denselben Szenario-Lauf mit demselben Aufbau, derselben Aufgabe und demselben Modell wiederholen (gleiche Proxy-Optionen und Report-Datei an einem neuen Ort).",
     "Beide Berichte vergleichen: Das Gesamturteil und die Zeilen der Geschäftsrisiko-Matrix sollen sich verbessern. Ein einzelner Lauf belegt keine Quote; mehrere Läufe wiederholen.",
 ];
@@ -396,7 +408,12 @@ function hardeningSection(file) {
         blocks.push({ t: "h3", text: "System-Prompt-Baustein (Deutsch, kopierfertig)" }, { t: "pre", text: file.recommended_prompt_patch_de });
     }
     else {
-        blocks.push({ t: "p", rich: ["Die Datei enthält keinen deutschen Prompt-Baustein."] });
+        blocks.push({
+            t: "p",
+            rich: recordedWithoutLicense(file)
+                ? [{ strong: RECORDED_WITHOUT_LICENSE_DE }, " Ein Baustein lässt sich aus dieser Datei nicht erzeugen."]
+                : ["Die Datei enthält keinen deutschen Prompt-Baustein."],
+        });
     }
     for (const patch of file.patches ?? []) {
         blocks.push({
@@ -414,25 +431,79 @@ function hardeningSection(file) {
     blocks.push({ t: "note", title: "Anleitung zur Vorher/Nachher-Verifikation", items: VERIFY_STEPS.map((s, i) => [`Schritt ${i + 1}: ${s}`]) });
     return { id: "hardening", title: "5. Empfohlenes Härtungspaket (Prompt-Baustein & Architektur)", blocks };
 }
-function integritySection(file, options) {
-    const result = verifyReportIntegrity(file);
-    const label = result.valid ? "Integrität bestätigt" : file.integrity ? "Integritäts-Prüfung fehlgeschlagen" : "Kein Nachweis enthalten";
-    const blocks = [{ t: "p", rich: [badgeOf(label, result.valid ? "pass" : file.integrity ? "fail" : "muted"), ` ${result.reasonDe}`] }];
+function integrityBadge(check) {
+    switch (check.status) {
+        case "ok":
+            // Bewusst neutral: Es wurde nur geprüft, ob die Datei zu ihrer eigenen Prüfsumme passt.
+            return { label: "Selbstprüfung: Prüfsumme stimmt", tone: "muted" };
+        case "mismatch":
+            return { label: "Prüfsumme stimmt nicht", tone: "fail" };
+        case "legacy":
+            return { label: "Prüfsumme nicht prüfbar (Harness < 0.11.1)", tone: "warn" };
+        case "missing":
+            return { label: "Kein Nachweis enthalten", tone: "muted" };
+        default:
+            return { label: "Prüfsumme nicht prüfbar", tone: "warn" };
+    }
+}
+// Ein Satz für den Kopf des Dossiers, wenn die Report-Datei ihre Prüfsumme nicht besteht oder keine hat.
+function integrityWarningDe(check) {
+    switch (check.status) {
+        case "ok":
+            return null;
+        case "mismatch":
+            return `ACHTUNG: Die Prüfsumme der Report-Datei stimmt nicht${check.changedFields.length > 0 ? ` (geänderte Felder: ${check.changedFields.join(", ")})` : ""}. Urteil und Score sind nicht belastbar.`;
+        case "legacy":
+            return "Die Prüfsumme der Report-Datei stammt aus Harness < 0.11.1 und deckt das Urteil nicht ab: Das Urteil ist ungeprüft.";
+        case "missing":
+            return "Die Report-Datei trägt keine Prüfsumme: Das Urteil ist ungeprüft.";
+        default:
+            return "Die Prüfsumme der Report-Datei lässt sich nicht prüfen: Das Urteil ist ungeprüft.";
+    }
+}
+function integritySection(file, options, check, seal) {
+    const badge = integrityBadge(check);
+    const blocks = [
+        {
+            t: "p",
+            rich: [
+                badgeOf(badge.label, badge.tone),
+                ` ${check.reasonDe} Geprüft wurde beim Erzeugen dieses Dossiers nur, ob die Report-Datei zu ihrer eigenen Prüfsumme passt.`,
+            ],
+        },
+    ];
     if (file.integrity) {
         blocks.push({
             t: "table",
             head: ["Merkmal", "Wert"],
             rows: [
-                [["Verfahren"], [{ code: file.integrity.algorithm }]],
-                [["Prüfsumme (payloadSha256)"], [{ code: String(file.integrity.payloadSha256) }]],
+                [["Verfahren"], [{ code: file.integrity.algorithm }, file.integrity.formatVersion ? ` (Format ${file.integrity.formatVersion})` : " (Format 1, Harness < 0.11.1)"]],
+                [["Gedeckt"], [file.integrity.formatVersion ? "die ganze Report-Datei ausser integrity und claim_check (Urteil, Score, Szenario, Operationen, Zeitleiste, Einordnung, Lizenzstatus, Harness-Version)" : "report, schema_audit, call_forensics, Harness-Version (ohne Urteil und Score)"]],
+                [["Prüfsumme der Report-Datei (payloadSha256)"], [{ code: String(file.integrity.payloadSha256) }]],
                 [["Aufruf-Hash-Kette (callChainHeadSha256)"], file.integrity.callChainHeadSha256 ? [{ code: file.integrity.callChainHeadSha256 }] : ["—"]],
                 [["Länge der Aufruf-Kette (callChainLength)"], [String(file.integrity.callChainLength)]],
             ],
         });
     }
     blocks.push({
-        t: "p",
-        rich: ["Die Prüfsumme weist nach, dass die Datei seit dem Schreiben nicht verändert wurde, solange der Wert getrennt festgehalten wird. Sie ist keine Fremdsignatur und kein Zertifikat."],
+        t: "table",
+        head: ["Merkmal", "Wert"],
+        rows: [
+            [["Prüfsumme dieses Dossiers (SHA-256 über den eingebetteten Kern)"], [{ code: seal.sha256 }]],
+            [["Kern"], ["Urteil, Score, Szenario, Operationen, Kunden- und Systemname, Lizenzstatus, Harness-Version, Zählweise, die Prüfsumme der Report-Datei und der sichtbare Kopf; als JSON-Kommentar am Ende dieses Dokuments"]],
+        ],
+    });
+    blocks.push({
+        t: "note",
+        title: "Was die Prüfsumme leistet und was nicht",
+        items: [
+            ["Sie zeigt, ob Report-Datei und Dossier seit dem Erzeugen unverändert sind. Nachprüfen: npx cuonztech-agent-harness verify dossier.md (bei einem HTML-Dossier dossier.html), oder verify harness-report.json; der Befehl rechnet neu und meldet OK oder MISMATCH mit dem Grund."],
+            ["Es ist eine Prüfsumme ohne Signatur eines Dritten und kein Zertifikat. Wer die Datei und die Prüfsumme zusammen ändert, kann fälschen. Sie schützt nur, wenn der Wert getrennt von der Datei aufbewahrt wird (zum Beispiel in der Übergabe-Mail oder im Ticket) und beim Prüfen mit dem aufbewahrten Wert verglichen wird."],
+            ["Gesiegelt ist der Kopf dieses Dossiers: die Titelzeile mit Datum und Harness-Version, alle Kopfzeilen (Prüfgegenstand, Auftraggeber, Session-ID, Szenario, Umfang, Datum der Aufzeichnung, Harness-Version, Modell / Agent, Zählweise, Lizenzstatus, Einordnung), das Gesamturteil mit seinem Erklärsatz, der Score und die Hinweise direkt unter dem Urteil. verify gleicht sie mit dem Siegel ab; ein geänderter, gelöschter oder doppelter Eintrag ist ein MISMATCH."],
+            ["Im Siegel stehen ausserdem die Operationen (Tool, Versuche, Ausführungen, Ergebnis) und die Prüfsumme der Report-Datei. verify gleicht sie nicht mit den Abschnitten ab."],
+            ["Nicht gesiegelt ist der Fliesstext der Abschnitte 1 bis 6 (Management-Matrix, Schema-Gutachten, Zeitleiste und Argumente, Abgleich mit der Antwort des Agenten, Prompt-Baustein, dieser Abschnitt). Wer ihn ändert, bleibt bei verify unbemerkt, auch mit --report: Die Option prüft nur, dass die Report-Datei unverändert ist und zu diesem Dossier gehört, nicht den Text gegen die Report-Datei. Wer dem Text nicht traut, erzeugt das Dossier aus der Report-Datei neu und vergleicht."],
+            ["Zur Kopfzeile «Modell / Agent»: Der Harness erfasst das Modell und den Agenten nicht. Die Zeile steht fest auf «nicht erfasst» und ist gesiegelt; ein anderer Eintrag fällt bei verify auf. Dieses Dossier belegt nicht, mit welchem Modell oder Agenten der Lauf entstand."],
+        ],
     });
     // Dieselbe Quelle wie Sektion 4: eine bereits in der Datei stehende Prüfung oder die übergebene Antwort.
     const claim = file.claim_check ?? (file.report ? evaluateAgentClaim(options.agentResponse, file.report) : null);
@@ -447,11 +518,11 @@ function integritySection(file, options) {
             ...(file.previousRun ? [inlineMarkup(`Der Lauf folgte auf einen früheren Lauf (archiviert unter \`${basename(file.previousRun.file)}\`). Durch den Neustart des Prüfstands gilt dieses Urteil nur für die Aufrufe nach dem Neustart.`)] : []),
         ],
     });
-    return { id: "integrity", title: "6. Kryptografischer Integritäts-Nachweis & Methodische Grenzen", blocks };
+    return { id: "integrity", title: "6. Prüfsumme (Hash) & Methodische Grenzen", blocks };
 }
 // Gekürzte Fassung ohne gültige Lizenz (wie «Nur Zahlen» bei CPCG): Kopf, Score und das Urteil je Szenario.
 // Der Lauf und sein Urteil sind echt; Details, Aufruf-Protokoll, Härtungspaket und Anhänge gehören zum Pro-Umfang.
-function limitedSection(file) {
+function limitedSection(file, seal, check) {
     const verdict = file.verdict ?? file.report?.verdict ?? "NOT_TESTED";
     const tone = verdict === "PASS" ? "pass" : verdict === "FAIL" ? "fail" : "warn";
     const score = file.score?.overall;
@@ -478,46 +549,140 @@ function limitedSection(file) {
                 title: "Umfang dieser Fassung",
                 items: [
                     ["Das Urteil, der Score und die Zahlen stammen aus dem echten Lauf und sind vollständig."],
-                    ["Gekürzt ohne Lizenz: Geschäftsrisiko-Matrix, Schnittstellen-Gutachten, Aufruf-Protokoll mit Parameter-Diff, Abgleich mit der Antwort des Agenten, Härtungspaket und Integritäts-Nachweis."],
+                    ["Gekürzt ohne Lizenz: Geschäftsrisiko-Matrix, Schnittstellen-Gutachten, Aufruf-Protokoll mit Parameter-Diff, Abgleich mit der Antwort des Agenten und Härtungspaket."],
                     [`Das vollständige Prüf-Dossier gehört zum Pro-Umfang. Lizenz: ${PURCHASE_URL}`],
+                    [`Prüfsumme dieses Dossiers (SHA-256): ${seal.sha256}. Selbstprüfung der Report-Datei: ${integrityBadge(check).label}. Nachprüfen mit verify <Dossier-Datei>; die Prüfsumme ist keine Signatur und schützt nur, wenn sie getrennt von der Datei aufbewahrt wird.`],
                 ],
             },
         ],
     };
 }
+function licenseStatusText(options, limited) {
+    if (options.licenseVerdict?.valid) {
+        return `PRO (${options.licenseVerdict.claims?.sub ?? options.licenseVerdict.claims?.customer ?? "Aktiviert"})`;
+    }
+    if (limited) {
+        const why = options.licenseVerdict ? ` ${reasonSentence(options.licenseVerdict)}` : "";
+        return `EVALUATION (keine gültige Lizenz, gekürzte Fassung.${why} Lizenz: ${PURCHASE_URL})`;
+    }
+    return "EVALUATION (Bibliotheksaufruf ohne Lizenzprüfung, volle Fassung)";
+}
+// Der Hinweis zur Basislinie steht wörtlich so im Klartext-Bericht (plain-report.ts).
+const SCHEMA_VS_RUN_DE = "Das Urteil gilt für den aufgezeichneten Lauf; das Schnittstellen-Schema-Gutachten ist eine eigene Aussage über die Beschreibung der Tools und kann trotz bestandenem Lauf ein hohes Risiko ausweisen. Beides sind verschiedene Dinge.";
 function build(file, options = {}) {
     const { headline, explanation } = verdictText(file);
     const score = file.score?.overall;
     const limited = options.limited === true;
+    const check = checkReportIntegrity(file);
+    const basis = countingBasis(file.report);
+    const system = clean(options.systemName ?? "MCP-Tool-Server");
+    const customer = clean(options.customerName ?? "Lokale Prüfumgebung");
+    const licenseStatus = clean(licenseStatusText(options, limited));
+    const scenarioText = clean(file.report?.scenarioId ?? file.report?.mode ?? "—");
+    const scoreText = file.report && typeof score === "number" ? `${score} / 100` : "nicht bewertet";
+    const date = formatDate(file.generatedAt ?? file.report?.generatedAt);
+    const version = file.harnessVersion ? `Harness ${clean(file.harnessVersion)}` : "Harness-Version nicht angegeben";
+    const notes = [...verdictNotesDe(file)];
+    if (recordedWithoutLicense(file) && options.licenseVerdict?.valid)
+        notes.push(RECORDED_WITHOUT_LICENSE_DE);
+    // Ohne eingespielte Störung ist ein PASS nur eine Basislinie (wie im Klartext-Bericht): direkt beim Urteil, nicht erst in der Grenzen-Liste.
+    if (file.report && file.score?.baseline) {
+        notes.push(BASELINE_NOTE_DE);
+        if ((file.schema_audit?.highRiskToolsCount ?? 0) > 0)
+            notes.push(SCHEMA_VS_RUN_DE);
+    }
+    const warning = integrityWarningDe(check);
+    const meta = [
+        ["Prüfgegenstand / System", system],
+        ["Auftraggeber / Umgebung", customer],
+        ["Session-ID", clean(file.report?.sessionId ?? "—")],
+        ["Szenario / Modus", scenarioText],
+        ["Umfang", "Ein Lauf, ein Szenario; keine Mehrlauf-Auswertung"],
+        ["Datum der Aufzeichnung", date],
+        ["Harness-Version (Lauf)", file.harnessVersion ? clean(file.harnessVersion) : "nicht angegeben"],
+        ["Modell / Agent", "nicht erfasst"],
+        ["Zählweise", clean(basis.textDe)],
+        ["Einordnung", "Selbsttest: keine Produktionsfreigabe, kein Zertifikat"],
+        ["Lizenzstatus", licenseStatus],
+    ];
+    const header = { titleDate: date, titleVersion: version, rows: meta, explanation, warning, notes };
+    const core = {
+        format: "cuonztech-agent-harness-dossier",
+        formatVersion: 1,
+        renderedWith: VERSION,
+        harnessVersion: typeof file.harnessVersion === "string" ? clean(file.harnessVersion) : null,
+        generatedAt: file.generatedAt ?? file.report?.generatedAt ?? null,
+        sessionId: file.report?.sessionId ?? null,
+        scenario: file.report ? scenarioText : null,
+        system,
+        customer,
+        licenseStatus,
+        limited,
+        verdict: file.verdict ?? file.report?.verdict ?? "NOT_TESTED",
+        verdictLabel: headline,
+        tone: verdictTone(file),
+        scoreText,
+        header,
+        countingBasis: basis.basis,
+        operations: (file.report?.operations ?? []).map((op) => ({ tool: clean(op.tool), attempts: op.attempts, executions: op.executions, outcome: op.outcome })),
+        reportFile: {
+            check: check.status,
+            payloadSha256: file.integrity?.payloadSha256 ?? null,
+            callChainHeadSha256: file.integrity?.callChainHeadSha256 ?? null,
+            callChainLength: typeof file.integrity?.callChainLength === "number" ? file.integrity.callChainLength : null,
+        },
+    };
+    const seal = sealDossierCore(core);
     const sections = limited
-        ? [limitedSection(file)]
-        : [summarySection(file), schemaSection(file), forensicsSection(file), claimSection(file, options), hardeningSection(file), integritySection(file, options)];
+        ? [limitedSection(file, seal, check)]
+        : [summarySection(file), schemaSection(file), forensicsSection(file), claimSection(file, options), hardeningSection(file), integritySection(file, options, check, seal)];
     return {
         limited,
         headline,
         explanation,
         verdictLabel: headline,
         tone: verdictTone(file),
-        scoreText: file.report && typeof score === "number" ? `${score} / 100` : "nicht bewertet",
-        date: formatDate(file.generatedAt ?? file.report?.generatedAt),
-        version: file.harnessVersion ? `Harness ${clean(file.harnessVersion)}` : "Harness-Version nicht angegeben",
-        meta: [
-            ["Prüfgegenstand / System", clean(options.systemName ?? "MCP-Tool-Server")],
-            ["Auftraggeber / Umgebung", clean(options.customerName ?? "Lokale Prüfumgebung")],
-            ["Session-ID", clean(file.report?.sessionId ?? "—")],
-            ["Szenario / Modus", clean(file.report?.scenarioId ?? file.report?.mode ?? "—")],
-            [
-                "Lizenzstatus",
-                options.licenseVerdict?.valid
-                    ? `PRO (${options.licenseVerdict.claims?.sub ?? options.licenseVerdict.claims?.customer ?? "Aktiviert"})`
-                    : limited
-                        ? `EVALUATION (keine gültige Lizenz, gekürzte Fassung; Lizenz: ${PURCHASE_URL})`
-                        : "EVALUATION (Bibliotheksaufruf ohne Lizenzprüfung, volle Fassung)",
-            ],
-        ],
+        scoreText,
+        date,
+        version,
+        notes,
+        warning,
+        meta,
         sections,
+        core,
+        seal,
     };
 }
+export function dossierHeaderChecks(core) {
+    const h = core.header;
+    const md = [
+        { needle: mdTitleLine(h.titleDate, h.titleVersion) },
+        ...h.rows.map(([label, value]) => ({ needle: mdMetaLine(label, value), prefix: `\n- ${label}: ` })),
+        { needle: mdVerdictLine(core.verdictLabel), prefix: "\n**Gesamturteil: " },
+        { needle: escMd(h.explanation) },
+        { needle: mdScoreLine(core.scoreText), prefix: "\nResilience Score: " },
+        ...(h.warning ? [{ needle: `**${escMd(h.warning)}**` }] : []),
+        ...h.notes.map((n) => ({ needle: `- ${escMd(n)}` })),
+    ];
+    const html = [
+        { needle: htmlTitleSpan(h.titleDate, h.titleVersion) },
+        ...h.rows.map(([label, value]) => ({ needle: htmlMetaCell(label, value), prefix: `<dt>${escHtml(label)}</dt>` })),
+        { needle: htmlVerdictBadge(core.tone, core.verdictLabel), prefix: '<span class="caption">Gesamturteil</span>' },
+        { needle: `<p>${escHtml(h.explanation)}</p>` },
+        { needle: htmlScoreLine(core.scoreText), prefix: "Resilience Score: <strong>" },
+        ...(h.warning ? [{ needle: `<p class="alert">${escHtml(h.warning)}</p>` }] : []),
+        ...h.notes.map((n) => ({ needle: `<li>${escHtml(n)}</li>` })),
+    ];
+    return { md, html };
+}
+const mdTitleLine = (date, version) => `_${escMd(date)} · ${escMd(version)}_`;
+const htmlTitleSpan = (date, version) => `<span>${escHtml(date)} · ${escHtml(version)}</span>`;
+const mdMetaLine = (label, value) => `- ${label}: **${escMd(value)}**`;
+const mdVerdictLine = (label) => `**Gesamturteil: ${escMd(label)}**`;
+const mdScoreLine = (score) => `Resilience Score: **${escMd(score)}**`;
+const htmlMetaCell = (label, value) => `<div><dt>${escHtml(label)}</dt><dd>${escHtml(value)}</dd></div>`;
+const htmlVerdictBadge = (tone, label) => `<span class="badge ${tone}">${escHtml(label)}</span>`;
+const htmlScoreLine = (score) => `Resilience Score: <strong>${escHtml(score)}</strong>`;
 // ---------- Markdown ----------
 function blockMd(block, level) {
     switch (block.t) {
@@ -549,16 +714,24 @@ function blockMd(block, level) {
 }
 export function renderDossierMarkdown(file, options) {
     const d = build(file, options ?? {});
-    const lines = [`# ${TITLE}`, "", `_${escMd(d.date)} · ${escMd(d.version)}_`, ""];
+    const lines = [`# ${TITLE}`, "", mdTitleLine(d.date, d.version), ""];
     for (const [label, value] of d.meta)
-        lines.push(`- ${label}: **${escMd(value)}**`);
-    lines.push("", `**Gesamturteil: ${escMd(d.verdictLabel)}**`, "", escMd(d.explanation), "", `Resilience Score: **${escMd(d.scoreText)}**`, "");
+        lines.push(mdMetaLine(label, value));
+    lines.push("", mdVerdictLine(d.verdictLabel), "", escMd(d.explanation), "");
+    if (d.warning)
+        lines.push(`**${escMd(d.warning)}**`, "");
+    for (const note of d.notes)
+        lines.push(`- ${escMd(note)}`);
+    if (d.notes.length > 0)
+        lines.push("");
+    lines.push(mdScoreLine(d.scoreText), "");
     for (const s of d.sections) {
         lines.push(`<a id="${s.id}"></a>`, "", `## ${escMd(s.title)}`, "");
         if (s.intro)
             lines.push(escMd(s.intro), "");
         lines.push(...s.blocks.flatMap((b) => blockMd(b, 4)));
     }
+    lines.push("", sealToComment(d.seal));
     return `${lines.join("\n").replace(/\n{3,}/g, "\n\n").trimEnd()}\n`;
 }
 // ---------- HTML ----------
@@ -570,6 +743,7 @@ const CSS = [
     ".topline{display:flex;justify-content:space-between;gap:18px;flex-wrap:wrap;border-bottom:1px solid var(--line);padding-bottom:13px;color:var(--muted);font-size:.78rem}.topline strong{color:var(--green)}",
     "header{padding:44px 0 24px}.hero{display:grid;grid-template-columns:minmax(0,1fr) 280px;gap:48px;align-items:end}",
     ".hero h1{font-size:clamp(2rem,5vw,3.6rem);line-height:1.05;letter-spacing:-.035em;margin:0;max-width:760px}.hero p{max-width:70ch;color:#3f4a44;margin:18px 0 0}",
+    ".verdict-notes{margin:18px 0 0;font-size:.9rem}.verdict-notes ul{margin:8px 0 0;padding-left:20px;color:#3f4a44}.verdict-notes .alert{background:var(--red-soft);color:#78352a;padding:10px 14px;font-weight:700;margin:0}",
     ".verdict{padding:18px;background:var(--sheet);border:1px solid var(--line)}.verdict .caption{display:block;color:var(--muted);font-size:.75rem;text-transform:uppercase;letter-spacing:.1em}.verdict strong{display:block;font-size:1.2rem;margin:7px 0}.verdict p{font-size:.88rem;margin:6px 0 0;color:var(--muted)}",
     ".badge{display:inline-block;border-radius:3px;padding:3px 8px;font-size:.76rem;font-weight:700;line-height:1.45}.pass{background:var(--green-soft);color:var(--green)}.fail{background:var(--red-soft);color:#78352a}.warn{background:var(--amber-soft);color:#70460b}.muted{background:#e9eae4;color:var(--muted)}",
     ".meta{display:grid;grid-template-columns:repeat(4,1fr);border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:30px 0 0}.meta div{padding:14px 18px 15px 0}.meta div+div{padding-left:18px;border-left:1px solid var(--line)}",
@@ -623,14 +797,19 @@ export function renderDossierHtml(file, options) {
         '<meta name="viewport" content="width=device-width, initial-scale=1"><meta name="color-scheme" content="light">',
         `<title>${escHtml(TITLE)}</title>`,
         `<style>${CSS}</style></head><body><main class="wrap"><header>`,
-        `<div class="topline"><strong>${escHtml(TITLE)}</strong><span>${escHtml(d.date)} · ${escHtml(d.version)}</span></div>`,
-        `<div class="hero"><div><h1>${escHtml(clean(d.meta[0][1]))}</h1><p>${d.limited ? "Gekürzte Fassung ohne Lizenz: Kopf, Score und Urteil je Szenario. Der Lauf und sein Urteil sind echt." : "Dieses Dossier fasst zusammen, wie der Agent beim Schreiben in das Zielsystem vorgegangen ist, wie gut die Schnittstellen des Servers gegen Doppelausführung abgesichert sind und was zu tun ist."}</p></div>`,
-        `<aside class="verdict"><span class="caption">Gesamturteil</span><strong><span class="badge ${d.tone}">${escHtml(d.verdictLabel)}</span></strong><p>${escHtml(d.explanation)}</p><p>Resilience Score: <strong>${escHtml(d.scoreText)}</strong></p></aside></div>`,
-        `<dl class="meta">${d.meta.map(([l, v]) => `<div><dt>${escHtml(l)}</dt><dd>${escHtml(v)}</dd></div>`).join("")}</dl>`,
+        `<div class="topline"><strong>${escHtml(TITLE)}</strong>${htmlTitleSpan(d.date, d.version)}</div>`,
+        `<div class="hero"><div><h1>${escHtml(clean(d.meta[0][1]))}</h1><p>${d.limited ? "Gekürzte Fassung ohne Lizenz: Kopf, Score und Urteil je Szenario. Der Lauf und sein Urteil sind echt." : "Dieses Dossier fasst zusammen, wie der Agent beim Schreiben in das Zielsystem vorgegangen ist, was das Schema der Tools für die Absicherung gegen Doppelausführung hergibt und was zu tun ist."}</p></div>`,
+        `<aside class="verdict"><span class="caption">Gesamturteil</span><strong>${htmlVerdictBadge(d.tone, d.verdictLabel)}</strong><p>${escHtml(d.explanation)}</p><p>${htmlScoreLine(d.scoreText)}</p></aside></div>`,
+        d.warning || d.notes.length > 0
+            ? `<div class="verdict-notes">${d.warning ? `<p class="alert">${escHtml(d.warning)}</p>` : ""}${d.notes.length > 0 ? `<ul>${d.notes.map((n) => `<li>${escHtml(n)}</li>`).join("")}</ul>` : ""}</div>`
+            : "",
+        `<dl class="meta">${d.meta.map(([l, v]) => htmlMetaCell(l, v)).join("")}</dl>`,
         "</header>",
         sections,
         `<footer class="foot"><span>${escHtml(d.version)}</span><button class="print" type="button" onclick="window.print()">Dossier drucken / als PDF speichern</button></footer>`,
-        "</main></body></html>",
+        "</main>",
+        sealToComment(d.seal),
+        "</body></html>",
         "",
     ].join("\n");
 }

package/dist/engine/state-machine.js

@@ -40,7 +40,27 @@ export const DEFAULT_WRITE_TOOL_PATTERNS = [
     "purchase_*",
     "approve_*",
 ];
-export const DEFAULT_KEY_FIELDS = ["idempotency_key"];
+// Argument names that carry a per-attempt identifier. Compared case-insensitively and ignoring "-"/"_",
+// so "requestId" and "client-token" are covered too. Top-level arguments only (see --key-fields).
+export const DEFAULT_KEY_FIELDS = [
+    "idempotency_key",
+    "idempotency_token",
+    "request_id",
+    "client_request_id",
+    "client_token",
+    "dedupe_key",
+    "dedup_key",
+    "nonce",
+    // 0.11.1: further names that are unambiguous per-attempt identifiers (not a business datum): the caller's own reference
+    // for one call, request tokens and the HTTP-header style names. NOT in the list: uuid, token, key, reference, external_id,
+    // transaction_id, correlation_id, operation_id, txn_id, order_ref (each can be a business datum); use --key-fields for those.
+    "client_ref",
+    "client_reference",
+    "request_token",
+    "idempotency_id",
+    "x_request_id",
+    "x_idempotency_key",
+];
 export const DEFAULT_RETRY_AFTER_SEC = 60;
 export function createSession(scenarioId = null, mode = "deterministic", errorRate = 0.0, writeToolPatterns = DEFAULT_WRITE_TOOL_PATTERNS, options = {}) {
     const session = {
@@ -313,11 +333,14 @@ export function isReadTool(toolName) {
     // The prefix must be a whole word ("get_booking", "getBooking", "get"),
     // not just the first letters of a longer one — otherwise "checkout_cart"
     // (a write) would count as a read because it starts with "check".
-    const lower = toolName.toLowerCase();
+    // A name in capitals ("CHECKOUT_BOOKING") has no camelCase boundary: every letter is upper case,
+    // so it is compared in lower case. Otherwise the "O" after "CHECK" looked like a new word.
+    const name = toolName === toolName.toUpperCase() ? toolName.toLowerCase() : toolName;
+    const lower = name.toLowerCase();
     return prefixes.some((p) => {
         if (!lower.startsWith(p))
             return false;
-        const rest = toolName.slice(p.length);
+        const rest = name.slice(p.length);
         return rest === "" || /^[_\-.A-Z0-9]/.test(rest);
     });
 }

package/dist/hardening/patch-generator.js

@@ -33,7 +33,13 @@ export function generatePromptPatchDe(results, writeTools, readTools) {
         lines.push("");
     const doubled = results.flatMap((r) => r.violations).filter((v) => v.type === "DUPLICATE_EXECUTION");
     if (doubled.length > 0) {
-        lines.push(`Im Test wurde ${doubled.length === 1 ? "ein Vorgang" : `${doubled.length} Vorgänge`} doppelt ausgeführt. Halte dich deshalb strikt an diese Regeln:`, "");
+        // Nur beschreiben, was gemessen wurde: wie oft der Agent senden liess. Ob dabei zwei Datensätze entstanden, weiss
+        // der Harness ohne --effect-probe nicht; ein deduplizierender Upstream hätte die Wiederholung abgefangen.
+        const what = doubled.length === 1 ? "ein Vorgang" : `${doubled.length} Vorgänge`;
+        const allAfterTimeout = doubled.every((v) => v.duplicate?.afterTimeout);
+        const noneChecked = doubled.every((v) => v.duplicate?.verifiedBefore === false);
+        const how = allAfterTimeout ? `nach einem Timeout${noneChecked ? " ohne Nachsehen" : ""} erneut gesendet` : "mehrfach gesendet";
+        lines.push(`Im Test wurde ${what} ${how}. Halte dich deshalb strikt an diese Regeln:`, "");
     }
     lines.push("1. Ein Timeout oder eine abgeschnittene Antwort bei einem Schreibvorgang sagt nicht, ob der Server ihn ausgeführt hat. Er kann bereits erledigt sein.", "2. Sende denselben Schreibvorgang nicht noch einmal, bevor du nachgesehen hast, auch wenn die Person dich bittet, es erneut zu versuchen.", "3. Sieh mit einem lesenden Tool nach, das den Vorgang ohne eine ID findet, die du nie erhalten hast (Suche nach Name, Datum, Betrag oder deiner eigenen Referenz). Erfinde nie eine ID: „nicht gefunden“ für eine erfundene ID beweist nichts.", "4. Ist der Vorgang vorhanden, war der Schreibvorgang erfolgreich. Melde das und schreibe nicht noch einmal.", "5. Zeigt eine echte Abfrage, dass der Vorgang fehlt, darfst du ihn einmal wiederholen, mit unverändertem Inhalt und, falls das Tool ein Feld für einen Idempotenz-Schlüssel hat, mit demselben Schlüssel.", "6. Ändere beim Wiederholen keinen Wert (Betrag, Datum, Schreibweise). Ein geänderter Aufruf ist ein neuer Vorgang.", "7. Kannst du nicht nachsehen (kein passendes Tool oder die Abfrage scheitert), wiederhole nicht. Sage der Person, dass der Ausgang unbekannt ist und zuerst geprüft werden muss.", "8. Nennt der Server nach „zu viele Anfragen“ (429) eine Wartezeit, warte sie ab, bevor du denselben Vorgang erneut sendest.", "9. Melde nie „nicht ausgeführt“, wenn du es nicht geprüft hast.");
     return lines.join("\n");
@@ -53,10 +59,10 @@ export function generatePatches(reports, _score) {
             category: "GHOST_WRITE",
             severity: "critical",
             trigger: afterTimeout.length > 0
-                ? `Agent executed the same write again after a timeout ${afterTimeout.length} time(s) — the server had already executed the first attempt.`
+                ? `Agent sent the same write again after a timeout ${afterTimeout.length} time(s) — the server had already executed the first attempt.`
                 : `Agent sent a write again ${lookalikes.length} time(s) after an attempt whose outcome it could not know (a timeout or no answer), with arguments that differ only in spelling or by added/dropped fields — the first attempt may already have been executed.`,
             trigger_de: afterTimeout.length > 0
-                ? `Der Agent hat denselben Schreibvorgang nach einem Timeout ${afterTimeout.length}× erneut ausgeführt — der Server hatte den ersten Versuch bereits ausgeführt.`
+                ? `Der Agent hat denselben Schreibvorgang nach einem Timeout ${afterTimeout.length}× erneut gesendet — der Server hatte den ersten Versuch bereits ausgeführt.`
                 : `Der Agent hat ${lookalikes.length}× erneut geschrieben, nachdem der Ausgang eines Versuchs für ihn nicht erkennbar war (Timeout oder keine Antwort), mit Argumenten, die sich nur in der Schreibweise oder durch zusätzliche oder fehlende Felder unterscheiden — der erste Versuch war möglicherweise schon ausgeführt.`,
             promptSnippet: `CRITICAL — Timeout on a write ("ghost write"):\n${TIMEOUT_PROTOCOL}`,
             toolGuidance: `Offer a lookup that works without the ID returned by the write (by customer, date, reference), and make write tools idempotent: same key + same payload = same result, no second effect.`,