@ttsc/unplugin 0.35.0 → 0.36.0
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
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mergeGenerationProofFailures.mjs","sources":["../../../../src/core/transform/generation/mergeGenerationProofFailures.ts"],"sourcesContent":[null],"names":[],"mappings":";;AAGA;;;;;;;;;;;;;;;;;;;;;;AAsBG;AACG,SAAU,4BAA4B,CAC1C,MAAmC,EACnC,MAAmC,EAAA;AAEnC,IAAA,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE;AACpC,QAAA,4BAA4B,CAAC,MAAM,EAAE,OAAO,CAAC;IAC/C;AACA,IAAA,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CACvB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAChC;AACH;;;;"}
|
|
1
|
+
{"version":3,"file":"mergeGenerationProofFailures.mjs","sources":["../../../../src/core/transform/generation/mergeGenerationProofFailures.ts"],"sourcesContent":[null],"names":[],"mappings":";;AAGA;;;;;;;;;;;;;;;;;;;;;;AAsBG;AACG,SAAU,4BAA4B,CAC1C,MAAmC,EACnC,MAAmC,EAAA;AAEnC,IAAA,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE;AACpC,QAAA,4BAA4B,CAAC,MAAM,EAAE,OAAO,CAAC;IAC/C;AACA,IAAA,IACE,MAAM,CAAC,yBAAyB,KAAK,SAAS;AAC9C,SAAC,MAAM,CAAC,kBAAkB,KAAK,KAAK;AAClC,aAAC,MAAM,CAAC,OAAO,KAAK,CAAC;AACnB,iBAAC,MAAM,CAAC,kBAAkB,KAAK,IAAI;AACjC,oBAAA,MAAM,CAAC,yBAAyB;AAC9B,wBAAA,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC;AAE3C,QAAA,MAAM,CAAC,kBAAkB,GAAG,KAAK;AACnC,IAAA,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CACvB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAChC;AACH;;;;"}
|
|
@@ -6,13 +6,13 @@ import type { TtscGenerationProofFailures } from "./TtscGenerationProofFailures.
|
|
|
6
6
|
* full, new occurrences increment a saturated omitted count; dropped identities
|
|
7
7
|
* are not retained, so later repetitions of a dropped witness count again.
|
|
8
8
|
*
|
|
9
|
-
* @evidence contracts/common.md#principled-implementation A JSON tuple of domain, kind, path and detail defines witness identity, seen deduplicates retained entries and the entry bound plus saturated omitted counter represent evidence loss explicitly.
|
|
9
|
+
* @evidence contracts/common.md#principled-implementation A JSON tuple of domain, kind, path and detail defines witness identity, seen deduplicates retained entries and the entry bound plus saturated omitted counter represent evidence loss explicitly. The optional generation classifier records complete freshness compatibility before diagnostic truncation.
|
|
10
10
|
* @evidence contracts/common.md#clear-and-simple-design One recorder owns identity, retained bounds and omission accounting so merge and capture callers share the same aggregate policy.
|
|
11
11
|
* @evidence contracts/common.md#prohibited-implementation-shortcuts The eight-entry bound limits diagnostic storage rather than changing the proof verdict; omitted remains visible and no discarded witness is certified irrelevant.
|
|
12
12
|
* @evidence contracts/common.md#meaningful-documentation Native paragraphs state retained duplicate handling and the dropped-occurrence limitation, while the internal comment explains why seen shares the storage bound.
|
|
13
|
-
* @evidence contracts/performance.md#efficient-algorithms Identity encoding costs the witness text length and Set membership is direct; insertion touches one entry without rescanning the aggregate.
|
|
13
|
+
* @evidence contracts/performance.md#efficient-algorithms Identity encoding costs the witness text length and Set membership is direct; insertion touches one entry without rescanning the aggregate. Optional classification adds the generation classifier's lexical path lookup for each occurrence.
|
|
14
14
|
* @evidence contracts/performance.md#reuse-equivalent-work Retained seen keys prevent repeated insertion of the same printable witness; dropped identities intentionally are not shared because doing so would require unbounded storage.
|
|
15
|
-
* @evidence contracts/performance.md#bound-retention-and-release-resources Entries and seen retain at most eight witnesses/keys per attempt, and omitted saturates at MAX_SAFE_INTEGER; text bytes depend on producer witness lengths rather than a claimed byte-size bound.
|
|
16
|
-
* @
|
|
15
|
+
* @evidence contracts/performance.md#bound-retention-and-release-resources Entries and seen retain at most eight witnesses/keys per attempt, and omitted saturates at MAX_SAFE_INTEGER; text bytes depend on producer witness lengths rather than a claimed byte-size bound. The optional borrowed classifier keeps its generation input indexes reachable while either the generation or aggregate retains it; those indexes are not subject to the diagnostic witness bound.
|
|
16
|
+
* @evidence contracts/portability.md#os-neutral-implementation Witness identity preserves supplied strings; optional freshness classification delegates native lexical path resolution to the generation classifier.
|
|
17
17
|
*/
|
|
18
18
|
export declare function recordGenerationProofFailure(failures: TtscGenerationProofFailures, failure: TtscGenerationProofFailure): void;
|
|
@@ -6,13 +6,13 @@ import type { TtscGenerationProofFailures } from "./TtscGenerationProofFailures.
|
|
|
6
6
|
* full, new occurrences increment a saturated omitted count; dropped identities
|
|
7
7
|
* are not retained, so later repetitions of a dropped witness count again.
|
|
8
8
|
*
|
|
9
|
-
* @evidence contracts/common.md#principled-implementation A JSON tuple of domain, kind, path and detail defines witness identity, seen deduplicates retained entries and the entry bound plus saturated omitted counter represent evidence loss explicitly.
|
|
9
|
+
* @evidence contracts/common.md#principled-implementation A JSON tuple of domain, kind, path and detail defines witness identity, seen deduplicates retained entries and the entry bound plus saturated omitted counter represent evidence loss explicitly. The optional generation classifier records complete freshness compatibility before diagnostic truncation.
|
|
10
10
|
* @evidence contracts/common.md#clear-and-simple-design One recorder owns identity, retained bounds and omission accounting so merge and capture callers share the same aggregate policy.
|
|
11
11
|
* @evidence contracts/common.md#prohibited-implementation-shortcuts The eight-entry bound limits diagnostic storage rather than changing the proof verdict; omitted remains visible and no discarded witness is certified irrelevant.
|
|
12
12
|
* @evidence contracts/common.md#meaningful-documentation Native paragraphs state retained duplicate handling and the dropped-occurrence limitation, while the internal comment explains why seen shares the storage bound.
|
|
13
|
-
* @evidence contracts/performance.md#efficient-algorithms Identity encoding costs the witness text length and Set membership is direct; insertion touches one entry without rescanning the aggregate.
|
|
13
|
+
* @evidence contracts/performance.md#efficient-algorithms Identity encoding costs the witness text length and Set membership is direct; insertion touches one entry without rescanning the aggregate. Optional classification adds the generation classifier's lexical path lookup for each occurrence.
|
|
14
14
|
* @evidence contracts/performance.md#reuse-equivalent-work Retained seen keys prevent repeated insertion of the same printable witness; dropped identities intentionally are not shared because doing so would require unbounded storage.
|
|
15
|
-
* @evidence contracts/performance.md#bound-retention-and-release-resources Entries and seen retain at most eight witnesses/keys per attempt, and omitted saturates at MAX_SAFE_INTEGER; text bytes depend on producer witness lengths rather than a claimed byte-size bound.
|
|
16
|
-
* @
|
|
15
|
+
* @evidence contracts/performance.md#bound-retention-and-release-resources Entries and seen retain at most eight witnesses/keys per attempt, and omitted saturates at MAX_SAFE_INTEGER; text bytes depend on producer witness lengths rather than a claimed byte-size bound. The optional borrowed classifier keeps its generation input indexes reachable while either the generation or aggregate retains it; those indexes are not subject to the diagnostic witness bound.
|
|
16
|
+
* @evidence contracts/portability.md#os-neutral-implementation Witness identity preserves supplied strings; optional freshness classification delegates native lexical path resolution to the generation classifier.
|
|
17
17
|
*/
|
|
18
18
|
export declare function recordGenerationProofFailure(failures: TtscGenerationProofFailures, failure: TtscGenerationProofFailure): void;
|
|
@@ -6,13 +6,13 @@ import type { TtscGenerationProofFailures } from "./TtscGenerationProofFailures"
|
|
|
6
6
|
* full, new occurrences increment a saturated omitted count; dropped identities
|
|
7
7
|
* are not retained, so later repetitions of a dropped witness count again.
|
|
8
8
|
*
|
|
9
|
-
* @evidence contracts/common.md#principled-implementation A JSON tuple of domain, kind, path and detail defines witness identity, seen deduplicates retained entries and the entry bound plus saturated omitted counter represent evidence loss explicitly.
|
|
9
|
+
* @evidence contracts/common.md#principled-implementation A JSON tuple of domain, kind, path and detail defines witness identity, seen deduplicates retained entries and the entry bound plus saturated omitted counter represent evidence loss explicitly. The optional generation classifier records complete freshness compatibility before diagnostic truncation.
|
|
10
10
|
* @evidence contracts/common.md#clear-and-simple-design One recorder owns identity, retained bounds and omission accounting so merge and capture callers share the same aggregate policy.
|
|
11
11
|
* @evidence contracts/common.md#prohibited-implementation-shortcuts The eight-entry bound limits diagnostic storage rather than changing the proof verdict; omitted remains visible and no discarded witness is certified irrelevant.
|
|
12
12
|
* @evidence contracts/common.md#meaningful-documentation Native paragraphs state retained duplicate handling and the dropped-occurrence limitation, while the internal comment explains why seen shares the storage bound.
|
|
13
|
-
* @evidence contracts/performance.md#efficient-algorithms Identity encoding costs the witness text length and Set membership is direct; insertion touches one entry without rescanning the aggregate.
|
|
13
|
+
* @evidence contracts/performance.md#efficient-algorithms Identity encoding costs the witness text length and Set membership is direct; insertion touches one entry without rescanning the aggregate. Optional classification adds the generation classifier's lexical path lookup for each occurrence.
|
|
14
14
|
* @evidence contracts/performance.md#reuse-equivalent-work Retained seen keys prevent repeated insertion of the same printable witness; dropped identities intentionally are not shared because doing so would require unbounded storage.
|
|
15
|
-
* @evidence contracts/performance.md#bound-retention-and-release-resources Entries and seen retain at most eight witnesses/keys per attempt, and omitted saturates at MAX_SAFE_INTEGER; text bytes depend on producer witness lengths rather than a claimed byte-size bound.
|
|
16
|
-
* @
|
|
15
|
+
* @evidence contracts/performance.md#bound-retention-and-release-resources Entries and seen retain at most eight witnesses/keys per attempt, and omitted saturates at MAX_SAFE_INTEGER; text bytes depend on producer witness lengths rather than a claimed byte-size bound. The optional borrowed classifier keeps its generation input indexes reachable while either the generation or aggregate retains it; those indexes are not subject to the diagnostic witness bound.
|
|
16
|
+
* @evidence contracts/portability.md#os-neutral-implementation Witness identity preserves supplied strings; optional freshness classification delegates native lexical path resolution to the generation classifier.
|
|
17
17
|
*/
|
|
18
18
|
export declare function recordGenerationProofFailure(failures: TtscGenerationProofFailures, failure: TtscGenerationProofFailure): void;
|
|
@@ -8,16 +8,20 @@ const MAX_GENERATION_PROOF_FAILURES = 8;
|
|
|
8
8
|
* full, new occurrences increment a saturated omitted count; dropped identities
|
|
9
9
|
* are not retained, so later repetitions of a dropped witness count again.
|
|
10
10
|
*
|
|
11
|
-
* @evidence contracts/common.md#principled-implementation A JSON tuple of domain, kind, path and detail defines witness identity, seen deduplicates retained entries and the entry bound plus saturated omitted counter represent evidence loss explicitly.
|
|
11
|
+
* @evidence contracts/common.md#principled-implementation A JSON tuple of domain, kind, path and detail defines witness identity, seen deduplicates retained entries and the entry bound plus saturated omitted counter represent evidence loss explicitly. The optional generation classifier records complete freshness compatibility before diagnostic truncation.
|
|
12
12
|
* @evidence contracts/common.md#clear-and-simple-design One recorder owns identity, retained bounds and omission accounting so merge and capture callers share the same aggregate policy.
|
|
13
13
|
* @evidence contracts/common.md#prohibited-implementation-shortcuts The eight-entry bound limits diagnostic storage rather than changing the proof verdict; omitted remains visible and no discarded witness is certified irrelevant.
|
|
14
14
|
* @evidence contracts/common.md#meaningful-documentation Native paragraphs state retained duplicate handling and the dropped-occurrence limitation, while the internal comment explains why seen shares the storage bound.
|
|
15
|
-
* @evidence contracts/performance.md#efficient-algorithms Identity encoding costs the witness text length and Set membership is direct; insertion touches one entry without rescanning the aggregate.
|
|
15
|
+
* @evidence contracts/performance.md#efficient-algorithms Identity encoding costs the witness text length and Set membership is direct; insertion touches one entry without rescanning the aggregate. Optional classification adds the generation classifier's lexical path lookup for each occurrence.
|
|
16
16
|
* @evidence contracts/performance.md#reuse-equivalent-work Retained seen keys prevent repeated insertion of the same printable witness; dropped identities intentionally are not shared because doing so would require unbounded storage.
|
|
17
|
-
* @evidence contracts/performance.md#bound-retention-and-release-resources Entries and seen retain at most eight witnesses/keys per attempt, and omitted saturates at MAX_SAFE_INTEGER; text bytes depend on producer witness lengths rather than a claimed byte-size bound.
|
|
18
|
-
* @
|
|
17
|
+
* @evidence contracts/performance.md#bound-retention-and-release-resources Entries and seen retain at most eight witnesses/keys per attempt, and omitted saturates at MAX_SAFE_INTEGER; text bytes depend on producer witness lengths rather than a claimed byte-size bound. The optional borrowed classifier keeps its generation input indexes reachable while either the generation or aggregate retains it; those indexes are not subject to the diagnostic witness bound.
|
|
18
|
+
* @evidence contracts/portability.md#os-neutral-implementation Witness identity preserves supplied strings; optional freshness classification delegates native lexical path resolution to the generation classifier.
|
|
19
19
|
*/
|
|
20
20
|
function recordGenerationProofFailure(failures, failure) {
|
|
21
|
+
if (failures.snapshotFailureClassifier !== undefined)
|
|
22
|
+
failures.snapshotCompatible =
|
|
23
|
+
failures.snapshotCompatible === true &&
|
|
24
|
+
failures.snapshotFailureClassifier(failure);
|
|
21
25
|
const key = JSON.stringify([
|
|
22
26
|
failure.domain,
|
|
23
27
|
failure.kind,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"recordGenerationProofFailure.js","sources":["../../../../src/core/transform/generation/recordGenerationProofFailure.ts"],"sourcesContent":[null],"names":[],"mappings":";;AAGA;AACA,MAAM,6BAA6B,GAAG,CAAC;AAEvC;;;;;;;;;;;;;;AAcG;AACG,SAAU,4BAA4B,CAC1C,QAAqC,EACrC,OAAmC,EAAA;AAEnC,IAAA,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;AACzB,QAAA,OAAO,CAAC,MAAM;AACd,QAAA,OAAO,CAAC,IAAI;AACZ,QAAA,OAAO,CAAC,IAAI;AACZ,QAAA,OAAO,CAAC,MAAM;AACf,KAAA,CAAC;AACF,IAAA,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE;IAC5B,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,6BAA6B,EAAE;;;AAG3D,QAAA,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACtB,QAAA,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;IAChC;SAAO;AACL,QAAA,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC;IAC5E;AACF;;;;"}
|
|
1
|
+
{"version":3,"file":"recordGenerationProofFailure.js","sources":["../../../../src/core/transform/generation/recordGenerationProofFailure.ts"],"sourcesContent":[null],"names":[],"mappings":";;AAGA;AACA,MAAM,6BAA6B,GAAG,CAAC;AAEvC;;;;;;;;;;;;;;AAcG;AACG,SAAU,4BAA4B,CAC1C,QAAqC,EACrC,OAAmC,EAAA;AAEnC,IAAA,IAAI,QAAQ,CAAC,yBAAyB,KAAK,SAAS;AAClD,QAAA,QAAQ,CAAC,kBAAkB;YACzB,QAAQ,CAAC,kBAAkB,KAAK,IAAI;AACpC,gBAAA,QAAQ,CAAC,yBAAyB,CAAC,OAAO,CAAC;AAC/C,IAAA,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;AACzB,QAAA,OAAO,CAAC,MAAM;AACd,QAAA,OAAO,CAAC,IAAI;AACZ,QAAA,OAAO,CAAC,IAAI;AACZ,QAAA,OAAO,CAAC,MAAM;AACf,KAAA,CAAC;AACF,IAAA,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE;IAC5B,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,6BAA6B,EAAE;;;AAG3D,QAAA,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACtB,QAAA,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;IAChC;SAAO;AACL,QAAA,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC;IAC5E;AACF;;;;"}
|
|
@@ -6,16 +6,20 @@ const MAX_GENERATION_PROOF_FAILURES = 8;
|
|
|
6
6
|
* full, new occurrences increment a saturated omitted count; dropped identities
|
|
7
7
|
* are not retained, so later repetitions of a dropped witness count again.
|
|
8
8
|
*
|
|
9
|
-
* @evidence contracts/common.md#principled-implementation A JSON tuple of domain, kind, path and detail defines witness identity, seen deduplicates retained entries and the entry bound plus saturated omitted counter represent evidence loss explicitly.
|
|
9
|
+
* @evidence contracts/common.md#principled-implementation A JSON tuple of domain, kind, path and detail defines witness identity, seen deduplicates retained entries and the entry bound plus saturated omitted counter represent evidence loss explicitly. The optional generation classifier records complete freshness compatibility before diagnostic truncation.
|
|
10
10
|
* @evidence contracts/common.md#clear-and-simple-design One recorder owns identity, retained bounds and omission accounting so merge and capture callers share the same aggregate policy.
|
|
11
11
|
* @evidence contracts/common.md#prohibited-implementation-shortcuts The eight-entry bound limits diagnostic storage rather than changing the proof verdict; omitted remains visible and no discarded witness is certified irrelevant.
|
|
12
12
|
* @evidence contracts/common.md#meaningful-documentation Native paragraphs state retained duplicate handling and the dropped-occurrence limitation, while the internal comment explains why seen shares the storage bound.
|
|
13
|
-
* @evidence contracts/performance.md#efficient-algorithms Identity encoding costs the witness text length and Set membership is direct; insertion touches one entry without rescanning the aggregate.
|
|
13
|
+
* @evidence contracts/performance.md#efficient-algorithms Identity encoding costs the witness text length and Set membership is direct; insertion touches one entry without rescanning the aggregate. Optional classification adds the generation classifier's lexical path lookup for each occurrence.
|
|
14
14
|
* @evidence contracts/performance.md#reuse-equivalent-work Retained seen keys prevent repeated insertion of the same printable witness; dropped identities intentionally are not shared because doing so would require unbounded storage.
|
|
15
|
-
* @evidence contracts/performance.md#bound-retention-and-release-resources Entries and seen retain at most eight witnesses/keys per attempt, and omitted saturates at MAX_SAFE_INTEGER; text bytes depend on producer witness lengths rather than a claimed byte-size bound.
|
|
16
|
-
* @
|
|
15
|
+
* @evidence contracts/performance.md#bound-retention-and-release-resources Entries and seen retain at most eight witnesses/keys per attempt, and omitted saturates at MAX_SAFE_INTEGER; text bytes depend on producer witness lengths rather than a claimed byte-size bound. The optional borrowed classifier keeps its generation input indexes reachable while either the generation or aggregate retains it; those indexes are not subject to the diagnostic witness bound.
|
|
16
|
+
* @evidence contracts/portability.md#os-neutral-implementation Witness identity preserves supplied strings; optional freshness classification delegates native lexical path resolution to the generation classifier.
|
|
17
17
|
*/
|
|
18
18
|
function recordGenerationProofFailure(failures, failure) {
|
|
19
|
+
if (failures.snapshotFailureClassifier !== undefined)
|
|
20
|
+
failures.snapshotCompatible =
|
|
21
|
+
failures.snapshotCompatible === true &&
|
|
22
|
+
failures.snapshotFailureClassifier(failure);
|
|
19
23
|
const key = JSON.stringify([
|
|
20
24
|
failure.domain,
|
|
21
25
|
failure.kind,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"recordGenerationProofFailure.mjs","sources":["../../../../src/core/transform/generation/recordGenerationProofFailure.ts"],"sourcesContent":[null],"names":[],"mappings":"AAGA;AACA,MAAM,6BAA6B,GAAG,CAAC;AAEvC;;;;;;;;;;;;;;AAcG;AACG,SAAU,4BAA4B,CAC1C,QAAqC,EACrC,OAAmC,EAAA;AAEnC,IAAA,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;AACzB,QAAA,OAAO,CAAC,MAAM;AACd,QAAA,OAAO,CAAC,IAAI;AACZ,QAAA,OAAO,CAAC,IAAI;AACZ,QAAA,OAAO,CAAC,MAAM;AACf,KAAA,CAAC;AACF,IAAA,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE;IAC5B,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,6BAA6B,EAAE;;;AAG3D,QAAA,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACtB,QAAA,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;IAChC;SAAO;AACL,QAAA,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC;IAC5E;AACF;;;;"}
|
|
1
|
+
{"version":3,"file":"recordGenerationProofFailure.mjs","sources":["../../../../src/core/transform/generation/recordGenerationProofFailure.ts"],"sourcesContent":[null],"names":[],"mappings":"AAGA;AACA,MAAM,6BAA6B,GAAG,CAAC;AAEvC;;;;;;;;;;;;;;AAcG;AACG,SAAU,4BAA4B,CAC1C,QAAqC,EACrC,OAAmC,EAAA;AAEnC,IAAA,IAAI,QAAQ,CAAC,yBAAyB,KAAK,SAAS;AAClD,QAAA,QAAQ,CAAC,kBAAkB;YACzB,QAAQ,CAAC,kBAAkB,KAAK,IAAI;AACpC,gBAAA,QAAQ,CAAC,yBAAyB,CAAC,OAAO,CAAC;AAC/C,IAAA,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;AACzB,QAAA,OAAO,CAAC,MAAM;AACd,QAAA,OAAO,CAAC,IAAI;AACZ,QAAA,OAAO,CAAC,IAAI;AACZ,QAAA,OAAO,CAAC,MAAM;AACf,KAAA,CAAC;AACF,IAAA,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE;IAC5B,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,6BAA6B,EAAE;;;AAG3D,QAAA,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACtB,QAAA,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;IAChC;SAAO;AACL,QAAA,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC;IAC5E;AACF;;;;"}
|
|
@@ -4,13 +4,15 @@ import type { TtscGenerationProofFailures } from "./TtscGenerationProofFailures.
|
|
|
4
4
|
* Select how one completed capture spends the retry owner's budgets. Supplied
|
|
5
5
|
* facts describe the capture; this policy performs no capture or native proof.
|
|
6
6
|
*
|
|
7
|
-
* Coherent results
|
|
8
|
-
*
|
|
9
|
-
*
|
|
10
|
-
*
|
|
11
|
-
*
|
|
12
|
-
*
|
|
13
|
-
*
|
|
7
|
+
* Coherent results, including admitted current compiler snapshots, return
|
|
8
|
+
* first. Snapshot delivery does not spend disk-stabilization retries or grant
|
|
9
|
+
* future reuse. A local, lossless host-observation refusal can transfer an
|
|
10
|
+
* incomplete local success. TtscGenerationProof owns any sharing of its first
|
|
11
|
+
* module deliveries inside an explicit nonwatching pass; this policy grants no
|
|
12
|
+
* independent native or persistent proof. Rejected attempts spend movement only
|
|
13
|
+
* when they neither refute a publication nor solely learn facts. Two movements
|
|
14
|
+
* or four captures stop retrying, retaining a current diagnostic rather than a
|
|
15
|
+
* terminal instability verdict when its config is not refuted.
|
|
14
16
|
*
|
|
15
17
|
* The caller owns learned dependency/case carry, terminal validation, capture
|
|
16
18
|
* disposal and result transfer. Selecting terminal does not certify a baseline
|
|
@@ -51,6 +53,8 @@ export declare function selectTransformAttemptDisposition(props: {
|
|
|
51
53
|
resultType: "success" | "failure" | "exception";
|
|
52
54
|
/** Explicit config coherence; undefined retains the existing admission rule. */
|
|
53
55
|
configStateComplete?: boolean;
|
|
56
|
+
/** Current compiler snapshot authority, independent of disk/cache freshness. */
|
|
57
|
+
snapshotDeliveryOnly?: boolean;
|
|
54
58
|
/** Reusable project success proof, required explicitly for success acceptance. */
|
|
55
59
|
projectSnapshotComplete?: boolean;
|
|
56
60
|
/** Capture-window stability; diagnostic acceptance rejects explicit false. */
|
|
@@ -4,13 +4,15 @@ import type { TtscGenerationProofFailures } from "./TtscGenerationProofFailures.
|
|
|
4
4
|
* Select how one completed capture spends the retry owner's budgets. Supplied
|
|
5
5
|
* facts describe the capture; this policy performs no capture or native proof.
|
|
6
6
|
*
|
|
7
|
-
* Coherent results
|
|
8
|
-
*
|
|
9
|
-
*
|
|
10
|
-
*
|
|
11
|
-
*
|
|
12
|
-
*
|
|
13
|
-
*
|
|
7
|
+
* Coherent results, including admitted current compiler snapshots, return
|
|
8
|
+
* first. Snapshot delivery does not spend disk-stabilization retries or grant
|
|
9
|
+
* future reuse. A local, lossless host-observation refusal can transfer an
|
|
10
|
+
* incomplete local success. TtscGenerationProof owns any sharing of its first
|
|
11
|
+
* module deliveries inside an explicit nonwatching pass; this policy grants no
|
|
12
|
+
* independent native or persistent proof. Rejected attempts spend movement only
|
|
13
|
+
* when they neither refute a publication nor solely learn facts. Two movements
|
|
14
|
+
* or four captures stop retrying, retaining a current diagnostic rather than a
|
|
15
|
+
* terminal instability verdict when its config is not refuted.
|
|
14
16
|
*
|
|
15
17
|
* The caller owns learned dependency/case carry, terminal validation, capture
|
|
16
18
|
* disposal and result transfer. Selecting terminal does not certify a baseline
|
|
@@ -51,6 +53,8 @@ export declare function selectTransformAttemptDisposition(props: {
|
|
|
51
53
|
resultType: "success" | "failure" | "exception";
|
|
52
54
|
/** Explicit config coherence; undefined retains the existing admission rule. */
|
|
53
55
|
configStateComplete?: boolean;
|
|
56
|
+
/** Current compiler snapshot authority, independent of disk/cache freshness. */
|
|
57
|
+
snapshotDeliveryOnly?: boolean;
|
|
54
58
|
/** Reusable project success proof, required explicitly for success acceptance. */
|
|
55
59
|
projectSnapshotComplete?: boolean;
|
|
56
60
|
/** Capture-window stability; diagnostic acceptance rejects explicit false. */
|
|
@@ -4,13 +4,15 @@ import type { TtscGenerationProofFailures } from "./TtscGenerationProofFailures"
|
|
|
4
4
|
* Select how one completed capture spends the retry owner's budgets. Supplied
|
|
5
5
|
* facts describe the capture; this policy performs no capture or native proof.
|
|
6
6
|
*
|
|
7
|
-
* Coherent results
|
|
8
|
-
*
|
|
9
|
-
*
|
|
10
|
-
*
|
|
11
|
-
*
|
|
12
|
-
*
|
|
13
|
-
*
|
|
7
|
+
* Coherent results, including admitted current compiler snapshots, return
|
|
8
|
+
* first. Snapshot delivery does not spend disk-stabilization retries or grant
|
|
9
|
+
* future reuse. A local, lossless host-observation refusal can transfer an
|
|
10
|
+
* incomplete local success. TtscGenerationProof owns any sharing of its first
|
|
11
|
+
* module deliveries inside an explicit nonwatching pass; this policy grants no
|
|
12
|
+
* independent native or persistent proof. Rejected attempts spend movement only
|
|
13
|
+
* when they neither refute a publication nor solely learn facts. Two movements
|
|
14
|
+
* or four captures stop retrying, retaining a current diagnostic rather than a
|
|
15
|
+
* terminal instability verdict when its config is not refuted.
|
|
14
16
|
*
|
|
15
17
|
* The caller owns learned dependency/case carry, terminal validation, capture
|
|
16
18
|
* disposal and result transfer. Selecting terminal does not certify a baseline
|
|
@@ -51,6 +53,8 @@ export declare function selectTransformAttemptDisposition(props: {
|
|
|
51
53
|
resultType: "success" | "failure" | "exception";
|
|
52
54
|
/** Explicit config coherence; undefined retains the existing admission rule. */
|
|
53
55
|
configStateComplete?: boolean;
|
|
56
|
+
/** Current compiler snapshot authority, independent of disk/cache freshness. */
|
|
57
|
+
snapshotDeliveryOnly?: boolean;
|
|
54
58
|
/** Reusable project success proof, required explicitly for success acceptance. */
|
|
55
59
|
projectSnapshotComplete?: boolean;
|
|
56
60
|
/** Capture-window stability; diagnostic acceptance rejects explicit false. */
|
|
@@ -7,13 +7,15 @@ var onlyLearnedCompileFacts = require('./onlyLearnedCompileFacts.js');
|
|
|
7
7
|
* Select how one completed capture spends the retry owner's budgets. Supplied
|
|
8
8
|
* facts describe the capture; this policy performs no capture or native proof.
|
|
9
9
|
*
|
|
10
|
-
* Coherent results
|
|
11
|
-
*
|
|
12
|
-
*
|
|
13
|
-
*
|
|
14
|
-
*
|
|
15
|
-
*
|
|
16
|
-
*
|
|
10
|
+
* Coherent results, including admitted current compiler snapshots, return
|
|
11
|
+
* first. Snapshot delivery does not spend disk-stabilization retries or grant
|
|
12
|
+
* future reuse. A local, lossless host-observation refusal can transfer an
|
|
13
|
+
* incomplete local success. TtscGenerationProof owns any sharing of its first
|
|
14
|
+
* module deliveries inside an explicit nonwatching pass; this policy grants no
|
|
15
|
+
* independent native or persistent proof. Rejected attempts spend movement only
|
|
16
|
+
* when they neither refute a publication nor solely learn facts. Two movements
|
|
17
|
+
* or four captures stop retrying, retaining a current diagnostic rather than a
|
|
18
|
+
* terminal instability verdict when its config is not refuted.
|
|
17
19
|
*
|
|
18
20
|
* The caller owns learned dependency/case carry, terminal validation, capture
|
|
19
21
|
* disposal and result transfer. Selecting terminal does not certify a baseline
|
|
@@ -50,6 +52,8 @@ var onlyLearnedCompileFacts = require('./onlyLearnedCompileFacts.js');
|
|
|
50
52
|
* terminal baselines and rejected-capture disposal.
|
|
51
53
|
*/
|
|
52
54
|
function selectTransformAttemptDisposition(props) {
|
|
55
|
+
if (props.resultType === "success" && props.snapshotDeliveryOnly === true)
|
|
56
|
+
return { kind: "accepted", freshDeliveryOnly: false };
|
|
53
57
|
const freshDeliveryOnly = props.resultType === "failure" &&
|
|
54
58
|
(props.observationsComplete === false ||
|
|
55
59
|
props.hostInputProofFailureCount !== 0);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"selectTransformAttemptDisposition.js","sources":["../../../../src/core/transform/generation/selectTransformAttemptDisposition.ts"],"sourcesContent":[null],"names":["createGenerationProofFailures","onlyLearnedCompileFacts"],"mappings":";;;;;AAKA
|
|
1
|
+
{"version":3,"file":"selectTransformAttemptDisposition.js","sources":["../../../../src/core/transform/generation/selectTransformAttemptDisposition.ts"],"sourcesContent":[null],"names":["createGenerationProofFailures","onlyLearnedCompileFacts"],"mappings":";;;;;AAKA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CG;AACG,SAAU,iCAAiC,CAAC,KAuCjD,EAAA;IAgBC,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,oBAAoB,KAAK,IAAI;QACvE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,iBAAiB,EAAE,KAAK,EAAE;AACvD,IAAA,MAAM,iBAAiB,GACrB,KAAK,CAAC,UAAU,KAAK,SAAS;AAC9B,SAAC,KAAK,CAAC,oBAAoB,KAAK,KAAK;AACnC,YAAA,KAAK,CAAC,0BAA0B,KAAK,CAAC,CAAC;AAC3C,IAAA,IACE,KAAK,CAAC,mBAAmB,KAAK,KAAK;AACnC,SAAC,KAAK,CAAC,UAAU,KAAK;AACpB,cAAE,KAAK,CAAC,uBAAuB,KAAK;cAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,EACrC;AACA,QAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,iBAAiB,EAAE;IAChD;IACA,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAIA,2DAA6B,EAAE;AAClE,IAAA,IACE,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,mBAAmB,KAAK,IAAI;QAClC,KAAK,CAAC,gBAAgB,KAAK,IAAI;QAC/B,KAAK,CAAC,OAAO,KAAK,SAAS;QAC3B,QAAQ,CAAC,OAAO,KAAK,CAAC;AACtB,QAAA,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC7B,QAAQ,CAAC,OAAO,CAAC,KAAK,CACpB,CAAC,OAAO,KACN,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,yBAAyB,CAC1E,EACD;QACA,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE;IACxD;AACA,IAAA,IAAI,KAAK,GAAG,KAAK,CAAC,KAAK;AACvB,IAAA,IAAI,QAAQ,GAAG,KAAK,CAAC,QAAQ;AAC7B,IAAA,IAAI,KAAK,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI;AAAE,QAAA,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW;AACpE,SAAA,IAAI,CAACC,+CAAuB,CAAC,QAAQ,CAAC;QAAE,KAAK,IAAI,CAAC;AACvD,IAAA,MAAM,IAAI,GACR,KAAK,KAAK,2BAA2B;QACrC,KAAK,CAAC,OAAO,GAAG,CAAC,KAAK,2BAA2B,GAAG,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,CAAC;AACL,cAAE;cACA,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,mBAAmB,KAAK;AAChE,kBAAE;AACF,kBAAE,UAAU;QAChB,iBAAiB;QACjB,QAAQ;QACR,KAAK;QACL,QAAQ;KACT;AACH;AAEA;AACA,MAAM,2BAA2B,GAAG,CAAC;;;;"}
|
|
@@ -5,13 +5,15 @@ import { onlyLearnedCompileFacts } from './onlyLearnedCompileFacts.mjs';
|
|
|
5
5
|
* Select how one completed capture spends the retry owner's budgets. Supplied
|
|
6
6
|
* facts describe the capture; this policy performs no capture or native proof.
|
|
7
7
|
*
|
|
8
|
-
* Coherent results
|
|
9
|
-
*
|
|
10
|
-
*
|
|
11
|
-
*
|
|
12
|
-
*
|
|
13
|
-
*
|
|
14
|
-
*
|
|
8
|
+
* Coherent results, including admitted current compiler snapshots, return
|
|
9
|
+
* first. Snapshot delivery does not spend disk-stabilization retries or grant
|
|
10
|
+
* future reuse. A local, lossless host-observation refusal can transfer an
|
|
11
|
+
* incomplete local success. TtscGenerationProof owns any sharing of its first
|
|
12
|
+
* module deliveries inside an explicit nonwatching pass; this policy grants no
|
|
13
|
+
* independent native or persistent proof. Rejected attempts spend movement only
|
|
14
|
+
* when they neither refute a publication nor solely learn facts. Two movements
|
|
15
|
+
* or four captures stop retrying, retaining a current diagnostic rather than a
|
|
16
|
+
* terminal instability verdict when its config is not refuted.
|
|
15
17
|
*
|
|
16
18
|
* The caller owns learned dependency/case carry, terminal validation, capture
|
|
17
19
|
* disposal and result transfer. Selecting terminal does not certify a baseline
|
|
@@ -48,6 +50,8 @@ import { onlyLearnedCompileFacts } from './onlyLearnedCompileFacts.mjs';
|
|
|
48
50
|
* terminal baselines and rejected-capture disposal.
|
|
49
51
|
*/
|
|
50
52
|
function selectTransformAttemptDisposition(props) {
|
|
53
|
+
if (props.resultType === "success" && props.snapshotDeliveryOnly === true)
|
|
54
|
+
return { kind: "accepted", freshDeliveryOnly: false };
|
|
51
55
|
const freshDeliveryOnly = props.resultType === "failure" &&
|
|
52
56
|
(props.observationsComplete === false ||
|
|
53
57
|
props.hostInputProofFailureCount !== 0);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"selectTransformAttemptDisposition.mjs","sources":["../../../../src/core/transform/generation/selectTransformAttemptDisposition.ts"],"sourcesContent":[null],"names":[],"mappings":";;;AAKA
|
|
1
|
+
{"version":3,"file":"selectTransformAttemptDisposition.mjs","sources":["../../../../src/core/transform/generation/selectTransformAttemptDisposition.ts"],"sourcesContent":[null],"names":[],"mappings":";;;AAKA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CG;AACG,SAAU,iCAAiC,CAAC,KAuCjD,EAAA;IAgBC,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,oBAAoB,KAAK,IAAI;QACvE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,iBAAiB,EAAE,KAAK,EAAE;AACvD,IAAA,MAAM,iBAAiB,GACrB,KAAK,CAAC,UAAU,KAAK,SAAS;AAC9B,SAAC,KAAK,CAAC,oBAAoB,KAAK,KAAK;AACnC,YAAA,KAAK,CAAC,0BAA0B,KAAK,CAAC,CAAC;AAC3C,IAAA,IACE,KAAK,CAAC,mBAAmB,KAAK,KAAK;AACnC,SAAC,KAAK,CAAC,UAAU,KAAK;AACpB,cAAE,KAAK,CAAC,uBAAuB,KAAK;cAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,EACrC;AACA,QAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,iBAAiB,EAAE;IAChD;IACA,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,6BAA6B,EAAE;AAClE,IAAA,IACE,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,mBAAmB,KAAK,IAAI;QAClC,KAAK,CAAC,gBAAgB,KAAK,IAAI;QAC/B,KAAK,CAAC,OAAO,KAAK,SAAS;QAC3B,QAAQ,CAAC,OAAO,KAAK,CAAC;AACtB,QAAA,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC7B,QAAQ,CAAC,OAAO,CAAC,KAAK,CACpB,CAAC,OAAO,KACN,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,yBAAyB,CAC1E,EACD;QACA,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,iBAAiB,EAAE,IAAI,EAAE;IACxD;AACA,IAAA,IAAI,KAAK,GAAG,KAAK,CAAC,KAAK;AACvB,IAAA,IAAI,QAAQ,GAAG,KAAK,CAAC,QAAQ;AAC7B,IAAA,IAAI,KAAK,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI;AAAE,QAAA,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW;AACpE,SAAA,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC;QAAE,KAAK,IAAI,CAAC;AACvD,IAAA,MAAM,IAAI,GACR,KAAK,KAAK,2BAA2B;QACrC,KAAK,CAAC,OAAO,GAAG,CAAC,KAAK,2BAA2B,GAAG,CAAC;IACvD,OAAO;QACL,IAAI,EAAE,CAAC;AACL,cAAE;cACA,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,mBAAmB,KAAK;AAChE,kBAAE;AACF,kBAAE,UAAU;QAChB,iBAAiB;QACjB,QAAQ;QACR,KAAK;QACL,QAAQ;KACT;AACH;AAEA;AACA,MAAM,2BAA2B,GAAG,CAAC;;;;"}
|
|
@@ -100,6 +100,7 @@ async function transformProject(props) {
|
|
|
100
100
|
const disposition = selectTransformAttemptDisposition.selectTransformAttemptDisposition({
|
|
101
101
|
resultType: cached.result.type,
|
|
102
102
|
configStateComplete: cached.configStateComplete,
|
|
103
|
+
snapshotDeliveryOnly: cached.snapshotDeliveryOnly,
|
|
103
104
|
projectSnapshotComplete: cached.projectSnapshotComplete,
|
|
104
105
|
projectHeldStill: cached.projectHeldStill,
|
|
105
106
|
observationsComplete: cached.result.type === "failure"
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"transformProject.js","sources":["../../../../src/core/transform/generation/transformProject.ts"],"sourcesContent":[null],"names":["traceInvocation","captureTransformGeneration","selectTransformAttemptDisposition","TRANSFORM_GENERATION_FAILURES","TRANSFORM_ADOPTED_RESULTS","carryTransformAttemptInputs","TRANSFORM_FAILED_GENERATION_VALIDATIONS","disposeCachedTransform","createUnstableGenerationError"],"mappings":";;;;;;;;;;;;;AAiBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqEG;AACI,eAAe,gBAAgB,CAAC,KA6EtC,EAAA;AACC,IAAA,MAAM,YAAY,GAAGA,+BAAe,EAAE;IACtC,MAAM,QAAQ,GAAkC,EAAE;AAClD,IAAA,IAAI,QAA4B;IAChC,IAAI,KAAK,GAAG,CAAC;IACb,IAAI,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,qBAAqB,CAAC;AACpD,IAAA,IAAI,yBAAyB,GAAG,KAAK,CAAC,yBAAyB;AAC/D,IAAA,IAAI,kBAAkB,GAAG,KAAK,CAAC,kBAAkB;IACjD,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,IAAI,CAAC,EAAE;AACpC,QAAA,MAAM,MAAM,GAAG,MAAMC,qDAA0B,CAAC;AAC9C,YAAA,GAAG,KAAK;YACR,kBAAkB;YAClB,QAAQ;YACR,yBAAyB;AACzB,YAAA,qBAAqB,EAAE,CAAC,GAAG,SAAS,CAAC;AACtC,SAAA,CAAC;QACF,MAAM,WAAW,GAAGC,mEAAiC,CAAC;AACpD,YAAA,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI;YAC9B,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,uBAAuB,EAAE,MAAM,CAAC,uBAAuB;YACvD,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;AACzC,YAAA,oBAAoB,EAClB,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK;AACrB,kBAAE,MAAM,CAAC,MAAM,CAAC;AAChB,kBAAE,SAAS;AACf,YAAA,0BAA0B,EACxB,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK;AACrB,kBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC;AAC1D,kBAAE,CAAC;YACP,QAAQ,EAAEC,2DAA6B,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YAC1D,OAAO,EAAEC,mDAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YACrD,OAAO;YACP,KAAK;YACL,QAAQ;AACT,SAAA,CAAC;QACF,YAAY,GAAG,4BAA4B,EAAE;YAC3C,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,GAAG,EAAE,MAAM,CAAC,WAAW;AACvB,YAAA,IAAI,EAAE;gBACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;gBACzC,OAAO;AACP,gBAAA,WAAW,EAAE,KAAK;gBAClB,cAAc,EAAE,QAAQ,IAAI,IAAI;gBAChC,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,iBAAiB,EAAE,WAAW,CAAC,iBAAiB;AAChD,gBAAA,UAAU,EAAE,OAAO,IAAI,WAAW,GAAG,WAAW,CAAC,KAAK,GAAG,IAAI;AAC7D,gBAAA,aAAa,EACX,UAAU,IAAI,WAAW,IAAI,WAAW,CAAC,QAAQ,IAAI,IAAI,IAAI,IAAI;AACpE,aAAA;AACF,SAAA,CAAC;AACF,QAAA,IAAI,WAAW,CAAC,iBAAiB,EAAE;;;;AAIjC,YAAA,MAAM,CAAC,iBAAiB,GAAG,IAAI;QACjC;AACA,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY;AAAE,YAAA,MAAM,CAAC,gBAAgB,GAAG,IAAI;AACrE,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE;AACxE,YAAA,OAAO,MAAM;QACf;AACA,QAAA,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC;QACnC,MAAM,UAAU,GAAGC,uDAA2B,CAC5C,SAAS,EACT,yBAAyB,EACzB,MAAM,CACP;AACD,QAAA,SAAS,GAAG,UAAU,CAAC,SAAS;AAChC,QAAA,yBAAyB,GAAG,UAAU,CAAC,yBAAyB;AAChE,QAAA,kBAAkB,GAAG,MAAM,CAAC,kBAAkB;;;;;;;;AAQ9C,QAAA,QAAQ,GAAG,WAAW,CAAC,QAAQ;AAC/B,QAAA,KAAK,GAAG,WAAW,CAAC,KAAK;;;AAGzB,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE;AACrC,YAAA,OAAO,MAAM;QACf;AACA,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE;YACnC,MAAM,UAAU,GAAGC,+EAAuC,CAAC,GAAG,CAC5D,MAAM,CAAC,MAAM,CACd;AACD,YAAA,IAAI,UAAU,KAAK,SAAS,EAAE;gBAC5BC,6CAAsB,CAAC,MAAM,CAAC;AAC9B,gBAAA,MAAM,IAAI,KAAK,CACb,oEAAoE,CACrE;YACH;AACA,YAAA,MAAMC,2DAA6B,CACjC,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EACjD,QAAQ,EACR,UAAU,CACX;QACH;QACAD,6CAAsB,CAAC,MAAM,CAAC;IAChC;AACF;;;;"}
|
|
1
|
+
{"version":3,"file":"transformProject.js","sources":["../../../../src/core/transform/generation/transformProject.ts"],"sourcesContent":[null],"names":["traceInvocation","captureTransformGeneration","selectTransformAttemptDisposition","TRANSFORM_GENERATION_FAILURES","TRANSFORM_ADOPTED_RESULTS","carryTransformAttemptInputs","TRANSFORM_FAILED_GENERATION_VALIDATIONS","disposeCachedTransform","createUnstableGenerationError"],"mappings":";;;;;;;;;;;;;AAiBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqEG;AACI,eAAe,gBAAgB,CAAC,KA6EtC,EAAA;AACC,IAAA,MAAM,YAAY,GAAGA,+BAAe,EAAE;IACtC,MAAM,QAAQ,GAAkC,EAAE;AAClD,IAAA,IAAI,QAA4B;IAChC,IAAI,KAAK,GAAG,CAAC;IACb,IAAI,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,qBAAqB,CAAC;AACpD,IAAA,IAAI,yBAAyB,GAAG,KAAK,CAAC,yBAAyB;AAC/D,IAAA,IAAI,kBAAkB,GAAG,KAAK,CAAC,kBAAkB;IACjD,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,IAAI,CAAC,EAAE;AACpC,QAAA,MAAM,MAAM,GAAG,MAAMC,qDAA0B,CAAC;AAC9C,YAAA,GAAG,KAAK;YACR,kBAAkB;YAClB,QAAQ;YACR,yBAAyB;AACzB,YAAA,qBAAqB,EAAE,CAAC,GAAG,SAAS,CAAC;AACtC,SAAA,CAAC;QACF,MAAM,WAAW,GAAGC,mEAAiC,CAAC;AACpD,YAAA,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI;YAC9B,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;YACjD,uBAAuB,EAAE,MAAM,CAAC,uBAAuB;YACvD,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;AACzC,YAAA,oBAAoB,EAClB,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK;AACrB,kBAAE,MAAM,CAAC,MAAM,CAAC;AAChB,kBAAE,SAAS;AACf,YAAA,0BAA0B,EACxB,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK;AACrB,kBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC;AAC1D,kBAAE,CAAC;YACP,QAAQ,EAAEC,2DAA6B,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YAC1D,OAAO,EAAEC,mDAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YACrD,OAAO;YACP,KAAK;YACL,QAAQ;AACT,SAAA,CAAC;QACF,YAAY,GAAG,4BAA4B,EAAE;YAC3C,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,GAAG,EAAE,MAAM,CAAC,WAAW;AACvB,YAAA,IAAI,EAAE;gBACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;gBACzC,OAAO;AACP,gBAAA,WAAW,EAAE,KAAK;gBAClB,cAAc,EAAE,QAAQ,IAAI,IAAI;gBAChC,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,iBAAiB,EAAE,WAAW,CAAC,iBAAiB;AAChD,gBAAA,UAAU,EAAE,OAAO,IAAI,WAAW,GAAG,WAAW,CAAC,KAAK,GAAG,IAAI;AAC7D,gBAAA,aAAa,EACX,UAAU,IAAI,WAAW,IAAI,WAAW,CAAC,QAAQ,IAAI,IAAI,IAAI,IAAI;AACpE,aAAA;AACF,SAAA,CAAC;AACF,QAAA,IAAI,WAAW,CAAC,iBAAiB,EAAE;;;;AAIjC,YAAA,MAAM,CAAC,iBAAiB,GAAG,IAAI;QACjC;AACA,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY;AAAE,YAAA,MAAM,CAAC,gBAAgB,GAAG,IAAI;AACrE,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE;AACxE,YAAA,OAAO,MAAM;QACf;AACA,QAAA,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC;QACnC,MAAM,UAAU,GAAGC,uDAA2B,CAC5C,SAAS,EACT,yBAAyB,EACzB,MAAM,CACP;AACD,QAAA,SAAS,GAAG,UAAU,CAAC,SAAS;AAChC,QAAA,yBAAyB,GAAG,UAAU,CAAC,yBAAyB;AAChE,QAAA,kBAAkB,GAAG,MAAM,CAAC,kBAAkB;;;;;;;;AAQ9C,QAAA,QAAQ,GAAG,WAAW,CAAC,QAAQ;AAC/B,QAAA,KAAK,GAAG,WAAW,CAAC,KAAK;;;AAGzB,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE;AACrC,YAAA,OAAO,MAAM;QACf;AACA,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE;YACnC,MAAM,UAAU,GAAGC,+EAAuC,CAAC,GAAG,CAC5D,MAAM,CAAC,MAAM,CACd;AACD,YAAA,IAAI,UAAU,KAAK,SAAS,EAAE;gBAC5BC,6CAAsB,CAAC,MAAM,CAAC;AAC9B,gBAAA,MAAM,IAAI,KAAK,CACb,oEAAoE,CACrE;YACH;AACA,YAAA,MAAMC,2DAA6B,CACjC,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EACjD,QAAQ,EACR,UAAU,CACX;QACH;QACAD,6CAAsB,CAAC,MAAM,CAAC;IAChC;AACF;;;;"}
|
|
@@ -98,6 +98,7 @@ async function transformProject(props) {
|
|
|
98
98
|
const disposition = selectTransformAttemptDisposition({
|
|
99
99
|
resultType: cached.result.type,
|
|
100
100
|
configStateComplete: cached.configStateComplete,
|
|
101
|
+
snapshotDeliveryOnly: cached.snapshotDeliveryOnly,
|
|
101
102
|
projectSnapshotComplete: cached.projectSnapshotComplete,
|
|
102
103
|
projectHeldStill: cached.projectHeldStill,
|
|
103
104
|
observationsComplete: cached.result.type === "failure"
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"transformProject.mjs","sources":["../../../../src/core/transform/generation/transformProject.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;AAiBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqEG;AACI,eAAe,gBAAgB,CAAC,KA6EtC,EAAA;AACC,IAAA,MAAM,YAAY,GAAG,eAAe,EAAE;IACtC,MAAM,QAAQ,GAAkC,EAAE;AAClD,IAAA,IAAI,QAA4B;IAChC,IAAI,KAAK,GAAG,CAAC;IACb,IAAI,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,qBAAqB,CAAC;AACpD,IAAA,IAAI,yBAAyB,GAAG,KAAK,CAAC,yBAAyB;AAC/D,IAAA,IAAI,kBAAkB,GAAG,KAAK,CAAC,kBAAkB;IACjD,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,IAAI,CAAC,EAAE;AACpC,QAAA,MAAM,MAAM,GAAG,MAAM,0BAA0B,CAAC;AAC9C,YAAA,GAAG,KAAK;YACR,kBAAkB;YAClB,QAAQ;YACR,yBAAyB;AACzB,YAAA,qBAAqB,EAAE,CAAC,GAAG,SAAS,CAAC;AACtC,SAAA,CAAC;QACF,MAAM,WAAW,GAAG,iCAAiC,CAAC;AACpD,YAAA,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI;YAC9B,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,uBAAuB,EAAE,MAAM,CAAC,uBAAuB;YACvD,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;AACzC,YAAA,oBAAoB,EAClB,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK;AACrB,kBAAE,MAAM,CAAC,MAAM,CAAC;AAChB,kBAAE,SAAS;AACf,YAAA,0BAA0B,EACxB,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK;AACrB,kBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC;AAC1D,kBAAE,CAAC;YACP,QAAQ,EAAE,6BAA6B,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YAC1D,OAAO,EAAE,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YACrD,OAAO;YACP,KAAK;YACL,QAAQ;AACT,SAAA,CAAC;QACF,YAAY,GAAG,4BAA4B,EAAE;YAC3C,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,GAAG,EAAE,MAAM,CAAC,WAAW;AACvB,YAAA,IAAI,EAAE;gBACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;gBACzC,OAAO;AACP,gBAAA,WAAW,EAAE,KAAK;gBAClB,cAAc,EAAE,QAAQ,IAAI,IAAI;gBAChC,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,iBAAiB,EAAE,WAAW,CAAC,iBAAiB;AAChD,gBAAA,UAAU,EAAE,OAAO,IAAI,WAAW,GAAG,WAAW,CAAC,KAAK,GAAG,IAAI;AAC7D,gBAAA,aAAa,EACX,UAAU,IAAI,WAAW,IAAI,WAAW,CAAC,QAAQ,IAAI,IAAI,IAAI,IAAI;AACpE,aAAA;AACF,SAAA,CAAC;AACF,QAAA,IAAI,WAAW,CAAC,iBAAiB,EAAE;;;;AAIjC,YAAA,MAAM,CAAC,iBAAiB,GAAG,IAAI;QACjC;AACA,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY;AAAE,YAAA,MAAM,CAAC,gBAAgB,GAAG,IAAI;AACrE,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE;AACxE,YAAA,OAAO,MAAM;QACf;AACA,QAAA,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC;QACnC,MAAM,UAAU,GAAG,2BAA2B,CAC5C,SAAS,EACT,yBAAyB,EACzB,MAAM,CACP;AACD,QAAA,SAAS,GAAG,UAAU,CAAC,SAAS;AAChC,QAAA,yBAAyB,GAAG,UAAU,CAAC,yBAAyB;AAChE,QAAA,kBAAkB,GAAG,MAAM,CAAC,kBAAkB;;;;;;;;AAQ9C,QAAA,QAAQ,GAAG,WAAW,CAAC,QAAQ;AAC/B,QAAA,KAAK,GAAG,WAAW,CAAC,KAAK;;;AAGzB,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE;AACrC,YAAA,OAAO,MAAM;QACf;AACA,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE;YACnC,MAAM,UAAU,GAAG,uCAAuC,CAAC,GAAG,CAC5D,MAAM,CAAC,MAAM,CACd;AACD,YAAA,IAAI,UAAU,KAAK,SAAS,EAAE;gBAC5B,sBAAsB,CAAC,MAAM,CAAC;AAC9B,gBAAA,MAAM,IAAI,KAAK,CACb,oEAAoE,CACrE;YACH;AACA,YAAA,MAAM,6BAA6B,CACjC,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EACjD,QAAQ,EACR,UAAU,CACX;QACH;QACA,sBAAsB,CAAC,MAAM,CAAC;IAChC;AACF;;;;"}
|
|
1
|
+
{"version":3,"file":"transformProject.mjs","sources":["../../../../src/core/transform/generation/transformProject.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;AAiBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqEG;AACI,eAAe,gBAAgB,CAAC,KA6EtC,EAAA;AACC,IAAA,MAAM,YAAY,GAAG,eAAe,EAAE;IACtC,MAAM,QAAQ,GAAkC,EAAE;AAClD,IAAA,IAAI,QAA4B;IAChC,IAAI,KAAK,GAAG,CAAC;IACb,IAAI,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,qBAAqB,CAAC;AACpD,IAAA,IAAI,yBAAyB,GAAG,KAAK,CAAC,yBAAyB;AAC/D,IAAA,IAAI,kBAAkB,GAAG,KAAK,CAAC,kBAAkB;IACjD,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,IAAI,CAAC,EAAE;AACpC,QAAA,MAAM,MAAM,GAAG,MAAM,0BAA0B,CAAC;AAC9C,YAAA,GAAG,KAAK;YACR,kBAAkB;YAClB,QAAQ;YACR,yBAAyB;AACzB,YAAA,qBAAqB,EAAE,CAAC,GAAG,SAAS,CAAC;AACtC,SAAA,CAAC;QACF,MAAM,WAAW,GAAG,iCAAiC,CAAC;AACpD,YAAA,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI;YAC9B,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;YACjD,uBAAuB,EAAE,MAAM,CAAC,uBAAuB;YACvD,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;AACzC,YAAA,oBAAoB,EAClB,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK;AACrB,kBAAE,MAAM,CAAC,MAAM,CAAC;AAChB,kBAAE,SAAS;AACf,YAAA,0BAA0B,EACxB,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK;AACrB,kBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC;AAC1D,kBAAE,CAAC;YACP,QAAQ,EAAE,6BAA6B,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YAC1D,OAAO,EAAE,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YACrD,OAAO;YACP,KAAK;YACL,QAAQ;AACT,SAAA,CAAC;QACF,YAAY,GAAG,4BAA4B,EAAE;YAC3C,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,GAAG,EAAE,MAAM,CAAC,WAAW;AACvB,YAAA,IAAI,EAAE;gBACJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;gBACzC,OAAO;AACP,gBAAA,WAAW,EAAE,KAAK;gBAClB,cAAc,EAAE,QAAQ,IAAI,IAAI;gBAChC,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,iBAAiB,EAAE,WAAW,CAAC,iBAAiB;AAChD,gBAAA,UAAU,EAAE,OAAO,IAAI,WAAW,GAAG,WAAW,CAAC,KAAK,GAAG,IAAI;AAC7D,gBAAA,aAAa,EACX,UAAU,IAAI,WAAW,IAAI,WAAW,CAAC,QAAQ,IAAI,IAAI,IAAI,IAAI;AACpE,aAAA;AACF,SAAA,CAAC;AACF,QAAA,IAAI,WAAW,CAAC,iBAAiB,EAAE;;;;AAIjC,YAAA,MAAM,CAAC,iBAAiB,GAAG,IAAI;QACjC;AACA,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY;AAAE,YAAA,MAAM,CAAC,gBAAgB,GAAG,IAAI;AACrE,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE;AACxE,YAAA,OAAO,MAAM;QACf;AACA,QAAA,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC;QACnC,MAAM,UAAU,GAAG,2BAA2B,CAC5C,SAAS,EACT,yBAAyB,EACzB,MAAM,CACP;AACD,QAAA,SAAS,GAAG,UAAU,CAAC,SAAS;AAChC,QAAA,yBAAyB,GAAG,UAAU,CAAC,yBAAyB;AAChE,QAAA,kBAAkB,GAAG,MAAM,CAAC,kBAAkB;;;;;;;;AAQ9C,QAAA,QAAQ,GAAG,WAAW,CAAC,QAAQ;AAC/B,QAAA,KAAK,GAAG,WAAW,CAAC,KAAK;;;AAGzB,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE;AACrC,YAAA,OAAO,MAAM;QACf;AACA,QAAA,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE;YACnC,MAAM,UAAU,GAAG,uCAAuC,CAAC,GAAG,CAC5D,MAAM,CAAC,MAAM,CACd;AACD,YAAA,IAAI,UAAU,KAAK,SAAS,EAAE;gBAC5B,sBAAsB,CAAC,MAAM,CAAC;AAC9B,gBAAA,MAAM,IAAI,KAAK,CACb,oEAAoE,CACrE;YACH;AACA,YAAA,MAAM,6BAA6B,CACjC,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EACjD,QAAQ,EACR,UAAU,CACX;QACH;QACA,sBAAsB,CAAC,MAAM,CAAC;IAChC;AACF;;;;"}
|
|
@@ -12,10 +12,13 @@ import type { TtscTransformHooks } from "../watch/TtscTransformHooks.cjs";
|
|
|
12
12
|
* persistent/repeated deliveries require new current observations. Incomplete
|
|
13
13
|
* observations can share a coherent local result only inside an explicitly
|
|
14
14
|
* nonwatching pass with actual host-cache withdrawal, never a record or pool.
|
|
15
|
+
* Captured native snapshots separately permit first deliveries in their
|
|
16
|
+
* original pass, including watching, without claiming disk freshness or future
|
|
17
|
+
* reuse.
|
|
15
18
|
*
|
|
16
19
|
* @evidence contracts/common.md#principled-implementation Explicit pass identity, source baseline and first-delivery membership delimit sharing; synchronous transactions independently qualify current native inputs and incomplete local outputs retain stricter lifecycle admission.
|
|
17
20
|
* @evidence contracts/common.md#clear-and-simple-design One core owner supplies the same preparation, pass and fresh-only policies to every adapter instead of separate host-specific caches.
|
|
18
|
-
* @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching, persistent, repeated and unknown boundaries cannot borrow
|
|
21
|
+
* @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching cannot borrow an observer-unavailable pass result, and persistent, repeated and unknown boundaries cannot borrow either kind of pass-only result.
|
|
19
22
|
* @evidence contracts/common.md#meaningful-documentation Native context names the four lifetimes and warns against the specific performance and stale-cache regressions they prevent.
|
|
20
23
|
* @evidenceExclude contracts/portability.md#os-neutral-implementation Members delegate native observations to the generation's filesystem and the native environment owner.
|
|
21
24
|
* @evidenceExclude contracts/performance.md#efficient-algorithms Members own baseline lookup, batch qualification and admission.
|
|
@@ -12,10 +12,13 @@ import type { TtscTransformHooks } from "../watch/TtscTransformHooks.mjs";
|
|
|
12
12
|
* persistent/repeated deliveries require new current observations. Incomplete
|
|
13
13
|
* observations can share a coherent local result only inside an explicitly
|
|
14
14
|
* nonwatching pass with actual host-cache withdrawal, never a record or pool.
|
|
15
|
+
* Captured native snapshots separately permit first deliveries in their
|
|
16
|
+
* original pass, including watching, without claiming disk freshness or future
|
|
17
|
+
* reuse.
|
|
15
18
|
*
|
|
16
19
|
* @evidence contracts/common.md#principled-implementation Explicit pass identity, source baseline and first-delivery membership delimit sharing; synchronous transactions independently qualify current native inputs and incomplete local outputs retain stricter lifecycle admission.
|
|
17
20
|
* @evidence contracts/common.md#clear-and-simple-design One core owner supplies the same preparation, pass and fresh-only policies to every adapter instead of separate host-specific caches.
|
|
18
|
-
* @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching, persistent, repeated and unknown boundaries cannot borrow
|
|
21
|
+
* @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching cannot borrow an observer-unavailable pass result, and persistent, repeated and unknown boundaries cannot borrow either kind of pass-only result.
|
|
19
22
|
* @evidence contracts/common.md#meaningful-documentation Native context names the four lifetimes and warns against the specific performance and stale-cache regressions they prevent.
|
|
20
23
|
* @evidenceExclude contracts/portability.md#os-neutral-implementation Members delegate native observations to the generation's filesystem and the native environment owner.
|
|
21
24
|
* @evidenceExclude contracts/performance.md#efficient-algorithms Members own baseline lookup, batch qualification and admission.
|
|
@@ -12,10 +12,13 @@ import type { TtscTransformHooks } from "../watch/TtscTransformHooks";
|
|
|
12
12
|
* persistent/repeated deliveries require new current observations. Incomplete
|
|
13
13
|
* observations can share a coherent local result only inside an explicitly
|
|
14
14
|
* nonwatching pass with actual host-cache withdrawal, never a record or pool.
|
|
15
|
+
* Captured native snapshots separately permit first deliveries in their
|
|
16
|
+
* original pass, including watching, without claiming disk freshness or future
|
|
17
|
+
* reuse.
|
|
15
18
|
*
|
|
16
19
|
* @evidence contracts/common.md#principled-implementation Explicit pass identity, source baseline and first-delivery membership delimit sharing; synchronous transactions independently qualify current native inputs and incomplete local outputs retain stricter lifecycle admission.
|
|
17
20
|
* @evidence contracts/common.md#clear-and-simple-design One core owner supplies the same preparation, pass and fresh-only policies to every adapter instead of separate host-specific caches.
|
|
18
|
-
* @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching, persistent, repeated and unknown boundaries cannot borrow
|
|
21
|
+
* @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching cannot borrow an observer-unavailable pass result, and persistent, repeated and unknown boundaries cannot borrow either kind of pass-only result.
|
|
19
22
|
* @evidence contracts/common.md#meaningful-documentation Native context names the four lifetimes and warns against the specific performance and stale-cache regressions they prevent.
|
|
20
23
|
* @evidenceExclude contracts/portability.md#os-neutral-implementation Members delegate native observations to the generation's filesystem and the native environment owner.
|
|
21
24
|
* @evidenceExclude contracts/performance.md#efficient-algorithms Members own baseline lookup, batch qualification and admission.
|
|
@@ -22,10 +22,13 @@ var verifyGenerationLocations = require('../tracker/verifyGenerationLocations.js
|
|
|
22
22
|
* persistent/repeated deliveries require new current observations. Incomplete
|
|
23
23
|
* observations can share a coherent local result only inside an explicitly
|
|
24
24
|
* nonwatching pass with actual host-cache withdrawal, never a record or pool.
|
|
25
|
+
* Captured native snapshots separately permit first deliveries in their
|
|
26
|
+
* original pass, including watching, without claiming disk freshness or future
|
|
27
|
+
* reuse.
|
|
25
28
|
*
|
|
26
29
|
* @evidence contracts/common.md#principled-implementation Explicit pass identity, source baseline and first-delivery membership delimit sharing; synchronous transactions independently qualify current native inputs and incomplete local outputs retain stricter lifecycle admission.
|
|
27
30
|
* @evidence contracts/common.md#clear-and-simple-design One core owner supplies the same preparation, pass and fresh-only policies to every adapter instead of separate host-specific caches.
|
|
28
|
-
* @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching, persistent, repeated and unknown boundaries cannot borrow
|
|
31
|
+
* @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching cannot borrow an observer-unavailable pass result, and persistent, repeated and unknown boundaries cannot borrow either kind of pass-only result.
|
|
29
32
|
* @evidence contracts/common.md#meaningful-documentation Native context names the four lifetimes and warns against the specific performance and stale-cache regressions they prevent.
|
|
30
33
|
* @evidenceExclude contracts/portability.md#os-neutral-implementation Members delegate native observations to the generation's filesystem and the native environment owner.
|
|
31
34
|
* @evidenceExclude contracts/performance.md#efficient-algorithms Members own baseline lookup, batch qualification and admission.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"TtscGenerationProof.js","sources":["../../../../src/core/transform/validation/TtscGenerationProof.ts"],"sourcesContent":[null],"names":["TtscGenerationProof","preparePluginBuildEnvironments","resultFilesystem","verifyGenerationLocations","PluginBuildEnvironmentReadings","selectPluginSourceInputs","envelopeDerivation","pathIdentityKey","toProjectKey","disposeCachedTransform","evictGeneration"],"mappings":";;;;;;;;;;;;;AAeA
|
|
1
|
+
{"version":3,"file":"TtscGenerationProof.js","sources":["../../../../src/core/transform/validation/TtscGenerationProof.ts"],"sourcesContent":[null],"names":["TtscGenerationProof","preparePluginBuildEnvironments","resultFilesystem","verifyGenerationLocations","PluginBuildEnvironmentReadings","selectPluginSourceInputs","envelopeDerivation","pathIdentityKey","toProjectKey","disposeCachedTransform","evictGeneration"],"mappings":";;;;;;;;;;;;;AAeA;;;;;;;;;;;;;;;;;;;;;;;AAuBG;AACcA;AAAjB,CAAA,UAAiB,mBAAmB,EAAA;AAgClC;;;;;;;;;;;;AAYG;AACI,IAAA,eAAe,OAAO,CAC3B,MAAkC,EAClC,IAAY,EACZ,KAAyB,EAAA;QAEzB,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AAClC,YAAA,MAAMC,6DAA8B,CAClC,MAAM,CAAC,MAAM,EACbC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,MAAM,CACP;IACL;AAXsB,IAAA,mBAAA,CAAA,OAAO,UAW5B;AAED;;;;;;;;;;;;;;AAcG;AACH,IAAA,SAAgB,MAAM,CACpB,MAAkC,EAClC,IAAY,EACZ,KAAyB,EAAA;QAEzB,OAAO;YACL,MAAM;;;;YAIN,IAAI,KAAK,KAAK;kBACV,EAAE,SAAS,EAAEC,mDAAyB,CAAC,MAAM,CAAC;kBAC9C,EAAE,CAAC;YACP,IAAI,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK;AAChC,kBAAE;AACF,kBAAE;AACE,oBAAA,YAAY,EAAEC,2CAA8B,CAAC,SAAS,CACpDC,iDAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAC/C;iBACF,CAAC;SACP;IACH;AArBgB,IAAA,mBAAA,CAAA,MAAM,SAqBrB;AAED;;;;;;;;;;;;AAYG;AACH,IAAA,SAAgB,UAAU,CACxB,MAAkC,EAClC,IAAY,EACZ,KAAyB,EAAA;QAEzB,IACE,KAAK,KAAK,SAAS;YACnB,MAAM,CAAC,aAAa,KAAK,KAAK;AAC9B,aAAC,MAAM,CAAC,uBAAuB,KAAK,IAAI;AACtC,gBAAA,MAAM,CAAC,gBAAgB,KAAK,IAAI,CAAC;aAClC,MAAM,CAAC,iBAAiB,KAAK,IAAI,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI,CAAC;AAEvE,YAAA,OAAO,KAAK;QACd,MAAM,UAAU,GAAGC,qCAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;QAC7D,MAAM,QAAQ,GAAGC,+BAAe,CAAC,IAAI,EAAE,UAAU,CAAC;AAClD,QAAA,IAAI,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC;AAAE,YAAA,OAAO,KAAK;AACnD,QAAA,MAAM,GAAG,GAAGC,yBAAY,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC;QAC9D,QACE,MAAM,CAAC,YAAY,GAAG,QAAQ,CAAC,KAAK,SAAS;YAC7C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC;YACtC,MAAM,CAAC,mBAAmB,GAAG,QAAQ,CAAC,KAAK,SAAS;IAExD;AAtBgB,IAAA,mBAAA,CAAA,UAAU,aAsBzB;AAED;;;;;;;;;;;;;;AAcG;AACH,IAAA,SAAgB,cAAc,CAC5B,MAAkC,EAClC,KAAqC,EACrC,GAAW,EACX,UAA+C,EAC/C,KAAyB,EACzB,KAAqC,EAAA;AAErC,QAAA,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI;YAAE;AACvC,QAAA,MAAM,UAAU,GACd,KAAK,EAAE,QAAQ,KAAK,KAAK;YACzB,KAAK,CAAC,YAAY,KAAK,SAAS;AAChC,aAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS;AACpC,gBAAA,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC;QACrC,MAAM,MAAM,GACV,UAAU;AACV,YAAA,KAAK,KAAK,SAAS;YACnB,MAAM,CAAC,aAAa,KAAK,KAAK;AAC9B,YAAA,MAAM,CAAC,gBAAgB,KAAK,IAAI;QAClCC,6CAAsB,CAAC,MAAM,CAAC;AAC9B,QAAA,IAAI,CAAC,MAAM;AAAE,YAAAC,+BAAe,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC;QACpD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,UAAU;AACjD,YAAA,MAAM,IAAI,KAAK,CACb,iOAAiO,CAClO;AACH,QAAA,IAAI;AACF,YAAA,KAAK,EAAE,YAAY,IAAI;QACzB;QAAE,OAAO,KAAK,EAAE;AACd,YAAAA,+BAAe,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC;AACvC,YAAA,MAAM,KAAK;QACb;IACF;AA/BgB,IAAA,mBAAA,CAAA,cAAc,iBA+B7B;AACH,CAAC,EApLgBV,2BAAmB,KAAnBA,2BAAmB,GAAA,EAAA,CAAA,CAAA;;"}
|
|
@@ -20,10 +20,13 @@ import { verifyGenerationLocations } from '../tracker/verifyGenerationLocations.
|
|
|
20
20
|
* persistent/repeated deliveries require new current observations. Incomplete
|
|
21
21
|
* observations can share a coherent local result only inside an explicitly
|
|
22
22
|
* nonwatching pass with actual host-cache withdrawal, never a record or pool.
|
|
23
|
+
* Captured native snapshots separately permit first deliveries in their
|
|
24
|
+
* original pass, including watching, without claiming disk freshness or future
|
|
25
|
+
* reuse.
|
|
23
26
|
*
|
|
24
27
|
* @evidence contracts/common.md#principled-implementation Explicit pass identity, source baseline and first-delivery membership delimit sharing; synchronous transactions independently qualify current native inputs and incomplete local outputs retain stricter lifecycle admission.
|
|
25
28
|
* @evidence contracts/common.md#clear-and-simple-design One core owner supplies the same preparation, pass and fresh-only policies to every adapter instead of separate host-specific caches.
|
|
26
|
-
* @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching, persistent, repeated and unknown boundaries cannot borrow
|
|
29
|
+
* @evidence contracts/common.md#prohibited-implementation-shortcuts Missing observation never becomes complete snapshot authority; watching cannot borrow an observer-unavailable pass result, and persistent, repeated and unknown boundaries cannot borrow either kind of pass-only result.
|
|
27
30
|
* @evidence contracts/common.md#meaningful-documentation Native context names the four lifetimes and warns against the specific performance and stale-cache regressions they prevent.
|
|
28
31
|
* @evidenceExclude contracts/portability.md#os-neutral-implementation Members delegate native observations to the generation's filesystem and the native environment owner.
|
|
29
32
|
* @evidenceExclude contracts/performance.md#efficient-algorithms Members own baseline lookup, batch qualification and admission.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"TtscGenerationProof.mjs","sources":["../../../../src/core/transform/validation/TtscGenerationProof.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;AAeA
|
|
1
|
+
{"version":3,"file":"TtscGenerationProof.mjs","sources":["../../../../src/core/transform/validation/TtscGenerationProof.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;AAeA;;;;;;;;;;;;;;;;;;;;;;;AAuBG;AACG,IAAW;AAAjB,CAAA,UAAiB,mBAAmB,EAAA;AAgClC;;;;;;;;;;;;AAYG;AACI,IAAA,eAAe,OAAO,CAC3B,MAAkC,EAClC,IAAY,EACZ,KAAyB,EAAA;QAEzB,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AAClC,YAAA,MAAM,8BAA8B,CAClC,MAAM,CAAC,MAAM,EACb,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC/B,MAAM,CACP;IACL;AAXsB,IAAA,mBAAA,CAAA,OAAO,UAW5B;AAED;;;;;;;;;;;;;;AAcG;AACH,IAAA,SAAgB,MAAM,CACpB,MAAkC,EAClC,IAAY,EACZ,KAAyB,EAAA;QAEzB,OAAO;YACL,MAAM;;;;YAIN,IAAI,KAAK,KAAK;kBACV,EAAE,SAAS,EAAE,yBAAyB,CAAC,MAAM,CAAC;kBAC9C,EAAE,CAAC;YACP,IAAI,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK;AAChC,kBAAE;AACF,kBAAE;AACE,oBAAA,YAAY,EAAE,8BAA8B,CAAC,SAAS,CACpD,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAC/C;iBACF,CAAC;SACP;IACH;AArBgB,IAAA,mBAAA,CAAA,MAAM,SAqBrB;AAED;;;;;;;;;;;;AAYG;AACH,IAAA,SAAgB,UAAU,CACxB,MAAkC,EAClC,IAAY,EACZ,KAAyB,EAAA;QAEzB,IACE,KAAK,KAAK,SAAS;YACnB,MAAM,CAAC,aAAa,KAAK,KAAK;AAC9B,aAAC,MAAM,CAAC,uBAAuB,KAAK,IAAI;AACtC,gBAAA,MAAM,CAAC,gBAAgB,KAAK,IAAI,CAAC;aAClC,MAAM,CAAC,iBAAiB,KAAK,IAAI,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI,CAAC;AAEvE,YAAA,OAAO,KAAK;QACd,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;QAC7D,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC;AAClD,QAAA,IAAI,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC;AAAE,YAAA,OAAO,KAAK;AACnD,QAAA,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC;QAC9D,QACE,MAAM,CAAC,YAAY,GAAG,QAAQ,CAAC,KAAK,SAAS;YAC7C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC;YACtC,MAAM,CAAC,mBAAmB,GAAG,QAAQ,CAAC,KAAK,SAAS;IAExD;AAtBgB,IAAA,mBAAA,CAAA,UAAU,aAsBzB;AAED;;;;;;;;;;;;;;AAcG;AACH,IAAA,SAAgB,cAAc,CAC5B,MAAkC,EAClC,KAAqC,EACrC,GAAW,EACX,UAA+C,EAC/C,KAAyB,EACzB,KAAqC,EAAA;AAErC,QAAA,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI;YAAE;AACvC,QAAA,MAAM,UAAU,GACd,KAAK,EAAE,QAAQ,KAAK,KAAK;YACzB,KAAK,CAAC,YAAY,KAAK,SAAS;AAChC,aAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS;AACpC,gBAAA,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC;QACrC,MAAM,MAAM,GACV,UAAU;AACV,YAAA,KAAK,KAAK,SAAS;YACnB,MAAM,CAAC,aAAa,KAAK,KAAK;AAC9B,YAAA,MAAM,CAAC,gBAAgB,KAAK,IAAI;QAClC,sBAAsB,CAAC,MAAM,CAAC;AAC9B,QAAA,IAAI,CAAC,MAAM;AAAE,YAAA,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC;QACpD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,UAAU;AACjD,YAAA,MAAM,IAAI,KAAK,CACb,iOAAiO,CAClO;AACH,QAAA,IAAI;AACF,YAAA,KAAK,EAAE,YAAY,IAAI;QACzB;QAAE,OAAO,KAAK,EAAE;AACd,YAAA,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC;AACvC,YAAA,MAAM,KAAK;QACb;IACF;AA/BgB,IAAA,mBAAA,CAAA,cAAc,iBA+B7B;AACH,CAAC,EApLgB,mBAAmB,KAAnB,mBAAmB,GAAA,EAAA,CAAA,CAAA;;;;"}
|
|
@@ -85,7 +85,7 @@ function captureExternalInputSnapshot(cached, paths, witness) {
|
|
|
85
85
|
const observations = {};
|
|
86
86
|
const realpaths = {};
|
|
87
87
|
const signatures = {};
|
|
88
|
-
const failures = createGenerationProofFailures.createGenerationProofFailures();
|
|
88
|
+
const failures = createGenerationProofFailures.createGenerationProofFailures(cached.snapshotFailureClassifier);
|
|
89
89
|
const dependencies = [];
|
|
90
90
|
const reported = new Set();
|
|
91
91
|
if (cached.result.type !== "exception") {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"captureExternalInputSnapshot.js","sources":["../../../../src/core/transform/validation/captureExternalInputSnapshot.ts"],"sourcesContent":[null],"names":["envelopeDerivation","resultFilesystem","envelopeGraphIndexes","isDeclarationFile","createGenerationProofFailures","derivationIdentity","recordGenerationProofFailure","inputMetadataEvidence","graphInputObservationFailures","inputMetadataSignature","graphInputStateHash","hostInputRealpath","sameHostInputRealpath","MISSING_INPUT_STATE","hostInputStateHash","toProjectKey"],"mappings":";;;;;;;;;;;;;;;;;;;;AAwBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CG;SACa,4BAA4B,CAC1C,MAAkC,EAClC,KAAwB,EACxB,OAAuE,EAAA;AAgCvE,IAAA,MAAM,KAAK,GAAGA,qCAAkB,CAAC,MAAM,CAAC;IACxC,MAAM,UAAU,GAAGC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,MAAM,KAAK,GAAGC,yCAAoB,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,CAACC,mCAAiB,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.js","sources":["../../../../src/core/transform/validation/captureExternalInputSnapshot.ts"],"sourcesContent":[null],"names":["envelopeDerivation","resultFilesystem","envelopeGraphIndexes","isDeclarationFile","createGenerationProofFailures","derivationIdentity","recordGenerationProofFailure","inputMetadataEvidence","graphInputObservationFailures","inputMetadataSignature","graphInputStateHash","hostInputRealpath","sameHostInputRealpath","MISSING_INPUT_STATE","hostInputStateHash","toProjectKey"],"mappings":";;;;;;;;;;;;;;;;;;;;AAwBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CG;SACa,4BAA4B,CAC1C,MAAkC,EAClC,KAAwB,EACxB,OAAuE,EAAA;AAgCvE,IAAA,MAAM,KAAK,GAAGA,qCAAkB,CAAC,MAAM,CAAC;IACxC,MAAM,UAAU,GAAGC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,MAAM,KAAK,GAAGC,yCAAoB,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,CAACC,mCAAiB,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,GAAGC,2DAA6B,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,GAAGC,qCAAkB,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;gBAChBC,yDAA4B,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,GAAGC,2CAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,YAAA,MAAM,UAAU,GAAGC,2DAA6B,CAC9C,KAAK,EACL,oBAAoB,EACpB,UAAU,EACV,KAAK,CAAC,eAAe,CACtB;YACD,MAAM,KAAK,GAAGC,6CAAsB,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;gBAC7BH,yDAA4B,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;gBAChBA,yDAA4B,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,GAAGC,2CAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;YACvD,MAAM,WAAW,GAAGG,uCAAmB,CAAC,KAAK,EAAE,UAAU,CAAC;YAC1D,MAAM,eAAe,GAAGC,mCAAiB,CAAC,KAAK,EAAE,UAAU,CAAC;YAC5D,MAAM,KAAK,GAAGF,6CAAsB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,YAAA,MAAM,eAAe,GAAGG,2CAAqB,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;oBAC9BN,yDAA4B,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;oBACpBA,yDAA4B,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,IAAIO,uCAAmB;AACpD,YAAA,SAAS,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ;YACpC;QACF;QACA,MAAM,MAAM,GAAGN,2CAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;QACvD,MAAM,IAAI,GAAGO,qCAAkB,CAAC,KAAK,EAAE,UAAU,CAAC;QAClD,MAAM,QAAQ,GAAGH,mCAAiB,CAAC,KAAK,EAAE,UAAU,CAAC;QACrD,MAAM,KAAK,GAAGF,6CAAsB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,QAAA,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,IAAII,uCAAmB;;;;AAI9C,QAAA,MAAM,gBAAgB,GACpB,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;YACtB,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACnC,MAAM,CAAC,WAAW,EAClBE,yBAAY,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;gBAC1BT,yDAA4B,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,CAACM,2CAAqB,CACpB,SAAS,CAAC,QAAQ,EAClB,QAAQ,EACR,KAAK,CAAC,eAAe,CACtB,EACD;gBACA,QAAQ,GAAG,KAAK;gBAChB,kBAAkB,GAAG,KAAK;gBAC1BN,yDAA4B,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;;;;"}
|