@ttsc/unplugin 0.35.0 → 0.36.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/core/transform/cache/TtscCachedProjectTransform.d.cts +22 -0
- package/lib/core/transform/cache/TtscCachedProjectTransform.d.mts +22 -0
- package/lib/core/transform/cache/TtscCachedProjectTransform.d.ts +22 -0
- package/lib/core/transform/deliverCachedTransform.js +4 -1
- package/lib/core/transform/deliverCachedTransform.js.map +1 -1
- package/lib/core/transform/deliverCachedTransform.mjs +4 -1
- package/lib/core/transform/deliverCachedTransform.mjs.map +1 -1
- package/lib/core/transform/filesystem/matchesNativeCompilerSnapshotFilesystem.d.cts +16 -0
- package/lib/core/transform/filesystem/matchesNativeCompilerSnapshotFilesystem.d.mts +16 -0
- package/lib/core/transform/filesystem/matchesNativeCompilerSnapshotFilesystem.d.ts +16 -0
- package/lib/core/transform/filesystem/matchesNativeCompilerSnapshotFilesystem.js +28 -0
- package/lib/core/transform/filesystem/matchesNativeCompilerSnapshotFilesystem.js.map +1 -0
- package/lib/core/transform/filesystem/matchesNativeCompilerSnapshotFilesystem.mjs +26 -0
- package/lib/core/transform/filesystem/matchesNativeCompilerSnapshotFilesystem.mjs.map +1 -0
- package/lib/core/transform/generation/TtscGenerationProofFailures.d.cts +19 -0
- package/lib/core/transform/generation/TtscGenerationProofFailures.d.mts +19 -0
- package/lib/core/transform/generation/TtscGenerationProofFailures.d.ts +19 -0
- package/lib/core/transform/generation/canDeliverCompilerSnapshot.d.cts +25 -0
- package/lib/core/transform/generation/canDeliverCompilerSnapshot.d.mts +25 -0
- package/lib/core/transform/generation/canDeliverCompilerSnapshot.d.ts +25 -0
- package/lib/core/transform/generation/canDeliverCompilerSnapshot.js +42 -0
- package/lib/core/transform/generation/canDeliverCompilerSnapshot.js.map +1 -0
- package/lib/core/transform/generation/canDeliverCompilerSnapshot.mjs +40 -0
- package/lib/core/transform/generation/canDeliverCompilerSnapshot.mjs.map +1 -0
- package/lib/core/transform/generation/captureTransformGeneration.js +35 -11
- package/lib/core/transform/generation/captureTransformGeneration.js.map +1 -1
- package/lib/core/transform/generation/captureTransformGeneration.mjs +35 -11
- package/lib/core/transform/generation/captureTransformGeneration.mjs.map +1 -1
- package/lib/core/transform/generation/captureTransformSourceHashes.d.cts +8 -6
- package/lib/core/transform/generation/captureTransformSourceHashes.d.mts +8 -6
- package/lib/core/transform/generation/captureTransformSourceHashes.d.ts +8 -6
- package/lib/core/transform/generation/captureTransformSourceHashes.js +16 -8
- package/lib/core/transform/generation/captureTransformSourceHashes.js.map +1 -1
- package/lib/core/transform/generation/captureTransformSourceHashes.mjs +16 -8
- package/lib/core/transform/generation/captureTransformSourceHashes.mjs.map +1 -1
- package/lib/core/transform/generation/compilerSnapshotFailureClassifier.d.cts +18 -0
- package/lib/core/transform/generation/compilerSnapshotFailureClassifier.d.mts +18 -0
- package/lib/core/transform/generation/compilerSnapshotFailureClassifier.d.ts +18 -0
- package/lib/core/transform/generation/compilerSnapshotFailureClassifier.js +75 -0
- package/lib/core/transform/generation/compilerSnapshotFailureClassifier.js.map +1 -0
- package/lib/core/transform/generation/compilerSnapshotFailureClassifier.mjs +73 -0
- package/lib/core/transform/generation/compilerSnapshotFailureClassifier.mjs.map +1 -0
- package/lib/core/transform/generation/createGenerationProofFailures.d.cts +3 -3
- package/lib/core/transform/generation/createGenerationProofFailures.d.mts +3 -3
- package/lib/core/transform/generation/createGenerationProofFailures.d.ts +3 -3
- package/lib/core/transform/generation/createGenerationProofFailures.js +11 -4
- package/lib/core/transform/generation/createGenerationProofFailures.js.map +1 -1
- package/lib/core/transform/generation/createGenerationProofFailures.mjs +11 -4
- package/lib/core/transform/generation/createGenerationProofFailures.mjs.map +1 -1
- package/lib/core/transform/generation/mergeGenerationProofFailures.d.cts +4 -4
- package/lib/core/transform/generation/mergeGenerationProofFailures.d.mts +4 -4
- package/lib/core/transform/generation/mergeGenerationProofFailures.d.ts +4 -4
- package/lib/core/transform/generation/mergeGenerationProofFailures.js +11 -4
- package/lib/core/transform/generation/mergeGenerationProofFailures.js.map +1 -1
- package/lib/core/transform/generation/mergeGenerationProofFailures.mjs +11 -4
- package/lib/core/transform/generation/mergeGenerationProofFailures.mjs.map +1 -1
- package/lib/core/transform/generation/recordGenerationProofFailure.d.cts +4 -4
- package/lib/core/transform/generation/recordGenerationProofFailure.d.mts +4 -4
- package/lib/core/transform/generation/recordGenerationProofFailure.d.ts +4 -4
- package/lib/core/transform/generation/recordGenerationProofFailure.js +8 -4
- package/lib/core/transform/generation/recordGenerationProofFailure.js.map +1 -1
- package/lib/core/transform/generation/recordGenerationProofFailure.mjs +8 -4
- package/lib/core/transform/generation/recordGenerationProofFailure.mjs.map +1 -1
- package/lib/core/transform/generation/selectTransformAttemptDisposition.d.cts +11 -7
- package/lib/core/transform/generation/selectTransformAttemptDisposition.d.mts +11 -7
- package/lib/core/transform/generation/selectTransformAttemptDisposition.d.ts +11 -7
- package/lib/core/transform/generation/selectTransformAttemptDisposition.js +11 -7
- package/lib/core/transform/generation/selectTransformAttemptDisposition.js.map +1 -1
- package/lib/core/transform/generation/selectTransformAttemptDisposition.mjs +11 -7
- package/lib/core/transform/generation/selectTransformAttemptDisposition.mjs.map +1 -1
- package/lib/core/transform/generation/transformProject.js +1 -0
- package/lib/core/transform/generation/transformProject.js.map +1 -1
- package/lib/core/transform/generation/transformProject.mjs +1 -0
- package/lib/core/transform/generation/transformProject.mjs.map +1 -1
- package/lib/core/transform/validation/TtscGenerationProof.d.cts +4 -1
- package/lib/core/transform/validation/TtscGenerationProof.d.mts +4 -1
- package/lib/core/transform/validation/TtscGenerationProof.d.ts +4 -1
- package/lib/core/transform/validation/TtscGenerationProof.js +4 -1
- package/lib/core/transform/validation/TtscGenerationProof.js.map +1 -1
- package/lib/core/transform/validation/TtscGenerationProof.mjs +4 -1
- package/lib/core/transform/validation/TtscGenerationProof.mjs.map +1 -1
- package/lib/core/transform/validation/captureExternalInputSnapshot.js +1 -1
- package/lib/core/transform/validation/captureExternalInputSnapshot.js.map +1 -1
- package/lib/core/transform/validation/captureExternalInputSnapshot.mjs +1 -1
- package/lib/core/transform/validation/captureExternalInputSnapshot.mjs.map +1 -1
- package/lib/core/transform/validation/captureUniversalHostInputValidation.js +1 -1
- package/lib/core/transform/validation/captureUniversalHostInputValidation.js.map +1 -1
- package/lib/core/transform/validation/captureUniversalHostInputValidation.mjs +1 -1
- package/lib/core/transform/validation/captureUniversalHostInputValidation.mjs.map +1 -1
- package/lib/core/transform/validation/compilerGraphInputProofFailures.js +1 -1
- package/lib/core/transform/validation/compilerGraphInputProofFailures.js.map +1 -1
- package/lib/core/transform/validation/compilerGraphInputProofFailures.mjs +1 -1
- package/lib/core/transform/validation/compilerGraphInputProofFailures.mjs.map +1 -1
- package/lib/core/transform/validation/matchesCachedSource.d.cts +4 -2
- package/lib/core/transform/validation/matchesCachedSource.d.mts +4 -2
- package/lib/core/transform/validation/matchesCachedSource.d.ts +4 -2
- package/lib/core/transform/validation/matchesCachedSource.js +6 -2
- package/lib/core/transform/validation/matchesCachedSource.js.map +1 -1
- package/lib/core/transform/validation/matchesCachedSource.mjs +6 -2
- package/lib/core/transform/validation/matchesCachedSource.mjs.map +1 -1
- package/lib/core/transform/watch/evidencedWatchInput.d.cts +1 -1
- package/lib/core/transform/watch/evidencedWatchInput.d.mts +1 -1
- package/lib/core/transform/watch/evidencedWatchInput.d.ts +1 -1
- package/lib/core/transform/watch/evidencedWatchInput.js +6 -2
- package/lib/core/transform/watch/evidencedWatchInput.js.map +1 -1
- package/lib/core/transform/watch/evidencedWatchInput.mjs +6 -2
- package/lib/core/transform/watch/evidencedWatchInput.mjs.map +1 -1
- package/package.json +3 -3
- package/src/core/transform/cache/TtscCachedProjectTransform.ts +24 -0
- package/src/core/transform/deliverCachedTransform.ts +5 -1
- package/src/core/transform/filesystem/matchesNativeCompilerSnapshotFilesystem.ts +31 -0
- package/src/core/transform/generation/TtscGenerationProofFailures.ts +21 -0
- package/src/core/transform/generation/canDeliverCompilerSnapshot.ts +50 -0
- package/src/core/transform/generation/captureTransformGeneration.ts +50 -13
- package/src/core/transform/generation/captureTransformSourceHashes.ts +19 -8
- package/src/core/transform/generation/compilerSnapshotFailureClassifier.ts +80 -0
- package/src/core/transform/generation/createGenerationProofFailures.ts +13 -4
- package/src/core/transform/generation/mergeGenerationProofFailures.ts +13 -4
- package/src/core/transform/generation/recordGenerationProofFailure.ts +8 -4
- package/src/core/transform/generation/selectTransformAttemptDisposition.ts +14 -7
- package/src/core/transform/generation/transformProject.ts +1 -0
- package/src/core/transform/validation/TtscGenerationProof.ts +4 -1
- package/src/core/transform/validation/captureExternalInputSnapshot.ts +3 -1
- package/src/core/transform/validation/captureUniversalHostInputValidation.ts +3 -1
- package/src/core/transform/validation/compilerGraphInputProofFailures.ts +3 -1
- package/src/core/transform/validation/matchesCachedSource.ts +7 -2
- package/src/core/transform/watch/evidencedWatchInput.ts +7 -2
|
@@ -83,7 +83,7 @@ function captureExternalInputSnapshot(cached, paths, witness) {
|
|
|
83
83
|
const observations = {};
|
|
84
84
|
const realpaths = {};
|
|
85
85
|
const signatures = {};
|
|
86
|
-
const failures = createGenerationProofFailures();
|
|
86
|
+
const failures = createGenerationProofFailures(cached.snapshotFailureClassifier);
|
|
87
87
|
const dependencies = [];
|
|
88
88
|
const reported = new Set();
|
|
89
89
|
if (cached.result.type !== "exception") {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"captureExternalInputSnapshot.mjs","sources":["../../../../src/core/transform/validation/captureExternalInputSnapshot.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;AAwBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CG;SACa,4BAA4B,CAC1C,MAAkC,EAClC,KAAwB,EACxB,OAAuE,EAAA;AAgCvE,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;IACxC,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC;;;;AAIjD,IAAA,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAU;IAClD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE;AACpC,QAAA,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;AAC1D,YAAA,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE;AAC9B,gBAAA,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YACxE;QACF;IACF;IACA,MAAM,MAAM,GAA2B,EAAE;IACzC,MAAM,YAAY,GAGd,EAAE;IACN,MAAM,SAAS,GAAkC,EAAE;IACnD,MAAM,UAAU,GAA2B,EAAE;
|
|
1
|
+
{"version":3,"file":"captureExternalInputSnapshot.mjs","sources":["../../../../src/core/transform/validation/captureExternalInputSnapshot.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;AAwBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CG;SACa,4BAA4B,CAC1C,MAAkC,EAClC,KAAwB,EACxB,OAAuE,EAAA;AAgCvE,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;IACxC,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC;;;;AAIjD,IAAA,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAU;IAClD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE;AACpC,QAAA,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;AAC1D,YAAA,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE;AAC9B,gBAAA,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YACxE;QACF;IACF;IACA,MAAM,MAAM,GAA2B,EAAE;IACzC,MAAM,YAAY,GAGd,EAAE;IACN,MAAM,SAAS,GAAkC,EAAE;IACnD,MAAM,UAAU,GAA2B,EAAE;IAC7C,MAAM,QAAQ,GAAG,6BAA6B,CAC5C,MAAM,CAAC,yBAAyB,CACjC;IACD,MAAM,YAAY,GAAa,EAAE;AACjC,IAAA,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU;IAClC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE;AACtC,QAAA,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE;AACrE,YAAA,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;gBAAE;AAC7B,YAAA,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;gBAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;AACjD,oBAAA,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YACzD;QACF;IACF;IACA,IAAI,QAAQ,GAAG,IAAI;IACnB,IAAI,kBAAkB,GAAG,IAAI;;;;;;;IAO7B,MAAM,MAAM,GAAG,CACb,KAAa,EACb,MAA6C,EAC7C,KAAyB,KACjB;AACR,QAAA,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,EAAE,SAAS,KAAK,KAAK,IAAI,MAAM,CAAC,SAAS;YACxE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK;AAC3C,IAAA,CAAC;AACD,IAAA,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE;QACzB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC;QACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACpC,MAAM,oBAAoB,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClE,MAAM,iBAAiB,GAAG,KAAK,CAAC,yBAAyB,CAAC,GAAG,CAAC,QAAQ,CAAC;AACvE,QAAA,IACE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC/B,aAAC,oBAAoB,KAAK,SAAS,IAAI,iBAAiB,CAAC,EACzD;AACA,YAAA,IAAI,iBAAiB,IAAI,oBAAoB,KAAK,SAAS,EAAE;gBAC3D,QAAQ,GAAG,KAAK;gBAChB,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,UAAU;AAClB,oBAAA,IAAI,EAAE,sBAAsB;oBAC5B,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;YACA,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,YAAA,MAAM,UAAU,GAAG,6BAA6B,CAC9C,KAAK,EACL,oBAAoB,EACpB,UAAU,EACV,KAAK,CAAC,eAAe,CACtB;YACD,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,YAAA,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,QAAQ,GAAG,KAAK;AAC7C,YAAA,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE;gBAC7B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,UAAU;oBAClB,IAAI,EAAE,CAAA,MAAA,EAAS,IAAI,CAAA,CAAE;AACrB,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;YACJ;AACA,YAAA,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;AAAE,gBAAA,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC;AACzD,YAAA,YAAY,CAAC,QAAQ,CAAC,GAAG,oBAAoB;YAC7C;QACF;;;;;QAKA,MAAM,uBAAuB,GAAG,wBAAwB,CAAC,GAAG,CAAC,QAAQ,CAAC;QACtE,MAAM,eAAe,GACnB,CAAC,uBAAuB;AACxB,YAAA,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC/B,YAAA,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;AAChC,YAAA,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC;YACxC,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzC,IACE,CAAC,uBAAuB,IAAI,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC/D,CAAC,eAAe,EAChB;YACA,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC7C,YAAA,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;gBAClE,QAAQ,GAAG,KAAK;gBAChB,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,UAAU;oBAClB,IAAI,EAAE,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ;AAC1C,0BAAE;AACF,0BAAE,qBAAqB;oBACzB,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;YACA,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;YACvD,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,EAAE,UAAU,CAAC;YAC1D,MAAM,eAAe,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC;YAC5D,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,YAAA,MAAM,eAAe,GAAG,qBAAqB,CAC3C,KAAK,CAAC,QAAQ,EACd,eAAe,EACf,KAAK,CAAC,eAAe,CACtB;YACD,IAAI,WAAW,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,eAAe,EAAE;gBAClD,QAAQ,GAAG,KAAK;AAChB,gBAAA,IAAI,WAAW,KAAK,KAAK,CAAC,IAAI,EAAE;oBAC9B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,wBAAA,MAAM,EAAE,UAAU;AAClB,wBAAA,IAAI,EAAE,uBAAuB;AAC7B,wBAAA,IAAI,EAAE,KAAK;AACZ,qBAAA,CAAC;gBACJ;gBACA,IAAI,CAAC,eAAe,EAAE;oBACpB,4BAA4B,CAAC,QAAQ,EAAE;AACrC,wBAAA,MAAM,EAAE,UAAU;AAClB,wBAAA,IAAI,EAAE,wBAAwB;AAC9B,wBAAA,IAAI,EAAE,KAAK;AACZ,qBAAA,CAAC;gBACJ;YACF;AAAO,iBAAA,IAAI,WAAW,KAAK,IAAI,EAAE;;;;;AAK/B,gBAAA,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC;YAC9B;YACA,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,mBAAmB;AACpD,YAAA,SAAS,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ;YACpC;QACF;QACA,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;QACvD,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC;QAClD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC;QACrD,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,QAAA,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,IAAI,mBAAmB;;;;AAI9C,QAAA,MAAM,gBAAgB,GACpB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;YACtB,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACnC,MAAM,CAAC,WAAW,EAClB,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAC/D;AACH,QAAA,IAAI,gBAAgB;AAAE,YAAA,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;AAC9C,QAAA,IAAI,gBAAgB,IAAI,OAAO,KAAK,SAAS,EAAE;YAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;AACvC,YAAA,IAAI,SAAS,KAAK,SAAS,EAAE;gBAC3B,QAAQ,GAAG,KAAK;gBAChB,kBAAkB,GAAG,KAAK;gBAC1B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,UAAU;AAClB,oBAAA,IAAI,EAAE,wBAAwB;AAC9B,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;YACA,IACE,CAAC,SAAS,CAAC,MAAM;gBACjB,MAAM,EAAE,SAAS,KAAK,KAAK;gBAC3B,SAAS,CAAC,SAAS,KAAK,KAAK;gBAC7B,SAAS,CAAC,IAAI,KAAK,IAAI;AACvB,gBAAA,CAAC,qBAAqB,CACpB,SAAS,CAAC,QAAQ,EAClB,QAAQ,EACR,KAAK,CAAC,eAAe,CACtB,EACD;gBACA,QAAQ,GAAG,KAAK;gBAChB,kBAAkB,GAAG,KAAK;gBAC1B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,UAAU;AAClB,oBAAA,IAAI,EAAE,oBAAoB;AAC1B,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;QACF;QACA,IAAI,IAAI,KAAK,IAAI;AAAE,YAAA,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC;IACjD;IACA,OAAO;QACL,QAAQ;QACR,YAAY;QACZ,kBAAkB;QAClB,QAAQ;QACR,MAAM;QACN,YAAY;QACZ,SAAS;QACT,UAAU;KACX;AACH;;;;"}
|
|
@@ -43,7 +43,7 @@ var matchesRecordedInput = require('./matchesRecordedInput.js');
|
|
|
43
43
|
function captureUniversalHostInputValidation(cached, currentFile) {
|
|
44
44
|
const filesystem = resultFilesystem.resultFilesystem(cached.result);
|
|
45
45
|
const state = envelopeDerivation.envelopeDerivation(cached);
|
|
46
|
-
const failures = createGenerationProofFailures.createGenerationProofFailures();
|
|
46
|
+
const failures = createGenerationProofFailures.createGenerationProofFailures(cached.snapshotFailureClassifier);
|
|
47
47
|
const validation = {
|
|
48
48
|
entries: new Map(),
|
|
49
49
|
covered: new Set(),
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"captureUniversalHostInputValidation.js","sources":["../../../../src/core/transform/validation/captureUniversalHostInputValidation.ts"],"sourcesContent":[null],"names":["resultFilesystem","envelopeDerivation","createGenerationProofFailures","recordGenerationProofFailure","selectPersistentHostInputs","hostInputStateHash","sameHostInputRealpath","hostInputRealpath","inputMetadataEvidence","matchesRecordedInput","inputMetadataSignature","missingPathProbe","selectPluginSourceInputs","usesPreparedPluginBuildEnvironments","PluginBuildEnvironmentReadings","processPluginBuildEnvironment","pluginSourceHolds"],"mappings":";;;;;;;;;;;;;;;;;;;;AAyBA;;;;;;;;;;;;;;;;;;;;;AAqBG;AACG,SAAU,mCAAmC,CACjD,MAAkC,EAClC,WAAmB,EAAA;IAQnB,MAAM,UAAU,GAAGA,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;AAClD,IAAA,MAAM,KAAK,GAAGC,qCAAkB,CAAC,MAAM,CAAC;
|
|
1
|
+
{"version":3,"file":"captureUniversalHostInputValidation.js","sources":["../../../../src/core/transform/validation/captureUniversalHostInputValidation.ts"],"sourcesContent":[null],"names":["resultFilesystem","envelopeDerivation","createGenerationProofFailures","recordGenerationProofFailure","selectPersistentHostInputs","hostInputStateHash","sameHostInputRealpath","hostInputRealpath","inputMetadataEvidence","matchesRecordedInput","inputMetadataSignature","missingPathProbe","selectPluginSourceInputs","usesPreparedPluginBuildEnvironments","PluginBuildEnvironmentReadings","processPluginBuildEnvironment","pluginSourceHolds"],"mappings":";;;;;;;;;;;;;;;;;;;;AAyBA;;;;;;;;;;;;;;;;;;;;;AAqBG;AACG,SAAU,mCAAmC,CACjD,MAAkC,EAClC,WAAmB,EAAA;IAQnB,MAAM,UAAU,GAAGA,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;AAClD,IAAA,MAAM,KAAK,GAAGC,qCAAkB,CAAC,MAAM,CAAC;IACxC,MAAM,QAAQ,GAAGC,2DAA6B,CAC5C,MAAM,CAAC,yBAAyB,CACjC;AACD,IAAA,MAAM,UAAU,GAA4B;QAC1C,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,KAAK,EAAE,IAAI,GAAG,EAAE;KACjB;AACD,IAAA,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM;AAC5B,IAAA,MAAM,gBAAgB,GACpB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,eAAe;AAClE,IAAA,MAAM,mBAAmB,GACvB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,kBAAkB;AACrE,IAAA,MAAM,aAAa,GACjB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,sBAAsB;AACzE,IAAA,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,oBAAoB,KAAK,KAAK,EAAE;QACxEC,yDAA4B,CAAC,QAAQ,EAAE;AACrC,YAAA,MAAM,EAAE,MAAM;AACd,YAAA,IAAI,EAAE,yBAAyB;AAC/B,YAAA,MAAM,EAAE,qBAAqB;AAC9B,SAAA,CAAC;IACJ;AACA,IAAA,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,EAAE;QACjEA,yDAA4B,CAAC,QAAQ,EAAE;AACrC,YAAA,MAAM,EAAE,MAAM;YACd,IAAI,EACF,MAAM,KAAK;AACT,kBAAE;AACF,kBAAE,uBAAuB;AAC7B,YAAA,MAAM,EAAE,MAAM;AACd,YAAA,IAAI,EAAE,KAAK;AACZ,SAAA,CAAC;IACJ;AACA,IAAA,KAAK,MAAM,KAAK,IAAIC,qDAA0B,CAAC;QAC7C,UAAU;QACV,WAAW,EAAE,MAAM,CAAC,WAAW;AAC/B,QAAA,MAAM,EACJ,MAAM,CAAC,IAAI,KAAK;AACd,cAAE;AACF,cAAE;AACE,gBAAA,GAAG,MAAM;AACT,gBAAA,UAAU,EAAE;oBACV,GAAG,IAAI,GAAG,CAAC;AACT,wBAAA,IAAI,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;AAC5B,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC;AACtC,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC;AACzC,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC;qBACpC,CAAC;AACH,iBAAA;AACF,aAAA;QACP,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;AAC5C,KAAA,CAAC,EAAE;QACF,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACzC,MAAM,WAAW,GACf,aAAa,GAAG,aAAa,CAAC,KAAK,yBAAyB;AAC9D,QAAA,MAAM,QAAQ,GAAG,gBAAgB,GAAG,aAAa,CAAC;;;;QAIlD,IAAI,QAAQ,GAAG,KAAK;AACpB,QAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;YAC1B,IAAI,CAAC,WAAW,EAAE;gBAChB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;gBACzC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,EAAE;oBACnCD,yDAA4B,CAAC,QAAQ,EAAE;AACrC,wBAAA,MAAM,EAAE,MAAM;AACd,wBAAA,IAAI,EAAE,uBAAuB;AAC7B,wBAAA,IAAI,EAAE,KAAK;AACZ,qBAAA,CAAC;oBACF;gBACF;;;;;YAKF;QACF;aAAO;YACL,MAAM,OAAO,GAAGE,qCAAkB,CAAC,KAAK,EAAE,UAAU,CAAC;AACrD,YAAA,IAAI,QAAQ,KAAK,OAAO,EAAE;gBACxBF,yDAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,iBAAiB;AACvB,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;;;;AAIA,YAAA,QAAQ,GAAG,OAAO,KAAK,IAAI;QAC7B;AACA,QAAA,IAAI,mBAAmB,KAAK,SAAS,EAAE;AACrC,YAAA,IACE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACnC,mBAAmB,EACnB,aAAa,CACd;AACD,gBAAA,CAACG,2CAAqB,CACpB,mBAAmB,CAAC,aAAa,CAAC,EAClCC,mCAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,EACpC,KAAK,CAAC,eAAe,CACtB,EACD;gBACAJ,yDAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACxC,mBAAmB,EACnB,aAAa;AAEb,0BAAE;AACF,0BAAE;AACA,8BAAE;AACF,8BAAE,wBAAwB;AAC9B,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;QACF;;;AAGA,QAAA,IAAI,WAAW;YAAE;AACjB,QAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAGK,2CAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;QACvD,IAAI,CAACC,yCAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;YACxCN,yDAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,mBAAmB;AACzB,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;QACA,MAAM,KAAK,GAAGO,6CAAsB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,QAAA,IAAI,MAAM,EAAE,SAAS,KAAK,KAAK,EAAE;YAC/BP,yDAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,2BAA2B;AACjC,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;AACA,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;;;;YAIxB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;AAC1C,gBAAA,IAAI,EAAE,KAAK;gBACX,QAAQ;AACR,gBAAA,QAAQ,EAAEI,mCAAiB,CAAC,KAAK,EAAE,UAAU,CAAC;;;;;AAK9C,gBAAA,SAAS,EAAE,QAAQ,IAAI,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,GAAG,SAAS;AACvE,aAAA,CAAC;YACF;QACF;QACA,MAAM,KAAK,GAAGI,iCAAgB,CAAC,KAAK,EAAE,UAAU,CAAC;AACjD,QAAA,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE;YAC/B,MAAM,SAAS,GAAGD,6CAAsB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC;AACnE,YAAA,IAAI,SAAS,KAAK,SAAS,EAAE;gBAC3BP,yDAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,8BAA8B;oBACpC,IAAI,EAAE,KAAK,CAAC,OAAO;AACpB,iBAAA,CAAC;gBACF;YACF;;;;;;;AAOA,YAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACnD,YAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;gBAClD,IAAI,EAAE,KAAK,CAAC,OAAO;AACnB,gBAAA,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAEI,mCAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC;gBACtD,SAAS;AACT,gBAAA,MAAM,EAAE,IAAI;AACb,aAAA,CAAC;YACF;QACF;AACA,QAAA,MAAM,aAAa,GAAG,KAAK,CAAC,eAAe,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC;AAC1E,QAAA,IAAI,aAAa,KAAK,SAAS,EAAE;;;YAG/B,IAAI,MAAM,GAAG,KAAK;AAClB,YAAA,IAAI;AACF,gBAAA,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;YACxB;YAAE,OAAO,KAAK,EAAE;AACd,gBAAA,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI;gBAClD,MAAM,GAAG,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;YAClD;AACA,YAAA,IAAI,MAAM;AAAE,gBAAA,UAAU,CAAC,aAAc,CAAC,GAAG,CAAC,aAAa,CAAC;iBACnD;gBACHJ,yDAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE,KAAK,CAAC,SAAS;AACtB,iBAAA,CAAC;YACJ;YACA;QACF;;;;AAIA,QAAA,MAAM,OAAO,GACX,CAAC,UAAU,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,MAAM;cAC1C,IAAI,CAAC;AACP,cAAE,IAAI,CAAC,KAAK;QAChB,IAAI,MAAM,GAAG,KAAK;AAClB,QAAA,IAAI;AACF,YAAA,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5D;QAAE,OAAO,KAAK,EAAE;AACd,YAAA,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI;YAClD,MAAM,GAAG,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;QAClD;QACA,IAAI,CAAC,MAAM,EAAE;YACXA,yDAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,2BAA2B;AACjC,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;AACA,QAAA,IAAI,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC;AACnD,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,YAAA,KAAK,GAAG,IAAI,GAAG,EAAU;YACzB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC;QAChD;;AAEA,QAAA,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;IACvB;;;;IAIA,MAAM,OAAO,GAAGS,iDAAwB,CAAC,MAAM,CAAC,MAAM,CAAC;IACvD,MAAM,QAAQ,GAAGC,kEAAmC,CAAC,MAAM,CAAC,MAAM,CAAC;;;;;IAKnE,MAAM,YAAY,GAAG;UACjBC,2CAA8B,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE;UACvD,SAAS;IACb,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE;;;;QAIzC,MAAM,WAAW,GAAG;AAClB,cAAE,YAAa,CAAC,GAAG,CAAC,SAAS;cAC3BC,0CAA6B,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC;QACvE,IACE,WAAW,KAAK,SAAS;YACzB,CAACC,mCAAiB,CAChB,SAAS,EACT,MAAM,EACN,UAAU,EACV,QAAQ,GAAG,EAAE,WAAW,EAAE,GAAG,SAAS,EACtC,MAAM,CAAC,WAAW,CACnB,EACD;YACAb,yDAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,iBAAiB;AACvB,gBAAA,IAAI,EAAE,SAAS;AAChB,aAAA,CAAC;YACF;QACF;AACA,QAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QACjC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC;AACvC,QAAA,CAAC,UAAU,CAAC,gBAAgB,KAAK,IAAI,GAAG,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC;IACzE;AACA,IAAA,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,EAAE;QAC3D,OAAO,EAAE,QAAQ,EAAE;IACrB;AACA,IAAA,MAAM,CAAC,mBAAmB,GAAG,UAAU;AACvC,IAAA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE;AACjC;;;;"}
|
|
@@ -41,7 +41,7 @@ import { matchesRecordedInput } from './matchesRecordedInput.mjs';
|
|
|
41
41
|
function captureUniversalHostInputValidation(cached, currentFile) {
|
|
42
42
|
const filesystem = resultFilesystem(cached.result);
|
|
43
43
|
const state = envelopeDerivation(cached);
|
|
44
|
-
const failures = createGenerationProofFailures();
|
|
44
|
+
const failures = createGenerationProofFailures(cached.snapshotFailureClassifier);
|
|
45
45
|
const validation = {
|
|
46
46
|
entries: new Map(),
|
|
47
47
|
covered: new Set(),
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"captureUniversalHostInputValidation.mjs","sources":["../../../../src/core/transform/validation/captureUniversalHostInputValidation.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;AAyBA;;;;;;;;;;;;;;;;;;;;;AAqBG;AACG,SAAU,mCAAmC,CACjD,MAAkC,EAClC,WAAmB,EAAA;IAQnB,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;AAClD,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;
|
|
1
|
+
{"version":3,"file":"captureUniversalHostInputValidation.mjs","sources":["../../../../src/core/transform/validation/captureUniversalHostInputValidation.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;AAyBA;;;;;;;;;;;;;;;;;;;;;AAqBG;AACG,SAAU,mCAAmC,CACjD,MAAkC,EAClC,WAAmB,EAAA;IAQnB,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;AAClD,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;IACxC,MAAM,QAAQ,GAAG,6BAA6B,CAC5C,MAAM,CAAC,yBAAyB,CACjC;AACD,IAAA,MAAM,UAAU,GAA4B;QAC1C,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,KAAK,EAAE,IAAI,GAAG,EAAE;KACjB;AACD,IAAA,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM;AAC5B,IAAA,MAAM,gBAAgB,GACpB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,eAAe;AAClE,IAAA,MAAM,mBAAmB,GACvB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,kBAAkB;AACrE,IAAA,MAAM,aAAa,GACjB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,sBAAsB;AACzE,IAAA,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,oBAAoB,KAAK,KAAK,EAAE;QACxE,4BAA4B,CAAC,QAAQ,EAAE;AACrC,YAAA,MAAM,EAAE,MAAM;AACd,YAAA,IAAI,EAAE,yBAAyB;AAC/B,YAAA,MAAM,EAAE,qBAAqB;AAC9B,SAAA,CAAC;IACJ;AACA,IAAA,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,EAAE;QACjE,4BAA4B,CAAC,QAAQ,EAAE;AACrC,YAAA,MAAM,EAAE,MAAM;YACd,IAAI,EACF,MAAM,KAAK;AACT,kBAAE;AACF,kBAAE,uBAAuB;AAC7B,YAAA,MAAM,EAAE,MAAM;AACd,YAAA,IAAI,EAAE,KAAK;AACZ,SAAA,CAAC;IACJ;AACA,IAAA,KAAK,MAAM,KAAK,IAAI,0BAA0B,CAAC;QAC7C,UAAU;QACV,WAAW,EAAE,MAAM,CAAC,WAAW;AAC/B,QAAA,MAAM,EACJ,MAAM,CAAC,IAAI,KAAK;AACd,cAAE;AACF,cAAE;AACE,gBAAA,GAAG,MAAM;AACT,gBAAA,UAAU,EAAE;oBACV,GAAG,IAAI,GAAG,CAAC;AACT,wBAAA,IAAI,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;AAC5B,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC;AACtC,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC;AACzC,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC;qBACpC,CAAC;AACH,iBAAA;AACF,aAAA;QACP,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;AAC5C,KAAA,CAAC,EAAE;QACF,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACzC,MAAM,WAAW,GACf,aAAa,GAAG,aAAa,CAAC,KAAK,yBAAyB;AAC9D,QAAA,MAAM,QAAQ,GAAG,gBAAgB,GAAG,aAAa,CAAC;;;;QAIlD,IAAI,QAAQ,GAAG,KAAK;AACpB,QAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;YAC1B,IAAI,CAAC,WAAW,EAAE;gBAChB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;gBACzC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,EAAE;oBACnC,4BAA4B,CAAC,QAAQ,EAAE;AACrC,wBAAA,MAAM,EAAE,MAAM;AACd,wBAAA,IAAI,EAAE,uBAAuB;AAC7B,wBAAA,IAAI,EAAE,KAAK;AACZ,qBAAA,CAAC;oBACF;gBACF;;;;;YAKF;QACF;aAAO;YACL,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC;AACrD,YAAA,IAAI,QAAQ,KAAK,OAAO,EAAE;gBACxB,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,iBAAiB;AACvB,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;;;;AAIA,YAAA,QAAQ,GAAG,OAAO,KAAK,IAAI;QAC7B;AACA,QAAA,IAAI,mBAAmB,KAAK,SAAS,EAAE;AACrC,YAAA,IACE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACnC,mBAAmB,EACnB,aAAa,CACd;AACD,gBAAA,CAAC,qBAAqB,CACpB,mBAAmB,CAAC,aAAa,CAAC,EAClC,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,EACpC,KAAK,CAAC,eAAe,CACtB,EACD;gBACA,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACxC,mBAAmB,EACnB,aAAa;AAEb,0BAAE;AACF,0BAAE;AACA,8BAAE;AACF,8BAAE,wBAAwB;AAC9B,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;QACF;;;AAGA,QAAA,IAAI,WAAW;YAAE;AACjB,QAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;QACvD,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;YACxC,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,mBAAmB;AACzB,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;QACA,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,QAAA,IAAI,MAAM,EAAE,SAAS,KAAK,KAAK,EAAE;YAC/B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,2BAA2B;AACjC,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;AACA,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;;;;YAIxB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;AAC1C,gBAAA,IAAI,EAAE,KAAK;gBACX,QAAQ;AACR,gBAAA,QAAQ,EAAE,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC;;;;;AAK9C,gBAAA,SAAS,EAAE,QAAQ,IAAI,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,GAAG,SAAS;AACvE,aAAA,CAAC;YACF;QACF;QACA,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC;AACjD,QAAA,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE;YAC/B,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC;AACnE,YAAA,IAAI,SAAS,KAAK,SAAS,EAAE;gBAC3B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,8BAA8B;oBACpC,IAAI,EAAE,KAAK,CAAC,OAAO;AACpB,iBAAA,CAAC;gBACF;YACF;;;;;;;AAOA,YAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACnD,YAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;gBAClD,IAAI,EAAE,KAAK,CAAC,OAAO;AACnB,gBAAA,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC;gBACtD,SAAS;AACT,gBAAA,MAAM,EAAE,IAAI;AACb,aAAA,CAAC;YACF;QACF;AACA,QAAA,MAAM,aAAa,GAAG,KAAK,CAAC,eAAe,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC;AAC1E,QAAA,IAAI,aAAa,KAAK,SAAS,EAAE;;;YAG/B,IAAI,MAAM,GAAG,KAAK;AAClB,YAAA,IAAI;AACF,gBAAA,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;YACxB;YAAE,OAAO,KAAK,EAAE;AACd,gBAAA,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI;gBAClD,MAAM,GAAG,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;YAClD;AACA,YAAA,IAAI,MAAM;AAAE,gBAAA,UAAU,CAAC,aAAc,CAAC,GAAG,CAAC,aAAa,CAAC;iBACnD;gBACH,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE,KAAK,CAAC,SAAS;AACtB,iBAAA,CAAC;YACJ;YACA;QACF;;;;AAIA,QAAA,MAAM,OAAO,GACX,CAAC,UAAU,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,MAAM;cAC1C,IAAI,CAAC;AACP,cAAE,IAAI,CAAC,KAAK;QAChB,IAAI,MAAM,GAAG,KAAK;AAClB,QAAA,IAAI;AACF,YAAA,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5D;QAAE,OAAO,KAAK,EAAE;AACd,YAAA,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI;YAClD,MAAM,GAAG,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;QAClD;QACA,IAAI,CAAC,MAAM,EAAE;YACX,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,2BAA2B;AACjC,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;AACA,QAAA,IAAI,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC;AACnD,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,YAAA,KAAK,GAAG,IAAI,GAAG,EAAU;YACzB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC;QAChD;;AAEA,QAAA,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;IACvB;;;;IAIA,MAAM,OAAO,GAAG,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC;IACvD,MAAM,QAAQ,GAAG,mCAAmC,CAAC,MAAM,CAAC,MAAM,CAAC;;;;;IAKnE,MAAM,YAAY,GAAG;UACjB,8BAA8B,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE;UACvD,SAAS;IACb,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE;;;;QAIzC,MAAM,WAAW,GAAG;AAClB,cAAE,YAAa,CAAC,GAAG,CAAC,SAAS;cAC3B,6BAA6B,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC;QACvE,IACE,WAAW,KAAK,SAAS;YACzB,CAAC,iBAAiB,CAChB,SAAS,EACT,MAAM,EACN,UAAU,EACV,QAAQ,GAAG,EAAE,WAAW,EAAE,GAAG,SAAS,EACtC,MAAM,CAAC,WAAW,CACnB,EACD;YACA,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,iBAAiB;AACvB,gBAAA,IAAI,EAAE,SAAS;AAChB,aAAA,CAAC;YACF;QACF;AACA,QAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QACjC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC;AACvC,QAAA,CAAC,UAAU,CAAC,gBAAgB,KAAK,IAAI,GAAG,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC;IACzE;AACA,IAAA,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,EAAE;QAC3D,OAAO,EAAE,QAAQ,EAAE;IACrB;AACA,IAAA,MAAM,CAAC,mBAAmB,GAAG,UAAU;AACvC,IAAA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE;AACjC;;;;"}
|
|
@@ -32,7 +32,7 @@ var isTransformScratchInput = require('../tsconfig/isTransformScratchInput.js');
|
|
|
32
32
|
* @evidence contracts/performance.md#reuse-equivalent-work Rich predicates are replayed once per indexed spelling and their legacy branch checks representation consistency without another content read. This shares that requested native verdict within this pass; later generation admission decides whether it remains usable, not this local set alone.
|
|
33
33
|
*/
|
|
34
34
|
function compilerGraphInputProofFailures(cached) {
|
|
35
|
-
const failures = createGenerationProofFailures.createGenerationProofFailures();
|
|
35
|
+
const failures = createGenerationProofFailures.createGenerationProofFailures(cached.snapshotFailureClassifier);
|
|
36
36
|
if (cached.result.type === "exception" ||
|
|
37
37
|
cached.result.graph === undefined ||
|
|
38
38
|
(cached.result.graph.inputHashes === undefined &&
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"compilerGraphInputProofFailures.js","sources":["../../../../src/core/transform/validation/compilerGraphInputProofFailures.ts"],"sourcesContent":[null],"names":["createGenerationProofFailures","envelopeDerivation","resultFilesystem","envelopeGraphIndexes","isTransformScratchInput","graphInputObservationFailures","recordGenerationProofFailure","legacyProjectionOfGraphInputObservation","sameHostInputRealpath","graphInputStateHash","hostInputRealpath"],"mappings":";;;;;;;;;;;;;;AAcA;;;;;;;;;;;;;;;;;;AAkBG;AACG,SAAU,+BAA+B,CAC7C,MAAkC,EAAA;
|
|
1
|
+
{"version":3,"file":"compilerGraphInputProofFailures.js","sources":["../../../../src/core/transform/validation/compilerGraphInputProofFailures.ts"],"sourcesContent":[null],"names":["createGenerationProofFailures","envelopeDerivation","resultFilesystem","envelopeGraphIndexes","isTransformScratchInput","graphInputObservationFailures","recordGenerationProofFailure","legacyProjectionOfGraphInputObservation","sameHostInputRealpath","graphInputStateHash","hostInputRealpath"],"mappings":";;;;;;;;;;;;;;AAcA;;;;;;;;;;;;;;;;;;AAkBG;AACG,SAAU,+BAA+B,CAC7C,MAAkC,EAAA;IAElC,MAAM,QAAQ,GAAGA,2DAA6B,CAC5C,MAAM,CAAC,yBAAyB,CACjC;AACD,IAAA,IACE,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;AAClC,QAAA,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;SAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;AAC5C,YAAA,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS;AACnD,YAAA,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS;YAChD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,KAAK,SAAS,CAAC,EACvD;;;;AAIA,QAAA,OAAO,QAAQ;IACjB;AACA,IAAA,MAAM,KAAK,GAAGC,qCAAkB,CAAC,MAAM,CAAC;IACxC,MAAM,UAAU,GAAGC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,MAAM,KAAK,GAAGC,yCAAoB,CAAC,KAAK,EAAE,MAAM,CAAC;AACjD,IAAA,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU;AAC5C,IAAA,MAAM,0BAA0B,GAAG,IAAI,GAAG,EAAU;IACpD,KAAK,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,KAAK,CAAC,iBAAiB,EAAE;QAC7D,IAAIC,+CAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE;YAC9D;QACF;AACA,QAAA,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAChC,QAAA,KAAK,MAAM,IAAI,IAAIC,2DAA6B,CAC9C,QAAQ,EACR,WAAW,EACX,UAAU,EACV,KAAK,CAAC,eAAe,CACtB,EAAE;YACDC,yDAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;gBACf,IAAI;AACJ,gBAAA,IAAI,EAAE,QAAQ;AACf,aAAA,CAAC;QACJ;IACF;AACA,IAAA,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,yBAAyB,EAAE;QACtD,IAAIF,+CAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE;YAC9D;QACF;AACA,QAAA,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAChC,QAAA,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC;QACxCE,yDAA4B,CAAC,QAAQ,EAAE;AACrC,YAAA,MAAM,EAAE,OAAO;AACf,YAAA,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,YAAA,IAAI,EAAE,QAAQ;AACf,SAAA,CAAC;IACJ;AACA,IAAA,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,eAAe,EAAE;QAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC7C,IAAIF,+CAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE;YAC9D;QACF;AACA,QAAA,IAAI,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC5C;QACF;QACA,IAAI,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3CE,yDAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;AACf,gBAAA,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,gBAAA,IAAI,EAAE,QAAQ;AACf,aAAA,CAAC;YACF;QACF;QACA,IAAI,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC1CA,yDAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;AACf,gBAAA,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,gBAAA,IAAI,EAAE,QAAQ;AACf,aAAA,CAAC;YACF;QACF;QACA,MAAM,WAAW,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzD,IAAI,WAAW,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE;AACpD,YAAA,MAAM,UAAU,GAAGC,+EAAuC,CAAC,WAAW,CAAC;AACvE,YAAA,IACE,UAAU,CAAC,OAAO,KAAK,SAAS;AAChC,gBAAA,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;AAC9B,gBAAA,CAACC,2CAAqB,CACpB,UAAU,CAAC,QAAQ,EACnB,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,eAAe,CACtB,EACD;gBACAF,yDAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,OAAO;AACf,oBAAA,IAAI,EAAE,gBAAgB;oBACtB,MAAM,EAAE,UAAU,CAAC,OAAO;AAC1B,oBAAA,IAAI,EAAE,QAAQ;AACf,iBAAA,CAAC;YACJ;;;;;;YAMA;QACF;AACA,QAAA,IACE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC/B,YAAA,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;YAChC,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EACvC;YACA;QACF;;;AAGA,QAAA,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC1D;QACF;AACA,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;YACvBA,yDAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;AACf,gBAAA,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,gBAAA,IAAI,EAAE,QAAQ;AACf,aAAA,CAAC;YACF;QACF;QACA,MAAM,WAAW,GAAGG,uCAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC;AAC/D,QAAA,IAAI,WAAW,KAAK,KAAK,CAAC,IAAI,EAAE;YAC9BH,yDAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;AACf,gBAAA,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EAAE,KAAK,CAAC,IAAI;AACjB,aAAA,CAAC;QACJ;QACA,IACE,CAACE,2CAAqB,CACpB,KAAK,CAAC,QAAQ,EACdE,mCAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,EACzC,KAAK,CAAC,eAAe,CACtB,EACD;YACAJ,yDAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;AACf,gBAAA,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,KAAK,CAAC,IAAI;AACjB,aAAA,CAAC;QACJ;IACF;AACA,IAAA,OAAO,QAAQ;AACjB;;;;"}
|
|
@@ -30,7 +30,7 @@ import { isTransformScratchInput } from '../tsconfig/isTransformScratchInput.mjs
|
|
|
30
30
|
* @evidence contracts/performance.md#reuse-equivalent-work Rich predicates are replayed once per indexed spelling and their legacy branch checks representation consistency without another content read. This shares that requested native verdict within this pass; later generation admission decides whether it remains usable, not this local set alone.
|
|
31
31
|
*/
|
|
32
32
|
function compilerGraphInputProofFailures(cached) {
|
|
33
|
-
const failures = createGenerationProofFailures();
|
|
33
|
+
const failures = createGenerationProofFailures(cached.snapshotFailureClassifier);
|
|
34
34
|
if (cached.result.type === "exception" ||
|
|
35
35
|
cached.result.graph === undefined ||
|
|
36
36
|
(cached.result.graph.inputHashes === undefined &&
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"compilerGraphInputProofFailures.mjs","sources":["../../../../src/core/transform/validation/compilerGraphInputProofFailures.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;AAcA;;;;;;;;;;;;;;;;;;AAkBG;AACG,SAAU,+BAA+B,CAC7C,MAAkC,EAAA;
|
|
1
|
+
{"version":3,"file":"compilerGraphInputProofFailures.mjs","sources":["../../../../src/core/transform/validation/compilerGraphInputProofFailures.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;AAcA;;;;;;;;;;;;;;;;;;AAkBG;AACG,SAAU,+BAA+B,CAC7C,MAAkC,EAAA;IAElC,MAAM,QAAQ,GAAG,6BAA6B,CAC5C,MAAM,CAAC,yBAAyB,CACjC;AACD,IAAA,IACE,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;AAClC,QAAA,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;SAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;AAC5C,YAAA,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS;AACnD,YAAA,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS;YAChD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,KAAK,SAAS,CAAC,EACvD;;;;AAIA,QAAA,OAAO,QAAQ;IACjB;AACA,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;IACxC,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC;AACjD,IAAA,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU;AAC5C,IAAA,MAAM,0BAA0B,GAAG,IAAI,GAAG,EAAU;IACpD,KAAK,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,KAAK,CAAC,iBAAiB,EAAE;QAC7D,IAAI,uBAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE;YAC9D;QACF;AACA,QAAA,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAChC,QAAA,KAAK,MAAM,IAAI,IAAI,6BAA6B,CAC9C,QAAQ,EACR,WAAW,EACX,UAAU,EACV,KAAK,CAAC,eAAe,CACtB,EAAE;YACD,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;gBACf,IAAI;AACJ,gBAAA,IAAI,EAAE,QAAQ;AACf,aAAA,CAAC;QACJ;IACF;AACA,IAAA,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,yBAAyB,EAAE;QACtD,IAAI,uBAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE;YAC9D;QACF;AACA,QAAA,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAChC,QAAA,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC;QACxC,4BAA4B,CAAC,QAAQ,EAAE;AACrC,YAAA,MAAM,EAAE,OAAO;AACf,YAAA,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,YAAA,IAAI,EAAE,QAAQ;AACf,SAAA,CAAC;IACJ;AACA,IAAA,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,eAAe,EAAE;QAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC7C,IAAI,uBAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE;YAC9D;QACF;AACA,QAAA,IAAI,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC5C;QACF;QACA,IAAI,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC3C,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;AACf,gBAAA,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,gBAAA,IAAI,EAAE,QAAQ;AACf,aAAA,CAAC;YACF;QACF;QACA,IAAI,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC1C,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;AACf,gBAAA,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,gBAAA,IAAI,EAAE,QAAQ;AACf,aAAA,CAAC;YACF;QACF;QACA,MAAM,WAAW,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzD,IAAI,WAAW,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE;AACpD,YAAA,MAAM,UAAU,GAAG,uCAAuC,CAAC,WAAW,CAAC;AACvE,YAAA,IACE,UAAU,CAAC,OAAO,KAAK,SAAS;AAChC,gBAAA,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;AAC9B,gBAAA,CAAC,qBAAqB,CACpB,UAAU,CAAC,QAAQ,EACnB,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,eAAe,CACtB,EACD;gBACA,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,OAAO;AACf,oBAAA,IAAI,EAAE,gBAAgB;oBACtB,MAAM,EAAE,UAAU,CAAC,OAAO;AAC1B,oBAAA,IAAI,EAAE,QAAQ;AACf,iBAAA,CAAC;YACJ;;;;;;YAMA;QACF;AACA,QAAA,IACE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC/B,YAAA,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;YAChC,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EACvC;YACA;QACF;;;AAGA,QAAA,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;YAC1D;QACF;AACA,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;YACvB,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;AACf,gBAAA,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,gBAAA,IAAI,EAAE,QAAQ;AACf,aAAA,CAAC;YACF;QACF;QACA,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC;AAC/D,QAAA,IAAI,WAAW,KAAK,KAAK,CAAC,IAAI,EAAE;YAC9B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;AACf,gBAAA,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EAAE,KAAK,CAAC,IAAI;AACjB,aAAA,CAAC;QACJ;QACA,IACE,CAAC,qBAAqB,CACpB,KAAK,CAAC,QAAQ,EACd,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,EACzC,KAAK,CAAC,eAAe,CACtB,EACD;YACA,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,OAAO;AACf,gBAAA,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,KAAK,CAAC,IAAI;AACjB,aAAA,CAAC;QACJ;IACF;AACA,IAAA,OAAO,QAAQ;AACjB;;;;"}
|
|
@@ -2,7 +2,9 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
|
|
|
2
2
|
import { TtscGenerationProof } from "./TtscGenerationProof.cjs";
|
|
3
3
|
/**
|
|
4
4
|
* Validate a cached project transform against the current on-disk project
|
|
5
|
-
* state.
|
|
5
|
+
* state. A captured native snapshot instead permits only an unserved module in
|
|
6
|
+
* its original explicit pass, including a watching pass; it grants no later or
|
|
7
|
+
* persistent reuse.
|
|
6
8
|
*
|
|
7
9
|
* A module with a recorded source compares its delivered text with the
|
|
8
10
|
* generation snapshot. An unrelated module outside an unchanged program needs
|
|
@@ -31,7 +33,7 @@ import { TtscGenerationProof } from "./TtscGenerationProof.cjs";
|
|
|
31
33
|
*
|
|
32
34
|
* @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.
|
|
33
35
|
* @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.
|
|
34
|
-
* @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority;
|
|
36
|
+
* @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.
|
|
35
37
|
* @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
|
|
36
38
|
* @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.
|
|
37
39
|
* @evidence contracts/performance.md#bound-retention-and-release-resources
|
|
@@ -2,7 +2,9 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
|
|
|
2
2
|
import { TtscGenerationProof } from "./TtscGenerationProof.mjs";
|
|
3
3
|
/**
|
|
4
4
|
* Validate a cached project transform against the current on-disk project
|
|
5
|
-
* state.
|
|
5
|
+
* state. A captured native snapshot instead permits only an unserved module in
|
|
6
|
+
* its original explicit pass, including a watching pass; it grants no later or
|
|
7
|
+
* persistent reuse.
|
|
6
8
|
*
|
|
7
9
|
* A module with a recorded source compares its delivered text with the
|
|
8
10
|
* generation snapshot. An unrelated module outside an unchanged program needs
|
|
@@ -31,7 +33,7 @@ import { TtscGenerationProof } from "./TtscGenerationProof.mjs";
|
|
|
31
33
|
*
|
|
32
34
|
* @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.
|
|
33
35
|
* @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.
|
|
34
|
-
* @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority;
|
|
36
|
+
* @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.
|
|
35
37
|
* @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
|
|
36
38
|
* @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.
|
|
37
39
|
* @evidence contracts/performance.md#bound-retention-and-release-resources
|
|
@@ -2,7 +2,9 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
|
|
|
2
2
|
import { TtscGenerationProof } from "./TtscGenerationProof";
|
|
3
3
|
/**
|
|
4
4
|
* Validate a cached project transform against the current on-disk project
|
|
5
|
-
* state.
|
|
5
|
+
* state. A captured native snapshot instead permits only an unserved module in
|
|
6
|
+
* its original explicit pass, including a watching pass; it grants no later or
|
|
7
|
+
* persistent reuse.
|
|
6
8
|
*
|
|
7
9
|
* A module with a recorded source compares its delivered text with the
|
|
8
10
|
* generation snapshot. An unrelated module outside an unchanged program needs
|
|
@@ -31,7 +33,7 @@ import { TtscGenerationProof } from "./TtscGenerationProof";
|
|
|
31
33
|
*
|
|
32
34
|
* @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.
|
|
33
35
|
* @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.
|
|
34
|
-
* @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority;
|
|
36
|
+
* @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.
|
|
35
37
|
* @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
|
|
36
38
|
* @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.
|
|
37
39
|
* @evidence contracts/performance.md#bound-retention-and-release-resources
|
|
@@ -19,7 +19,9 @@ var notificationsProveProgramUnchanged = require('./notificationsProveProgramUnc
|
|
|
19
19
|
|
|
20
20
|
/**
|
|
21
21
|
* Validate a cached project transform against the current on-disk project
|
|
22
|
-
* state.
|
|
22
|
+
* state. A captured native snapshot instead permits only an unserved module in
|
|
23
|
+
* its original explicit pass, including a watching pass; it grants no later or
|
|
24
|
+
* persistent reuse.
|
|
23
25
|
*
|
|
24
26
|
* A module with a recorded source compares its delivered text with the
|
|
25
27
|
* generation snapshot. An unrelated module outside an unchanged program needs
|
|
@@ -48,7 +50,7 @@ var notificationsProveProgramUnchanged = require('./notificationsProveProgramUnc
|
|
|
48
50
|
*
|
|
49
51
|
* @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.
|
|
50
52
|
* @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.
|
|
51
|
-
* @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority;
|
|
53
|
+
* @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.
|
|
52
54
|
* @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
|
|
53
55
|
* @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.
|
|
54
56
|
* @evidence contracts/performance.md#bound-retention-and-release-resources
|
|
@@ -80,6 +82,8 @@ epoch, proof,
|
|
|
80
82
|
* rewrite.
|
|
81
83
|
*/
|
|
82
84
|
reportDivergence = true) {
|
|
85
|
+
if (cached.snapshotDeliveryOnly === true)
|
|
86
|
+
return TtscGenerationProof.TtscGenerationProof.sharesPass(cached, file, epoch);
|
|
83
87
|
if (!nativeInputPredicatesHold.nativeInputPredicatesHold(cached, proof))
|
|
84
88
|
return false;
|
|
85
89
|
const pass = TtscGenerationProof.TtscGenerationProof.sharesPass(cached, file, epoch);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"matchesCachedSource.js","sources":["../../../../src/core/transform/validation/matchesCachedSource.ts"],"sourcesContent":[null],"names":["
|
|
1
|
+
{"version":3,"file":"matchesCachedSource.js","sources":["../../../../src/core/transform/validation/matchesCachedSource.ts"],"sourcesContent":[null],"names":["TtscGenerationProof","nativeInputPredicatesHold","envelopeDerivation","toProjectKey","pathIdentityKey","matchesProjectRootFile","resultFilesystem","createEnvelopeKeyIndex","notificationsProveProgramUnchanged","refreshFilesystemClockReference","TRANSFORM_CLOCK_REFERENCE_DIRECTORIES","matchesCompleteInputSnapshot","hashText","hostInputStateHash","reportDivergentDelivery","matchesNarrowPersistentInputs"],"mappings":";;;;;;;;;;;;;;;;;;;AAkBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkDG;SACa,mBAAmB;AACjC;AACA,MAAkC;AAClC;AACA,IAAY;AACZ;AACA,MAAc;AACd;AACA,KAAyB,EACzB,KAAuC;AACvC;;;AAGG;AACH,gBAAgB,GAAG,IAAI,EAAA;AAEvB,IAAA,IAAI,MAAM,CAAC,oBAAoB,KAAK,IAAI;QACtC,OAAOA,uCAAmB,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AAE5D,IAAA,IAAI,CAACC,mDAAyB,CAAC,MAAM,EAAE,KAAK,CAAC;AAAE,QAAA,OAAO,KAAK;AAC3D,IAAA,MAAM,IAAI,GAAGD,uCAAmB,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AAChE,IAAA,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,IAAI,CAAC,IAAI;AAAE,QAAA,OAAO,KAAK;IAC5D,MAAM,UAAU,GAAGE,qCAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;AAC7D,IAAA,MAAM,UAAU,GAAGC,yBAAY,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC;IACrE,MAAM,QAAQ,GAAGC,+BAAe,CAAC,IAAI,EAAE,UAAU,CAAC;IAClD,MAAM,QAAQ,GACZ,MAAM,CAAC,YAAY,GAAG,QAAQ,CAAC;AAC/B,SAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU;AAClE,cAAE,MAAM,CAAC,WAAW,CAAC,UAAU;cAC7B,SAAS,CAAC;AACd,QAAA,MAAM,CAAC,mBAAmB,GAAG,QAAQ,CAAC;IACxC,IACE,QAAQ,KAAK,SAAS;AACtB,QAAA,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAChC,CAACC,6CAAsB,CACrB,IAAI,EACJ,MAAM,CAAC,gBAAgB,EACvB,KAAK,EACLC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CACzC,EACD;AACA,QAAA,MAAM,KAAK,GAAGJ,qCAAkB,CAAC,MAAM,CAAC;QACxC,MAAM,OAAO,IAAI,KAAK,CAAC,WAAW,KAAKK,6CAAsB,CAC3D,KAAK,EACL,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CACrE,CACF,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;;;AAG1B,YAAA,IAAIC,qEAAkC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;AACrD,gBAAA,OAAO,IAAI;YACb;;;;;AAKA,YAAAC,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDJ,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,YAAA,OAAOK,yDAA4B,CAAC,MAAM,EAAE,KAAK,CAAC;QACpD;IACF;AACA,IAAA,IAAI,QAAQ,KAAKC,iBAAQ,CAAC,MAAM,CAAC,EAAE;;;;;;QAMjC,IACE,QAAQ,KAAK,SAAS;AACtB,YAAAC,qCAAkB,CAAC,IAAI,EAAEP,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,QAAQ,EACtE;AACA,YAAA,OAAO,KAAK;QACd;AACA,QAAA,IAAI,gBAAgB;AAAE,YAAAQ,+CAAuB,CAAC,MAAM,EAAE,IAAI,CAAC;IAC7D;AACA,IAAA,IAAI,IAAI;AAAE,QAAA,OAAO,IAAI;IACrB,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,uBAAuB,KAAK,IAAI,EAAE;AAClE,QAAA,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,EAAE;;;;;;;AAOlC,YAAAL,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDJ,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;YACD,IAAI,CAACK,yDAA4B,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;AAChD,gBAAA,OAAO,KAAK;YACd;AACA,YAAA,MAAM,CAAC,aAAa,GAAG,KAAK;AAC5B,YAAA,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE;AAC3B,YAAA,OAAO,IAAI;QACb;QACA,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;AACtC,YAAA,OAAO,IAAI;QACb;IACF;AACA,IAAAF,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDJ,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,IAAA,IACE,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;AAChC,QAAA,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QACjC,MAAM,CAAC,uBAAuB,KAAK,IAAI;QACvC,MAAM,CAAC,kBAAkB,KAAK,SAAS;QACvC,MAAM,CAAC,sBAAsB,KAAK,SAAS;AAC3C,QAAA,MAAM,CAAC,wBAAwB,KAAK,SAAS,EAC7C;QACA,MAAM,MAAM,GAAGS,2DAA6B,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AACjE,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,MAAM;QACf;;;;IAIF;AACA,IAAA,OAAOJ,yDAA4B,CAAC,MAAM,EAAE,KAAK,CAAC;AACpD;;;;"}
|
|
@@ -17,7 +17,9 @@ import { notificationsProveProgramUnchanged } from './notificationsProveProgramU
|
|
|
17
17
|
|
|
18
18
|
/**
|
|
19
19
|
* Validate a cached project transform against the current on-disk project
|
|
20
|
-
* state.
|
|
20
|
+
* state. A captured native snapshot instead permits only an unserved module in
|
|
21
|
+
* its original explicit pass, including a watching pass; it grants no later or
|
|
22
|
+
* persistent reuse.
|
|
21
23
|
*
|
|
22
24
|
* A module with a recorded source compares its delivered text with the
|
|
23
25
|
* generation snapshot. An unrelated module outside an unchanged program needs
|
|
@@ -46,7 +48,7 @@ import { notificationsProveProgramUnchanged } from './notificationsProveProgramU
|
|
|
46
48
|
*
|
|
47
49
|
* @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.
|
|
48
50
|
* @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.
|
|
49
|
-
* @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority;
|
|
51
|
+
* @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.
|
|
50
52
|
* @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
|
|
51
53
|
* @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.
|
|
52
54
|
* @evidence contracts/performance.md#bound-retention-and-release-resources
|
|
@@ -78,6 +80,8 @@ epoch, proof,
|
|
|
78
80
|
* rewrite.
|
|
79
81
|
*/
|
|
80
82
|
reportDivergence = true) {
|
|
83
|
+
if (cached.snapshotDeliveryOnly === true)
|
|
84
|
+
return TtscGenerationProof.sharesPass(cached, file, epoch);
|
|
81
85
|
if (!nativeInputPredicatesHold(cached, proof))
|
|
82
86
|
return false;
|
|
83
87
|
const pass = TtscGenerationProof.sharesPass(cached, file, epoch);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"matchesCachedSource.mjs","sources":["../../../../src/core/transform/validation/matchesCachedSource.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAkBA
|
|
1
|
+
{"version":3,"file":"matchesCachedSource.mjs","sources":["../../../../src/core/transform/validation/matchesCachedSource.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAkBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkDG;SACa,mBAAmB;AACjC;AACA,MAAkC;AAClC;AACA,IAAY;AACZ;AACA,MAAc;AACd;AACA,KAAyB,EACzB,KAAuC;AACvC;;;AAGG;AACH,gBAAgB,GAAG,IAAI,EAAA;AAEvB,IAAA,IAAI,MAAM,CAAC,oBAAoB,KAAK,IAAI;QACtC,OAAO,mBAAmB,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AAE5D,IAAA,IAAI,CAAC,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC;AAAE,QAAA,OAAO,KAAK;AAC3D,IAAA,MAAM,IAAI,GAAG,mBAAmB,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AAChE,IAAA,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,IAAI,CAAC,IAAI;AAAE,QAAA,OAAO,KAAK;IAC5D,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;AAC7D,IAAA,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC;IACrE,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC;IAClD,MAAM,QAAQ,GACZ,MAAM,CAAC,YAAY,GAAG,QAAQ,CAAC;AAC/B,SAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU;AAClE,cAAE,MAAM,CAAC,WAAW,CAAC,UAAU;cAC7B,SAAS,CAAC;AACd,QAAA,MAAM,CAAC,mBAAmB,GAAG,QAAQ,CAAC;IACxC,IACE,QAAQ,KAAK,SAAS;AACtB,QAAA,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAChC,CAAC,sBAAsB,CACrB,IAAI,EACJ,MAAM,CAAC,gBAAgB,EACvB,KAAK,EACL,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CACzC,EACD;AACA,QAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;QACxC,MAAM,OAAO,IAAI,KAAK,CAAC,WAAW,KAAK,sBAAsB,CAC3D,KAAK,EACL,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CACrE,CACF,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;;;AAG1B,YAAA,IAAI,kCAAkC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;AACrD,gBAAA,OAAO,IAAI;YACb;;;;;AAKA,YAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,YAAA,OAAO,4BAA4B,CAAC,MAAM,EAAE,KAAK,CAAC;QACpD;IACF;AACA,IAAA,IAAI,QAAQ,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE;;;;;;QAMjC,IACE,QAAQ,KAAK,SAAS;AACtB,YAAA,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,QAAQ,EACtE;AACA,YAAA,OAAO,KAAK;QACd;AACA,QAAA,IAAI,gBAAgB;AAAE,YAAA,uBAAuB,CAAC,MAAM,EAAE,IAAI,CAAC;IAC7D;AACA,IAAA,IAAI,IAAI;AAAE,QAAA,OAAO,IAAI;IACrB,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,uBAAuB,KAAK,IAAI,EAAE;AAClE,QAAA,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,EAAE;;;;;;;AAOlC,YAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;YACD,IAAI,CAAC,4BAA4B,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;AAChD,gBAAA,OAAO,KAAK;YACd;AACA,YAAA,MAAM,CAAC,aAAa,GAAG,KAAK;AAC5B,YAAA,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE;AAC3B,YAAA,OAAO,IAAI;QACb;QACA,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;AACtC,YAAA,OAAO,IAAI;QACb;IACF;AACA,IAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,IAAA,IACE,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;AAChC,QAAA,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QACjC,MAAM,CAAC,uBAAuB,KAAK,IAAI;QACvC,MAAM,CAAC,kBAAkB,KAAK,SAAS;QACvC,MAAM,CAAC,sBAAsB,KAAK,SAAS;AAC3C,QAAA,MAAM,CAAC,wBAAwB,KAAK,SAAS,EAC7C;QACA,MAAM,MAAM,GAAG,6BAA6B,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AACjE,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,MAAM;QACf;;;;IAIF;AACA,IAAA,OAAO,4BAA4B,CAAC,MAAM,EAAE,KAAK,CAAC;AACpD;;;;"}
|
|
@@ -23,7 +23,7 @@ import type { TtscWatchInput } from "./TtscWatchInput.cjs";
|
|
|
23
23
|
* @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.
|
|
24
24
|
* @evidence contracts/common.md#meaningful-documentation Native prose describes generation evidence and spelling ownership, followed by separated acknowledgment tags under documentation guidance.
|
|
25
25
|
* @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.
|
|
26
|
-
* @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.
|
|
26
|
+
* @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.
|
|
27
27
|
* @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.
|
|
28
28
|
* @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.
|
|
29
29
|
*/
|
|
@@ -23,7 +23,7 @@ import type { TtscWatchInput } from "./TtscWatchInput.mjs";
|
|
|
23
23
|
* @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.
|
|
24
24
|
* @evidence contracts/common.md#meaningful-documentation Native prose describes generation evidence and spelling ownership, followed by separated acknowledgment tags under documentation guidance.
|
|
25
25
|
* @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.
|
|
26
|
-
* @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.
|
|
26
|
+
* @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.
|
|
27
27
|
* @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.
|
|
28
28
|
* @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.
|
|
29
29
|
*/
|
|
@@ -23,7 +23,7 @@ import type { TtscWatchInput } from "./TtscWatchInput";
|
|
|
23
23
|
* @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.
|
|
24
24
|
* @evidence contracts/common.md#meaningful-documentation Native prose describes generation evidence and spelling ownership, followed by separated acknowledgment tags under documentation guidance.
|
|
25
25
|
* @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.
|
|
26
|
-
* @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.
|
|
26
|
+
* @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.
|
|
27
27
|
* @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.
|
|
28
28
|
* @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.
|
|
29
29
|
*/
|
|
@@ -2,6 +2,7 @@
|
|
|
2
2
|
|
|
3
3
|
var path = require('node:path');
|
|
4
4
|
var derivationIdentity = require('../envelope/derivationIdentity.js');
|
|
5
|
+
var envelopeGraphIndexes = require('../envelope/envelopeGraphIndexes.js');
|
|
5
6
|
var selectPluginSourceInputs = require('../envelope/selectPluginSourceInputs.js');
|
|
6
7
|
var toProjectKey = require('../project/toProjectKey.js');
|
|
7
8
|
var MISSING_INPUT_STATE = require('../validation/MISSING_INPUT_STATE.js');
|
|
@@ -28,7 +29,7 @@ var MISSING_INPUT_STATE = require('../validation/MISSING_INPUT_STATE.js');
|
|
|
28
29
|
* @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.
|
|
29
30
|
* @evidence contracts/common.md#meaningful-documentation Native prose describes generation evidence and spelling ownership, followed by separated acknowledgment tags under documentation guidance.
|
|
30
31
|
* @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.
|
|
31
|
-
* @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.
|
|
32
|
+
* @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.
|
|
32
33
|
* @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.
|
|
33
34
|
* @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.
|
|
34
35
|
*/
|
|
@@ -49,7 +50,10 @@ function evidencedWatchInput(cached, state, input, spell) {
|
|
|
49
50
|
},
|
|
50
51
|
};
|
|
51
52
|
}
|
|
52
|
-
const observation = cached.
|
|
53
|
+
const observation = cached.snapshotDeliveryOnly === true
|
|
54
|
+
? (envelopeGraphIndexes.envelopeGraphIndexes(state, cached).inputObservations.get(spelling) ??
|
|
55
|
+
cached.externalInputObservations?.[spelling])
|
|
56
|
+
: cached.externalInputObservations?.[spelling];
|
|
53
57
|
const missing = observation?.fileExists === false ||
|
|
54
58
|
state.graph?.inputProofs.get(spelling)?.hash === null ||
|
|
55
59
|
external[identity] === MISSING_INPUT_STATE.MISSING_INPUT_STATE;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"evidencedWatchInput.js","sources":["../../../../src/core/transform/watch/evidencedWatchInput.ts"],"sourcesContent":[null],"names":["derivationIdentity","selectPluginSourceInputs","MISSING_INPUT_STATE","toProjectKey"],"mappings":"
|
|
1
|
+
{"version":3,"file":"evidencedWatchInput.js","sources":["../../../../src/core/transform/watch/evidencedWatchInput.ts"],"sourcesContent":[null],"names":["derivationIdentity","selectPluginSourceInputs","envelopeGraphIndexes","MISSING_INPUT_STATE","toProjectKey"],"mappings":";;;;;;;;;AAYA;;;;;;;;;;;;;;;;;;;;;;;;;AAyBG;AACG,SAAU,mBAAmB,CACjC,MAAkC,EAClC,KAA6B,EAC7B,KAAa,EACb,KAAgC,EAAA;AAEhC,IAAA,MAAM,QAAQ,GAAG,MAAM,CAAC,mBAAmB,IAAI,EAAE;IACjD,MAAM,QAAQ,GAAGA,qCAAkB,CAAC,KAAK,EAAE,KAAK,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;;;AAGpC,IAAA,MAAM,MAAM,GAAGC,iDAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;AACpE,IAAA,IAAI,MAAM,KAAK,SAAS,EAAE;QACxB,OAAO;AACL,YAAA,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;AAClB,YAAA,QAAQ,EAAE;gBACR,QAAQ;AACR,gBAAA,OAAO,EAAE,KAAK;AACd,gBAAA,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE;AACjC,aAAA;SACF;IACH;AACA,IAAA,MAAM,WAAW,GACf,MAAM,CAAC,oBAAoB,KAAK;AAC9B,WAAGC,yCAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;AACpE,YAAA,MAAM,CAAC,yBAAyB,GAAG,QAAQ,CAAC;UAC5C,MAAM,CAAC,yBAAyB,GAAG,QAAQ,CAAC;AAClD,IAAA,MAAM,OAAO,GACX,WAAW,EAAE,UAAU,KAAK,KAAK;AACjC,QAAA,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,KAAK,IAAI;AACrD,QAAA,QAAQ,CAAC,QAAQ,CAAC,KAAKC,uCAAmB;AAC5C,IAAA,MAAM,UAAU,GAAGC,yBAAY,CAC7B,MAAM,CAAC,WAAW,EAClB,KAAK,EACL,KAAK,CAAC,eAAe,CACtB;AACD,IAAA,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ;AAC1E,UAAE,QAAQ,CAAC,QAAQ;UACjB,SAAS;AACb,IAAA,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACtD,MAAM,CAAC,WAAW,EAClB,UAAU;AAEV,UAAE,MAAM,CAAC,WAAW,CAAC,UAAU;UAC7B,SAAS;AACb,IAAA,MAAM,cAAc,GAAG,MAAM,CAAC,sBAAsB,IAAI,EAAE;AAC1D,IAAA,MAAM,aAAa,GACjB,WAAW,KAAK;AACd,UAAE,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW;UAClC,YAAY,KAAK,SAAS;YACxB,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,cAAc,EAAE,QAAQ;AAC/D,cAAE;AACE,gBAAA,KAAK,EAAE,OAAO;AACd,gBAAA,IAAI,EAAE,YAAY;AAClB,gBAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,IAAI,IAAI;AAC3C;cACD,YAAY,KAAK;kBACf,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY;kBACnC,WAAW,KAAK;sBACd,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW;sBAClC,SAAS;IACrB,OAAO;AACL,QAAA,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;AAClB,QAAA,QAAQ,EAAE;YACR,QAAQ;YACR,OAAO;AACP,YAAA,IAAI,aAAa,KAAK,SAAS,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;AAChE,YAAA,WAAW,EACT,WAAW,EAAE,UAAU,KAAK;AAC1B,kBAAE;AACF,kBAAE;AACA,sBAAE;AACF,sBAAE,SAAS;AAClB,SAAA;KACF;AACH;;;;"}
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import path from 'node:path';
|
|
2
2
|
import { derivationIdentity } from '../envelope/derivationIdentity.mjs';
|
|
3
|
+
import { envelopeGraphIndexes } from '../envelope/envelopeGraphIndexes.mjs';
|
|
3
4
|
import { selectPluginSourceInputs } from '../envelope/selectPluginSourceInputs.mjs';
|
|
4
5
|
import { toProjectKey } from '../project/toProjectKey.mjs';
|
|
5
6
|
import { MISSING_INPUT_STATE } from '../validation/MISSING_INPUT_STATE.mjs';
|
|
@@ -26,7 +27,7 @@ import { MISSING_INPUT_STATE } from '../validation/MISSING_INPUT_STATE.mjs';
|
|
|
26
27
|
* @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.
|
|
27
28
|
* @evidence contracts/common.md#meaningful-documentation Native prose describes generation evidence and spelling ownership, followed by separated acknowledgment tags under documentation guidance.
|
|
28
29
|
* @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.
|
|
29
|
-
* @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.
|
|
30
|
+
* @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.
|
|
30
31
|
* @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.
|
|
31
32
|
* @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.
|
|
32
33
|
*/
|
|
@@ -47,7 +48,10 @@ function evidencedWatchInput(cached, state, input, spell) {
|
|
|
47
48
|
},
|
|
48
49
|
};
|
|
49
50
|
}
|
|
50
|
-
const observation = cached.
|
|
51
|
+
const observation = cached.snapshotDeliveryOnly === true
|
|
52
|
+
? (envelopeGraphIndexes(state, cached).inputObservations.get(spelling) ??
|
|
53
|
+
cached.externalInputObservations?.[spelling])
|
|
54
|
+
: cached.externalInputObservations?.[spelling];
|
|
51
55
|
const missing = observation?.fileExists === false ||
|
|
52
56
|
state.graph?.inputProofs.get(spelling)?.hash === null ||
|
|
53
57
|
external[identity] === MISSING_INPUT_STATE;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"evidencedWatchInput.mjs","sources":["../../../../src/core/transform/watch/evidencedWatchInput.ts"],"sourcesContent":[null],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"evidencedWatchInput.mjs","sources":["../../../../src/core/transform/watch/evidencedWatchInput.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;AAYA;;;;;;;;;;;;;;;;;;;;;;;;;AAyBG;AACG,SAAU,mBAAmB,CACjC,MAAkC,EAClC,KAA6B,EAC7B,KAAa,EACb,KAAgC,EAAA;AAEhC,IAAA,MAAM,QAAQ,GAAG,MAAM,CAAC,mBAAmB,IAAI,EAAE;IACjD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;;;AAGpC,IAAA,MAAM,MAAM,GAAG,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;AACpE,IAAA,IAAI,MAAM,KAAK,SAAS,EAAE;QACxB,OAAO;AACL,YAAA,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;AAClB,YAAA,QAAQ,EAAE;gBACR,QAAQ;AACR,gBAAA,OAAO,EAAE,KAAK;AACd,gBAAA,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE;AACjC,aAAA;SACF;IACH;AACA,IAAA,MAAM,WAAW,GACf,MAAM,CAAC,oBAAoB,KAAK;AAC9B,WAAG,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;AACpE,YAAA,MAAM,CAAC,yBAAyB,GAAG,QAAQ,CAAC;UAC5C,MAAM,CAAC,yBAAyB,GAAG,QAAQ,CAAC;AAClD,IAAA,MAAM,OAAO,GACX,WAAW,EAAE,UAAU,KAAK,KAAK;AACjC,QAAA,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,KAAK,IAAI;AACrD,QAAA,QAAQ,CAAC,QAAQ,CAAC,KAAK,mBAAmB;AAC5C,IAAA,MAAM,UAAU,GAAG,YAAY,CAC7B,MAAM,CAAC,WAAW,EAClB,KAAK,EACL,KAAK,CAAC,eAAe,CACtB;AACD,IAAA,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ;AAC1E,UAAE,QAAQ,CAAC,QAAQ;UACjB,SAAS;AACb,IAAA,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACtD,MAAM,CAAC,WAAW,EAClB,UAAU;AAEV,UAAE,MAAM,CAAC,WAAW,CAAC,UAAU;UAC7B,SAAS;AACb,IAAA,MAAM,cAAc,GAAG,MAAM,CAAC,sBAAsB,IAAI,EAAE;AAC1D,IAAA,MAAM,aAAa,GACjB,WAAW,KAAK;AACd,UAAE,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW;UAClC,YAAY,KAAK,SAAS;YACxB,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,cAAc,EAAE,QAAQ;AAC/D,cAAE;AACE,gBAAA,KAAK,EAAE,OAAO;AACd,gBAAA,IAAI,EAAE,YAAY;AAClB,gBAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,IAAI,IAAI;AAC3C;cACD,YAAY,KAAK;kBACf,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY;kBACnC,WAAW,KAAK;sBACd,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW;sBAClC,SAAS;IACrB,OAAO;AACL,QAAA,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;AAClB,QAAA,QAAQ,EAAE;YACR,QAAQ;YACR,OAAO;AACP,YAAA,IAAI,aAAa,KAAK,SAAS,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;AAChE,YAAA,WAAW,EACT,WAAW,EAAE,UAAU,KAAK;AAC1B,kBAAE;AACF,kBAAE;AACA,sBAAE;AACF,sBAAE,SAAS;AAClB,SAAA;KACF;AACH;;;;"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@ttsc/unplugin",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.36.1",
|
|
4
4
|
"description": "Bundler adapters for ttsc plugins.",
|
|
5
5
|
"main": "lib/index.js",
|
|
6
6
|
"module": "lib/index.mjs",
|
|
@@ -202,7 +202,7 @@
|
|
|
202
202
|
"fsevents": "^2.3.3"
|
|
203
203
|
},
|
|
204
204
|
"peerDependencies": {
|
|
205
|
-
"ttsc": "^0.
|
|
205
|
+
"ttsc": "^0.36.1"
|
|
206
206
|
},
|
|
207
207
|
"devDependencies": {
|
|
208
208
|
"@wrtnlabs/evidence": "^0.5.1",
|
|
@@ -218,7 +218,7 @@
|
|
|
218
218
|
"typescript": "^7.0.2",
|
|
219
219
|
"vite": "^7.3.5",
|
|
220
220
|
"vite8": "npm:vite@^8.3.4",
|
|
221
|
-
"ttsc": "0.
|
|
221
|
+
"ttsc": "0.36.1"
|
|
222
222
|
},
|
|
223
223
|
"repository": {
|
|
224
224
|
"type": "git",
|
|
@@ -2,6 +2,7 @@ import type { ITtscCompilerTransformation } from "ttsc";
|
|
|
2
2
|
|
|
3
3
|
import type { ITtscProjectMembershipPolicy } from "../../tsconfig/ITtscProjectMembershipPolicy";
|
|
4
4
|
import type { TtscCompilerMembershipHint } from "../generation/TtscCompilerMembershipHint";
|
|
5
|
+
import type { TtscGenerationProofFailure } from "../generation/TtscGenerationProofFailure";
|
|
5
6
|
import type { TtscProjectDirectorySnapshot } from "../project/TtscProjectDirectorySnapshot";
|
|
6
7
|
import type { TtscProjectMutationTracker } from "../tracker/TtscProjectMutationTracker";
|
|
7
8
|
import type { TtscCompilerArgumentsWitness } from "../tsconfig/TtscCompilerArgumentsWitness";
|
|
@@ -19,6 +20,8 @@ import type { TtscHostInputValidation } from "../validation/TtscHostInputValidat
|
|
|
19
20
|
* generation before later first deliveries may share that proof. Deliveries
|
|
20
21
|
* reaching source-baseline comparison still cost a text hash and may require
|
|
21
22
|
* disk comparison when they diverge; unrelated modules can return before it.
|
|
23
|
+
* Captured native snapshots may instead retain original-pass delivery only,
|
|
24
|
+
* without claiming the edited disk still matches or granting future reuse.
|
|
22
25
|
* Persistent graph-bearing requests may use derived-input validation only with
|
|
23
26
|
* qualified membership and universal authority; unavailable narrow proof uses
|
|
24
27
|
* the complete recorded snapshot.
|
|
@@ -44,6 +47,27 @@ import type { TtscHostInputValidation } from "../validation/TtscHostInputValidat
|
|
|
44
47
|
* retained state at runtime.
|
|
45
48
|
*/
|
|
46
49
|
export interface TtscCachedProjectTransform {
|
|
50
|
+
/**
|
|
51
|
+
* Coherent captured output whose disk freshness was lost; never shared or
|
|
52
|
+
* persisted.
|
|
53
|
+
*/
|
|
54
|
+
snapshotDeliveryOnly?: boolean;
|
|
55
|
+
|
|
56
|
+
/**
|
|
57
|
+
* Borrowed generation-owned classifier, absent without a captured native
|
|
58
|
+
* view.
|
|
59
|
+
*
|
|
60
|
+
* @evidence contracts/common.md#principled-implementation The sticky compatibility verdict accounts for every occurrence before diagnostic truncation; after its first refusal no later occurrence can restore delivery authority.
|
|
61
|
+
* @evidence contracts/common.md#clear-and-simple-design Collectors borrow one generation classifier rather than rebuilding its recorded-input index.
|
|
62
|
+
* @evidence contracts/common.md#prohibited-implementation-shortcuts The callback records compatibility only; callers still require complete producer proof and never infer cache freshness from it.
|
|
63
|
+
* @evidence contracts/common.md#meaningful-documentation The member states optionality and ownership, while the generation classifier documents actual path and kind admission.
|
|
64
|
+
* @evidence contracts/portability.md#os-neutral-implementation The callback receives native lexical witness paths and delegates their interpretation to the generation's classifier.
|
|
65
|
+
* @evidenceExclude contracts/performance.md#efficient-algorithms This signature declares no runtime computation; the classifier implementation owns its index and lookup costs.
|
|
66
|
+
* @evidenceExclude contracts/performance.md#reuse-equivalent-work This signature declares no memo; generation capture owns sharing the callback.
|
|
67
|
+
* @evidenceExclude contracts/performance.md#bound-retention-and-release-resources This signature acquires no resource; generation capture owns the borrowed closure's lifetime.
|
|
68
|
+
*/
|
|
69
|
+
snapshotFailureClassifier?: (failure: TtscGenerationProofFailure) => boolean;
|
|
70
|
+
|
|
47
71
|
/** Native settings learned under this capture's validated config-policy basis. */
|
|
48
72
|
compilerMembership?: TtscCompilerMembershipHint;
|
|
49
73
|
|