@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,307 @@
|
|
|
1
|
+
use crate::entity_identity::EntityIdentity;
|
|
2
|
+
use crate::untracked_state::{UntrackedStateRow, UntrackedStateRowRef};
|
|
3
|
+
use crate::LixError;
|
|
4
|
+
|
|
5
|
+
const UNTRACKED_STATE_FILE_IDENTIFIER: &str = "LXUS";
|
|
6
|
+
|
|
7
|
+
pub(crate) fn encode_row_ref(row: UntrackedStateRowRef<'_>) -> Result<Vec<u8>, LixError> {
|
|
8
|
+
let entity_id = row.entity_id.as_json_array_text().map_err(|error| {
|
|
9
|
+
LixError::unknown(format!(
|
|
10
|
+
"failed to encode untracked-state entity identity: {error}"
|
|
11
|
+
))
|
|
12
|
+
})?;
|
|
13
|
+
|
|
14
|
+
let mut builder = flatbuffers::FlatBufferBuilder::with_capacity(256);
|
|
15
|
+
let entity_id = builder.create_string(&entity_id);
|
|
16
|
+
let schema_key = builder.create_string(row.schema_key);
|
|
17
|
+
let file_id = row.file_id.map(|value| builder.create_string(value));
|
|
18
|
+
let snapshot_content = row
|
|
19
|
+
.snapshot_content
|
|
20
|
+
.map(|value| builder.create_string(value));
|
|
21
|
+
let metadata = row.metadata.map(|value| builder.create_string(value));
|
|
22
|
+
let created_at = builder.create_string(row.created_at);
|
|
23
|
+
let updated_at = builder.create_string(row.updated_at);
|
|
24
|
+
let version_id = builder.create_string(row.version_id);
|
|
25
|
+
|
|
26
|
+
let root = flatbuffer::create_untracked_state_row(
|
|
27
|
+
&mut builder,
|
|
28
|
+
&flatbuffer::UntrackedStateRowArgs {
|
|
29
|
+
entity_id,
|
|
30
|
+
schema_key,
|
|
31
|
+
file_id,
|
|
32
|
+
snapshot_content,
|
|
33
|
+
metadata,
|
|
34
|
+
created_at,
|
|
35
|
+
updated_at,
|
|
36
|
+
global: row.global,
|
|
37
|
+
version_id,
|
|
38
|
+
},
|
|
39
|
+
);
|
|
40
|
+
builder.finish(root, Some(UNTRACKED_STATE_FILE_IDENTIFIER));
|
|
41
|
+
Ok(builder.finished_data().to_vec())
|
|
42
|
+
}
|
|
43
|
+
|
|
44
|
+
pub(crate) fn decode_row(bytes: &[u8]) -> Result<UntrackedStateRow, LixError> {
|
|
45
|
+
if bytes.len() < flatbuffers::SIZE_UOFFSET + flatbuffers::FILE_IDENTIFIER_LENGTH
|
|
46
|
+
|| !flatbuffers::buffer_has_identifier(bytes, UNTRACKED_STATE_FILE_IDENTIFIER, false)
|
|
47
|
+
{
|
|
48
|
+
return Err(LixError::new(
|
|
49
|
+
"LIX_ERROR_UNKNOWN",
|
|
50
|
+
"failed to decode untracked-state row: invalid FlatBuffers file identifier",
|
|
51
|
+
));
|
|
52
|
+
}
|
|
53
|
+
|
|
54
|
+
let row = flatbuffer::root_as_untracked_state_row(bytes).map_err(|error| {
|
|
55
|
+
LixError::new(
|
|
56
|
+
"LIX_ERROR_UNKNOWN",
|
|
57
|
+
format!("failed to decode untracked-state row: {error}"),
|
|
58
|
+
)
|
|
59
|
+
})?;
|
|
60
|
+
|
|
61
|
+
let entity_id = required_str(row.entity_id(), "entity_id")?;
|
|
62
|
+
let entity_id = EntityIdentity::from_json_array_text(entity_id).map_err(|error| {
|
|
63
|
+
LixError::unknown(format!(
|
|
64
|
+
"failed to decode untracked-state entity identity: {error}"
|
|
65
|
+
))
|
|
66
|
+
})?;
|
|
67
|
+
|
|
68
|
+
Ok(UntrackedStateRow {
|
|
69
|
+
entity_id,
|
|
70
|
+
schema_key: required_str(row.schema_key(), "schema_key")?.to_string(),
|
|
71
|
+
file_id: row.file_id().map(ToString::to_string),
|
|
72
|
+
snapshot_content: row.snapshot_content().map(ToString::to_string),
|
|
73
|
+
metadata: row.metadata().map(ToString::to_string),
|
|
74
|
+
created_at: required_str(row.created_at(), "created_at")?.to_string(),
|
|
75
|
+
updated_at: required_str(row.updated_at(), "updated_at")?.to_string(),
|
|
76
|
+
global: row.global(),
|
|
77
|
+
version_id: required_str(row.version_id(), "version_id")?.to_string(),
|
|
78
|
+
})
|
|
79
|
+
}
|
|
80
|
+
|
|
81
|
+
fn required_str<'a>(value: Option<&'a str>, field: &str) -> Result<&'a str, LixError> {
|
|
82
|
+
value.ok_or_else(|| {
|
|
83
|
+
LixError::new(
|
|
84
|
+
"LIX_ERROR_UNKNOWN",
|
|
85
|
+
format!("failed to decode untracked-state row: missing required field `{field}`"),
|
|
86
|
+
)
|
|
87
|
+
})
|
|
88
|
+
}
|
|
89
|
+
|
|
90
|
+
mod flatbuffer {
|
|
91
|
+
#[derive(Copy, Clone, PartialEq)]
|
|
92
|
+
pub(super) struct UntrackedStateRow<'a> {
|
|
93
|
+
table: flatbuffers::Table<'a>,
|
|
94
|
+
}
|
|
95
|
+
|
|
96
|
+
impl<'a> flatbuffers::Follow<'a> for UntrackedStateRow<'a> {
|
|
97
|
+
type Inner = UntrackedStateRow<'a>;
|
|
98
|
+
|
|
99
|
+
#[inline]
|
|
100
|
+
unsafe fn follow(buf: &'a [u8], loc: usize) -> Self::Inner {
|
|
101
|
+
Self {
|
|
102
|
+
table: unsafe { flatbuffers::Table::new(buf, loc) },
|
|
103
|
+
}
|
|
104
|
+
}
|
|
105
|
+
}
|
|
106
|
+
|
|
107
|
+
impl<'a> UntrackedStateRow<'a> {
|
|
108
|
+
const VT_ENTITY_ID: flatbuffers::VOffsetT = 4;
|
|
109
|
+
const VT_SCHEMA_KEY: flatbuffers::VOffsetT = 6;
|
|
110
|
+
const VT_FILE_ID: flatbuffers::VOffsetT = 8;
|
|
111
|
+
const VT_SNAPSHOT_CONTENT: flatbuffers::VOffsetT = 10;
|
|
112
|
+
const VT_METADATA: flatbuffers::VOffsetT = 12;
|
|
113
|
+
const VT_CREATED_AT: flatbuffers::VOffsetT = 14;
|
|
114
|
+
const VT_UPDATED_AT: flatbuffers::VOffsetT = 16;
|
|
115
|
+
const VT_GLOBAL: flatbuffers::VOffsetT = 18;
|
|
116
|
+
const VT_VERSION_ID: flatbuffers::VOffsetT = 20;
|
|
117
|
+
|
|
118
|
+
#[inline]
|
|
119
|
+
pub(super) fn entity_id(&self) -> Option<&'a str> {
|
|
120
|
+
unsafe {
|
|
121
|
+
self.table
|
|
122
|
+
.get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_ENTITY_ID, None)
|
|
123
|
+
}
|
|
124
|
+
}
|
|
125
|
+
|
|
126
|
+
#[inline]
|
|
127
|
+
pub(super) fn schema_key(&self) -> Option<&'a str> {
|
|
128
|
+
unsafe {
|
|
129
|
+
self.table
|
|
130
|
+
.get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_SCHEMA_KEY, None)
|
|
131
|
+
}
|
|
132
|
+
}
|
|
133
|
+
|
|
134
|
+
#[inline]
|
|
135
|
+
pub(super) fn file_id(&self) -> Option<&'a str> {
|
|
136
|
+
unsafe {
|
|
137
|
+
self.table
|
|
138
|
+
.get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_FILE_ID, None)
|
|
139
|
+
}
|
|
140
|
+
}
|
|
141
|
+
|
|
142
|
+
#[inline]
|
|
143
|
+
pub(super) fn snapshot_content(&self) -> Option<&'a str> {
|
|
144
|
+
unsafe {
|
|
145
|
+
self.table
|
|
146
|
+
.get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_SNAPSHOT_CONTENT, None)
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
|
|
150
|
+
#[inline]
|
|
151
|
+
pub(super) fn metadata(&self) -> Option<&'a str> {
|
|
152
|
+
unsafe {
|
|
153
|
+
self.table
|
|
154
|
+
.get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_METADATA, None)
|
|
155
|
+
}
|
|
156
|
+
}
|
|
157
|
+
|
|
158
|
+
pub(super) fn created_at(&self) -> Option<&'a str> {
|
|
159
|
+
unsafe {
|
|
160
|
+
self.table
|
|
161
|
+
.get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_CREATED_AT, None)
|
|
162
|
+
}
|
|
163
|
+
}
|
|
164
|
+
|
|
165
|
+
#[inline]
|
|
166
|
+
pub(super) fn updated_at(&self) -> Option<&'a str> {
|
|
167
|
+
unsafe {
|
|
168
|
+
self.table
|
|
169
|
+
.get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_UPDATED_AT, None)
|
|
170
|
+
}
|
|
171
|
+
}
|
|
172
|
+
|
|
173
|
+
#[inline]
|
|
174
|
+
pub(super) fn global(&self) -> bool {
|
|
175
|
+
unsafe { self.table.get::<bool>(Self::VT_GLOBAL, Some(false)) }.unwrap_or(false)
|
|
176
|
+
}
|
|
177
|
+
|
|
178
|
+
#[inline]
|
|
179
|
+
pub(super) fn version_id(&self) -> Option<&'a str> {
|
|
180
|
+
unsafe {
|
|
181
|
+
self.table
|
|
182
|
+
.get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_VERSION_ID, None)
|
|
183
|
+
}
|
|
184
|
+
}
|
|
185
|
+
}
|
|
186
|
+
|
|
187
|
+
impl flatbuffers::Verifiable for UntrackedStateRow<'_> {
|
|
188
|
+
#[inline]
|
|
189
|
+
fn run_verifier(
|
|
190
|
+
verifier: &mut flatbuffers::Verifier,
|
|
191
|
+
position: usize,
|
|
192
|
+
) -> Result<(), flatbuffers::InvalidFlatbuffer> {
|
|
193
|
+
verifier
|
|
194
|
+
.visit_table(position)?
|
|
195
|
+
.visit_field::<flatbuffers::ForwardsUOffset<&str>>(
|
|
196
|
+
"entity_id",
|
|
197
|
+
Self::VT_ENTITY_ID,
|
|
198
|
+
true,
|
|
199
|
+
)?
|
|
200
|
+
.visit_field::<flatbuffers::ForwardsUOffset<&str>>(
|
|
201
|
+
"schema_key",
|
|
202
|
+
Self::VT_SCHEMA_KEY,
|
|
203
|
+
true,
|
|
204
|
+
)?
|
|
205
|
+
.visit_field::<flatbuffers::ForwardsUOffset<&str>>(
|
|
206
|
+
"file_id",
|
|
207
|
+
Self::VT_FILE_ID,
|
|
208
|
+
false,
|
|
209
|
+
)?
|
|
210
|
+
.visit_field::<flatbuffers::ForwardsUOffset<&str>>(
|
|
211
|
+
"snapshot_content",
|
|
212
|
+
Self::VT_SNAPSHOT_CONTENT,
|
|
213
|
+
false,
|
|
214
|
+
)?
|
|
215
|
+
.visit_field::<flatbuffers::ForwardsUOffset<&str>>(
|
|
216
|
+
"metadata",
|
|
217
|
+
Self::VT_METADATA,
|
|
218
|
+
false,
|
|
219
|
+
)?
|
|
220
|
+
.visit_field::<flatbuffers::ForwardsUOffset<&str>>(
|
|
221
|
+
"created_at",
|
|
222
|
+
Self::VT_CREATED_AT,
|
|
223
|
+
true,
|
|
224
|
+
)?
|
|
225
|
+
.visit_field::<flatbuffers::ForwardsUOffset<&str>>(
|
|
226
|
+
"updated_at",
|
|
227
|
+
Self::VT_UPDATED_AT,
|
|
228
|
+
true,
|
|
229
|
+
)?
|
|
230
|
+
.visit_field::<bool>("global", Self::VT_GLOBAL, false)?
|
|
231
|
+
.visit_field::<flatbuffers::ForwardsUOffset<&str>>(
|
|
232
|
+
"version_id",
|
|
233
|
+
Self::VT_VERSION_ID,
|
|
234
|
+
true,
|
|
235
|
+
)?
|
|
236
|
+
.finish();
|
|
237
|
+
Ok(())
|
|
238
|
+
}
|
|
239
|
+
}
|
|
240
|
+
|
|
241
|
+
pub(super) struct UntrackedStateRowArgs<'a> {
|
|
242
|
+
pub(super) entity_id: flatbuffers::WIPOffset<&'a str>,
|
|
243
|
+
pub(super) schema_key: flatbuffers::WIPOffset<&'a str>,
|
|
244
|
+
pub(super) file_id: Option<flatbuffers::WIPOffset<&'a str>>,
|
|
245
|
+
pub(super) snapshot_content: Option<flatbuffers::WIPOffset<&'a str>>,
|
|
246
|
+
pub(super) metadata: Option<flatbuffers::WIPOffset<&'a str>>,
|
|
247
|
+
pub(super) created_at: flatbuffers::WIPOffset<&'a str>,
|
|
248
|
+
pub(super) updated_at: flatbuffers::WIPOffset<&'a str>,
|
|
249
|
+
pub(super) global: bool,
|
|
250
|
+
pub(super) version_id: flatbuffers::WIPOffset<&'a str>,
|
|
251
|
+
}
|
|
252
|
+
|
|
253
|
+
pub(super) fn create_untracked_state_row<'bldr: 'args, 'args: 'mut_bldr, 'mut_bldr>(
|
|
254
|
+
builder: &'mut_bldr mut flatbuffers::FlatBufferBuilder<'bldr>,
|
|
255
|
+
args: &'args UntrackedStateRowArgs<'args>,
|
|
256
|
+
) -> flatbuffers::WIPOffset<UntrackedStateRow<'bldr>> {
|
|
257
|
+
let start = builder.start_table();
|
|
258
|
+
builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
|
|
259
|
+
UntrackedStateRow::VT_VERSION_ID,
|
|
260
|
+
args.version_id,
|
|
261
|
+
);
|
|
262
|
+
builder.push_slot::<bool>(UntrackedStateRow::VT_GLOBAL, args.global, false);
|
|
263
|
+
builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
|
|
264
|
+
UntrackedStateRow::VT_UPDATED_AT,
|
|
265
|
+
args.updated_at,
|
|
266
|
+
);
|
|
267
|
+
builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
|
|
268
|
+
UntrackedStateRow::VT_CREATED_AT,
|
|
269
|
+
args.created_at,
|
|
270
|
+
);
|
|
271
|
+
if let Some(metadata) = args.metadata {
|
|
272
|
+
builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
|
|
273
|
+
UntrackedStateRow::VT_METADATA,
|
|
274
|
+
metadata,
|
|
275
|
+
);
|
|
276
|
+
}
|
|
277
|
+
if let Some(snapshot_content) = args.snapshot_content {
|
|
278
|
+
builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
|
|
279
|
+
UntrackedStateRow::VT_SNAPSHOT_CONTENT,
|
|
280
|
+
snapshot_content,
|
|
281
|
+
);
|
|
282
|
+
}
|
|
283
|
+
if let Some(file_id) = args.file_id {
|
|
284
|
+
builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
|
|
285
|
+
UntrackedStateRow::VT_FILE_ID,
|
|
286
|
+
file_id,
|
|
287
|
+
);
|
|
288
|
+
}
|
|
289
|
+
builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
|
|
290
|
+
UntrackedStateRow::VT_SCHEMA_KEY,
|
|
291
|
+
args.schema_key,
|
|
292
|
+
);
|
|
293
|
+
builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
|
|
294
|
+
UntrackedStateRow::VT_ENTITY_ID,
|
|
295
|
+
args.entity_id,
|
|
296
|
+
);
|
|
297
|
+
let offset = builder.end_table(start);
|
|
298
|
+
flatbuffers::WIPOffset::new(offset.value())
|
|
299
|
+
}
|
|
300
|
+
|
|
301
|
+
#[inline]
|
|
302
|
+
pub(super) fn root_as_untracked_state_row(
|
|
303
|
+
bytes: &[u8],
|
|
304
|
+
) -> Result<UntrackedStateRow<'_>, flatbuffers::InvalidFlatbuffer> {
|
|
305
|
+
flatbuffers::root::<UntrackedStateRow>(bytes)
|
|
306
|
+
}
|
|
307
|
+
}
|
|
@@ -0,0 +1,98 @@
|
|
|
1
|
+
use crate::storage::{StorageReader, StorageWriteSet};
|
|
2
|
+
use crate::untracked_state::{
|
|
3
|
+
MaterializedUntrackedStateRow, UntrackedStateIdentity, UntrackedStateIdentityRef,
|
|
4
|
+
UntrackedStateRowRef, UntrackedStateRowRequest, UntrackedStateScanRequest,
|
|
5
|
+
};
|
|
6
|
+
use crate::LixError;
|
|
7
|
+
|
|
8
|
+
/// Durable local overlay excluded from changelog and commit membership.
|
|
9
|
+
///
|
|
10
|
+
/// Untracked state is not change-controlled, but it is still durable local
|
|
11
|
+
/// state. It is read alongside tracked live state and can override tracked rows
|
|
12
|
+
/// with the same identity.
|
|
13
|
+
#[derive(Clone, Copy)]
|
|
14
|
+
pub(crate) struct UntrackedStateContext;
|
|
15
|
+
|
|
16
|
+
impl UntrackedStateContext {
|
|
17
|
+
pub(crate) fn new() -> Self {
|
|
18
|
+
Self
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
/// Creates a reader over a caller-provided KV store.
|
|
22
|
+
///
|
|
23
|
+
/// The caller decides which KV store supplies visibility for the read.
|
|
24
|
+
pub(crate) fn reader<S>(&self, store: S) -> UntrackedStateStoreReader<S>
|
|
25
|
+
where
|
|
26
|
+
S: StorageReader,
|
|
27
|
+
{
|
|
28
|
+
UntrackedStateStoreReader { store }
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
/// Creates a writer over a transaction-local storage write set.
|
|
32
|
+
///
|
|
33
|
+
/// The context never opens its own transaction; the caller applies the
|
|
34
|
+
/// write set to choose the durable commit or rollback boundary.
|
|
35
|
+
pub(crate) fn writer<'a>(&self, writes: &'a mut StorageWriteSet) -> UntrackedStateWriter<'a> {
|
|
36
|
+
UntrackedStateWriter { writes }
|
|
37
|
+
}
|
|
38
|
+
}
|
|
39
|
+
|
|
40
|
+
/// Store-backed untracked-state reader created by `UntrackedStateContext`.
|
|
41
|
+
pub(crate) struct UntrackedStateStoreReader<S> {
|
|
42
|
+
store: S,
|
|
43
|
+
}
|
|
44
|
+
|
|
45
|
+
impl<S> UntrackedStateStoreReader<S>
|
|
46
|
+
where
|
|
47
|
+
S: StorageReader,
|
|
48
|
+
{
|
|
49
|
+
pub(crate) async fn scan_rows(
|
|
50
|
+
&mut self,
|
|
51
|
+
request: &UntrackedStateScanRequest,
|
|
52
|
+
) -> Result<Vec<MaterializedUntrackedStateRow>, LixError> {
|
|
53
|
+
crate::untracked_state::storage::scan_rows(&mut self.store, request).await
|
|
54
|
+
}
|
|
55
|
+
|
|
56
|
+
pub(crate) async fn load_row(
|
|
57
|
+
&mut self,
|
|
58
|
+
request: &UntrackedStateRowRequest,
|
|
59
|
+
) -> Result<Option<MaterializedUntrackedStateRow>, LixError> {
|
|
60
|
+
crate::untracked_state::storage::load_row(&mut self.store, request).await
|
|
61
|
+
}
|
|
62
|
+
|
|
63
|
+
pub(crate) async fn existing_identities<'a, I>(
|
|
64
|
+
&mut self,
|
|
65
|
+
identities: I,
|
|
66
|
+
) -> Result<Vec<UntrackedStateIdentity>, LixError>
|
|
67
|
+
where
|
|
68
|
+
I: IntoIterator<Item = UntrackedStateIdentityRef<'a>>,
|
|
69
|
+
{
|
|
70
|
+
crate::untracked_state::storage::existing_identities(&mut self.store, identities).await
|
|
71
|
+
}
|
|
72
|
+
}
|
|
73
|
+
|
|
74
|
+
/// Untracked-state writer over a transaction-local storage write set.
|
|
75
|
+
pub(crate) struct UntrackedStateWriter<'a> {
|
|
76
|
+
writes: &'a mut StorageWriteSet,
|
|
77
|
+
}
|
|
78
|
+
|
|
79
|
+
impl UntrackedStateWriter<'_> {
|
|
80
|
+
/// Stages the latest untracked rows for their identities.
|
|
81
|
+
///
|
|
82
|
+
/// A row with `snapshot_content = None` is treated as removal because
|
|
83
|
+
/// untracked state keeps only the current local value, not tombstones.
|
|
84
|
+
pub(crate) fn stage_rows<'a, I>(&mut self, rows: I) -> Result<(), LixError>
|
|
85
|
+
where
|
|
86
|
+
I: IntoIterator<Item = UntrackedStateRowRef<'a>>,
|
|
87
|
+
{
|
|
88
|
+
crate::untracked_state::storage::stage_rows(self.writes, rows)
|
|
89
|
+
}
|
|
90
|
+
|
|
91
|
+
/// Removes untracked rows by exact identity.
|
|
92
|
+
pub(crate) fn stage_delete_rows<'a, I>(&mut self, identities: I)
|
|
93
|
+
where
|
|
94
|
+
I: IntoIterator<Item = UntrackedStateIdentityRef<'a>>,
|
|
95
|
+
{
|
|
96
|
+
crate::untracked_state::storage::stage_delete_rows(self.writes, identities)
|
|
97
|
+
}
|
|
98
|
+
}
|
|
@@ -0,0 +1,63 @@
|
|
|
1
|
+
use crate::untracked_state::{MaterializedUntrackedStateRow, UntrackedStateRow};
|
|
2
|
+
use crate::{parse_row_metadata, LixError};
|
|
3
|
+
|
|
4
|
+
pub(crate) fn materialize_row(
|
|
5
|
+
row: UntrackedStateRow,
|
|
6
|
+
projection: &UntrackedMaterializationProjection,
|
|
7
|
+
) -> Result<MaterializedUntrackedStateRow, LixError> {
|
|
8
|
+
let deleted = row.snapshot_content.is_none();
|
|
9
|
+
let snapshot_content = if projection.snapshot_content {
|
|
10
|
+
row.snapshot_content
|
|
11
|
+
} else {
|
|
12
|
+
None
|
|
13
|
+
};
|
|
14
|
+
let metadata = if projection.metadata {
|
|
15
|
+
load_optional_metadata(row.metadata)?
|
|
16
|
+
} else {
|
|
17
|
+
None
|
|
18
|
+
};
|
|
19
|
+
Ok(MaterializedUntrackedStateRow {
|
|
20
|
+
entity_id: row.entity_id,
|
|
21
|
+
schema_key: row.schema_key,
|
|
22
|
+
file_id: row.file_id,
|
|
23
|
+
snapshot_content,
|
|
24
|
+
metadata,
|
|
25
|
+
deleted,
|
|
26
|
+
created_at: row.created_at,
|
|
27
|
+
updated_at: row.updated_at,
|
|
28
|
+
global: row.global,
|
|
29
|
+
version_id: row.version_id,
|
|
30
|
+
})
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
|
34
|
+
pub(crate) struct UntrackedMaterializationProjection {
|
|
35
|
+
pub(crate) snapshot_content: bool,
|
|
36
|
+
pub(crate) metadata: bool,
|
|
37
|
+
}
|
|
38
|
+
|
|
39
|
+
impl UntrackedMaterializationProjection {
|
|
40
|
+
pub(crate) fn full() -> Self {
|
|
41
|
+
Self {
|
|
42
|
+
snapshot_content: true,
|
|
43
|
+
metadata: true,
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
|
|
47
|
+
pub(crate) fn from_columns(columns: &[String]) -> Self {
|
|
48
|
+
if columns.is_empty() {
|
|
49
|
+
return Self::full();
|
|
50
|
+
}
|
|
51
|
+
Self {
|
|
52
|
+
snapshot_content: columns.iter().any(|column| column == "snapshot_content"),
|
|
53
|
+
metadata: columns.iter().any(|column| column == "metadata"),
|
|
54
|
+
}
|
|
55
|
+
}
|
|
56
|
+
}
|
|
57
|
+
|
|
58
|
+
fn load_optional_metadata(metadata: Option<String>) -> Result<Option<String>, LixError> {
|
|
59
|
+
let Some(json) = metadata else {
|
|
60
|
+
return Ok(None);
|
|
61
|
+
};
|
|
62
|
+
parse_row_metadata(&json, "untracked_state metadata").map(Some)
|
|
63
|
+
}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
mod codec;
|
|
2
|
+
mod context;
|
|
3
|
+
mod materialization;
|
|
4
|
+
pub(crate) mod storage;
|
|
5
|
+
mod types;
|
|
6
|
+
|
|
7
|
+
#[allow(unused_imports)]
|
|
8
|
+
pub(crate) use context::{UntrackedStateContext, UntrackedStateStoreReader, UntrackedStateWriter};
|
|
9
|
+
pub(crate) use materialization::{materialize_row, UntrackedMaterializationProjection};
|
|
10
|
+
#[allow(unused_imports)]
|
|
11
|
+
pub(crate) use types::{
|
|
12
|
+
MaterializedUntrackedStateRow, UntrackedStateFilter, UntrackedStateIdentity,
|
|
13
|
+
UntrackedStateIdentityRef, UntrackedStateProjection, UntrackedStateRow, UntrackedStateRowRef,
|
|
14
|
+
UntrackedStateRowRequest, UntrackedStateScanRequest,
|
|
15
|
+
};
|