@ttsc/unplugin 0.31.0 → 0.31.1

package/lib/core/transform/envelope/selectDeclaredProjectInputKeys.js.map

@@ -1 +1 @@
-{"version":3,"file":"selectDeclaredProjectInputKeys.js","sources":["../../../../src/core/transform/envelope/selectDeclaredProjectInputKeys.ts"],"sourcesContent":[null],"names":["isTransformScratchInput","toProjectKey"],"mappings":";;;;;;AAOA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BG;AACG,SAAU,8BAA8B,CAAC,KAM9C,EAAA;AACC,IAAA,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE;AACvE,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK;AAChC,IAAA,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU;AAC9B,IAAA,MAAM,GAAG,GAAG,CAAC,KAAc,KAAU;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE;AACrD,QAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC;AACvD,QAAA,IAAIA,+CAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC;YAAE;AAC/D,QAAA,MAAM,GAAG,GAAGC,yBAAY,CAAC,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC;AACvE,QAAA,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAAG,CAAC,EAAE;AACvE,YAAA,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACf;AACF,IAAA,CAAC;AACD,IAAA,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE;QACjE,GAAG,CAAC,MAAM,CAAC;AACX,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,KAAK,MAAM,MAAM,IAAI,OAAO;gBAAE,GAAG,CAAC,MAAM,CAAC;IACvE;AACA,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;AAC9B,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,CAAC,KAAK,CAAC;AAC/C,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;AAC9B,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,CAAC,KAAK,CAAC;AAC/C,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC;AACvC,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,gBAAgB;YAAE,GAAG,CAAC,KAAK,CAAC;AACxD,IAAA,KAAK,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE;QACzE,GAAG,CAAC,MAAM,CAAC;AACX,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,KAAK,MAAM,KAAK,IAAI,UAAU;gBAAE,GAAG,CAAC,KAAK,CAAC;IAC3E;IACA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;AACxC,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU;YAAE,GAAG,CAAC,KAAK,CAAC;;;AAGzD,IAAA,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE;AACrE,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,KAAK,MAAM,KAAK,IAAI,QAAQ;gBAAE,GAAG,CAAC,KAAK,CAAC;IACvE;AACA,IAAA,OAAO,IAAI;AACb;;;;"}
+{"version":3,"file":"selectDeclaredProjectInputKeys.js","sources":["../../../../src/core/transform/envelope/selectDeclaredProjectInputKeys.ts"],"sourcesContent":[null],"names":["isTransformScratchInput","toProjectKey"],"mappings":";;;;;;AAOA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BG;AACG,SAAU,8BAA8B,CAAC,KAM9C,EAAA;AACC,IAAA,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE;AACvE,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK;AAChC,IAAA,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU;AAC9B,IAAA,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU;AAC9B,IAAA,MAAM,GAAG,GAAG,CAAC,KAAc,KAAU;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE;AACrD,QAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC;AACvD,QAAA,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE;AACxB,QAAA,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;AAClB,QAAA,IAAIA,+CAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC;YAAE;AAC/D,QAAA,MAAM,GAAG,GAAGC,yBAAY,CAAC,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC;AACvE,QAAA,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAAG,CAAC,EAAE;AACvE,YAAA,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACf;AACF,IAAA,CAAC;AACD,IAAA,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE;QACjE,GAAG,CAAC,MAAM,CAAC;AACX,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,KAAK,MAAM,MAAM,IAAI,OAAO;gBAAE,GAAG,CAAC,MAAM,CAAC;IACvE;AACA,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;AAC9B,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,CAAC,KAAK,CAAC;AAC/C,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;AAC9B,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,CAAC,KAAK,CAAC;AAC/C,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC;AACvC,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,gBAAgB;YAAE,GAAG,CAAC,KAAK,CAAC;AACxD,IAAA,KAAK,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE;QACzE,GAAG,CAAC,MAAM,CAAC;AACX,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,KAAK,MAAM,KAAK,IAAI,UAAU;gBAAE,GAAG,CAAC,KAAK,CAAC;IAC3E;IACA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;AACxC,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU;YAAE,GAAG,CAAC,KAAK,CAAC;;;AAGzD,IAAA,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE;AACrE,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,KAAK,MAAM,KAAK,IAAI,QAAQ;gBAAE,GAAG,CAAC,KAAK,CAAC;IACvE;AACA,IAAA,OAAO,IAAI;AACb;;;;"}

package/lib/core/transform/envelope/selectDeclaredProjectInputKeys.mjs

@@ -23,8 +23,8 @@ import { isTransformScratchInput } from '../tsconfig/isTransformScratchInput.mjs
  *   Visits each reported occurrence in graph endpoints/globals/configs,
  *   candidates, host inputs and dependency arrays. Native resolve, scratch
  *   checks, project-key identity/ancestor/case observations and text hashing
- *   precede each own-key membership test; duplicate declarations still pay
- *   those queries, with native answers shared by the supplied context. Entry
+ *   precede each own-key membership test after lexical deduplication; repeated
+ *   declarations pay resolution but no repeated native classification. Entry
  *   arrays from Object.entries/Object.values follow producer populations,
  *   while the returned set cannot exceed keys present in the project snapshot.
  * @evidenceExclude contracts/performance.md#reuse-equivalent-work
@@ -40,10 +40,14 @@ function selectDeclaredProjectInputKeys(props) {
     }
     const graph = props.result.graph;
     const keys = new Set();
+    const seen = new Set();
     const add = (entry) => {
         if (typeof entry !== "string" || entry.length === 0)
             return;
         const absolute = path.resolve(props.projectRoot, entry);
+        if (seen.has(absolute))
+            return;
+        seen.add(absolute);
         if (isTransformScratchInput(absolute, props.scratchDirectory))
             return;
         const key = toProjectKey(props.projectRoot, absolute, props.identities);

package/lib/core/transform/envelope/selectDeclaredProjectInputKeys.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"selectDeclaredProjectInputKeys.mjs","sources":["../../../../src/core/transform/envelope/selectDeclaredProjectInputKeys.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAOA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BG;AACG,SAAU,8BAA8B,CAAC,KAM9C,EAAA;AACC,IAAA,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE;AACvE,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK;AAChC,IAAA,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU;AAC9B,IAAA,MAAM,GAAG,GAAG,CAAC,KAAc,KAAU;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE;AACrD,QAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC;AACvD,QAAA,IAAI,uBAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC;YAAE;AAC/D,QAAA,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC;AACvE,QAAA,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAAG,CAAC,EAAE;AACvE,YAAA,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACf;AACF,IAAA,CAAC;AACD,IAAA,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE;QACjE,GAAG,CAAC,MAAM,CAAC;AACX,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,KAAK,MAAM,MAAM,IAAI,OAAO;gBAAE,GAAG,CAAC,MAAM,CAAC;IACvE;AACA,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;AAC9B,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,CAAC,KAAK,CAAC;AAC/C,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;AAC9B,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,CAAC,KAAK,CAAC;AAC/C,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC;AACvC,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,gBAAgB;YAAE,GAAG,CAAC,KAAK,CAAC;AACxD,IAAA,KAAK,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE;QACzE,GAAG,CAAC,MAAM,CAAC;AACX,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,KAAK,MAAM,KAAK,IAAI,UAAU;gBAAE,GAAG,CAAC,KAAK,CAAC;IAC3E;IACA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;AACxC,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU;YAAE,GAAG,CAAC,KAAK,CAAC;;;AAGzD,IAAA,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE;AACrE,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,KAAK,MAAM,KAAK,IAAI,QAAQ;gBAAE,GAAG,CAAC,KAAK,CAAC;IACvE;AACA,IAAA,OAAO,IAAI;AACb;;;;"}
+{"version":3,"file":"selectDeclaredProjectInputKeys.mjs","sources":["../../../../src/core/transform/envelope/selectDeclaredProjectInputKeys.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAOA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BG;AACG,SAAU,8BAA8B,CAAC,KAM9C,EAAA;AACC,IAAA,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE;AACvE,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK;AAChC,IAAA,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU;AAC9B,IAAA,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU;AAC9B,IAAA,MAAM,GAAG,GAAG,CAAC,KAAc,KAAU;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE;AACrD,QAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC;AACvD,QAAA,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE;AACxB,QAAA,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;AAClB,QAAA,IAAI,uBAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC;YAAE;AAC/D,QAAA,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC;AACvE,QAAA,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAAG,CAAC,EAAE;AACvE,YAAA,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACf;AACF,IAAA,CAAC;AACD,IAAA,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE;QACjE,GAAG,CAAC,MAAM,CAAC;AACX,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,KAAK,MAAM,MAAM,IAAI,OAAO;gBAAE,GAAG,CAAC,MAAM,CAAC;IACvE;AACA,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;AAC9B,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,CAAC,KAAK,CAAC;AAC/C,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;AAC9B,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,CAAC,KAAK,CAAC;AAC/C,IAAA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC;AACvC,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,gBAAgB;YAAE,GAAG,CAAC,KAAK,CAAC;AACxD,IAAA,KAAK,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE;QACzE,GAAG,CAAC,MAAM,CAAC;AACX,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,KAAK,MAAM,KAAK,IAAI,UAAU;gBAAE,GAAG,CAAC,KAAK,CAAC;IAC3E;IACA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;AACxC,QAAA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU;YAAE,GAAG,CAAC,KAAK,CAAC;;;AAGzD,IAAA,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE;AACrE,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,KAAK,MAAM,KAAK,IAAI,QAAQ;gBAAE,GAAG,CAAC,KAAK,CAAC;IACvE;AACA,IAAA,OAAO,IAAI;AACb;;;;"}

package/lib/core/transform/envelope/selectExternalInputPaths.d.cts

@@ -26,17 +26,15 @@ import type { TtscTransformFilesystemOperations } from "../filesystem/TtscTransf
  * @evidence contracts/performance.md#efficient-algorithms
  *   Cold graph index construction precedes separate scans of output, graph,
  *   candidate, dependency and host lists, followed by every collected member's
- *   filter pass. Duplicate occurrences still pay path/identity and candidate
- *   observations before seen rejection; rejected walk members are not added to
- *   seen. Native path/ancestor/case, existence and walk policy/component checks
+ *   filter pass. Lexical deduplication precedes native identity/candidate/walk
+ *   observations, including rejected members; distinct aliases stay separate. Native path/ancestor/case, existence and walk policy/component checks
  *   add costs to list/key text. Collected members, candidate/seen sets and
  *   output allocate population-sized storage; final string sorting adds output
  *   comparison work.
  * @evidence contracts/performance.md#reuse-equivalent-work
  *   Generation state shares completed graph parsing, while this call's native
  *   identity context reuses its qualified path observations. The sets dedupe
- *   emitted lexical names and mark candidate membership; they do not suppress
- *   every repeated classification. Supplied filesystem, producer-derived state
+ *   every lexical classification and mark candidate membership. Supplied filesystem, producer-derived state
  *   and membership policy must represent the same stable generation view.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources
  *   Its collections are local to the call and released on return; only the

package/lib/core/transform/envelope/selectExternalInputPaths.d.mts

@@ -26,17 +26,15 @@ import type { TtscTransformFilesystemOperations } from "../filesystem/TtscTransf
  * @evidence contracts/performance.md#efficient-algorithms
  *   Cold graph index construction precedes separate scans of output, graph,
  *   candidate, dependency and host lists, followed by every collected member's
- *   filter pass. Duplicate occurrences still pay path/identity and candidate
- *   observations before seen rejection; rejected walk members are not added to
- *   seen. Native path/ancestor/case, existence and walk policy/component checks
+ *   filter pass. Lexical deduplication precedes native identity/candidate/walk
+ *   observations, including rejected members; distinct aliases stay separate. Native path/ancestor/case, existence and walk policy/component checks
  *   add costs to list/key text. Collected members, candidate/seen sets and
  *   output allocate population-sized storage; final string sorting adds output
  *   comparison work.
  * @evidence contracts/performance.md#reuse-equivalent-work
  *   Generation state shares completed graph parsing, while this call's native
  *   identity context reuses its qualified path observations. The sets dedupe
- *   emitted lexical names and mark candidate membership; they do not suppress
- *   every repeated classification. Supplied filesystem, producer-derived state
+ *   every lexical classification and mark candidate membership. Supplied filesystem, producer-derived state
  *   and membership policy must represent the same stable generation view.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources
  *   Its collections are local to the call and released on return; only the

package/lib/core/transform/envelope/selectExternalInputPaths.d.ts

@@ -26,17 +26,15 @@ import type { TtscTransformFilesystemOperations } from "../filesystem/TtscTransf
  * @evidence contracts/performance.md#efficient-algorithms
  *   Cold graph index construction precedes separate scans of output, graph,
  *   candidate, dependency and host lists, followed by every collected member's
- *   filter pass. Duplicate occurrences still pay path/identity and candidate
- *   observations before seen rejection; rejected walk members are not added to
- *   seen. Native path/ancestor/case, existence and walk policy/component checks
+ *   filter pass. Lexical deduplication precedes native identity/candidate/walk
+ *   observations, including rejected members; distinct aliases stay separate. Native path/ancestor/case, existence and walk policy/component checks
  *   add costs to list/key text. Collected members, candidate/seen sets and
  *   output allocate population-sized storage; final string sorting adds output
  *   comparison work.
  * @evidence contracts/performance.md#reuse-equivalent-work
  *   Generation state shares completed graph parsing, while this call's native
  *   identity context reuses its qualified path observations. The sets dedupe
- *   emitted lexical names and mark candidate membership; they do not suppress
- *   every repeated classification. Supplied filesystem, producer-derived state
+ *   every lexical classification and mark candidate membership. Supplied filesystem, producer-derived state
  *   and membership policy must represent the same stable generation view.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources
  *   Its collections are local to the call and released on return; only the

package/lib/core/transform/envelope/selectExternalInputPaths.js

@@ -34,17 +34,15 @@ var envelopeGraphIndexes = require('./envelopeGraphIndexes.js');
  * @evidence contracts/performance.md#efficient-algorithms
  *   Cold graph index construction precedes separate scans of output, graph,
  *   candidate, dependency and host lists, followed by every collected member's
- *   filter pass. Duplicate occurrences still pay path/identity and candidate
- *   observations before seen rejection; rejected walk members are not added to
- *   seen. Native path/ancestor/case, existence and walk policy/component checks
+ *   filter pass. Lexical deduplication precedes native identity/candidate/walk
+ *   observations, including rejected members; distinct aliases stay separate. Native path/ancestor/case, existence and walk policy/component checks
  *   add costs to list/key text. Collected members, candidate/seen sets and
  *   output allocate population-sized storage; final string sorting adds output
  *   comparison work.
  * @evidence contracts/performance.md#reuse-equivalent-work
  *   Generation state shares completed graph parsing, while this call's native
  *   identity context reuses its qualified path observations. The sets dedupe
- *   emitted lexical names and mark candidate membership; they do not suppress
- *   every repeated classification. Supplied filesystem, producer-derived state
+ *   every lexical classification and mark candidate membership. Supplied filesystem, producer-derived state
  *   and membership policy must represent the same stable generation view.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources
  *   Its collections are local to the call and released on return; only the
@@ -137,6 +135,11 @@ function selectExternalInputPaths(props) {
         }
         const absolute = path.resolve(props.projectRoot, member);
         const spelling = path.resolve(absolute);
+        // Classify each lexical address once, including rejected walk members.
+        // Physical aliases remain distinct so retargeting is still observable.
+        if (seen.has(spelling))
+            continue;
+        seen.add(spelling);
         const identity = pathIdentityKey.pathIdentityKey(absolute, identities);
         const observation = graphIndexes.inputObservations.get(spelling);
         const missingCandidate = resolutionCandidates.has(spelling) &&
@@ -144,14 +147,12 @@ function selectExternalInputPaths(props) {
                 (observation === undefined && !filesystem.exists(absolute)));
         if (identity === excluded ||
             isTransformScratchInput.isTransformScratchInput(absolute, props.scratchDirectory) ||
-            seen.has(spelling) ||
             (!missingCandidate &&
                 isProjectWalkPath.isProjectWalkPath(props.projectRoot, absolute, identities, filesystem, props.membershipPolicy))) {
             continue;
         }
         // Preserve distinct lexical aliases even when they currently select the
         // same physical file. A later retarget must validate the alias itself.
-        seen.add(spelling);
         output.push(absolute);
     }
     output.sort();

package/lib/core/transform/envelope/selectExternalInputPaths.js.map

@@ -1 +1 @@
-{"version":3,"file":"selectExternalInputPaths.js","sources":["../../../../src/core/transform/envelope/selectExternalInputPaths.ts"],"sourcesContent":[null],"names":["DEFAULT_FILESYSTEM_OPERATIONS","createHostPathIdentityContext","envelopeDerivation","envelopeGraphIndexes","pathIdentityKey","isTransformScratchInput","isProjectWalkPath"],"mappings":";;;;;;;;;;;AAaA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCG;AACG,SAAU,wBAAwB,CAAC,KAOxC,EAAA;IACC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE;AACrC,QAAA,OAAO,EAAE;IACX;IACA,MAAM,OAAO,GAAa,EAAE;AAC5B,IAAA,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAIA,2DAA6B;AACpE,IAAA,MAAM,UAAU,GAAGC,2DAA6B,CAAC,UAAU,CAAC;AAC5D,IAAA,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU;AAC9C,IAAA,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK;IAChC,MAAM,UAAU,GAAGC,qCAAkB,CAAC;QACpC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;AACrB,KAAA,CAAC;AACF,IAAA,MAAM,YAAY,GAAGC,yCAAoB,CAAC,UAAU,EAAE;QACpD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;AACrB,KAAA,CAAC;;;;AAIF,IAAA,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;AAC9D,QAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;AAC7B,IAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,QAAA,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE;AACjE,YAAA,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;AACpB,YAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;gBAC1B,KAAK,MAAM,aAAa,IAAI,OAAO;AAAE,oBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;YAClE;QACF;QACA,KAAK,MAAM,MAAM,IAAI;AACnB,YAAA,KAAK,CAAC,OAAO;AACb,YAAA,KAAK,CAAC,OAAO;AACb,YAAA,KAAK,CAAC,gBAAgB;AACvB,SAAA,EAAE;AACD,YAAA,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBACzB,KAAK,MAAM,aAAa,IAAI,MAAM;AAAE,oBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;YACjE;QACF;AACA,QAAA,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE;YAC9D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;gBAC9B;YACF;AACA,YAAA,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;gBAClC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE;oBAC3D;gBACF;AACA,gBAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,SAAS,CAAC;AAC3D,gBAAA,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;gBACvB,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAClD;QACF;QACA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,gBAAgB,IAAI,EAAE,EAAE;YAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;AACnD,gBAAA,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAClE;QACF;IACF;AACA,IAAA,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE;AACpE,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YAC1B,KAAK,MAAM,aAAa,IAAI,OAAO;AAAE,gBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;QAClE;IACF;IACA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;QAC1C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE;AAC3C,YAAA,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YACnB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;;;;AAInD,gBAAA,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAClE;QACF;IACF;AACA,IAAA,MAAM,QAAQ,GACZ,KAAK,CAAC,iBAAiB,KAAK;AAC1B,UAAE;UACAC,+BAAe,CAAC,KAAK,CAAC,iBAAiB,EAAE,UAAU,CAAC;IAC1D,MAAM,MAAM,GAAa,EAAE;AAC3B,IAAA,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU;AAC9B,IAAA,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE;QAC5B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;YACrD;QACF;AACA,QAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACvC,MAAM,QAAQ,GAAGA,+BAAe,CAAC,QAAQ,EAAE,UAAU,CAAC;QACtD,MAAM,WAAW,GAAG,YAAY,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAChE,QAAA,MAAM,gBAAgB,GACpB,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAClC,aAAC,WAAW,EAAE,UAAU,KAAK,KAAK;AAChC,iBAAC,WAAW,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChE,IACE,QAAQ,KAAK,QAAQ;AACrB,YAAAC,+CAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC;AACzD,YAAA,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;AAClB,aAAC,CAAC,gBAAgB;AAChB,gBAAAC,mCAAiB,CACf,KAAK,CAAC,WAAW,EACjB,QAAQ,EACR,UAAU,EACV,UAAU,EACV,KAAK,CAAC,gBAAgB,CACvB,CAAC,EACJ;YACA;QACF;;;AAGA,QAAA,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;AAClB,QAAA,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;IACvB;IACA,MAAM,CAAC,IAAI,EAAE;AACb,IAAA,OAAO,MAAM;AACf;;;;"}
+{"version":3,"file":"selectExternalInputPaths.js","sources":["../../../../src/core/transform/envelope/selectExternalInputPaths.ts"],"sourcesContent":[null],"names":["DEFAULT_FILESYSTEM_OPERATIONS","createHostPathIdentityContext","envelopeDerivation","envelopeGraphIndexes","pathIdentityKey","isTransformScratchInput","isProjectWalkPath"],"mappings":";;;;;;;;;;;AAaA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsCG;AACG,SAAU,wBAAwB,CAAC,KAOxC,EAAA;IACC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE;AACrC,QAAA,OAAO,EAAE;IACX;IACA,MAAM,OAAO,GAAa,EAAE;AAC5B,IAAA,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAIA,2DAA6B;AACpE,IAAA,MAAM,UAAU,GAAGC,2DAA6B,CAAC,UAAU,CAAC;AAC5D,IAAA,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU;AAC9C,IAAA,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK;IAChC,MAAM,UAAU,GAAGC,qCAAkB,CAAC;QACpC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;AACrB,KAAA,CAAC;AACF,IAAA,MAAM,YAAY,GAAGC,yCAAoB,CAAC,UAAU,EAAE;QACpD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;AACrB,KAAA,CAAC;;;;AAIF,IAAA,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;AAC9D,QAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;AAC7B,IAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,QAAA,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE;AACjE,YAAA,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;AACpB,YAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;gBAC1B,KAAK,MAAM,aAAa,IAAI,OAAO;AAAE,oBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;YAClE;QACF;QACA,KAAK,MAAM,MAAM,IAAI;AACnB,YAAA,KAAK,CAAC,OAAO;AACb,YAAA,KAAK,CAAC,OAAO;AACb,YAAA,KAAK,CAAC,gBAAgB;AACvB,SAAA,EAAE;AACD,YAAA,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBACzB,KAAK,MAAM,aAAa,IAAI,MAAM;AAAE,oBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;YACjE;QACF;AACA,QAAA,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE;YAC9D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;gBAC9B;YACF;AACA,YAAA,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;gBAClC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE;oBAC3D;gBACF;AACA,gBAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,SAAS,CAAC;AAC3D,gBAAA,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;gBACvB,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAClD;QACF;QACA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,gBAAgB,IAAI,EAAE,EAAE;YAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;AACnD,gBAAA,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAClE;QACF;IACF;AACA,IAAA,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE;AACpE,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YAC1B,KAAK,MAAM,aAAa,IAAI,OAAO;AAAE,gBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;QAClE;IACF;IACA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;QAC1C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE;AAC3C,YAAA,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YACnB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;;;;AAInD,gBAAA,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAClE;QACF;IACF;AACA,IAAA,MAAM,QAAQ,GACZ,KAAK,CAAC,iBAAiB,KAAK;AAC1B,UAAE;UACAC,+BAAe,CAAC,KAAK,CAAC,iBAAiB,EAAE,UAAU,CAAC;IAC1D,MAAM,MAAM,GAAa,EAAE;AAC3B,IAAA,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU;AAC9B,IAAA,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE;QAC5B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;YACrD;QACF;AACA,QAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;;;AAGvC,QAAA,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE;AACxB,QAAA,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAGA,+BAAe,CAAC,QAAQ,EAAE,UAAU,CAAC;QACtD,MAAM,WAAW,GAAG,YAAY,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAChE,QAAA,MAAM,gBAAgB,GACpB,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAClC,aAAC,WAAW,EAAE,UAAU,KAAK,KAAK;AAChC,iBAAC,WAAW,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChE,IACE,QAAQ,KAAK,QAAQ;AACrB,YAAAC,+CAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC;AACzD,aAAC,CAAC,gBAAgB;AAChB,gBAAAC,mCAAiB,CACf,KAAK,CAAC,WAAW,EACjB,QAAQ,EACR,UAAU,EACV,UAAU,EACV,KAAK,CAAC,gBAAgB,CACvB,CAAC,EACJ;YACA;QACF;;;AAGA,QAAA,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;IACvB;IACA,MAAM,CAAC,IAAI,EAAE;AACb,IAAA,OAAO,MAAM;AACf;;;;"}

package/lib/core/transform/envelope/selectExternalInputPaths.mjs

@@ -32,17 +32,15 @@ import { envelopeGraphIndexes } from './envelopeGraphIndexes.mjs';
  * @evidence contracts/performance.md#efficient-algorithms
  *   Cold graph index construction precedes separate scans of output, graph,
  *   candidate, dependency and host lists, followed by every collected member's
- *   filter pass. Duplicate occurrences still pay path/identity and candidate
- *   observations before seen rejection; rejected walk members are not added to
- *   seen. Native path/ancestor/case, existence and walk policy/component checks
+ *   filter pass. Lexical deduplication precedes native identity/candidate/walk
+ *   observations, including rejected members; distinct aliases stay separate. Native path/ancestor/case, existence and walk policy/component checks
  *   add costs to list/key text. Collected members, candidate/seen sets and
  *   output allocate population-sized storage; final string sorting adds output
  *   comparison work.
  * @evidence contracts/performance.md#reuse-equivalent-work
  *   Generation state shares completed graph parsing, while this call's native
  *   identity context reuses its qualified path observations. The sets dedupe
- *   emitted lexical names and mark candidate membership; they do not suppress
- *   every repeated classification. Supplied filesystem, producer-derived state
+ *   every lexical classification and mark candidate membership. Supplied filesystem, producer-derived state
  *   and membership policy must represent the same stable generation view.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources
  *   Its collections are local to the call and released on return; only the
@@ -135,6 +133,11 @@ function selectExternalInputPaths(props) {
         }
         const absolute = path.resolve(props.projectRoot, member);
         const spelling = path.resolve(absolute);
+        // Classify each lexical address once, including rejected walk members.
+        // Physical aliases remain distinct so retargeting is still observable.
+        if (seen.has(spelling))
+            continue;
+        seen.add(spelling);
         const identity = pathIdentityKey(absolute, identities);
         const observation = graphIndexes.inputObservations.get(spelling);
         const missingCandidate = resolutionCandidates.has(spelling) &&
@@ -142,14 +145,12 @@ function selectExternalInputPaths(props) {
                 (observation === undefined && !filesystem.exists(absolute)));
         if (identity === excluded ||
             isTransformScratchInput(absolute, props.scratchDirectory) ||
-            seen.has(spelling) ||
             (!missingCandidate &&
                 isProjectWalkPath(props.projectRoot, absolute, identities, filesystem, props.membershipPolicy))) {
             continue;
         }
         // Preserve distinct lexical aliases even when they currently select the
         // same physical file. A later retarget must validate the alias itself.
-        seen.add(spelling);
         output.push(absolute);
     }
     output.sort();

package/lib/core/transform/envelope/selectExternalInputPaths.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"selectExternalInputPaths.mjs","sources":["../../../../src/core/transform/envelope/selectExternalInputPaths.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;AAaA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCG;AACG,SAAU,wBAAwB,CAAC,KAOxC,EAAA;IACC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE;AACrC,QAAA,OAAO,EAAE;IACX;IACA,MAAM,OAAO,GAAa,EAAE;AAC5B,IAAA,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,6BAA6B;AACpE,IAAA,MAAM,UAAU,GAAG,6BAA6B,CAAC,UAAU,CAAC;AAC5D,IAAA,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU;AAC9C,IAAA,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK;IAChC,MAAM,UAAU,GAAG,kBAAkB,CAAC;QACpC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;AACrB,KAAA,CAAC;AACF,IAAA,MAAM,YAAY,GAAG,oBAAoB,CAAC,UAAU,EAAE;QACpD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;AACrB,KAAA,CAAC;;;;AAIF,IAAA,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;AAC9D,QAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;AAC7B,IAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,QAAA,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE;AACjE,YAAA,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;AACpB,YAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;gBAC1B,KAAK,MAAM,aAAa,IAAI,OAAO;AAAE,oBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;YAClE;QACF;QACA,KAAK,MAAM,MAAM,IAAI;AACnB,YAAA,KAAK,CAAC,OAAO;AACb,YAAA,KAAK,CAAC,OAAO;AACb,YAAA,KAAK,CAAC,gBAAgB;AACvB,SAAA,EAAE;AACD,YAAA,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBACzB,KAAK,MAAM,aAAa,IAAI,MAAM;AAAE,oBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;YACjE;QACF;AACA,QAAA,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE;YAC9D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;gBAC9B;YACF;AACA,YAAA,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;gBAClC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE;oBAC3D;gBACF;AACA,gBAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,SAAS,CAAC;AAC3D,gBAAA,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;gBACvB,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAClD;QACF;QACA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,gBAAgB,IAAI,EAAE,EAAE;YAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;AACnD,gBAAA,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAClE;QACF;IACF;AACA,IAAA,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE;AACpE,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YAC1B,KAAK,MAAM,aAAa,IAAI,OAAO;AAAE,gBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;QAClE;IACF;IACA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;QAC1C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE;AAC3C,YAAA,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YACnB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;;;;AAInD,gBAAA,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAClE;QACF;IACF;AACA,IAAA,MAAM,QAAQ,GACZ,KAAK,CAAC,iBAAiB,KAAK;AAC1B,UAAE;UACA,eAAe,CAAC,KAAK,CAAC,iBAAiB,EAAE,UAAU,CAAC;IAC1D,MAAM,MAAM,GAAa,EAAE;AAC3B,IAAA,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU;AAC9B,IAAA,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE;QAC5B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;YACrD;QACF;AACA,QAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACvC,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC;QACtD,MAAM,WAAW,GAAG,YAAY,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAChE,QAAA,MAAM,gBAAgB,GACpB,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAClC,aAAC,WAAW,EAAE,UAAU,KAAK,KAAK;AAChC,iBAAC,WAAW,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChE,IACE,QAAQ,KAAK,QAAQ;AACrB,YAAA,uBAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC;AACzD,YAAA,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;AAClB,aAAC,CAAC,gBAAgB;AAChB,gBAAA,iBAAiB,CACf,KAAK,CAAC,WAAW,EACjB,QAAQ,EACR,UAAU,EACV,UAAU,EACV,KAAK,CAAC,gBAAgB,CACvB,CAAC,EACJ;YACA;QACF;;;AAGA,QAAA,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;AAClB,QAAA,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;IACvB;IACA,MAAM,CAAC,IAAI,EAAE;AACb,IAAA,OAAO,MAAM;AACf;;;;"}
+{"version":3,"file":"selectExternalInputPaths.mjs","sources":["../../../../src/core/transform/envelope/selectExternalInputPaths.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;AAaA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsCG;AACG,SAAU,wBAAwB,CAAC,KAOxC,EAAA;IACC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE;AACrC,QAAA,OAAO,EAAE;IACX;IACA,MAAM,OAAO,GAAa,EAAE;AAC5B,IAAA,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,6BAA6B;AACpE,IAAA,MAAM,UAAU,GAAG,6BAA6B,CAAC,UAAU,CAAC;AAC5D,IAAA,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU;AAC9C,IAAA,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK;IAChC,MAAM,UAAU,GAAG,kBAAkB,CAAC;QACpC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;AACrB,KAAA,CAAC;AACF,IAAA,MAAM,YAAY,GAAG,oBAAoB,CAAC,UAAU,EAAE;QACpD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;AACrB,KAAA,CAAC;;;;AAIF,IAAA,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC;AAC9D,QAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;AAC7B,IAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,QAAA,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE;AACjE,YAAA,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;AACpB,YAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;gBAC1B,KAAK,MAAM,aAAa,IAAI,OAAO;AAAE,oBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;YAClE;QACF;QACA,KAAK,MAAM,MAAM,IAAI;AACnB,YAAA,KAAK,CAAC,OAAO;AACb,YAAA,KAAK,CAAC,OAAO;AACb,YAAA,KAAK,CAAC,gBAAgB;AACvB,SAAA,EAAE;AACD,YAAA,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBACzB,KAAK,MAAM,aAAa,IAAI,MAAM;AAAE,oBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;YACjE;QACF;AACA,QAAA,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE;YAC9D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;gBAC9B;YACF;AACA,YAAA,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;gBAClC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE;oBAC3D;gBACF;AACA,gBAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,SAAS,CAAC;AAC3D,gBAAA,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;gBACvB,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAClD;QACF;QACA,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,gBAAgB,IAAI,EAAE,EAAE;YAChD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;AACnD,gBAAA,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAClE;QACF;IACF;AACA,IAAA,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE;AACpE,QAAA,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YAC1B,KAAK,MAAM,aAAa,IAAI,OAAO;AAAE,gBAAA,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC;QAClE;IACF;IACA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;QAC1C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE;AAC3C,YAAA,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YACnB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;;;;AAInD,gBAAA,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAClE;QACF;IACF;AACA,IAAA,MAAM,QAAQ,GACZ,KAAK,CAAC,iBAAiB,KAAK;AAC1B,UAAE;UACA,eAAe,CAAC,KAAK,CAAC,iBAAiB,EAAE,UAAU,CAAC;IAC1D,MAAM,MAAM,GAAa,EAAE;AAC3B,IAAA,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU;AAC9B,IAAA,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE;QAC5B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;YACrD;QACF;AACA,QAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;;;AAGvC,QAAA,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE;AACxB,QAAA,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC;QACtD,MAAM,WAAW,GAAG,YAAY,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAChE,QAAA,MAAM,gBAAgB,GACpB,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAClC,aAAC,WAAW,EAAE,UAAU,KAAK,KAAK;AAChC,iBAAC,WAAW,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChE,IACE,QAAQ,KAAK,QAAQ;AACrB,YAAA,uBAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC;AACzD,aAAC,CAAC,gBAAgB;AAChB,gBAAA,iBAAiB,CACf,KAAK,CAAC,WAAW,EACjB,QAAQ,EACR,UAAU,EACV,UAAU,EACV,KAAK,CAAC,gBAAgB,CACvB,CAAC,EACJ;YACA;QACF;;;AAGA,QAAA,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;IACvB;IACA,MAAM,CAAC,IAAI,EAAE;AACb,IAAA,OAAO,MAAM;AACf;;;;"}

package/lib/core/transform/filesystem/TtscTransformFilesystemOperations.d.cts

@@ -186,23 +186,26 @@ export interface TtscTransformFilesystemOperations {
      * Open one directory's change notification, or throw when the observed
      * filesystem cannot provide one.
      *
-     * Left undefined, generations watch the host filesystem: in process on Linux,
-     * and through an isolated broker process on Windows and macOS. An embedder
-     * observing another filesystem supplies its own; a generation whose watch
-     * cannot be opened keeps validating from recorded state instead of losing its
-     * cache.
+     * Left undefined, generations watch the host filesystem through the native
+     * Linux helper, the native Windows completion-port helper, or the macOS
+     * FSEvents broker. An embedder observing another filesystem supplies its own;
+     * a generation whose watch cannot be opened keeps validating from recorded
+     * state instead of losing its cache.
      *
-     * Supplying one replaces the broker as well, so an embedder that wraps Node's
-     * own `fs.watch` gives up what the broker provides: on Windows, containing
-     * the native abort Node's fs-event backend can raise when a watched temporary
-     * tree is deleted, and on macOS, one FSEventStream per watch whose dropped
-     * events are reported rather than lost silently.
+     * Supplying one bypasses these native owners. Wrapping Node's `fs.watch`
+     * reintroduces Windows access-only notifications that invalidate unchanged
+     * inputs, and the native abort its fs-event backend can raise when a watched
+     * temporary tree is deleted. It also gives up explicit notification-loss
+     * reporting from the Linux helper and macOS's per-watch FSEventStream.
+     * Preserve mutation and loss reporting when implementing this capability;
+     * timestamps or identical current bytes cannot discard an actual A-B-A
+     * event.
      *
      * @evidence contracts/common.md#principled-implementation The watch capability reports actual directory changes and failure; its absence or failure cannot certify silence as unchanged inputs.
      * @evidence contracts/common.md#clear-and-simple-design One optional native operation exposes observation and a close handle, leaving broker selection and retained-generation proof in their owners.
      * @evidence contracts/common.md#prohibited-implementation-shortcuts Injected watches are explicit capabilities rather than patched fs methods, and errors require recorded-state validation instead of synthetic live coverage.
-     * @evidence contracts/common.md#meaningful-documentation The native paragraphs explain absent overrides, failed watches, broker bypass, and the Windows/macOS capability lost when wrapping fs.watch directly.
-     * @evidence contracts/portability.md#os-neutral-implementation OS-neutral watching requires the observed filesystem's capability and accounts for backend-specific abort isolation and dropped-stream reporting rather than assuming recursive notifications are interchangeable.
+     * @evidence contracts/common.md#meaningful-documentation The native paragraphs explain default owners, failed watches, explicit override authority, access-only noise, native aborts and mutation/loss reporting that a direct fs.watch wrapper cannot supply.
+     * @evidence contracts/portability.md#os-neutral-implementation OS-neutral watching requires the observed filesystem's capability and accounts for native Windows mutation filtering and Linux/macOS loss reporting rather than assuming recursive notifications are interchangeable.
      * @evidenceExclude contracts/performance.md#efficient-algorithms
      *   Only the signature of watch is declared here; the cost belongs to its
      *   implementation.

package/lib/core/transform/filesystem/TtscTransformFilesystemOperations.d.mts

@@ -186,23 +186,26 @@ export interface TtscTransformFilesystemOperations {
      * Open one directory's change notification, or throw when the observed
      * filesystem cannot provide one.
      *
-     * Left undefined, generations watch the host filesystem: in process on Linux,
-     * and through an isolated broker process on Windows and macOS. An embedder
-     * observing another filesystem supplies its own; a generation whose watch
-     * cannot be opened keeps validating from recorded state instead of losing its
-     * cache.
+     * Left undefined, generations watch the host filesystem through the native
+     * Linux helper, the native Windows completion-port helper, or the macOS
+     * FSEvents broker. An embedder observing another filesystem supplies its own;
+     * a generation whose watch cannot be opened keeps validating from recorded
+     * state instead of losing its cache.
      *
-     * Supplying one replaces the broker as well, so an embedder that wraps Node's
-     * own `fs.watch` gives up what the broker provides: on Windows, containing
-     * the native abort Node's fs-event backend can raise when a watched temporary
-     * tree is deleted, and on macOS, one FSEventStream per watch whose dropped
-     * events are reported rather than lost silently.
+     * Supplying one bypasses these native owners. Wrapping Node's `fs.watch`
+     * reintroduces Windows access-only notifications that invalidate unchanged
+     * inputs, and the native abort its fs-event backend can raise when a watched
+     * temporary tree is deleted. It also gives up explicit notification-loss
+     * reporting from the Linux helper and macOS's per-watch FSEventStream.
+     * Preserve mutation and loss reporting when implementing this capability;
+     * timestamps or identical current bytes cannot discard an actual A-B-A
+     * event.
      *
      * @evidence contracts/common.md#principled-implementation The watch capability reports actual directory changes and failure; its absence or failure cannot certify silence as unchanged inputs.
      * @evidence contracts/common.md#clear-and-simple-design One optional native operation exposes observation and a close handle, leaving broker selection and retained-generation proof in their owners.
      * @evidence contracts/common.md#prohibited-implementation-shortcuts Injected watches are explicit capabilities rather than patched fs methods, and errors require recorded-state validation instead of synthetic live coverage.
-     * @evidence contracts/common.md#meaningful-documentation The native paragraphs explain absent overrides, failed watches, broker bypass, and the Windows/macOS capability lost when wrapping fs.watch directly.
-     * @evidence contracts/portability.md#os-neutral-implementation OS-neutral watching requires the observed filesystem's capability and accounts for backend-specific abort isolation and dropped-stream reporting rather than assuming recursive notifications are interchangeable.
+     * @evidence contracts/common.md#meaningful-documentation The native paragraphs explain default owners, failed watches, explicit override authority, access-only noise, native aborts and mutation/loss reporting that a direct fs.watch wrapper cannot supply.
+     * @evidence contracts/portability.md#os-neutral-implementation OS-neutral watching requires the observed filesystem's capability and accounts for native Windows mutation filtering and Linux/macOS loss reporting rather than assuming recursive notifications are interchangeable.
      * @evidenceExclude contracts/performance.md#efficient-algorithms
      *   Only the signature of watch is declared here; the cost belongs to its
      *   implementation.

package/lib/core/transform/filesystem/TtscTransformFilesystemOperations.d.ts

@@ -186,23 +186,26 @@ export interface TtscTransformFilesystemOperations {
      * Open one directory's change notification, or throw when the observed
      * filesystem cannot provide one.
      *
-     * Left undefined, generations watch the host filesystem: in process on Linux,
-     * and through an isolated broker process on Windows and macOS. An embedder
-     * observing another filesystem supplies its own; a generation whose watch
-     * cannot be opened keeps validating from recorded state instead of losing its
-     * cache.
+     * Left undefined, generations watch the host filesystem through the native
+     * Linux helper, the native Windows completion-port helper, or the macOS
+     * FSEvents broker. An embedder observing another filesystem supplies its own;
+     * a generation whose watch cannot be opened keeps validating from recorded
+     * state instead of losing its cache.
      *
-     * Supplying one replaces the broker as well, so an embedder that wraps Node's
-     * own `fs.watch` gives up what the broker provides: on Windows, containing
-     * the native abort Node's fs-event backend can raise when a watched temporary
-     * tree is deleted, and on macOS, one FSEventStream per watch whose dropped
-     * events are reported rather than lost silently.
+     * Supplying one bypasses these native owners. Wrapping Node's `fs.watch`
+     * reintroduces Windows access-only notifications that invalidate unchanged
+     * inputs, and the native abort its fs-event backend can raise when a watched
+     * temporary tree is deleted. It also gives up explicit notification-loss
+     * reporting from the Linux helper and macOS's per-watch FSEventStream.
+     * Preserve mutation and loss reporting when implementing this capability;
+     * timestamps or identical current bytes cannot discard an actual A-B-A
+     * event.
      *
      * @evidence contracts/common.md#principled-implementation The watch capability reports actual directory changes and failure; its absence or failure cannot certify silence as unchanged inputs.
      * @evidence contracts/common.md#clear-and-simple-design One optional native operation exposes observation and a close handle, leaving broker selection and retained-generation proof in their owners.
      * @evidence contracts/common.md#prohibited-implementation-shortcuts Injected watches are explicit capabilities rather than patched fs methods, and errors require recorded-state validation instead of synthetic live coverage.
-     * @evidence contracts/common.md#meaningful-documentation The native paragraphs explain absent overrides, failed watches, broker bypass, and the Windows/macOS capability lost when wrapping fs.watch directly.
-     * @evidence contracts/portability.md#os-neutral-implementation OS-neutral watching requires the observed filesystem's capability and accounts for backend-specific abort isolation and dropped-stream reporting rather than assuming recursive notifications are interchangeable.
+     * @evidence contracts/common.md#meaningful-documentation The native paragraphs explain default owners, failed watches, explicit override authority, access-only noise, native aborts and mutation/loss reporting that a direct fs.watch wrapper cannot supply.
+     * @evidence contracts/portability.md#os-neutral-implementation OS-neutral watching requires the observed filesystem's capability and accounts for native Windows mutation filtering and Linux/macOS loss reporting rather than assuming recursive notifications are interchangeable.
      * @evidenceExclude contracts/performance.md#efficient-algorithms
      *   Only the signature of watch is declared here; the cost belongs to its
      *   implementation.

package/lib/core/transform/generation/selectTransformAttemptDisposition.d.cts

@@ -5,7 +5,9 @@ import type { TtscGenerationProofFailures } from "./TtscGenerationProofFailures.
  * facts describe the capture; this policy performs no capture or native proof.
  *
  * Coherent results return first. A local, lossless host-observation refusal can
- * transfer one fresh success without reuse authority. Rejected attempts spend
+ * transfer an incomplete local success. TtscGenerationProof owns any sharing of
+ * its first module deliveries inside an explicit nonwatching pass; this policy
+ * grants no independent native or persistent proof. Rejected attempts spend
  * movement only when they neither refute a publication nor solely learn facts.
  * Two movements or four captures stop retrying, retaining a current diagnostic
  * rather than a terminal instability verdict when its config is not refuted.

package/lib/core/transform/generation/selectTransformAttemptDisposition.d.mts

@@ -5,7 +5,9 @@ import type { TtscGenerationProofFailures } from "./TtscGenerationProofFailures.
  * facts describe the capture; this policy performs no capture or native proof.
  *
  * Coherent results return first. A local, lossless host-observation refusal can
- * transfer one fresh success without reuse authority. Rejected attempts spend
+ * transfer an incomplete local success. TtscGenerationProof owns any sharing of
+ * its first module deliveries inside an explicit nonwatching pass; this policy
+ * grants no independent native or persistent proof. Rejected attempts spend
  * movement only when they neither refute a publication nor solely learn facts.
  * Two movements or four captures stop retrying, retaining a current diagnostic
  * rather than a terminal instability verdict when its config is not refuted.

package/lib/core/transform/generation/selectTransformAttemptDisposition.d.ts

@@ -5,7 +5,9 @@ import type { TtscGenerationProofFailures } from "./TtscGenerationProofFailures"
  * facts describe the capture; this policy performs no capture or native proof.
  *
  * Coherent results return first. A local, lossless host-observation refusal can
- * transfer one fresh success without reuse authority. Rejected attempts spend
+ * transfer an incomplete local success. TtscGenerationProof owns any sharing of
+ * its first module deliveries inside an explicit nonwatching pass; this policy
+ * grants no independent native or persistent proof. Rejected attempts spend
  * movement only when they neither refute a publication nor solely learn facts.
  * Two movements or four captures stop retrying, retaining a current diagnostic
  * rather than a terminal instability verdict when its config is not refuted.

package/lib/core/transform/generation/selectTransformAttemptDisposition.js

@@ -8,7 +8,9 @@ var onlyLearnedCompileFacts = require('./onlyLearnedCompileFacts.js');
  * facts describe the capture; this policy performs no capture or native proof.
  *
  * Coherent results return first. A local, lossless host-observation refusal can
- * transfer one fresh success without reuse authority. Rejected attempts spend
+ * transfer an incomplete local success. TtscGenerationProof owns any sharing of
+ * its first module deliveries inside an explicit nonwatching pass; this policy
+ * grants no independent native or persistent proof. Rejected attempts spend
  * movement only when they neither refute a publication nor solely learn facts.
  * Two movements or four captures stop retrying, retaining a current diagnostic
  * rather than a terminal instability verdict when its config is not refuted.

package/lib/core/transform/generation/selectTransformAttemptDisposition.js.map

@@ -1 +1 @@
-{"version":3,"file":"selectTransformAttemptDisposition.js","sources":["../../../../src/core/transform/generation/selectTransformAttemptDisposition.ts"],"sourcesContent":[null],"names":["createGenerationProofFailures","onlyLearnedCompileFacts"],"mappings":";;;;;AAKA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2CG;AACG,SAAU,iCAAiC,CAAC,KAoCjD,EAAA;AAgBC,IAAA,MAAM,iBAAiB,GACrB,KAAK,CAAC,UAAU,KAAK,SAAS;AAC9B,SAAC,KAAK,CAAC,oBAAoB,KAAK,KAAK;AACnC,YAAA,KAAK,CAAC,0BAA0B,KAAK,CAAC,CAAC;AAC3C,IAAA,IACE,KAAK,CAAC,mBAAmB,KAAK,KAAK;AACnC,SAAC,KAAK,CAAC,UAAU,KAAK;AACpB,cAAE,KAAK,CAAC,uBAAuB,KAAK;cAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,EACrC;AACA,QAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,iBAAiB,EAAE;IAChD;IACA,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAIA,2DAA6B,EAAE;AAClE,IAAA,IACE,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,mBAAmB,KAAK,IAAI;QAClC,KAAK,CAAC,gBAAgB,KAAK,IAAI;QAC/B,KAAK,CAAC,OAAO,KAAK,SAAS;QAC3B,QAAQ,CAAC,OAAO,KAAK,CAAC;AACtB,QAAA,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC7B,QAAQ,CAAC,OAAO,CAAC,KAAK,CACpB,CAAC,OAAO,KACN,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,yBAAyB,CAC1E,EACD;QACA,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE;IACxD;AACA,IAAA,IAAI,KAAK,GAAG,KAAK,CAAC,KAAK;AACvB,IAAA,IAAI,QAAQ,GAAG,KAAK,CAAC,QAAQ;AAC7B,IAAA,IAAI,KAAK,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI;AAAE,QAAA,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW;AACpE,SAAA,IAAI,CAACC,+CAAuB,CAAC,QAAQ,CAAC;QAAE,KAAK,IAAI,CAAC;AACvD,IAAA,MAAM,IAAI,GACR,KAAK,KAAK,2BAA2B;QACrC,KAAK,CAAC,OAAO,GAAG,CAAC,KAAK,2BAA2B,GAAG,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,CAAC;AACL,cAAE;cACA,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,mBAAmB,KAAK;AAChE,kBAAE;AACF,kBAAE,UAAU;QAChB,iBAAiB;QACjB,QAAQ;QACR,KAAK;QACL,QAAQ;KACT;AACH;AAEA;AACA,MAAM,2BAA2B,GAAG,CAAC;;;;"}
+{"version":3,"file":"selectTransformAttemptDisposition.js","sources":["../../../../src/core/transform/generation/selectTransformAttemptDisposition.ts"],"sourcesContent":[null],"names":["createGenerationProofFailures","onlyLearnedCompileFacts"],"mappings":";;;;;AAKA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6CG;AACG,SAAU,iCAAiC,CAAC,KAoCjD,EAAA;AAgBC,IAAA,MAAM,iBAAiB,GACrB,KAAK,CAAC,UAAU,KAAK,SAAS;AAC9B,SAAC,KAAK,CAAC,oBAAoB,KAAK,KAAK;AACnC,YAAA,KAAK,CAAC,0BAA0B,KAAK,CAAC,CAAC;AAC3C,IAAA,IACE,KAAK,CAAC,mBAAmB,KAAK,KAAK;AACnC,SAAC,KAAK,CAAC,UAAU,KAAK;AACpB,cAAE,KAAK,CAAC,uBAAuB,KAAK;cAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,EACrC;AACA,QAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,iBAAiB,EAAE;IAChD;IACA,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAIA,2DAA6B,EAAE;AAClE,IAAA,IACE,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,mBAAmB,KAAK,IAAI;QAClC,KAAK,CAAC,gBAAgB,KAAK,IAAI;QAC/B,KAAK,CAAC,OAAO,KAAK,SAAS;QAC3B,QAAQ,CAAC,OAAO,KAAK,CAAC;AACtB,QAAA,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC7B,QAAQ,CAAC,OAAO,CAAC,KAAK,CACpB,CAAC,OAAO,KACN,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,yBAAyB,CAC1E,EACD;QACA,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE;IACxD;AACA,IAAA,IAAI,KAAK,GAAG,KAAK,CAAC,KAAK;AACvB,IAAA,IAAI,QAAQ,GAAG,KAAK,CAAC,QAAQ;AAC7B,IAAA,IAAI,KAAK,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI;AAAE,QAAA,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW;AACpE,SAAA,IAAI,CAACC,+CAAuB,CAAC,QAAQ,CAAC;QAAE,KAAK,IAAI,CAAC;AACvD,IAAA,MAAM,IAAI,GACR,KAAK,KAAK,2BAA2B;QACrC,KAAK,CAAC,OAAO,GAAG,CAAC,KAAK,2BAA2B,GAAG,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,CAAC;AACL,cAAE;cACA,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,mBAAmB,KAAK;AAChE,kBAAE;AACF,kBAAE,UAAU;QAChB,iBAAiB;QACjB,QAAQ;QACR,KAAK;QACL,QAAQ;KACT;AACH;AAEA;AACA,MAAM,2BAA2B,GAAG,CAAC;;;;"}

package/lib/core/transform/generation/selectTransformAttemptDisposition.mjs

@@ -6,7 +6,9 @@ import { onlyLearnedCompileFacts } from './onlyLearnedCompileFacts.mjs';
  * facts describe the capture; this policy performs no capture or native proof.
  *
  * Coherent results return first. A local, lossless host-observation refusal can
- * transfer one fresh success without reuse authority. Rejected attempts spend
+ * transfer an incomplete local success. TtscGenerationProof owns any sharing of
+ * its first module deliveries inside an explicit nonwatching pass; this policy
+ * grants no independent native or persistent proof. Rejected attempts spend
  * movement only when they neither refute a publication nor solely learn facts.
  * Two movements or four captures stop retrying, retaining a current diagnostic
  * rather than a terminal instability verdict when its config is not refuted.

package/lib/core/transform/generation/selectTransformAttemptDisposition.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"selectTransformAttemptDisposition.mjs","sources":["../../../../src/core/transform/generation/selectTransformAttemptDisposition.ts"],"sourcesContent":[null],"names":[],"mappings":";;;AAKA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2CG;AACG,SAAU,iCAAiC,CAAC,KAoCjD,EAAA;AAgBC,IAAA,MAAM,iBAAiB,GACrB,KAAK,CAAC,UAAU,KAAK,SAAS;AAC9B,SAAC,KAAK,CAAC,oBAAoB,KAAK,KAAK;AACnC,YAAA,KAAK,CAAC,0BAA0B,KAAK,CAAC,CAAC;AAC3C,IAAA,IACE,KAAK,CAAC,mBAAmB,KAAK,KAAK;AACnC,SAAC,KAAK,CAAC,UAAU,KAAK;AACpB,cAAE,KAAK,CAAC,uBAAuB,KAAK;cAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,EACrC;AACA,QAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,iBAAiB,EAAE;IAChD;IACA,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,6BAA6B,EAAE;AAClE,IAAA,IACE,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,mBAAmB,KAAK,IAAI;QAClC,KAAK,CAAC,gBAAgB,KAAK,IAAI;QAC/B,KAAK,CAAC,OAAO,KAAK,SAAS;QAC3B,QAAQ,CAAC,OAAO,KAAK,CAAC;AACtB,QAAA,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC7B,QAAQ,CAAC,OAAO,CAAC,KAAK,CACpB,CAAC,OAAO,KACN,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,yBAAyB,CAC1E,EACD;QACA,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE;IACxD;AACA,IAAA,IAAI,KAAK,GAAG,KAAK,CAAC,KAAK;AACvB,IAAA,IAAI,QAAQ,GAAG,KAAK,CAAC,QAAQ;AAC7B,IAAA,IAAI,KAAK,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI;AAAE,QAAA,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW;AACpE,SAAA,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC;QAAE,KAAK,IAAI,CAAC;AACvD,IAAA,MAAM,IAAI,GACR,KAAK,KAAK,2BAA2B;QACrC,KAAK,CAAC,OAAO,GAAG,CAAC,KAAK,2BAA2B,GAAG,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,CAAC;AACL,cAAE;cACA,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,mBAAmB,KAAK;AAChE,kBAAE;AACF,kBAAE,UAAU;QAChB,iBAAiB;QACjB,QAAQ;QACR,KAAK;QACL,QAAQ;KACT;AACH;AAEA;AACA,MAAM,2BAA2B,GAAG,CAAC;;;;"}
+{"version":3,"file":"selectTransformAttemptDisposition.mjs","sources":["../../../../src/core/transform/generation/selectTransformAttemptDisposition.ts"],"sourcesContent":[null],"names":[],"mappings":";;;AAKA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6CG;AACG,SAAU,iCAAiC,CAAC,KAoCjD,EAAA;AAgBC,IAAA,MAAM,iBAAiB,GACrB,KAAK,CAAC,UAAU,KAAK,SAAS;AAC9B,SAAC,KAAK,CAAC,oBAAoB,KAAK,KAAK;AACnC,YAAA,KAAK,CAAC,0BAA0B,KAAK,CAAC,CAAC;AAC3C,IAAA,IACE,KAAK,CAAC,mBAAmB,KAAK,KAAK;AACnC,SAAC,KAAK,CAAC,UAAU,KAAK;AACpB,cAAE,KAAK,CAAC,uBAAuB,KAAK;cAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,EACrC;AACA,QAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,iBAAiB,EAAE;IAChD;IACA,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,6BAA6B,EAAE;AAClE,IAAA,IACE,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,mBAAmB,KAAK,IAAI;QAClC,KAAK,CAAC,gBAAgB,KAAK,IAAI;QAC/B,KAAK,CAAC,OAAO,KAAK,SAAS;QAC3B,QAAQ,CAAC,OAAO,KAAK,CAAC;AACtB,QAAA,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC7B,QAAQ,CAAC,OAAO,CAAC,KAAK,CACpB,CAAC,OAAO,KACN,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,yBAAyB,CAC1E,EACD;QACA,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE;IACxD;AACA,IAAA,IAAI,KAAK,GAAG,KAAK,CAAC,KAAK;AACvB,IAAA,IAAI,QAAQ,GAAG,KAAK,CAAC,QAAQ;AAC7B,IAAA,IAAI,KAAK,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI;AAAE,QAAA,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW;AACpE,SAAA,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC;QAAE,KAAK,IAAI,CAAC;AACvD,IAAA,MAAM,IAAI,GACR,KAAK,KAAK,2BAA2B;QACrC,KAAK,CAAC,OAAO,GAAG,CAAC,KAAK,2BAA2B,GAAG,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,CAAC;AACL,cAAE;cACA,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,mBAAmB,KAAK;AAChE,kBAAE;AACF,kBAAE,UAAU;QAChB,iBAAiB;QACjB,QAAQ;QACR,KAAK;QACL,QAAQ;KACT;AACH;AAEA;AACA,MAAM,2BAA2B,GAAG,CAAC;;;;"}

package/lib/core/transform/generation/transformProject.d.cts

@@ -51,18 +51,20 @@ import type { TtscTransformFilesystemOperations } from "../filesystem/TtscTransf
  * (samchon/ttsc#1545).
  *
  * A local success whose only lost premise is explicitly unavailable host
- * observation may qualify for its initiating delivery. The delivery coordinator
- * additionally requires an explicitly nonwatching host with cache-withdrawal
- * capability. It remains incomplete and cannot authorize resident, shared or
- * persistent caching. Actual changes, conflicts and unexplained missing proof
- * retain the stabilization gate.
+ * observation may qualify for local delivery. TtscGenerationProof additionally
+ * requires an explicitly nonwatching host and actual cache withdrawal for every
+ * delivery. It alone can share recorded first-module baselines inside the same
+ * explicit pass. This incomplete result cannot authorize ordinary resident
+ * reuse, a persistent project record or shared publication; repeated modules
+ * and later passes recapture. Actual changes, conflicts and unexplained missing
+ * proof retain the stabilization gate.
  *
  * Enabled private tracing records each computed disposition before its state is
  * applied. It does not supply proof when capture throws or tracing fails.
  *
- * @evidence contracts/common.md#principled-implementation Each capture establishes config coherence and reusable success proof or a current diagnostic verdict; a local stable success with only explicit unavailable host observations instead transfers one fresh delivery without reuse authority, while mixed mutation, missing or conflicting proof retains retry admission.
+ * @evidence contracts/common.md#principled-implementation Each capture establishes config coherence and reusable success proof or a current diagnostic verdict; a local stable success with only explicit unavailable host observations instead transfers an incomplete local result whose bounded first deliveries require the common nonwatching pass owner, while mixed mutation, missing or conflicting proof retains retry admission.
  * @evidence contracts/common.md#clear-and-simple-design The pure attempt policy selects acceptance and retry budgets; this loop owns mutable learned facts and resource handoff, capture owns proof construction, and the shared error builder owns terminal rendering and final disposal.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts Retrying follows learned dependencies/case policy or refuted publication payload rather than an endless workaround chain; only lossless producer-authorized observation unavailability can permit a local fresh answer, and it never becomes a reusable success or excuses actual mutation.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Retrying follows learned dependencies/case policy or refuted publication payload rather than an endless workaround chain; only lossless producer-authorized observation unavailability can permit a local fresh answer, and it never becomes complete or persistent/shared success proof or excuses actual mutation.
  * @evidence contracts/common.md#meaningful-documentation Native paragraphs explain movement versus absolute budgets, failed-compile diagnostics and learned facts; separated props state delivery, tracking and inherited witness meaning.
  * @evidence contracts/portability.md#os-neutral-implementation Each capture delegates native filesystem and compiler behavior to injected host boundaries; reported compiler case policy is carried between attempts rather than guessed from OS names.
  * @evidence contracts/performance.md#efficient-algorithms At most four captures bound retry count, not each capture's project/config/input bytes, native walks, compiler/plugin work, observer setup or session waiting time. Each rejected attempt copies the cumulative witnessed Set and scans its external dependencies into that copy; the next capture receives a separate array of its names; supplied spellings contribute hashing/text cost. Terminal rendering visits retained attempts/witnesses, and disposal delegates observer/probe cleanup rather than making those effects constant work. Enabled tracing serializes disposition scalars and path text through the existing bounded append sink; disabled tracing skips that payload construction.

package/lib/core/transform/generation/transformProject.d.mts

@@ -51,18 +51,20 @@ import type { TtscTransformFilesystemOperations } from "../filesystem/TtscTransf
  * (samchon/ttsc#1545).
  *
  * A local success whose only lost premise is explicitly unavailable host
- * observation may qualify for its initiating delivery. The delivery coordinator
- * additionally requires an explicitly nonwatching host with cache-withdrawal
- * capability. It remains incomplete and cannot authorize resident, shared or
- * persistent caching. Actual changes, conflicts and unexplained missing proof
- * retain the stabilization gate.
+ * observation may qualify for local delivery. TtscGenerationProof additionally
+ * requires an explicitly nonwatching host and actual cache withdrawal for every
+ * delivery. It alone can share recorded first-module baselines inside the same
+ * explicit pass. This incomplete result cannot authorize ordinary resident
+ * reuse, a persistent project record or shared publication; repeated modules
+ * and later passes recapture. Actual changes, conflicts and unexplained missing
+ * proof retain the stabilization gate.
  *
  * Enabled private tracing records each computed disposition before its state is
  * applied. It does not supply proof when capture throws or tracing fails.
  *
- * @evidence contracts/common.md#principled-implementation Each capture establishes config coherence and reusable success proof or a current diagnostic verdict; a local stable success with only explicit unavailable host observations instead transfers one fresh delivery without reuse authority, while mixed mutation, missing or conflicting proof retains retry admission.
+ * @evidence contracts/common.md#principled-implementation Each capture establishes config coherence and reusable success proof or a current diagnostic verdict; a local stable success with only explicit unavailable host observations instead transfers an incomplete local result whose bounded first deliveries require the common nonwatching pass owner, while mixed mutation, missing or conflicting proof retains retry admission.
  * @evidence contracts/common.md#clear-and-simple-design The pure attempt policy selects acceptance and retry budgets; this loop owns mutable learned facts and resource handoff, capture owns proof construction, and the shared error builder owns terminal rendering and final disposal.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts Retrying follows learned dependencies/case policy or refuted publication payload rather than an endless workaround chain; only lossless producer-authorized observation unavailability can permit a local fresh answer, and it never becomes a reusable success or excuses actual mutation.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Retrying follows learned dependencies/case policy or refuted publication payload rather than an endless workaround chain; only lossless producer-authorized observation unavailability can permit a local fresh answer, and it never becomes complete or persistent/shared success proof or excuses actual mutation.
  * @evidence contracts/common.md#meaningful-documentation Native paragraphs explain movement versus absolute budgets, failed-compile diagnostics and learned facts; separated props state delivery, tracking and inherited witness meaning.
  * @evidence contracts/portability.md#os-neutral-implementation Each capture delegates native filesystem and compiler behavior to injected host boundaries; reported compiler case policy is carried between attempts rather than guessed from OS names.
  * @evidence contracts/performance.md#efficient-algorithms At most four captures bound retry count, not each capture's project/config/input bytes, native walks, compiler/plugin work, observer setup or session waiting time. Each rejected attempt copies the cumulative witnessed Set and scans its external dependencies into that copy; the next capture receives a separate array of its names; supplied spellings contribute hashing/text cost. Terminal rendering visits retained attempts/witnesses, and disposal delegates observer/probe cleanup rather than making those effects constant work. Enabled tracing serializes disposition scalars and path text through the existing bounded append sink; disabled tracing skips that payload construction.

package/lib/core/transform/generation/transformProject.d.ts

@@ -51,18 +51,20 @@ import type { TtscTransformFilesystemOperations } from "../filesystem/TtscTransf
  * (samchon/ttsc#1545).
  *
  * A local success whose only lost premise is explicitly unavailable host
- * observation may qualify for its initiating delivery. The delivery coordinator
- * additionally requires an explicitly nonwatching host with cache-withdrawal
- * capability. It remains incomplete and cannot authorize resident, shared or
- * persistent caching. Actual changes, conflicts and unexplained missing proof
- * retain the stabilization gate.
+ * observation may qualify for local delivery. TtscGenerationProof additionally
+ * requires an explicitly nonwatching host and actual cache withdrawal for every
+ * delivery. It alone can share recorded first-module baselines inside the same
+ * explicit pass. This incomplete result cannot authorize ordinary resident
+ * reuse, a persistent project record or shared publication; repeated modules
+ * and later passes recapture. Actual changes, conflicts and unexplained missing
+ * proof retain the stabilization gate.
  *
  * Enabled private tracing records each computed disposition before its state is
  * applied. It does not supply proof when capture throws or tracing fails.
  *
- * @evidence contracts/common.md#principled-implementation Each capture establishes config coherence and reusable success proof or a current diagnostic verdict; a local stable success with only explicit unavailable host observations instead transfers one fresh delivery without reuse authority, while mixed mutation, missing or conflicting proof retains retry admission.
+ * @evidence contracts/common.md#principled-implementation Each capture establishes config coherence and reusable success proof or a current diagnostic verdict; a local stable success with only explicit unavailable host observations instead transfers an incomplete local result whose bounded first deliveries require the common nonwatching pass owner, while mixed mutation, missing or conflicting proof retains retry admission.
  * @evidence contracts/common.md#clear-and-simple-design The pure attempt policy selects acceptance and retry budgets; this loop owns mutable learned facts and resource handoff, capture owns proof construction, and the shared error builder owns terminal rendering and final disposal.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts Retrying follows learned dependencies/case policy or refuted publication payload rather than an endless workaround chain; only lossless producer-authorized observation unavailability can permit a local fresh answer, and it never becomes a reusable success or excuses actual mutation.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Retrying follows learned dependencies/case policy or refuted publication payload rather than an endless workaround chain; only lossless producer-authorized observation unavailability can permit a local fresh answer, and it never becomes complete or persistent/shared success proof or excuses actual mutation.
  * @evidence contracts/common.md#meaningful-documentation Native paragraphs explain movement versus absolute budgets, failed-compile diagnostics and learned facts; separated props state delivery, tracking and inherited witness meaning.
  * @evidence contracts/portability.md#os-neutral-implementation Each capture delegates native filesystem and compiler behavior to injected host boundaries; reported compiler case policy is carried between attempts rather than guessed from OS names.
  * @evidence contracts/performance.md#efficient-algorithms At most four captures bound retry count, not each capture's project/config/input bytes, native walks, compiler/plugin work, observer setup or session waiting time. Each rejected attempt copies the cumulative witnessed Set and scans its external dependencies into that copy; the next capture receives a separate array of its names; supplied spellings contribute hashing/text cost. Terminal rendering visits retained attempts/witnesses, and disposal delegates observer/probe cleanup rather than making those effects constant work. Enabled tracing serializes disposition scalars and path text through the existing bounded append sink; disabled tracing skips that payload construction.