@ttsc/unplugin 0.31.0 → 0.31.2

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.mjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.mjs";
 /**
  * Prove one generation from its own recorded snapshot, with no help from live
  * notifications.
@@ -29,11 +30,11 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  *   target scans, signature entry materialization/adoption and native identity
  *   work add population/path/digit costs; unresolved content and predicate
  *   replay add bytes/listings. Early rejection skips subsequent domains.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  Qualified separable signatures avoid repeated content reads under the caller's refreshed clock. Successful aggregate proof adopts earned project/external signatures and clears unverified flags; it neither clears recorded changes/failed flags nor makes later quiet notifications sufficient without their other admission conditions.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicates remain mandatory on every delivery. An exact-generation synchronous transaction may share their current replay across nested validators, but no pass or notification shortcut authorizes a later delivery to skip them.  Qualified separable signatures avoid repeated content reads under the caller's refreshed clock. Successful aggregate proof adopts earned project/external signatures and clears unverified flags; it neither clears recorded changes/failed flags nor makes later quiet notifications sufficient without their other admission conditions.
  */
 export declare function matchesCompleteInputSnapshot(
 /**
  * Generation with a complete capture baseline and caller-refreshed clock
  * proof.
  */
-cached: TtscCachedProjectTransform): boolean;
+cached: TtscCachedProjectTransform, proof?: TtscGenerationProof.Transaction): boolean;

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform";
+import type { TtscGenerationProof } from "./TtscGenerationProof";
 /**
  * Prove one generation from its own recorded snapshot, with no help from live
  * notifications.
@@ -29,11 +30,11 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  *   target scans, signature entry materialization/adoption and native identity
  *   work add population/path/digit costs; unresolved content and predicate
  *   replay add bytes/listings. Early rejection skips subsequent domains.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  Qualified separable signatures avoid repeated content reads under the caller's refreshed clock. Successful aggregate proof adopts earned project/external signatures and clears unverified flags; it neither clears recorded changes/failed flags nor makes later quiet notifications sufficient without their other admission conditions.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicates remain mandatory on every delivery. An exact-generation synchronous transaction may share their current replay across nested validators, but no pass or notification shortcut authorizes a later delivery to skip them.  Qualified separable signatures avoid repeated content reads under the caller's refreshed clock. Successful aggregate proof adopts earned project/external signatures and clears unverified flags; it neither clears recorded changes/failed flags nor makes later quiet notifications sufficient without their other admission conditions.
  */
 export declare function matchesCompleteInputSnapshot(
 /**
  * Generation with a complete capture baseline and caller-refreshed clock
  * proof.
  */
-cached: TtscCachedProjectTransform): boolean;
+cached: TtscCachedProjectTransform, proof?: TtscGenerationProof.Transaction): boolean;

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

@@ -44,15 +44,15 @@ var walkSnapshotComplete = require('./walkSnapshotComplete.js');
  *   target scans, signature entry materialization/adoption and native identity
  *   work add population/path/digit costs; unresolved content and predicate
  *   replay add bytes/listings. Early rejection skips subsequent domains.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  Qualified separable signatures avoid repeated content reads under the caller's refreshed clock. Successful aggregate proof adopts earned project/external signatures and clears unverified flags; it neither clears recorded changes/failed flags nor makes later quiet notifications sufficient without their other admission conditions.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicates remain mandatory on every delivery. An exact-generation synchronous transaction may share their current replay across nested validators, but no pass or notification shortcut authorizes a later delivery to skip them.  Qualified separable signatures avoid repeated content reads under the caller's refreshed clock. Successful aggregate proof adopts earned project/external signatures and clears unverified flags; it neither clears recorded changes/failed flags nor makes later quiet notifications sufficient without their other admission conditions.
  */
 function matchesCompleteInputSnapshot(
 /**
  * Generation with a complete capture baseline and caller-refreshed clock
  * proof.
  */
-cached) {
-    if (!nativeInputPredicatesHold.nativeInputPredicatesHold(cached))
+cached, proof) {
+    if (!nativeInputPredicatesHold.nativeInputPredicatesHold(cached, proof))
         return false;
     if (cached.projectSnapshotComplete !== true ||
         cached.projectDirectories === undefined) {
@@ -70,7 +70,7 @@ cached) {
     if (hostValidation === undefined ||
         !matchesUniversalHostInputEntries.matchesUniversalHostInputEntries(cached, hostValidation) ||
         !matchesUniversalHostInputProbes.matchesUniversalHostInputProbes(cached, hostValidation) ||
-        !matchesUniversalHostInputTrees.matchesUniversalHostInputTrees(cached, hostValidation)) {
+        !matchesUniversalHostInputTrees.matchesUniversalHostInputTrees(cached, hostValidation, proof)) {
         return false;
     }
     const declaredInputs = declaredProjectInputKeys.declaredProjectInputKeys(state, cached);

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

@@ -1 +1 @@
-{"version":3,"file":"matchesCompleteInputSnapshot.js","sources":["../../../../src/core/transform/validation/matchesCompleteInputSnapshot.ts"],"sourcesContent":[null],"names":["nativeInputPredicatesHold","envelopeDerivation","matchesUniversalHostInputEntries","matchesUniversalHostInputProbes","matchesUniversalHostInputTrees","declaredProjectInputKeys","collectProjectInputSnapshot","resultFilesystem","walkSnapshotComplete","sameProjectDirectories","sameHashes","matchesCachedExternalInputs","matchesExternalInputRealpaths"],"mappings":";;;;;;;;;;;;;;;;AAeA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BG;SACa,4BAA4B;AAC1C;;;AAGG;AACH,MAAkC,EAAA;AAElC,IAAA,IAAI,CAACA,mDAAyB,CAAC,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;AACpD,IAAA,IACE,MAAM,CAAC,uBAAuB,KAAK,IAAI;AACvC,QAAA,MAAM,CAAC,kBAAkB,KAAK,SAAS,EACvC;AACA,QAAA,OAAO,KAAK;IACd;;;;;;;;AAQA,IAAA,MAAM,KAAK,GAAGC,qCAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB;IACjD,IACE,cAAc,KAAK,SAAS;AAC5B,QAAA,CAACC,iEAAgC,CAAC,MAAM,EAAE,cAAc,CAAC;AACzD,QAAA,CAACC,+DAA+B,CAAC,MAAM,EAAE,cAAc,CAAC;AACxD,QAAA,CAACC,6DAA8B,CAAC,MAAM,EAAE,cAAc,CAAC,EACvD;AACA,QAAA,OAAO,KAAK;IACd;IACA,MAAM,cAAc,GAAGC,iDAAwB,CAAC,KAAK,EAAE,MAAM,CAAC;IAC9D,MAAM,OAAO,GAAGC,uDAA2B,CACzC,MAAM,CAAC,WAAW,EAClB,KAAK,CAAC,eAAe,EACrBC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,MAAM,CAAC,eAAe,KAAK;AACzB,UAAE;AACF,UAAE,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,eAAe,EAAE,EACtE;;;AAGE,QAAA,YAAY,EAAE,cAAc;QAC5B,MAAM,EAAE,MAAM,CAAC,gBAAgB;AAChC,KAAA,CACF;IACD,IAAI,CAACC,yCAAoB,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE;AAClD,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IACE,CAACC,6CAAsB,CACrB,MAAM,CAAC,kBAAkB,EACzB,OAAO,CAAC,kBAAkB,CAC3B,EACD;AACA,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IAAI,CAACC,qBAAU,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE;AACnE,QAAA,OAAO,KAAK;IACd;;;;;;;;;AASA,IAAA,MAAM,eAAe,GAAGC,uDAA2B,CAAC,MAAM,CAAC;IAC3D,IAAI,CAAC,eAAe,CAAC,OAAO,IAAI,CAACC,2DAA6B,CAAC,MAAM,CAAC,EAAE;AACtE,QAAA,OAAO,KAAK;IACd;IACA,qBAAqB,CAAC,MAAM,EAAE;QAC5B,QAAQ,EAAE,eAAe,CAAC,UAAU;QACpC,OAAO,EAAE,OAAO,CAAC,gBAAgB;AAClC,KAAA,CAAC;;;;AAIF,IAAA,MAAM,CAAC,kBAAkB,GAAG,OAAO,CAAC,kBAAkB;;;;IAItD,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;AAAE,YAAA,OAAO,CAAC,UAAU,GAAG,KAAK;IACvD;AACA,IAAA,OAAO,IAAI;AACb;AAEA;;;;;;;;;;;;;AAaG;AACH,SAAS,qBAAqB,CAC5B,MAAkC,EAClC,MAGC,EAAA;IAED,MAAM,iBAAiB,IAAI,MAAM,CAAC,eAAe,KAAK,EAAE,CAAC;AACzD,IAAA,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE;AAC7D,QAAA,iBAAiB,CAAC,GAAG,CAAC,GAAG,SAAS;IACpC;IACA,MAAM,kBAAkB,IAAI,MAAM,CAAC,uBAAuB,KAAK,EAAE,CAAC;AAClE,IAAA,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE;AACnE,QAAA,kBAAkB,CAAC,QAAQ,CAAC,GAAG,SAAS;IAC1C;AACF;;;;"}
+{"version":3,"file":"matchesCompleteInputSnapshot.js","sources":["../../../../src/core/transform/validation/matchesCompleteInputSnapshot.ts"],"sourcesContent":[null],"names":["nativeInputPredicatesHold","envelopeDerivation","matchesUniversalHostInputEntries","matchesUniversalHostInputProbes","matchesUniversalHostInputTrees","declaredProjectInputKeys","collectProjectInputSnapshot","resultFilesystem","walkSnapshotComplete","sameProjectDirectories","sameHashes","matchesCachedExternalInputs","matchesExternalInputRealpaths"],"mappings":";;;;;;;;;;;;;;;;AAgBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BG;SACa,4BAA4B;AAC1C;;;AAGG;AACH,MAAkC,EAClC,KAAuC,EAAA;AAEvC,IAAA,IAAI,CAACA,mDAAyB,CAAC,MAAM,EAAE,KAAK,CAAC;AAAE,QAAA,OAAO,KAAK;AAC3D,IAAA,IACE,MAAM,CAAC,uBAAuB,KAAK,IAAI;AACvC,QAAA,MAAM,CAAC,kBAAkB,KAAK,SAAS,EACvC;AACA,QAAA,OAAO,KAAK;IACd;;;;;;;;AAQA,IAAA,MAAM,KAAK,GAAGC,qCAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB;IACjD,IACE,cAAc,KAAK,SAAS;AAC5B,QAAA,CAACC,iEAAgC,CAAC,MAAM,EAAE,cAAc,CAAC;AACzD,QAAA,CAACC,+DAA+B,CAAC,MAAM,EAAE,cAAc,CAAC;QACxD,CAACC,6DAA8B,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,CAAC,EAC9D;AACA,QAAA,OAAO,KAAK;IACd;IACA,MAAM,cAAc,GAAGC,iDAAwB,CAAC,KAAK,EAAE,MAAM,CAAC;IAC9D,MAAM,OAAO,GAAGC,uDAA2B,CACzC,MAAM,CAAC,WAAW,EAClB,KAAK,CAAC,eAAe,EACrBC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,MAAM,CAAC,eAAe,KAAK;AACzB,UAAE;AACF,UAAE,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,eAAe,EAAE,EACtE;;;AAGE,QAAA,YAAY,EAAE,cAAc;QAC5B,MAAM,EAAE,MAAM,CAAC,gBAAgB;AAChC,KAAA,CACF;IACD,IAAI,CAACC,yCAAoB,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE;AAClD,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IACE,CAACC,6CAAsB,CACrB,MAAM,CAAC,kBAAkB,EACzB,OAAO,CAAC,kBAAkB,CAC3B,EACD;AACA,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IAAI,CAACC,qBAAU,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE;AACnE,QAAA,OAAO,KAAK;IACd;;;;;;;;;AASA,IAAA,MAAM,eAAe,GAAGC,uDAA2B,CAAC,MAAM,CAAC;IAC3D,IAAI,CAAC,eAAe,CAAC,OAAO,IAAI,CAACC,2DAA6B,CAAC,MAAM,CAAC,EAAE;AACtE,QAAA,OAAO,KAAK;IACd;IACA,qBAAqB,CAAC,MAAM,EAAE;QAC5B,QAAQ,EAAE,eAAe,CAAC,UAAU;QACpC,OAAO,EAAE,OAAO,CAAC,gBAAgB;AAClC,KAAA,CAAC;;;;AAIF,IAAA,MAAM,CAAC,kBAAkB,GAAG,OAAO,CAAC,kBAAkB;;;;IAItD,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;AAAE,YAAA,OAAO,CAAC,UAAU,GAAG,KAAK;IACvD;AACA,IAAA,OAAO,IAAI;AACb;AAEA;;;;;;;;;;;;;AAaG;AACH,SAAS,qBAAqB,CAC5B,MAAkC,EAClC,MAGC,EAAA;IAED,MAAM,iBAAiB,IAAI,MAAM,CAAC,eAAe,KAAK,EAAE,CAAC;AACzD,IAAA,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE;AAC7D,QAAA,iBAAiB,CAAC,GAAG,CAAC,GAAG,SAAS;IACpC;IACA,MAAM,kBAAkB,IAAI,MAAM,CAAC,uBAAuB,KAAK,EAAE,CAAC;AAClE,IAAA,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE;AACnE,QAAA,kBAAkB,CAAC,QAAQ,CAAC,GAAG,SAAS;IAC1C;AACF;;;;"}

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

@@ -42,15 +42,15 @@ import { walkSnapshotComplete } from './walkSnapshotComplete.mjs';
  *   target scans, signature entry materialization/adoption and native identity
  *   work add population/path/digit costs; unresolved content and predicate
  *   replay add bytes/listings. Early rejection skips subsequent domains.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  Qualified separable signatures avoid repeated content reads under the caller's refreshed clock. Successful aggregate proof adopts earned project/external signatures and clears unverified flags; it neither clears recorded changes/failed flags nor makes later quiet notifications sufficient without their other admission conditions.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicates remain mandatory on every delivery. An exact-generation synchronous transaction may share their current replay across nested validators, but no pass or notification shortcut authorizes a later delivery to skip them.  Qualified separable signatures avoid repeated content reads under the caller's refreshed clock. Successful aggregate proof adopts earned project/external signatures and clears unverified flags; it neither clears recorded changes/failed flags nor makes later quiet notifications sufficient without their other admission conditions.
  */
 function matchesCompleteInputSnapshot(
 /**
  * Generation with a complete capture baseline and caller-refreshed clock
  * proof.
  */
-cached) {
-    if (!nativeInputPredicatesHold(cached))
+cached, proof) {
+    if (!nativeInputPredicatesHold(cached, proof))
         return false;
     if (cached.projectSnapshotComplete !== true ||
         cached.projectDirectories === undefined) {
@@ -68,7 +68,7 @@ cached) {
     if (hostValidation === undefined ||
         !matchesUniversalHostInputEntries(cached, hostValidation) ||
         !matchesUniversalHostInputProbes(cached, hostValidation) ||
-        !matchesUniversalHostInputTrees(cached, hostValidation)) {
+        !matchesUniversalHostInputTrees(cached, hostValidation, proof)) {
         return false;
     }
     const declaredInputs = declaredProjectInputKeys(state, cached);

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

@@ -1 +1 @@
-{"version":3,"file":"matchesCompleteInputSnapshot.mjs","sources":["../../../../src/core/transform/validation/matchesCompleteInputSnapshot.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;AAeA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BG;SACa,4BAA4B;AAC1C;;;AAGG;AACH,MAAkC,EAAA;AAElC,IAAA,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;AACpD,IAAA,IACE,MAAM,CAAC,uBAAuB,KAAK,IAAI;AACvC,QAAA,MAAM,CAAC,kBAAkB,KAAK,SAAS,EACvC;AACA,QAAA,OAAO,KAAK;IACd;;;;;;;;AAQA,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB;IACjD,IACE,cAAc,KAAK,SAAS;AAC5B,QAAA,CAAC,gCAAgC,CAAC,MAAM,EAAE,cAAc,CAAC;AACzD,QAAA,CAAC,+BAA+B,CAAC,MAAM,EAAE,cAAc,CAAC;AACxD,QAAA,CAAC,8BAA8B,CAAC,MAAM,EAAE,cAAc,CAAC,EACvD;AACA,QAAA,OAAO,KAAK;IACd;IACA,MAAM,cAAc,GAAG,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC;IAC9D,MAAM,OAAO,GAAG,2BAA2B,CACzC,MAAM,CAAC,WAAW,EAClB,KAAK,CAAC,eAAe,EACrB,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,MAAM,CAAC,eAAe,KAAK;AACzB,UAAE;AACF,UAAE,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,eAAe,EAAE,EACtE;;;AAGE,QAAA,YAAY,EAAE,cAAc;QAC5B,MAAM,EAAE,MAAM,CAAC,gBAAgB;AAChC,KAAA,CACF;IACD,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE;AAClD,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IACE,CAAC,sBAAsB,CACrB,MAAM,CAAC,kBAAkB,EACzB,OAAO,CAAC,kBAAkB,CAC3B,EACD;AACA,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE;AACnE,QAAA,OAAO,KAAK;IACd;;;;;;;;;AASA,IAAA,MAAM,eAAe,GAAG,2BAA2B,CAAC,MAAM,CAAC;IAC3D,IAAI,CAAC,eAAe,CAAC,OAAO,IAAI,CAAC,6BAA6B,CAAC,MAAM,CAAC,EAAE;AACtE,QAAA,OAAO,KAAK;IACd;IACA,qBAAqB,CAAC,MAAM,EAAE;QAC5B,QAAQ,EAAE,eAAe,CAAC,UAAU;QACpC,OAAO,EAAE,OAAO,CAAC,gBAAgB;AAClC,KAAA,CAAC;;;;AAIF,IAAA,MAAM,CAAC,kBAAkB,GAAG,OAAO,CAAC,kBAAkB;;;;IAItD,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;AAAE,YAAA,OAAO,CAAC,UAAU,GAAG,KAAK;IACvD;AACA,IAAA,OAAO,IAAI;AACb;AAEA;;;;;;;;;;;;;AAaG;AACH,SAAS,qBAAqB,CAC5B,MAAkC,EAClC,MAGC,EAAA;IAED,MAAM,iBAAiB,IAAI,MAAM,CAAC,eAAe,KAAK,EAAE,CAAC;AACzD,IAAA,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE;AAC7D,QAAA,iBAAiB,CAAC,GAAG,CAAC,GAAG,SAAS;IACpC;IACA,MAAM,kBAAkB,IAAI,MAAM,CAAC,uBAAuB,KAAK,EAAE,CAAC;AAClE,IAAA,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE;AACnE,QAAA,kBAAkB,CAAC,QAAQ,CAAC,GAAG,SAAS;IAC1C;AACF;;;;"}
+{"version":3,"file":"matchesCompleteInputSnapshot.mjs","sources":["../../../../src/core/transform/validation/matchesCompleteInputSnapshot.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;AAgBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BG;SACa,4BAA4B;AAC1C;;;AAGG;AACH,MAAkC,EAClC,KAAuC,EAAA;AAEvC,IAAA,IAAI,CAAC,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC;AAAE,QAAA,OAAO,KAAK;AAC3D,IAAA,IACE,MAAM,CAAC,uBAAuB,KAAK,IAAI;AACvC,QAAA,MAAM,CAAC,kBAAkB,KAAK,SAAS,EACvC;AACA,QAAA,OAAO,KAAK;IACd;;;;;;;;AAQA,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB;IACjD,IACE,cAAc,KAAK,SAAS;AAC5B,QAAA,CAAC,gCAAgC,CAAC,MAAM,EAAE,cAAc,CAAC;AACzD,QAAA,CAAC,+BAA+B,CAAC,MAAM,EAAE,cAAc,CAAC;QACxD,CAAC,8BAA8B,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,CAAC,EAC9D;AACA,QAAA,OAAO,KAAK;IACd;IACA,MAAM,cAAc,GAAG,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC;IAC9D,MAAM,OAAO,GAAG,2BAA2B,CACzC,MAAM,CAAC,WAAW,EAClB,KAAK,CAAC,eAAe,EACrB,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,MAAM,CAAC,eAAe,KAAK;AACzB,UAAE;AACF,UAAE,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,eAAe,EAAE,EACtE;;;AAGE,QAAA,YAAY,EAAE,cAAc;QAC5B,MAAM,EAAE,MAAM,CAAC,gBAAgB;AAChC,KAAA,CACF;IACD,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE;AAClD,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IACE,CAAC,sBAAsB,CACrB,MAAM,CAAC,kBAAkB,EACzB,OAAO,CAAC,kBAAkB,CAC3B,EACD;AACA,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE;AACnE,QAAA,OAAO,KAAK;IACd;;;;;;;;;AASA,IAAA,MAAM,eAAe,GAAG,2BAA2B,CAAC,MAAM,CAAC;IAC3D,IAAI,CAAC,eAAe,CAAC,OAAO,IAAI,CAAC,6BAA6B,CAAC,MAAM,CAAC,EAAE;AACtE,QAAA,OAAO,KAAK;IACd;IACA,qBAAqB,CAAC,MAAM,EAAE;QAC5B,QAAQ,EAAE,eAAe,CAAC,UAAU;QACpC,OAAO,EAAE,OAAO,CAAC,gBAAgB;AAClC,KAAA,CAAC;;;;AAIF,IAAA,MAAM,CAAC,kBAAkB,GAAG,OAAO,CAAC,kBAAkB;;;;IAItD,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;AAAE,YAAA,OAAO,CAAC,UAAU,GAAG,KAAK;IACvD;AACA,IAAA,OAAO,IAAI;AACb;AAEA;;;;;;;;;;;;;AAaG;AACH,SAAS,qBAAqB,CAC5B,MAAkC,EAClC,MAGC,EAAA;IAED,MAAM,iBAAiB,IAAI,MAAM,CAAC,eAAe,KAAK,EAAE,CAAC;AACzD,IAAA,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE;AAC7D,QAAA,iBAAiB,CAAC,GAAG,CAAC,GAAG,SAAS;IACpC;IACA,MAAM,kBAAkB,IAAI,MAAM,CAAC,uBAAuB,KAAK,EAAE,CAAC;AAClE,IAAA,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE;AACnE,QAAA,kBAAkB,CAAC,QAAQ,CAAC,GAAG,SAAS;IAC1C;AACF;;;;"}

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.cjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.cjs";
 /**
  * Validate one graph-bearing cached output against only the inputs that can
  * affect that file. The delivery validator establishes its complete baseline
@@ -39,4 +40,4 @@ export declare function matchesNarrowPersistentInputs(
  */
 cached: TtscCachedProjectTransform, 
 /** Delivered file spelling selecting this envelope's dependency closure. */
-file: string): boolean | undefined;
+file: string, proof?: TtscGenerationProof.Transaction): boolean | undefined;

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.mjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.mjs";
 /**
  * Validate one graph-bearing cached output against only the inputs that can
  * affect that file. The delivery validator establishes its complete baseline
@@ -39,4 +40,4 @@ export declare function matchesNarrowPersistentInputs(
  */
 cached: TtscCachedProjectTransform, 
 /** Delivered file spelling selecting this envelope's dependency closure. */
-file: string): boolean | undefined;
+file: string, proof?: TtscGenerationProof.Transaction): boolean | undefined;

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform";
+import type { TtscGenerationProof } from "./TtscGenerationProof";
 /**
  * Validate one graph-bearing cached output against only the inputs that can
  * affect that file. The delivery validator establishes its complete baseline
@@ -39,4 +40,4 @@ export declare function matchesNarrowPersistentInputs(
  */
 cached: TtscCachedProjectTransform, 
 /** Delivered file spelling selecting this envelope's dependency closure. */
-file: string): boolean | undefined;
+file: string, proof?: TtscGenerationProof.Transaction): boolean | undefined;

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

@@ -48,7 +48,7 @@ function matchesNarrowPersistentInputs(
  */
 cached, 
 /** Delivered file spelling selecting this envelope's dependency closure. */
-file) {
+file, proof) {
     if (reportsMembershipChange.reportsMembershipChange(cached)) {
         return false;
     }
@@ -60,7 +60,7 @@ file) {
     if (hostValidation === undefined) {
         return undefined;
     }
-    if (!matchesUniversalHostInputs.matchesUniversalHostInputs(cached, hostValidation)) {
+    if (!matchesUniversalHostInputs.matchesUniversalHostInputs(cached, hostValidation, proof)) {
         return false;
     }
     const inputs = selectWatchInputs.selectWatchInputs({

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

@@ -1 +1 @@
-{"version":3,"file":"matchesNarrowPersistentInputs.js","sources":["../../../../src/core/transform/validation/matchesNarrowPersistentInputs.ts"],"sourcesContent":[null],"names":["reportsMembershipChange","notificationsProveMembership","envelopeDerivation","matchesUniversalHostInputs","selectWatchInputs","matchesProvenInput"],"mappings":";;;;;;;;;;AAUA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCG;SACa,6BAA6B;AAC3C;;;AAGG;AACH,MAAkC;AAClC;AACA,IAAY,EAAA;AAEZ,IAAA,IAAIA,+CAAuB,CAAC,MAAM,CAAC,EAAE;AACnC,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IAAI,CAACC,yDAA4B,CAAC,MAAM,CAAC,EAAE;AACzC,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,MAAM,KAAK,GAAGC,qCAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB;AACjD,IAAA,IAAI,cAAc,KAAK,SAAS,EAAE;AAChC,QAAA,OAAO,SAAS;IAClB;IACA,IAAI,CAACC,qDAA0B,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE;AACvD,QAAA,OAAO,KAAK;IACd;IACA,MAAM,MAAM,GAAGC,mCAAiB,CAAC;QAC/B,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;AACF,IAAA,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;;;;AAI1B,QAAA,IAAI,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE;YACnD;QACF;QACA,IAAI,CAACC,qCAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;AAC7C,YAAA,OAAO,KAAK;QACd;IACF;AACA,IAAA,OAAO,IAAI;AACb;;;;"}
+{"version":3,"file":"matchesNarrowPersistentInputs.js","sources":["../../../../src/core/transform/validation/matchesNarrowPersistentInputs.ts"],"sourcesContent":[null],"names":["reportsMembershipChange","notificationsProveMembership","envelopeDerivation","matchesUniversalHostInputs","selectWatchInputs","matchesProvenInput"],"mappings":";;;;;;;;;;AAWA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCG;SACa,6BAA6B;AAC3C;;;AAGG;AACH,MAAkC;AAClC;AACA,IAAY,EACZ,KAAuC,EAAA;AAEvC,IAAA,IAAIA,+CAAuB,CAAC,MAAM,CAAC,EAAE;AACnC,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IAAI,CAACC,yDAA4B,CAAC,MAAM,CAAC,EAAE;AACzC,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,MAAM,KAAK,GAAGC,qCAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB;AACjD,IAAA,IAAI,cAAc,KAAK,SAAS,EAAE;AAChC,QAAA,OAAO,SAAS;IAClB;IACA,IAAI,CAACC,qDAA0B,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,CAAC,EAAE;AAC9D,QAAA,OAAO,KAAK;IACd;IACA,MAAM,MAAM,GAAGC,mCAAiB,CAAC;QAC/B,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;AACF,IAAA,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;;;;AAI1B,QAAA,IAAI,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE;YACnD;QACF;QACA,IAAI,CAACC,qCAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;AAC7C,YAAA,OAAO,KAAK;QACd;IACF;AACA,IAAA,OAAO,IAAI;AACb;;;;"}

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

@@ -46,7 +46,7 @@ function matchesNarrowPersistentInputs(
  */
 cached, 
 /** Delivered file spelling selecting this envelope's dependency closure. */
-file) {
+file, proof) {
     if (reportsMembershipChange(cached)) {
         return false;
     }
@@ -58,7 +58,7 @@ file) {
     if (hostValidation === undefined) {
         return undefined;
     }
-    if (!matchesUniversalHostInputs(cached, hostValidation)) {
+    if (!matchesUniversalHostInputs(cached, hostValidation, proof)) {
         return false;
     }
     const inputs = selectWatchInputs({

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

@@ -1 +1 @@
-{"version":3,"file":"matchesNarrowPersistentInputs.mjs","sources":["../../../../src/core/transform/validation/matchesNarrowPersistentInputs.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;AAUA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCG;SACa,6BAA6B;AAC3C;;;AAGG;AACH,MAAkC;AAClC;AACA,IAAY,EAAA;AAEZ,IAAA,IAAI,uBAAuB,CAAC,MAAM,CAAC,EAAE;AACnC,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,EAAE;AACzC,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB;AACjD,IAAA,IAAI,cAAc,KAAK,SAAS,EAAE;AAChC,QAAA,OAAO,SAAS;IAClB;IACA,IAAI,CAAC,0BAA0B,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE;AACvD,QAAA,OAAO,KAAK;IACd;IACA,MAAM,MAAM,GAAG,iBAAiB,CAAC;QAC/B,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;AACF,IAAA,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;;;;AAI1B,QAAA,IAAI,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE;YACnD;QACF;QACA,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;AAC7C,YAAA,OAAO,KAAK;QACd;IACF;AACA,IAAA,OAAO,IAAI;AACb;;;;"}
+{"version":3,"file":"matchesNarrowPersistentInputs.mjs","sources":["../../../../src/core/transform/validation/matchesNarrowPersistentInputs.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;AAWA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCG;SACa,6BAA6B;AAC3C;;;AAGG;AACH,MAAkC;AAClC;AACA,IAAY,EACZ,KAAuC,EAAA;AAEvC,IAAA,IAAI,uBAAuB,CAAC,MAAM,CAAC,EAAE;AACnC,QAAA,OAAO,KAAK;IACd;AACA,IAAA,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,EAAE;AACzC,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB;AACjD,IAAA,IAAI,cAAc,KAAK,SAAS,EAAE;AAChC,QAAA,OAAO,SAAS;IAClB;IACA,IAAI,CAAC,0BAA0B,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,CAAC,EAAE;AAC9D,QAAA,OAAO,KAAK;IACd;IACA,MAAM,MAAM,GAAG,iBAAiB,CAAC;QAC/B,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;AACF,IAAA,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;;;;AAI1B,QAAA,IAAI,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE;YACnD;QACF;QACA,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;AAC7C,YAAA,OAAO,KAAK;QACd;IACF;AACA,IAAA,OAAO,IAAI;AACb;;;;"}

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.cjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.cjs";
 import type { TtscHostInputValidation } from "./TtscHostInputValidation.cjs";
 /**
  * Whether every plugin source directory of a generation still holds the state
@@ -31,7 +32,7 @@ import type { TtscHostInputValidation } from "./TtscHostInputValidation.cjs";
  * @evidence contracts/common.md#meaningful-documentation Native paragraphs distinguish source notification, environment authority and metadata-qualified digest reuse before param tags.
  * @evidence contracts/portability.md#os-neutral-implementation Supported plugin-source APIs and capability-qualified native trackers own source/toolchain observation without OS-wide watcher assumptions.
  * @evidence contracts/performance.md#bound-retention-and-release-resources One environment witness per current manifest tree is replaced in place; no delivery history is retained.
- * @evidence contracts/performance.md#efficient-algorithms Each tree first pays the shared environment reader's variable-key construction and native dependency qualification. Qualified silent sources avoid enumeration; other trees enumerate and sort the selected file population, inspect metadata and hash source bytes whenever population, metadata or clock evidence cannot qualify reuse. The synchronous owner can also refresh native environment authority after a mismatch.
+ * @evidence contracts/performance.md#efficient-algorithms An exact-generation synchronous transaction supplies one current batched environment qualification; otherwise each tree pays the shared environment reader's variable-key construction and native dependency qualification. Qualified silent sources avoid enumeration; other trees enumerate and sort the selected file population, inspect metadata and hash source bytes whenever population, metadata or clock evidence cannot qualify reuse. The synchronous owner can also refresh native environment authority after a mismatch.
  * @evidence contracts/performance.md#reuse-equivalent-work Generation environment witnesses and the owning digest cache share prior proof only while source and toolchain identities remain valid.
  */
-export declare function matchesUniversalHostInputTrees(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation): boolean;
+export declare function matchesUniversalHostInputTrees(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation, proof?: TtscGenerationProof.Transaction): boolean;

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.mjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.mjs";
 import type { TtscHostInputValidation } from "./TtscHostInputValidation.mjs";
 /**
  * Whether every plugin source directory of a generation still holds the state
@@ -31,7 +32,7 @@ import type { TtscHostInputValidation } from "./TtscHostInputValidation.mjs";
  * @evidence contracts/common.md#meaningful-documentation Native paragraphs distinguish source notification, environment authority and metadata-qualified digest reuse before param tags.
  * @evidence contracts/portability.md#os-neutral-implementation Supported plugin-source APIs and capability-qualified native trackers own source/toolchain observation without OS-wide watcher assumptions.
  * @evidence contracts/performance.md#bound-retention-and-release-resources One environment witness per current manifest tree is replaced in place; no delivery history is retained.
- * @evidence contracts/performance.md#efficient-algorithms Each tree first pays the shared environment reader's variable-key construction and native dependency qualification. Qualified silent sources avoid enumeration; other trees enumerate and sort the selected file population, inspect metadata and hash source bytes whenever population, metadata or clock evidence cannot qualify reuse. The synchronous owner can also refresh native environment authority after a mismatch.
+ * @evidence contracts/performance.md#efficient-algorithms An exact-generation synchronous transaction supplies one current batched environment qualification; otherwise each tree pays the shared environment reader's variable-key construction and native dependency qualification. Qualified silent sources avoid enumeration; other trees enumerate and sort the selected file population, inspect metadata and hash source bytes whenever population, metadata or clock evidence cannot qualify reuse. The synchronous owner can also refresh native environment authority after a mismatch.
  * @evidence contracts/performance.md#reuse-equivalent-work Generation environment witnesses and the owning digest cache share prior proof only while source and toolchain identities remain valid.
  */
-export declare function matchesUniversalHostInputTrees(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation): boolean;
+export declare function matchesUniversalHostInputTrees(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation, proof?: TtscGenerationProof.Transaction): boolean;

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform";
+import type { TtscGenerationProof } from "./TtscGenerationProof";
 import type { TtscHostInputValidation } from "./TtscHostInputValidation";
 /**
  * Whether every plugin source directory of a generation still holds the state
@@ -31,7 +32,7 @@ import type { TtscHostInputValidation } from "./TtscHostInputValidation";
  * @evidence contracts/common.md#meaningful-documentation Native paragraphs distinguish source notification, environment authority and metadata-qualified digest reuse before param tags.
  * @evidence contracts/portability.md#os-neutral-implementation Supported plugin-source APIs and capability-qualified native trackers own source/toolchain observation without OS-wide watcher assumptions.
  * @evidence contracts/performance.md#bound-retention-and-release-resources One environment witness per current manifest tree is replaced in place; no delivery history is retained.
- * @evidence contracts/performance.md#efficient-algorithms Each tree first pays the shared environment reader's variable-key construction and native dependency qualification. Qualified silent sources avoid enumeration; other trees enumerate and sort the selected file population, inspect metadata and hash source bytes whenever population, metadata or clock evidence cannot qualify reuse. The synchronous owner can also refresh native environment authority after a mismatch.
+ * @evidence contracts/performance.md#efficient-algorithms An exact-generation synchronous transaction supplies one current batched environment qualification; otherwise each tree pays the shared environment reader's variable-key construction and native dependency qualification. Qualified silent sources avoid enumeration; other trees enumerate and sort the selected file population, inspect metadata and hash source bytes whenever population, metadata or clock evidence cannot qualify reuse. The synchronous owner can also refresh native environment authority after a mismatch.
  * @evidence contracts/performance.md#reuse-equivalent-work Generation environment witnesses and the owning digest cache share prior proof only while source and toolchain identities remain valid.
  */
-export declare function matchesUniversalHostInputTrees(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation): boolean;
+export declare function matchesUniversalHostInputTrees(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation, proof?: TtscGenerationProof.Transaction): boolean;

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

@@ -37,23 +37,25 @@ var trackerProvesInputUnchanged = require('./trackerProvesInputUnchanged.js');
  * @evidence contracts/common.md#meaningful-documentation Native paragraphs distinguish source notification, environment authority and metadata-qualified digest reuse before param tags.
  * @evidence contracts/portability.md#os-neutral-implementation Supported plugin-source APIs and capability-qualified native trackers own source/toolchain observation without OS-wide watcher assumptions.
  * @evidence contracts/performance.md#bound-retention-and-release-resources One environment witness per current manifest tree is replaced in place; no delivery history is retained.
- * @evidence contracts/performance.md#efficient-algorithms Each tree first pays the shared environment reader's variable-key construction and native dependency qualification. Qualified silent sources avoid enumeration; other trees enumerate and sort the selected file population, inspect metadata and hash source bytes whenever population, metadata or clock evidence cannot qualify reuse. The synchronous owner can also refresh native environment authority after a mismatch.
+ * @evidence contracts/performance.md#efficient-algorithms An exact-generation synchronous transaction supplies one current batched environment qualification; otherwise each tree pays the shared environment reader's variable-key construction and native dependency qualification. Qualified silent sources avoid enumeration; other trees enumerate and sort the selected file population, inspect metadata and hash source bytes whenever population, metadata or clock evidence cannot qualify reuse. The synchronous owner can also refresh native environment authority after a mismatch.
  * @evidence contracts/performance.md#reuse-equivalent-work Generation environment witnesses and the owning digest cache share prior proof only while source and toolchain identities remain valid.
  */
-function matchesUniversalHostInputTrees(cached, validation) {
+function matchesUniversalHostInputTrees(cached, validation, proof) {
     for (const [directory, digest] of validation.trees) {
         // Read before any proof, so the environment recorded below is one the
         // proof saw or older, never a newer one it did not prove.
         const prepared = preparePluginBuildEnvironments.usesPreparedPluginBuildEnvironments(cached.result);
         const environment = prepared
-            ? pluginSource.PluginBuildEnvironmentReadings.cached(directory)
-            : pluginSource.processPluginBuildEnvironment(directory);
+            ? proof?.cached === cached && proof.environments !== undefined
+                ? proof.environments.get(directory)
+                : pluginSource.PluginBuildEnvironmentReadings.cached(directory)
+            : pluginSource.processPluginBuildEnvironment(directory, false, cached.projectRoot);
         if (environment === undefined)
             return false;
         if (trackerProvesInputUnchanged.trackerProvesInputUnchanged(cached.hostInputMutationTracker, directory) &&
             validation.treeEnvironments?.get(directory) === environment)
             continue;
-        if (!pluginSourceHolds.pluginSourceHolds(directory, digest, resultFilesystem.resultFilesystem(cached.result), prepared ? { environment } : undefined))
+        if (!pluginSourceHolds.pluginSourceHolds(directory, digest, resultFilesystem.resultFilesystem(cached.result), prepared ? { environment } : undefined, cached.projectRoot))
             return false;
         (validation.treeEnvironments ??= new Map()).set(directory, environment);
     }

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

@@ -1 +1 @@
-{"version":3,"file":"matchesUniversalHostInputTrees.js","sources":["../../../../src/core/transform/validation/matchesUniversalHostInputTrees.ts"],"sourcesContent":[null],"names":["usesPreparedPluginBuildEnvironments","PluginBuildEnvironmentReadings","processPluginBuildEnvironment","trackerProvesInputUnchanged","pluginSourceHolds","resultFilesystem"],"mappings":";;;;;;;;AAYA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiCG;AACG,SAAU,8BAA8B,CAC5C,MAAkC,EAClC,UAAmC,EAAA;IAEnC,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE;;;QAGlD,MAAM,QAAQ,GAAGA,kEAAmC,CAAC,MAAM,CAAC,MAAM,CAAC;QACnE,MAAM,WAAW,GAAG;AAClB,cAAEC,2CAA8B,CAAC,MAAM,CAAC,SAAS;AACjD,cAAEC,0CAA6B,CAAC,SAAS,CAAC;QAC5C,IAAI,WAAW,KAAK,SAAS;AAAE,YAAA,OAAO,KAAK;AAC3C,QAAA,IACEC,uDAA2B,CAAC,MAAM,CAAC,wBAAwB,EAAE,SAAS,CAAC;YACvE,UAAU,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,WAAW;YAE3D;QACF,IACE,CAACC,mCAAiB,CAChB,SAAS,EACT,MAAM,EACNC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,QAAQ,GAAG,EAAE,WAAW,EAAE,GAAG,SAAS,CACvC;AAED,YAAA,OAAO,KAAK;AACd,QAAA,CAAC,UAAU,CAAC,gBAAgB,KAAK,IAAI,GAAG,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC;IACzE;AACA,IAAA,OAAO,IAAI;AACb;;;;"}
+{"version":3,"file":"matchesUniversalHostInputTrees.js","sources":["../../../../src/core/transform/validation/matchesUniversalHostInputTrees.ts"],"sourcesContent":[null],"names":["usesPreparedPluginBuildEnvironments","PluginBuildEnvironmentReadings","processPluginBuildEnvironment","trackerProvesInputUnchanged","pluginSourceHolds","resultFilesystem"],"mappings":";;;;;;;;AAaA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiCG;SACa,8BAA8B,CAC5C,MAAkC,EAClC,UAAmC,EACnC,KAAuC,EAAA;IAEvC,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE;;;QAGlD,MAAM,QAAQ,GAAGA,kEAAmC,CAAC,MAAM,CAAC,MAAM,CAAC;QACnE,MAAM,WAAW,GAAG;cAChB,KAAK,EAAE,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK;kBACjD,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS;AAClC,kBAAEC,2CAA8B,CAAC,MAAM,CAAC,SAAS;cACjDC,0CAA6B,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC;QACvE,IAAI,WAAW,KAAK,SAAS;AAAE,YAAA,OAAO,KAAK;AAC3C,QAAA,IACEC,uDAA2B,CAAC,MAAM,CAAC,wBAAwB,EAAE,SAAS,CAAC;YACvE,UAAU,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,WAAW;YAE3D;AACF,QAAA,IACE,CAACC,mCAAiB,CAChB,SAAS,EACT,MAAM,EACNC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,QAAQ,GAAG,EAAE,WAAW,EAAE,GAAG,SAAS,EACtC,MAAM,CAAC,WAAW,CACnB;AAED,YAAA,OAAO,KAAK;AACd,QAAA,CAAC,UAAU,CAAC,gBAAgB,KAAK,IAAI,GAAG,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC;IACzE;AACA,IAAA,OAAO,IAAI;AACb;;;;"}

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

@@ -35,23 +35,25 @@ import { trackerProvesInputUnchanged } from './trackerProvesInputUnchanged.mjs';
  * @evidence contracts/common.md#meaningful-documentation Native paragraphs distinguish source notification, environment authority and metadata-qualified digest reuse before param tags.
  * @evidence contracts/portability.md#os-neutral-implementation Supported plugin-source APIs and capability-qualified native trackers own source/toolchain observation without OS-wide watcher assumptions.
  * @evidence contracts/performance.md#bound-retention-and-release-resources One environment witness per current manifest tree is replaced in place; no delivery history is retained.
- * @evidence contracts/performance.md#efficient-algorithms Each tree first pays the shared environment reader's variable-key construction and native dependency qualification. Qualified silent sources avoid enumeration; other trees enumerate and sort the selected file population, inspect metadata and hash source bytes whenever population, metadata or clock evidence cannot qualify reuse. The synchronous owner can also refresh native environment authority after a mismatch.
+ * @evidence contracts/performance.md#efficient-algorithms An exact-generation synchronous transaction supplies one current batched environment qualification; otherwise each tree pays the shared environment reader's variable-key construction and native dependency qualification. Qualified silent sources avoid enumeration; other trees enumerate and sort the selected file population, inspect metadata and hash source bytes whenever population, metadata or clock evidence cannot qualify reuse. The synchronous owner can also refresh native environment authority after a mismatch.
  * @evidence contracts/performance.md#reuse-equivalent-work Generation environment witnesses and the owning digest cache share prior proof only while source and toolchain identities remain valid.
  */
-function matchesUniversalHostInputTrees(cached, validation) {
+function matchesUniversalHostInputTrees(cached, validation, proof) {
     for (const [directory, digest] of validation.trees) {
         // Read before any proof, so the environment recorded below is one the
         // proof saw or older, never a newer one it did not prove.
         const prepared = usesPreparedPluginBuildEnvironments(cached.result);
         const environment = prepared
-            ? PluginBuildEnvironmentReadings.cached(directory)
-            : processPluginBuildEnvironment(directory);
+            ? proof?.cached === cached && proof.environments !== undefined
+                ? proof.environments.get(directory)
+                : PluginBuildEnvironmentReadings.cached(directory)
+            : processPluginBuildEnvironment(directory, false, cached.projectRoot);
         if (environment === undefined)
             return false;
         if (trackerProvesInputUnchanged(cached.hostInputMutationTracker, directory) &&
             validation.treeEnvironments?.get(directory) === environment)
             continue;
-        if (!pluginSourceHolds(directory, digest, resultFilesystem(cached.result), prepared ? { environment } : undefined))
+        if (!pluginSourceHolds(directory, digest, resultFilesystem(cached.result), prepared ? { environment } : undefined, cached.projectRoot))
             return false;
         (validation.treeEnvironments ??= new Map()).set(directory, environment);
     }

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

@@ -1 +1 @@
-{"version":3,"file":"matchesUniversalHostInputTrees.mjs","sources":["../../../../src/core/transform/validation/matchesUniversalHostInputTrees.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AAYA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiCG;AACG,SAAU,8BAA8B,CAC5C,MAAkC,EAClC,UAAmC,EAAA;IAEnC,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE;;;QAGlD,MAAM,QAAQ,GAAG,mCAAmC,CAAC,MAAM,CAAC,MAAM,CAAC;QACnE,MAAM,WAAW,GAAG;AAClB,cAAE,8BAA8B,CAAC,MAAM,CAAC,SAAS;AACjD,cAAE,6BAA6B,CAAC,SAAS,CAAC;QAC5C,IAAI,WAAW,KAAK,SAAS;AAAE,YAAA,OAAO,KAAK;AAC3C,QAAA,IACE,2BAA2B,CAAC,MAAM,CAAC,wBAAwB,EAAE,SAAS,CAAC;YACvE,UAAU,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,WAAW;YAE3D;QACF,IACE,CAAC,iBAAiB,CAChB,SAAS,EACT,MAAM,EACN,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,QAAQ,GAAG,EAAE,WAAW,EAAE,GAAG,SAAS,CACvC;AAED,YAAA,OAAO,KAAK;AACd,QAAA,CAAC,UAAU,CAAC,gBAAgB,KAAK,IAAI,GAAG,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC;IACzE;AACA,IAAA,OAAO,IAAI;AACb;;;;"}
+{"version":3,"file":"matchesUniversalHostInputTrees.mjs","sources":["../../../../src/core/transform/validation/matchesUniversalHostInputTrees.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AAaA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiCG;SACa,8BAA8B,CAC5C,MAAkC,EAClC,UAAmC,EACnC,KAAuC,EAAA;IAEvC,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE;;;QAGlD,MAAM,QAAQ,GAAG,mCAAmC,CAAC,MAAM,CAAC,MAAM,CAAC;QACnE,MAAM,WAAW,GAAG;cAChB,KAAK,EAAE,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK;kBACjD,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS;AAClC,kBAAE,8BAA8B,CAAC,MAAM,CAAC,SAAS;cACjD,6BAA6B,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC;QACvE,IAAI,WAAW,KAAK,SAAS;AAAE,YAAA,OAAO,KAAK;AAC3C,QAAA,IACE,2BAA2B,CAAC,MAAM,CAAC,wBAAwB,EAAE,SAAS,CAAC;YACvE,UAAU,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,WAAW;YAE3D;AACF,QAAA,IACE,CAAC,iBAAiB,CAChB,SAAS,EACT,MAAM,EACN,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,QAAQ,GAAG,EAAE,WAAW,EAAE,GAAG,SAAS,EACtC,MAAM,CAAC,WAAW,CACnB;AAED,YAAA,OAAO,KAAK;AACd,QAAA,CAAC,UAAU,CAAC,gBAAgB,KAAK,IAAI,GAAG,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC;IACzE;AACA,IAAA,OAAO,IAAI;AACb;;;;"}

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.cjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.cjs";
 import type { TtscHostInputValidation } from "./TtscHostInputValidation.cjs";
 /**
  * Validate universal descriptor/config inputs. Versioned native config
@@ -23,6 +24,6 @@ import type { TtscHostInputValidation } from "./TtscHostInputValidation.cjs";
  * @evidence contracts/portability.md#os-neutral-implementation Filesystem-aware validators use actual tracker delivery capability and exact lexical coverage rather than platform-wide assumptions.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The coordinator borrows generation manifests and trackers without retaining a result or acquiring a handle.
  * @evidence contracts/performance.md#efficient-algorithms Every admission first replays all generation-owned typed config predicates; this mandatory cost includes native queries, file bytes or directory membership independently of watcher/epoch qualification.  The coverage scan stops at the first unproved input. Each coverage query checks overlapping unproven scopes and sampled events with native path comparisons; fallback adds unresolved bytes, native candidate probes and plugin tree enumeration. Mandatory environment qualification pays its owning dependency and environment-key costs on either route.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  Shared manifests and qualified silent sources avoid repeated content reads only while the owning tree validator also proves unchanged build environment.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicates remain mandatory on every delivery. An exact-generation synchronous transaction may share their current replay across nested validators, but no pass or notification shortcut authorizes a later delivery to skip them.  Shared manifests and qualified silent sources avoid repeated content reads only while the owning tree validator also proves unchanged build environment.
  */
-export declare function matchesUniversalHostInputs(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation): boolean;
+export declare function matchesUniversalHostInputs(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation, proof?: TtscGenerationProof.Transaction): boolean;

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.mjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.mjs";
 import type { TtscHostInputValidation } from "./TtscHostInputValidation.mjs";
 /**
  * Validate universal descriptor/config inputs. Versioned native config
@@ -23,6 +24,6 @@ import type { TtscHostInputValidation } from "./TtscHostInputValidation.mjs";
  * @evidence contracts/portability.md#os-neutral-implementation Filesystem-aware validators use actual tracker delivery capability and exact lexical coverage rather than platform-wide assumptions.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The coordinator borrows generation manifests and trackers without retaining a result or acquiring a handle.
  * @evidence contracts/performance.md#efficient-algorithms Every admission first replays all generation-owned typed config predicates; this mandatory cost includes native queries, file bytes or directory membership independently of watcher/epoch qualification.  The coverage scan stops at the first unproved input. Each coverage query checks overlapping unproven scopes and sampled events with native path comparisons; fallback adds unresolved bytes, native candidate probes and plugin tree enumeration. Mandatory environment qualification pays its owning dependency and environment-key costs on either route.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  Shared manifests and qualified silent sources avoid repeated content reads only while the owning tree validator also proves unchanged build environment.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicates remain mandatory on every delivery. An exact-generation synchronous transaction may share their current replay across nested validators, but no pass or notification shortcut authorizes a later delivery to skip them.  Shared manifests and qualified silent sources avoid repeated content reads only while the owning tree validator also proves unchanged build environment.
  */
-export declare function matchesUniversalHostInputs(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation): boolean;
+export declare function matchesUniversalHostInputs(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation, proof?: TtscGenerationProof.Transaction): boolean;

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform";
+import type { TtscGenerationProof } from "./TtscGenerationProof";
 import type { TtscHostInputValidation } from "./TtscHostInputValidation";
 /**
  * Validate universal descriptor/config inputs. Versioned native config
@@ -23,6 +24,6 @@ import type { TtscHostInputValidation } from "./TtscHostInputValidation";
  * @evidence contracts/portability.md#os-neutral-implementation Filesystem-aware validators use actual tracker delivery capability and exact lexical coverage rather than platform-wide assumptions.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The coordinator borrows generation manifests and trackers without retaining a result or acquiring a handle.
  * @evidence contracts/performance.md#efficient-algorithms Every admission first replays all generation-owned typed config predicates; this mandatory cost includes native queries, file bytes or directory membership independently of watcher/epoch qualification.  The coverage scan stops at the first unproved input. Each coverage query checks overlapping unproven scopes and sampled events with native path comparisons; fallback adds unresolved bytes, native candidate probes and plugin tree enumeration. Mandatory environment qualification pays its owning dependency and environment-key costs on either route.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  Shared manifests and qualified silent sources avoid repeated content reads only while the owning tree validator also proves unchanged build environment.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicates remain mandatory on every delivery. An exact-generation synchronous transaction may share their current replay across nested validators, but no pass or notification shortcut authorizes a later delivery to skip them.  Shared manifests and qualified silent sources avoid repeated content reads only while the owning tree validator also proves unchanged build environment.
  */
-export declare function matchesUniversalHostInputs(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation): boolean;
+export declare function matchesUniversalHostInputs(cached: TtscCachedProjectTransform, validation: TtscHostInputValidation, proof?: TtscGenerationProof.Transaction): boolean;

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

@@ -29,10 +29,10 @@ var trackerProvesInputUnchanged = require('./trackerProvesInputUnchanged.js');
  * @evidence contracts/portability.md#os-neutral-implementation Filesystem-aware validators use actual tracker delivery capability and exact lexical coverage rather than platform-wide assumptions.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The coordinator borrows generation manifests and trackers without retaining a result or acquiring a handle.
  * @evidence contracts/performance.md#efficient-algorithms Every admission first replays all generation-owned typed config predicates; this mandatory cost includes native queries, file bytes or directory membership independently of watcher/epoch qualification.  The coverage scan stops at the first unproved input. Each coverage query checks overlapping unproven scopes and sampled events with native path comparisons; fallback adds unresolved bytes, native candidate probes and plugin tree enumeration. Mandatory environment qualification pays its owning dependency and environment-key costs on either route.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  Shared manifests and qualified silent sources avoid repeated content reads only while the owning tree validator also proves unchanged build environment.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicates remain mandatory on every delivery. An exact-generation synchronous transaction may share their current replay across nested validators, but no pass or notification shortcut authorizes a later delivery to skip them.  Shared manifests and qualified silent sources avoid repeated content reads only while the owning tree validator also proves unchanged build environment.
  */
-function matchesUniversalHostInputs(cached, validation) {
-    if (!nativeInputPredicatesHold.nativeInputPredicatesHold(cached))
+function matchesUniversalHostInputs(cached, validation, proof) {
+    if (!nativeInputPredicatesHold.nativeInputPredicatesHold(cached, proof))
         return false;
     let notificationsProveAll = true;
     for (const input of validation.covered) {
@@ -42,10 +42,10 @@ function matchesUniversalHostInputs(cached, validation) {
         }
     }
     if (notificationsProveAll)
-        return matchesUniversalHostInputTrees.matchesUniversalHostInputTrees(cached, validation);
+        return matchesUniversalHostInputTrees.matchesUniversalHostInputTrees(cached, validation, proof);
     return (matchesUniversalHostInputEntries.matchesUniversalHostInputEntries(cached, validation) &&
         matchesUniversalHostInputProbes.matchesUniversalHostInputProbes(cached, validation) &&
-        matchesUniversalHostInputTrees.matchesUniversalHostInputTrees(cached, validation));
+        matchesUniversalHostInputTrees.matchesUniversalHostInputTrees(cached, validation, proof));
 }
 
 exports.matchesUniversalHostInputs = matchesUniversalHostInputs;

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

@@ -1 +1 @@
-{"version":3,"file":"matchesUniversalHostInputs.js","sources":["../../../../src/core/transform/validation/matchesUniversalHostInputs.ts"],"sourcesContent":[null],"names":["nativeInputPredicatesHold","trackerProvesInputUnchanged","matchesUniversalHostInputTrees","matchesUniversalHostInputEntries","matchesUniversalHostInputProbes"],"mappings":";;;;;;;;AAQA;;;;;;;;;;;;;;;;;;;;;;;;AAwBG;AACG,SAAU,0BAA0B,CACxC,MAAkC,EAClC,UAAmC,EAAA;AAEnC,IAAA,IAAI,CAACA,mDAAyB,CAAC,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;IACpD,IAAI,qBAAqB,GAAG,IAAI;AAChC,IAAA,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE;QACtC,IAAI,CAACC,uDAA2B,CAAC,MAAM,CAAC,wBAAwB,EAAE,KAAK,CAAC,EAAE;YACxE,qBAAqB,GAAG,KAAK;YAC7B;QACF;IACF;AACA,IAAA,IAAI,qBAAqB;AACvB,QAAA,OAAOC,6DAA8B,CAAC,MAAM,EAAE,UAAU,CAAC;AAC3D,IAAA,QACEC,iEAAgC,CAAC,MAAM,EAAE,UAAU,CAAC;AACpD,QAAAC,+DAA+B,CAAC,MAAM,EAAE,UAAU,CAAC;AACnD,QAAAF,6DAA8B,CAAC,MAAM,EAAE,UAAU,CAAC;AAEtD;;;;"}
+{"version":3,"file":"matchesUniversalHostInputs.js","sources":["../../../../src/core/transform/validation/matchesUniversalHostInputs.ts"],"sourcesContent":[null],"names":["nativeInputPredicatesHold","trackerProvesInputUnchanged","matchesUniversalHostInputTrees","matchesUniversalHostInputEntries","matchesUniversalHostInputProbes"],"mappings":";;;;;;;;AASA;;;;;;;;;;;;;;;;;;;;;;;;AAwBG;SACa,0BAA0B,CACxC,MAAkC,EAClC,UAAmC,EACnC,KAAuC,EAAA;AAEvC,IAAA,IAAI,CAACA,mDAAyB,CAAC,MAAM,EAAE,KAAK,CAAC;AAAE,QAAA,OAAO,KAAK;IAC3D,IAAI,qBAAqB,GAAG,IAAI;AAChC,IAAA,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE;QACtC,IAAI,CAACC,uDAA2B,CAAC,MAAM,CAAC,wBAAwB,EAAE,KAAK,CAAC,EAAE;YACxE,qBAAqB,GAAG,KAAK;YAC7B;QACF;IACF;AACA,IAAA,IAAI,qBAAqB;QACvB,OAAOC,6DAA8B,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;AAClE,IAAA,QACEC,iEAAgC,CAAC,MAAM,EAAE,UAAU,CAAC;AACpD,QAAAC,+DAA+B,CAAC,MAAM,EAAE,UAAU,CAAC;QACnDF,6DAA8B,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;AAE7D;;;;"}

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

@@ -27,10 +27,10 @@ import { trackerProvesInputUnchanged } from './trackerProvesInputUnchanged.mjs';
  * @evidence contracts/portability.md#os-neutral-implementation Filesystem-aware validators use actual tracker delivery capability and exact lexical coverage rather than platform-wide assumptions.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The coordinator borrows generation manifests and trackers without retaining a result or acquiring a handle.
  * @evidence contracts/performance.md#efficient-algorithms Every admission first replays all generation-owned typed config predicates; this mandatory cost includes native queries, file bytes or directory membership independently of watcher/epoch qualification.  The coverage scan stops at the first unproved input. Each coverage query checks overlapping unproven scopes and sampled events with native path comparisons; fallback adds unresolved bytes, native candidate probes and plugin tree enumeration. Mandatory environment qualification pays its owning dependency and environment-key costs on either route.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  Shared manifests and qualified silent sources avoid repeated content reads only while the owning tree validator also proves unchanged build environment.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicates remain mandatory on every delivery. An exact-generation synchronous transaction may share their current replay across nested validators, but no pass or notification shortcut authorizes a later delivery to skip them.  Shared manifests and qualified silent sources avoid repeated content reads only while the owning tree validator also proves unchanged build environment.
  */
-function matchesUniversalHostInputs(cached, validation) {
-    if (!nativeInputPredicatesHold(cached))
+function matchesUniversalHostInputs(cached, validation, proof) {
+    if (!nativeInputPredicatesHold(cached, proof))
         return false;
     let notificationsProveAll = true;
     for (const input of validation.covered) {
@@ -40,10 +40,10 @@ function matchesUniversalHostInputs(cached, validation) {
         }
     }
     if (notificationsProveAll)
-        return matchesUniversalHostInputTrees(cached, validation);
+        return matchesUniversalHostInputTrees(cached, validation, proof);
     return (matchesUniversalHostInputEntries(cached, validation) &&
         matchesUniversalHostInputProbes(cached, validation) &&
-        matchesUniversalHostInputTrees(cached, validation));
+        matchesUniversalHostInputTrees(cached, validation, proof));
 }
 
 export { matchesUniversalHostInputs };

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

@@ -1 +1 @@
-{"version":3,"file":"matchesUniversalHostInputs.mjs","sources":["../../../../src/core/transform/validation/matchesUniversalHostInputs.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AAQA;;;;;;;;;;;;;;;;;;;;;;;;AAwBG;AACG,SAAU,0BAA0B,CACxC,MAAkC,EAClC,UAAmC,EAAA;AAEnC,IAAA,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;IACpD,IAAI,qBAAqB,GAAG,IAAI;AAChC,IAAA,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE;QACtC,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,wBAAwB,EAAE,KAAK,CAAC,EAAE;YACxE,qBAAqB,GAAG,KAAK;YAC7B;QACF;IACF;AACA,IAAA,IAAI,qBAAqB;AACvB,QAAA,OAAO,8BAA8B,CAAC,MAAM,EAAE,UAAU,CAAC;AAC3D,IAAA,QACE,gCAAgC,CAAC,MAAM,EAAE,UAAU,CAAC;AACpD,QAAA,+BAA+B,CAAC,MAAM,EAAE,UAAU,CAAC;AACnD,QAAA,8BAA8B,CAAC,MAAM,EAAE,UAAU,CAAC;AAEtD;;;;"}
+{"version":3,"file":"matchesUniversalHostInputs.mjs","sources":["../../../../src/core/transform/validation/matchesUniversalHostInputs.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AASA;;;;;;;;;;;;;;;;;;;;;;;;AAwBG;SACa,0BAA0B,CACxC,MAAkC,EAClC,UAAmC,EACnC,KAAuC,EAAA;AAEvC,IAAA,IAAI,CAAC,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC;AAAE,QAAA,OAAO,KAAK;IAC3D,IAAI,qBAAqB,GAAG,IAAI;AAChC,IAAA,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE;QACtC,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,wBAAwB,EAAE,KAAK,CAAC,EAAE;YACxE,qBAAqB,GAAG,KAAK;YAC7B;QACF;IACF;AACA,IAAA,IAAI,qBAAqB;QACvB,OAAO,8BAA8B,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;AAClE,IAAA,QACE,gCAAgC,CAAC,MAAM,EAAE,UAAU,CAAC;AACpD,QAAA,+BAA+B,CAAC,MAAM,EAAE,UAAU,CAAC;QACnD,8BAA8B,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;AAE7D;;;;"}

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

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.cjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.cjs";
 /**
  * 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.d.mts

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.mjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.mjs";
 /**
  * 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;