omnius 1.0.894 → 1.0.895

package/dist/index.js

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: package/dist/index.js
-size: 38863651 bytes
-sha256: 9c42f645173805b16c07b9cd1493f9562886b701a825e7e17a3b9533a83423cd
+size: 38869982 bytes
+sha256: caa4136d8894b599e120ee778baad82e2be5b0671c914c604e1e2a93ca8e747a

package/dist/library.js

@@ -350078,22 +350078,86 @@ function recordToolEvidence(ledger, input) {
   });
 }
 function addCompletionClaims(ledger, claims) {
+  const at = nowIso4();
+  const assertion = {
+    assertedAtIso: at,
+    assertedRunId: ledger.runId,
+    assertedEvidenceSequence: ledger.evidence.length
+  };
   const byId = new Map(ledger.proposedClaims.map((claim) => [claim.id, claim]));
   const byMeaning = new Map(ledger.proposedClaims.map((claim) => [normalizeCompletionKey(claim.text, "claim"), claim.id]));
+  const assertedMeanings = /* @__PURE__ */ new Set();
   for (const claim of claims) {
     const meaning = normalizeCompletionKey(claim.text, "claim");
-    if (meaning && byMeaning.has(meaning))
+    if (meaning)
+      assertedMeanings.add(meaning);
+    const existingId = meaning ? byMeaning.get(meaning) : void 0;
+    const existing = existingId ? byId.get(existingId) : void 0;
+    if (existing) {
+      const { supersededAtIso: _superseded, ...reasserted } = existing;
+      byId.set(existing.id, { ...reasserted, ...assertion });
       continue;
-    byId.set(claim.id, claim);
+    }
+    byId.set(claim.id, {
+      ...claim,
+      recordedAtIso: claim.recordedAtIso ?? at,
+      recordedRunId: claim.recordedRunId ?? ledger.runId,
+      ...assertion
+    });
     if (meaning)
       byMeaning.set(meaning, claim.id);
   }
+  if (claims.some((claim) => claim.source === "task_complete_summary")) {
+    for (const [id5, claim] of byId) {
+      if (claim.source !== "task_complete_summary" || claim.supersededAtIso)
+        continue;
+      if (assertedMeanings.has(normalizeCompletionKey(claim.text, "claim")))
+        continue;
+      byId.set(id5, { ...claim, supersededAtIso: at });
+    }
+  }
   return {
     ...ledger,
     proposedClaims: Array.from(byId.values()),
-    updatedAtIso: nowIso4()
+    updatedAtIso: at
   };
 }
+function isAppliedMutation(evidence) {
+  return (evidence.role === "mutation" || evidence.kind === "file_change") && evidence.success !== false && evidence.receipt?.cancelled !== true;
+}
+function assessCompletionClaimCurrentness(ledger, claim) {
+  if (claim.source === "derived")
+    return { current: true };
+  if (claim.supersededAtIso) {
+    return {
+      current: false,
+      reason: "superseded_by_later_summary",
+      endedAtIso: claim.supersededAtIso
+    };
+  }
+  const sequence = claim.assertedEvidenceSequence;
+  if (sequence !== void 0 && Number.isFinite(sequence)) {
+    const hasPaths = claimPathSignals(claim).length > 0;
+    for (let index = Math.max(0, sequence); index < ledger.evidence.length; index++) {
+      const item = ledger.evidence[index];
+      if (!isAppliedMutation(item))
+        continue;
+      if (hasPaths ? hasClaimPathOverlap(claim, item) : claim.status !== "supported") {
+        return {
+          current: false,
+          reason: "artifact_revised_after_claim",
+          endedAtIso: item.observedAtIso,
+          supersedingEvidenceId: item.id
+        };
+      }
+    }
+  }
+  const assertedRun = claim.assertedRunId ?? claim.recordedRunId;
+  if (assertedRun && ledger.runId && assertedRun !== ledger.runId) {
+    return { current: false, reason: "recorded_in_prior_run" };
+  }
+  return { current: true };
+}
 function claimPathSignals(claim) {
   const sourcePaths = (claim.sourceSignals ?? []).filter((signal) => /[/.]/.test(signal));
   return cleanTargetPaths([...claim.workspaceSignals, ...sourcePaths]);
@@ -360881,7 +360945,7 @@ function buildIntegrationClosure(input) {
       });
     }
   }
-  const claims = (ledger?.proposedClaims ?? []).slice(-MAX_CLAIMS);
+  const claims = (ledger?.proposedClaims ?? []).filter((claim) => assessCompletionClaimCurrentness(ledger, claim).current).slice(-MAX_CLAIMS);
   for (const claim of claims) {
     const claimId = nodeId("claim", claim.id);
     addNode({
@@ -362559,7 +362623,7 @@ function renderReasoningSlice(slice, maxCharacters = slice.selection.maxCharacte
   };
   const renderedNodeIds = /* @__PURE__ */ new Set();
   for (const node of [...slice.nodes].sort((left, right) => nodePriority(left) - nodePriority(right) || left.nodeId.localeCompare(right.nodeId))) {
-    if (append(`- ${node.nodeId} [${node.kind}/${node.status}/${node.authority}] ${options.objectiveReference && node.kind === "objective" ? `[see ${options.objectiveReference}]` : node.label}`)) {
+    if (append(`- ${node.nodeId} [${node.kind}/${node.status}/${node.authority}] ${options.objectiveReference && node.kind === "objective" ? `[see ${options.objectiveReference}]` : node.kind === "claim" && node.status === "superseded" ? "(historical assertion; see Historical claims — not a current fact)" : node.label}`)) {
       renderedNodeIds.add(node.nodeId);
     }
   }
@@ -362571,11 +362635,21 @@ function renderReasoningSlice(slice, maxCharacters = slice.selection.maxCharacte
     }
     append(`- ${edge.sourceNodeId} --${edge.kind}--> ${edge.targetNodeId}`);
   }
+  const historical = slice.claims.filter(isHistoricalClaim);
+  const current2 = slice.claims.filter((claim) => !isHistoricalClaim(claim));
   append("Claims:");
-  if (slice.claims.length === 0)
+  if (current2.length === 0)
     append("- none");
-  for (const claim of slice.claims) {
-    append(`- ${claim.claimId} [${claim.status}/${claim.authority ?? "inferred"}] ${claim.statement}`);
+  for (const claim of current2) {
+    append(`- ${claim.claimId} [${claim.status}/${claim.authority ?? "inferred"}]${claimProvenance(claim)} ${claim.statement}`);
+  }
+  if (historical.length > 0) {
+    append("Historical claims (superseded or revised by later evidence; retained for audit, NOT current facts — rely on current observations):");
+    for (const claim of historical) {
+      const reason = claimTag(claim, "currentness:") ?? "historical";
+      const by = claimTag(claim, "superseded-by:");
+      append(`- ${claim.claimId} [historical/${reason}${by ? ` by ${by}` : ""}]${claimProvenance(claim)} was: ${claim.statement}`);
+    }
   }
   append("Conflicts:");
   if (slice.conflicts.length === 0)
@@ -362593,6 +362667,21 @@ function renderReasoningSlice(slice, maxCharacters = slice.selection.maxCharacte
   lines.push(closing);
   return lines.join("\n").slice(0, budget);
 }
+function claimTag(claim, prefix) {
+  return claim.tags.find((tag) => tag.startsWith(prefix))?.slice(prefix.length);
+}
+function isHistoricalClaim(claim) {
+  return claim.tags.includes("historical");
+}
+function claimProvenance(claim) {
+  const parts = [
+    claimTag(claim, "run:") ? `run=${claimTag(claim, "run:")}` : "",
+    claim.validFrom ? `at=${claim.validFrom}` : "",
+    claimTag(claim, "evidence-seq:") !== void 0 ? `evidence-seq=${claimTag(claim, "evidence-seq:")}` : "",
+    claim.validTo ? `until=${claim.validTo}` : ""
+  ].filter(Boolean);
+  return parts.length > 0 ? ` (${parts.join(" ")})` : "";
+}
 function iso(value, fallback) {
   return value && Number.isFinite(Date.parse(value)) ? value : fallback;
 }
@@ -362677,8 +362766,23 @@ function todoActionContract(todo, nodeId2) {
     risk
   };
 }
-function claimAuthority(claim) {
-  return claim.source === "derived" ? "inferred" : "adopted";
+function claimAuthority(claim, currentness) {
+  if (claim.source === "derived" || !currentness.current)
+    return "inferred";
+  return claim.status === "supported" ? "adopted" : "inferred";
+}
+function validIso(value) {
+  return value && Number.isFinite(Date.parse(value)) ? new Date(Date.parse(value)).toISOString() : void 0;
+}
+function claimProvenanceTags(claim, currentness) {
+  const run = claim.assertedRunId ?? claim.recordedRunId;
+  return [
+    ...run ? [`run:${run}`.slice(0, 128)] : [],
+    ...claim.assertedEvidenceSequence !== void 0 ? [`evidence-seq:${claim.assertedEvidenceSequence}`] : [],
+    currentness.current ? "currentness:current" : `currentness:${currentness.reason}`,
+    ...currentness.current ? [] : ["historical"],
+    ...currentness.supersedingEvidenceId ? [`superseded-by:${currentness.supersedingEvidenceId}`.slice(0, 128)] : []
+  ];
 }
 function evidenceRole(evidence) {
   if (evidence.receipt?.cancelled === true)
@@ -363579,6 +363683,11 @@ function buildWorkGraphProjectionPatch(input) {
         return completionClaim.evidenceIds.some((id5) => proofIds.has(id5));
       });
       const subjectNodeId = matchedTodo ? todoNodeIds.get(matchedTodo.id) ?? objectiveId : objectiveId;
+      const currentness = assessCompletionClaimCurrentness(ledger, completionClaim);
+      const authority = claimAuthority(completionClaim, currentness);
+      const validFrom = validIso(completionClaim.assertedAtIso ?? completionClaim.recordedAtIso);
+      const endedAt = currentness.current ? void 0 : validIso(currentness.endedAtIso);
+      const validTo = endedAt && validFrom && Date.parse(endedAt) < Date.parse(validFrom) ? validFrom : endedAt;
       const claim = {
         schemaVersion: input.graph.schemaVersion,
         claimId,
@@ -363589,11 +363698,17 @@ function buildWorkGraphProjectionPatch(input) {
         confidence: completionClaim.status === "supported" ? 1 : 0.5,
         evidenceRefIds: evidenceIds,
         dependsOnClaimIds: [],
-        tags: [WORK_GRAPH_PROJECTION_ID, completionClaim.riskCategory],
+        tags: [
+          WORK_GRAPH_PROJECTION_ID,
+          completionClaim.riskCategory,
+          ...claimProvenanceTags(completionClaim, currentness)
+        ],
         subjectNodeId,
         predicate: "completion_outcome",
         objectValue: completionClaim.attainedState,
-        authority: claimAuthority(completionClaim)
+        ...validFrom ? { validFrom } : {},
+        ...validTo ? { validTo } : {},
+        authority
       };
       claims.set(claimId, claim);
       const claimNodeId = scopedId("claim-node", completionClaim.id);
@@ -363602,20 +363717,25 @@ function buildWorkGraphProjectionPatch(input) {
         nodeId: claimNodeId,
         kind: "claim",
         label: completionClaim.text.slice(0, 1e3),
-        status: completionClaim.status === "supported" ? "complete" : completionClaim.status === "contradicted" ? "invalid" : completionClaim.status === "blocked" ? "blocked" : "proposed",
-        authority: claimAuthority(completionClaim),
+        status: !currentness.current ? "superseded" : completionClaim.status === "supported" ? "complete" : completionClaim.status === "contradicted" ? "invalid" : completionClaim.status === "blocked" ? "blocked" : "proposed",
+        authority,
         parentNodeId: subjectNodeId,
         bindingIds: [],
         evidenceRefIds: evidenceIds,
         reference: { type: "claim", claimId },
-        attributes: projectedAttributes(claimAuthority(completionClaim), {
+        attributes: projectedAttributes(authority, {
           materiality: completionClaim.materiality,
           riskCategory: completionClaim.riskCategory,
-          requiresIndependentEvidence: completionClaim.requiresIndependentEvidence
+          requiresIndependentEvidence: completionClaim.requiresIndependentEvidence,
+          currentness: currentness.current ? "current" : "historical",
+          ...currentness.reason ? { currentnessReason: currentness.reason } : {},
+          ...currentness.supersedingEvidenceId ? { supersedingEvidenceId: currentness.supersedingEvidenceId } : {},
+          ...completionClaim.assertedRunId ?? completionClaim.recordedRunId ? { assertedRunId: completionClaim.assertedRunId ?? completionClaim.recordedRunId } : {},
+          ...completionClaim.assertedEvidenceSequence !== void 0 ? { assertedEvidenceSequence: completionClaim.assertedEvidenceSequence } : {}
         })
       });
       addEdge(subjectNodeId, claimNodeId, "contains");
-      if (matchedTodo) {
+      if (matchedTodo && currentness.current) {
         const proofNodes = [
           ...todoMutationNodeIds.get(matchedTodo.id) ?? [],
           ...todoArtifactNodeIds.get(matchedTodo.id) ?? []
@@ -363728,7 +363848,7 @@ function graphId(value) {
   const digest8 = createHash79("sha256").update(value).digest("hex").slice(0, 20);
   return `work-graph:${digest8}`;
 }
-function validIso(value) {
+function validIso2(value) {
   return value && Number.isFinite(Date.parse(value)) ? value : (/* @__PURE__ */ new Date()).toISOString();
 }
 var OperationalWorkGraphController = class {
@@ -363753,7 +363873,7 @@ var OperationalWorkGraphController = class {
       graphId: options.graphId ?? graphId(options.persistenceKey),
       title: options.title ?? "Omnius operational work graph",
       revision: "revision:0",
-      createdAt: validIso(options.now)
+      createdAt: validIso2(options.now)
     });
     if (this.persist && !restored)
       this.save();
@@ -365361,7 +365481,7 @@ function sha2566(value) {
 function normalizedPath(value) {
   return bounded2(value, 1e3).replace(/\\/g, "/").replace(/\/+/g, "/");
 }
-function validIso2(value) {
+function validIso3(value) {
   return typeof value === "string" && Number.isFinite(Date.parse(value));
 }
 function evidenceMap(mappings) {
@@ -365396,7 +365516,7 @@ function receiptHasValidIdentity(receipt) {
   }
   if (!bounded2(receipt.cwd, 2e3))
     return false;
-  if (!validIso2(receipt.startedAtIso) || !validIso2(receipt.finishedAtIso))
+  if (!validIso3(receipt.startedAtIso) || !validIso3(receipt.finishedAtIso))
     return false;
   return Date.parse(receipt.finishedAtIso) >= Date.parse(receipt.startedAtIso);
 }
@@ -365465,7 +365585,7 @@ function latestDelivery(requirement, mappedEvidenceIds, evidence) {
     entry,
     ordinal,
     receipt: normalizeCompletionDeliveryReceipt(entry.deliveryReceipt)
-  })).filter((item) => Boolean(item.receipt && validIso2(item.receipt.deliveredAtIso) && (!requirement.provider || item.receipt.provider === requirement.provider) && (!requirement.target || item.receipt.target === requirement.target))).sort((left, right) => Date.parse(left.receipt.deliveredAtIso) - Date.parse(right.receipt.deliveredAtIso) || left.ordinal - right.ordinal);
+  })).filter((item) => Boolean(item.receipt && validIso3(item.receipt.deliveredAtIso) && (!requirement.provider || item.receipt.provider === requirement.provider) && (!requirement.target || item.receipt.target === requirement.target))).sort((left, right) => Date.parse(left.receipt.deliveredAtIso) - Date.parse(right.receipt.deliveredAtIso) || left.ordinal - right.ordinal);
   const selected = candidates.at(-1);
   if (!selected)
     return { status: "unverified" };
@@ -365854,7 +365974,7 @@ function validateOverrideReceipt(value) {
   const reason = bounded2(record9["reason"], 2e3);
   const persistedAtIso = bounded2(record9["persistedAtIso"], 80);
   const receiptId = bounded2(record9["receiptId"], 100);
-  if (!runId || !SHA2562.test(readinessHash) || !reason || !validIso2(persistedAtIso)) {
+  if (!runId || !SHA2562.test(readinessHash) || !reason || !validIso3(persistedAtIso)) {
     return null;
   }
   const expected = `override-${receiptDigest({
@@ -365913,7 +366033,7 @@ function persistCompletionReadinessOverride(stateDir, input) {
   if (!reason)
     throw new TypeError("Override reason is required");
   const persistedAtIso = input.persistedAtIso ?? (/* @__PURE__ */ new Date()).toISOString();
-  if (!validIso2(persistedAtIso))
+  if (!validIso3(persistedAtIso))
     throw new TypeError("Invalid persistedAtIso");
   const path7 = completionReadinessOverridePath(stateDir, runId, input.readinessHash);
   const existing = loadCompletionReadinessOverride(stateDir, runId, input.readinessHash);
@@ -365964,7 +366084,7 @@ function persistCompletionReadinessOverride(stateDir, input) {
 function reconcileCompletionReadiness(input) {
   const runId = requiredId(input.runId, "runId");
   const generatedAtIso = input.generatedAtIso ?? (/* @__PURE__ */ new Date()).toISOString();
-  if (!validIso2(generatedAtIso))
+  if (!validIso3(generatedAtIso))
     throw new TypeError("Invalid generatedAtIso");
   const requestedTerminalStatus = input.requestedTerminalStatus ?? "completed";
   const built = buildCompletionObligations(input);

package/npm-shrinkwrap.json

@@ -1,12 +1,12 @@
 {
   "name": "omnius",
-  "version": "1.0.894",
+  "version": "1.0.895",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "omnius",
-      "version": "1.0.894",
+      "version": "1.0.895",
       "bundleDependencies": [
         "image-to-ascii"
       ],

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "omnius",
-  "version": "1.0.894",
+  "version": "1.0.895",
   "description": "AI coding agent powered by open-source models (Ollama/vLLM) — interactive TUI with agentic tool-calling loop",
   "type": "module",
   "main": "./dist/library.js",