@ttsc/unplugin 0.35.0 → 0.36.1

package/src/core/transform/validation/matchesCachedSource.ts

@@ -18,7 +18,9 @@ import { notificationsProveProgramUnchanged } from "./notificationsProveProgramU
 
 /**
  * Validate a cached project transform against the current on-disk project
- * state.
+ * state. A captured native snapshot instead permits only an unserved module in
+ * its original explicit pass, including a watching pass; it grants no later or
+ * persistent reuse.
  *
  * A module with a recorded source compares its delivered text with the
  * generation snapshot. An unrelated module outside an unchanged program needs
@@ -47,7 +49,7 @@ import { notificationsProveProgramUnchanged } from "./notificationsProveProgramU
  *
  * @evidence contracts/common.md#principled-implementation Delivered source, generation completeness, pass identity and notification authority choose between first-delivery proof, derived-input validation and complete snapshots; divergent editor text never substitutes for compiler disk inputs.
  * @evidence contracts/common.md#clear-and-simple-design This admission boundary chooses the required proof while dedicated validators own membership, universal inputs and content comparisons.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority; only separately admitted coherent local success can share first deliveries of its exact nonwatching pass; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority; a captured native snapshot can share first deliveries only in its original pass, while observer-unavailable local success separately requires an exact nonwatching pass; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
  * @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
  * @evidence contracts/portability.md#os-neutral-implementation Project membership and path identity use recorded compiler case policy and injected native operations; OS names do not certify case sensitivity or watcher capabilities.
  * @evidence contracts/performance.md#bound-retention-and-release-resources
@@ -81,6 +83,9 @@ export function matchesCachedSource(
    */
   reportDivergence = true,
 ): boolean {
+  if (cached.snapshotDeliveryOnly === true)
+    return TtscGenerationProof.sharesPass(cached, file, epoch);
+
   if (!nativeInputPredicatesHold(cached, proof)) return false;
   const pass = TtscGenerationProof.sharesPass(cached, file, epoch);
   if (cached.freshDeliveryOnly === true && !pass) return false;

package/src/core/transform/watch/evidencedWatchInput.ts

@@ -3,6 +3,7 @@ import path from "node:path";
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform";
 import type { TtscEnvelopeDerivation } from "../envelope/TtscEnvelopeDerivation";
 import { derivationIdentity } from "../envelope/derivationIdentity";
+import { envelopeGraphIndexes } from "../envelope/envelopeGraphIndexes";
 import { selectPluginSourceInputs } from "../envelope/selectPluginSourceInputs";
 import { toProjectKey } from "../project/toProjectKey";
 import { MISSING_INPUT_STATE } from "../validation/MISSING_INPUT_STATE";
@@ -31,7 +32,7 @@ import type { TtscWatchInputState } from "./TtscWatchInputState";
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Unknown codec state stays absent; the missing marker is a supported observation value rather than a guessed content hash.
  * @evidence contracts/common.md#meaningful-documentation Native prose describes generation evidence and spelling ownership, followed by separated acknowledgment tags under documentation guidance.
  * @evidence contracts/portability.md#os-neutral-implementation Native path.resolve and the generation's identity context preserve actual filesystem identity separately from caller-selected lexical spelling.
- * @evidence contracts/performance.md#efficient-algorithms Each call allocates one carrier and performs lexical/identity queries plus a plugin-source lookup; a first plugin lookup may parse the full declared source record. Non-tree inputs also compute the project key before selecting the recorded codec. Cost includes key/path text, any cold native path/ancestor/case observations and one caller spelling callback, while recorded byte hashes are not reread. Shared context/plugin populations remain owner costs beyond this fixed carrier allocation.
+ * @evidence contracts/performance.md#efficient-algorithms Each call allocates one carrier and performs lexical/identity queries plus a plugin-source lookup; a first plugin lookup may parse the full declared source record. Non-tree inputs also compute the project key before selecting the recorded codec. Snapshot-only delivery initializes the shared graph index on first use. Cost includes key/path text, any cold native path/ancestor/case observations and one caller spelling callback, while recorded byte hashes are not reread. Shared context/plugin populations remain owner costs beyond this fixed carrier allocation.
  * @evidence contracts/performance.md#reuse-equivalent-work Recorded hashes/predicates and plugin state come from one immutable generation. Identity and project-key queries share its context under a still-valid native view and fixed root; this operation creates a fresh carrier rather than memoizing it, and cannot certify those premises independently.
  * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources This mapping stores no new persistent cache or handle; retained generation facts belong to the generation owner.
  */
@@ -57,7 +58,11 @@ export function evidencedWatchInput(
       },
     };
   }
-  const observation = cached.externalInputObservations?.[spelling];
+  const observation =
+    cached.snapshotDeliveryOnly === true
+      ? (envelopeGraphIndexes(state, cached).inputObservations.get(spelling) ??
+        cached.externalInputObservations?.[spelling])
+      : cached.externalInputObservations?.[spelling];
   const missing =
     observation?.fileExists === false ||
     state.graph?.inputProofs.get(spelling)?.hash === null ||