@ttsc/unplugin 0.31.0 → 0.31.2

package/lib/core/transform/transformTtsc.js

@@ -8,34 +8,26 @@ var TRANSFORM_CACHE_DEPENDENCY_WITNESSES = require('./cache/TRANSFORM_CACHE_DEPE
 var TRANSFORM_RESULT_FILESYSTEM = require('./cache/TRANSFORM_RESULT_FILESYSTEM.js');
 var awaitOrEvict = require('./cache/awaitOrEvict.js');
 var createTransformCacheKey = require('./cache/createTransformCacheKey.js');
-var disposeCachedTransform = require('./cache/disposeCachedTransform.js');
 var evictGeneration = require('./cache/evictGeneration.js');
 var replaysTerminalGeneration = require('./cache/replaysTerminalGeneration.js');
 var selectCachedGenerationAction = require('./cache/selectCachedGenerationAction.js');
-var selectOrEvict = require('./cache/selectOrEvict.js');
 var transformCacheEpoch = require('./cache/transformCacheEpoch.js');
 var transformCacheTrustsNotifications = require('./cache/transformCacheTrustsNotifications.js');
 var transformFilesystem = require('./cache/transformFilesystem.js');
 var withdrawGenerationNotifications = require('./cache/withdrawGenerationNotifications.js');
-var reportMissingProgramOutput = require('./diagnostics/reportMissingProgramOutput.js');
-var reportSuccessDiagnostics = require('./diagnostics/reportSuccessDiagnostics.js');
-var TtscMissingProgramOutputError = require('./errors/TtscMissingProgramOutputError.js');
+var deliverCachedTransform = require('./deliverCachedTransform.js');
 var TtscUnstableGenerationError = require('./errors/TtscUnstableGenerationError.js');
 var transformProject = require('./generation/transformProject.js');
 var preparePluginBuildEnvironments = require('./inputs/preparePluginBuildEnvironments.js');
 var TRANSFORM_CACHE_SESSIONS = require('./session/TRANSFORM_CACHE_SESSIONS.js');
 var settleProjectMutationEvents = require('./tracker/settleProjectMutationEvents.js');
 var resolveProjectSelection = require('./tsconfig/resolveProjectSelection.js');
-var createTransformResult = require('./utils/createTransformResult.js');
 var isDeclarationFile = require('./utils/isDeclarationFile.js');
 var isHostWrapperQuery = require('./utils/isHostWrapperQuery.js');
 var pluginsAreDisabled = require('./utils/pluginsAreDisabled.js');
 var stripQuery = require('./utils/stripQuery.js');
-var markCachedSourceServed = require('./validation/markCachedSourceServed.js');
-var notifyFailedGenerationInputs = require('./watch/notifyFailedGenerationInputs.js');
+var TtscGenerationProof = require('./validation/TtscGenerationProof.js');
 var notifyRejectedGenerationInputs = require('./watch/notifyRejectedGenerationInputs.js');
-var notifyVolatileDelivery = require('./watch/notifyVolatileDelivery.js');
-var notifyWatchInputs = require('./watch/notifyWatchInputs.js');
 var prepareProjectRecordDirectories = require('./watch/prepareProjectRecordDirectories.js');
 
 /**
@@ -73,7 +65,7 @@ var prepareProjectRecordDirectories = require('./watch/prepareProjectRecordDirec
  *   per build, not per compilation.
  * @evidence contracts/common.md#principled-implementation Project selection and generation-qualified cache admission preserve compiler disk authority; fresh-only success additionally needs an explicit nonwatching lifecycle, coherent project declaration and actual host-cache withdrawal, because incomplete observation cannot support watch invalidation.
  * @evidence contracts/common.md#clear-and-simple-design One delivery coordinator composes project selection, cache admission, compilation, output selection and host notifications; dedicated owners handle proof and lifetime internals.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts Wrapper modules cannot poison source baselines and incomplete generations cannot authorize reuse; a separately admitted fresh-only result is evicted before capability checks, unknown or watching lifecycles fail explicitly, and unsupported withdrawal cannot be replaced by a fake record or guessed dependency closure.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Wrapper modules cannot poison source baselines; incomplete local results can share only explicitly nonwatching first deliveries in their exact pass. Unknown/watching lifecycles or unsupported withdrawal reject and evict them rather than invent persistent records or dependency closure.
  * @evidence contracts/common.md#meaningful-documentation Native paragraphs and argument tags explain project scope, no-transform outcomes, cache epochs and per-build notification responsibilities with links to maintained reference context.
  * @evidence contracts/performance.md#efficient-algorithms
  *   Selection/key construction pays ancestor/config/alias/option/path text work.
@@ -81,15 +73,18 @@ var prepareProjectRecordDirectories = require('./watch/prepareProjectRecordDirec
  *   replay source/project/external/universal proofs before selecting output.
  *   In-flight/valid completed reuse avoids compilation, not those checks or
  *   output/map/notification/record work. Capture misses pay whole native compile
- *   and input populations; concurrent supersession can repeat the outer loop
+ *   and input populations. The common proof owner skips redundant environment
+ *   preparation for proven first deliveries and shares synchronous native proof
+ *   queries; persistent/repeated delivery establishes fresh authority. Concurrent supersession can repeat the outer loop
  *   without a delivery-level retry/time bound here.
  * @evidence contracts/performance.md#reuse-equivalent-work Cache identity covers config/options/plugins/aliases; current generations, pass-qualified terminal verdicts and in-flight Promises are shared only while their source and dependency proof remains valid.
  * @evidence contracts/performance.md#bound-retention-and-release-resources
  *   Optional cache state retains current generation Promises/results and
  *   per-key dependency/case facts without a byte/key cap here. Native tasks
  *   belong to compiler/capture owners; uncached captures retain no notification
- *   or persistent clock probe. Fresh-only delivery detaches its generation
- *   before host callbacks; eviction/disposal attempt independent resource release
+ *   or persistent clock probe. Fresh-only delivery releases capture resources,
+ *   retaining only an explicitly admitted local pass result; rejected or failed
+ *   incomplete handoff detaches its generation. Eviction/disposal attempt independent resource release
  *   and native failures need not close every handle or remove every probe.
  * @evidence contracts/portability.md#os-neutral-implementation Native module paths and project coordinates use supported path/filesystem abstractions, while actual case policy and watcher capability come from generation proof rather than OS-name assumptions.
  */
@@ -151,7 +146,7 @@ async function transformTtsc(id, source, options, aliases, cache, hooks) {
             const terminal = TERMINAL_TRANSFORM_GENERATIONS.TERMINAL_TRANSFORM_GENERATIONS.get(transformed);
             if (terminal !== undefined) {
                 if (terminal instanceof TtscUnstableGenerationError.TtscUnstableGenerationError) {
-                    await preparePluginBuildEnvironments.preparePluginBuildEnvironments(terminal.validation.cached.result, filesystem);
+                    await preparePluginBuildEnvironments.preparePluginBuildEnvironments(terminal.validation.cached.result, filesystem, undefined, terminal.validation.cached.projectRoot);
                     if (cache?.get(key) !== transformed)
                         continue;
                 }
@@ -190,16 +185,19 @@ async function transformTtsc(id, source, options, aliases, cache, hooks) {
             if (!transformCacheTrustsNotifications.transformCacheTrustsNotifications(cache)) {
                 withdrawGenerationNotifications.withdrawGenerationNotifications(cached);
             }
-            await preparePluginBuildEnvironments.preparePluginBuildEnvironments(cached.result, filesystem, cached);
-            if (cache?.get(key) !== transformed)
-                continue;
             if (epoch === undefined) {
                 await settleProjectMutationEvents.settleProjectMutationEvents(cached);
                 if (cache?.get(key) !== transformed) {
                     continue;
                 }
             }
+            await TtscGenerationProof.TtscGenerationProof.prepare(cached, file, epoch);
+            if (cache?.get(key) !== transformed)
+                continue;
+            // No await between this observation and synchronous admission.
+            const proof = TtscGenerationProof.TtscGenerationProof.create(cached, file, epoch);
             const action = selectCachedGenerationAction.selectCachedGenerationAction({
+                proof,
                 cache,
                 cached,
                 epoch,
@@ -212,37 +210,17 @@ async function transformTtsc(id, source, options, aliases, cache, hooks) {
                 continue;
             }
             if (action === "serve") {
-                reportSuccessDiagnostics.reportSuccessDiagnostics(cached, epoch);
-                // A resolved `"exception"` / `"failure"` envelope makes this throw;
-                // that is a failed generation too, so it is retained for this pass or
-                // evicted outside one before being surfaced.
-                let output;
-                try {
-                    output = selectOrEvict.selectOrEvict(cache, key, transformed, epoch, {
-                        file,
-                        projectRoot: cached.projectRoot,
-                        result: cached.result,
-                        tsconfig: cached.tsconfig,
-                    });
-                }
-                catch (error) {
-                    if (!(error instanceof TtscMissingProgramOutputError.TtscMissingProgramOutputError)) {
-                        notifyFailedGenerationInputs.notifyFailedGenerationInputs(hooks, cached, file, watchSelection);
-                        throw error;
-                    }
-                    // The compile is fine and simply has nothing for this module, so the
-                    // module goes back to the host untransformed rather than failing the
-                    // build (samchon/ttsc#1308). Its project config and selection inputs
-                    // still decide whether a later generation will contain this module,
-                    // so hosts must receive the same universal watch-input batch.
-                    reportMissingProgramOutput.reportMissingProgramOutput(cached, error, epoch);
-                    notifyWatchInputs.notifyWatchInputs(hooks, cached, file, watchSelection);
-                    markCachedSourceServed.markCachedSourceServed(cached, file);
-                    return undefined;
-                }
-                notifyWatchInputs.notifyWatchInputs(hooks, cached, file, watchSelection);
-                markCachedSourceServed.markCachedSourceServed(cached, file);
-                return createTransformResult.createTransformResult(file, source, output);
+                return deliverCachedTransform.deliverCachedTransform({
+                    cache,
+                    cached,
+                    generation: transformed,
+                    key,
+                    epoch,
+                    file,
+                    source,
+                    hooks,
+                    selection: watchSelection,
+                });
             }
             transformed = undefined;
         }
@@ -304,50 +282,17 @@ async function transformTtsc(id, source, options, aliases, cache, hooks) {
                 policies.set(key, reported);
             }
         }
-        const { projectRoot, result } = cached;
-        if (cached.freshDeliveryOnly === true) {
-            // This delivery owns a newly compiled answer, but unavailable observer
-            // authority cannot certify any later resident or host-cache delivery.
-            // Eviction schedules resource release even if a host callback throws.
-            if (cache === undefined)
-                disposeCachedTransform.disposeCachedTransform(cached);
-            else
-                evictGeneration.evictGeneration(cache, key, generation);
-            if (result.type === "success" &&
-                (hooks?.watching !== false ||
-                    hooks.markVolatile === undefined ||
-                    (hooks.project?.watching !== undefined &&
-                        hooks.project.watching !== hooks.watching))) {
-                throw new Error("@ttsc/unplugin: plugin input observation is unavailable; fresh output " +
-                    "requires an explicitly nonwatching host with supported cache withdrawal. " +
-                    "Watching, unknown or contradictory lifecycles cannot safely observe its changes.");
-            }
-            hooks?.markVolatile?.();
-        }
-        reportSuccessDiagnostics.reportSuccessDiagnostics(cached, epoch);
-        let output;
-        try {
-            output = selectOrEvict.selectOrEvict(cache, key, generation, epoch, {
-                file,
-                projectRoot,
-                result,
-                tsconfig: cached.tsconfig,
-            });
-        }
-        catch (error) {
-            if (!(error instanceof TtscMissingProgramOutputError.TtscMissingProgramOutputError)) {
-                notifyFailedGenerationInputs.notifyFailedGenerationInputs(hooks, cached, file, watchSelection);
-                throw error;
-            }
-            reportMissingProgramOutput.reportMissingProgramOutput(cached, error, epoch);
-            notifyWatchInputs.notifyWatchInputs(hooks, cached, file, watchSelection);
-            markCachedSourceServed.markCachedSourceServed(cached, file);
-            return undefined;
-        }
-        notifyWatchInputs.notifyWatchInputs(hooks, cached, file, watchSelection);
-        markCachedSourceServed.markCachedSourceServed(cached, file);
-        notifyVolatileDelivery.notifyVolatileDelivery(hooks, cached, file);
-        return createTransformResult.createTransformResult(file, source, output);
+        return deliverCachedTransform.deliverCachedTransform({
+            cache,
+            cached,
+            generation,
+            key,
+            epoch,
+            file,
+            source,
+            hooks,
+            selection: watchSelection,
+        });
     }
 }
 

package/lib/core/transform/transformTtsc.js.map

@@ -1 +1 @@
-{"version":3,"file":"transformTtsc.js","sources":["../../../src/core/transform/transformTtsc.ts"],"sourcesContent":[null],"names":["transformFilesystem","stripQuery","isHostWrapperQuery","isDeclarationFile","pluginsAreDisabled","prepareProjectRecordDirectories","resolveProjectSelection","createAliasPaths","createTransformCacheKey","transformCacheEpoch","TERMINAL_TRANSFORM_GENERATIONS","TtscUnstableGenerationError","preparePluginBuildEnvironments","replaysTerminalGeneration","notifyRejectedGenerationInputs","evictGeneration","awaitOrEvict","TRANSFORM_RESULT_FILESYSTEM","transformCacheTrustsNotifications","withdrawGenerationNotifications","settleProjectMutationEvents","selectCachedGenerationAction","reportSuccessDiagnostics","selectOrEvict","TtscMissingProgramOutputError","notifyFailedGenerationInputs","reportMissingProgramOutput","notifyWatchInputs","markCachedSourceServed","createTransformResult","transformProject","TRANSFORM_CACHE_SESSIONS","TRANSFORM_CACHE_CASE_POLICIES","TRANSFORM_CACHE_DEPENDENCY_WITNESSES","disposeCachedTransform","notifyVolatileDelivery"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6CA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsDG;AACI,eAAe,aAAa,CACjC,EAAU,EACV,MAAc,EACd,OAAoC,EACpC,OAAiB,EACjB,KAA0B,EAC1B,KAA0B,EAAA;AAE1B,IAAA,MAAM,UAAU,GAAGA,uCAAmB,CAAC,KAAK,CAAC;AAC7C,IAAA,MAAM,KAAK,GAAG,KAAK,EAAE,SAAS,KAAK,IAAI;AACvC,IAAA,MAAM,KAAK,GAAG,KAAK,GAAG,EAAE,GAAGC,qBAAU,CAAC,EAAE,CAAC;AACzC,IAAA,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;AACxB,QAAA,OAAO,SAAS;IAClB;;;;;IAKA,IAAI,CAAC,KAAK,IAAIC,qCAAkB,CAAC,EAAE,CAAC,EAAE;AACpC,QAAA,OAAO,SAAS;IAClB;IACA,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;AAChC,IAAA,IAAIC,mCAAiB,CAAC,IAAI,CAAC,EAAE;AAC3B,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,IAAIC,qCAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;AACvC,QAAA,OAAO,SAAS;IAClB;;;AAIA,IAAAC,+DAA+B,CAAC,KAAK,EAAE,OAAO,CAAC;AAE/C,IAAA,MAAM,SAAS,GAAGC,+CAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC;AAC5E,IAAA,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ;AACnC,IAAA,MAAM,mBAAmB,GAAG,IAAI,CAAC,OAAO,CACtC,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAC9C;;;;;;;AAOD,IAAA,MAAM,cAAc,GAAuB;QACzC,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,UAAU;QACV,QAAQ;KACT;AACD,IAAA,MAAM,UAAU,GAAGC,iCAAgB,CAAC,OAAO,CAAC;IAC5C,MAAM,GAAG,GAAGC,+CAAuB,CAAC;QAClC,UAAU;QACV,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,OAAO,EAAE,OAAO,CAAC,OAAO;AACxB,QAAA,WAAW,EAAE,mBAAmB;QAChC,QAAQ;AACT,KAAA,CAAC;AAEF,IAAA,SAAS;;;;;;AAMP,QAAA,MAAM,KAAK,GAAGC,uCAAmB,CAAC,KAAK,CAAC;QACxC,IAAI,WAAW,GAAG,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;AACjC,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;YAC7B,MAAM,QAAQ,GAAGC,6DAA8B,CAAC,GAAG,CAAC,WAAW,CAAC;AAChE,YAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,gBAAA,IAAI,QAAQ,YAAYC,uDAA2B,EAAE;AACnD,oBAAA,MAAMC,6DAA8B,CAClC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EACjC,UAAU,CACX;AACD,oBAAA,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW;wBAAE;gBACvC;;;AAGA,gBAAA,IACEC,mDAAyB,CAAC,QAAQ,EAAE,KAAK,EAAE;AACzC,oBAAA,WAAW,EAAE,IAAI;AACjB,oBAAA,aAAa,EAAE,MAAM;oBACrB,UAAU;AACX,iBAAA,CAAC,EACF;oBACAC,6DAA8B,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC;AACrE,oBAAA,MAAM,QAAQ;gBAChB;AACA,gBAAAC,+BAAe,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC;gBACxC,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE;oBACjC;gBACF;gBACA,WAAW,GAAG,SAAS;YACzB;QACF;AACA,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;AAC7B,YAAA,MAAM,MAAM,GAAG,MAAMC,yBAAY,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,KAAK,CAC9D,CAAC,SAAkB,KAAI;gBACrBF,6DAA8B,CAC5B,KAAK,EACL,SAAS,EACT,IAAI,EACJ,cAAc,CACf;AACD,gBAAA,MAAM,SAAS;AACjB,YAAA,CAAC,CACF;YACDG,uDAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;;;YAG1D,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,EAAE;gBACnC;YACF;;;;;AAKA,YAAA,IAAI,CAACC,mEAAiC,CAAC,KAAK,CAAC,EAAE;gBAC7CC,+DAA+B,CAAC,MAAM,CAAC;YACzC;YACA,MAAMP,6DAA8B,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC;AACvE,YAAA,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW;gBAAE;AACrC,YAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,gBAAA,MAAMQ,uDAA2B,CAAC,MAAM,CAAC;gBACzC,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,EAAE;oBACnC;gBACF;YACF;YACA,MAAM,MAAM,GAAGC,yDAA4B,CAAC;gBAC1C,KAAK;gBACL,MAAM;gBACN,KAAK;gBACL,IAAI;AACJ,gBAAA,UAAU,EAAE,WAAW;gBACvB,GAAG;gBACH,MAAM;AACP,aAAA,CAAC;AACF,YAAA,IAAI,MAAM,KAAK,OAAO,EAAE;gBACtB;YACF;AACA,YAAA,IAAI,MAAM,KAAK,OAAO,EAAE;AACtB,gBAAAC,iDAAwB,CAAC,MAAM,EAAE,KAAK,CAAC;;;;AAIvC,gBAAA,IAAI,MAA6B;AACjC,gBAAA,IAAI;oBACF,MAAM,GAAGC,2BAAa,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE;wBACrD,IAAI;wBACJ,WAAW,EAAE,MAAM,CAAC,WAAW;wBAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;wBACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;AAC1B,qBAAA,CAAC;gBACJ;gBAAE,OAAO,KAAK,EAAE;AACd,oBAAA,IAAI,EAAE,KAAK,YAAYC,2DAA6B,CAAC,EAAE;wBACrDC,yDAA4B,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACjE,wBAAA,MAAM,KAAK;oBACb;;;;;;AAMA,oBAAAC,qDAA0B,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC;oBAChDC,mCAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACtD,oBAAAC,6CAAsB,CAAC,MAAM,EAAE,IAAI,CAAC;AACpC,oBAAA,OAAO,SAAS;gBAClB;gBACAD,mCAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACtD,gBAAAC,6CAAsB,CAAC,MAAM,EAAE,IAAI,CAAC;gBACpC,OAAOC,2CAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;YACpD;YACA,WAAW,GAAG,SAAS;QACzB;AAEA,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;YAC7B,WAAW,GAAGC,iCAAgB,CAAC;gBAC7B,UAAU;gBACV,eAAe,EAAE,OAAO,CAAC,eAAe;AACxC,gBAAA,WAAW,EAAE,mBAAmB;AAChC,gBAAA,WAAW,EAAE,IAAI;AACjB,gBAAA,aAAa,EAAE,MAAM;;;;AAIrB,gBAAA,aAAa,EAAE,KAAK;gBACpB,UAAU;gBACV,OAAO,EAAE,OAAO,CAAC,OAAO;;;;;AAKxB,gBAAA,uBAAuB,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;;AAEnE,gBAAA,mBAAmB,EAAEZ,mEAAiC,CAAC,KAAK,CAAC;;AAE7D,gBAAA,OAAO,EACL,KAAK,KAAK,SAAS,GAAG,SAAS,GAAGa,iDAAwB,CAAC,GAAG,CAAC,KAAK,CAAC;gBACvE,sBAAsB,EAAE,KAAK,KAAK,SAAS;gBAC3C,QAAQ;gBACR,yBAAyB,EACvB,KAAK,KAAK;AACR,sBAAE;sBACAC,2DAA6B,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;gBACxD,qBAAqB,EACnB,KAAK,KAAK;AACR,sBAAE;sBACAC,yEAAoC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;AAChE,aAAA,CAAC;AACF,YAAA,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;QAC9B;QACA,MAAM,UAAU,GAAG,WAAW;AAC9B,QAAA,MAAM,MAAM,GAAG,MAAMjB,yBAAY,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,KAAK,CAC7D,CAAC,SAAkB,KAAI;YACrBF,6DAA8B,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC;AACtE,YAAA,MAAM,SAAS;AACjB,QAAA,CAAC,CACF;AACD,QAAA,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,UAAU,EAAE;YACxD;QACF;AACA,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;YACvB,IAAI,SAAS,GAAGmB,yEAAoC,CAAC,GAAG,CAAC,KAAK,CAAC;AAC/D,YAAA,IAAI,SAAS,KAAK,SAAS,EAAE;AAC3B,gBAAA,SAAS,GAAG,IAAI,GAAG,EAAE;AACrB,gBAAAA,yEAAoC,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC;YAC5D;YACA,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,wBAAwB,IAAI,EAAE,CAAC;AACzD,YAAA,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC,yBAAyB;AAClE,YAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;gBAC1B,IAAI,QAAQ,GAAGD,2DAA6B,CAAC,GAAG,CAAC,KAAK,CAAC;AACvD,gBAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,oBAAA,QAAQ,GAAG,IAAI,GAAG,EAAE;AACpB,oBAAAA,2DAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC;gBACpD;AACA,gBAAA,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;YAC7B;QACF;AACA,QAAA,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,MAAM;AACtC,QAAA,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,EAAE;;;;YAIrC,IAAI,KAAK,KAAK,SAAS;gBAAEE,6CAAsB,CAAC,MAAM,CAAC;;AAClD,gBAAAnB,+BAAe,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC;AAC5C,YAAA,IACE,MAAM,CAAC,IAAI,KAAK,SAAS;AACzB,iBAAC,KAAK,EAAE,QAAQ,KAAK,KAAK;oBACxB,KAAK,CAAC,YAAY,KAAK,SAAS;AAChC,qBAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS;wBACpC,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC,EAC/C;gBACA,MAAM,IAAI,KAAK,CACb,wEAAwE;oBACtE,2EAA2E;AAC3E,oBAAA,kFAAkF,CACrF;YACH;AACA,YAAA,KAAK,EAAE,YAAY,IAAI;QACzB;AACA,QAAAO,iDAAwB,CAAC,MAAM,EAAE,KAAK,CAAC;AACvC,QAAA,IAAI,MAA6B;AACjC,QAAA,IAAI;YACF,MAAM,GAAGC,2BAAa,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE;gBACpD,IAAI;gBACJ,WAAW;gBACX,MAAM;gBACN,QAAQ,EAAE,MAAM,CAAC,QAAQ;AAC1B,aAAA,CAAC;QACJ;QAAE,OAAO,KAAK,EAAE;AACd,YAAA,IAAI,EAAE,KAAK,YAAYC,2DAA6B,CAAC,EAAE;gBACrDC,yDAA4B,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACjE,gBAAA,MAAM,KAAK;YACb;AACA,YAAAC,qDAA0B,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC;YAChDC,mCAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACtD,YAAAC,6CAAsB,CAAC,MAAM,EAAE,IAAI,CAAC;AACpC,YAAA,OAAO,SAAS;QAClB;QACAD,mCAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACtD,QAAAC,6CAAsB,CAAC,MAAM,EAAE,IAAI,CAAC;AACpC,QAAAO,6CAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC;QAC3C,OAAON,2CAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;IACpD;AACF;;;;"}
+{"version":3,"file":"transformTtsc.js","sources":["../../../src/core/transform/transformTtsc.ts"],"sourcesContent":[null],"names":["transformFilesystem","stripQuery","isHostWrapperQuery","isDeclarationFile","pluginsAreDisabled","prepareProjectRecordDirectories","resolveProjectSelection","createAliasPaths","createTransformCacheKey","transformCacheEpoch","TERMINAL_TRANSFORM_GENERATIONS","TtscUnstableGenerationError","preparePluginBuildEnvironments","replaysTerminalGeneration","notifyRejectedGenerationInputs","evictGeneration","awaitOrEvict","TRANSFORM_RESULT_FILESYSTEM","transformCacheTrustsNotifications","withdrawGenerationNotifications","settleProjectMutationEvents","TtscGenerationProof","selectCachedGenerationAction","deliverCachedTransform","transformProject","TRANSFORM_CACHE_SESSIONS","TRANSFORM_CACHE_CASE_POLICIES","TRANSFORM_CACHE_DEPENDENCY_WITNESSES"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoCA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyDG;AACI,eAAe,aAAa,CACjC,EAAU,EACV,MAAc,EACd,OAAoC,EACpC,OAAiB,EACjB,KAA0B,EAC1B,KAA0B,EAAA;AAE1B,IAAA,MAAM,UAAU,GAAGA,uCAAmB,CAAC,KAAK,CAAC;AAC7C,IAAA,MAAM,KAAK,GAAG,KAAK,EAAE,SAAS,KAAK,IAAI;AACvC,IAAA,MAAM,KAAK,GAAG,KAAK,GAAG,EAAE,GAAGC,qBAAU,CAAC,EAAE,CAAC;AACzC,IAAA,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;AACxB,QAAA,OAAO,SAAS;IAClB;;;;;IAKA,IAAI,CAAC,KAAK,IAAIC,qCAAkB,CAAC,EAAE,CAAC,EAAE;AACpC,QAAA,OAAO,SAAS;IAClB;IACA,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;AAChC,IAAA,IAAIC,mCAAiB,CAAC,IAAI,CAAC,EAAE;AAC3B,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,IAAIC,qCAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;AACvC,QAAA,OAAO,SAAS;IAClB;;;AAIA,IAAAC,+DAA+B,CAAC,KAAK,EAAE,OAAO,CAAC;AAE/C,IAAA,MAAM,SAAS,GAAGC,+CAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC;AAC5E,IAAA,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ;AACnC,IAAA,MAAM,mBAAmB,GAAG,IAAI,CAAC,OAAO,CACtC,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAC9C;;;;;;;AAOD,IAAA,MAAM,cAAc,GAAuB;QACzC,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,UAAU;QACV,QAAQ;KACT;AACD,IAAA,MAAM,UAAU,GAAGC,iCAAgB,CAAC,OAAO,CAAC;IAC5C,MAAM,GAAG,GAAGC,+CAAuB,CAAC;QAClC,UAAU;QACV,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,OAAO,EAAE,OAAO,CAAC,OAAO;AACxB,QAAA,WAAW,EAAE,mBAAmB;QAChC,QAAQ;AACT,KAAA,CAAC;AAEF,IAAA,SAAS;;;;;;AAMP,QAAA,MAAM,KAAK,GAAGC,uCAAmB,CAAC,KAAK,CAAC;QACxC,IAAI,WAAW,GAAG,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;AACjC,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;YAC7B,MAAM,QAAQ,GAAGC,6DAA8B,CAAC,GAAG,CAAC,WAAW,CAAC;AAChE,YAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,gBAAA,IAAI,QAAQ,YAAYC,uDAA2B,EAAE;oBACnD,MAAMC,6DAA8B,CAClC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EACjC,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,CACvC;AACD,oBAAA,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW;wBAAE;gBACvC;;;AAGA,gBAAA,IACEC,mDAAyB,CAAC,QAAQ,EAAE,KAAK,EAAE;AACzC,oBAAA,WAAW,EAAE,IAAI;AACjB,oBAAA,aAAa,EAAE,MAAM;oBACrB,UAAU;AACX,iBAAA,CAAC,EACF;oBACAC,6DAA8B,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC;AACrE,oBAAA,MAAM,QAAQ;gBAChB;AACA,gBAAAC,+BAAe,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC;gBACxC,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE;oBACjC;gBACF;gBACA,WAAW,GAAG,SAAS;YACzB;QACF;AACA,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;AAC7B,YAAA,MAAM,MAAM,GAAG,MAAMC,yBAAY,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,KAAK,CAC9D,CAAC,SAAkB,KAAI;gBACrBF,6DAA8B,CAC5B,KAAK,EACL,SAAS,EACT,IAAI,EACJ,cAAc,CACf;AACD,gBAAA,MAAM,SAAS;AACjB,YAAA,CAAC,CACF;YACDG,uDAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;;;YAG1D,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,EAAE;gBACnC;YACF;;;;;AAKA,YAAA,IAAI,CAACC,mEAAiC,CAAC,KAAK,CAAC,EAAE;gBAC7CC,+DAA+B,CAAC,MAAM,CAAC;YACzC;AACA,YAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,gBAAA,MAAMC,uDAA2B,CAAC,MAAM,CAAC;gBACzC,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,EAAE;oBACnC;gBACF;YACF;YACA,MAAMC,uCAAmB,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AACtD,YAAA,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW;gBAAE;;AAErC,YAAA,MAAM,KAAK,GAAGA,uCAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;YAC7D,MAAM,MAAM,GAAGC,yDAA4B,CAAC;gBAC1C,KAAK;gBACL,KAAK;gBACL,MAAM;gBACN,KAAK;gBACL,IAAI;AACJ,gBAAA,UAAU,EAAE,WAAW;gBACvB,GAAG;gBACH,MAAM;AACP,aAAA,CAAC;AACF,YAAA,IAAI,MAAM,KAAK,OAAO,EAAE;gBACtB;YACF;AACA,YAAA,IAAI,MAAM,KAAK,OAAO,EAAE;AACtB,gBAAA,OAAOC,6CAAsB,CAAC;oBAC5B,KAAK;oBACL,MAAM;AACN,oBAAA,UAAU,EAAE,WAAW;oBACvB,GAAG;oBACH,KAAK;oBACL,IAAI;oBACJ,MAAM;oBACN,KAAK;AACL,oBAAA,SAAS,EAAE,cAAc;AAC1B,iBAAA,CAAC;YACJ;YACA,WAAW,GAAG,SAAS;QACzB;AAEA,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;YAC7B,WAAW,GAAGC,iCAAgB,CAAC;gBAC7B,UAAU;gBACV,eAAe,EAAE,OAAO,CAAC,eAAe;AACxC,gBAAA,WAAW,EAAE,mBAAmB;AAChC,gBAAA,WAAW,EAAE,IAAI;AACjB,gBAAA,aAAa,EAAE,MAAM;;;;AAIrB,gBAAA,aAAa,EAAE,KAAK;gBACpB,UAAU;gBACV,OAAO,EAAE,OAAO,CAAC,OAAO;;;;;AAKxB,gBAAA,uBAAuB,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;;AAEnE,gBAAA,mBAAmB,EAAEN,mEAAiC,CAAC,KAAK,CAAC;;AAE7D,gBAAA,OAAO,EACL,KAAK,KAAK,SAAS,GAAG,SAAS,GAAGO,iDAAwB,CAAC,GAAG,CAAC,KAAK,CAAC;gBACvE,sBAAsB,EAAE,KAAK,KAAK,SAAS;gBAC3C,QAAQ;gBACR,yBAAyB,EACvB,KAAK,KAAK;AACR,sBAAE;sBACAC,2DAA6B,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;gBACxD,qBAAqB,EACnB,KAAK,KAAK;AACR,sBAAE;sBACAC,yEAAoC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;AAChE,aAAA,CAAC;AACF,YAAA,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;QAC9B;QACA,MAAM,UAAU,GAAG,WAAW;AAC9B,QAAA,MAAM,MAAM,GAAG,MAAMX,yBAAY,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,KAAK,CAC7D,CAAC,SAAkB,KAAI;YACrBF,6DAA8B,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC;AACtE,YAAA,MAAM,SAAS;AACjB,QAAA,CAAC,CACF;AACD,QAAA,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,UAAU,EAAE;YACxD;QACF;AACA,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;YACvB,IAAI,SAAS,GAAGa,yEAAoC,CAAC,GAAG,CAAC,KAAK,CAAC;AAC/D,YAAA,IAAI,SAAS,KAAK,SAAS,EAAE;AAC3B,gBAAA,SAAS,GAAG,IAAI,GAAG,EAAE;AACrB,gBAAAA,yEAAoC,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC;YAC5D;YACA,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,wBAAwB,IAAI,EAAE,CAAC;AACzD,YAAA,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC,yBAAyB;AAClE,YAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;gBAC1B,IAAI,QAAQ,GAAGD,2DAA6B,CAAC,GAAG,CAAC,KAAK,CAAC;AACvD,gBAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,oBAAA,QAAQ,GAAG,IAAI,GAAG,EAAE;AACpB,oBAAAA,2DAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC;gBACpD;AACA,gBAAA,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;YAC7B;QACF;AACA,QAAA,OAAOH,6CAAsB,CAAC;YAC5B,KAAK;YACL,MAAM;YACN,UAAU;YACV,GAAG;YACH,KAAK;YACL,IAAI;YACJ,MAAM;YACN,KAAK;AACL,YAAA,SAAS,EAAE,cAAc;AAC1B,SAAA,CAAC;IACJ;AACF;;;;"}

package/lib/core/transform/transformTtsc.mjs

@@ -6,34 +6,26 @@ import { TRANSFORM_CACHE_DEPENDENCY_WITNESSES } from './cache/TRANSFORM_CACHE_DE
 import { TRANSFORM_RESULT_FILESYSTEM } from './cache/TRANSFORM_RESULT_FILESYSTEM.mjs';
 import { awaitOrEvict } from './cache/awaitOrEvict.mjs';
 import { createTransformCacheKey } from './cache/createTransformCacheKey.mjs';
-import { disposeCachedTransform } from './cache/disposeCachedTransform.mjs';
 import { evictGeneration } from './cache/evictGeneration.mjs';
 import { replaysTerminalGeneration } from './cache/replaysTerminalGeneration.mjs';
 import { selectCachedGenerationAction } from './cache/selectCachedGenerationAction.mjs';
-import { selectOrEvict } from './cache/selectOrEvict.mjs';
 import { transformCacheEpoch } from './cache/transformCacheEpoch.mjs';
 import { transformCacheTrustsNotifications } from './cache/transformCacheTrustsNotifications.mjs';
 import { transformFilesystem } from './cache/transformFilesystem.mjs';
 import { withdrawGenerationNotifications } from './cache/withdrawGenerationNotifications.mjs';
-import { reportMissingProgramOutput } from './diagnostics/reportMissingProgramOutput.mjs';
-import { reportSuccessDiagnostics } from './diagnostics/reportSuccessDiagnostics.mjs';
-import { TtscMissingProgramOutputError } from './errors/TtscMissingProgramOutputError.mjs';
+import { deliverCachedTransform } from './deliverCachedTransform.mjs';
 import { TtscUnstableGenerationError } from './errors/TtscUnstableGenerationError.mjs';
 import { transformProject } from './generation/transformProject.mjs';
 import { preparePluginBuildEnvironments } from './inputs/preparePluginBuildEnvironments.mjs';
 import { TRANSFORM_CACHE_SESSIONS } from './session/TRANSFORM_CACHE_SESSIONS.mjs';
 import { settleProjectMutationEvents } from './tracker/settleProjectMutationEvents.mjs';
 import { resolveProjectSelection } from './tsconfig/resolveProjectSelection.mjs';
-import { createTransformResult } from './utils/createTransformResult.mjs';
 import { isDeclarationFile } from './utils/isDeclarationFile.mjs';
 import { isHostWrapperQuery } from './utils/isHostWrapperQuery.mjs';
 import { pluginsAreDisabled } from './utils/pluginsAreDisabled.mjs';
 import { stripQuery } from './utils/stripQuery.mjs';
-import { markCachedSourceServed } from './validation/markCachedSourceServed.mjs';
-import { notifyFailedGenerationInputs } from './watch/notifyFailedGenerationInputs.mjs';
+import { TtscGenerationProof } from './validation/TtscGenerationProof.mjs';
 import { notifyRejectedGenerationInputs } from './watch/notifyRejectedGenerationInputs.mjs';
-import { notifyVolatileDelivery } from './watch/notifyVolatileDelivery.mjs';
-import { notifyWatchInputs } from './watch/notifyWatchInputs.mjs';
 import { prepareProjectRecordDirectories } from './watch/prepareProjectRecordDirectories.mjs';
 
 /**
@@ -71,7 +63,7 @@ import { prepareProjectRecordDirectories } from './watch/prepareProjectRecordDir
  *   per build, not per compilation.
  * @evidence contracts/common.md#principled-implementation Project selection and generation-qualified cache admission preserve compiler disk authority; fresh-only success additionally needs an explicit nonwatching lifecycle, coherent project declaration and actual host-cache withdrawal, because incomplete observation cannot support watch invalidation.
  * @evidence contracts/common.md#clear-and-simple-design One delivery coordinator composes project selection, cache admission, compilation, output selection and host notifications; dedicated owners handle proof and lifetime internals.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts Wrapper modules cannot poison source baselines and incomplete generations cannot authorize reuse; a separately admitted fresh-only result is evicted before capability checks, unknown or watching lifecycles fail explicitly, and unsupported withdrawal cannot be replaced by a fake record or guessed dependency closure.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Wrapper modules cannot poison source baselines; incomplete local results can share only explicitly nonwatching first deliveries in their exact pass. Unknown/watching lifecycles or unsupported withdrawal reject and evict them rather than invent persistent records or dependency closure.
  * @evidence contracts/common.md#meaningful-documentation Native paragraphs and argument tags explain project scope, no-transform outcomes, cache epochs and per-build notification responsibilities with links to maintained reference context.
  * @evidence contracts/performance.md#efficient-algorithms
  *   Selection/key construction pays ancestor/config/alias/option/path text work.
@@ -79,15 +71,18 @@ import { prepareProjectRecordDirectories } from './watch/prepareProjectRecordDir
  *   replay source/project/external/universal proofs before selecting output.
  *   In-flight/valid completed reuse avoids compilation, not those checks or
  *   output/map/notification/record work. Capture misses pay whole native compile
- *   and input populations; concurrent supersession can repeat the outer loop
+ *   and input populations. The common proof owner skips redundant environment
+ *   preparation for proven first deliveries and shares synchronous native proof
+ *   queries; persistent/repeated delivery establishes fresh authority. Concurrent supersession can repeat the outer loop
  *   without a delivery-level retry/time bound here.
  * @evidence contracts/performance.md#reuse-equivalent-work Cache identity covers config/options/plugins/aliases; current generations, pass-qualified terminal verdicts and in-flight Promises are shared only while their source and dependency proof remains valid.
  * @evidence contracts/performance.md#bound-retention-and-release-resources
  *   Optional cache state retains current generation Promises/results and
  *   per-key dependency/case facts without a byte/key cap here. Native tasks
  *   belong to compiler/capture owners; uncached captures retain no notification
- *   or persistent clock probe. Fresh-only delivery detaches its generation
- *   before host callbacks; eviction/disposal attempt independent resource release
+ *   or persistent clock probe. Fresh-only delivery releases capture resources,
+ *   retaining only an explicitly admitted local pass result; rejected or failed
+ *   incomplete handoff detaches its generation. Eviction/disposal attempt independent resource release
  *   and native failures need not close every handle or remove every probe.
  * @evidence contracts/portability.md#os-neutral-implementation Native module paths and project coordinates use supported path/filesystem abstractions, while actual case policy and watcher capability come from generation proof rather than OS-name assumptions.
  */
@@ -149,7 +144,7 @@ async function transformTtsc(id, source, options, aliases, cache, hooks) {
             const terminal = TERMINAL_TRANSFORM_GENERATIONS.get(transformed);
             if (terminal !== undefined) {
                 if (terminal instanceof TtscUnstableGenerationError) {
-                    await preparePluginBuildEnvironments(terminal.validation.cached.result, filesystem);
+                    await preparePluginBuildEnvironments(terminal.validation.cached.result, filesystem, undefined, terminal.validation.cached.projectRoot);
                     if (cache?.get(key) !== transformed)
                         continue;
                 }
@@ -188,16 +183,19 @@ async function transformTtsc(id, source, options, aliases, cache, hooks) {
             if (!transformCacheTrustsNotifications(cache)) {
                 withdrawGenerationNotifications(cached);
             }
-            await preparePluginBuildEnvironments(cached.result, filesystem, cached);
-            if (cache?.get(key) !== transformed)
-                continue;
             if (epoch === undefined) {
                 await settleProjectMutationEvents(cached);
                 if (cache?.get(key) !== transformed) {
                     continue;
                 }
             }
+            await TtscGenerationProof.prepare(cached, file, epoch);
+            if (cache?.get(key) !== transformed)
+                continue;
+            // No await between this observation and synchronous admission.
+            const proof = TtscGenerationProof.create(cached, file, epoch);
             const action = selectCachedGenerationAction({
+                proof,
                 cache,
                 cached,
                 epoch,
@@ -210,37 +208,17 @@ async function transformTtsc(id, source, options, aliases, cache, hooks) {
                 continue;
             }
             if (action === "serve") {
-                reportSuccessDiagnostics(cached, epoch);
-                // A resolved `"exception"` / `"failure"` envelope makes this throw;
-                // that is a failed generation too, so it is retained for this pass or
-                // evicted outside one before being surfaced.
-                let output;
-                try {
-                    output = selectOrEvict(cache, key, transformed, epoch, {
-                        file,
-                        projectRoot: cached.projectRoot,
-                        result: cached.result,
-                        tsconfig: cached.tsconfig,
-                    });
-                }
-                catch (error) {
-                    if (!(error instanceof TtscMissingProgramOutputError)) {
-                        notifyFailedGenerationInputs(hooks, cached, file, watchSelection);
-                        throw error;
-                    }
-                    // The compile is fine and simply has nothing for this module, so the
-                    // module goes back to the host untransformed rather than failing the
-                    // build (samchon/ttsc#1308). Its project config and selection inputs
-                    // still decide whether a later generation will contain this module,
-                    // so hosts must receive the same universal watch-input batch.
-                    reportMissingProgramOutput(cached, error, epoch);
-                    notifyWatchInputs(hooks, cached, file, watchSelection);
-                    markCachedSourceServed(cached, file);
-                    return undefined;
-                }
-                notifyWatchInputs(hooks, cached, file, watchSelection);
-                markCachedSourceServed(cached, file);
-                return createTransformResult(file, source, output);
+                return deliverCachedTransform({
+                    cache,
+                    cached,
+                    generation: transformed,
+                    key,
+                    epoch,
+                    file,
+                    source,
+                    hooks,
+                    selection: watchSelection,
+                });
             }
             transformed = undefined;
         }
@@ -302,50 +280,17 @@ async function transformTtsc(id, source, options, aliases, cache, hooks) {
                 policies.set(key, reported);
             }
         }
-        const { projectRoot, result } = cached;
-        if (cached.freshDeliveryOnly === true) {
-            // This delivery owns a newly compiled answer, but unavailable observer
-            // authority cannot certify any later resident or host-cache delivery.
-            // Eviction schedules resource release even if a host callback throws.
-            if (cache === undefined)
-                disposeCachedTransform(cached);
-            else
-                evictGeneration(cache, key, generation);
-            if (result.type === "success" &&
-                (hooks?.watching !== false ||
-                    hooks.markVolatile === undefined ||
-                    (hooks.project?.watching !== undefined &&
-                        hooks.project.watching !== hooks.watching))) {
-                throw new Error("@ttsc/unplugin: plugin input observation is unavailable; fresh output " +
-                    "requires an explicitly nonwatching host with supported cache withdrawal. " +
-                    "Watching, unknown or contradictory lifecycles cannot safely observe its changes.");
-            }
-            hooks?.markVolatile?.();
-        }
-        reportSuccessDiagnostics(cached, epoch);
-        let output;
-        try {
-            output = selectOrEvict(cache, key, generation, epoch, {
-                file,
-                projectRoot,
-                result,
-                tsconfig: cached.tsconfig,
-            });
-        }
-        catch (error) {
-            if (!(error instanceof TtscMissingProgramOutputError)) {
-                notifyFailedGenerationInputs(hooks, cached, file, watchSelection);
-                throw error;
-            }
-            reportMissingProgramOutput(cached, error, epoch);
-            notifyWatchInputs(hooks, cached, file, watchSelection);
-            markCachedSourceServed(cached, file);
-            return undefined;
-        }
-        notifyWatchInputs(hooks, cached, file, watchSelection);
-        markCachedSourceServed(cached, file);
-        notifyVolatileDelivery(hooks, cached, file);
-        return createTransformResult(file, source, output);
+        return deliverCachedTransform({
+            cache,
+            cached,
+            generation,
+            key,
+            epoch,
+            file,
+            source,
+            hooks,
+            selection: watchSelection,
+        });
     }
 }
 

package/lib/core/transform/transformTtsc.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"transformTtsc.mjs","sources":["../../../src/core/transform/transformTtsc.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6CA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsDG;AACI,eAAe,aAAa,CACjC,EAAU,EACV,MAAc,EACd,OAAoC,EACpC,OAAiB,EACjB,KAA0B,EAC1B,KAA0B,EAAA;AAE1B,IAAA,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC;AAC7C,IAAA,MAAM,KAAK,GAAG,KAAK,EAAE,SAAS,KAAK,IAAI;AACvC,IAAA,MAAM,KAAK,GAAG,KAAK,GAAG,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC;AACzC,IAAA,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;AACxB,QAAA,OAAO,SAAS;IAClB;;;;;IAKA,IAAI,CAAC,KAAK,IAAI,kBAAkB,CAAC,EAAE,CAAC,EAAE;AACpC,QAAA,OAAO,SAAS;IAClB;IACA,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;AAChC,IAAA,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE;AAC3B,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,IAAI,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;AACvC,QAAA,OAAO,SAAS;IAClB;;;AAIA,IAAA,+BAA+B,CAAC,KAAK,EAAE,OAAO,CAAC;AAE/C,IAAA,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC;AAC5E,IAAA,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ;AACnC,IAAA,MAAM,mBAAmB,GAAG,IAAI,CAAC,OAAO,CACtC,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAC9C;;;;;;;AAOD,IAAA,MAAM,cAAc,GAAuB;QACzC,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,UAAU;QACV,QAAQ;KACT;AACD,IAAA,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC;IAC5C,MAAM,GAAG,GAAG,uBAAuB,CAAC;QAClC,UAAU;QACV,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,OAAO,EAAE,OAAO,CAAC,OAAO;AACxB,QAAA,WAAW,EAAE,mBAAmB;QAChC,QAAQ;AACT,KAAA,CAAC;AAEF,IAAA,SAAS;;;;;;AAMP,QAAA,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC;QACxC,IAAI,WAAW,GAAG,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;AACjC,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;YAC7B,MAAM,QAAQ,GAAG,8BAA8B,CAAC,GAAG,CAAC,WAAW,CAAC;AAChE,YAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,gBAAA,IAAI,QAAQ,YAAY,2BAA2B,EAAE;AACnD,oBAAA,MAAM,8BAA8B,CAClC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EACjC,UAAU,CACX;AACD,oBAAA,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW;wBAAE;gBACvC;;;AAGA,gBAAA,IACE,yBAAyB,CAAC,QAAQ,EAAE,KAAK,EAAE;AACzC,oBAAA,WAAW,EAAE,IAAI;AACjB,oBAAA,aAAa,EAAE,MAAM;oBACrB,UAAU;AACX,iBAAA,CAAC,EACF;oBACA,8BAA8B,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC;AACrE,oBAAA,MAAM,QAAQ;gBAChB;AACA,gBAAA,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC;gBACxC,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE;oBACjC;gBACF;gBACA,WAAW,GAAG,SAAS;YACzB;QACF;AACA,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;AAC7B,YAAA,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,KAAK,CAC9D,CAAC,SAAkB,KAAI;gBACrB,8BAA8B,CAC5B,KAAK,EACL,SAAS,EACT,IAAI,EACJ,cAAc,CACf;AACD,gBAAA,MAAM,SAAS;AACjB,YAAA,CAAC,CACF;YACD,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;;;YAG1D,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,EAAE;gBACnC;YACF;;;;;AAKA,YAAA,IAAI,CAAC,iCAAiC,CAAC,KAAK,CAAC,EAAE;gBAC7C,+BAA+B,CAAC,MAAM,CAAC;YACzC;YACA,MAAM,8BAA8B,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC;AACvE,YAAA,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW;gBAAE;AACrC,YAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,gBAAA,MAAM,2BAA2B,CAAC,MAAM,CAAC;gBACzC,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,EAAE;oBACnC;gBACF;YACF;YACA,MAAM,MAAM,GAAG,4BAA4B,CAAC;gBAC1C,KAAK;gBACL,MAAM;gBACN,KAAK;gBACL,IAAI;AACJ,gBAAA,UAAU,EAAE,WAAW;gBACvB,GAAG;gBACH,MAAM;AACP,aAAA,CAAC;AACF,YAAA,IAAI,MAAM,KAAK,OAAO,EAAE;gBACtB;YACF;AACA,YAAA,IAAI,MAAM,KAAK,OAAO,EAAE;AACtB,gBAAA,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC;;;;AAIvC,gBAAA,IAAI,MAA6B;AACjC,gBAAA,IAAI;oBACF,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE;wBACrD,IAAI;wBACJ,WAAW,EAAE,MAAM,CAAC,WAAW;wBAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;wBACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;AAC1B,qBAAA,CAAC;gBACJ;gBAAE,OAAO,KAAK,EAAE;AACd,oBAAA,IAAI,EAAE,KAAK,YAAY,6BAA6B,CAAC,EAAE;wBACrD,4BAA4B,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACjE,wBAAA,MAAM,KAAK;oBACb;;;;;;AAMA,oBAAA,0BAA0B,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC;oBAChD,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACtD,oBAAA,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC;AACpC,oBAAA,OAAO,SAAS;gBAClB;gBACA,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACtD,gBAAA,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC;gBACpC,OAAO,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;YACpD;YACA,WAAW,GAAG,SAAS;QACzB;AAEA,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;YAC7B,WAAW,GAAG,gBAAgB,CAAC;gBAC7B,UAAU;gBACV,eAAe,EAAE,OAAO,CAAC,eAAe;AACxC,gBAAA,WAAW,EAAE,mBAAmB;AAChC,gBAAA,WAAW,EAAE,IAAI;AACjB,gBAAA,aAAa,EAAE,MAAM;;;;AAIrB,gBAAA,aAAa,EAAE,KAAK;gBACpB,UAAU;gBACV,OAAO,EAAE,OAAO,CAAC,OAAO;;;;;AAKxB,gBAAA,uBAAuB,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;;AAEnE,gBAAA,mBAAmB,EAAE,iCAAiC,CAAC,KAAK,CAAC;;AAE7D,gBAAA,OAAO,EACL,KAAK,KAAK,SAAS,GAAG,SAAS,GAAG,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC;gBACvE,sBAAsB,EAAE,KAAK,KAAK,SAAS;gBAC3C,QAAQ;gBACR,yBAAyB,EACvB,KAAK,KAAK;AACR,sBAAE;sBACA,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;gBACxD,qBAAqB,EACnB,KAAK,KAAK;AACR,sBAAE;sBACA,oCAAoC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;AAChE,aAAA,CAAC;AACF,YAAA,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;QAC9B;QACA,MAAM,UAAU,GAAG,WAAW;AAC9B,QAAA,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,KAAK,CAC7D,CAAC,SAAkB,KAAI;YACrB,8BAA8B,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC;AACtE,YAAA,MAAM,SAAS;AACjB,QAAA,CAAC,CACF;AACD,QAAA,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,UAAU,EAAE;YACxD;QACF;AACA,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;YACvB,IAAI,SAAS,GAAG,oCAAoC,CAAC,GAAG,CAAC,KAAK,CAAC;AAC/D,YAAA,IAAI,SAAS,KAAK,SAAS,EAAE;AAC3B,gBAAA,SAAS,GAAG,IAAI,GAAG,EAAE;AACrB,gBAAA,oCAAoC,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC;YAC5D;YACA,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,wBAAwB,IAAI,EAAE,CAAC;AACzD,YAAA,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC,yBAAyB;AAClE,YAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;gBAC1B,IAAI,QAAQ,GAAG,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC;AACvD,gBAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,oBAAA,QAAQ,GAAG,IAAI,GAAG,EAAE;AACpB,oBAAA,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC;gBACpD;AACA,gBAAA,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;YAC7B;QACF;AACA,QAAA,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,MAAM;AACtC,QAAA,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,EAAE;;;;YAIrC,IAAI,KAAK,KAAK,SAAS;gBAAE,sBAAsB,CAAC,MAAM,CAAC;;AAClD,gBAAA,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC;AAC5C,YAAA,IACE,MAAM,CAAC,IAAI,KAAK,SAAS;AACzB,iBAAC,KAAK,EAAE,QAAQ,KAAK,KAAK;oBACxB,KAAK,CAAC,YAAY,KAAK,SAAS;AAChC,qBAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS;wBACpC,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC,EAC/C;gBACA,MAAM,IAAI,KAAK,CACb,wEAAwE;oBACtE,2EAA2E;AAC3E,oBAAA,kFAAkF,CACrF;YACH;AACA,YAAA,KAAK,EAAE,YAAY,IAAI;QACzB;AACA,QAAA,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC;AACvC,QAAA,IAAI,MAA6B;AACjC,QAAA,IAAI;YACF,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE;gBACpD,IAAI;gBACJ,WAAW;gBACX,MAAM;gBACN,QAAQ,EAAE,MAAM,CAAC,QAAQ;AAC1B,aAAA,CAAC;QACJ;QAAE,OAAO,KAAK,EAAE;AACd,YAAA,IAAI,EAAE,KAAK,YAAY,6BAA6B,CAAC,EAAE;gBACrD,4BAA4B,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACjE,gBAAA,MAAM,KAAK;YACb;AACA,YAAA,0BAA0B,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC;YAChD,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACtD,YAAA,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC;AACpC,YAAA,OAAO,SAAS;QAClB;QACA,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC;AACtD,QAAA,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC;AACpC,QAAA,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC;QAC3C,OAAO,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;IACpD;AACF;;;;"}
+{"version":3,"file":"transformTtsc.mjs","sources":["../../../src/core/transform/transformTtsc.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoCA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyDG;AACI,eAAe,aAAa,CACjC,EAAU,EACV,MAAc,EACd,OAAoC,EACpC,OAAiB,EACjB,KAA0B,EAC1B,KAA0B,EAAA;AAE1B,IAAA,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC;AAC7C,IAAA,MAAM,KAAK,GAAG,KAAK,EAAE,SAAS,KAAK,IAAI;AACvC,IAAA,MAAM,KAAK,GAAG,KAAK,GAAG,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC;AACzC,IAAA,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;AACxB,QAAA,OAAO,SAAS;IAClB;;;;;IAKA,IAAI,CAAC,KAAK,IAAI,kBAAkB,CAAC,EAAE,CAAC,EAAE;AACpC,QAAA,OAAO,SAAS;IAClB;IACA,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;AAChC,IAAA,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE;AAC3B,QAAA,OAAO,SAAS;IAClB;AACA,IAAA,IAAI,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;AACvC,QAAA,OAAO,SAAS;IAClB;;;AAIA,IAAA,+BAA+B,CAAC,KAAK,EAAE,OAAO,CAAC;AAE/C,IAAA,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC;AAC5E,IAAA,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ;AACnC,IAAA,MAAM,mBAAmB,GAAG,IAAI,CAAC,OAAO,CACtC,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAC9C;;;;;;;AAOD,IAAA,MAAM,cAAc,GAAuB;QACzC,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,UAAU;QACV,QAAQ;KACT;AACD,IAAA,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC;IAC5C,MAAM,GAAG,GAAG,uBAAuB,CAAC;QAClC,UAAU;QACV,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,OAAO,EAAE,OAAO,CAAC,OAAO;AACxB,QAAA,WAAW,EAAE,mBAAmB;QAChC,QAAQ;AACT,KAAA,CAAC;AAEF,IAAA,SAAS;;;;;;AAMP,QAAA,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,CAAC;QACxC,IAAI,WAAW,GAAG,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;AACjC,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;YAC7B,MAAM,QAAQ,GAAG,8BAA8B,CAAC,GAAG,CAAC,WAAW,CAAC;AAChE,YAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,gBAAA,IAAI,QAAQ,YAAY,2BAA2B,EAAE;oBACnD,MAAM,8BAA8B,CAClC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EACjC,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,CACvC;AACD,oBAAA,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW;wBAAE;gBACvC;;;AAGA,gBAAA,IACE,yBAAyB,CAAC,QAAQ,EAAE,KAAK,EAAE;AACzC,oBAAA,WAAW,EAAE,IAAI;AACjB,oBAAA,aAAa,EAAE,MAAM;oBACrB,UAAU;AACX,iBAAA,CAAC,EACF;oBACA,8BAA8B,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC;AACrE,oBAAA,MAAM,QAAQ;gBAChB;AACA,gBAAA,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC;gBACxC,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE;oBACjC;gBACF;gBACA,WAAW,GAAG,SAAS;YACzB;QACF;AACA,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;AAC7B,YAAA,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,KAAK,CAC9D,CAAC,SAAkB,KAAI;gBACrB,8BAA8B,CAC5B,KAAK,EACL,SAAS,EACT,IAAI,EACJ,cAAc,CACf;AACD,gBAAA,MAAM,SAAS;AACjB,YAAA,CAAC,CACF;YACD,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;;;YAG1D,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,EAAE;gBACnC;YACF;;;;;AAKA,YAAA,IAAI,CAAC,iCAAiC,CAAC,KAAK,CAAC,EAAE;gBAC7C,+BAA+B,CAAC,MAAM,CAAC;YACzC;AACA,YAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,gBAAA,MAAM,2BAA2B,CAAC,MAAM,CAAC;gBACzC,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,EAAE;oBACnC;gBACF;YACF;YACA,MAAM,mBAAmB,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AACtD,YAAA,IAAI,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW;gBAAE;;AAErC,YAAA,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;YAC7D,MAAM,MAAM,GAAG,4BAA4B,CAAC;gBAC1C,KAAK;gBACL,KAAK;gBACL,MAAM;gBACN,KAAK;gBACL,IAAI;AACJ,gBAAA,UAAU,EAAE,WAAW;gBACvB,GAAG;gBACH,MAAM;AACP,aAAA,CAAC;AACF,YAAA,IAAI,MAAM,KAAK,OAAO,EAAE;gBACtB;YACF;AACA,YAAA,IAAI,MAAM,KAAK,OAAO,EAAE;AACtB,gBAAA,OAAO,sBAAsB,CAAC;oBAC5B,KAAK;oBACL,MAAM;AACN,oBAAA,UAAU,EAAE,WAAW;oBACvB,GAAG;oBACH,KAAK;oBACL,IAAI;oBACJ,MAAM;oBACN,KAAK;AACL,oBAAA,SAAS,EAAE,cAAc;AAC1B,iBAAA,CAAC;YACJ;YACA,WAAW,GAAG,SAAS;QACzB;AAEA,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;YAC7B,WAAW,GAAG,gBAAgB,CAAC;gBAC7B,UAAU;gBACV,eAAe,EAAE,OAAO,CAAC,eAAe;AACxC,gBAAA,WAAW,EAAE,mBAAmB;AAChC,gBAAA,WAAW,EAAE,IAAI;AACjB,gBAAA,aAAa,EAAE,MAAM;;;;AAIrB,gBAAA,aAAa,EAAE,KAAK;gBACpB,UAAU;gBACV,OAAO,EAAE,OAAO,CAAC,OAAO;;;;;AAKxB,gBAAA,uBAAuB,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;;AAEnE,gBAAA,mBAAmB,EAAE,iCAAiC,CAAC,KAAK,CAAC;;AAE7D,gBAAA,OAAO,EACL,KAAK,KAAK,SAAS,GAAG,SAAS,GAAG,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC;gBACvE,sBAAsB,EAAE,KAAK,KAAK,SAAS;gBAC3C,QAAQ;gBACR,yBAAyB,EACvB,KAAK,KAAK;AACR,sBAAE;sBACA,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;gBACxD,qBAAqB,EACnB,KAAK,KAAK;AACR,sBAAE;sBACA,oCAAoC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;AAChE,aAAA,CAAC;AACF,YAAA,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;QAC9B;QACA,MAAM,UAAU,GAAG,WAAW;AAC9B,QAAA,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,KAAK,CAC7D,CAAC,SAAkB,KAAI;YACrB,8BAA8B,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC;AACtE,YAAA,MAAM,SAAS;AACjB,QAAA,CAAC,CACF;AACD,QAAA,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,UAAU,EAAE;YACxD;QACF;AACA,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;YACvB,IAAI,SAAS,GAAG,oCAAoC,CAAC,GAAG,CAAC,KAAK,CAAC;AAC/D,YAAA,IAAI,SAAS,KAAK,SAAS,EAAE;AAC3B,gBAAA,SAAS,GAAG,IAAI,GAAG,EAAE;AACrB,gBAAA,oCAAoC,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC;YAC5D;YACA,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,wBAAwB,IAAI,EAAE,CAAC;AACzD,YAAA,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC,yBAAyB;AAClE,YAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;gBAC1B,IAAI,QAAQ,GAAG,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC;AACvD,gBAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,oBAAA,QAAQ,GAAG,IAAI,GAAG,EAAE;AACpB,oBAAA,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC;gBACpD;AACA,gBAAA,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;YAC7B;QACF;AACA,QAAA,OAAO,sBAAsB,CAAC;YAC5B,KAAK;YACL,MAAM;YACN,UAAU;YACV,GAAG;YACH,KAAK;YACL,IAAI;YACJ,MAAM;YACN,KAAK;AACL,YAAA,SAAS,EAAE,cAAc;AAC1B,SAAA,CAAC;IACJ;AACF;;;;"}

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

@@ -0,0 +1,105 @@
+import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.cjs";
+import type { TtscTransformCache } from "../cache/TtscTransformCache.cjs";
+import type { TtscTransformHooks } from "../watch/TtscTransformHooks.cjs";
+/**
+ * The shared ownership boundary for generation reuse in every adapter.
+ *
+ * WARNING (#1712, #1713): a module, a synchronous input-proof transaction, a
+ * delivery pass, and a persistent generation have different lifetimes. Keep
+ * those distinctions here. Do not add native preparation before every module,
+ * keep positive toolchain checks for a whole process, or make Bun's adapter
+ * invent its own cache policy. A proven pass shares its first deliveries;
+ * persistent/repeated deliveries require new current observations. Incomplete
+ * observations can share a coherent local result only inside an explicitly
+ * nonwatching pass with actual host-cache withdrawal, never a record or pool.
+ *
+ * @evidence contracts/common.md#principled-implementation Explicit pass identity, source baseline and first-delivery membership delimit sharing; synchronous transactions independently qualify current native inputs and incomplete local outputs retain stricter lifecycle admission.
+ * @evidence contracts/common.md#clear-and-simple-design One core owner supplies the same preparation, pass and fresh-only policies to every adapter instead of separate host-specific caches.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching, persistent, repeated and unknown boundaries cannot borrow an incomplete pass result.
+ * @evidence contracts/common.md#meaningful-documentation Native context names the four lifetimes and warns against the specific performance and stale-cache regressions they prevent.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation Members delegate native observations to the generation's filesystem and the native environment owner.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms Members own baseline lookup, batch qualification and admission.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work Members establish the distinct sharing boundaries.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The namespace owns no registry; transactions and generations have explicit callers.
+ */
+export declare namespace TtscGenerationProof {
+    /**
+     * One synchronous admission after all asynchronous preparation has settled.
+     * Never retain this object in a generation or use it after an await.
+     *
+     * @evidence contracts/common.md#principled-implementation The exact cached owner prevents a proof of another result from supplying authority; optional native verdict is earned only by this synchronous transaction.
+     * @evidence contracts/common.md#clear-and-simple-design One transaction carries environment observations and the shared native predicate verdict.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Absent environment or predicate proof remains absent, never implied success.
+     * @evidence contracts/common.md#meaningful-documentation Prose states the no-await lifetime and members distinguish owner, environment and predicate authority.
+     * @evidenceExclude contracts/portability.md#os-neutral-implementation Native identity is retained by the referenced generation, not inferred by this carrier.
+     * @evidenceExclude contracts/performance.md#efficient-algorithms This carrier executes no computation.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work The creating operation and validators own sharing decisions.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The synchronous caller owns this handle-free carrier.
+     */
+    interface Transaction {
+        /** Exact generation being synchronously admitted. */
+        readonly cached: TtscCachedProjectTransform;
+        /** Current batch, absent when the pass already owns this input proof. */
+        readonly environments?: ReadonlyMap<string, string | undefined>;
+        /** Current native predicate verdict, unbuilt until its first gate. */
+        nativePredicates?: boolean;
+    }
+    /**
+     * Prepare native authority only when this delivery needs a new input proof.
+     * The caller must create its synchronous transaction after awaiting this.
+     *
+     * @evidence contracts/common.md#principled-implementation A qualified first-delivery pass already owns environment proof; all other requests prepare actual authority before synchronous admission.
+     * @evidence contracts/common.md#clear-and-simple-design One branch delegates native preparation rather than repeating it in adapters.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Only the existing explicit pass contract permits skipping preparation; no watcher silence or process lifetime substitutes for it.
+     * @evidence contracts/common.md#meaningful-documentation Prose states preparation versus transaction ordering.
+     * @evidence contracts/portability.md#os-neutral-implementation Preparation uses the actual generation filesystem and native toolchain reader.
+     * @evidence contracts/performance.md#efficient-algorithms Qualified first deliveries perform baseline/identity lookups; other deliveries delegate one preparation per unique plugin directory.
+     * @evidence contracts/performance.md#reuse-equivalent-work The pass shares its existing first-delivery proof; persistent and repeated deliveries establish new native authority.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Native requests belong to their environment owner; no transaction survives this await.
+     */
+    function prepare(cached: TtscCachedProjectTransform, file: string, epoch: number | undefined): Promise<void>;
+    /**
+     * Start fresh synchronous observation after notification and preparation
+     * awaits, sharing actual SDK queries and native predicate replay locally.
+     *
+     * @evidence contracts/common.md#principled-implementation Current environments are batch-qualified after asynchronous work; a qualified pass needs no redundant native environment observation.
+     * @evidence contracts/common.md#clear-and-simple-design One constructor binds observations to their exact generation.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts No current verdict is retained across deliveries or asynchronous boundaries.
+     * @evidence contracts/common.md#meaningful-documentation Native prose identifies the mandatory ordering and synchronous lifetime.
+     * @evidence contracts/portability.md#os-neutral-implementation Native observation remains with the environment witness owner and actual generation path identity.
+     * @evidence contracts/performance.md#efficient-algorithms Plugin selection is generation-indexed; one batch shares variable hashing and distinct SDK metadata queries.
+     * @evidence contracts/performance.md#reuse-equivalent-work Only the following synchronous validators borrow this batch; pass sharing uses its independent first-delivery contract.
+     * @evidence contracts/performance.md#bound-retention-and-release-resources The caller releases the transaction at the end of synchronous admission; no registry or native handle is acquired.
+     */
+    function create(cached: TtscCachedProjectTransform, file: string, epoch: number | undefined): Transaction;
+    /**
+     * Whether this module's first delivery belongs to this generation's proven
+     * pass. A missing source baseline cannot acquire this permission.
+     *
+     * @evidence contracts/common.md#principled-implementation Epoch equality, coherent snapshot or admitted local-pass state, a recorded source and an unserved identity are all required.
+     * @evidence contracts/common.md#clear-and-simple-design One predicate is shared by async preparation and synchronous source validation.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete ordinary generation or absent module baseline cannot earn pass reuse.
+     * @evidence contracts/common.md#meaningful-documentation Prose states the first-delivery and baseline restrictions.
+     * @evidence contracts/portability.md#os-neutral-implementation Baselines use the generation's actual identity and compiler project-key policy.
+     * @evidence contracts/performance.md#efficient-algorithms Baseline and served-set lookup avoid full input population traversal.
+     * @evidence contracts/performance.md#reuse-equivalent-work Only first deliveries in the same explicitly declared pass share its proof; repeated and later-pass requests do not.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The predicate borrows generation state without retaining another owner.
+     */
+    function sharesPass(cached: TtscCachedProjectTransform, file: string, epoch: number | undefined): boolean;
+    /**
+     * Admit and notify a fresh-only local delivery. A coherent pass-only success
+     * can keep its result inside this pass after releasing capture resources;
+     * every other fresh-only answer is detached before notifying the host.
+     * Callback failure always evicts the incomplete owner.
+     *
+     * @evidence contracts/common.md#principled-implementation Explicit nonwatching, consistent project lifecycle and cache-withdrawal capability are required on every successful incomplete delivery; retention additionally needs the compile's exact pass-only epoch.
+     * @evidence contracts/common.md#clear-and-simple-design One owner handles initial and cached fresh-only admission, resource release and host notification.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Incomplete output never acquires a persistent record or publication, and failed/unknown/watching capability cannot leave a reusable owner.
+     * @evidence contracts/common.md#meaningful-documentation Native paragraphs distinguish local pass retention, resource release and callback failure effects.
+     * @evidenceExclude contracts/portability.md#os-neutral-implementation This lifecycle operation delegates native resource release to the generation disposer.
+     * @evidence contracts/performance.md#efficient-algorithms Identity/epoch checks and one callback add no input scan; resource disposal visits the fixed tracker population.
+     * @evidence contracts/performance.md#reuse-equivalent-work Only coherent locally admitted output in its exact nonwatching pass survives; a later pass or repeated module must obtain another result.
+     * @evidence contracts/performance.md#bound-retention-and-release-resources Capture resources are released even when local output is kept; rejection and callback failure detach the owning Promise, and the cache lifecycle bounds retained result lifetime.
+     */
+    function admitFreshOnly(cached: TtscCachedProjectTransform, cache: TtscTransformCache | undefined, key: string, generation: Promise<TtscCachedProjectTransform>, epoch: number | undefined, hooks: TtscTransformHooks | undefined): void;
+}