@ttsc/unplugin 0.31.0 → 0.31.2

package/lib/core/transform/validation/nativeInputPredicatesHold.d.ts

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform";
+import type { TtscGenerationProof } from "./TtscGenerationProof";
 /**
  * Validate every generation-owned native config predicate before cache reuse.
  * This check also applies when notification/epoch shortcuts admit other inputs.
@@ -10,8 +11,8 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Metadata and notification shortcuts cannot omit typed config predicates or repair an unstable producer witness.
  * @evidence contracts/common.md#meaningful-documentation The comment identifies generation ownership and the admission shortcuts that must retain this gate.
  * @evidence contracts/portability.md#os-neutral-implementation Relative names are resolved against the recorded project with the filesystem view's path dialect; native identity and encoding belong to the replay operation.
- * @evidence contracts/performance.md#efficient-algorithms The initial observation scan detects whether native replay is required without resolving a root or performing filesystem queries. Nonempty populations add a second linear traversal plus native replay and path-byte costs, stopping at the first refusal; empty and legacy-only populations require no replay context.
- * @evidenceExclude contracts/performance.md#reuse-equivalent-work This admission gate stores no separate cache and checks the recorded generation supplied by its caller.
- * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Per-call enumeration owns no handle or watcher; the cached envelope owns retained predicates.
+ * @evidence contracts/performance.md#efficient-algorithms Immutable observation membership is indexed once, including an empty population. Each new synchronous admission replays only indexed native predicates and stops at the first refusal; nested validators share its verdict without another scan or native query. Empty populations require no native replay context.
+ * @evidence contracts/performance.md#reuse-equivalent-work A weak observation index shares immutable membership. Current verdicts belong only to an exact-owner synchronous transaction, never the next delivery or an await.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The weak index follows immutable observation lifetime; synchronous verdicts and native queries acquire no handle or history.
  */
-export declare function nativeInputPredicatesHold(cached: TtscCachedProjectTransform): boolean;
+export declare function nativeInputPredicatesHold(cached: TtscCachedProjectTransform, proof?: TtscGenerationProof.Transaction): boolean;

package/lib/core/transform/validation/nativeInputPredicatesHold.js

@@ -5,6 +5,10 @@ var resultFilesystem = require('../cache/resultFilesystem.js');
 var envelopeDerivation = require('../envelope/envelopeDerivation.js');
 var nativeInputPredicateMatches = require('../inputs/nativeInputPredicateMatches.js');
 
+// Weakly owned by immutable observation membership, never by current verdict.
+// Keeping this separate from native path derivation also preserves the empty
+// predicate gate's promise to perform no native identity observations.
+const predicateInputs = new WeakMap();
 /**
  * Validate every generation-owned native config predicate before cache reuse.
  * This check also applies when notification/epoch shortcuts admit other inputs.
@@ -16,29 +20,44 @@ var nativeInputPredicateMatches = require('../inputs/nativeInputPredicateMatches
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Metadata and notification shortcuts cannot omit typed config predicates or repair an unstable producer witness.
  * @evidence contracts/common.md#meaningful-documentation The comment identifies generation ownership and the admission shortcuts that must retain this gate.
  * @evidence contracts/portability.md#os-neutral-implementation Relative names are resolved against the recorded project with the filesystem view's path dialect; native identity and encoding belong to the replay operation.
- * @evidence contracts/performance.md#efficient-algorithms The initial observation scan detects whether native replay is required without resolving a root or performing filesystem queries. Nonempty populations add a second linear traversal plus native replay and path-byte costs, stopping at the first refusal; empty and legacy-only populations require no replay context.
- * @evidenceExclude contracts/performance.md#reuse-equivalent-work This admission gate stores no separate cache and checks the recorded generation supplied by its caller.
- * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Per-call enumeration owns no handle or watcher; the cached envelope owns retained predicates.
+ * @evidence contracts/performance.md#efficient-algorithms Immutable observation membership is indexed once, including an empty population. Each new synchronous admission replays only indexed native predicates and stops at the first refusal; nested validators share its verdict without another scan or native query. Empty populations require no native replay context.
+ * @evidence contracts/performance.md#reuse-equivalent-work A weak observation index shares immutable membership. Current verdicts belong only to an exact-owner synchronous transaction, never the next delivery or an await.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The weak index follows immutable observation lifetime; synchronous verdicts and native queries acquire no handle or history.
  */
-function nativeInputPredicatesHold(cached) {
+function nativeInputPredicatesHold(cached, proof) {
     if (cached.result.type === "exception")
         return false;
-    const observations = cached.result.graph?.inputObservations ?? {};
-    if (!Object.values(observations).some((observation) => (observation.nativePredicates?.length ?? 0) !== 0))
-        return true;
+    if (proof?.cached === cached && proof.nativePredicates !== undefined)
+        return proof.nativePredicates;
+    // Membership is immutable generation data. A positive native verdict is
+    // current observation: share it only with nested synchronous validators,
+    // never the next delivery, pass or await (#1714).
+    const finish = (matches) => {
+        if (proof?.cached === cached)
+            proof.nativePredicates = matches;
+        return matches;
+    };
+    const observations = cached.result.graph?.inputObservations;
+    if (observations === undefined)
+        return finish(true);
+    let inputs = predicateInputs.get(observations);
+    if (inputs === undefined) {
+        inputs = Object.entries(observations).filter(([, observation]) => (observation.nativePredicates?.length ?? 0) !== 0);
+        predicateInputs.set(observations, inputs);
+    }
+    if (inputs.length === 0)
+        return finish(true);
     const filesystem = resultFilesystem.resultFilesystem(cached.result);
     const identities = envelopeDerivation.envelopeDerivation(cached).identityContext;
-    for (const [name, observation] of Object.entries(observations)) {
-        if ((observation.nativePredicates?.length ?? 0) === 0)
-            continue;
+    for (const [name, observation] of inputs) {
         const file = ((filesystem.platform ?? process.platform) === "win32"
             ? path.win32
             : path.posix).resolve(cached.projectRoot, name);
         for (const predicate of observation.nativePredicates ?? [])
             if (!nativeInputPredicateMatches.nativeInputPredicateMatches(file, predicate, filesystem, identities))
-                return false;
+                return finish(false);
     }
-    return true;
+    return finish(true);
 }
 
 exports.nativeInputPredicatesHold = nativeInputPredicatesHold;

package/lib/core/transform/validation/nativeInputPredicatesHold.js.map

@@ -1 +1 @@
-{"version":3,"file":"nativeInputPredicatesHold.js","sources":["../../../../src/core/transform/validation/nativeInputPredicatesHold.ts"],"sourcesContent":[null],"names":["resultFilesystem","envelopeDerivation","nativeInputPredicateMatches"],"mappings":";;;;;;;AAOA;;;;;;;;;;;;;;AAcG;AACG,SAAU,yBAAyB,CACvC,MAAkC,EAAA;AAElC,IAAA,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;AAAE,QAAA,OAAO,KAAK;IACpD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,IAAI,EAAE;IACjE,IACE,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAC/B,CAAC,WAAW,KAAK,CAAC,WAAW,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,CACnE;AAED,QAAA,OAAO,IAAI;IACb,MAAM,UAAU,GAAGA,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,MAAM,UAAU,GAAGC,qCAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;AAC7D,IAAA,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;QAC9D,IAAI,CAAC,WAAW,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC;YAAE;AACvD,QAAA,MAAM,IAAI,GAAG,CACX,CAAC,UAAU,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,MAAM;cAC1C,IAAI,CAAC;AACP,cAAE,IAAI,CAAC,KAAK,EACd,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;AACnC,QAAA,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,gBAAgB,IAAI,EAAE;YACxD,IAAI,CAACC,uDAA2B,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC;AACvE,gBAAA,OAAO,KAAK;IAClB;AACA,IAAA,OAAO,IAAI;AACb;;;;"}
+{"version":3,"file":"nativeInputPredicatesHold.js","sources":["../../../../src/core/transform/validation/nativeInputPredicatesHold.ts"],"sourcesContent":[null],"names":["resultFilesystem","envelopeDerivation","nativeInputPredicateMatches"],"mappings":";;;;;;;AASA;AACA;AACA;AACA,MAAM,eAAe,GAAG,IAAI,OAAO,EAGhC;AAEH;;;;;;;;;;;;;;AAcG;AACG,SAAU,yBAAyB,CACvC,MAAkC,EAClC,KAAuC,EAAA;AAEvC,IAAA,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;AAAE,QAAA,OAAO,KAAK;IACpD,IAAI,KAAK,EAAE,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS;QAClE,OAAO,KAAK,CAAC,gBAAgB;;;;AAI/B,IAAA,MAAM,MAAM,GAAG,CAAC,OAAgB,KAAa;AAC3C,QAAA,IAAI,KAAK,EAAE,MAAM,KAAK,MAAM;AAAE,YAAA,KAAK,CAAC,gBAAgB,GAAG,OAAO;AAC9D,QAAA,OAAO,OAAO;AAChB,IAAA,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB;IAC3D,IAAI,YAAY,KAAK,SAAS;AAAE,QAAA,OAAO,MAAM,CAAC,IAAI,CAAC;IACnD,IAAI,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC;AAC9C,IAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,QAAA,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,MAAM,CAC1C,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,CACvE;AACD,QAAA,eAAe,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC;IAC3C;AACA,IAAA,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;AAAE,QAAA,OAAO,MAAM,CAAC,IAAI,CAAC;IAC5C,MAAM,UAAU,GAAGA,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,MAAM,UAAU,GAAGC,qCAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;IAC7D,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,EAAE;AACxC,QAAA,MAAM,IAAI,GAAG,CACX,CAAC,UAAU,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,MAAM;cAC1C,IAAI,CAAC;AACP,cAAE,IAAI,CAAC,KAAK,EACd,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;AACnC,QAAA,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,gBAAgB,IAAI,EAAE;YACxD,IAAI,CAACC,uDAA2B,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC;AACvE,gBAAA,OAAO,MAAM,CAAC,KAAK,CAAC;IAC1B;AACA,IAAA,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB;;;;"}

package/lib/core/transform/validation/nativeInputPredicatesHold.mjs

@@ -3,6 +3,10 @@ import { resultFilesystem } from '../cache/resultFilesystem.mjs';
 import { envelopeDerivation } from '../envelope/envelopeDerivation.mjs';
 import { nativeInputPredicateMatches } from '../inputs/nativeInputPredicateMatches.mjs';
 
+// Weakly owned by immutable observation membership, never by current verdict.
+// Keeping this separate from native path derivation also preserves the empty
+// predicate gate's promise to perform no native identity observations.
+const predicateInputs = new WeakMap();
 /**
  * Validate every generation-owned native config predicate before cache reuse.
  * This check also applies when notification/epoch shortcuts admit other inputs.
@@ -14,29 +18,44 @@ import { nativeInputPredicateMatches } from '../inputs/nativeInputPredicateMatch
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Metadata and notification shortcuts cannot omit typed config predicates or repair an unstable producer witness.
  * @evidence contracts/common.md#meaningful-documentation The comment identifies generation ownership and the admission shortcuts that must retain this gate.
  * @evidence contracts/portability.md#os-neutral-implementation Relative names are resolved against the recorded project with the filesystem view's path dialect; native identity and encoding belong to the replay operation.
- * @evidence contracts/performance.md#efficient-algorithms The initial observation scan detects whether native replay is required without resolving a root or performing filesystem queries. Nonempty populations add a second linear traversal plus native replay and path-byte costs, stopping at the first refusal; empty and legacy-only populations require no replay context.
- * @evidenceExclude contracts/performance.md#reuse-equivalent-work This admission gate stores no separate cache and checks the recorded generation supplied by its caller.
- * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Per-call enumeration owns no handle or watcher; the cached envelope owns retained predicates.
+ * @evidence contracts/performance.md#efficient-algorithms Immutable observation membership is indexed once, including an empty population. Each new synchronous admission replays only indexed native predicates and stops at the first refusal; nested validators share its verdict without another scan or native query. Empty populations require no native replay context.
+ * @evidence contracts/performance.md#reuse-equivalent-work A weak observation index shares immutable membership. Current verdicts belong only to an exact-owner synchronous transaction, never the next delivery or an await.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The weak index follows immutable observation lifetime; synchronous verdicts and native queries acquire no handle or history.
  */
-function nativeInputPredicatesHold(cached) {
+function nativeInputPredicatesHold(cached, proof) {
     if (cached.result.type === "exception")
         return false;
-    const observations = cached.result.graph?.inputObservations ?? {};
-    if (!Object.values(observations).some((observation) => (observation.nativePredicates?.length ?? 0) !== 0))
-        return true;
+    if (proof?.cached === cached && proof.nativePredicates !== undefined)
+        return proof.nativePredicates;
+    // Membership is immutable generation data. A positive native verdict is
+    // current observation: share it only with nested synchronous validators,
+    // never the next delivery, pass or await (#1714).
+    const finish = (matches) => {
+        if (proof?.cached === cached)
+            proof.nativePredicates = matches;
+        return matches;
+    };
+    const observations = cached.result.graph?.inputObservations;
+    if (observations === undefined)
+        return finish(true);
+    let inputs = predicateInputs.get(observations);
+    if (inputs === undefined) {
+        inputs = Object.entries(observations).filter(([, observation]) => (observation.nativePredicates?.length ?? 0) !== 0);
+        predicateInputs.set(observations, inputs);
+    }
+    if (inputs.length === 0)
+        return finish(true);
     const filesystem = resultFilesystem(cached.result);
     const identities = envelopeDerivation(cached).identityContext;
-    for (const [name, observation] of Object.entries(observations)) {
-        if ((observation.nativePredicates?.length ?? 0) === 0)
-            continue;
+    for (const [name, observation] of inputs) {
         const file = ((filesystem.platform ?? process.platform) === "win32"
             ? path.win32
             : path.posix).resolve(cached.projectRoot, name);
         for (const predicate of observation.nativePredicates ?? [])
             if (!nativeInputPredicateMatches(file, predicate, filesystem, identities))
-                return false;
+                return finish(false);
     }
-    return true;
+    return finish(true);
 }
 
 export { nativeInputPredicatesHold };

package/lib/core/transform/validation/nativeInputPredicatesHold.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"nativeInputPredicatesHold.mjs","sources":["../../../../src/core/transform/validation/nativeInputPredicatesHold.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;AAOA;;;;;;;;;;;;;;AAcG;AACG,SAAU,yBAAyB,CACvC,MAAkC,EAAA;AAElC,IAAA,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;AAAE,QAAA,OAAO,KAAK;IACpD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,IAAI,EAAE;IACjE,IACE,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAC/B,CAAC,WAAW,KAAK,CAAC,WAAW,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,CACnE;AAED,QAAA,OAAO,IAAI;IACb,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;AAC7D,IAAA,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;QAC9D,IAAI,CAAC,WAAW,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC;YAAE;AACvD,QAAA,MAAM,IAAI,GAAG,CACX,CAAC,UAAU,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,MAAM;cAC1C,IAAI,CAAC;AACP,cAAE,IAAI,CAAC,KAAK,EACd,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;AACnC,QAAA,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,gBAAgB,IAAI,EAAE;YACxD,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC;AACvE,gBAAA,OAAO,KAAK;IAClB;AACA,IAAA,OAAO,IAAI;AACb;;;;"}
+{"version":3,"file":"nativeInputPredicatesHold.mjs","sources":["../../../../src/core/transform/validation/nativeInputPredicatesHold.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;AASA;AACA;AACA;AACA,MAAM,eAAe,GAAG,IAAI,OAAO,EAGhC;AAEH;;;;;;;;;;;;;;AAcG;AACG,SAAU,yBAAyB,CACvC,MAAkC,EAClC,KAAuC,EAAA;AAEvC,IAAA,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;AAAE,QAAA,OAAO,KAAK;IACpD,IAAI,KAAK,EAAE,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS;QAClE,OAAO,KAAK,CAAC,gBAAgB;;;;AAI/B,IAAA,MAAM,MAAM,GAAG,CAAC,OAAgB,KAAa;AAC3C,QAAA,IAAI,KAAK,EAAE,MAAM,KAAK,MAAM;AAAE,YAAA,KAAK,CAAC,gBAAgB,GAAG,OAAO;AAC9D,QAAA,OAAO,OAAO;AAChB,IAAA,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB;IAC3D,IAAI,YAAY,KAAK,SAAS;AAAE,QAAA,OAAO,MAAM,CAAC,IAAI,CAAC;IACnD,IAAI,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC;AAC9C,IAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,QAAA,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,MAAM,CAC1C,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,CACvE;AACD,QAAA,eAAe,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC;IAC3C;AACA,IAAA,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;AAAE,QAAA,OAAO,MAAM,CAAC,IAAI,CAAC;IAC5C,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;IAC7D,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,EAAE;AACxC,QAAA,MAAM,IAAI,GAAG,CACX,CAAC,UAAU,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,MAAM;cAC1C,IAAI,CAAC;AACP,cAAE,IAAI,CAAC,KAAK,EACd,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;AACnC,QAAA,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,gBAAgB,IAAI,EAAE;YACxD,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC;AACvE,gBAAA,OAAO,MAAM,CAAC,KAAK,CAAC;IAC1B;AACA,IAAA,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB;;;;"}

package/lib/core/transform/validation/notificationsProveProgramUnchanged.d.cts

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.cjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.cjs";
 /**
  * Whether the generation's live notifications prove its program could not have
  * changed since capture (samchon/ttsc#1398).
@@ -34,4 +35,4 @@ export declare function notificationsProveProgramUnchanged(
  * Generation supplying live tracker state, compiler policy and universal
  * proof.
  */
-cached: TtscCachedProjectTransform): boolean;
+cached: TtscCachedProjectTransform, proof?: TtscGenerationProof.Transaction): boolean;

package/lib/core/transform/validation/notificationsProveProgramUnchanged.d.mts

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.mjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.mjs";
 /**
  * Whether the generation's live notifications prove its program could not have
  * changed since capture (samchon/ttsc#1398).
@@ -34,4 +35,4 @@ export declare function notificationsProveProgramUnchanged(
  * Generation supplying live tracker state, compiler policy and universal
  * proof.
  */
-cached: TtscCachedProjectTransform): boolean;
+cached: TtscCachedProjectTransform, proof?: TtscGenerationProof.Transaction): boolean;

package/lib/core/transform/validation/notificationsProveProgramUnchanged.d.ts

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform";
+import type { TtscGenerationProof } from "./TtscGenerationProof";
 /**
  * Whether the generation's live notifications prove its program could not have
  * changed since capture (samchon/ttsc#1398).
@@ -34,4 +35,4 @@ export declare function notificationsProveProgramUnchanged(
  * Generation supplying live tracker state, compiler policy and universal
  * proof.
  */
-cached: TtscCachedProjectTransform): boolean;
+cached: TtscCachedProjectTransform, proof?: TtscGenerationProof.Transaction): boolean;

package/lib/core/transform/validation/notificationsProveProgramUnchanged.js

@@ -42,7 +42,7 @@ function notificationsProveProgramUnchanged(
  * Generation supplying live tracker state, compiler policy and universal
  * proof.
  */
-cached) {
+cached, proof) {
     if (!notificationsProveMembership.notificationsProveMembership(cached))
         return false;
     for (const tracker of [
@@ -75,7 +75,7 @@ cached) {
     // stands for content only against a reference minted since any rollback, as
     // every other delivery proof mints before it reads.
     refreshFilesystemClockReference.refreshFilesystemClockReference(TRANSFORM_CLOCK_REFERENCE_DIRECTORIES.TRANSFORM_CLOCK_REFERENCE_DIRECTORIES.get(cached), resultFilesystem.resultFilesystem(cached.result));
-    return matchesUniversalHostInputs.matchesUniversalHostInputs(cached, cached.hostInputValidation);
+    return matchesUniversalHostInputs.matchesUniversalHostInputs(cached, cached.hostInputValidation, proof);
 }
 
 exports.notificationsProveProgramUnchanged = notificationsProveProgramUnchanged;

package/lib/core/transform/validation/notificationsProveProgramUnchanged.js.map

@@ -1 +1 @@
-{"version":3,"file":"notificationsProveProgramUnchanged.js","sources":["../../../../src/core/transform/validation/notificationsProveProgramUnchanged.ts"],"sourcesContent":[null],"names":["notificationsProveMembership","isProjectWalkPath","resultFilesystem","refreshFilesystemClockReference","TRANSFORM_CLOCK_REFERENCE_DIRECTORIES","matchesUniversalHostInputs"],"mappings":";;;;;;;;;AAQA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BG;SACa,kCAAkC;AAChD;;;AAGG;AACH,MAAkC,EAAA;AAElC,IAAA,IAAI,CAACA,yDAA4B,CAAC,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;IACvD,KAAK,MAAM,OAAO,IAAI;AACpB,QAAA,MAAM,CAAC,sBAAsB;AAC7B,QAAA,MAAM,CAAC,wBAAwB;AAC/B,QAAA,MAAM,CAAC,wBAAwB;AAChC,KAAA,EAAE;QACD,IAAI,OAAO,KAAK,SAAS;YAAE;AAC3B,QAAA,IACE,OAAO,CAAC,oBAAoB,KAAK,IAAI;AACrC,YAAA,OAAO,CAAC,iBAAiB;YACzB,OAAO,CAAC,cAAc,EACtB;AACA,YAAA,OAAO,KAAK;QACd;AACA,QAAA,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,OAAO,EAAE;;;;AAIrC,YAAA,IACE,OAAO,KAAK,MAAM,CAAC,sBAAsB;gBACzCC,mCAAiB,CACf,MAAM,CAAC,WAAW,EAClB,OAAO,EACP,SAAS,EACTC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,MAAM,CAAC,gBAAgB,CACxB,EACD;AACA,gBAAA,OAAO,KAAK;YACd;QACF;IACF;AACA,IAAA,IACE,MAAM,CAAC,sBAAsB,KAAK,SAAS;AAC3C,QAAA,MAAM,CAAC,mBAAmB,KAAK,SAAS,EACxC;AACA,QAAA,OAAO,KAAK;IACd;;;;AAIA,IAAAC,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDF,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;IACD,OAAOG,qDAA0B,CAAC,MAAM,EAAE,MAAM,CAAC,mBAAmB,CAAC;AACvE;;;;"}
+{"version":3,"file":"notificationsProveProgramUnchanged.js","sources":["../../../../src/core/transform/validation/notificationsProveProgramUnchanged.ts"],"sourcesContent":[null],"names":["notificationsProveMembership","isProjectWalkPath","resultFilesystem","refreshFilesystemClockReference","TRANSFORM_CLOCK_REFERENCE_DIRECTORIES","matchesUniversalHostInputs"],"mappings":";;;;;;;;;AASA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BG;SACa,kCAAkC;AAChD;;;AAGG;AACH,MAAkC,EAClC,KAAuC,EAAA;AAEvC,IAAA,IAAI,CAACA,yDAA4B,CAAC,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;IACvD,KAAK,MAAM,OAAO,IAAI;AACpB,QAAA,MAAM,CAAC,sBAAsB;AAC7B,QAAA,MAAM,CAAC,wBAAwB;AAC/B,QAAA,MAAM,CAAC,wBAAwB;AAChC,KAAA,EAAE;QACD,IAAI,OAAO,KAAK,SAAS;YAAE;AAC3B,QAAA,IACE,OAAO,CAAC,oBAAoB,KAAK,IAAI;AACrC,YAAA,OAAO,CAAC,iBAAiB;YACzB,OAAO,CAAC,cAAc,EACtB;AACA,YAAA,OAAO,KAAK;QACd;AACA,QAAA,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,OAAO,EAAE;;;;AAIrC,YAAA,IACE,OAAO,KAAK,MAAM,CAAC,sBAAsB;gBACzCC,mCAAiB,CACf,MAAM,CAAC,WAAW,EAClB,OAAO,EACP,SAAS,EACTC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,MAAM,CAAC,gBAAgB,CACxB,EACD;AACA,gBAAA,OAAO,KAAK;YACd;QACF;IACF;AACA,IAAA,IACE,MAAM,CAAC,sBAAsB,KAAK,SAAS;AAC3C,QAAA,MAAM,CAAC,mBAAmB,KAAK,SAAS,EACxC;AACA,QAAA,OAAO,KAAK;IACd;;;;AAIA,IAAAC,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDF,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;IACD,OAAOG,qDAA0B,CAAC,MAAM,EAAE,MAAM,CAAC,mBAAmB,EAAE,KAAK,CAAC;AAC9E;;;;"}

package/lib/core/transform/validation/notificationsProveProgramUnchanged.mjs

@@ -40,7 +40,7 @@ function notificationsProveProgramUnchanged(
  * Generation supplying live tracker state, compiler policy and universal
  * proof.
  */
-cached) {
+cached, proof) {
     if (!notificationsProveMembership(cached))
         return false;
     for (const tracker of [
@@ -73,7 +73,7 @@ cached) {
     // stands for content only against a reference minted since any rollback, as
     // every other delivery proof mints before it reads.
     refreshFilesystemClockReference(TRANSFORM_CLOCK_REFERENCE_DIRECTORIES.get(cached), resultFilesystem(cached.result));
-    return matchesUniversalHostInputs(cached, cached.hostInputValidation);
+    return matchesUniversalHostInputs(cached, cached.hostInputValidation, proof);
 }
 
 export { notificationsProveProgramUnchanged };

package/lib/core/transform/validation/notificationsProveProgramUnchanged.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"notificationsProveProgramUnchanged.mjs","sources":["../../../../src/core/transform/validation/notificationsProveProgramUnchanged.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;AAQA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BG;SACa,kCAAkC;AAChD;;;AAGG;AACH,MAAkC,EAAA;AAElC,IAAA,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;IACvD,KAAK,MAAM,OAAO,IAAI;AACpB,QAAA,MAAM,CAAC,sBAAsB;AAC7B,QAAA,MAAM,CAAC,wBAAwB;AAC/B,QAAA,MAAM,CAAC,wBAAwB;AAChC,KAAA,EAAE;QACD,IAAI,OAAO,KAAK,SAAS;YAAE;AAC3B,QAAA,IACE,OAAO,CAAC,oBAAoB,KAAK,IAAI;AACrC,YAAA,OAAO,CAAC,iBAAiB;YACzB,OAAO,CAAC,cAAc,EACtB;AACA,YAAA,OAAO,KAAK;QACd;AACA,QAAA,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,OAAO,EAAE;;;;AAIrC,YAAA,IACE,OAAO,KAAK,MAAM,CAAC,sBAAsB;gBACzC,iBAAiB,CACf,MAAM,CAAC,WAAW,EAClB,OAAO,EACP,SAAS,EACT,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,MAAM,CAAC,gBAAgB,CACxB,EACD;AACA,gBAAA,OAAO,KAAK;YACd;QACF;IACF;AACA,IAAA,IACE,MAAM,CAAC,sBAAsB,KAAK,SAAS;AAC3C,QAAA,MAAM,CAAC,mBAAmB,KAAK,SAAS,EACxC;AACA,QAAA,OAAO,KAAK;IACd;;;;AAIA,IAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;IACD,OAAO,0BAA0B,CAAC,MAAM,EAAE,MAAM,CAAC,mBAAmB,CAAC;AACvE;;;;"}
+{"version":3,"file":"notificationsProveProgramUnchanged.mjs","sources":["../../../../src/core/transform/validation/notificationsProveProgramUnchanged.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;AASA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BG;SACa,kCAAkC;AAChD;;;AAGG;AACH,MAAkC,EAClC,KAAuC,EAAA;AAEvC,IAAA,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;IACvD,KAAK,MAAM,OAAO,IAAI;AACpB,QAAA,MAAM,CAAC,sBAAsB;AAC7B,QAAA,MAAM,CAAC,wBAAwB;AAC/B,QAAA,MAAM,CAAC,wBAAwB;AAChC,KAAA,EAAE;QACD,IAAI,OAAO,KAAK,SAAS;YAAE;AAC3B,QAAA,IACE,OAAO,CAAC,oBAAoB,KAAK,IAAI;AACrC,YAAA,OAAO,CAAC,iBAAiB;YACzB,OAAO,CAAC,cAAc,EACtB;AACA,YAAA,OAAO,KAAK;QACd;AACA,QAAA,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,OAAO,EAAE;;;;AAIrC,YAAA,IACE,OAAO,KAAK,MAAM,CAAC,sBAAsB;gBACzC,iBAAiB,CACf,MAAM,CAAC,WAAW,EAClB,OAAO,EACP,SAAS,EACT,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,MAAM,CAAC,gBAAgB,CACxB,EACD;AACA,gBAAA,OAAO,KAAK;YACd;QACF;IACF;AACA,IAAA,IACE,MAAM,CAAC,sBAAsB,KAAK,SAAS;AAC3C,QAAA,MAAM,CAAC,mBAAmB,KAAK,SAAS,EACxC;AACA,QAAA,OAAO,KAAK;IACd;;;;AAIA,IAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;IACD,OAAO,0BAA0B,CAAC,MAAM,EAAE,MAAM,CAAC,mBAAmB,EAAE,KAAK,CAAC;AAC9E;;;;"}

package/lib/core/transform/watch/captureWatchInputBaseline.d.cts

@@ -12,6 +12,9 @@ import type { TtscWatchInputBaseline } from "./TtscWatchInputBaseline.cjs";
  *   a recorded predicate. Unrequested listings are not enumerated.
  * @param options.nativePredicates Native version-one codec kinds requested by
  *   recorded inputs. Raw native listings are independent of compiler listings.
+ * @param options.projectRoot Project whose plugin cache records prove a plugin
+ *   tree, so a new process does not read its sources and SDK again
+ *   (samchon/ttsc#1725).
  * @evidence contracts/common.md#principled-implementation Two independently captured codec facts must agree before a baseline is returned; equality detects observed changes but cannot establish absence of intervening unobserved changes.
  * @evidence contracts/common.md#clear-and-simple-design The singleton delegates to the batch owner, which assembles codec facts and owns independent observations and failure handling.
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Unavailable reads retain their explicit codec markers and predicates; a mismatch or escaping exception declines capture without supplying expected state or retrying until a desired answer appears.
@@ -25,4 +28,5 @@ export declare function captureWatchInputBaseline(file: string, filesystem?: Tts
     tree?: boolean;
     accessibleEntries?: boolean;
     nativePredicates?: readonly (keyof NonNullable<TtscWatchInputBaseline["nativePredicates"]>)[];
+    projectRoot?: string;
 }): TtscWatchInputBaseline | undefined;

package/lib/core/transform/watch/captureWatchInputBaseline.d.mts

@@ -12,6 +12,9 @@ import type { TtscWatchInputBaseline } from "./TtscWatchInputBaseline.mjs";
  *   a recorded predicate. Unrequested listings are not enumerated.
  * @param options.nativePredicates Native version-one codec kinds requested by
  *   recorded inputs. Raw native listings are independent of compiler listings.
+ * @param options.projectRoot Project whose plugin cache records prove a plugin
+ *   tree, so a new process does not read its sources and SDK again
+ *   (samchon/ttsc#1725).
  * @evidence contracts/common.md#principled-implementation Two independently captured codec facts must agree before a baseline is returned; equality detects observed changes but cannot establish absence of intervening unobserved changes.
  * @evidence contracts/common.md#clear-and-simple-design The singleton delegates to the batch owner, which assembles codec facts and owns independent observations and failure handling.
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Unavailable reads retain their explicit codec markers and predicates; a mismatch or escaping exception declines capture without supplying expected state or retrying until a desired answer appears.
@@ -25,4 +28,5 @@ export declare function captureWatchInputBaseline(file: string, filesystem?: Tts
     tree?: boolean;
     accessibleEntries?: boolean;
     nativePredicates?: readonly (keyof NonNullable<TtscWatchInputBaseline["nativePredicates"]>)[];
+    projectRoot?: string;
 }): TtscWatchInputBaseline | undefined;

package/lib/core/transform/watch/captureWatchInputBaseline.d.ts

@@ -12,6 +12,9 @@ import type { TtscWatchInputBaseline } from "./TtscWatchInputBaseline";
  *   a recorded predicate. Unrequested listings are not enumerated.
  * @param options.nativePredicates Native version-one codec kinds requested by
  *   recorded inputs. Raw native listings are independent of compiler listings.
+ * @param options.projectRoot Project whose plugin cache records prove a plugin
+ *   tree, so a new process does not read its sources and SDK again
+ *   (samchon/ttsc#1725).
  * @evidence contracts/common.md#principled-implementation Two independently captured codec facts must agree before a baseline is returned; equality detects observed changes but cannot establish absence of intervening unobserved changes.
  * @evidence contracts/common.md#clear-and-simple-design The singleton delegates to the batch owner, which assembles codec facts and owns independent observations and failure handling.
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Unavailable reads retain their explicit codec markers and predicates; a mismatch or escaping exception declines capture without supplying expected state or retrying until a desired answer appears.
@@ -25,4 +28,5 @@ export declare function captureWatchInputBaseline(file: string, filesystem?: Tts
     tree?: boolean;
     accessibleEntries?: boolean;
     nativePredicates?: readonly (keyof NonNullable<TtscWatchInputBaseline["nativePredicates"]>)[];
+    projectRoot?: string;
 }): TtscWatchInputBaseline | undefined;

package/lib/core/transform/watch/captureWatchInputBaseline.js

@@ -15,6 +15,9 @@ var captureWatchInputBaselines = require('./captureWatchInputBaselines.js');
  *   a recorded predicate. Unrequested listings are not enumerated.
  * @param options.nativePredicates Native version-one codec kinds requested by
  *   recorded inputs. Raw native listings are independent of compiler listings.
+ * @param options.projectRoot Project whose plugin cache records prove a plugin
+ *   tree, so a new process does not read its sources and SDK again
+ *   (samchon/ttsc#1725).
  * @evidence contracts/common.md#principled-implementation Two independently captured codec facts must agree before a baseline is returned; equality detects observed changes but cannot establish absence of intervening unobserved changes.
  * @evidence contracts/common.md#clear-and-simple-design The singleton delegates to the batch owner, which assembles codec facts and owns independent observations and failure handling.
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Unavailable reads retain their explicit codec markers and predicates; a mismatch or escaping exception declines capture without supplying expected state or retrying until a desired answer appears.

package/lib/core/transform/watch/captureWatchInputBaseline.js.map

@@ -1 +1 @@
-{"version":3,"file":"captureWatchInputBaseline.js","sources":["../../../../src/core/transform/watch/captureWatchInputBaseline.ts"],"sourcesContent":[null],"names":["DEFAULT_FILESYSTEM_OPERATIONS","captureWatchInputBaselines"],"mappings":";;;;;AAKA;;;;;;;;;;;;;;;;;;;;AAoBG;AACG,SAAU,yBAAyB,CACvC,IAAY,EACZ,UAAA,GAAgDA,2DAA6B,EAC7E,OAAA,GAMI,EAAE,EAAA;AAEN,IAAA,OAAOC,qDAA0B,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;AAC1E;;;;"}
+{"version":3,"file":"captureWatchInputBaseline.js","sources":["../../../../src/core/transform/watch/captureWatchInputBaseline.ts"],"sourcesContent":[null],"names":["DEFAULT_FILESYSTEM_OPERATIONS","captureWatchInputBaselines"],"mappings":";;;;;AAKA;;;;;;;;;;;;;;;;;;;;;;;AAuBG;AACG,SAAU,yBAAyB,CACvC,IAAY,EACZ,UAAA,GAAgDA,2DAA6B,EAC7E,OAAA,GAOI,EAAE,EAAA;AAEN,IAAA,OAAOC,qDAA0B,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;AAC1E;;;;"}

package/lib/core/transform/watch/captureWatchInputBaseline.mjs

@@ -13,6 +13,9 @@ import { captureWatchInputBaselines } from './captureWatchInputBaselines.mjs';
  *   a recorded predicate. Unrequested listings are not enumerated.
  * @param options.nativePredicates Native version-one codec kinds requested by
  *   recorded inputs. Raw native listings are independent of compiler listings.
+ * @param options.projectRoot Project whose plugin cache records prove a plugin
+ *   tree, so a new process does not read its sources and SDK again
+ *   (samchon/ttsc#1725).
  * @evidence contracts/common.md#principled-implementation Two independently captured codec facts must agree before a baseline is returned; equality detects observed changes but cannot establish absence of intervening unobserved changes.
  * @evidence contracts/common.md#clear-and-simple-design The singleton delegates to the batch owner, which assembles codec facts and owns independent observations and failure handling.
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Unavailable reads retain their explicit codec markers and predicates; a mismatch or escaping exception declines capture without supplying expected state or retrying until a desired answer appears.

package/lib/core/transform/watch/captureWatchInputBaseline.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"captureWatchInputBaseline.mjs","sources":["../../../../src/core/transform/watch/captureWatchInputBaseline.ts"],"sourcesContent":[null],"names":[],"mappings":";;;AAKA;;;;;;;;;;;;;;;;;;;;AAoBG;AACG,SAAU,yBAAyB,CACvC,IAAY,EACZ,UAAA,GAAgD,6BAA6B,EAC7E,OAAA,GAMI,EAAE,EAAA;AAEN,IAAA,OAAO,0BAA0B,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;AAC1E;;;;"}
+{"version":3,"file":"captureWatchInputBaseline.mjs","sources":["../../../../src/core/transform/watch/captureWatchInputBaseline.ts"],"sourcesContent":[null],"names":[],"mappings":";;;AAKA;;;;;;;;;;;;;;;;;;;;;;;AAuBG;AACG,SAAU,yBAAyB,CACvC,IAAY,EACZ,UAAA,GAAgD,6BAA6B,EAC7E,OAAA,GAOI,EAAE,EAAA;AAEN,IAAA,OAAO,0BAA0B,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;AAC1E;;;;"}

package/lib/core/transform/watch/captureWatchInputBaselines.d.cts

@@ -28,4 +28,6 @@ export declare function captureWatchInputBaselines(files: Iterable<string>, file
     tree?: boolean;
     accessibleEntries?: boolean;
     nativePredicates?: readonly (keyof NonNullable<TtscWatchInputBaseline["nativePredicates"]>)[];
+    /** Project whose plugin cache records prove a plugin tree (#1725). */
+    projectRoot?: string;
 }): Map<string, TtscWatchInputBaseline | undefined>;

package/lib/core/transform/watch/captureWatchInputBaselines.d.mts

@@ -28,4 +28,6 @@ export declare function captureWatchInputBaselines(files: Iterable<string>, file
     tree?: boolean;
     accessibleEntries?: boolean;
     nativePredicates?: readonly (keyof NonNullable<TtscWatchInputBaseline["nativePredicates"]>)[];
+    /** Project whose plugin cache records prove a plugin tree (#1725). */
+    projectRoot?: string;
 }): Map<string, TtscWatchInputBaseline | undefined>;

package/lib/core/transform/watch/captureWatchInputBaselines.d.ts

@@ -28,4 +28,6 @@ export declare function captureWatchInputBaselines(files: Iterable<string>, file
     tree?: boolean;
     accessibleEntries?: boolean;
     nativePredicates?: readonly (keyof NonNullable<TtscWatchInputBaseline["nativePredicates"]>)[];
+    /** Project whose plugin cache records prove a plugin tree (#1725). */
+    projectRoot?: string;
 }): Map<string, TtscWatchInputBaseline | undefined>;

package/lib/core/transform/watch/captureWatchInputBaselines.js

@@ -111,7 +111,9 @@ function capture(file, filesystem, identities, options) {
         identity: pathIdentityKey.pathIdentityKey(file, identities),
         realpath: compilerInputRealpathObservation.compilerInputRealpathObservation(file, filesystem),
         stat,
-        ...(options.tree === true ? { tree: pluginSourceState.pluginSourceState(file) } : {}),
+        ...(options.tree === true
+            ? { tree: pluginSourceState.pluginSourceState(file, undefined, options.projectRoot) }
+            : {}),
     };
 }
 

package/lib/core/transform/watch/captureWatchInputBaselines.js.map

@@ -1 +1 @@
-{"version":3,"file":"captureWatchInputBaselines.js","sources":["../../../../src/core/transform/watch/captureWatchInputBaselines.ts"],"sourcesContent":[null],"names":["DEFAULT_FILESYSTEM_OPERATIONS","createHostPathIdentityContext","stableStringify","compilerStatKind","compilerInputTextHash","hashText","MISSING_INPUT_STATE","nativeInputPredicateState","compilerAccessibleEntries","pathIdentityKey","compilerInputRealpathObservation","pluginSourceState"],"mappings":";;;;;;;;;;;;;;;AAiBA;;;;;;;;;;;;;;;;;;;;;;;AAuBG;AACG,SAAU,0BAA0B,CACxC,KAAuB,EACvB,UAAA,GAAgDA,2DAA6B,EAC7E,OAAA,GAMI,EAAE,EAAA;IAEN,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,MAAsD;AACpE,QAAA,MAAM,UAAU,GAAGC,2DAA6B,CAAC,UAAU,CAAC;QAC5D,OAAO,IAAI,GAAG,CACZ,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,KAAI;AACpB,YAAA,IAAI;gBACF,OAAO;oBACL,IAAI;oBACJ,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC;iBACtC;YACZ;AAAE,YAAA,MAAM;AACN,gBAAA,OAAO,CAAC,IAAI,EAAE,SAAS,CAAU;YACnC;QACF,CAAC,CAAC,CACH;AACH,IAAA,CAAC;AACD,IAAA,MAAM,MAAM,GAAG,OAAO,EAAE;AACxB,IAAA,MAAM,KAAK,GAAG,OAAO,EAAE;AACvB,IAAA,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE;AAC3B,QAAA,IACE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS;AAC9B,YAAAC,+BAAe,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAKA,+BAAe,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAEtE,YAAA,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC;IAC9B;AACA,IAAA,OAAO,KAAK;AACd;AAEA;AACA,SAAS,OAAO,CACd,IAAY,EACZ,UAA6C,EAC7C,UAAyC,EACzC,OAMC,EAAA;IAED,MAAM,IAAI,GAAGC,iCAAgB,CAAC,IAAI,EAAE,UAAU,CAAC;AAC/C,IAAA,IAAI,KAAyB;AAC7B,IAAA,IAAI,SAAkB;AACtB,IAAA,IAAI;AACF,QAAA,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;IACnC;IAAE,OAAO,KAAK,EAAE;QACd,SAAS,GAAG,KAAK;;IAEnB;IACA,MAAM,aAAa,GACjB,IAAI,KAAK,WAAW,IAAI,KAAK,KAAK;AAChC,UAAE;AACF,UAAEC,2CAAqB,CAAC,KAAK,CAAC;AAClC,IAAA,MAAM,aAAa,GAAGC,iBAAQ,CAAC,6BAA6B,CAAC;AAC7D,IAAA,MAAM,QAAQ,GACZ,KAAK,KAAK;UACNF,iCAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK;AACvC,cAAE;AACF,cAAEG;AACJ,UAAED,iBAAQ,CAAC,KAAK,CAAC;IACrB,MAAM,gBAAgB,GAElB,EAAE;AACN,IAAA,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,EAAE;QAC1D,MAAM,QAAQ,GAAGE,mDAAyB,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;YACjE,QAAQ,GAAA;gBACN,IAAI,KAAK,KAAK,SAAS;AAAE,oBAAA,MAAM,SAAS;AACxC,gBAAA,OAAO,KAAK;YACd,CAAC;AACF,SAAA,CAAC;AACF,QAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,YAAA,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC;QAC1E;AACA,QAAA,gBAAgB,CAAC,IAAI,CAAC,GAAG,QAAQ;IACnC;IACA,OAAO;QACL,IAAI,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC;AAC3E,QAAA,IAAI,OAAO,CAAC,iBAAiB,KAAK;cAC9B,EAAE,iBAAiB,EAAEC,mDAAyB,CAAC,IAAI,EAAE,UAAU,CAAC;cAChE,EAAE,CAAC;QACP,eAAe,EAAE,IAAI,KAAK,WAAW;QACrC,UAAU,EAAE,IAAI,KAAK,MAAM;AAC3B,QAAA,SAAS,EACP,aAAa;aACZ,IAAI,KAAK,WAAW,GAAG,aAAa,GAAGF,uCAAmB,CAAC;QAC9D,aAAa;QACb,QAAQ;AACR,QAAA,QAAQ,EAAEG,+BAAe,CAAC,IAAI,EAAE,UAAU,CAAC;AAC3C,QAAA,QAAQ,EAAEC,iEAAgC,CAAC,IAAI,EAAE,UAAU,CAAC;QAC5D,IAAI;QACJ,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,GAAG,EAAE,IAAI,EAAEC,mCAAiB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;KACpE;AACH;;;;"}
+{"version":3,"file":"captureWatchInputBaselines.js","sources":["../../../../src/core/transform/watch/captureWatchInputBaselines.ts"],"sourcesContent":[null],"names":["DEFAULT_FILESYSTEM_OPERATIONS","createHostPathIdentityContext","stableStringify","compilerStatKind","compilerInputTextHash","hashText","MISSING_INPUT_STATE","nativeInputPredicateState","compilerAccessibleEntries","pathIdentityKey","compilerInputRealpathObservation","pluginSourceState"],"mappings":";;;;;;;;;;;;;;;AAiBA;;;;;;;;;;;;;;;;;;;;;;;AAuBG;AACG,SAAU,0BAA0B,CACxC,KAAuB,EACvB,UAAA,GAAgDA,2DAA6B,EAC7E,OAAA,GAQI,EAAE,EAAA;IAEN,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,MAAsD;AACpE,QAAA,MAAM,UAAU,GAAGC,2DAA6B,CAAC,UAAU,CAAC;QAC5D,OAAO,IAAI,GAAG,CACZ,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,KAAI;AACpB,YAAA,IAAI;gBACF,OAAO;oBACL,IAAI;oBACJ,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC;iBACtC;YACZ;AAAE,YAAA,MAAM;AACN,gBAAA,OAAO,CAAC,IAAI,EAAE,SAAS,CAAU;YACnC;QACF,CAAC,CAAC,CACH;AACH,IAAA,CAAC;AACD,IAAA,MAAM,MAAM,GAAG,OAAO,EAAE;AACxB,IAAA,MAAM,KAAK,GAAG,OAAO,EAAE;AACvB,IAAA,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE;AAC3B,QAAA,IACE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS;AAC9B,YAAAC,+BAAe,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAKA,+BAAe,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAEtE,YAAA,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC;IAC9B;AACA,IAAA,OAAO,KAAK;AACd;AAEA;AACA,SAAS,OAAO,CACd,IAAY,EACZ,UAA6C,EAC7C,UAAyC,EACzC,OAQC,EAAA;IAED,MAAM,IAAI,GAAGC,iCAAgB,CAAC,IAAI,EAAE,UAAU,CAAC;AAC/C,IAAA,IAAI,KAAyB;AAC7B,IAAA,IAAI,SAAkB;AACtB,IAAA,IAAI;AACF,QAAA,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;IACnC;IAAE,OAAO,KAAK,EAAE;QACd,SAAS,GAAG,KAAK;;IAEnB;IACA,MAAM,aAAa,GACjB,IAAI,KAAK,WAAW,IAAI,KAAK,KAAK;AAChC,UAAE;AACF,UAAEC,2CAAqB,CAAC,KAAK,CAAC;AAClC,IAAA,MAAM,aAAa,GAAGC,iBAAQ,CAAC,6BAA6B,CAAC;AAC7D,IAAA,MAAM,QAAQ,GACZ,KAAK,KAAK;UACNF,iCAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK;AACvC,cAAE;AACF,cAAEG;AACJ,UAAED,iBAAQ,CAAC,KAAK,CAAC;IACrB,MAAM,gBAAgB,GAElB,EAAE;AACN,IAAA,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,EAAE;QAC1D,MAAM,QAAQ,GAAGE,mDAAyB,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;YACjE,QAAQ,GAAA;gBACN,IAAI,KAAK,KAAK,SAAS;AAAE,oBAAA,MAAM,SAAS;AACxC,gBAAA,OAAO,KAAK;YACd,CAAC;AACF,SAAA,CAAC;AACF,QAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,YAAA,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC;QAC1E;AACA,QAAA,gBAAgB,CAAC,IAAI,CAAC,GAAG,QAAQ;IACnC;IACA,OAAO;QACL,IAAI,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC;AAC3E,QAAA,IAAI,OAAO,CAAC,iBAAiB,KAAK;cAC9B,EAAE,iBAAiB,EAAEC,mDAAyB,CAAC,IAAI,EAAE,UAAU,CAAC;cAChE,EAAE,CAAC;QACP,eAAe,EAAE,IAAI,KAAK,WAAW;QACrC,UAAU,EAAE,IAAI,KAAK,MAAM;AAC3B,QAAA,SAAS,EACP,aAAa;aACZ,IAAI,KAAK,WAAW,GAAG,aAAa,GAAGF,uCAAmB,CAAC;QAC9D,aAAa;QACb,QAAQ;AACR,QAAA,QAAQ,EAAEG,+BAAe,CAAC,IAAI,EAAE,UAAU,CAAC;AAC3C,QAAA,QAAQ,EAAEC,iEAAgC,CAAC,IAAI,EAAE,UAAU,CAAC;QAC5D,IAAI;AACJ,QAAA,IAAI,OAAO,CAAC,IAAI,KAAK;AACnB,cAAE,EAAE,IAAI,EAAEC,mCAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC;cAC/D,EAAE,CAAC;KACR;AACH;;;;"}

package/lib/core/transform/watch/captureWatchInputBaselines.mjs

@@ -109,7 +109,9 @@ function capture(file, filesystem, identities, options) {
         identity: pathIdentityKey(file, identities),
         realpath: compilerInputRealpathObservation(file, filesystem),
         stat,
-        ...(options.tree === true ? { tree: pluginSourceState(file) } : {}),
+        ...(options.tree === true
+            ? { tree: pluginSourceState(file, undefined, options.projectRoot) }
+            : {}),
     };
 }
 

package/lib/core/transform/watch/captureWatchInputBaselines.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"captureWatchInputBaselines.mjs","sources":["../../../../src/core/transform/watch/captureWatchInputBaselines.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;AAiBA;;;;;;;;;;;;;;;;;;;;;;;AAuBG;AACG,SAAU,0BAA0B,CACxC,KAAuB,EACvB,UAAA,GAAgD,6BAA6B,EAC7E,OAAA,GAMI,EAAE,EAAA;IAEN,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,MAAsD;AACpE,QAAA,MAAM,UAAU,GAAG,6BAA6B,CAAC,UAAU,CAAC;QAC5D,OAAO,IAAI,GAAG,CACZ,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,KAAI;AACpB,YAAA,IAAI;gBACF,OAAO;oBACL,IAAI;oBACJ,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC;iBACtC;YACZ;AAAE,YAAA,MAAM;AACN,gBAAA,OAAO,CAAC,IAAI,EAAE,SAAS,CAAU;YACnC;QACF,CAAC,CAAC,CACH;AACH,IAAA,CAAC;AACD,IAAA,MAAM,MAAM,GAAG,OAAO,EAAE;AACxB,IAAA,MAAM,KAAK,GAAG,OAAO,EAAE;AACvB,IAAA,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE;AAC3B,QAAA,IACE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS;AAC9B,YAAA,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAEtE,YAAA,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC;IAC9B;AACA,IAAA,OAAO,KAAK;AACd;AAEA;AACA,SAAS,OAAO,CACd,IAAY,EACZ,UAA6C,EAC7C,UAAyC,EACzC,OAMC,EAAA;IAED,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC;AAC/C,IAAA,IAAI,KAAyB;AAC7B,IAAA,IAAI,SAAkB;AACtB,IAAA,IAAI;AACF,QAAA,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;IACnC;IAAE,OAAO,KAAK,EAAE;QACd,SAAS,GAAG,KAAK;;IAEnB;IACA,MAAM,aAAa,GACjB,IAAI,KAAK,WAAW,IAAI,KAAK,KAAK;AAChC,UAAE;AACF,UAAE,qBAAqB,CAAC,KAAK,CAAC;AAClC,IAAA,MAAM,aAAa,GAAG,QAAQ,CAAC,6BAA6B,CAAC;AAC7D,IAAA,MAAM,QAAQ,GACZ,KAAK,KAAK;UACN,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK;AACvC,cAAE;AACF,cAAE;AACJ,UAAE,QAAQ,CAAC,KAAK,CAAC;IACrB,MAAM,gBAAgB,GAElB,EAAE;AACN,IAAA,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,EAAE;QAC1D,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;YACjE,QAAQ,GAAA;gBACN,IAAI,KAAK,KAAK,SAAS;AAAE,oBAAA,MAAM,SAAS;AACxC,gBAAA,OAAO,KAAK;YACd,CAAC;AACF,SAAA,CAAC;AACF,QAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,YAAA,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC;QAC1E;AACA,QAAA,gBAAgB,CAAC,IAAI,CAAC,GAAG,QAAQ;IACnC;IACA,OAAO;QACL,IAAI,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC;AAC3E,QAAA,IAAI,OAAO,CAAC,iBAAiB,KAAK;cAC9B,EAAE,iBAAiB,EAAE,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC;cAChE,EAAE,CAAC;QACP,eAAe,EAAE,IAAI,KAAK,WAAW;QACrC,UAAU,EAAE,IAAI,KAAK,MAAM;AAC3B,QAAA,SAAS,EACP,aAAa;aACZ,IAAI,KAAK,WAAW,GAAG,aAAa,GAAG,mBAAmB,CAAC;QAC9D,aAAa;QACb,QAAQ;AACR,QAAA,QAAQ,EAAE,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC;AAC3C,QAAA,QAAQ,EAAE,gCAAgC,CAAC,IAAI,EAAE,UAAU,CAAC;QAC5D,IAAI;QACJ,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,GAAG,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;KACpE;AACH;;;;"}
+{"version":3,"file":"captureWatchInputBaselines.mjs","sources":["../../../../src/core/transform/watch/captureWatchInputBaselines.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;AAiBA;;;;;;;;;;;;;;;;;;;;;;;AAuBG;AACG,SAAU,0BAA0B,CACxC,KAAuB,EACvB,UAAA,GAAgD,6BAA6B,EAC7E,OAAA,GAQI,EAAE,EAAA;IAEN,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,MAAsD;AACpE,QAAA,MAAM,UAAU,GAAG,6BAA6B,CAAC,UAAU,CAAC;QAC5D,OAAO,IAAI,GAAG,CACZ,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,KAAI;AACpB,YAAA,IAAI;gBACF,OAAO;oBACL,IAAI;oBACJ,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC;iBACtC;YACZ;AAAE,YAAA,MAAM;AACN,gBAAA,OAAO,CAAC,IAAI,EAAE,SAAS,CAAU;YACnC;QACF,CAAC,CAAC,CACH;AACH,IAAA,CAAC;AACD,IAAA,MAAM,MAAM,GAAG,OAAO,EAAE;AACxB,IAAA,MAAM,KAAK,GAAG,OAAO,EAAE;AACvB,IAAA,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE;AAC3B,QAAA,IACE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS;AAC9B,YAAA,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAEtE,YAAA,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC;IAC9B;AACA,IAAA,OAAO,KAAK;AACd;AAEA;AACA,SAAS,OAAO,CACd,IAAY,EACZ,UAA6C,EAC7C,UAAyC,EACzC,OAQC,EAAA;IAED,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC;AAC/C,IAAA,IAAI,KAAyB;AAC7B,IAAA,IAAI,SAAkB;AACtB,IAAA,IAAI;AACF,QAAA,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;IACnC;IAAE,OAAO,KAAK,EAAE;QACd,SAAS,GAAG,KAAK;;IAEnB;IACA,MAAM,aAAa,GACjB,IAAI,KAAK,WAAW,IAAI,KAAK,KAAK;AAChC,UAAE;AACF,UAAE,qBAAqB,CAAC,KAAK,CAAC;AAClC,IAAA,MAAM,aAAa,GAAG,QAAQ,CAAC,6BAA6B,CAAC;AAC7D,IAAA,MAAM,QAAQ,GACZ,KAAK,KAAK;UACN,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK;AACvC,cAAE;AACF,cAAE;AACJ,UAAE,QAAQ,CAAC,KAAK,CAAC;IACrB,MAAM,gBAAgB,GAElB,EAAE;AACN,IAAA,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,EAAE;QAC1D,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;YACjE,QAAQ,GAAA;gBACN,IAAI,KAAK,KAAK,SAAS;AAAE,oBAAA,MAAM,SAAS;AACxC,gBAAA,OAAO,KAAK;YACd,CAAC;AACF,SAAA,CAAC;AACF,QAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,YAAA,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC;QAC1E;AACA,QAAA,gBAAgB,CAAC,IAAI,CAAC,GAAG,QAAQ;IACnC;IACA,OAAO;QACL,IAAI,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC;AAC3E,QAAA,IAAI,OAAO,CAAC,iBAAiB,KAAK;cAC9B,EAAE,iBAAiB,EAAE,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC;cAChE,EAAE,CAAC;QACP,eAAe,EAAE,IAAI,KAAK,WAAW;QACrC,UAAU,EAAE,IAAI,KAAK,MAAM;AAC3B,QAAA,SAAS,EACP,aAAa;aACZ,IAAI,KAAK,WAAW,GAAG,aAAa,GAAG,mBAAmB,CAAC;QAC9D,aAAa;QACb,QAAQ;AACR,QAAA,QAAQ,EAAE,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC;AAC3C,QAAA,QAAQ,EAAE,gCAAgC,CAAC,IAAI,EAAE,UAAU,CAAC;QAC5D,IAAI;AACJ,QAAA,IAAI,OAAO,CAAC,IAAI,KAAK;AACnB,cAAE,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC;cAC/D,EAAE,CAAC;KACR;AACH;;;;"}

package/lib/core/transform/watch/notifyWatchInputs.js

@@ -50,6 +50,9 @@ function notifyWatchInputs(hooks, cached, file, selection) {
     // A module handed over without its record depends on its own bytes alone,
     // so no persistent cache may keep it.
     if (hooks.project !== undefined &&
+        // Common delivery already withdrew this host cache. Incomplete local
+        // output cannot write a record, so avoid a second withdrawal callback.
+        cached.freshDeliveryOnly !== true &&
         !notifyProjectRecord.notifyProjectRecord(hooks.project, cached, false, () => generationWatchInputs.generationWatchInputs(cached), routedInputs)) {
         hooks.markVolatile?.();
     }

package/lib/core/transform/watch/notifyWatchInputs.js.map

@@ -1 +1 @@
-{"version":3,"file":"notifyWatchInputs.js","sources":["../../../../src/core/transform/watch/notifyWatchInputs.ts"],"sourcesContent":[null],"names":["envelopeDerivation","selectionInputs","notifyProjectRecord","generationWatchInputs","hostSpelling","selectWatchInputs","evidencedWatchInput","projectMembershipInput","handWatchInputs"],"mappings":";;;;;;;;;;;;AAcA;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BG;AACG,SAAU,iBAAiB,CAC/B,KAAqC,EACrC,MAAkC,EAClC,IAAY,EACZ,SAA6B,EAAA;IAE7B,IACE,KAAK,KAAK,SAAS;AACnB,SAAC,KAAK,CAAC,OAAO,KAAK,SAAS;YAC1B,KAAK,CAAC,YAAY,KAAK,SAAS;AAChC,YAAA,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,EACpC;QACA;IACF;AACA,IAAA,MAAM,KAAK,GAAGA,qCAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,YAAY,GAAGC,+BAAe,CAClC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC1D,SAAS,CAAC,UAAU,EACpB,CAAC,KAAK,KAAK,KAAK,CACjB;;;AAGD,IAAA,IACE,KAAK,CAAC,OAAO,KAAK,SAAS;QAC3B,CAACC,uCAAmB,CAClB,KAAK,CAAC,OAAO,EACb,MAAM,EACN,KAAK,EACL,MAAMC,2CAAqB,CAAC,MAAM,CAAC,EACnC,YAAY,CACb,EACD;AACA,QAAA,KAAK,CAAC,YAAY,IAAI;IACxB;AACA,IAAA,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,EAAE;QACzE;IACF;IACA,MAAM,KAAK,GAAGC,yBAAY,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC;IAC/C,MAAM,MAAM,GAAqBC,mCAAiB,CAAC;QACjD,IAAI;QACJ,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;AAC5C,KAAA,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAKC,uCAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;;;AAGnE,IAAA,MAAM,UAAU,GACd,KAAK,CAAC,UAAU,KAAK,IAAI,GAAGC,6CAAsB,CAAC,MAAM,CAAC,GAAG,SAAS;IACxE,IAAI,UAAU,KAAK,SAAS;AAAE,QAAA,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;AACrD,IAAA,KAAK,MAAM,aAAa,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM;AACvD,QAAA,GAAG,KAAK;AACR,QAAA,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;AACxB,KAAA,CAAC,CAAC;AACD,QAAA,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC;AAC5B,IAAAC,+BAAe,CAAC,KAAK,EAAE,MAAM,CAAC;AAChC;;;;"}
+{"version":3,"file":"notifyWatchInputs.js","sources":["../../../../src/core/transform/watch/notifyWatchInputs.ts"],"sourcesContent":[null],"names":["envelopeDerivation","selectionInputs","notifyProjectRecord","generationWatchInputs","hostSpelling","selectWatchInputs","evidencedWatchInput","projectMembershipInput","handWatchInputs"],"mappings":";;;;;;;;;;;;AAcA;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BG;AACG,SAAU,iBAAiB,CAC/B,KAAqC,EACrC,MAAkC,EAClC,IAAY,EACZ,SAA6B,EAAA;IAE7B,IACE,KAAK,KAAK,SAAS;AACnB,SAAC,KAAK,CAAC,OAAO,KAAK,SAAS;YAC1B,KAAK,CAAC,YAAY,KAAK,SAAS;AAChC,YAAA,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,EACpC;QACA;IACF;AACA,IAAA,MAAM,KAAK,GAAGA,qCAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,YAAY,GAAGC,+BAAe,CAClC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC1D,SAAS,CAAC,UAAU,EACpB,CAAC,KAAK,KAAK,KAAK,CACjB;;;AAGD,IAAA,IACE,KAAK,CAAC,OAAO,KAAK,SAAS;;;QAG3B,MAAM,CAAC,iBAAiB,KAAK,IAAI;QACjC,CAACC,uCAAmB,CAClB,KAAK,CAAC,OAAO,EACb,MAAM,EACN,KAAK,EACL,MAAMC,2CAAqB,CAAC,MAAM,CAAC,EACnC,YAAY,CACb,EACD;AACA,QAAA,KAAK,CAAC,YAAY,IAAI;IACxB;AACA,IAAA,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,EAAE;QACzE;IACF;IACA,MAAM,KAAK,GAAGC,yBAAY,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC;IAC/C,MAAM,MAAM,GAAqBC,mCAAiB,CAAC;QACjD,IAAI;QACJ,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;AAC5C,KAAA,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAKC,uCAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;;;AAGnE,IAAA,MAAM,UAAU,GACd,KAAK,CAAC,UAAU,KAAK,IAAI,GAAGC,6CAAsB,CAAC,MAAM,CAAC,GAAG,SAAS;IACxE,IAAI,UAAU,KAAK,SAAS;AAAE,QAAA,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;AACrD,IAAA,KAAK,MAAM,aAAa,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM;AACvD,QAAA,GAAG,KAAK;AACR,QAAA,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;AACxB,KAAA,CAAC,CAAC;AACD,QAAA,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC;AAC5B,IAAAC,+BAAe,CAAC,KAAK,EAAE,MAAM,CAAC;AAChC;;;;"}

package/lib/core/transform/watch/notifyWatchInputs.mjs

@@ -48,6 +48,9 @@ function notifyWatchInputs(hooks, cached, file, selection) {
     // A module handed over without its record depends on its own bytes alone,
     // so no persistent cache may keep it.
     if (hooks.project !== undefined &&
+        // Common delivery already withdrew this host cache. Incomplete local
+        // output cannot write a record, so avoid a second withdrawal callback.
+        cached.freshDeliveryOnly !== true &&
         !notifyProjectRecord(hooks.project, cached, false, () => generationWatchInputs(cached), routedInputs)) {
         hooks.markVolatile?.();
     }

package/lib/core/transform/watch/notifyWatchInputs.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"notifyWatchInputs.mjs","sources":["../../../../src/core/transform/watch/notifyWatchInputs.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;AAcA;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BG;AACG,SAAU,iBAAiB,CAC/B,KAAqC,EACrC,MAAkC,EAClC,IAAY,EACZ,SAA6B,EAAA;IAE7B,IACE,KAAK,KAAK,SAAS;AACnB,SAAC,KAAK,CAAC,OAAO,KAAK,SAAS;YAC1B,KAAK,CAAC,YAAY,KAAK,SAAS;AAChC,YAAA,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,EACpC;QACA;IACF;AACA,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,YAAY,GAAG,eAAe,CAClC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC1D,SAAS,CAAC,UAAU,EACpB,CAAC,KAAK,KAAK,KAAK,CACjB;;;AAGD,IAAA,IACE,KAAK,CAAC,OAAO,KAAK,SAAS;QAC3B,CAAC,mBAAmB,CAClB,KAAK,CAAC,OAAO,EACb,MAAM,EACN,KAAK,EACL,MAAM,qBAAqB,CAAC,MAAM,CAAC,EACnC,YAAY,CACb,EACD;AACA,QAAA,KAAK,CAAC,YAAY,IAAI;IACxB;AACA,IAAA,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,EAAE;QACzE;IACF;IACA,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC;IAC/C,MAAM,MAAM,GAAqB,iBAAiB,CAAC;QACjD,IAAI;QACJ,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;AAC5C,KAAA,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;;;AAGnE,IAAA,MAAM,UAAU,GACd,KAAK,CAAC,UAAU,KAAK,IAAI,GAAG,sBAAsB,CAAC,MAAM,CAAC,GAAG,SAAS;IACxE,IAAI,UAAU,KAAK,SAAS;AAAE,QAAA,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;AACrD,IAAA,KAAK,MAAM,aAAa,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM;AACvD,QAAA,GAAG,KAAK;AACR,QAAA,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;AACxB,KAAA,CAAC,CAAC;AACD,QAAA,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC;AAC5B,IAAA,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC;AAChC;;;;"}
+{"version":3,"file":"notifyWatchInputs.mjs","sources":["../../../../src/core/transform/watch/notifyWatchInputs.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;AAcA;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BG;AACG,SAAU,iBAAiB,CAC/B,KAAqC,EACrC,MAAkC,EAClC,IAAY,EACZ,SAA6B,EAAA;IAE7B,IACE,KAAK,KAAK,SAAS;AACnB,SAAC,KAAK,CAAC,OAAO,KAAK,SAAS;YAC1B,KAAK,CAAC,YAAY,KAAK,SAAS;AAChC,YAAA,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,EACpC;QACA;IACF;AACA,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,YAAY,GAAG,eAAe,CAClC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC1D,SAAS,CAAC,UAAU,EACpB,CAAC,KAAK,KAAK,KAAK,CACjB;;;AAGD,IAAA,IACE,KAAK,CAAC,OAAO,KAAK,SAAS;;;QAG3B,MAAM,CAAC,iBAAiB,KAAK,IAAI;QACjC,CAAC,mBAAmB,CAClB,KAAK,CAAC,OAAO,EACb,MAAM,EACN,KAAK,EACL,MAAM,qBAAqB,CAAC,MAAM,CAAC,EACnC,YAAY,CACb,EACD;AACA,QAAA,KAAK,CAAC,YAAY,IAAI;IACxB;AACA,IAAA,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,EAAE;QACzE;IACF;IACA,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC;IAC/C,MAAM,MAAM,GAAqB,iBAAiB,CAAC;QACjD,IAAI;QACJ,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;AAC5C,KAAA,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;;;AAGnE,IAAA,MAAM,UAAU,GACd,KAAK,CAAC,UAAU,KAAK,IAAI,GAAG,sBAAsB,CAAC,MAAM,CAAC,GAAG,SAAS;IACxE,IAAI,UAAU,KAAK,SAAS;AAAE,QAAA,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;AACrD,IAAA,KAAK,MAAM,aAAa,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM;AACvD,QAAA,GAAG,KAAK;AACR,QAAA,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;AACxB,KAAA,CAAC,CAAC;AACD,QAAA,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC;AAC5B,IAAA,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC;AAChC;;;;"}

package/lib/core/transform/watch/watchInputEvidenceMatchesDisk.d.cts

@@ -10,7 +10,10 @@ import type { TtscWatchInputEvidence } from "./TtscWatchInputEvidence.cjs";
  * a graph input by its state hash and physical target; a host input by the host
  * bytes' hash. The root-file membership is a walk over many paths and never
  * stands for one, so its evidence matches nothing here; the record holds it
- * apart. Evidence without a state proves nothing and does not match.
+ * apart. Evidence without a state proves nothing and does not match. A plugin
+ * tree is proven through the plugin cache records of the project the caller
+ * names, so a new process does not read its sources and SDK again
+ * (samchon/ttsc#1725).
  *
  * @evidence contracts/common.md#principled-implementation Each codec replays its recorded meaning: complete predicates, graph hash plus physical target, raw host hash or plugin-tree state; membership and absent state cannot establish one-path agreement.
  * @evidence contracts/common.md#clear-and-simple-design Discriminant branches delegate each observation to the codec owner and expose one conservative boolean comparison.
@@ -21,4 +24,4 @@ import type { TtscWatchInputEvidence } from "./TtscWatchInputEvidence.cjs";
  * @evidenceExclude contracts/performance.md#reuse-equivalent-work This asks whether current disk observations match a record; observer and plugin-tree owners establish any valid reuse, rather than caching this boolean without change witnesses.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Comparison contexts and observed buffers are call-local; retained tree caches and active watchers have separate owners.
  */
-export declare function watchInputEvidenceMatchesDisk(file: string, evidence: TtscWatchInputEvidence, filesystem?: TtscTransformFilesystemOperations): boolean;
+export declare function watchInputEvidenceMatchesDisk(file: string, evidence: TtscWatchInputEvidence, filesystem?: TtscTransformFilesystemOperations, projectRoot?: string): boolean;

package/lib/core/transform/watch/watchInputEvidenceMatchesDisk.d.mts

@@ -10,7 +10,10 @@ import type { TtscWatchInputEvidence } from "./TtscWatchInputEvidence.mjs";
  * a graph input by its state hash and physical target; a host input by the host
  * bytes' hash. The root-file membership is a walk over many paths and never
  * stands for one, so its evidence matches nothing here; the record holds it
- * apart. Evidence without a state proves nothing and does not match.
+ * apart. Evidence without a state proves nothing and does not match. A plugin
+ * tree is proven through the plugin cache records of the project the caller
+ * names, so a new process does not read its sources and SDK again
+ * (samchon/ttsc#1725).
  *
  * @evidence contracts/common.md#principled-implementation Each codec replays its recorded meaning: complete predicates, graph hash plus physical target, raw host hash or plugin-tree state; membership and absent state cannot establish one-path agreement.
  * @evidence contracts/common.md#clear-and-simple-design Discriminant branches delegate each observation to the codec owner and expose one conservative boolean comparison.
@@ -21,4 +24,4 @@ import type { TtscWatchInputEvidence } from "./TtscWatchInputEvidence.mjs";
  * @evidenceExclude contracts/performance.md#reuse-equivalent-work This asks whether current disk observations match a record; observer and plugin-tree owners establish any valid reuse, rather than caching this boolean without change witnesses.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Comparison contexts and observed buffers are call-local; retained tree caches and active watchers have separate owners.
  */
-export declare function watchInputEvidenceMatchesDisk(file: string, evidence: TtscWatchInputEvidence, filesystem?: TtscTransformFilesystemOperations): boolean;
+export declare function watchInputEvidenceMatchesDisk(file: string, evidence: TtscWatchInputEvidence, filesystem?: TtscTransformFilesystemOperations, projectRoot?: string): boolean;

package/lib/core/transform/watch/watchInputEvidenceMatchesDisk.d.ts

@@ -10,7 +10,10 @@ import type { TtscWatchInputEvidence } from "./TtscWatchInputEvidence";
  * a graph input by its state hash and physical target; a host input by the host
  * bytes' hash. The root-file membership is a walk over many paths and never
  * stands for one, so its evidence matches nothing here; the record holds it
- * apart. Evidence without a state proves nothing and does not match.
+ * apart. Evidence without a state proves nothing and does not match. A plugin
+ * tree is proven through the plugin cache records of the project the caller
+ * names, so a new process does not read its sources and SDK again
+ * (samchon/ttsc#1725).
  *
  * @evidence contracts/common.md#principled-implementation Each codec replays its recorded meaning: complete predicates, graph hash plus physical target, raw host hash or plugin-tree state; membership and absent state cannot establish one-path agreement.
  * @evidence contracts/common.md#clear-and-simple-design Discriminant branches delegate each observation to the codec owner and expose one conservative boolean comparison.
@@ -21,4 +24,4 @@ import type { TtscWatchInputEvidence } from "./TtscWatchInputEvidence";
  * @evidenceExclude contracts/performance.md#reuse-equivalent-work This asks whether current disk observations match a record; observer and plugin-tree owners establish any valid reuse, rather than caching this boolean without change witnesses.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Comparison contexts and observed buffers are call-local; retained tree caches and active watchers have separate owners.
  */
-export declare function watchInputEvidenceMatchesDisk(file: string, evidence: TtscWatchInputEvidence, filesystem?: TtscTransformFilesystemOperations): boolean;
+export declare function watchInputEvidenceMatchesDisk(file: string, evidence: TtscWatchInputEvidence, filesystem?: TtscTransformFilesystemOperations, projectRoot?: string): boolean;

package/lib/core/transform/watch/watchInputEvidenceMatchesDisk.js

@@ -20,7 +20,10 @@ var MISSING_INPUT_STATE = require('../validation/MISSING_INPUT_STATE.js');
  * a graph input by its state hash and physical target; a host input by the host
  * bytes' hash. The root-file membership is a walk over many paths and never
  * stands for one, so its evidence matches nothing here; the record holds it
- * apart. Evidence without a state proves nothing and does not match.
+ * apart. Evidence without a state proves nothing and does not match. A plugin
+ * tree is proven through the plugin cache records of the project the caller
+ * names, so a new process does not read its sources and SDK again
+ * (samchon/ttsc#1725).
  *
  * @evidence contracts/common.md#principled-implementation Each codec replays its recorded meaning: complete predicates, graph hash plus physical target, raw host hash or plugin-tree state; membership and absent state cannot establish one-path agreement.
  * @evidence contracts/common.md#clear-and-simple-design Discriminant branches delegate each observation to the codec owner and expose one conservative boolean comparison.
@@ -31,13 +34,13 @@ var MISSING_INPUT_STATE = require('../validation/MISSING_INPUT_STATE.js');
  * @evidenceExclude contracts/performance.md#reuse-equivalent-work This asks whether current disk observations match a record; observer and plugin-tree owners establish any valid reuse, rather than caching this boolean without change witnesses.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Comparison contexts and observed buffers are call-local; retained tree caches and active watchers have separate owners.
  */
-function watchInputEvidenceMatchesDisk(file, evidence, filesystem = DEFAULT_FILESYSTEM_OPERATIONS.DEFAULT_FILESYSTEM_OPERATIONS) {
+function watchInputEvidenceMatchesDisk(file, evidence, filesystem = DEFAULT_FILESYSTEM_OPERATIONS.DEFAULT_FILESYSTEM_OPERATIONS, projectRoot) {
     const state = evidence.state;
     if (state === undefined || state.codec === "membership")
         return false;
     try {
         if (state.codec === "tree") {
-            return pluginSourceHolds.pluginSourceHolds(file, state.digest, filesystem);
+            return pluginSourceHolds.pluginSourceHolds(file, state.digest, filesystem, undefined, projectRoot);
         }
         if (state.codec === "predicates") {
             return matchesGraphInputObservation.matchesGraphInputObservation(file, state.observation, filesystem, createHostPathIdentityContext.createHostPathIdentityContext(filesystem));