@tangle-network/agent-app 0.44.16 → 0.44.17

package/dist/work-product/index.js

@@ -17,6 +17,124 @@ import {
   defineAppTool
 } from "../chunk-YEFFHORB.js";
 
+// src/work-product/claim-support.ts
+var CURRENCY = /[$€£¥₹]/gu;
+var NUMBER_IN_TEXT = /[$€£¥₹]?\s*\d{1,3}(?:,\d{3})+(?:\.\d+)?|[$€£¥₹]?\s*\d+(?:\.\d+)?/gu;
+var FIGURE_IN_PROSE = /[$€£¥₹]\s*[-+]?\d[\d,]*(?:\.\d+)?|[-+]?\d{1,3}(?:,\d{3})+(?:\.\d+)?|[-+]?\d+\.\d{2}(?!\d)/gu;
+var WHOLE_VALUE = /^[$€£¥₹]?\s*[-+]?\s*(?:\d{1,3}(?:,\d{3})+|\d+)(?:\.\d+)?\s*%?$/u;
+function canonicalizeValue(token) {
+  let text = token.trim();
+  if (text.length === 0) return null;
+  if (/^\(.*\)$/u.test(text)) text = text.slice(1, -1).trim();
+  text = text.replace(CURRENCY, "").trim();
+  text = text.replace(/^[-+]\s*/u, "").trim();
+  text = text.replace(/%$/u, "").trim();
+  if (!/^(?:\d{1,3}(?:,\d{3})+|\d+)(?:\.\d+)?$/u.test(text)) return null;
+  text = text.replace(/,/gu, "");
+  if (text.includes(".")) text = text.replace(/0+$/u, "").replace(/\.$/u, "");
+  text = text.replace(/^0+(?=\d)/u, "");
+  return text.length === 0 ? null : text;
+}
+function valuesInText(text) {
+  const seen = /* @__PURE__ */ new Set();
+  for (const match of text.matchAll(NUMBER_IN_TEXT)) {
+    const canonical = canonicalizeValue(match[0]);
+    if (canonical !== null) seen.add(canonical);
+  }
+  return [...seen];
+}
+function claimValues(claim) {
+  const trimmed = claim.trim();
+  if (WHOLE_VALUE.test(trimmed)) {
+    const whole = canonicalizeValue(trimmed);
+    if (whole !== null) return [whole];
+  }
+  const seen = /* @__PURE__ */ new Set();
+  for (const match of trimmed.matchAll(FIGURE_IN_PROSE)) {
+    const canonical = canonicalizeValue(match[0]);
+    if (canonical !== null) seen.add(canonical);
+  }
+  return [...seen];
+}
+function verifyClaimSupport(quote, claim) {
+  if (quote.trim().length === 0) return { status: "not_applicable" };
+  const claimed = claimValues(claim);
+  if (claimed.length === 0) return { status: "not_applicable" };
+  const present = valuesInText(quote);
+  const matched = claimed.find((value) => present.includes(value));
+  if (matched !== void 0) return { status: "supported", matched };
+  return { status: "unsupported", claimed, present };
+}
+function excerpt(quote, limit = 120) {
+  const flat = quote.replace(/\s+/gu, " ").trim();
+  return flat.length <= limit ? flat : `${flat.slice(0, limit)}\u2026`;
+}
+function claimSupportErrorDetail(failure, quote) {
+  const wanted = failure.claimed.length === 1 ? failure.claimed[0] : `any of ${failure.claimed.join(", ")}`;
+  const carries = failure.present.length === 0 ? "that line carries no figure at all" : `the only figures on it are ${failure.present.join(", ")}`;
+  return `the cited text does not contain ${wanted}. It reads "${excerpt(quote)}", and ${carries}. Cite locator.find with the value exactly as it appears in the document and the platform will locate the right line for you. If this figure was COMPUTED rather than read from the document, omit the locator entirely and state the computation in claim.`;
+}
+function foldLabel(value) {
+  return value.normalize("NFKC").toLowerCase().replace(/[^\p{L}\p{N}]+/gu, " ").trim();
+}
+function verifyTargetLabel(quote, target, groups) {
+  if (quote.trim().length === 0) return { status: "not_applicable" };
+  const group = groups.find((candidate) => Object.hasOwn(candidate.labels, target));
+  if (!group) return { status: "not_applicable" };
+  const line = ` ${foldLabel(quote)} `;
+  const own = group.labels[target] ?? [];
+  for (const label of own) {
+    const folded = foldLabel(label);
+    if (folded.length > 0 && line.includes(folded)) return { status: "identified", label };
+  }
+  for (const [rival, labels] of Object.entries(group.labels)) {
+    if (rival === target) continue;
+    for (const label of labels) {
+      const folded = foldLabel(label);
+      if (folded.length === 0 || !line.includes(folded)) continue;
+      return {
+        status: "crossed",
+        rival,
+        rivalLabel: label,
+        expected: own,
+        ...group.note === void 0 ? {} : { note: group.note }
+      };
+    }
+  }
+  return { status: "not_applicable" };
+}
+function targetLabelErrorDetail(failure, target, quote) {
+  const ownLooks = failure.expected.length === 0 ? "" : ` A citation for ${target} should land on the line naming ${failure.expected.map((label) => JSON.stringify(label)).join(" or ")}.`;
+  const note = failure.note === void 0 ? "" : ` (${failure.note})`;
+  return `the line it cites reads "${excerpt(quote)}", which is the line for ${failure.rival} \u2014 it names ${JSON.stringify(failure.rivalLabel)}${note}.${ownLooks} Cite the line that belongs to this target, or attach this citation to ${failure.rival} instead. The figure is real; it is on the wrong line.`;
+}
+function indexArtifactValues(fields, normalizeTarget) {
+  const index = /* @__PURE__ */ new Map();
+  for (const [key, raw] of Object.entries(fields ?? {})) {
+    const value = typeof raw === "number" && Number.isFinite(raw) ? canonicalizeValue(String(raw)) : typeof raw === "string" ? canonicalizeValue(raw) : null;
+    if (value === null) continue;
+    index.set(normalizeTarget ? normalizeTarget(key) : key, value);
+  }
+  return index;
+}
+function verifyArtifactAgreement(target, claim, fieldValues) {
+  const expected = fieldValues.get(target);
+  if (expected === void 0) return { status: "not_applicable" };
+  const claimed = claimValues(claim);
+  if (claimed.length === 0) return { status: "not_applicable" };
+  if (claimed.includes(expected)) return { status: "agrees", value: expected };
+  for (const value of claimed) {
+    for (const [other, otherValue] of fieldValues) {
+      if (other === target || otherValue !== value) continue;
+      return { status: "contradicts", claimed: value, expected, belongsTo: other };
+    }
+  }
+  return { status: "not_applicable" };
+}
+function artifactAgreementErrorDetail(failure, target) {
+  return `the artifact reports ${failure.expected} on ${target} and ${failure.claimed} on ${failure.belongsTo}, so a citation claiming ${failure.claimed} does not support ${target} \u2014 it supports ${failure.belongsTo}. Attach this citation to ${failure.belongsTo}, or correct the artifact if ${target} really is ${failure.claimed}. The package cannot state both.`;
+}
+
 // src/work-product/service.ts
 var WORK_PRODUCT_TRANSITIONS = {
   draft: /* @__PURE__ */ new Set(["blocked", "ready"]),
@@ -52,6 +170,29 @@ function mergeById(existing, incoming) {
   }
   return merged;
 }
+function evidenceIdentity(entry) {
+  const whole = canonicalizeValue(entry.claim);
+  const claimKey = whole ?? entry.claim.normalize("NFKC").toLowerCase().replace(/\s+/gu, " ").trim();
+  return `${entry.target}\0${entry.sourceRef}\0${claimKey}`;
+}
+function mergeEvidence(existing, incoming) {
+  const merged = existing.slice();
+  for (const entry of incoming) {
+    const identity = evidenceIdentity(entry);
+    const hits = [];
+    for (let index = 0; index < merged.length; index += 1) {
+      const candidate = merged[index];
+      if (candidate.id === entry.id || evidenceIdentity(candidate) === identity) hits.push(index);
+    }
+    if (hits.length === 0) {
+      merged.push(entry);
+      continue;
+    }
+    merged[hits[0]] = entry;
+    for (const index of hits.slice(1).reverse()) merged.splice(index, 1);
+  }
+  return merged;
+}
 function createWorkProductService(options) {
   const { store } = options;
   const now = options.now ?? (() => Date.now());
@@ -158,7 +299,7 @@ function createWorkProductService(options) {
   const upsertEvidence = (id, entries) => guardedMerge(
     id,
     ["draft", "blocked"],
-    (record) => ({ evidence: mergeById(record.evidence, entries) }),
+    (record) => ({ evidence: mergeEvidence(record.evidence, entries) }),
     {
       step: "wp.evidence",
       message: (record) => `Evidence upserted (${entries.length} entries, ${record.evidence.length} total)`,
@@ -387,64 +528,6 @@ function workProductTrustInputs(records, verdictsFor) {
   return items;
 }
 
-// src/work-product/claim-support.ts
-var CURRENCY = /[$€£¥₹]/gu;
-var NUMBER_IN_TEXT = /[$€£¥₹]?\s*\d{1,3}(?:,\d{3})+(?:\.\d+)?|[$€£¥₹]?\s*\d+(?:\.\d+)?/gu;
-var FIGURE_IN_PROSE = /[$€£¥₹]\s*[-+]?\d[\d,]*(?:\.\d+)?|[-+]?\d{1,3}(?:,\d{3})+(?:\.\d+)?|[-+]?\d+\.\d{2}(?!\d)/gu;
-var WHOLE_VALUE = /^[$€£¥₹]?\s*[-+]?\s*(?:\d{1,3}(?:,\d{3})+|\d+)(?:\.\d+)?\s*%?$/u;
-function canonicalizeValue(token) {
-  let text = token.trim();
-  if (text.length === 0) return null;
-  if (/^\(.*\)$/u.test(text)) text = text.slice(1, -1).trim();
-  text = text.replace(CURRENCY, "").trim();
-  text = text.replace(/^[-+]\s*/u, "").trim();
-  text = text.replace(/%$/u, "").trim();
-  if (!/^(?:\d{1,3}(?:,\d{3})+|\d+)(?:\.\d+)?$/u.test(text)) return null;
-  text = text.replace(/,/gu, "");
-  if (text.includes(".")) text = text.replace(/0+$/u, "").replace(/\.$/u, "");
-  text = text.replace(/^0+(?=\d)/u, "");
-  return text.length === 0 ? null : text;
-}
-function valuesInText(text) {
-  const seen = /* @__PURE__ */ new Set();
-  for (const match of text.matchAll(NUMBER_IN_TEXT)) {
-    const canonical = canonicalizeValue(match[0]);
-    if (canonical !== null) seen.add(canonical);
-  }
-  return [...seen];
-}
-function claimValues(claim) {
-  const trimmed = claim.trim();
-  if (WHOLE_VALUE.test(trimmed)) {
-    const whole = canonicalizeValue(trimmed);
-    if (whole !== null) return [whole];
-  }
-  const seen = /* @__PURE__ */ new Set();
-  for (const match of trimmed.matchAll(FIGURE_IN_PROSE)) {
-    const canonical = canonicalizeValue(match[0]);
-    if (canonical !== null) seen.add(canonical);
-  }
-  return [...seen];
-}
-function verifyClaimSupport(quote, claim) {
-  if (quote.trim().length === 0) return { status: "not_applicable" };
-  const claimed = claimValues(claim);
-  if (claimed.length === 0) return { status: "not_applicable" };
-  const present = valuesInText(quote);
-  const matched = claimed.find((value) => present.includes(value));
-  if (matched !== void 0) return { status: "supported", matched };
-  return { status: "unsupported", claimed, present };
-}
-function excerpt(quote, limit = 120) {
-  const flat = quote.replace(/\s+/gu, " ").trim();
-  return flat.length <= limit ? flat : `${flat.slice(0, limit)}\u2026`;
-}
-function claimSupportErrorDetail(failure, quote) {
-  const wanted = failure.claimed.length === 1 ? failure.claimed[0] : `any of ${failure.claimed.join(", ")}`;
-  const carries = failure.present.length === 0 ? "that line carries no figure at all" : `the only figures on it are ${failure.present.join(", ")}`;
-  return `the cited text does not contain ${wanted}. It reads "${excerpt(quote)}", and ${carries}. Cite locator.find with the value exactly as it appears in the document and the platform will locate the right line for you. If this figure was COMPUTED rather than read from the document, omit the locator entirely and state the computation in claim.`;
-}
-
 // src/work-product/quote.ts
 var WHITESPACE = /[\s\p{Zs}\u2028\u2029\u200b-\u200d\ufeff]+/gu;
 var DASHES = /[\u2010-\u2015\u2212\ufe58\ufe63\uff0d]/gu;
@@ -537,6 +620,8 @@ var MAX_WORK_PRODUCT_BATCH = 50;
 var EVIDENCE_COVERAGE_CHECK = "evidence_coverage";
 var QUOTE_VERIFICATION_CHECK = "quote_verification";
 var CLAIM_SUPPORT_CHECK = "claim_support";
+var TARGET_CORRECTNESS_CHECK = "target_correctness";
+var ARTIFACT_AGREEMENT_CHECK = "artifact_agreement";
 async function unwrap(run, code) {
   let outcome = await run();
   if (!outcome.succeeded && outcome.conflict) outcome = await run();
@@ -704,6 +789,35 @@ function assertClaimsSupported(config, entries) {
     );
   }
 }
+function assertTargetsNotCrossed(config, entries) {
+  const groups = config.confusableTargets;
+  if (!groups || groups.length === 0) return;
+  for (let index = 0; index < entries.length; index += 1) {
+    const entry = entries[index];
+    const quote = entry.locator.quote;
+    if (quote === void 0) continue;
+    const verdict = verifyTargetLabel(quote, entry.target, groups);
+    if (verdict.status !== "crossed") continue;
+    throw new ToolInputError(
+      "target_crossed",
+      `entries[${index}] is attached to ${entry.target} but ${targetLabelErrorDetail(verdict, entry.target, quote)}`
+    );
+  }
+}
+function assertEvidenceAgreesWithArtifact(config, entries, artifact) {
+  if (config.verifyArtifactAgreement === false) return;
+  const fieldValues = indexArtifactValues(artifact?.fields, config.normalizeTarget);
+  if (fieldValues.size === 0) return;
+  for (let index = 0; index < entries.length; index += 1) {
+    const entry = entries[index];
+    const agreement = verifyArtifactAgreement(entry.target, entry.claim, fieldValues);
+    if (agreement.status !== "contradicts") continue;
+    throw new ToolInputError(
+      "contradicts_artifact",
+      `entries[${index}].claim ${JSON.stringify(entry.claim)} contradicts this work product's own artifact: ${artifactAgreementErrorDetail(agreement, entry.target)}`
+    );
+  }
+}
 async function summarizeQuoteVerification(config, evidence, ctx) {
   const readSourceText = config.readSourceText;
   if (!readSourceText) return void 0;
@@ -753,6 +867,41 @@ function summarizeClaimSupport(evidence) {
   }
   return { supported, checkable, unsupported };
 }
+function summarizeTargetCorrectness(evidence, groups, targetOf) {
+  let correct = 0;
+  let checkable = 0;
+  const crossed = [];
+  for (const entry of evidence) {
+    const quote = entry.locator.quote;
+    if (quote === void 0) continue;
+    const target = targetOf(entry);
+    const verdict = verifyTargetLabel(quote, target, groups);
+    if (verdict.status === "not_applicable") continue;
+    checkable += 1;
+    if (verdict.status === "identified") correct += 1;
+    else crossed.push({ id: entry.id, detail: `${entry.id} (${target} cites the ${verdict.rival} line)` });
+  }
+  return { correct, checkable, crossed };
+}
+function summarizeArtifactAgreement(evidence, fieldValues, targetOf) {
+  let agreeing = 0;
+  let checkable = 0;
+  const contradicting = [];
+  for (const entry of evidence) {
+    const target = targetOf(entry);
+    const agreement = verifyArtifactAgreement(target, entry.claim, fieldValues);
+    if (agreement.status === "not_applicable") continue;
+    checkable += 1;
+    if (agreement.status === "agrees") agreeing += 1;
+    else {
+      contradicting.push({
+        id: entry.id,
+        detail: `${entry.id} (${target} claims ${agreement.claimed}, which the artifact reports on ${agreement.belongsTo}; ${target} is ${agreement.expected})`
+      });
+    }
+  }
+  return { agreeing, checkable, contradicting };
+}
 function buildWorkProductTools(config) {
   const service = createWorkProductService({
     store: config.store,
@@ -821,6 +970,7 @@ function buildWorkProductTools(config) {
       for (let index = 0; index < raw.length; index += 1) {
         const parsed = parseEvidenceInput(raw[index], `entries[${index}]`);
         if (!parsed.ok) throw new ToolInputError("invalid_evidence", `${parsed.field}: ${parsed.error}`);
+        if (config.normalizeTarget) parsed.value.target = config.normalizeTarget(parsed.value.target);
         entries.push(parsed.value);
       }
       for (let index = 0; index < entries.length; index += 1) {
@@ -834,7 +984,9 @@ function buildWorkProductTools(config) {
       }
       await resolveEvidenceQuotes(config, entries, ctx);
       assertClaimsSupported(config, entries);
+      assertTargetsNotCrossed(config, entries);
       const draft = await resolveDraft(service, config, scopeKey, ctx);
+      assertEvidenceAgreesWithArtifact(config, entries, draft.artifact);
       const record = await unwrap(() => service.upsertEvidence(draft.id, entries), "evidence_rejected");
       return {
         workProductId: record.id,
@@ -1015,15 +1167,55 @@ function buildWorkProductTools(config) {
           );
         }
       }
+      const targetOf = (entry) => config.normalizeTarget ? config.normalizeTarget(entry.target) : entry.target;
+      if (config.confusableTargets && config.confusableTargets.length > 0) {
+        const crossing = summarizeTargetCorrectness(draft.evidence, config.confusableTargets, targetOf);
+        checks.unshift({
+          id: TARGET_CORRECTNESS_CHECK,
+          name: TARGET_CORRECTNESS_CHECK,
+          passed: crossing.crossed.length === 0,
+          detail: crossing.crossed.length > 0 ? `Citations attached to the wrong target: ${crossing.crossed.map((item) => item.detail).join("; ")}` : crossing.checkable === 0 ? "No citation lands on a line this product can tell apart from a sibling target \u2014 nothing to check" : `${crossing.correct}/${crossing.checkable} citations land on a line belonging to their own target`,
+          source: "platform"
+        });
+        if (crossing.crossed.length > 0) {
+          await unwrap(() => service.recordChecks(draft.id, checks), "checks_rejected");
+          throw new ToolInputError(
+            "target_crossed",
+            `Cannot submit: ${crossing.crossed.length} evidence entr${crossing.crossed.length === 1 ? "y cites" : "ies cite"} a line belonging to a different target \u2014 ${crossing.crossed.map((item) => item.detail).join("; ")}. Re-emit each against the target whose line it actually cites, or cite the line that belongs to the target it is attached to.`
+          );
+        }
+      }
+      const artifactValues = indexArtifactValues(artifact.fields, config.normalizeTarget);
+      if (config.verifyArtifactAgreement !== false && artifactValues.size > 0) {
+        const agreement = summarizeArtifactAgreement(draft.evidence, artifactValues, targetOf);
+        checks.unshift({
+          id: ARTIFACT_AGREEMENT_CHECK,
+          name: ARTIFACT_AGREEMENT_CHECK,
+          passed: agreement.contradicting.length === 0,
+          detail: agreement.contradicting.length > 0 ? `Evidence contradicts the artifact on: ${agreement.contradicting.map((item) => item.detail).join("; ")}` : agreement.checkable === 0 ? "No evidence claim states a figure the artifact also states \u2014 nothing to check" : `${agreement.agreeing}/${agreement.checkable} evidence claims agree with the artifact field they support`,
+          source: "platform"
+        });
+        if (agreement.contradicting.length > 0) {
+          await unwrap(() => service.recordChecks(draft.id, checks), "checks_rejected");
+          throw new ToolInputError(
+            "contradicts_artifact",
+            `Cannot submit: ${agreement.contradicting.length} evidence entr${agreement.contradicting.length === 1 ? "y contradicts" : "ies contradict"} the artifact they support \u2014 ${agreement.contradicting.map((item) => item.detail).join("; ")}. Move each citation to the target it actually supports, or correct the artifact. The package cannot state both.`
+          );
+        }
+      }
       if (config.materialTargets) {
-        const targets = config.materialTargets(artifact);
-        const covered = new Set(draft.evidence.map((entry) => entry.target));
+        const targets = [
+          ...new Set(
+            config.materialTargets(artifact).map((target) => config.normalizeTarget ? config.normalizeTarget(target) : target)
+          )
+        ];
+        const covered = new Set(draft.evidence.map(targetOf));
         const missing = targets.filter((target) => !covered.has(target));
         const anchoredTargets = new Set(
-          draft.evidence.filter((entry) => entry.locator.quoteBasis !== void 0).map((entry) => entry.target)
+          draft.evidence.filter((entry) => entry.locator.quoteBasis !== void 0).map(targetOf)
         );
         const spanTargets = new Set(
-          draft.evidence.filter((entry) => entry.locator.quoteBasis === "span").map((entry) => entry.target)
+          draft.evidence.filter((entry) => entry.locator.quoteBasis === "span").map(targetOf)
         );
         const present = targets.filter((target) => covered.has(target));
         const unanchored = present.filter((target) => !anchoredTargets.has(target));
@@ -1161,10 +1353,13 @@ function createWorkProductRoutes(options) {
   return { list, detail, verdict };
 }
 export {
+  ARTIFACT_AGREEMENT_CHECK,
   CLAIM_SUPPORT_CHECK,
   EVIDENCE_COVERAGE_CHECK,
   MAX_WORK_PRODUCT_BATCH,
   QUOTE_VERIFICATION_CHECK,
+  TARGET_CORRECTNESS_CHECK,
+  artifactAgreementErrorDetail,
   buildWorkProductTools,
   canTransitionWorkProduct,
   canonicalizeValue,
@@ -1175,6 +1370,7 @@ export {
   createWorkProductService,
   finalizeWorkProductProvenance,
   findSourceLine,
+  indexArtifactValues,
   isWorkProductStatus,
   isWorkProductTerminal,
   normalizeQuoteText,
@@ -1188,10 +1384,13 @@ export {
   sliceSourceSpan,
   sourceContainsQuote,
   stampProvenance,
+  targetLabelErrorDetail,
   unresolvedBlockingExceptions,
   validateWorkProductVerdictBody,
   valuesInText,
+  verifyArtifactAgreement,
   verifyClaimSupport,
+  verifyTargetLabel,
   workProductToPersistedPart,
   workProductTrustInputs
 };