harness-everything 0.36.3 → 0.36.4

package/plugins/harness-everything/skills/harness-everything/scripts/doc-evidence.js

@@ -1,29 +1,13 @@
 'use strict';
 
-const crypto = require('crypto');
+const {
+  createInvocationCapture
+} = require('./doc-evidence-capture');
 
 function isPlainObject(value) {
   return Boolean(value) && typeof value === 'object' && !Array.isArray(value);
 }
 
-// #335 P3: the candidate inventory provenance check is deliberately stricter than the shared
-// `isPlainObject` helper. Baseline-only evidence requires a real plain object or a
-// null-prototype dictionary; object-like values (Map, Date, RegExp, class instances) must not
-// masquerade as an empty inventory. The shared normalizer and `artifactMap` fallback remain
-// unchanged for non-baseline callers.
-// A Proxy (or host object) whose `getPrototypeOf` trap throws cannot be proven to be a plain
-// object, so it is classified as unknown inventory rather than aborting the whole check.
-function isCandidateInventory(value) {
-  if (value === null || typeof value !== 'object' || Array.isArray(value)) return false;
-  let prototype;
-  try {
-    prototype = Object.getPrototypeOf(value);
-  } catch {
-    return false;
-  }
-  return prototype === Object.prototype || prototype === null;
-}
-
 function isRecord(value) {
   return isPlainObject(value)
     && typeof value.id === 'string' && value.id.length > 0
@@ -66,31 +50,10 @@ function scopePathsOf(obligation) {
   return [];
 }
 
-function artifact(entry) {
-  return entry && typeof entry.digest === 'string' && entry.digest.length > 0 ? entry.digest : '';
-}
-
-// #335 P2: a baseline-bound rename destination must declare its own digest. An inherited
-// `digest` (for example Object.create({ digest })) is not explicit candidate evidence.
-// P2(r4321077631): reads the own digest exactly once. `artifact()` inspects `entry.digest` up
-// to three times (typeof, length, value), so a stateful accessor could validate one value and
-// have the captured destination snapshot carry another. Only the applicable rename-destination
-// snapshot uses this helper; non-baseline and inapplicable lanes keep the legacy `artifact()`
-// reads for their audit identity. A throwing digest getter propagates to the caller's guarded
-// block and fails the inspection closed there. This is the single authoritative own-digest
-// helper; nothing else in this module reads a destination's own digest.
-function ownDigestOnce(entry) {
-  if (!isPlainObject(entry)) return '';
-  if (!hasOwnEntry(entry, 'digest')) return '';
-  const digest = entry.digest;
-  return typeof digest === 'string' && digest.length > 0 ? digest : '';
-}
-
 function provenanceText(record) {
   return nonEmptyString(record.provenance) ? record.provenance : `record ${record.id}`;
 }
 
-
 function provenanceJoin(records, fallback) {
   return records.length ? uniqueSorted(records.map(provenanceText)).join('; ') : fallback;
 }
@@ -122,50 +85,25 @@ function incompleteFields(item) {
   return missing.join(', ');
 }
 
-// F2 (§11): the candidate PRD-set identity is the digest over the sorted [path, digest] pairs
-// of the artifacts under docs/prd/. The envelope must carry this exact digest to attest that
-// the inventory describes the candidate being checked.
-function prdSetDigest(artifactMap) {
-  const pairs = Object.keys(artifactMap)
-    .filter(path => path.startsWith('docs/prd/'))
-    .sort()
-    .map(path => [path, artifact(artifactMap[path])]);
-  return crypto.createHash('sha256').update(JSON.stringify(pairs)).digest('hex');
-}
-
 function checkDocObligations({ obligations, artifacts, baseline, executionRecords, reviewRecords } = {}) {
   const diagnostics = [];
   const results = [];
+  const capture = createInvocationCapture({ artifacts, baseline });
   // P3: distinguish a caller-supplied plain-object or null-prototype inventory (including an
   // explicit {}) from an absent, malformed, or object-like value that the pre-existing
   // normalizer would coerce to (or treat as) an empty map. The provenance check is deferred to
   // applicable obligations that actually declare baseline paths, so non-baseline and
   // inapplicable callers never read the candidate inventory's prototype (a throwing Proxy trap
   // must not abort an unrelated obligation). It is resolved at most once so every obligation
-  // sees the same classification. `artifactMap` keeps the original `isPlainObject` fallback for
-  // non-baseline callers.
-  const artifactMap = isPlainObject(artifacts) ? artifacts : {};
-  let candidateInventoryKnown;
-  const isCandidateInventoryKnown = () => {
-    if (candidateInventoryKnown === undefined) {
-      candidateInventoryKnown = isCandidateInventory(artifacts);
-    }
-    return candidateInventoryKnown;
-  };
+  // sees the same classification. The capture module keeps the original `isPlainObject`
+  // fallback for non-baseline callers and exposes only narrow legacy read operations.
+  capture.initializeArtifactFallback();
   // P2(r4321077638): the whole-baseline identity is read exactly once and that same scalar is
   // validated, so a stateful getter cannot pass validation as A and have every later comparison
   // use B. A baseline identity whose inspection throws is unusable input: the captured digest
   // stays '', so baseline-bound evaluations fail closed through `baseline-identity-missing`
   // instead of escaping the checker, and non-baseline callers keep the legacy '' shape.
-  let baselineDigest = '';
-  if (isPlainObject(baseline)) {
-    try {
-      const declaredBaselineDigest = baseline.digest;
-      if (nonEmptyString(declaredBaselineDigest)) baselineDigest = declaredBaselineDigest;
-    } catch {
-      baselineDigest = '';
-    }
-  }
+  const baselineDigest = capture.captureBaselineIdentity();
   const executionList = Array.isArray(executionRecords) ? executionRecords.filter(isRecord) : [];
   const reviewList = Array.isArray(reviewRecords) ? reviewRecords.filter(isRecord) : [];
 
@@ -183,14 +121,14 @@ function checkDocObligations({ obligations, artifacts, baseline, executionRecord
 
   for (const obligation of obligationList) {
     results.push(evaluateObligation(obligation, {
-      artifactMap, isCandidateInventoryKnown, baseline, baselineDigest, executionList, reviewList, diagnostics
+      capture, baselineDigest, executionList, reviewList, diagnostics
     }));
   }
   return { diagnostics, results };
 }
 
 function evaluateObligation(obligation, context) {
-  const { artifactMap, isCandidateInventoryKnown, baseline, baselineDigest, executionList, reviewList, diagnostics } = context;
+  const { capture, baselineDigest, executionList, reviewList, diagnostics } = context;
   const capability = typeof obligation.capability === 'string' ? obligation.capability : '';
   const obligationId = nonEmptyString(obligation.id) ? obligation.id : capability;
   const scopePaths = scopePathsOf(obligation);
@@ -202,27 +140,8 @@ function evaluateObligation(obligation, context) {
   const scopeObject = isPlainObject(obligation.scope) ? obligation.scope : null;
   const declaresBaselinePaths = Boolean(scopeObject && Object.prototype.hasOwnProperty.call(scopeObject, 'baselinePaths'));
   const declaredBaselinePaths = declaresBaselinePaths ? scopeObject.baselinePaths : undefined;
-  const baselineArtifactsMap = isPlainObject(baseline) && isPlainObject(baseline.artifacts) ? baseline.artifacts : null;
-  const baselineEntries = new Map();
-  // #340: every accepted entry sharing a rename destination must validate the same own digest,
-  // or the shared-destination snapshot is contradictory and the obligation fails closed.
-  const validatedDestinationDigestMap = new Map();
-  // #342 P3: a rename destination whose own-digest read throws or returns an unusable value is
-  // still a visited snapshot. Its captured ('') value is recorded here so the ordinary capture
-  // and the audit identity never re-read that destination entry: the single metadata read stays
-  // the only digest read for that declaring entry, and a stateful getter cannot ship a later
-  // non-empty value into the audit key even though its entry was rejected. A poisoned
-  // destination is honored inside the metadata loop (a later declaring entry fails closed
-  // without reading it) and keeps precedence over a previously seeded successful snapshot;
-  // multiple accepted entries still read the destination once each by design, because their
-  // agreement check detects shared-destination contradictions.
-  const failedDestinationDigests = new Map();
-  // #340 P2(r4320818749): the validated per-path baseline digest is captured once during
-  // metadata validation. The audit mirror, the stale-baseline diagnostics, and baselineBound()
-  // reuse that captured value instead of re-reading the caller map, so a stateful own getter
-  // cannot pass evidence against a value it started returning only after validation, and a
-  // later-throwing read cannot escape the checker.
-  const validatedBaselineDigests = new Map();
+  const obligationCapture = capture.beginObligation(applicability);
+  const baselineArtifactsAvailable = obligationCapture.prepareBaselineContainer();
   let baselineMetadataError = false;
   let candidateInventoryUnknown = false;
   // #335 P3: a candidate inventory can pass the prototype check and still throw from an
@@ -245,7 +164,7 @@ function evaluateObligation(obligation, context) {
         baselineMetadataDiagnostic('baseline-identity-missing', undefined,
           'baselinePaths are declared but the baseline carries no whole-baseline digest; baseline-bound evidence cannot be trusted');
       }
-      if (!baselineArtifactsMap) {
+      if (!baselineArtifactsAvailable) {
         baselineMetadataDiagnostic('baseline-artifacts-missing', undefined,
           'baselinePaths are declared but the baseline carries no artifacts map; per-path baseline digests are unavailable');
       }
@@ -253,35 +172,20 @@ function evaluateObligation(obligation, context) {
       for (const rawEntry of declaredBaselinePaths) {
         const invalid = (path, reason) => baselineMetadataDiagnostic('baseline-path-invalid', path,
           `baselinePaths entry ${path ? JSON.stringify(path) : '(malformed)'} is invalid: ${reason}; the path fails closed`);
-        if (!isPlainObject(rawEntry)) {
+        const entryCapture = obligationCapture.captureEntry(rawEntry);
+        if (entryCapture.kind === 'not-object') {
           invalid(undefined, 'it is not an object with a non-empty path');
           continue;
         }
-        // #340: entry fields are snapshotted through one guarded inspection. A Proxy entry
-        // whose `path`, `reason`, or `renameTo` getter or descriptor trap throws must not
-        // escape the checker; the inspection failure itself fails the entry closed as a
-        // metadata error, and each field is carried exactly once so a stateful accessor
-        // cannot make validation and capture disagree.
-        let snapshot = null;
-        try {
-          snapshot = {
-            path: rawEntry.path,
-            reason: rawEntry.reason,
-            hasOwnRenameTo: Object.prototype.hasOwnProperty.call(rawEntry, 'renameTo'),
-            renameTo: rawEntry.renameTo
-          };
-        } catch {
-          snapshot = null;
-        }
-        if (!snapshot) {
+        if (entryCapture.kind === 'inspection-failed') {
           invalid(undefined, 'its entry fields could not be inspected safely (a getter or descriptor trap threw); the entry fails closed');
           continue;
         }
-        if (!nonEmptyString(snapshot.path)) {
+        if (!nonEmptyString(entryCapture.path)) {
           invalid(undefined, 'it is not an object with a non-empty path');
           continue;
         }
-        const entryPath = snapshot.path;
+        const entryPath = entryCapture.path;
         if (seen.has(entryPath)) {
           invalid(entryPath, 'the same path is declared more than once');
           continue;
@@ -291,12 +195,12 @@ function evaluateObligation(obligation, context) {
           invalid(entryPath, 'it is not a member of scope.paths');
           continue;
         }
-        const entryReason = snapshot.reason;
+        const entryReason = entryCapture.reason;
         if (entryReason !== 'deleted' && entryReason !== 'rename-from') {
-          invalid(entryPath, `reason ${JSON.stringify(entryReason)} is not deleted or rename-from`);
+          invalid(entryPath, `reason ${obligationCapture.formatInvalidReason(entryCapture.token)} is not deleted or rename-from`);
           continue;
         }
-        if (entryReason === 'deleted' && snapshot.hasOwnRenameTo) {
+        if (entryReason === 'deleted' && entryCapture.hasOwnRenameTo) {
           invalid(entryPath, 'a deleted entry must not carry renameTo');
           continue;
         }
@@ -306,13 +210,13 @@ function evaluateObligation(obligation, context) {
         if (entryReason === 'rename-from') {
           // #340: the destination annotation is snapshotted once; a stateful getter cannot
           // make the two validation reads disagree.
-          const entryRenameTo = snapshot.renameTo;
+          const entryRenameTo = entryCapture.renameTo;
           if (!nonEmptyString(entryRenameTo) || entryRenameTo === entryPath) {
             invalid(entryPath, 'a rename-from entry needs a distinct non-empty renameTo');
             continue;
           }
           if (!scopePaths.includes(entryRenameTo)) {
-            invalid(entryPath, `its rename destination ${JSON.stringify(entryRenameTo)} is not a member of scope.paths`);
+            invalid(entryPath, `its rename destination ${obligationCapture.formatInvalidRenameTo(entryCapture.token)} is not a member of scope.paths`);
             continue;
           }
           // #340: destination candidate inspection stays applicability-gated. N/A and unknown
@@ -326,52 +230,41 @@ function evaluateObligation(obligation, context) {
             // honored inside the metadata loop; the failed visited snapshot is never read again
             // and this entry fails closed with it, so a stateful getter's later successful
             // value cannot repair a shared destination or enter the audit.
-            if (failedDestinationDigests.has(entryRenameTo)) {
-              invalid(entryPath, `its rename destination ${JSON.stringify(entryRenameTo)} failed an earlier snapshot validation for this obligation; the failed destination is not read again and this entry fails closed with it`);
+            if (obligationCapture.isDestinationPoisoned(entryRenameTo)) {
+              invalid(entryPath, `its rename destination ${obligationCapture.formatInvalidRenameTo(entryCapture.token)} failed an earlier snapshot validation for this obligation; the failed destination is not read again and this entry fails closed with it`);
               continue;
             }
-            let destinationDigest = '';
-            try {
-              if (hasOwnEntry(artifactMap, entryRenameTo)) {
-                // P2(r4321077631): read the destination's own digest exactly once; the captured
-                // value is the one validated below and the one that flows to the metadata cache,
-                // binding, the stale diagnostics, and the audit identity. A stateful destination
-                // getter cannot be validated as B while a record carrying only its later C passes.
-                destinationDigest = ownDigestOnce(artifactMap[entryRenameTo]);
-              }
-            } catch {
+            const destinationCapture = obligationCapture.captureDestination(entryCapture.token, entryRenameTo);
+            if (destinationCapture.kind === 'inspection-failed') {
               candidateInventoryInspectionFailed = true;
               // #342 P3: the destination is a visited snapshot even when its digest read threw;
               // record it so the capture and audit lanes never re-read it.
-              failedDestinationDigests.set(entryRenameTo, '');
+              obligationCapture.poisonDestination(entryRenameTo);
               continue;
             }
             // #340: the captured own value must be a usable non-empty string; an unusable result
             // is not carried or seeded.
-            if (!nonEmptyString(destinationDigest)) {
-              invalid(entryPath, `its rename destination ${JSON.stringify(entryRenameTo)} has no candidate artifact`);
+            if (destinationCapture.kind === 'unusable') {
+              invalid(entryPath, `its rename destination ${obligationCapture.formatInvalidRenameTo(entryCapture.token)} has no candidate artifact`);
               // #342 P3: the destination is a visited snapshot even when its own digest is
               // unusable; record it so the capture and audit lanes never re-read it and cannot
               // describe a stateful getter's later non-empty value.
-              failedDestinationDigests.set(entryRenameTo, '');
+              obligationCapture.poisonDestination(entryRenameTo);
               continue;
             }
             // #340: entries that share one rename destination must agree on the validated own
             // digest. A conflicting validated value is a contradictory snapshot and fails the
             // whole obligation closed before any binding; equal values are allowed.
-            const sharedDestinationDigest = validatedDestinationDigestMap.get(entryRenameTo);
-            if (sharedDestinationDigest === undefined) {
-              validatedDestinationDigestMap.set(entryRenameTo, destinationDigest);
-            } else if (sharedDestinationDigest !== destinationDigest) {
-              invalid(entryPath, `its rename destination ${JSON.stringify(entryRenameTo)} was validated to conflicting own digests by another accepted baseline entry; the shared destination snapshot is not consistent`);
+            if (destinationCapture.kind === 'conflict') {
+              invalid(entryPath, `its rename destination ${obligationCapture.formatInvalidRenameTo(entryCapture.token)} was validated to conflicting own digests by another accepted baseline entry; the shared destination snapshot is not consistent`);
               continue;
             }
-            renameDestinationDigest = destinationDigest;
+            renameDestinationDigest = destinationCapture.digest;
           }
         }
         let candidatePathPresent = false;
         try {
-          candidatePathPresent = hasOwnEntry(artifactMap, entryPath);
+          candidatePathPresent = obligationCapture.captureSourceAbsence(entryCapture.token, entryPath).kind === 'present';
         } catch {
           candidateInventoryInspectionFailed = true;
           continue;
@@ -381,71 +274,59 @@ function evaluateObligation(obligation, context) {
             `baseline path ${entryPath} is declared baseline-only but the candidate artifact map has an entry for it (own key, regardless of digest validity); the contradictory path state fails closed`);
           continue;
         }
-        if (baselineArtifactsMap) {
-          let trusted;
-          try {
-            trusted = hasOwnEntry(baselineArtifactsMap, entryPath) ? baselineArtifactsMap[entryPath] : undefined;
-          } catch {
+        let trustedBaselineDigest;
+        if (baselineArtifactsAvailable) {
+          const baselinePathRead = obligationCapture.captureBaselinePath(entryPath);
+          if (baselinePathRead.kind === 'unknown') {
             // #340 P2: a throwing baseline inspection is a metadata error, never an escape.
             baselineMetadataDiagnostic('baseline-artifact-invalid', entryPath,
               `the baseline digest for ${entryPath} could not be inspected safely (a getter or descriptor trap threw); the path fails closed`);
             continue;
           }
-          if (trusted === undefined) {
+          if (baselinePathRead.kind === 'absent' || baselinePathRead.value === undefined) {
             baselineMetadataDiagnostic('baseline-artifact-missing', entryPath,
               `the baseline carries no per-path digest for declared baseline path ${entryPath}; the path fails closed`);
             continue;
           }
-          if (!isSha256(trusted)) {
+          if (baselinePathRead.invalidValue || !isSha256(baselinePathRead.value)) {
             baselineMetadataDiagnostic('baseline-artifact-invalid', entryPath,
               `the baseline digest for ${entryPath} is not a SHA256 value; the path fails closed`);
             continue;
           }
-          validatedBaselineDigests.set(entryPath, trusted);
+          trustedBaselineDigest = baselinePathRead.value;
         }
-        baselineEntries.set(entryPath, {
+        obligationCapture.acceptBaselineEntry({
+          entryToken: entryCapture.token,
           path: entryPath,
           reason: entryReason,
-          // #340: the metadata check above confirmed this path has no own-key candidate entry;
-          // carry that validated source-absence proof explicitly (never spread from rawEntry) so
-          // binding and the audit identity reuse it instead of re-inspecting the candidate map.
-          candidatePathPresent: false,
           // #340 P2: carry the exact validated SHA256 so binding never re-reads the
           // caller-owned baseline map.
-          trustedBaselineDigest: validatedBaselineDigests.get(entryPath),
-          ...(entryReason === 'rename-from' ? { renameTo: snapshot.renameTo, renameDestinationDigest } : {})
+          trustedBaselineDigest,
+          ...(entryReason === 'rename-from' ? { renameTo: entryCapture.renameTo, renameDestinationDigest } : {})
         });
       }
     }
   }
 
+  // These are fresh detached views from the obligation capture. The evaluator keeps its existing
+  // lookup shape while no raw entry or baseline map escapes the capture module.
+  const baselineEntries = new Map(obligationCapture.baselineEntries().map(entry => [entry.path, entry]));
+  const validatedBaselineDigests = new Map(obligationCapture.baselineAuditPairs());
+
   // #335 P3: a mixed scope combines baseline-only paths with ordinary candidate paths. Capture
   // every ordinary scoped candidate digest before evidence binding, so a throwing accessor in
   // the legacy candidate lane fails the inventory closed instead of aborting the obligation.
-  const candidateDigestCache = new Map();
   if (applicability === 'applicable' && Array.isArray(declaredBaselinePaths)
     && declaredBaselinePaths.length > 0) {
     // #340: a rename destination was already validated as an own-key candidate entry carrying
-    // its own digest during metadata. Seed the captured snapshot from that validated value and
-    // never read the destination through the raw candidate map again, so a destination accessor
-    // that throws or changes after validation cannot make capture/binding/audit disagree. The
-    // seeded value is the validated own digest, never a caller-asserted rawEntry field. A
-    // rejected destination is still visited: its failed capture (see failedDestinationDigests)
-    // suppresses the ordinary read below, so no destination entry is ever read twice.
-    for (const entry of baselineEntries.values()) {
-      if (entry.reason === 'rename-from' && nonEmptyString(entry.renameDestinationDigest)
-        && !candidateDigestCache.has(entry.renameTo)) {
-        candidateDigestCache.set(entry.renameTo, entry.renameDestinationDigest);
-      }
-    }
-    for (const path of scopePaths) {
-      if (baselineEntries.has(path) || candidateDigestCache.has(path)
-        || failedDestinationDigests.has(path)) continue;
-      try {
-        candidateDigestCache.set(path, artifact(artifactMap[path]));
-      } catch {
-        candidateInventoryInspectionFailed = true;
-      }
+    // its own digest during metadata. The capture closure seeds the R6 snapshot from that
+    // validated value and never reads the destination through the raw candidate map again, so a
+    // destination accessor that throws or changes after validation cannot make capture/binding/
+    // audit disagree. The seeded value is the validated own digest, never a caller-asserted
+    // rawEntry field. A rejected destination's poisoned state suppresses the ordinary read, so no
+    // destination entry is ever read twice.
+    if (obligationCapture.captureOrdinaryCandidates(scopePaths)) {
+      candidateInventoryInspectionFailed = true;
     }
   }
 
@@ -455,7 +336,7 @@ function evaluateObligation(obligation, context) {
   // The prototype read happens here, not up front, so unrelated obligations never touch it.
   if (applicability === 'applicable' && Array.isArray(declaredBaselinePaths)
     && declaredBaselinePaths.length > 0
-    && (candidateInventoryInspectionFailed || !isCandidateInventoryKnown())) {
+    && (candidateInventoryInspectionFailed || !capture.candidateInventoryKnown())) {
     candidateInventoryUnknown = true;
     diagnostics.push({
       code: 'candidate-artifacts-invalid',
@@ -477,30 +358,13 @@ function evaluateObligation(obligation, context) {
 
   // An uninspectable candidate entry must not abort an N/A or unknown obligation while the
   // audit key is built; the baseline-bound lanes fail closed through the inventory diagnostic.
-  // When a baseline-annotated obligation captured the ordinary candidate digests before binding
-  // (candidateDigestCache), the audit identity and stale diagnostics use that same snapshot, so a
-  // nested digest accessor that only later throws or changes can never make the audit key or the
-  // stale verdict disagree with the digest that actually bound evidence. Untouched paths and
-  // unannotated callers keep the legacy read.
-  const candidateDigestOf = (path) => {
-    // #342 P3: poisoned state takes precedence over the capture cache. A rejected rename
-    // destination keeps its visited '' capture even when an earlier accepted entry seeded a
-    // successful value, so the audit never describes a value the getter shipped after a failed
-    // snapshot made the obligation fail closed; the caller map is never read for it again.
-    if (failedDestinationDigests.has(path)) return '';
-    if (candidateDigestCache.has(path)) return candidateDigestCache.get(path);
-    // #340: only an applicable baseline-annotated obligation validated the source absence as
-    // part of its captured snapshot. `N/A` and `unknown` obligations never bind evidence, so they
-    // keep the legacy candidate read for their audit identity and stay `outcome: 'none'`.
-    if (applicability === 'applicable' && baselineEntries.has(path)) return '';
-    try {
-      return artifact(artifactMap[path]);
-    } catch {
-      return '';
-    }
-  };
+  // When a baseline-annotated obligation captured ordinary candidate digests before binding, the
+  // capture closure reuses those values for audit identity and stale diagnostics, so a nested
+  // digest accessor that only later throws or changes cannot make the audit key or stale verdict
+  // disagree with the digest that actually bound evidence. Untouched paths and unannotated
+  // callers keep the legacy read.
   const artifactDigestKey = scopePaths.length
-    ? scopePaths.map(path => `${path}=${candidateDigestOf(path) || 'missing'}`).join('|')
+    ? scopePaths.map(path => `${path}=${obligationCapture.candidateAuditValue(path)}`).join('|')
     : (baselineDigest || 'no-scope-paths');
   const baseDigestKey = baselineDigest || 'no-baseline';
   const result = (observation, outcome, provenance, recordRefs) => ({
@@ -523,21 +387,7 @@ function evaluateObligation(obligation, context) {
   }
 
   const matching = [...executionList, ...reviewList].filter(item => item.obligationId === obligationId);
-  const candidateBound = (item, path) => {
-    if (!nonEmptyString(item.baseDigest) || item.baseDigest !== baselineDigest) return false;
-    if (!isPlainObject(item.artifactDigests)) return false;
-    if (candidateDigestCache.has(path)) {
-      // Baseline-annotated obligations use the digest captured before binding, so a mixed
-      // delete+edit scope never re-reads a throwing accessor from the legacy lane.
-      const digest = candidateDigestCache.get(path);
-      return digest.length > 0
-        && item.artifactDigests[path] === digest
-        && Array.isArray(item.paths) && item.paths.includes(path);
-    }
-    return artifact(artifactMap[path]).length > 0
-      && item.artifactDigests[path] === artifactMap[path].digest
-      && Array.isArray(item.paths) && item.paths.includes(path);
-  };
+  const candidateBound = (item, path) => obligationCapture.compatibilityCandidateBound(item, path, baselineDigest);
 
   // A baseline-only path is satisfied only by a record bound to the trusted baseline digest.
   // A rename-from path additionally needs the same single record to carry the current
@@ -571,9 +421,9 @@ function evaluateObligation(obligation, context) {
       // destination to be an own-key candidate inventory entry carrying its own digest
       // (ownDigestOnce), so a non-empty captured digest is required here and the accessor is
       // never re-read; a missing destination skips capture and lands on this guard.
-      const capturedDestination = candidateDigestCache.get(entry.renameTo);
-      if (!nonEmptyString(capturedDestination)) return false;
-      if (item.artifactDigests[entry.renameTo] !== capturedDestination) return false;
+      const capturedDestination = obligationCapture.capturedCandidate(entry.renameTo);
+      if (capturedDestination.kind !== 'captured' || !nonEmptyString(capturedDestination.digest)) return false;
+      if (item.artifactDigests[entry.renameTo] !== capturedDestination.digest) return false;
     }
     return true;
   };
@@ -603,8 +453,7 @@ function evaluateObligation(obligation, context) {
       continue;
     }
     if (Array.isArray(item.paths) && isPlainObject(item.artifactDigests)) {
-      const mismatch = item.paths.find(path => candidateDigestOf(path).length > 0
-        && nonEmptyString(item.artifactDigests[path]) && item.artifactDigests[path] !== candidateDigestOf(path));
+      const mismatch = item.paths.find(path => obligationCapture.compatibilityStaleArtifactMismatch(item, path));
       if (mismatch) {
         diagnostics.push({
           code: 'stale-artifact-digest',
@@ -881,7 +730,7 @@ function evaluateObligation(obligation, context) {
       && envelope.complete === true
       && envelope.waiverInventoryComplete === true
       && nonEmptyString(envelope.baseDigest) && envelope.baseDigest === baselineDigest
-      && nonEmptyString(envelope.candidateDigest) && envelope.candidateDigest === prdSetDigest(artifactMap)
+      && nonEmptyString(envelope.candidateDigest) && envelope.candidateDigest === capture.compatibilityPrdSetDigest()
       && nonEmptyString(envelope.configDigest);
     // Q2 (§11): the absence fail is per cited REQ. A REQ that is neither revised in this
     // change nor covered by a valid waiver that lists it (T3 per-REQ coverage; a waiver

package/sbom.cdx.json

@@ -2,23 +2,23 @@
   "$schema": "https://cyclonedx.org/schema/bom-1.7.schema.json",
   "bomFormat": "CycloneDX",
   "specVersion": "1.7",
-  "serialNumber": "urn:uuid:f2d00cc7-b0ba-5fb7-aa66-45210b7b3234",
+  "serialNumber": "urn:uuid:8cda3c47-e4ef-58aa-b9a5-4b6cfd80f466",
   "version": 1,
   "metadata": {
-    "timestamp": "2026-10-20T14:22:39.675Z",
+    "timestamp": "2026-10-21T04:48:52.670Z",
     "tools": [
       {
         "vendor": "Harness Everything",
         "name": "generate-sbom.js",
-        "version": "0.36.3"
+        "version": "0.36.4"
       }
     ],
     "component": {
       "type": "application",
-      "bom-ref": "pkg:npm/harness-everything@0.36.3",
+      "bom-ref": "pkg:npm/harness-everything@0.36.4",
       "name": "harness-everything",
-      "version": "0.36.3",
-      "purl": "pkg:npm/harness-everything@0.36.3"
+      "version": "0.36.4",
+      "purl": "pkg:npm/harness-everything@0.36.4"
     }
   },
   "components": [
@@ -596,6 +596,34 @@
         }
       ]
     },
+    {
+      "type": "library",
+      "bom-ref": "pkg:npm/acorn-walk@8.3.5",
+      "name": "acorn-walk",
+      "version": "8.3.5",
+      "scope": "excluded",
+      "purl": "pkg:npm/acorn-walk@8.3.5",
+      "hashes": [
+        {
+          "alg": "SHA-512",
+          "content": "HEHNfbars9v4pgpW6SO1KSPkfoS0xVOM/9UzkJltjlsHZmJasxg8aXkuZa7SMf8vKGIBhpUsPluQSqhJFCqebw=="
+        }
+      ]
+    },
+    {
+      "type": "library",
+      "bom-ref": "pkg:npm/acorn@8.19.0",
+      "name": "acorn",
+      "version": "8.19.0",
+      "scope": "excluded",
+      "purl": "pkg:npm/acorn@8.19.0",
+      "hashes": [
+        {
+          "alg": "SHA-512",
+          "content": "oJlA3XiRm7Cyk6qFD2Jn8ak9B7jSy0qy00ADO3+8dpT0LSjFihQYv4C02LFCSYJV3Q37xYwwRy5m+IpIiUzqWw=="
+        }
+      ]
+    },
     {
       "type": "library",
       "bom-ref": "pkg:npm/ajv@8.20.0",
@@ -1892,6 +1920,12 @@
         "pkg:npm/undici-types@8.3.0"
       ]
     },
+    {
+      "ref": "pkg:npm/acorn-walk@8.3.5",
+      "dependsOn": [
+        "pkg:npm/acorn@8.19.0"
+      ]
+    },
     {
       "ref": "pkg:npm/ajv@8.20.0",
       "dependsOn": [
@@ -1999,10 +2033,12 @@
       ]
     },
     {
-      "ref": "pkg:npm/harness-everything@0.36.3",
+      "ref": "pkg:npm/harness-everything@0.36.4",
       "dependsOn": [
         "pkg:npm/%40commitlint/cli@19.8.1",
         "pkg:npm/%40commitlint/config-conventional@19.8.1",
+        "pkg:npm/acorn-walk@8.3.5",
+        "pkg:npm/acorn@8.19.0",
         "pkg:npm/husky@9.1.7",
         "pkg:npm/js-yaml@5.4.1"
       ]