@lix-js/sdk 0.6.0-preview.1 → 0.6.0-preview.3
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/SKILL.md +304 -320
- package/dist/engine-wasm/wasm/lix_engine.d.ts +5 -0
- package/dist/engine-wasm/wasm/lix_engine.js +9 -13
- package/dist/engine-wasm/wasm/lix_engine.wasm +0 -0
- package/dist/engine-wasm/wasm/lix_engine.wasm.d.ts +1 -0
- package/dist/generated/builtin-schemas.d.ts +87 -162
- package/dist/generated/builtin-schemas.js +139 -236
- package/dist/open-lix.d.ts +103 -14
- package/dist/open-lix.js +3 -0
- package/dist/sqlite/index.js +99 -22
- package/dist-engine-src/README.md +18 -0
- package/dist-engine-src/src/backend/kv.rs +358 -0
- package/dist-engine-src/src/backend/mod.rs +12 -0
- package/dist-engine-src/src/backend/testing.rs +658 -0
- package/dist-engine-src/src/backend/types.rs +96 -0
- package/dist-engine-src/src/binary_cas/chunking.rs +31 -0
- package/dist-engine-src/src/binary_cas/codec.rs +346 -0
- package/dist-engine-src/src/binary_cas/context.rs +139 -0
- package/dist-engine-src/src/binary_cas/kv.rs +1063 -0
- package/dist-engine-src/src/binary_cas/mod.rs +11 -0
- package/dist-engine-src/src/binary_cas/types.rs +121 -0
- package/dist-engine-src/src/catalog/context.rs +412 -0
- package/dist-engine-src/src/catalog/mod.rs +10 -0
- package/dist-engine-src/src/catalog/schema.rs +4 -0
- package/dist-engine-src/src/catalog/snapshot.rs +1114 -0
- package/dist-engine-src/src/cel/context.rs +86 -0
- package/dist-engine-src/src/cel/error.rs +19 -0
- package/dist-engine-src/src/cel/mod.rs +8 -0
- package/dist-engine-src/src/cel/provider.rs +9 -0
- package/dist-engine-src/src/cel/runtime.rs +167 -0
- package/dist-engine-src/src/cel/value.rs +50 -0
- package/dist-engine-src/src/commit_graph/context.rs +901 -0
- package/dist-engine-src/src/commit_graph/mod.rs +11 -0
- package/dist-engine-src/src/commit_graph/types.rs +109 -0
- package/dist-engine-src/src/commit_graph/walker.rs +756 -0
- package/dist-engine-src/src/commit_store/codec.rs +887 -0
- package/dist-engine-src/src/commit_store/context.rs +944 -0
- package/dist-engine-src/src/commit_store/materialization.rs +84 -0
- package/dist-engine-src/src/commit_store/mod.rs +16 -0
- package/dist-engine-src/src/commit_store/storage.rs +600 -0
- package/dist-engine-src/src/commit_store/types.rs +215 -0
- package/dist-engine-src/src/common/error.rs +313 -0
- package/dist-engine-src/src/common/fingerprint.rs +3 -0
- package/dist-engine-src/src/common/fs_path.rs +1336 -0
- package/dist-engine-src/src/common/identity.rs +145 -0
- package/dist-engine-src/src/common/json_pointer.rs +67 -0
- package/dist-engine-src/src/common/metadata.rs +40 -0
- package/dist-engine-src/src/common/mod.rs +23 -0
- package/dist-engine-src/src/common/types.rs +105 -0
- package/dist-engine-src/src/common/wire.rs +222 -0
- package/dist-engine-src/src/domain.rs +324 -0
- package/dist-engine-src/src/engine.rs +225 -0
- package/dist-engine-src/src/entity_identity.rs +405 -0
- package/dist-engine-src/src/functions/context.rs +292 -0
- package/dist-engine-src/src/functions/deterministic.rs +113 -0
- package/dist-engine-src/src/functions/mod.rs +18 -0
- package/dist-engine-src/src/functions/provider.rs +130 -0
- package/dist-engine-src/src/functions/state.rs +336 -0
- package/dist-engine-src/src/functions/types.rs +37 -0
- package/dist-engine-src/src/init.rs +558 -0
- package/dist-engine-src/src/json_store/compression.rs +77 -0
- package/dist-engine-src/src/json_store/context.rs +423 -0
- package/dist-engine-src/src/json_store/encoded.rs +15 -0
- package/dist-engine-src/src/json_store/mod.rs +12 -0
- package/dist-engine-src/src/json_store/store.rs +1109 -0
- package/dist-engine-src/src/json_store/types.rs +217 -0
- package/dist-engine-src/src/lib.rs +62 -0
- package/dist-engine-src/src/live_state/context.rs +2019 -0
- package/dist-engine-src/src/live_state/mod.rs +15 -0
- package/dist-engine-src/src/live_state/overlay.rs +75 -0
- package/dist-engine-src/src/live_state/reader.rs +23 -0
- package/dist-engine-src/src/live_state/types.rs +222 -0
- package/dist-engine-src/src/live_state/visibility.rs +223 -0
- package/dist-engine-src/src/plugin/archive.rs +438 -0
- package/dist-engine-src/src/plugin/component.rs +183 -0
- package/dist-engine-src/src/plugin/install.rs +619 -0
- package/dist-engine-src/src/plugin/manifest.rs +516 -0
- package/dist-engine-src/src/plugin/materializer.rs +477 -0
- package/dist-engine-src/src/plugin/mod.rs +33 -0
- package/dist-engine-src/src/plugin/plugin_manifest.json +118 -0
- package/dist-engine-src/src/plugin/storage.rs +74 -0
- package/dist-engine-src/src/schema/annotations/defaults.rs +275 -0
- package/dist-engine-src/src/schema/annotations/mod.rs +1 -0
- package/dist-engine-src/src/schema/builtin/lix_account.json +21 -0
- package/dist-engine-src/src/schema/builtin/lix_active_account.json +29 -0
- package/dist-engine-src/src/schema/builtin/lix_binary_blob_ref.json +29 -0
- package/dist-engine-src/src/schema/builtin/lix_change.json +63 -0
- package/dist-engine-src/src/schema/builtin/lix_change_author.json +45 -0
- package/dist-engine-src/src/schema/builtin/lix_commit.json +24 -0
- package/dist-engine-src/src/schema/builtin/lix_commit_edge.json +53 -0
- package/dist-engine-src/src/schema/builtin/lix_directory_descriptor.json +52 -0
- package/dist-engine-src/src/schema/builtin/lix_file_descriptor.json +52 -0
- package/dist-engine-src/src/schema/builtin/lix_key_value.json +40 -0
- package/dist-engine-src/src/schema/builtin/lix_label.json +29 -0
- package/dist-engine-src/src/schema/builtin/lix_label_assignment.json +74 -0
- package/dist-engine-src/src/schema/builtin/lix_registered_schema.json +25 -0
- package/dist-engine-src/src/schema/builtin/lix_version_descriptor.json +34 -0
- package/dist-engine-src/src/schema/builtin/lix_version_ref.json +48 -0
- package/dist-engine-src/src/schema/builtin/mod.rs +222 -0
- package/dist-engine-src/src/schema/compatibility.rs +787 -0
- package/dist-engine-src/src/schema/definition.json +187 -0
- package/dist-engine-src/src/schema/definition.rs +742 -0
- package/dist-engine-src/src/schema/key.rs +138 -0
- package/dist-engine-src/src/schema/mod.rs +20 -0
- package/dist-engine-src/src/schema/seed.rs +14 -0
- package/dist-engine-src/src/schema/tests.rs +780 -0
- package/dist-engine-src/src/session/context.rs +364 -0
- package/dist-engine-src/src/session/create_version.rs +88 -0
- package/dist-engine-src/src/session/execute.rs +478 -0
- package/dist-engine-src/src/session/merge/analysis.rs +102 -0
- package/dist-engine-src/src/session/merge/apply.rs +23 -0
- package/dist-engine-src/src/session/merge/conflicts.rs +63 -0
- package/dist-engine-src/src/session/merge/mod.rs +11 -0
- package/dist-engine-src/src/session/merge/stats.rs +65 -0
- package/dist-engine-src/src/session/merge/version.rs +427 -0
- package/dist-engine-src/src/session/mod.rs +27 -0
- package/dist-engine-src/src/session/optimization9_sql2_bench.rs +100 -0
- package/dist-engine-src/src/session/switch_version.rs +109 -0
- package/dist-engine-src/src/sql2/change_provider.rs +331 -0
- package/dist-engine-src/src/sql2/classify.rs +182 -0
- package/dist-engine-src/src/sql2/context.rs +311 -0
- package/dist-engine-src/src/sql2/directory_history_provider.rs +631 -0
- package/dist-engine-src/src/sql2/directory_provider.rs +2453 -0
- package/dist-engine-src/src/sql2/dml.rs +148 -0
- package/dist-engine-src/src/sql2/entity_history_provider.rs +440 -0
- package/dist-engine-src/src/sql2/entity_provider.rs +3211 -0
- package/dist-engine-src/src/sql2/error.rs +216 -0
- package/dist-engine-src/src/sql2/execute.rs +3440 -0
- package/dist-engine-src/src/sql2/file_history_provider.rs +910 -0
- package/dist-engine-src/src/sql2/file_provider.rs +3679 -0
- package/dist-engine-src/src/sql2/filesystem_planner.rs +1490 -0
- package/dist-engine-src/src/sql2/filesystem_predicates.rs +159 -0
- package/dist-engine-src/src/sql2/filesystem_visibility.rs +383 -0
- package/dist-engine-src/src/sql2/history_projection.rs +56 -0
- package/dist-engine-src/src/sql2/history_provider.rs +412 -0
- package/dist-engine-src/src/sql2/history_route.rs +657 -0
- package/dist-engine-src/src/sql2/lix_state_provider.rs +2512 -0
- package/dist-engine-src/src/sql2/mod.rs +46 -0
- package/dist-engine-src/src/sql2/predicate_typecheck.rs +246 -0
- package/dist-engine-src/src/sql2/public_bind/assignment.rs +46 -0
- package/dist-engine-src/src/sql2/public_bind/capability.rs +41 -0
- package/dist-engine-src/src/sql2/public_bind/dml.rs +166 -0
- package/dist-engine-src/src/sql2/public_bind/mod.rs +25 -0
- package/dist-engine-src/src/sql2/public_bind/table.rs +168 -0
- package/dist-engine-src/src/sql2/read_only.rs +63 -0
- package/dist-engine-src/src/sql2/record_batch.rs +17 -0
- package/dist-engine-src/src/sql2/result_metadata.rs +29 -0
- package/dist-engine-src/src/sql2/runtime.rs +60 -0
- package/dist-engine-src/src/sql2/session.rs +132 -0
- package/dist-engine-src/src/sql2/udfs/common.rs +295 -0
- package/dist-engine-src/src/sql2/udfs/lix_active_version_commit_id.rs +53 -0
- package/dist-engine-src/src/sql2/udfs/lix_empty_blob.rs +47 -0
- package/dist-engine-src/src/sql2/udfs/lix_json.rs +100 -0
- package/dist-engine-src/src/sql2/udfs/lix_json_get.rs +99 -0
- package/dist-engine-src/src/sql2/udfs/lix_json_get_text.rs +99 -0
- package/dist-engine-src/src/sql2/udfs/lix_text_decode.rs +82 -0
- package/dist-engine-src/src/sql2/udfs/lix_text_encode.rs +85 -0
- package/dist-engine-src/src/sql2/udfs/lix_timestamp.rs +76 -0
- package/dist-engine-src/src/sql2/udfs/lix_uuid_v7.rs +76 -0
- package/dist-engine-src/src/sql2/udfs/mod.rs +89 -0
- package/dist-engine-src/src/sql2/udfs/public_call.rs +211 -0
- package/dist-engine-src/src/sql2/version_provider.rs +1202 -0
- package/dist-engine-src/src/sql2/version_scope.rs +394 -0
- package/dist-engine-src/src/sql2/write_normalization.rs +345 -0
- package/dist-engine-src/src/storage/context.rs +356 -0
- package/dist-engine-src/src/storage/mod.rs +14 -0
- package/dist-engine-src/src/storage/read_scope.rs +88 -0
- package/dist-engine-src/src/storage/types.rs +501 -0
- package/dist-engine-src/src/storage_bench.rs +4863 -0
- package/dist-engine-src/src/test_support.rs +228 -0
- package/dist-engine-src/src/tracked_state/by_file_index.rs +98 -0
- package/dist-engine-src/src/tracked_state/codec.rs +2085 -0
- package/dist-engine-src/src/tracked_state/context.rs +1867 -0
- package/dist-engine-src/src/tracked_state/diff.rs +686 -0
- package/dist-engine-src/src/tracked_state/materialization.rs +403 -0
- package/dist-engine-src/src/tracked_state/materializer.rs +488 -0
- package/dist-engine-src/src/tracked_state/merge.rs +492 -0
- package/dist-engine-src/src/tracked_state/mod.rs +32 -0
- package/dist-engine-src/src/tracked_state/storage.rs +375 -0
- package/dist-engine-src/src/tracked_state/tree.rs +3187 -0
- package/dist-engine-src/src/tracked_state/types.rs +231 -0
- package/dist-engine-src/src/transaction/commit.rs +1484 -0
- package/dist-engine-src/src/transaction/context.rs +1548 -0
- package/dist-engine-src/src/transaction/live_state_overlay.rs +35 -0
- package/dist-engine-src/src/transaction/mod.rs +13 -0
- package/dist-engine-src/src/transaction/normalization.rs +890 -0
- package/dist-engine-src/src/transaction/prep.rs +37 -0
- package/dist-engine-src/src/transaction/schema_resolver.rs +149 -0
- package/dist-engine-src/src/transaction/staging.rs +1731 -0
- package/dist-engine-src/src/transaction/types.rs +460 -0
- package/dist-engine-src/src/transaction/validation.rs +5830 -0
- package/dist-engine-src/src/untracked_state/codec.rs +307 -0
- package/dist-engine-src/src/untracked_state/context.rs +98 -0
- package/dist-engine-src/src/untracked_state/materialization.rs +63 -0
- package/dist-engine-src/src/untracked_state/mod.rs +15 -0
- package/dist-engine-src/src/untracked_state/storage.rs +396 -0
- package/dist-engine-src/src/untracked_state/types.rs +146 -0
- package/dist-engine-src/src/version/context.rs +40 -0
- package/dist-engine-src/src/version/lifecycle.rs +221 -0
- package/dist-engine-src/src/version/mod.rs +13 -0
- package/dist-engine-src/src/version/refs.rs +330 -0
- package/dist-engine-src/src/version/stage_rows.rs +67 -0
- package/dist-engine-src/src/version/types.rs +21 -0
- package/dist-engine-src/src/wasm/mod.rs +60 -0
- package/package.json +68 -64
|
@@ -0,0 +1,396 @@
|
|
|
1
|
+
use crate::storage::KvScanRange;
|
|
2
|
+
use crate::storage::{KvGetGroup, KvGetRequest, KvScanRequest, StorageReader, StorageWriteSet};
|
|
3
|
+
use crate::untracked_state::{
|
|
4
|
+
MaterializedUntrackedStateRow, UntrackedMaterializationProjection, UntrackedStateIdentity,
|
|
5
|
+
UntrackedStateIdentityRef, UntrackedStateRow, UntrackedStateRowRef, UntrackedStateRowRequest,
|
|
6
|
+
UntrackedStateScanRequest,
|
|
7
|
+
};
|
|
8
|
+
use crate::{LixError, NullableKeyFilter};
|
|
9
|
+
|
|
10
|
+
pub(super) const UNTRACKED_STATE_ROW_NAMESPACE: &str = "untracked_state.row";
|
|
11
|
+
|
|
12
|
+
pub(crate) async fn scan_rows(
|
|
13
|
+
store: &mut impl StorageReader,
|
|
14
|
+
request: &UntrackedStateScanRequest,
|
|
15
|
+
) -> Result<Vec<MaterializedUntrackedStateRow>, LixError> {
|
|
16
|
+
let mut rows = scan_all_canonical_rows(store).await?;
|
|
17
|
+
rows.retain(|row| row_matches_scan(row, request));
|
|
18
|
+
if let Some(limit) = request.limit {
|
|
19
|
+
rows.truncate(limit);
|
|
20
|
+
}
|
|
21
|
+
let projection = UntrackedMaterializationProjection::from_columns(&request.projection.columns);
|
|
22
|
+
let mut materialized = Vec::with_capacity(rows.len());
|
|
23
|
+
for row in rows {
|
|
24
|
+
materialized.push(crate::untracked_state::materialize_row(row, &projection)?);
|
|
25
|
+
}
|
|
26
|
+
Ok(materialized)
|
|
27
|
+
}
|
|
28
|
+
|
|
29
|
+
pub(crate) async fn load_row(
|
|
30
|
+
store: &mut impl StorageReader,
|
|
31
|
+
request: &UntrackedStateRowRequest,
|
|
32
|
+
) -> Result<Option<MaterializedUntrackedStateRow>, LixError> {
|
|
33
|
+
let Some(identity) = identity_from_request(request) else {
|
|
34
|
+
return Ok(None);
|
|
35
|
+
};
|
|
36
|
+
let bytes = store
|
|
37
|
+
.get_values(KvGetRequest {
|
|
38
|
+
groups: vec![KvGetGroup {
|
|
39
|
+
namespace: UNTRACKED_STATE_ROW_NAMESPACE.to_string(),
|
|
40
|
+
keys: vec![encode_untracked_state_row_key(&identity)],
|
|
41
|
+
}],
|
|
42
|
+
})
|
|
43
|
+
.await?
|
|
44
|
+
.groups
|
|
45
|
+
.into_iter()
|
|
46
|
+
.next()
|
|
47
|
+
.and_then(|group| group.single_value_owned());
|
|
48
|
+
let Some(bytes) = bytes else {
|
|
49
|
+
return Ok(None);
|
|
50
|
+
};
|
|
51
|
+
let row = crate::untracked_state::codec::decode_row(&bytes)?;
|
|
52
|
+
crate::untracked_state::materialize_row(row, &UntrackedMaterializationProjection::full())
|
|
53
|
+
.map(Some)
|
|
54
|
+
}
|
|
55
|
+
|
|
56
|
+
pub(super) async fn existing_identities<'a>(
|
|
57
|
+
store: &mut (impl StorageReader + ?Sized),
|
|
58
|
+
identities: impl IntoIterator<Item = UntrackedStateIdentityRef<'a>>,
|
|
59
|
+
) -> Result<Vec<UntrackedStateIdentity>, LixError> {
|
|
60
|
+
let mut candidates = identities
|
|
61
|
+
.into_iter()
|
|
62
|
+
.map(|identity| {
|
|
63
|
+
let owned = UntrackedStateIdentity {
|
|
64
|
+
version_id: identity.version_id.to_string(),
|
|
65
|
+
schema_key: identity.schema_key.to_string(),
|
|
66
|
+
entity_id: identity.entity_id.clone(),
|
|
67
|
+
file_id: identity.file_id.map(str::to_string),
|
|
68
|
+
};
|
|
69
|
+
let key = encode_untracked_state_row_key_ref(owned.as_ref());
|
|
70
|
+
(key, owned)
|
|
71
|
+
})
|
|
72
|
+
.collect::<Vec<_>>();
|
|
73
|
+
candidates.sort_by(|(left, _), (right, _)| left.cmp(right));
|
|
74
|
+
candidates.dedup_by(|(left, _), (right, _)| left == right);
|
|
75
|
+
if candidates.is_empty() {
|
|
76
|
+
return Ok(Vec::new());
|
|
77
|
+
}
|
|
78
|
+
let keys = candidates
|
|
79
|
+
.iter()
|
|
80
|
+
.map(|(key, _)| key.clone())
|
|
81
|
+
.collect::<Vec<_>>();
|
|
82
|
+
|
|
83
|
+
let result = store
|
|
84
|
+
.exists_many(KvGetRequest {
|
|
85
|
+
groups: vec![KvGetGroup {
|
|
86
|
+
namespace: UNTRACKED_STATE_ROW_NAMESPACE.to_string(),
|
|
87
|
+
keys,
|
|
88
|
+
}],
|
|
89
|
+
})
|
|
90
|
+
.await?;
|
|
91
|
+
let group = result.groups.into_iter().next().ok_or_else(|| {
|
|
92
|
+
LixError::new(
|
|
93
|
+
LixError::CODE_INTERNAL_ERROR,
|
|
94
|
+
"untracked identity existence probe returned no result group",
|
|
95
|
+
)
|
|
96
|
+
})?;
|
|
97
|
+
if group.exists.len() != candidates.len() {
|
|
98
|
+
return Err(LixError::new(
|
|
99
|
+
LixError::CODE_INTERNAL_ERROR,
|
|
100
|
+
format!(
|
|
101
|
+
"untracked identity existence probe returned {} results for {} requested keys",
|
|
102
|
+
group.exists.len(),
|
|
103
|
+
candidates.len()
|
|
104
|
+
),
|
|
105
|
+
));
|
|
106
|
+
}
|
|
107
|
+
|
|
108
|
+
Ok(candidates
|
|
109
|
+
.into_iter()
|
|
110
|
+
.zip(group.exists)
|
|
111
|
+
.filter_map(|((_, identity), exists)| exists.then_some(identity))
|
|
112
|
+
.collect())
|
|
113
|
+
}
|
|
114
|
+
|
|
115
|
+
pub(crate) fn stage_rows<'a, I>(writes: &mut StorageWriteSet, rows: I) -> Result<(), LixError>
|
|
116
|
+
where
|
|
117
|
+
I: IntoIterator<Item = UntrackedStateRowRef<'a>>,
|
|
118
|
+
{
|
|
119
|
+
for row in rows {
|
|
120
|
+
if row.snapshot_content.is_none() {
|
|
121
|
+
writes.delete(
|
|
122
|
+
UNTRACKED_STATE_ROW_NAMESPACE,
|
|
123
|
+
encode_untracked_state_row_key_ref(row.into()),
|
|
124
|
+
);
|
|
125
|
+
} else {
|
|
126
|
+
writes.put(
|
|
127
|
+
UNTRACKED_STATE_ROW_NAMESPACE,
|
|
128
|
+
encode_untracked_state_row_key_ref(row.into()),
|
|
129
|
+
crate::untracked_state::codec::encode_row_ref(row)?,
|
|
130
|
+
);
|
|
131
|
+
}
|
|
132
|
+
}
|
|
133
|
+
Ok(())
|
|
134
|
+
}
|
|
135
|
+
|
|
136
|
+
pub(crate) fn stage_delete_rows<'a, I>(writes: &mut StorageWriteSet, identities: I)
|
|
137
|
+
where
|
|
138
|
+
I: IntoIterator<Item = UntrackedStateIdentityRef<'a>>,
|
|
139
|
+
{
|
|
140
|
+
for identity in identities {
|
|
141
|
+
writes.delete(
|
|
142
|
+
UNTRACKED_STATE_ROW_NAMESPACE,
|
|
143
|
+
encode_untracked_state_row_key_ref(identity),
|
|
144
|
+
);
|
|
145
|
+
}
|
|
146
|
+
}
|
|
147
|
+
|
|
148
|
+
async fn scan_all_canonical_rows(
|
|
149
|
+
store: &mut impl StorageReader,
|
|
150
|
+
) -> Result<Vec<UntrackedStateRow>, LixError> {
|
|
151
|
+
let page = store
|
|
152
|
+
.scan_values(KvScanRequest {
|
|
153
|
+
namespace: UNTRACKED_STATE_ROW_NAMESPACE.to_string(),
|
|
154
|
+
range: KvScanRange::prefix(Vec::new()),
|
|
155
|
+
after: None,
|
|
156
|
+
limit: usize::MAX,
|
|
157
|
+
})
|
|
158
|
+
.await?;
|
|
159
|
+
page.values
|
|
160
|
+
.iter()
|
|
161
|
+
.map(crate::untracked_state::codec::decode_row)
|
|
162
|
+
.collect()
|
|
163
|
+
}
|
|
164
|
+
|
|
165
|
+
fn row_matches_scan(row: &UntrackedStateRow, request: &UntrackedStateScanRequest) -> bool {
|
|
166
|
+
(request.filter.schema_keys.is_empty() || request.filter.schema_keys.contains(&row.schema_key))
|
|
167
|
+
&& (request.filter.entity_ids.is_empty()
|
|
168
|
+
|| request.filter.entity_ids.contains(&row.entity_id))
|
|
169
|
+
&& (request.filter.version_ids.is_empty()
|
|
170
|
+
|| request.filter.version_ids.contains(&row.version_id))
|
|
171
|
+
&& nullable_matches_filters(&row.file_id, &request.filter.file_ids)
|
|
172
|
+
}
|
|
173
|
+
|
|
174
|
+
fn nullable_matches_filters(value: &Option<String>, filters: &[NullableKeyFilter<String>]) -> bool {
|
|
175
|
+
filters.is_empty()
|
|
176
|
+
|| filters.iter().any(|filter| match filter {
|
|
177
|
+
NullableKeyFilter::Any => true,
|
|
178
|
+
NullableKeyFilter::Null => value.is_none(),
|
|
179
|
+
NullableKeyFilter::Value(expected) => value.as_ref() == Some(expected),
|
|
180
|
+
})
|
|
181
|
+
}
|
|
182
|
+
|
|
183
|
+
fn identity_from_request(request: &UntrackedStateRowRequest) -> Option<UntrackedStateIdentity> {
|
|
184
|
+
let file_id = match &request.file_id {
|
|
185
|
+
NullableKeyFilter::Null => None,
|
|
186
|
+
NullableKeyFilter::Value(value) => Some(value.clone()),
|
|
187
|
+
NullableKeyFilter::Any => return None,
|
|
188
|
+
};
|
|
189
|
+
Some(UntrackedStateIdentity {
|
|
190
|
+
version_id: request.version_id.clone(),
|
|
191
|
+
schema_key: request.schema_key.clone(),
|
|
192
|
+
entity_id: request.entity_id.clone(),
|
|
193
|
+
file_id,
|
|
194
|
+
})
|
|
195
|
+
}
|
|
196
|
+
|
|
197
|
+
fn encode_untracked_state_row_key(identity: &UntrackedStateIdentity) -> Vec<u8> {
|
|
198
|
+
encode_untracked_state_row_key_ref(identity.as_ref())
|
|
199
|
+
}
|
|
200
|
+
|
|
201
|
+
pub(super) fn encode_untracked_state_row_key_ref(
|
|
202
|
+
identity: UntrackedStateIdentityRef<'_>,
|
|
203
|
+
) -> Vec<u8> {
|
|
204
|
+
let mut out = Vec::new();
|
|
205
|
+
push_component(&mut out, identity.version_id);
|
|
206
|
+
push_component(&mut out, identity.schema_key);
|
|
207
|
+
let entity_id = identity
|
|
208
|
+
.entity_id
|
|
209
|
+
.as_json_array_text()
|
|
210
|
+
.expect("untracked-state identity should project");
|
|
211
|
+
push_component(&mut out, &entity_id);
|
|
212
|
+
match identity.file_id {
|
|
213
|
+
Some(file_id) => {
|
|
214
|
+
out.push(1);
|
|
215
|
+
push_component(&mut out, file_id);
|
|
216
|
+
}
|
|
217
|
+
None => out.push(0),
|
|
218
|
+
}
|
|
219
|
+
out
|
|
220
|
+
}
|
|
221
|
+
|
|
222
|
+
fn push_component(out: &mut Vec<u8>, value: &str) {
|
|
223
|
+
let bytes = value.as_bytes();
|
|
224
|
+
out.extend_from_slice(&(bytes.len() as u32).to_be_bytes());
|
|
225
|
+
out.extend_from_slice(bytes);
|
|
226
|
+
}
|
|
227
|
+
|
|
228
|
+
#[cfg(test)]
|
|
229
|
+
mod tests {
|
|
230
|
+
use std::sync::Arc;
|
|
231
|
+
|
|
232
|
+
use super::*;
|
|
233
|
+
use crate::backend::testing::UnitTestBackend;
|
|
234
|
+
use crate::storage::{StorageContext, StorageWriteTransaction};
|
|
235
|
+
use crate::untracked_state::UntrackedStateContext;
|
|
236
|
+
|
|
237
|
+
async fn write_materialized_rows_to_store(
|
|
238
|
+
context: &UntrackedStateContext,
|
|
239
|
+
store: &mut (impl StorageWriteTransaction + ?Sized),
|
|
240
|
+
rows: &[MaterializedUntrackedStateRow],
|
|
241
|
+
) {
|
|
242
|
+
let mut writes = StorageWriteSet::new();
|
|
243
|
+
let canonical_rows = rows
|
|
244
|
+
.iter()
|
|
245
|
+
.map(|row| crate::test_support::untracked_state_row_from_materialized(&mut writes, row))
|
|
246
|
+
.collect::<Result<Vec<_>, _>>()
|
|
247
|
+
.expect("rows should canonicalize");
|
|
248
|
+
context
|
|
249
|
+
.writer(&mut writes)
|
|
250
|
+
.stage_rows(canonical_rows.iter().map(|row| row.as_ref()))
|
|
251
|
+
.expect("rows should write");
|
|
252
|
+
writes.apply(store).await.expect("rows should apply");
|
|
253
|
+
}
|
|
254
|
+
|
|
255
|
+
#[tokio::test]
|
|
256
|
+
async fn write_and_load_roundtrips() {
|
|
257
|
+
let backend = Arc::new(UnitTestBackend::new());
|
|
258
|
+
let storage = StorageContext::new(backend.clone());
|
|
259
|
+
let context = UntrackedStateContext::new();
|
|
260
|
+
let row = untracked_row("global", "lix_key_value", "ui-tab");
|
|
261
|
+
|
|
262
|
+
let mut transaction = storage
|
|
263
|
+
.begin_write_transaction()
|
|
264
|
+
.await
|
|
265
|
+
.expect("transaction should open");
|
|
266
|
+
write_materialized_rows_to_store(
|
|
267
|
+
&context,
|
|
268
|
+
transaction.as_mut(),
|
|
269
|
+
std::slice::from_ref(&row),
|
|
270
|
+
)
|
|
271
|
+
.await;
|
|
272
|
+
transaction.commit().await.expect("commit should succeed");
|
|
273
|
+
|
|
274
|
+
let loaded = {
|
|
275
|
+
let mut reader = context.reader(storage.clone());
|
|
276
|
+
reader
|
|
277
|
+
.load_row(&UntrackedStateRowRequest {
|
|
278
|
+
schema_key: "lix_key_value".to_string(),
|
|
279
|
+
version_id: "global".to_string(),
|
|
280
|
+
entity_id: crate::entity_identity::EntityIdentity::single("ui-tab"),
|
|
281
|
+
file_id: NullableKeyFilter::Null,
|
|
282
|
+
})
|
|
283
|
+
.await
|
|
284
|
+
}
|
|
285
|
+
.expect("load should succeed");
|
|
286
|
+
assert_eq!(loaded, Some(row));
|
|
287
|
+
}
|
|
288
|
+
|
|
289
|
+
#[tokio::test]
|
|
290
|
+
async fn scan_filters_by_schema_and_version() {
|
|
291
|
+
let backend = Arc::new(UnitTestBackend::new());
|
|
292
|
+
let storage = StorageContext::new(backend.clone());
|
|
293
|
+
let context = UntrackedStateContext::new();
|
|
294
|
+
let mut transaction = storage
|
|
295
|
+
.begin_write_transaction()
|
|
296
|
+
.await
|
|
297
|
+
.expect("transaction should open");
|
|
298
|
+
write_materialized_rows_to_store(
|
|
299
|
+
&context,
|
|
300
|
+
transaction.as_mut(),
|
|
301
|
+
&[
|
|
302
|
+
untracked_row("global", "lix_key_value", "global-ui"),
|
|
303
|
+
untracked_row("version-a", "lix_key_value", "version-ui"),
|
|
304
|
+
untracked_row("version-a", "other_schema", "other"),
|
|
305
|
+
],
|
|
306
|
+
)
|
|
307
|
+
.await;
|
|
308
|
+
transaction.commit().await.expect("commit should succeed");
|
|
309
|
+
|
|
310
|
+
let rows = {
|
|
311
|
+
let mut reader = context.reader(storage.clone());
|
|
312
|
+
reader
|
|
313
|
+
.scan_rows(&UntrackedStateScanRequest {
|
|
314
|
+
filter: crate::untracked_state::UntrackedStateFilter {
|
|
315
|
+
schema_keys: vec!["lix_key_value".to_string()],
|
|
316
|
+
version_ids: vec!["version-a".to_string()],
|
|
317
|
+
..Default::default()
|
|
318
|
+
},
|
|
319
|
+
..Default::default()
|
|
320
|
+
})
|
|
321
|
+
.await
|
|
322
|
+
}
|
|
323
|
+
.expect("scan should succeed");
|
|
324
|
+
|
|
325
|
+
assert_eq!(rows.len(), 1);
|
|
326
|
+
assert_eq!(
|
|
327
|
+
rows[0].entity_id,
|
|
328
|
+
crate::entity_identity::EntityIdentity::single("version-ui")
|
|
329
|
+
);
|
|
330
|
+
}
|
|
331
|
+
|
|
332
|
+
#[tokio::test]
|
|
333
|
+
async fn delete_removes_row() {
|
|
334
|
+
let backend = Arc::new(UnitTestBackend::new());
|
|
335
|
+
let storage = StorageContext::new(backend.clone());
|
|
336
|
+
let context = UntrackedStateContext::new();
|
|
337
|
+
let row = untracked_row("global", "lix_key_value", "ui-tab");
|
|
338
|
+
let identity = UntrackedStateIdentity {
|
|
339
|
+
version_id: row.version_id.clone(),
|
|
340
|
+
schema_key: row.schema_key.clone(),
|
|
341
|
+
entity_id: row.entity_id.clone(),
|
|
342
|
+
file_id: row.file_id.clone(),
|
|
343
|
+
};
|
|
344
|
+
let mut transaction = storage
|
|
345
|
+
.begin_write_transaction()
|
|
346
|
+
.await
|
|
347
|
+
.expect("transaction should open");
|
|
348
|
+
let mut writes = StorageWriteSet::new();
|
|
349
|
+
let canonical_row =
|
|
350
|
+
crate::test_support::untracked_state_row_from_materialized(&mut writes, &row)
|
|
351
|
+
.expect("row should canonicalize");
|
|
352
|
+
let mut writer = context.writer(&mut writes);
|
|
353
|
+
writer
|
|
354
|
+
.stage_rows(std::iter::once(canonical_row.as_ref()))
|
|
355
|
+
.expect("write should succeed");
|
|
356
|
+
writer.stage_delete_rows(std::iter::once(identity.as_ref()));
|
|
357
|
+
writes
|
|
358
|
+
.apply(&mut transaction.as_mut())
|
|
359
|
+
.await
|
|
360
|
+
.expect("writes should apply");
|
|
361
|
+
transaction.commit().await.expect("commit should succeed");
|
|
362
|
+
|
|
363
|
+
let loaded = {
|
|
364
|
+
let mut reader = context.reader(storage.clone());
|
|
365
|
+
reader
|
|
366
|
+
.load_row(&UntrackedStateRowRequest {
|
|
367
|
+
schema_key: "lix_key_value".to_string(),
|
|
368
|
+
version_id: "global".to_string(),
|
|
369
|
+
entity_id: crate::entity_identity::EntityIdentity::single("ui-tab"),
|
|
370
|
+
file_id: NullableKeyFilter::Null,
|
|
371
|
+
})
|
|
372
|
+
.await
|
|
373
|
+
}
|
|
374
|
+
.expect("load should succeed");
|
|
375
|
+
assert_eq!(loaded, None);
|
|
376
|
+
}
|
|
377
|
+
|
|
378
|
+
fn untracked_row(
|
|
379
|
+
version_id: &str,
|
|
380
|
+
schema_key: &str,
|
|
381
|
+
entity_id: &str,
|
|
382
|
+
) -> MaterializedUntrackedStateRow {
|
|
383
|
+
MaterializedUntrackedStateRow {
|
|
384
|
+
entity_id: crate::entity_identity::EntityIdentity::single(entity_id),
|
|
385
|
+
schema_key: schema_key.to_string(),
|
|
386
|
+
file_id: None,
|
|
387
|
+
snapshot_content: Some(format!("{{\"key\":\"{}\",\"value\":\"value\"}}", entity_id)),
|
|
388
|
+
metadata: None,
|
|
389
|
+
deleted: false,
|
|
390
|
+
created_at: "2026-01-01T00:00:00Z".to_string(),
|
|
391
|
+
updated_at: "2026-01-01T00:00:00Z".to_string(),
|
|
392
|
+
global: version_id == "global",
|
|
393
|
+
version_id: version_id.to_string(),
|
|
394
|
+
}
|
|
395
|
+
}
|
|
396
|
+
}
|
|
@@ -0,0 +1,146 @@
|
|
|
1
|
+
use crate::entity_identity::EntityIdentity;
|
|
2
|
+
use crate::NullableKeyFilter;
|
|
3
|
+
|
|
4
|
+
/// Durable local row excluded from changelog and commit membership.
|
|
5
|
+
///
|
|
6
|
+
/// This is the canonical physical shape: identity/header fields are stored
|
|
7
|
+
/// directly, and mutable JSON payloads are stored inline in the sidecar row.
|
|
8
|
+
#[derive(Debug, Clone, PartialEq, Eq)]
|
|
9
|
+
pub(crate) struct UntrackedStateRow {
|
|
10
|
+
pub(crate) entity_id: EntityIdentity,
|
|
11
|
+
pub(crate) schema_key: String,
|
|
12
|
+
pub(crate) file_id: Option<String>,
|
|
13
|
+
pub(crate) snapshot_content: Option<String>,
|
|
14
|
+
pub(crate) metadata: Option<String>,
|
|
15
|
+
pub(crate) created_at: String,
|
|
16
|
+
pub(crate) updated_at: String,
|
|
17
|
+
pub(crate) global: bool,
|
|
18
|
+
pub(crate) version_id: String,
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
impl UntrackedStateRow {
|
|
22
|
+
pub(crate) fn as_ref(&self) -> UntrackedStateRowRef<'_> {
|
|
23
|
+
UntrackedStateRowRef {
|
|
24
|
+
entity_id: &self.entity_id,
|
|
25
|
+
schema_key: &self.schema_key,
|
|
26
|
+
file_id: self.file_id.as_deref(),
|
|
27
|
+
snapshot_content: self.snapshot_content.as_deref(),
|
|
28
|
+
metadata: self.metadata.as_deref(),
|
|
29
|
+
created_at: &self.created_at,
|
|
30
|
+
updated_at: &self.updated_at,
|
|
31
|
+
global: self.global,
|
|
32
|
+
version_id: &self.version_id,
|
|
33
|
+
}
|
|
34
|
+
}
|
|
35
|
+
}
|
|
36
|
+
|
|
37
|
+
/// Zero-copy view of untracked-state write row.
|
|
38
|
+
///
|
|
39
|
+
/// Untracked state owns this storage-facing write shape. Callers adapt into it
|
|
40
|
+
/// without making untracked_state depend on transaction or live-state types.
|
|
41
|
+
#[derive(Debug, Clone, Copy)]
|
|
42
|
+
pub(crate) struct UntrackedStateRowRef<'a> {
|
|
43
|
+
pub(crate) entity_id: &'a EntityIdentity,
|
|
44
|
+
pub(crate) schema_key: &'a str,
|
|
45
|
+
pub(crate) file_id: Option<&'a str>,
|
|
46
|
+
pub(crate) snapshot_content: Option<&'a str>,
|
|
47
|
+
pub(crate) metadata: Option<&'a str>,
|
|
48
|
+
pub(crate) created_at: &'a str,
|
|
49
|
+
pub(crate) updated_at: &'a str,
|
|
50
|
+
pub(crate) global: bool,
|
|
51
|
+
pub(crate) version_id: &'a str,
|
|
52
|
+
}
|
|
53
|
+
|
|
54
|
+
/// Hydrated boundary shape for callers that still work with JSON payloads.
|
|
55
|
+
#[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
|
|
56
|
+
pub(crate) struct MaterializedUntrackedStateRow {
|
|
57
|
+
pub(crate) entity_id: EntityIdentity,
|
|
58
|
+
pub(crate) schema_key: String,
|
|
59
|
+
pub(crate) file_id: Option<String>,
|
|
60
|
+
pub(crate) snapshot_content: Option<String>,
|
|
61
|
+
pub(crate) metadata: Option<String>,
|
|
62
|
+
pub(crate) deleted: bool,
|
|
63
|
+
pub(crate) created_at: String,
|
|
64
|
+
pub(crate) updated_at: String,
|
|
65
|
+
pub(crate) global: bool,
|
|
66
|
+
pub(crate) version_id: String,
|
|
67
|
+
}
|
|
68
|
+
|
|
69
|
+
/// Stable identity for one local untracked overlay row.
|
|
70
|
+
#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord)]
|
|
71
|
+
pub(crate) struct UntrackedStateIdentity {
|
|
72
|
+
pub(crate) version_id: String,
|
|
73
|
+
pub(crate) schema_key: String,
|
|
74
|
+
pub(crate) entity_id: EntityIdentity,
|
|
75
|
+
pub(crate) file_id: Option<String>,
|
|
76
|
+
}
|
|
77
|
+
|
|
78
|
+
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
|
79
|
+
pub(crate) struct UntrackedStateIdentityRef<'a> {
|
|
80
|
+
pub(crate) version_id: &'a str,
|
|
81
|
+
pub(crate) schema_key: &'a str,
|
|
82
|
+
pub(crate) entity_id: &'a EntityIdentity,
|
|
83
|
+
pub(crate) file_id: Option<&'a str>,
|
|
84
|
+
}
|
|
85
|
+
|
|
86
|
+
impl UntrackedStateIdentity {
|
|
87
|
+
pub(crate) fn as_ref(&self) -> UntrackedStateIdentityRef<'_> {
|
|
88
|
+
UntrackedStateIdentityRef {
|
|
89
|
+
version_id: &self.version_id,
|
|
90
|
+
schema_key: &self.schema_key,
|
|
91
|
+
entity_id: &self.entity_id,
|
|
92
|
+
file_id: self.file_id.as_deref(),
|
|
93
|
+
}
|
|
94
|
+
}
|
|
95
|
+
}
|
|
96
|
+
|
|
97
|
+
impl<'a> From<UntrackedStateRowRef<'a>> for UntrackedStateIdentityRef<'a> {
|
|
98
|
+
fn from(row: UntrackedStateRowRef<'a>) -> Self {
|
|
99
|
+
Self {
|
|
100
|
+
version_id: row.version_id,
|
|
101
|
+
schema_key: row.schema_key,
|
|
102
|
+
entity_id: row.entity_id,
|
|
103
|
+
file_id: row.file_id,
|
|
104
|
+
}
|
|
105
|
+
}
|
|
106
|
+
}
|
|
107
|
+
|
|
108
|
+
/// Identity-centered filter for untracked local overlay scans.
|
|
109
|
+
#[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
|
|
110
|
+
pub(crate) struct UntrackedStateFilter {
|
|
111
|
+
#[serde(default)]
|
|
112
|
+
pub(crate) schema_keys: Vec<String>,
|
|
113
|
+
#[serde(default)]
|
|
114
|
+
pub(crate) entity_ids: Vec<EntityIdentity>,
|
|
115
|
+
#[serde(default)]
|
|
116
|
+
pub(crate) version_ids: Vec<String>,
|
|
117
|
+
#[serde(default)]
|
|
118
|
+
pub(crate) file_ids: Vec<NullableKeyFilter<String>>,
|
|
119
|
+
}
|
|
120
|
+
|
|
121
|
+
/// Requested property set for an untracked-state scan.
|
|
122
|
+
#[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
|
|
123
|
+
pub(crate) struct UntrackedStateProjection {
|
|
124
|
+
#[serde(default)]
|
|
125
|
+
pub(crate) columns: Vec<String>,
|
|
126
|
+
}
|
|
127
|
+
|
|
128
|
+
/// Scan request for local untracked overlay rows.
|
|
129
|
+
#[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
|
|
130
|
+
pub(crate) struct UntrackedStateScanRequest {
|
|
131
|
+
#[serde(default)]
|
|
132
|
+
pub(crate) filter: UntrackedStateFilter,
|
|
133
|
+
#[serde(default)]
|
|
134
|
+
pub(crate) projection: UntrackedStateProjection,
|
|
135
|
+
#[serde(default)]
|
|
136
|
+
pub(crate) limit: Option<usize>,
|
|
137
|
+
}
|
|
138
|
+
|
|
139
|
+
/// Point lookup request for one untracked local overlay row.
|
|
140
|
+
#[derive(Debug, Clone, PartialEq, Eq)]
|
|
141
|
+
pub(crate) struct UntrackedStateRowRequest {
|
|
142
|
+
pub(crate) schema_key: String,
|
|
143
|
+
pub(crate) version_id: String,
|
|
144
|
+
pub(crate) entity_id: EntityIdentity,
|
|
145
|
+
pub(crate) file_id: NullableKeyFilter<String>,
|
|
146
|
+
}
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
use std::sync::Arc;
|
|
2
|
+
|
|
3
|
+
use crate::storage::{StorageReader, StorageWriteSet};
|
|
4
|
+
use crate::untracked_state::{UntrackedStateContext, UntrackedStateRow};
|
|
5
|
+
|
|
6
|
+
use super::refs::VersionRefContext;
|
|
7
|
+
use super::VersionRefReader;
|
|
8
|
+
|
|
9
|
+
/// Aggregate entrypoint for version-domain services.
|
|
10
|
+
///
|
|
11
|
+
/// Today this owns the moving-ref subsystem. Descriptor helpers are re-exported
|
|
12
|
+
/// by `version`; future version APIs can grow here without making session or
|
|
13
|
+
/// SQL code depend directly on ref storage details.
|
|
14
|
+
pub(crate) struct VersionContext {
|
|
15
|
+
refs: Arc<VersionRefContext>,
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
impl VersionContext {
|
|
19
|
+
pub(crate) fn new(untracked_state: Arc<UntrackedStateContext>) -> Self {
|
|
20
|
+
Self {
|
|
21
|
+
refs: Arc::new(VersionRefContext::new(untracked_state)),
|
|
22
|
+
}
|
|
23
|
+
}
|
|
24
|
+
|
|
25
|
+
/// Creates a version-ref reader over a caller-provided KV store.
|
|
26
|
+
pub(crate) fn ref_reader<S>(&self, store: S) -> impl VersionRefReader
|
|
27
|
+
where
|
|
28
|
+
S: StorageReader + Send,
|
|
29
|
+
{
|
|
30
|
+
self.refs.reader(store)
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
pub(crate) fn stage_canonical_ref_rows(
|
|
34
|
+
&self,
|
|
35
|
+
writes: &mut StorageWriteSet,
|
|
36
|
+
rows: &[UntrackedStateRow],
|
|
37
|
+
) -> Result<(), crate::LixError> {
|
|
38
|
+
self.refs.writer(writes).stage_rows(rows)
|
|
39
|
+
}
|
|
40
|
+
}
|