@fgv/ts-agent-memory 5.1.0-47 → 5.1.0-49
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/dist/packlets/ingest/orchestrator.js +11 -1
- package/dist/packlets/ingest/orchestrator.js.map +1 -1
- package/dist/packlets/observe/memoryObservationStore.js +6 -0
- package/dist/packlets/observe/memoryObservationStore.js.map +1 -1
- package/dist/packlets/observe/observer.js.map +1 -1
- package/dist/packlets/retrieve/linkTraversalRetriever.js +1 -1
- package/dist/packlets/retrieve/linkTraversalRetriever.js.map +1 -1
- package/dist/packlets/retrieve/recencyRetriever.js +1 -1
- package/dist/packlets/retrieve/recencyRetriever.js.map +1 -1
- package/dist/packlets/retrieve/retriever.js +11 -5
- package/dist/packlets/retrieve/retriever.js.map +1 -1
- package/dist/packlets/retrieve/structuredFilterRetriever.js +27 -5
- package/dist/packlets/retrieve/structuredFilterRetriever.js.map +1 -1
- package/dist/packlets/retrieve/tagRetriever.js +1 -1
- package/dist/packlets/retrieve/tagRetriever.js.map +1 -1
- package/dist/packlets/retrieve/temporalRetrievers.js +1 -1
- package/dist/packlets/retrieve/temporalRetrievers.js.map +1 -1
- package/dist/packlets/store/fileTreeMemoryStore.js +152 -132
- package/dist/packlets/store/fileTreeMemoryStore.js.map +1 -1
- package/dist/packlets/store/vectorMaintenance.js +251 -0
- package/dist/packlets/store/vectorMaintenance.js.map +1 -0
- package/dist/packlets/types/envelope.js.map +1 -1
- package/dist/packlets/vector/inMemoryCosineIndex.js +81 -18
- package/dist/packlets/vector/inMemoryCosineIndex.js.map +1 -1
- package/dist/packlets/vector/inMemoryFragmentCosineIndex.js +7 -0
- package/dist/packlets/vector/inMemoryFragmentCosineIndex.js.map +1 -1
- package/dist/packlets/vector/vectorIndex.js.map +1 -1
- package/dist/ts-agent-memory.d.ts +431 -79
- package/lib/packlets/ingest/orchestrator.d.ts.map +1 -1
- package/lib/packlets/ingest/orchestrator.js +11 -1
- package/lib/packlets/ingest/orchestrator.js.map +1 -1
- package/lib/packlets/observe/memoryObservationStore.d.ts.map +1 -1
- package/lib/packlets/observe/memoryObservationStore.js +6 -0
- package/lib/packlets/observe/memoryObservationStore.js.map +1 -1
- package/lib/packlets/observe/observer.d.ts +61 -0
- package/lib/packlets/observe/observer.d.ts.map +1 -1
- package/lib/packlets/observe/observer.js.map +1 -1
- package/lib/packlets/retrieve/linkTraversalRetriever.d.ts +1 -1
- package/lib/packlets/retrieve/linkTraversalRetriever.js +1 -1
- package/lib/packlets/retrieve/linkTraversalRetriever.js.map +1 -1
- package/lib/packlets/retrieve/recencyRetriever.d.ts +1 -1
- package/lib/packlets/retrieve/recencyRetriever.js +1 -1
- package/lib/packlets/retrieve/recencyRetriever.js.map +1 -1
- package/lib/packlets/retrieve/retriever.d.ts +26 -7
- package/lib/packlets/retrieve/retriever.d.ts.map +1 -1
- package/lib/packlets/retrieve/retriever.js +11 -5
- package/lib/packlets/retrieve/retriever.js.map +1 -1
- package/lib/packlets/retrieve/structuredFilterRetriever.d.ts +26 -4
- package/lib/packlets/retrieve/structuredFilterRetriever.d.ts.map +1 -1
- package/lib/packlets/retrieve/structuredFilterRetriever.js +27 -5
- package/lib/packlets/retrieve/structuredFilterRetriever.js.map +1 -1
- package/lib/packlets/retrieve/tagRetriever.d.ts +1 -1
- package/lib/packlets/retrieve/tagRetriever.js +1 -1
- package/lib/packlets/retrieve/tagRetriever.js.map +1 -1
- package/lib/packlets/retrieve/temporalRetrievers.js +1 -1
- package/lib/packlets/retrieve/temporalRetrievers.js.map +1 -1
- package/lib/packlets/store/fileTreeMemoryStore.d.ts +135 -59
- package/lib/packlets/store/fileTreeMemoryStore.d.ts.map +1 -1
- package/lib/packlets/store/fileTreeMemoryStore.js +151 -131
- package/lib/packlets/store/fileTreeMemoryStore.js.map +1 -1
- package/lib/packlets/store/vectorMaintenance.d.ts +149 -0
- package/lib/packlets/store/vectorMaintenance.d.ts.map +1 -0
- package/lib/packlets/store/vectorMaintenance.js +255 -0
- package/lib/packlets/store/vectorMaintenance.js.map +1 -0
- package/lib/packlets/types/envelope.d.ts +11 -0
- package/lib/packlets/types/envelope.d.ts.map +1 -1
- package/lib/packlets/types/envelope.js.map +1 -1
- package/lib/packlets/vector/inMemoryCosineIndex.d.ts +30 -7
- package/lib/packlets/vector/inMemoryCosineIndex.d.ts.map +1 -1
- package/lib/packlets/vector/inMemoryCosineIndex.js +80 -17
- package/lib/packlets/vector/inMemoryCosineIndex.js.map +1 -1
- package/lib/packlets/vector/inMemoryFragmentCosineIndex.d.ts +7 -0
- package/lib/packlets/vector/inMemoryFragmentCosineIndex.d.ts.map +1 -1
- package/lib/packlets/vector/inMemoryFragmentCosineIndex.js +7 -0
- package/lib/packlets/vector/inMemoryFragmentCosineIndex.js.map +1 -1
- package/lib/packlets/vector/vectorIndex.d.ts +129 -1
- package/lib/packlets/vector/vectorIndex.d.ts.map +1 -1
- package/lib/packlets/vector/vectorIndex.js.map +1 -1
- package/package.json +17 -7
- package/.rush/temp/5667e36f1c0cc503a5c20a3ebff76e7b9a702d41.tar.log +0 -468
- package/.rush/temp/chunked-rush-logs/ts-agent-memory.build.chunks.jsonl +0 -9
- package/.rush/temp/operation/build/all.log +0 -9
- package/.rush/temp/operation/build/log-chunks.jsonl +0 -9
- package/.rush/temp/operation/build/state.json +0 -3
- package/.rush/temp/shrinkwrap-deps.json +0 -689
- package/config/api-extractor.json +0 -343
- package/config/jest.config.json +0 -14
- package/config/rig.json +0 -4
- package/dist/test/unit/converters/antagonistRoundTrip.test.js +0 -95
- package/dist/test/unit/converters/antagonistRoundTrip.test.js.map +0 -1
- package/dist/test/unit/converters/bodyConverterRegistry.test.js +0 -72
- package/dist/test/unit/converters/bodyConverterRegistry.test.js.map +0 -1
- package/dist/test/unit/converters/envelopeConverter.test.js +0 -313
- package/dist/test/unit/converters/envelopeConverter.test.js.map +0 -1
- package/dist/test/unit/index/memoryIndex.test.js +0 -214
- package/dist/test/unit/index/memoryIndex.test.js.map +0 -1
- package/dist/test/unit/ingest/antagonistCycleAndParity.test.js +0 -277
- package/dist/test/unit/ingest/antagonistCycleAndParity.test.js.map +0 -1
- package/dist/test/unit/ingest/cycleGuard.test.js +0 -81
- package/dist/test/unit/ingest/cycleGuard.test.js.map +0 -1
- package/dist/test/unit/ingest/dedupScope.test.js +0 -434
- package/dist/test/unit/ingest/dedupScope.test.js.map +0 -1
- package/dist/test/unit/ingest/orchestrator.test.js +0 -1058
- package/dist/test/unit/ingest/orchestrator.test.js.map +0 -1
- package/dist/test/unit/observe/memoryObservationStore.test.js +0 -118
- package/dist/test/unit/observe/memoryObservationStore.test.js.map +0 -1
- package/dist/test/unit/retrieve/fragmentSemanticRetriever.test.js +0 -116
- package/dist/test/unit/retrieve/fragmentSemanticRetriever.test.js.map +0 -1
- package/dist/test/unit/retrieve/linkTraversalRetriever.test.js +0 -257
- package/dist/test/unit/retrieve/linkTraversalRetriever.test.js.map +0 -1
- package/dist/test/unit/retrieve/retrievers.test.js +0 -768
- package/dist/test/unit/retrieve/retrievers.test.js.map +0 -1
- package/dist/test/unit/retrieve/temporalRetrievers.test.js +0 -182
- package/dist/test/unit/retrieve/temporalRetrievers.test.js.map +0 -1
- package/dist/test/unit/store/antagonistTemporalBoundary.test.js +0 -120
- package/dist/test/unit/store/antagonistTemporalBoundary.test.js.map +0 -1
- package/dist/test/unit/store/embedOnWrite.test.js +0 -317
- package/dist/test/unit/store/embedOnWrite.test.js.map +0 -1
- package/dist/test/unit/store/fileTreeMemoryStore.test.js +0 -778
- package/dist/test/unit/store/fileTreeMemoryStore.test.js.map +0 -1
- package/dist/test/unit/store/fragmentEmbedOnWrite.test.js +0 -255
- package/dist/test/unit/store/fragmentEmbedOnWrite.test.js.map +0 -1
- package/dist/test/unit/store/indexInjection.test.js +0 -432
- package/dist/test/unit/store/indexInjection.test.js.map +0 -1
- package/dist/test/unit/store/lenientOpen.test.js +0 -248
- package/dist/test/unit/store/lenientOpen.test.js.map +0 -1
- package/dist/test/unit/store/listScoped.test.js +0 -109
- package/dist/test/unit/store/listScoped.test.js.map +0 -1
- package/dist/test/unit/store/observations.test.js +0 -239
- package/dist/test/unit/store/observations.test.js.map +0 -1
- package/dist/test/unit/store/rankAxis.test.js +0 -254
- package/dist/test/unit/store/rankAxis.test.js.map +0 -1
- package/dist/test/unit/store/scopeEncoding.test.js +0 -24
- package/dist/test/unit/store/scopeEncoding.test.js.map +0 -1
- package/dist/test/unit/store/temporalStore.test.js +0 -398
- package/dist/test/unit/store/temporalStore.test.js.map +0 -1
- package/dist/test/unit/tools/memoryTools.test.js +0 -842
- package/dist/test/unit/tools/memoryTools.test.js.map +0 -1
- package/dist/test/unit/types/identityCodec.test.js +0 -187
- package/dist/test/unit/types/identityCodec.test.js.map +0 -1
- package/dist/test/unit/types/ids.test.js +0 -84
- package/dist/test/unit/types/ids.test.js.map +0 -1
- package/dist/test/unit/types/temporalCodec.test.js +0 -203
- package/dist/test/unit/types/temporalCodec.test.js.map +0 -1
- package/dist/test/unit/types/temporalPolicy.test.js +0 -83
- package/dist/test/unit/types/temporalPolicy.test.js.map +0 -1
- package/dist/test/unit/types/writePolicy.test.js +0 -331
- package/dist/test/unit/types/writePolicy.test.js.map +0 -1
- package/dist/test/unit/vector/fragmentConverters.test.js +0 -58
- package/dist/test/unit/vector/fragmentConverters.test.js.map +0 -1
- package/dist/test/unit/vector/inMemoryCosineIndex.test.js +0 -252
- package/dist/test/unit/vector/inMemoryCosineIndex.test.js.map +0 -1
- package/dist/test/unit/vector/inMemoryFragmentCosineIndex.test.js +0 -362
- package/dist/test/unit/vector/inMemoryFragmentCosineIndex.test.js.map +0 -1
- package/dist/test/unit/vector/vectorIndex.test.js +0 -51
- package/dist/test/unit/vector/vectorIndex.test.js.map +0 -1
- package/eslint.config.js +0 -15
- package/etc/ts-agent-memory.api.md +0 -940
- package/lib/test/unit/converters/antagonistRoundTrip.test.d.ts +0 -10
- package/lib/test/unit/converters/antagonistRoundTrip.test.d.ts.map +0 -1
- package/lib/test/unit/converters/antagonistRoundTrip.test.js +0 -97
- package/lib/test/unit/converters/antagonistRoundTrip.test.js.map +0 -1
- package/lib/test/unit/converters/bodyConverterRegistry.test.d.ts +0 -2
- package/lib/test/unit/converters/bodyConverterRegistry.test.d.ts.map +0 -1
- package/lib/test/unit/converters/bodyConverterRegistry.test.js +0 -74
- package/lib/test/unit/converters/bodyConverterRegistry.test.js.map +0 -1
- package/lib/test/unit/converters/envelopeConverter.test.d.ts +0 -2
- package/lib/test/unit/converters/envelopeConverter.test.d.ts.map +0 -1
- package/lib/test/unit/converters/envelopeConverter.test.js +0 -315
- package/lib/test/unit/converters/envelopeConverter.test.js.map +0 -1
- package/lib/test/unit/index/memoryIndex.test.d.ts +0 -2
- package/lib/test/unit/index/memoryIndex.test.d.ts.map +0 -1
- package/lib/test/unit/index/memoryIndex.test.js +0 -216
- package/lib/test/unit/index/memoryIndex.test.js.map +0 -1
- package/lib/test/unit/ingest/antagonistCycleAndParity.test.d.ts +0 -9
- package/lib/test/unit/ingest/antagonistCycleAndParity.test.d.ts.map +0 -1
- package/lib/test/unit/ingest/antagonistCycleAndParity.test.js +0 -279
- package/lib/test/unit/ingest/antagonistCycleAndParity.test.js.map +0 -1
- package/lib/test/unit/ingest/cycleGuard.test.d.ts +0 -2
- package/lib/test/unit/ingest/cycleGuard.test.d.ts.map +0 -1
- package/lib/test/unit/ingest/cycleGuard.test.js +0 -83
- package/lib/test/unit/ingest/cycleGuard.test.js.map +0 -1
- package/lib/test/unit/ingest/dedupScope.test.d.ts +0 -2
- package/lib/test/unit/ingest/dedupScope.test.d.ts.map +0 -1
- package/lib/test/unit/ingest/dedupScope.test.js +0 -436
- package/lib/test/unit/ingest/dedupScope.test.js.map +0 -1
- package/lib/test/unit/ingest/orchestrator.test.d.ts +0 -2
- package/lib/test/unit/ingest/orchestrator.test.d.ts.map +0 -1
- package/lib/test/unit/ingest/orchestrator.test.js +0 -1060
- package/lib/test/unit/ingest/orchestrator.test.js.map +0 -1
- package/lib/test/unit/observe/memoryObservationStore.test.d.ts +0 -2
- package/lib/test/unit/observe/memoryObservationStore.test.d.ts.map +0 -1
- package/lib/test/unit/observe/memoryObservationStore.test.js +0 -120
- package/lib/test/unit/observe/memoryObservationStore.test.js.map +0 -1
- package/lib/test/unit/retrieve/fragmentSemanticRetriever.test.d.ts +0 -2
- package/lib/test/unit/retrieve/fragmentSemanticRetriever.test.d.ts.map +0 -1
- package/lib/test/unit/retrieve/fragmentSemanticRetriever.test.js +0 -118
- package/lib/test/unit/retrieve/fragmentSemanticRetriever.test.js.map +0 -1
- package/lib/test/unit/retrieve/linkTraversalRetriever.test.d.ts +0 -2
- package/lib/test/unit/retrieve/linkTraversalRetriever.test.d.ts.map +0 -1
- package/lib/test/unit/retrieve/linkTraversalRetriever.test.js +0 -259
- package/lib/test/unit/retrieve/linkTraversalRetriever.test.js.map +0 -1
- package/lib/test/unit/retrieve/retrievers.test.d.ts +0 -2
- package/lib/test/unit/retrieve/retrievers.test.d.ts.map +0 -1
- package/lib/test/unit/retrieve/retrievers.test.js +0 -770
- package/lib/test/unit/retrieve/retrievers.test.js.map +0 -1
- package/lib/test/unit/retrieve/temporalRetrievers.test.d.ts +0 -2
- package/lib/test/unit/retrieve/temporalRetrievers.test.d.ts.map +0 -1
- package/lib/test/unit/retrieve/temporalRetrievers.test.js +0 -184
- package/lib/test/unit/retrieve/temporalRetrievers.test.js.map +0 -1
- package/lib/test/unit/store/antagonistTemporalBoundary.test.d.ts +0 -9
- package/lib/test/unit/store/antagonistTemporalBoundary.test.d.ts.map +0 -1
- package/lib/test/unit/store/antagonistTemporalBoundary.test.js +0 -122
- package/lib/test/unit/store/antagonistTemporalBoundary.test.js.map +0 -1
- package/lib/test/unit/store/embedOnWrite.test.d.ts +0 -2
- package/lib/test/unit/store/embedOnWrite.test.d.ts.map +0 -1
- package/lib/test/unit/store/embedOnWrite.test.js +0 -319
- package/lib/test/unit/store/embedOnWrite.test.js.map +0 -1
- package/lib/test/unit/store/fileTreeMemoryStore.test.d.ts +0 -2
- package/lib/test/unit/store/fileTreeMemoryStore.test.d.ts.map +0 -1
- package/lib/test/unit/store/fileTreeMemoryStore.test.js +0 -780
- package/lib/test/unit/store/fileTreeMemoryStore.test.js.map +0 -1
- package/lib/test/unit/store/fragmentEmbedOnWrite.test.d.ts +0 -2
- package/lib/test/unit/store/fragmentEmbedOnWrite.test.d.ts.map +0 -1
- package/lib/test/unit/store/fragmentEmbedOnWrite.test.js +0 -257
- package/lib/test/unit/store/fragmentEmbedOnWrite.test.js.map +0 -1
- package/lib/test/unit/store/indexInjection.test.d.ts +0 -2
- package/lib/test/unit/store/indexInjection.test.d.ts.map +0 -1
- package/lib/test/unit/store/indexInjection.test.js +0 -434
- package/lib/test/unit/store/indexInjection.test.js.map +0 -1
- package/lib/test/unit/store/lenientOpen.test.d.ts +0 -2
- package/lib/test/unit/store/lenientOpen.test.d.ts.map +0 -1
- package/lib/test/unit/store/lenientOpen.test.js +0 -250
- package/lib/test/unit/store/lenientOpen.test.js.map +0 -1
- package/lib/test/unit/store/listScoped.test.d.ts +0 -2
- package/lib/test/unit/store/listScoped.test.d.ts.map +0 -1
- package/lib/test/unit/store/listScoped.test.js +0 -111
- package/lib/test/unit/store/listScoped.test.js.map +0 -1
- package/lib/test/unit/store/observations.test.d.ts +0 -2
- package/lib/test/unit/store/observations.test.d.ts.map +0 -1
- package/lib/test/unit/store/observations.test.js +0 -241
- package/lib/test/unit/store/observations.test.js.map +0 -1
- package/lib/test/unit/store/rankAxis.test.d.ts +0 -2
- package/lib/test/unit/store/rankAxis.test.d.ts.map +0 -1
- package/lib/test/unit/store/rankAxis.test.js +0 -256
- package/lib/test/unit/store/rankAxis.test.js.map +0 -1
- package/lib/test/unit/store/scopeEncoding.test.d.ts +0 -2
- package/lib/test/unit/store/scopeEncoding.test.d.ts.map +0 -1
- package/lib/test/unit/store/scopeEncoding.test.js +0 -26
- package/lib/test/unit/store/scopeEncoding.test.js.map +0 -1
- package/lib/test/unit/store/temporalStore.test.d.ts +0 -2
- package/lib/test/unit/store/temporalStore.test.d.ts.map +0 -1
- package/lib/test/unit/store/temporalStore.test.js +0 -400
- package/lib/test/unit/store/temporalStore.test.js.map +0 -1
- package/lib/test/unit/tools/memoryTools.test.d.ts +0 -2
- package/lib/test/unit/tools/memoryTools.test.d.ts.map +0 -1
- package/lib/test/unit/tools/memoryTools.test.js +0 -844
- package/lib/test/unit/tools/memoryTools.test.js.map +0 -1
- package/lib/test/unit/types/identityCodec.test.d.ts +0 -2
- package/lib/test/unit/types/identityCodec.test.d.ts.map +0 -1
- package/lib/test/unit/types/identityCodec.test.js +0 -189
- package/lib/test/unit/types/identityCodec.test.js.map +0 -1
- package/lib/test/unit/types/ids.test.d.ts +0 -2
- package/lib/test/unit/types/ids.test.d.ts.map +0 -1
- package/lib/test/unit/types/ids.test.js +0 -86
- package/lib/test/unit/types/ids.test.js.map +0 -1
- package/lib/test/unit/types/temporalCodec.test.d.ts +0 -2
- package/lib/test/unit/types/temporalCodec.test.d.ts.map +0 -1
- package/lib/test/unit/types/temporalCodec.test.js +0 -205
- package/lib/test/unit/types/temporalCodec.test.js.map +0 -1
- package/lib/test/unit/types/temporalPolicy.test.d.ts +0 -2
- package/lib/test/unit/types/temporalPolicy.test.d.ts.map +0 -1
- package/lib/test/unit/types/temporalPolicy.test.js +0 -85
- package/lib/test/unit/types/temporalPolicy.test.js.map +0 -1
- package/lib/test/unit/types/writePolicy.test.d.ts +0 -2
- package/lib/test/unit/types/writePolicy.test.d.ts.map +0 -1
- package/lib/test/unit/types/writePolicy.test.js +0 -333
- package/lib/test/unit/types/writePolicy.test.js.map +0 -1
- package/lib/test/unit/vector/fragmentConverters.test.d.ts +0 -2
- package/lib/test/unit/vector/fragmentConverters.test.d.ts.map +0 -1
- package/lib/test/unit/vector/fragmentConverters.test.js +0 -60
- package/lib/test/unit/vector/fragmentConverters.test.js.map +0 -1
- package/lib/test/unit/vector/inMemoryCosineIndex.test.d.ts +0 -2
- package/lib/test/unit/vector/inMemoryCosineIndex.test.d.ts.map +0 -1
- package/lib/test/unit/vector/inMemoryCosineIndex.test.js +0 -254
- package/lib/test/unit/vector/inMemoryCosineIndex.test.js.map +0 -1
- package/lib/test/unit/vector/inMemoryFragmentCosineIndex.test.d.ts +0 -2
- package/lib/test/unit/vector/inMemoryFragmentCosineIndex.test.d.ts.map +0 -1
- package/lib/test/unit/vector/inMemoryFragmentCosineIndex.test.js +0 -364
- package/lib/test/unit/vector/inMemoryFragmentCosineIndex.test.js.map +0 -1
- package/lib/test/unit/vector/vectorIndex.test.d.ts +0 -2
- package/lib/test/unit/vector/vectorIndex.test.d.ts.map +0 -1
- package/lib/test/unit/vector/vectorIndex.test.js +0 -53
- package/lib/test/unit/vector/vectorIndex.test.js.map +0 -1
- package/rush-logs/ts-agent-memory.build.cache.log +0 -3
- package/rush-logs/ts-agent-memory.build.log +0 -9
- package/src/index.ts +0 -14
- package/src/packlets/converters/bodyConverterRegistry.ts +0 -105
- package/src/packlets/converters/envelopeConverter.ts +0 -233
- package/src/packlets/converters/index.ts +0 -7
- package/src/packlets/index/index.ts +0 -6
- package/src/packlets/index/memoryIndex.ts +0 -332
- package/src/packlets/ingest/cycleGuard.ts +0 -153
- package/src/packlets/ingest/hostStages.ts +0 -111
- package/src/packlets/ingest/index.ts +0 -9
- package/src/packlets/ingest/model.ts +0 -195
- package/src/packlets/ingest/orchestrator.ts +0 -968
- package/src/packlets/observe/index.ts +0 -7
- package/src/packlets/observe/memoryObservationStore.ts +0 -153
- package/src/packlets/observe/observer.ts +0 -119
- package/src/packlets/retrieve/fragmentSemanticRetriever.ts +0 -138
- package/src/packlets/retrieve/hybridRetriever.ts +0 -194
- package/src/packlets/retrieve/index.ts +0 -14
- package/src/packlets/retrieve/linkTraversalRetriever.ts +0 -158
- package/src/packlets/retrieve/recencyRetriever.ts +0 -54
- package/src/packlets/retrieve/retriever.ts +0 -291
- package/src/packlets/retrieve/semanticRetriever.ts +0 -152
- package/src/packlets/retrieve/structuredFilterRetriever.ts +0 -58
- package/src/packlets/retrieve/tagRetriever.ts +0 -58
- package/src/packlets/retrieve/temporalRetrievers.ts +0 -210
- package/src/packlets/store/fileTreeMemoryStore.ts +0 -1872
- package/src/packlets/store/index.ts +0 -7
- package/src/packlets/store/scopeEncoding.ts +0 -36
- package/src/packlets/tools/index.ts +0 -6
- package/src/packlets/tools/memoryTools.ts +0 -706
- package/src/packlets/types/envelope.ts +0 -196
- package/src/packlets/types/filenameSafety.ts +0 -57
- package/src/packlets/types/identityCodec.ts +0 -447
- package/src/packlets/types/ids.ts +0 -124
- package/src/packlets/types/index.ts +0 -11
- package/src/packlets/types/temporal.ts +0 -96
- package/src/packlets/types/writePolicy.ts +0 -612
- package/src/packlets/vector/fragmentConverters.ts +0 -55
- package/src/packlets/vector/inMemoryCosineIndex.ts +0 -196
- package/src/packlets/vector/inMemoryFragmentCosineIndex.ts +0 -289
- package/src/packlets/vector/index.ts +0 -9
- package/src/packlets/vector/vectorIndex.ts +0 -273
- package/src/test/unit/converters/antagonistRoundTrip.test.ts +0 -110
- package/src/test/unit/converters/bodyConverterRegistry.test.ts +0 -89
- package/src/test/unit/converters/envelopeConverter.test.ts +0 -418
- package/src/test/unit/index/memoryIndex.test.ts +0 -272
- package/src/test/unit/ingest/antagonistCycleAndParity.test.ts +0 -367
- package/src/test/unit/ingest/cycleGuard.test.ts +0 -110
- package/src/test/unit/ingest/dedupScope.test.ts +0 -542
- package/src/test/unit/ingest/orchestrator.test.ts +0 -1355
- package/src/test/unit/observe/memoryObservationStore.test.ts +0 -158
- package/src/test/unit/retrieve/fragmentSemanticRetriever.test.ts +0 -163
- package/src/test/unit/retrieve/linkTraversalRetriever.test.ts +0 -329
- package/src/test/unit/retrieve/retrievers.test.ts +0 -1018
- package/src/test/unit/retrieve/temporalRetrievers.test.ts +0 -226
- package/src/test/unit/store/antagonistTemporalBoundary.test.ts +0 -158
- package/src/test/unit/store/embedOnWrite.test.ts +0 -418
- package/src/test/unit/store/fileTreeMemoryStore.test.ts +0 -1041
- package/src/test/unit/store/fragmentEmbedOnWrite.test.ts +0 -349
- package/src/test/unit/store/indexInjection.test.ts +0 -550
- package/src/test/unit/store/lenientOpen.test.ts +0 -292
- package/src/test/unit/store/listScoped.test.ts +0 -138
- package/src/test/unit/store/observations.test.ts +0 -290
- package/src/test/unit/store/rankAxis.test.ts +0 -349
- package/src/test/unit/store/scopeEncoding.test.ts +0 -37
- package/src/test/unit/store/temporalStore.test.ts +0 -469
- package/src/test/unit/tools/memoryTools.test.ts +0 -1121
- package/src/test/unit/types/identityCodec.test.ts +0 -266
- package/src/test/unit/types/ids.test.ts +0 -94
- package/src/test/unit/types/temporalCodec.test.ts +0 -259
- package/src/test/unit/types/temporalPolicy.test.ts +0 -124
- package/src/test/unit/types/writePolicy.test.ts +0 -446
- package/src/test/unit/vector/fragmentConverters.test.ts +0 -80
- package/src/test/unit/vector/inMemoryCosineIndex.test.ts +0 -318
- package/src/test/unit/vector/inMemoryFragmentCosineIndex.test.ts +0 -477
- package/src/test/unit/vector/vectorIndex.test.ts +0 -64
- package/temp/build/lint/_eslint-5eVG3S6w.json +0 -306
- package/temp/build/typescript/ts_8nwakTlr.json +0 -1
- package/temp/ts-agent-memory.api.json +0 -21030
- package/temp/ts-agent-memory.api.md +0 -940
- package/tsconfig.json +0 -8
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"scopeEncoding.test.js","sourceRoot":"","sources":["../../../../src/test/unit/store/scopeEncoding.test.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAEH,8BAA4B;AAC5B,0CAA4E;AAE5E,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAI,CAAC,0CAA0C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,IAAA,kCAA0B,EAAC,WAA6B,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,IAAA,kCAA0B,EAAC,sBAAwC,CAAC,CAAC,CAAC,aAAa,CACxF,sBAAsB,CACvB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,IAAA,kCAA0B,EAAC,uBAAyC,CAAC,CAAC,CAAC,UAAU,CACtF,wBAAwB,CACzB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,IAAA,kCAA0B,EAAC,mBAAqC,CAAC,CAAC,CAAC,UAAU,CAClF,qBAAqB,CACtB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,IAAA,kCAA0B,EAAC,mBAAqC,CAAC,CAAC,CAAC,UAAU,CAClF,0BAA0B,CAC3B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["/*\n * Copyright (c) 2026 Erik Fortune\n * SPDX-License-Identifier: MIT\n */\n\nimport '@fgv/ts-utils-jest';\nimport { MemoryScopeKey, defaultMemoryScopeEncoding } from '../../../index';\n\ndescribe('defaultMemoryScopeEncoding', () => {\n test('passes a single portable segment through', () => {\n expect(defaultMemoryScopeEncoding('knowledge' as MemoryScopeKey)).toSucceedWith('knowledge');\n });\n\n test('validates and rejoins a multi-segment scope', () => {\n expect(defaultMemoryScopeEncoding('conversations/conv-1' as MemoryScopeKey)).toSucceedWith(\n 'conversations/conv-1'\n );\n });\n\n test('rejects a segment outside the portable filename set', () => {\n expect(defaultMemoryScopeEncoding('conversations/bad:seg' as MemoryScopeKey)).toFailWith(\n /portable filename set/i\n );\n });\n\n test('rejects an empty path segment', () => {\n expect(defaultMemoryScopeEncoding('conversations//c1' as MemoryScopeKey)).toFailWith(\n /empty path segment/i\n );\n });\n\n test('rejects a reserved Windows device segment', () => {\n expect(defaultMemoryScopeEncoding('conversations/CON' as MemoryScopeKey)).toFailWith(\n /reserved Windows device/i\n );\n });\n});\n"]}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"temporalStore.test.d.ts","sourceRoot":"","sources":["../../../../src/test/unit/store/temporalStore.test.ts"],"names":[],"mappings":"AAKA,OAAO,oBAAoB,CAAC"}
|
|
@@ -1,400 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
/*
|
|
3
|
-
* Copyright (c) 2026 Erik Fortune
|
|
4
|
-
* SPDX-License-Identifier: MIT
|
|
5
|
-
*/
|
|
6
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
7
|
-
require("@fgv/ts-utils-jest");
|
|
8
|
-
const ts_utils_1 = require("@fgv/ts-utils");
|
|
9
|
-
const ts_json_base_1 = require("@fgv/ts-json-base");
|
|
10
|
-
const index_1 = require("../../../index");
|
|
11
|
-
const factKind = 'fact';
|
|
12
|
-
const knowledgeKind = 'knowledge';
|
|
13
|
-
const factScope = 'facts/entities/fact-1';
|
|
14
|
-
function mutableRoot(files = []) {
|
|
15
|
-
const tree = ts_json_base_1.FileTree.inMemory([...files], { mutable: true }).orThrow();
|
|
16
|
-
const root = tree.getDirectory('/').orThrow();
|
|
17
|
-
if (!ts_json_base_1.FileTree.isMutableDirectoryItem(root)) {
|
|
18
|
-
throw new Error('expected a mutable root directory');
|
|
19
|
-
}
|
|
20
|
-
return root;
|
|
21
|
-
}
|
|
22
|
-
/**
|
|
23
|
-
* A raw seeded `fact-1` version file. `invalidAt` absent → a CURRENT version;
|
|
24
|
-
* seeding two current versions reproduces a stuck partial-invalidation state.
|
|
25
|
-
*/
|
|
26
|
-
function seedFactVersion(seq, validAt, invalidAt) {
|
|
27
|
-
const temporal = invalidAt === undefined ? { valid_at: validAt } : { valid_at: validAt, invalid_at: invalidAt };
|
|
28
|
-
const envelope = {
|
|
29
|
-
id: `fact-1-v${seq}`,
|
|
30
|
-
entityId: 'fact-1',
|
|
31
|
-
kind: factKind,
|
|
32
|
-
tags: [],
|
|
33
|
-
links: [],
|
|
34
|
-
created: validAt,
|
|
35
|
-
updated: validAt,
|
|
36
|
-
seq,
|
|
37
|
-
contentHash: `seed-${seq}`,
|
|
38
|
-
provenance: { source: 'agent' },
|
|
39
|
-
temporal
|
|
40
|
-
};
|
|
41
|
-
return {
|
|
42
|
-
path: `facts/entities/fact-1/fact-1-v${seq}.md`,
|
|
43
|
-
contents: (0, index_1.serializeMemoryFile)(envelope, `seed body v${seq}`).orThrow()
|
|
44
|
-
};
|
|
45
|
-
}
|
|
46
|
-
function registry() {
|
|
47
|
-
const reg = index_1.BodyConverterRegistry.create().orThrow();
|
|
48
|
-
reg.register(factKind, ts_utils_1.Converters.string);
|
|
49
|
-
reg.register(knowledgeKind, ts_utils_1.Converters.string);
|
|
50
|
-
return reg;
|
|
51
|
-
}
|
|
52
|
-
const codecs = new Map([
|
|
53
|
-
[factKind, index_1.TemporalIdentityCodec.create('facts').orThrow()],
|
|
54
|
-
[knowledgeKind, new index_1.KnowledgeIdentityCodec()]
|
|
55
|
-
]);
|
|
56
|
-
const temporalPolicies = new Map([
|
|
57
|
-
[factKind, index_1.TemporalVersionedPolicy.create().orThrow()]
|
|
58
|
-
]);
|
|
59
|
-
/** A record the consumer hands to `put`. The store mints the version `id`. */
|
|
60
|
-
function factRecord(entityId, body) {
|
|
61
|
-
return {
|
|
62
|
-
envelope: {
|
|
63
|
-
id: entityId,
|
|
64
|
-
entityId: entityId,
|
|
65
|
-
kind: factKind,
|
|
66
|
-
tags: [],
|
|
67
|
-
links: [],
|
|
68
|
-
created: 0,
|
|
69
|
-
updated: 0,
|
|
70
|
-
seq: 0,
|
|
71
|
-
contentHash: '',
|
|
72
|
-
provenance: { source: 'agent' }
|
|
73
|
-
},
|
|
74
|
-
body
|
|
75
|
-
};
|
|
76
|
-
}
|
|
77
|
-
/** Like {@link factRecord} but supplying an explicit world-truth `valid_at`. */
|
|
78
|
-
function factRecordAt(entityId, body, validAt) {
|
|
79
|
-
const base = factRecord(entityId, body);
|
|
80
|
-
return { envelope: Object.assign(Object.assign({}, base.envelope), { temporal: { valid_at: validAt } }), body: base.body };
|
|
81
|
-
}
|
|
82
|
-
/** Like {@link factRecord} but supplying revised `tags` (metadata surface). */
|
|
83
|
-
function factRecordWithTags(entityId, body, tags) {
|
|
84
|
-
const base = factRecord(entityId, body);
|
|
85
|
-
return {
|
|
86
|
-
envelope: Object.assign(Object.assign({}, base.envelope), { tags: tags }),
|
|
87
|
-
body: base.body
|
|
88
|
-
};
|
|
89
|
-
}
|
|
90
|
-
function knowledgeRecord(id, body) {
|
|
91
|
-
return {
|
|
92
|
-
envelope: {
|
|
93
|
-
id: id,
|
|
94
|
-
entityId: id,
|
|
95
|
-
kind: knowledgeKind,
|
|
96
|
-
tags: [],
|
|
97
|
-
links: [],
|
|
98
|
-
created: 0,
|
|
99
|
-
updated: 0,
|
|
100
|
-
seq: 0,
|
|
101
|
-
contentHash: '',
|
|
102
|
-
provenance: { source: 'agent' }
|
|
103
|
-
},
|
|
104
|
-
body
|
|
105
|
-
};
|
|
106
|
-
}
|
|
107
|
-
describe('FileTreeMemoryStore — temporal (versioned) path', () => {
|
|
108
|
-
let clockValue;
|
|
109
|
-
const clock = () => clockValue;
|
|
110
|
-
function createStore(root = mutableRoot(), policies = temporalPolicies) {
|
|
111
|
-
return index_1.FileTreeMemoryStore.create({
|
|
112
|
-
root,
|
|
113
|
-
registry: registry(),
|
|
114
|
-
codecs,
|
|
115
|
-
writePolicies: policies,
|
|
116
|
-
clock
|
|
117
|
-
}).orThrow();
|
|
118
|
-
}
|
|
119
|
-
beforeEach(() => {
|
|
120
|
-
clockValue = 1000;
|
|
121
|
-
});
|
|
122
|
-
describe('put / get', () => {
|
|
123
|
-
test('first put writes v1 under the entity subtree with a minted version id', async () => {
|
|
124
|
-
const store = createStore();
|
|
125
|
-
expect(await store.put(factRecord('fact-1', 'the sky is blue'))).toSucceedAndSatisfy((put) => {
|
|
126
|
-
expect(put.envelope.id).toBe('fact-1-v1');
|
|
127
|
-
expect(put.envelope.entityId).toBe('fact-1');
|
|
128
|
-
expect(put.envelope.temporal).toEqual({ valid_at: 1000 });
|
|
129
|
-
});
|
|
130
|
-
// Keyed get resolves the current version.
|
|
131
|
-
expect(await store.get(factKind, 'fact-1')).toSucceedAndSatisfy((got) => {
|
|
132
|
-
expect(got === null || got === void 0 ? void 0 : got.envelope.id).toBe('fact-1-v1');
|
|
133
|
-
expect(got === null || got === void 0 ? void 0 : got.body).toBe('the sky is blue');
|
|
134
|
-
});
|
|
135
|
-
// The version file lives at facts/entities/fact-1/fact-1-v1.md.
|
|
136
|
-
expect(await store.getById(factScope, 'fact-1-v1')).toSucceedAndSatisfy((got) => {
|
|
137
|
-
expect(got === null || got === void 0 ? void 0 : got.body).toBe('the sky is blue');
|
|
138
|
-
});
|
|
139
|
-
});
|
|
140
|
-
test('get returns undefined for an entity with no versions', async () => {
|
|
141
|
-
const store = createStore();
|
|
142
|
-
expect(await store.get(factKind, 'nope')).toSucceedWith(undefined);
|
|
143
|
-
});
|
|
144
|
-
});
|
|
145
|
-
describe("merge-patch-under-versioning (invalidate-don't-delete)", () => {
|
|
146
|
-
test('a re-put yields a NEW version and invalidates the prior (both persist)', async () => {
|
|
147
|
-
const store = createStore();
|
|
148
|
-
expect(await store.put(factRecord('fact-1', 'the sky is blue'))).toSucceed();
|
|
149
|
-
clockValue = 2000;
|
|
150
|
-
expect(await store.put(factRecord('fact-1', 'the sky is grey'))).toSucceedAndSatisfy((put) => {
|
|
151
|
-
expect(put.envelope.id).toBe('fact-1-v2');
|
|
152
|
-
expect(put.envelope.temporal).toEqual({ valid_at: 2000 });
|
|
153
|
-
expect(put.body).toBe('the sky is grey');
|
|
154
|
-
});
|
|
155
|
-
// Both versions persist.
|
|
156
|
-
expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {
|
|
157
|
-
expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);
|
|
158
|
-
});
|
|
159
|
-
// The prior version now carries invalid_at.
|
|
160
|
-
expect(await store.getById(factScope, 'fact-1-v1')).toSucceedAndSatisfy((v1) => {
|
|
161
|
-
expect(v1 === null || v1 === void 0 ? void 0 : v1.envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 2000 });
|
|
162
|
-
});
|
|
163
|
-
// The new version is current.
|
|
164
|
-
expect(await store.get(factKind, 'fact-1')).toSucceedAndSatisfy((cur) => {
|
|
165
|
-
expect(cur === null || cur === void 0 ? void 0 : cur.envelope.id).toBe('fact-1-v2');
|
|
166
|
-
});
|
|
167
|
-
});
|
|
168
|
-
test('survives a round-trip through disk (fresh store re-indexes the subtree)', async () => {
|
|
169
|
-
const root = mutableRoot();
|
|
170
|
-
const store = createStore(root);
|
|
171
|
-
expect(await store.put(factRecord('fact-1', 'v1 body'))).toSucceed();
|
|
172
|
-
clockValue = 2000;
|
|
173
|
-
expect(await store.put(factRecord('fact-1', 'v2 body'))).toSucceed();
|
|
174
|
-
const reopened = createStore(root);
|
|
175
|
-
expect(await reopened.list({ kind: factKind })).toSucceedAndSatisfy((all) => {
|
|
176
|
-
expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);
|
|
177
|
-
});
|
|
178
|
-
expect(await reopened.get(factKind, 'fact-1')).toSucceedAndSatisfy((cur) => {
|
|
179
|
-
expect(cur === null || cur === void 0 ? void 0 : cur.envelope.id).toBe('fact-1-v2');
|
|
180
|
-
});
|
|
181
|
-
});
|
|
182
|
-
test('an identical re-put is a no-op (entity dedup, no redundant version)', async () => {
|
|
183
|
-
const store = createStore();
|
|
184
|
-
expect(await store.put(factRecord('fact-1', 'same'))).toSucceed();
|
|
185
|
-
clockValue = 2000;
|
|
186
|
-
expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((put) => {
|
|
187
|
-
expect(put.envelope.id).toBe('fact-1-v1'); // still v1
|
|
188
|
-
});
|
|
189
|
-
expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {
|
|
190
|
-
expect(all).toHaveLength(1);
|
|
191
|
-
});
|
|
192
|
-
});
|
|
193
|
-
test('a metadata-only revision (same body, revised tags) mints a new version, not swallowed', async () => {
|
|
194
|
-
// TemporalVersionedPolicy declares tags/provenance mutable and
|
|
195
|
-
// _buildVersionedRecord merges them via applyUpdate; the content-hash dedup
|
|
196
|
-
// must NOT short-circuit a metadata-only revision, or that merge branch is
|
|
197
|
-
// unreachable and the revision is dropped entirely.
|
|
198
|
-
const store = createStore();
|
|
199
|
-
expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((v1) => {
|
|
200
|
-
expect(v1.envelope.id).toBe('fact-1-v1');
|
|
201
|
-
expect(v1.envelope.tags).toEqual([]);
|
|
202
|
-
});
|
|
203
|
-
clockValue = 2000;
|
|
204
|
-
expect(await store.put(factRecordWithTags('fact-1', 'same', ['reviewed']))).toSucceedAndSatisfy((v2) => {
|
|
205
|
-
expect(v2.envelope.id).toBe('fact-1-v2'); // a NEW version was minted
|
|
206
|
-
expect(v2.envelope.tags).toEqual(['reviewed']); // metadata merged in
|
|
207
|
-
});
|
|
208
|
-
// History retained (prior version invalidated), current resolves to v2.
|
|
209
|
-
expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {
|
|
210
|
-
expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);
|
|
211
|
-
});
|
|
212
|
-
expect(await store.get(factKind, 'fact-1')).toSucceedAndSatisfy((cur) => {
|
|
213
|
-
expect(cur === null || cur === void 0 ? void 0 : cur.envelope.id).toBe('fact-1-v2');
|
|
214
|
-
expect(cur === null || cur === void 0 ? void 0 : cur.envelope.tags).toEqual(['reviewed']);
|
|
215
|
-
});
|
|
216
|
-
});
|
|
217
|
-
});
|
|
218
|
-
describe('list({ asOf }) and get resolution', () => {
|
|
219
|
-
test('asOf selects the version valid at the instant; get returns current', async () => {
|
|
220
|
-
const store = createStore();
|
|
221
|
-
expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed(); // valid_at 1000
|
|
222
|
-
clockValue = 2000;
|
|
223
|
-
expect(await store.put(factRecord('fact-1', 'grey'))).toSucceed(); // v1 invalid_at 2000, v2 valid_at 2000
|
|
224
|
-
// At t=1500 only v1 was valid.
|
|
225
|
-
expect(await store.list({ kind: factKind, asOf: 1500 })).toSucceedAndSatisfy((at1500) => {
|
|
226
|
-
expect(at1500.map((r) => r.envelope.id)).toEqual(['fact-1-v1']);
|
|
227
|
-
});
|
|
228
|
-
// At t=2500 v2 is valid.
|
|
229
|
-
expect(await store.list({ kind: factKind, asOf: 2500 })).toSucceedAndSatisfy((at2500) => {
|
|
230
|
-
expect(at2500.map((r) => r.envelope.id)).toEqual(['fact-1-v2']);
|
|
231
|
-
});
|
|
232
|
-
// Before either version existed.
|
|
233
|
-
expect(await store.list({ kind: factKind, asOf: 500 })).toSucceedWith([]);
|
|
234
|
-
// get (no asOf) returns the current version.
|
|
235
|
-
expect(await store.get(factKind, 'fact-1')).toSucceedAndSatisfy((cur) => {
|
|
236
|
-
expect(cur === null || cur === void 0 ? void 0 : cur.envelope.id).toBe('fact-1-v2');
|
|
237
|
-
});
|
|
238
|
-
});
|
|
239
|
-
test('asOf passes non-temporal records through unchanged (timeless)', async () => {
|
|
240
|
-
const store = createStore();
|
|
241
|
-
expect(await store.put(knowledgeRecord('doc-a', 'flat body'))).toSucceed();
|
|
242
|
-
expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed();
|
|
243
|
-
// asOf at an instant before the flat doc's created still includes it (timeless).
|
|
244
|
-
expect(await store.list({ asOf: 500 })).toSucceedAndSatisfy((snap) => {
|
|
245
|
-
expect(snap.map((r) => r.envelope.id).sort()).toEqual(['doc-a']);
|
|
246
|
-
});
|
|
247
|
-
});
|
|
248
|
-
});
|
|
249
|
-
describe("delete (soft / invalidate-don't-delete)", () => {
|
|
250
|
-
test('invalidates the current version, retains history, returns the invalidated id', async () => {
|
|
251
|
-
const store = createStore();
|
|
252
|
-
expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed();
|
|
253
|
-
clockValue = 3000;
|
|
254
|
-
expect(await store.delete(factKind, 'fact-1')).toSucceedWith('fact-1-v1');
|
|
255
|
-
// No current version after the soft delete.
|
|
256
|
-
expect(await store.get(factKind, 'fact-1')).toSucceedWith(undefined);
|
|
257
|
-
// But history is retained (the file still exists, now invalidated).
|
|
258
|
-
expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {
|
|
259
|
-
expect(all).toHaveLength(1);
|
|
260
|
-
expect(all[0].envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 3000 });
|
|
261
|
-
});
|
|
262
|
-
// A second delete finds no current version.
|
|
263
|
-
expect(await store.delete(factKind, 'fact-1')).toFailWith(/no record found/i);
|
|
264
|
-
});
|
|
265
|
-
});
|
|
266
|
-
describe('world-truth valid-time boundary (P2-1)', () => {
|
|
267
|
-
test('a future-dated supersede closes the prior interval at the NEW valid_at (no gap)', async () => {
|
|
268
|
-
const store = createStore();
|
|
269
|
-
expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed(); // v1 valid_at 1000
|
|
270
|
-
clockValue = 2000;
|
|
271
|
-
// The new version's world-truth validity starts in the future (5000), while
|
|
272
|
-
// the transaction happens now (2000).
|
|
273
|
-
expect(await store.put(factRecordAt('fact-1', 'grey', 5000))).toSucceedAndSatisfy((put) => {
|
|
274
|
-
expect(put.envelope.temporal).toEqual({ valid_at: 5000 });
|
|
275
|
-
});
|
|
276
|
-
// The prior version's interval closes at the NEW valid_at (5000), NOT `now` (2000).
|
|
277
|
-
expect(await store.getById(factScope, 'fact-1-v1')).toSucceedAndSatisfy((v1) => {
|
|
278
|
-
expect(v1 === null || v1 === void 0 ? void 0 : v1.envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 5000 });
|
|
279
|
-
});
|
|
280
|
-
// As-of between the two valid_ats still resolves to v1 — no gap on the axis.
|
|
281
|
-
expect(await store.list({ kind: factKind, asOf: 3000 })).toSucceedAndSatisfy((at3000) => {
|
|
282
|
-
expect(at3000.map((r) => r.envelope.id)).toEqual(['fact-1-v1']);
|
|
283
|
-
});
|
|
284
|
-
});
|
|
285
|
-
});
|
|
286
|
-
describe('self-healing invalidation (P2-7)', () => {
|
|
287
|
-
test('a put invalidates EVERY stuck-current prior version', async () => {
|
|
288
|
-
// Seed a corrupt state: two current versions (a prior invalidation only
|
|
289
|
-
// partially completed).
|
|
290
|
-
const root = mutableRoot([seedFactVersion(1, 100), seedFactVersion(2, 200)]);
|
|
291
|
-
const store = createStore(root);
|
|
292
|
-
clockValue = 3000;
|
|
293
|
-
expect(await store.put(factRecord('fact-1', 'v3 body'))).toSucceedAndSatisfy((put) => {
|
|
294
|
-
expect(put.envelope.id).toBe('fact-1-v3');
|
|
295
|
-
});
|
|
296
|
-
// BOTH stuck versions are now invalidated at the new valid_at (3000).
|
|
297
|
-
expect(await store.getById(factScope, 'fact-1-v1')).toSucceedAndSatisfy((v1) => {
|
|
298
|
-
expect(v1 === null || v1 === void 0 ? void 0 : v1.envelope.temporal).toEqual({ valid_at: 100, invalid_at: 3000 });
|
|
299
|
-
});
|
|
300
|
-
expect(await store.getById(factScope, 'fact-1-v2')).toSucceedAndSatisfy((v2) => {
|
|
301
|
-
expect(v2 === null || v2 === void 0 ? void 0 : v2.envelope.temporal).toEqual({ valid_at: 200, invalid_at: 3000 });
|
|
302
|
-
});
|
|
303
|
-
// Exactly one current version remains: the new one.
|
|
304
|
-
expect(await store.get(factKind, 'fact-1')).toSucceedAndSatisfy((cur) => {
|
|
305
|
-
expect(cur === null || cur === void 0 ? void 0 : cur.envelope.id).toBe('fact-1-v3');
|
|
306
|
-
});
|
|
307
|
-
});
|
|
308
|
-
test('a delete invalidates EVERY stuck-current prior version', async () => {
|
|
309
|
-
const root = mutableRoot([seedFactVersion(1, 100), seedFactVersion(2, 200)]);
|
|
310
|
-
const store = createStore(root);
|
|
311
|
-
clockValue = 4000;
|
|
312
|
-
expect(await store.delete(factKind, 'fact-1')).toSucceedWith('fact-1-v2');
|
|
313
|
-
expect(await store.getById(factScope, 'fact-1-v1')).toSucceedAndSatisfy((v1) => {
|
|
314
|
-
expect(v1 === null || v1 === void 0 ? void 0 : v1.envelope.temporal).toEqual({ valid_at: 100, invalid_at: 4000 });
|
|
315
|
-
});
|
|
316
|
-
expect(await store.getById(factScope, 'fact-1-v2')).toSucceedAndSatisfy((v2) => {
|
|
317
|
-
expect(v2 === null || v2 === void 0 ? void 0 : v2.envelope.temporal).toEqual({ valid_at: 200, invalid_at: 4000 });
|
|
318
|
-
});
|
|
319
|
-
expect(await store.get(factKind, 'fact-1')).toSucceedWith(undefined);
|
|
320
|
-
});
|
|
321
|
-
});
|
|
322
|
-
describe('policy admission on the versioned path', () => {
|
|
323
|
-
function storeWithPolicy(policy) {
|
|
324
|
-
return index_1.FileTreeMemoryStore.create({
|
|
325
|
-
root: mutableRoot(),
|
|
326
|
-
registry: registry(),
|
|
327
|
-
codecs: new Map([[factKind, index_1.TemporalIdentityCodec.create('facts').orThrow()]]),
|
|
328
|
-
writePolicies: new Map([[factKind, policy]]),
|
|
329
|
-
clock
|
|
330
|
-
}).orThrow();
|
|
331
|
-
}
|
|
332
|
-
test('a rejecting policy fails the put', async () => {
|
|
333
|
-
const store = storeWithPolicy({
|
|
334
|
-
mutableFields: ['body'],
|
|
335
|
-
dedupScope: 'entity',
|
|
336
|
-
admit: () => (0, ts_utils_1.succeed)({ decision: 'reject', reason: 'blocked' }),
|
|
337
|
-
applyUpdate: (existing) => (0, ts_utils_1.succeed)(existing)
|
|
338
|
-
});
|
|
339
|
-
expect(await store.put(factRecord('fact-1', 'blue'))).toFailWith(/rejected by policy: blocked/i);
|
|
340
|
-
});
|
|
341
|
-
test('a policy whose admit fails propagates the failure', async () => {
|
|
342
|
-
const store = storeWithPolicy({
|
|
343
|
-
mutableFields: ['body'],
|
|
344
|
-
dedupScope: 'entity',
|
|
345
|
-
admit: () => (0, ts_utils_1.fail)('admit exploded'),
|
|
346
|
-
applyUpdate: (existing) => (0, ts_utils_1.succeed)(existing)
|
|
347
|
-
});
|
|
348
|
-
expect(await store.put(factRecord('fact-1', 'blue'))).toFailWith(/admit exploded/i);
|
|
349
|
-
});
|
|
350
|
-
test('a policy omitting dedupScope falls back to the default (entity) dedup', async () => {
|
|
351
|
-
const store = storeWithPolicy({
|
|
352
|
-
mutableFields: ['body'],
|
|
353
|
-
// dedupScope intentionally omitted → the store applies DEFAULT_DEDUP_SCOPE.
|
|
354
|
-
admit: () => (0, ts_utils_1.succeed)({ decision: 'accept' }),
|
|
355
|
-
applyUpdate: (existing) => (0, ts_utils_1.succeed)(existing)
|
|
356
|
-
});
|
|
357
|
-
expect(await store.put(factRecord('fact-1', 'same'))).toSucceed();
|
|
358
|
-
clockValue = 2000;
|
|
359
|
-
// Identical re-put is a no-op under the default entity dedup — no v2.
|
|
360
|
-
expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((put) => {
|
|
361
|
-
expect(put.envelope.id).toBe('fact-1-v1');
|
|
362
|
-
});
|
|
363
|
-
});
|
|
364
|
-
test('a policy that returns a non-string merged body fails the update', async () => {
|
|
365
|
-
const store = storeWithPolicy({
|
|
366
|
-
mutableFields: ['body'],
|
|
367
|
-
dedupScope: 'entity',
|
|
368
|
-
admit: () => (0, ts_utils_1.succeed)({ decision: 'accept' }),
|
|
369
|
-
// Corrupt the merge output on the update branch.
|
|
370
|
-
applyUpdate: (existing) => (0, ts_utils_1.succeed)({ envelope: existing.envelope, body: 42 })
|
|
371
|
-
});
|
|
372
|
-
expect(await store.put(factRecord('fact-1', 'v1'))).toSucceed();
|
|
373
|
-
clockValue = 2000;
|
|
374
|
-
expect(await store.put(factRecord('fact-1', 'v2'))).toFailWith(/non-string body/i);
|
|
375
|
-
});
|
|
376
|
-
});
|
|
377
|
-
describe('flat-path regression (adoption guarantee)', () => {
|
|
378
|
-
test('a non-temporal kind is unaffected: flat put/get/delete, no entities/ subtree', async () => {
|
|
379
|
-
const store = createStore();
|
|
380
|
-
expect(await store.put(knowledgeRecord('doc-a', 'flat body'))).toSucceedAndSatisfy((put) => {
|
|
381
|
-
// Flat: id === entityId, no temporal block, no minted version id.
|
|
382
|
-
expect(put.envelope.id).toBe('doc-a');
|
|
383
|
-
expect(put.envelope.entityId).toBe('doc-a');
|
|
384
|
-
expect(put.envelope.temporal).toBeUndefined();
|
|
385
|
-
});
|
|
386
|
-
expect(await store.get(knowledgeKind, 'doc-a')).toSucceedAndSatisfy((got) => {
|
|
387
|
-
expect(got === null || got === void 0 ? void 0 : got.body).toBe('flat body');
|
|
388
|
-
});
|
|
389
|
-
// The flat record lives at the flat knowledge scope, not under any entities/ subtree.
|
|
390
|
-
expect(await store.getById('knowledge', 'doc-a')).toSucceedAndSatisfy((got) => {
|
|
391
|
-
expect(got === null || got === void 0 ? void 0 : got.envelope.id).toBe('doc-a');
|
|
392
|
-
});
|
|
393
|
-
// Flat delete physically removes the record.
|
|
394
|
-
expect(await store.delete(knowledgeKind, 'doc-a')).toSucceedWith('doc-a');
|
|
395
|
-
expect(await store.get(knowledgeKind, 'doc-a')).toSucceedWith(undefined);
|
|
396
|
-
expect(await store.list({ kind: knowledgeKind })).toSucceedWith([]);
|
|
397
|
-
});
|
|
398
|
-
});
|
|
399
|
-
});
|
|
400
|
-
//# sourceMappingURL=temporalStore.test.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"temporalStore.test.js","sourceRoot":"","sources":["../../../../src/test/unit/store/temporalStore.test.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAEH,8BAA4B;AAC5B,4CAAkE;AAClE,oDAA6C;AAC7C,0CAiBwB;AAExB,MAAM,QAAQ,GAAS,MAAc,CAAC;AACtC,MAAM,aAAa,GAAS,WAAmB,CAAC;AAChD,MAAM,SAAS,GAAmB,uBAAyC,CAAC;AAE5E,SAAS,WAAW,CAClB,QAA2D,EAAE;IAE7D,MAAM,IAAI,GAAG,uBAAQ,CAAC,QAAQ,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IACxE,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,IAAI,CAAC,uBAAQ,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACtB,GAAW,EACX,OAAe,EACf,SAAkB;IAElB,MAAM,QAAQ,GACZ,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;IACjG,MAAM,QAAQ,GAAoB;QAChC,EAAE,EAAE,WAAW,GAAG,EAAc;QAChC,QAAQ,EAAE,QAAoB;QAC9B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,OAAO;QAChB,GAAG;QACH,WAAW,EAAE,QAAQ,GAAG,EAAE;QAC1B,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;QAC/B,QAAQ;KACT,CAAC;IACF,OAAO;QACL,IAAI,EAAE,iCAAiC,GAAG,KAAK;QAC/C,QAAQ,EAAE,IAAA,2BAAmB,EAAC,QAAQ,EAAE,cAAc,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ;IACf,MAAM,GAAG,GAAG,6BAAqB,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC;IACrD,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,qBAAU,CAAC,MAAM,CAAC,CAAC;IAC1C,GAAG,CAAC,QAAQ,CAAC,aAAa,EAAE,qBAAU,CAAC,MAAM,CAAC,CAAC;IAC/C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,MAAM,GAAsC,IAAI,GAAG,CAAuB;IAC9E,CAAC,QAAQ,EAAE,6BAAqB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,aAAa,EAAE,IAAI,8BAAsB,EAAE,CAAC;CAC9C,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAoC,IAAI,GAAG,CAAqB;IACpF,CAAC,QAAQ,EAAE,+BAAuB,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC;CACvD,CAAC,CAAC;AAEH,8EAA8E;AAC9E,SAAS,UAAU,CAAC,QAAgB,EAAE,IAAY;IAChD,OAAO;QACL,QAAQ,EAAE;YACR,EAAE,EAAE,QAA+D;YACnE,QAAQ,EAAE,QAAoB;YAC9B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;YACV,GAAG,EAAE,CAAC;YACN,WAAW,EAAE,EAAE;YACf,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;SAChC;QACD,IAAI;KACL,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,SAAS,YAAY,CAAC,QAAgB,EAAE,IAAY,EAAE,OAAe;IACnE,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,EAAE,QAAQ,kCAAO,IAAI,CAAC,QAAQ,KAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AAC9F,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CACzB,QAAgB,EAChB,IAAY,EACZ,IAA2B;IAE3B,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO;QACL,QAAQ,kCAAO,IAAI,CAAC,QAAQ,KAAE,IAAI,EAAE,IAA0C,GAAE;QAChF,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,EAAU,EAAE,IAAY;IAC/C,OAAO;QACL,QAAQ,EAAE;YACR,EAAE,EAAE,EAAyD;YAC7D,QAAQ,EAAE,EAAc;YACxB,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;YACV,GAAG,EAAE,CAAC;YACN,WAAW,EAAE,EAAE;YACf,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;SAChC;QACD,IAAI;KACL,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAI,UAAkB,CAAC;IACvB,MAAM,KAAK,GAAG,GAAW,EAAE,CAAC,UAAU,CAAC;IAEvC,SAAS,WAAW,CAClB,OAA+C,WAAW,EAAE,EAC5D,WAA4C,gBAAgB;QAE5D,OAAO,2BAAmB,CAAC,MAAM,CAAC;YAChC,IAAI;YACJ,QAAQ,EAAE,QAAQ,EAAE;YACpB,MAAM;YACN,aAAa,EAAE,QAAQ;YACvB,KAAK;SACN,CAAC,CAAC,OAAO,EAAE,CAAC;IACf,CAAC;IAED,UAAU,CAAC,GAAG,EAAE;QACd,UAAU,GAAG,IAAI,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;QACzB,IAAI,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;YACvF,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC3F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5D,CAAC,CAAC,CAAC;YACH,0CAA0C;YAC1C,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAClF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC3C,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;YACH,gEAAgE;YAChE,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACvF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;YACtE,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAkB,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;QACtE,IAAI,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;YACxF,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAC7E,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC3F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;YAEH,yBAAyB;YACzB,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACvE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;YACnF,CAAC,CAAC,CAAC;YACH,4CAA4C;YAC5C,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9E,CAAC,CAAC,CAAC;YACH,8BAA8B;YAC9B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAClF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;YACzF,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YACrE,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAErE,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC1E,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;YACnF,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACrF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;YACrF,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAClE,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAChF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW;YACxD,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACvE,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uFAAuF,EAAE,KAAK,IAAI,EAAE;YACvG,+DAA+D;YAC/D,4EAA4E;YAC5E,2EAA2E;YAC3E,oDAAoD;YACpD,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBAC/E,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACzC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACvC,CAAC,CAAC,CAAC;YACH,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAC7F,CAAC,EAAE,EAAE,EAAE;gBACL,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,2BAA2B;gBACrE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,qBAAqB;YACvE,CAAC,CACF,CAAC;YACF,wEAAwE;YACxE,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACvE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;YACnF,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAClF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC3C,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;QACjD,IAAI,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;YACpF,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,gBAAgB;YACnF,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,uCAAuC;YAE1G,+BAA+B;YAC/B,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,MAAM,EAAE,EAAE;gBACtF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YAClE,CAAC,CAAC,CAAC;YACH,yBAAyB;YACzB,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,MAAM,EAAE,EAAE;gBACtF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YAClE,CAAC,CAAC,CAAC;YACH,iCAAiC;YACjC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;YAC1E,6CAA6C;YAC7C,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAClF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;YAC/E,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAC3E,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAClE,iFAAiF;YACjF,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,EAAE;gBACnE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACnE,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACvD,IAAI,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;YAC9F,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAClE,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,WAAoB,CAAC,CAAC;YAE/F,4CAA4C;YAC5C,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YACjF,oEAAoE;YACpE,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACvE,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YACjF,CAAC,CAAC,CAAC;YACH,4CAA4C;YAC5C,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD,IAAI,CAAC,iFAAiF,EAAE,KAAK,IAAI,EAAE;YACjG,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,mBAAmB;YACtF,UAAU,GAAG,IAAI,CAAC;YAClB,4EAA4E;YAC5E,sCAAsC;YACtC,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACxF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5D,CAAC,CAAC,CAAC;YACH,oFAAoF;YACpF,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9E,CAAC,CAAC,CAAC;YACH,6EAA6E;YAC7E,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,MAAM,EAAE,EAAE;gBACtF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YAClE,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAChD,IAAI,CAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;YACrE,wEAAwE;YACxE,wBAAwB;YACxB,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7E,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAChC,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACnF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;YACH,sEAAsE;YACtE,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,CAAC,CAAC,CAAC;YACH,oDAAoD;YACpD,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAClF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACxE,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7E,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAChC,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,WAAoB,CAAC,CAAC;YAC/F,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD,SAAS,eAAe,CAAC,MAAoB;YAC3C,OAAO,2BAAmB,CAAC,MAAM,CAAC;gBAChC,IAAI,EAAE,WAAW,EAAE;gBACnB,QAAQ,EAAE,QAAQ,EAAE;gBACpB,MAAM,EAAE,IAAI,GAAG,CAAuB,CAAC,CAAC,QAAQ,EAAE,6BAAqB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBACpG,aAAa,EAAE,IAAI,GAAG,CAAqB,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;gBAChE,KAAK;aACN,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC;QAED,IAAI,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;YAClD,MAAM,KAAK,GAAG,eAAe,CAAC;gBAC5B,aAAa,EAAE,CAAC,MAAM,CAAC;gBACvB,UAAU,EAAE,QAAQ;gBACpB,KAAK,EAAE,GAA8B,EAAE,CAAC,IAAA,kBAAO,EAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;gBAC1F,WAAW,EAAE,CAAC,QAAQ,EAAkC,EAAE,CAAC,IAAA,kBAAO,EAAC,QAAQ,CAAC;aAC7E,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC;QACnG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;YACnE,MAAM,KAAK,GAAG,eAAe,CAAC;gBAC5B,aAAa,EAAE,CAAC,MAAM,CAAC;gBACvB,UAAU,EAAE,QAAQ;gBACpB,KAAK,EAAE,GAA8B,EAAE,CAAC,IAAA,eAAI,EAAC,gBAAgB,CAAC;gBAC9D,WAAW,EAAE,CAAC,QAAQ,EAAkC,EAAE,CAAC,IAAA,kBAAO,EAAC,QAAQ,CAAC;aAC7E,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;YACvF,MAAM,KAAK,GAAG,eAAe,CAAC;gBAC5B,aAAa,EAAE,CAAC,MAAM,CAAC;gBACvB,4EAA4E;gBAC5E,KAAK,EAAE,GAA8B,EAAE,CAAC,IAAA,kBAAO,EAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;gBACvE,WAAW,EAAE,CAAC,QAAQ,EAAkC,EAAE,CAAC,IAAA,kBAAO,EAAC,QAAQ,CAAC;aAC7E,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAClE,UAAU,GAAG,IAAI,CAAC;YAClB,sEAAsE;YACtE,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAChF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;YACjF,MAAM,KAAK,GAAG,eAAe,CAAC;gBAC5B,aAAa,EAAE,CAAC,MAAM,CAAC;gBACvB,UAAU,EAAE,QAAQ;gBACpB,KAAK,EAAE,GAA8B,EAAE,CAAC,IAAA,kBAAO,EAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;gBACvE,iDAAiD;gBACjD,WAAW,EAAE,CAAC,QAAQ,EAAkC,EAAE,CACxD,IAAA,kBAAO,EAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;aACrD,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAChE,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACzD,IAAI,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;YAC9F,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACzF,kEAAkE;gBAClE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACtC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;YAChD,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE,OAAmB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACtF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACtC,CAAC,CAAC,CAAC;YACH,sFAAsF;YACtF,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,WAA6B,EAAE,OAAgB,CAAC,CAAC,CAAC,mBAAmB,CAC9F,CAAC,GAAG,EAAE,EAAE;gBACN,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzC,CAAC,CACF,CAAC;YACF,6CAA6C;YAC7C,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,OAAmB,CAAC,CAAC,CAAC,aAAa,CAAC,OAAgB,CAAC,CAAC;YAC/F,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE,OAAmB,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YACrF,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["/*\n * Copyright (c) 2026 Erik Fortune\n * SPDX-License-Identifier: MIT\n */\n\nimport '@fgv/ts-utils-jest';\nimport { Converters, Result, fail, succeed } from '@fgv/ts-utils';\nimport { FileTree } from '@fgv/ts-json-base';\nimport {\n AdmissionDecision,\n BodyConverterRegistry,\n EntityId,\n FileTreeMemoryStore,\n IBodyConverterRegistry,\n IIdentityCodec,\n IMemoryEnvelope,\n IMemoryRecord,\n IWritePolicy,\n Kind,\n KnowledgeIdentityCodec,\n MemoryId,\n MemoryScopeKey,\n TemporalIdentityCodec,\n TemporalVersionedPolicy,\n serializeMemoryFile\n} from '../../../index';\n\nconst factKind: Kind = 'fact' as Kind;\nconst knowledgeKind: Kind = 'knowledge' as Kind;\nconst factScope: MemoryScopeKey = 'facts/entities/fact-1' as MemoryScopeKey;\n\nfunction mutableRoot(\n files: ReadonlyArray<{ path: string; contents: string }> = []\n): FileTree.IMutableFileTreeDirectoryItem {\n const tree = FileTree.inMemory([...files], { mutable: true }).orThrow();\n const root = tree.getDirectory('/').orThrow();\n if (!FileTree.isMutableDirectoryItem(root)) {\n throw new Error('expected a mutable root directory');\n }\n return root;\n}\n\n/**\n * A raw seeded `fact-1` version file. `invalidAt` absent → a CURRENT version;\n * seeding two current versions reproduces a stuck partial-invalidation state.\n */\nfunction seedFactVersion(\n seq: number,\n validAt: number,\n invalidAt?: number\n): { path: string; contents: string } {\n const temporal: Record<string, unknown> =\n invalidAt === undefined ? { valid_at: validAt } : { valid_at: validAt, invalid_at: invalidAt };\n const envelope: IMemoryEnvelope = {\n id: `fact-1-v${seq}` as MemoryId,\n entityId: 'fact-1' as EntityId,\n kind: factKind,\n tags: [],\n links: [],\n created: validAt,\n updated: validAt,\n seq,\n contentHash: `seed-${seq}`,\n provenance: { source: 'agent' },\n temporal\n };\n return {\n path: `facts/entities/fact-1/fact-1-v${seq}.md`,\n contents: serializeMemoryFile(envelope, `seed body v${seq}`).orThrow()\n };\n}\n\nfunction registry(): IBodyConverterRegistry {\n const reg = BodyConverterRegistry.create().orThrow();\n reg.register(factKind, Converters.string);\n reg.register(knowledgeKind, Converters.string);\n return reg;\n}\n\nconst codecs: ReadonlyMap<Kind, IIdentityCodec> = new Map<Kind, IIdentityCodec>([\n [factKind, TemporalIdentityCodec.create('facts').orThrow()],\n [knowledgeKind, new KnowledgeIdentityCodec()]\n]);\n\nconst temporalPolicies: ReadonlyMap<Kind, IWritePolicy> = new Map<Kind, IWritePolicy>([\n [factKind, TemporalVersionedPolicy.create().orThrow()]\n]);\n\n/** A record the consumer hands to `put`. The store mints the version `id`. */\nfunction factRecord(entityId: string, body: string): IMemoryRecord<unknown> {\n return {\n envelope: {\n id: entityId as unknown as IMemoryRecord<unknown>['envelope']['id'],\n entityId: entityId as EntityId,\n kind: factKind,\n tags: [],\n links: [],\n created: 0,\n updated: 0,\n seq: 0,\n contentHash: '',\n provenance: { source: 'agent' }\n },\n body\n };\n}\n\n/** Like {@link factRecord} but supplying an explicit world-truth `valid_at`. */\nfunction factRecordAt(entityId: string, body: string, validAt: number): IMemoryRecord<unknown> {\n const base = factRecord(entityId, body);\n return { envelope: { ...base.envelope, temporal: { valid_at: validAt } }, body: base.body };\n}\n\n/** Like {@link factRecord} but supplying revised `tags` (metadata surface). */\nfunction factRecordWithTags(\n entityId: string,\n body: string,\n tags: ReadonlyArray<string>\n): IMemoryRecord<unknown> {\n const base = factRecord(entityId, body);\n return {\n envelope: { ...base.envelope, tags: tags as unknown as IMemoryEnvelope['tags'] },\n body: base.body\n };\n}\n\nfunction knowledgeRecord(id: string, body: string): IMemoryRecord<unknown> {\n return {\n envelope: {\n id: id as unknown as IMemoryRecord<unknown>['envelope']['id'],\n entityId: id as EntityId,\n kind: knowledgeKind,\n tags: [],\n links: [],\n created: 0,\n updated: 0,\n seq: 0,\n contentHash: '',\n provenance: { source: 'agent' }\n },\n body\n };\n}\n\ndescribe('FileTreeMemoryStore — temporal (versioned) path', () => {\n let clockValue: number;\n const clock = (): number => clockValue;\n\n function createStore(\n root: FileTree.IMutableFileTreeDirectoryItem = mutableRoot(),\n policies: ReadonlyMap<Kind, IWritePolicy> = temporalPolicies\n ): FileTreeMemoryStore {\n return FileTreeMemoryStore.create({\n root,\n registry: registry(),\n codecs,\n writePolicies: policies,\n clock\n }).orThrow();\n }\n\n beforeEach(() => {\n clockValue = 1000;\n });\n\n describe('put / get', () => {\n test('first put writes v1 under the entity subtree with a minted version id', async () => {\n const store = createStore();\n expect(await store.put(factRecord('fact-1', 'the sky is blue'))).toSucceedAndSatisfy((put) => {\n expect(put.envelope.id).toBe('fact-1-v1');\n expect(put.envelope.entityId).toBe('fact-1');\n expect(put.envelope.temporal).toEqual({ valid_at: 1000 });\n });\n // Keyed get resolves the current version.\n expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((got) => {\n expect(got?.envelope.id).toBe('fact-1-v1');\n expect(got?.body).toBe('the sky is blue');\n });\n // The version file lives at facts/entities/fact-1/fact-1-v1.md.\n expect(await store.getById(factScope, 'fact-1-v1' as never)).toSucceedAndSatisfy((got) => {\n expect(got?.body).toBe('the sky is blue');\n });\n });\n\n test('get returns undefined for an entity with no versions', async () => {\n const store = createStore();\n expect(await store.get(factKind, 'nope' as EntityId)).toSucceedWith(undefined);\n });\n });\n\n describe(\"merge-patch-under-versioning (invalidate-don't-delete)\", () => {\n test('a re-put yields a NEW version and invalidates the prior (both persist)', async () => {\n const store = createStore();\n expect(await store.put(factRecord('fact-1', 'the sky is blue'))).toSucceed();\n clockValue = 2000;\n expect(await store.put(factRecord('fact-1', 'the sky is grey'))).toSucceedAndSatisfy((put) => {\n expect(put.envelope.id).toBe('fact-1-v2');\n expect(put.envelope.temporal).toEqual({ valid_at: 2000 });\n expect(put.body).toBe('the sky is grey');\n });\n\n // Both versions persist.\n expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {\n expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);\n });\n // The prior version now carries invalid_at.\n expect(await store.getById(factScope, 'fact-1-v1' as never)).toSucceedAndSatisfy((v1) => {\n expect(v1?.envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 2000 });\n });\n // The new version is current.\n expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((cur) => {\n expect(cur?.envelope.id).toBe('fact-1-v2');\n });\n });\n\n test('survives a round-trip through disk (fresh store re-indexes the subtree)', async () => {\n const root = mutableRoot();\n const store = createStore(root);\n expect(await store.put(factRecord('fact-1', 'v1 body'))).toSucceed();\n clockValue = 2000;\n expect(await store.put(factRecord('fact-1', 'v2 body'))).toSucceed();\n\n const reopened = createStore(root);\n expect(await reopened.list({ kind: factKind })).toSucceedAndSatisfy((all) => {\n expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);\n });\n expect(await reopened.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((cur) => {\n expect(cur?.envelope.id).toBe('fact-1-v2');\n });\n });\n\n test('an identical re-put is a no-op (entity dedup, no redundant version)', async () => {\n const store = createStore();\n expect(await store.put(factRecord('fact-1', 'same'))).toSucceed();\n clockValue = 2000;\n expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((put) => {\n expect(put.envelope.id).toBe('fact-1-v1'); // still v1\n });\n expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {\n expect(all).toHaveLength(1);\n });\n });\n\n test('a metadata-only revision (same body, revised tags) mints a new version, not swallowed', async () => {\n // TemporalVersionedPolicy declares tags/provenance mutable and\n // _buildVersionedRecord merges them via applyUpdate; the content-hash dedup\n // must NOT short-circuit a metadata-only revision, or that merge branch is\n // unreachable and the revision is dropped entirely.\n const store = createStore();\n expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((v1) => {\n expect(v1.envelope.id).toBe('fact-1-v1');\n expect(v1.envelope.tags).toEqual([]);\n });\n clockValue = 2000;\n expect(await store.put(factRecordWithTags('fact-1', 'same', ['reviewed']))).toSucceedAndSatisfy(\n (v2) => {\n expect(v2.envelope.id).toBe('fact-1-v2'); // a NEW version was minted\n expect(v2.envelope.tags).toEqual(['reviewed']); // metadata merged in\n }\n );\n // History retained (prior version invalidated), current resolves to v2.\n expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {\n expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);\n });\n expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((cur) => {\n expect(cur?.envelope.id).toBe('fact-1-v2');\n expect(cur?.envelope.tags).toEqual(['reviewed']);\n });\n });\n });\n\n describe('list({ asOf }) and get resolution', () => {\n test('asOf selects the version valid at the instant; get returns current', async () => {\n const store = createStore();\n expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed(); // valid_at 1000\n clockValue = 2000;\n expect(await store.put(factRecord('fact-1', 'grey'))).toSucceed(); // v1 invalid_at 2000, v2 valid_at 2000\n\n // At t=1500 only v1 was valid.\n expect(await store.list({ kind: factKind, asOf: 1500 })).toSucceedAndSatisfy((at1500) => {\n expect(at1500.map((r) => r.envelope.id)).toEqual(['fact-1-v1']);\n });\n // At t=2500 v2 is valid.\n expect(await store.list({ kind: factKind, asOf: 2500 })).toSucceedAndSatisfy((at2500) => {\n expect(at2500.map((r) => r.envelope.id)).toEqual(['fact-1-v2']);\n });\n // Before either version existed.\n expect(await store.list({ kind: factKind, asOf: 500 })).toSucceedWith([]);\n // get (no asOf) returns the current version.\n expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((cur) => {\n expect(cur?.envelope.id).toBe('fact-1-v2');\n });\n });\n\n test('asOf passes non-temporal records through unchanged (timeless)', async () => {\n const store = createStore();\n expect(await store.put(knowledgeRecord('doc-a', 'flat body'))).toSucceed();\n expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed();\n // asOf at an instant before the flat doc's created still includes it (timeless).\n expect(await store.list({ asOf: 500 })).toSucceedAndSatisfy((snap) => {\n expect(snap.map((r) => r.envelope.id).sort()).toEqual(['doc-a']);\n });\n });\n });\n\n describe(\"delete (soft / invalidate-don't-delete)\", () => {\n test('invalidates the current version, retains history, returns the invalidated id', async () => {\n const store = createStore();\n expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed();\n clockValue = 3000;\n expect(await store.delete(factKind, 'fact-1' as EntityId)).toSucceedWith('fact-1-v1' as never);\n\n // No current version after the soft delete.\n expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedWith(undefined);\n // But history is retained (the file still exists, now invalidated).\n expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {\n expect(all).toHaveLength(1);\n expect(all[0].envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 3000 });\n });\n // A second delete finds no current version.\n expect(await store.delete(factKind, 'fact-1' as EntityId)).toFailWith(/no record found/i);\n });\n });\n\n describe('world-truth valid-time boundary (P2-1)', () => {\n test('a future-dated supersede closes the prior interval at the NEW valid_at (no gap)', async () => {\n const store = createStore();\n expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed(); // v1 valid_at 1000\n clockValue = 2000;\n // The new version's world-truth validity starts in the future (5000), while\n // the transaction happens now (2000).\n expect(await store.put(factRecordAt('fact-1', 'grey', 5000))).toSucceedAndSatisfy((put) => {\n expect(put.envelope.temporal).toEqual({ valid_at: 5000 });\n });\n // The prior version's interval closes at the NEW valid_at (5000), NOT `now` (2000).\n expect(await store.getById(factScope, 'fact-1-v1' as never)).toSucceedAndSatisfy((v1) => {\n expect(v1?.envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 5000 });\n });\n // As-of between the two valid_ats still resolves to v1 — no gap on the axis.\n expect(await store.list({ kind: factKind, asOf: 3000 })).toSucceedAndSatisfy((at3000) => {\n expect(at3000.map((r) => r.envelope.id)).toEqual(['fact-1-v1']);\n });\n });\n });\n\n describe('self-healing invalidation (P2-7)', () => {\n test('a put invalidates EVERY stuck-current prior version', async () => {\n // Seed a corrupt state: two current versions (a prior invalidation only\n // partially completed).\n const root = mutableRoot([seedFactVersion(1, 100), seedFactVersion(2, 200)]);\n const store = createStore(root);\n clockValue = 3000;\n expect(await store.put(factRecord('fact-1', 'v3 body'))).toSucceedAndSatisfy((put) => {\n expect(put.envelope.id).toBe('fact-1-v3');\n });\n // BOTH stuck versions are now invalidated at the new valid_at (3000).\n expect(await store.getById(factScope, 'fact-1-v1' as never)).toSucceedAndSatisfy((v1) => {\n expect(v1?.envelope.temporal).toEqual({ valid_at: 100, invalid_at: 3000 });\n });\n expect(await store.getById(factScope, 'fact-1-v2' as never)).toSucceedAndSatisfy((v2) => {\n expect(v2?.envelope.temporal).toEqual({ valid_at: 200, invalid_at: 3000 });\n });\n // Exactly one current version remains: the new one.\n expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((cur) => {\n expect(cur?.envelope.id).toBe('fact-1-v3');\n });\n });\n\n test('a delete invalidates EVERY stuck-current prior version', async () => {\n const root = mutableRoot([seedFactVersion(1, 100), seedFactVersion(2, 200)]);\n const store = createStore(root);\n clockValue = 4000;\n expect(await store.delete(factKind, 'fact-1' as EntityId)).toSucceedWith('fact-1-v2' as never);\n expect(await store.getById(factScope, 'fact-1-v1' as never)).toSucceedAndSatisfy((v1) => {\n expect(v1?.envelope.temporal).toEqual({ valid_at: 100, invalid_at: 4000 });\n });\n expect(await store.getById(factScope, 'fact-1-v2' as never)).toSucceedAndSatisfy((v2) => {\n expect(v2?.envelope.temporal).toEqual({ valid_at: 200, invalid_at: 4000 });\n });\n expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedWith(undefined);\n });\n });\n\n describe('policy admission on the versioned path', () => {\n function storeWithPolicy(policy: IWritePolicy): FileTreeMemoryStore {\n return FileTreeMemoryStore.create({\n root: mutableRoot(),\n registry: registry(),\n codecs: new Map<Kind, IIdentityCodec>([[factKind, TemporalIdentityCodec.create('facts').orThrow()]]),\n writePolicies: new Map<Kind, IWritePolicy>([[factKind, policy]]),\n clock\n }).orThrow();\n }\n\n test('a rejecting policy fails the put', async () => {\n const store = storeWithPolicy({\n mutableFields: ['body'],\n dedupScope: 'entity',\n admit: (): Result<AdmissionDecision> => succeed({ decision: 'reject', reason: 'blocked' }),\n applyUpdate: (existing): Result<IMemoryRecord<unknown>> => succeed(existing)\n });\n expect(await store.put(factRecord('fact-1', 'blue'))).toFailWith(/rejected by policy: blocked/i);\n });\n\n test('a policy whose admit fails propagates the failure', async () => {\n const store = storeWithPolicy({\n mutableFields: ['body'],\n dedupScope: 'entity',\n admit: (): Result<AdmissionDecision> => fail('admit exploded'),\n applyUpdate: (existing): Result<IMemoryRecord<unknown>> => succeed(existing)\n });\n expect(await store.put(factRecord('fact-1', 'blue'))).toFailWith(/admit exploded/i);\n });\n\n test('a policy omitting dedupScope falls back to the default (entity) dedup', async () => {\n const store = storeWithPolicy({\n mutableFields: ['body'],\n // dedupScope intentionally omitted → the store applies DEFAULT_DEDUP_SCOPE.\n admit: (): Result<AdmissionDecision> => succeed({ decision: 'accept' }),\n applyUpdate: (existing): Result<IMemoryRecord<unknown>> => succeed(existing)\n });\n expect(await store.put(factRecord('fact-1', 'same'))).toSucceed();\n clockValue = 2000;\n // Identical re-put is a no-op under the default entity dedup — no v2.\n expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((put) => {\n expect(put.envelope.id).toBe('fact-1-v1');\n });\n });\n\n test('a policy that returns a non-string merged body fails the update', async () => {\n const store = storeWithPolicy({\n mutableFields: ['body'],\n dedupScope: 'entity',\n admit: (): Result<AdmissionDecision> => succeed({ decision: 'accept' }),\n // Corrupt the merge output on the update branch.\n applyUpdate: (existing): Result<IMemoryRecord<unknown>> =>\n succeed({ envelope: existing.envelope, body: 42 })\n });\n expect(await store.put(factRecord('fact-1', 'v1'))).toSucceed();\n clockValue = 2000;\n expect(await store.put(factRecord('fact-1', 'v2'))).toFailWith(/non-string body/i);\n });\n });\n\n describe('flat-path regression (adoption guarantee)', () => {\n test('a non-temporal kind is unaffected: flat put/get/delete, no entities/ subtree', async () => {\n const store = createStore();\n expect(await store.put(knowledgeRecord('doc-a', 'flat body'))).toSucceedAndSatisfy((put) => {\n // Flat: id === entityId, no temporal block, no minted version id.\n expect(put.envelope.id).toBe('doc-a');\n expect(put.envelope.entityId).toBe('doc-a');\n expect(put.envelope.temporal).toBeUndefined();\n });\n expect(await store.get(knowledgeKind, 'doc-a' as EntityId)).toSucceedAndSatisfy((got) => {\n expect(got?.body).toBe('flat body');\n });\n // The flat record lives at the flat knowledge scope, not under any entities/ subtree.\n expect(await store.getById('knowledge' as MemoryScopeKey, 'doc-a' as never)).toSucceedAndSatisfy(\n (got) => {\n expect(got?.envelope.id).toBe('doc-a');\n }\n );\n // Flat delete physically removes the record.\n expect(await store.delete(knowledgeKind, 'doc-a' as EntityId)).toSucceedWith('doc-a' as never);\n expect(await store.get(knowledgeKind, 'doc-a' as EntityId)).toSucceedWith(undefined);\n expect(await store.list({ kind: knowledgeKind })).toSucceedWith([]);\n });\n });\n});\n"]}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"memoryTools.test.d.ts","sourceRoot":"","sources":["../../../../src/test/unit/tools/memoryTools.test.ts"],"names":[],"mappings":"AAKA,OAAO,oBAAoB,CAAC"}
|