astreum 0.2.35__py3-none-any.whl → 0.2.37__py3-none-any.whl

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.

Potentially problematic release.


This version of astreum might be problematic. Click here for more details.

astreum/_node.py CHANGED
@@ -1,118 +1,35 @@
1
1
  from __future__ import annotations
2
- from typing import Dict, List, Optional, Tuple, Union
2
+ from typing import Dict, Optional
3
3
  import uuid
4
4
  import threading
5
5
 
6
- # ===============================
7
- # 1. Helpers (no decoding, two's complement)
8
- # ===============================
9
-
10
- def tc_to_int(b: bytes) -> int:
11
- """bytes -> int using two's complement (width = len(b)*8)."""
12
- if not b:
13
- return 0
14
- return int.from_bytes(b, "big", signed=True)
15
-
16
- def int_to_tc(n: int, width_bytes: int) -> bytes:
17
- """int -> bytes (two's complement, fixed width)."""
18
- if width_bytes <= 0:
19
- return b"\x00"
20
- return n.to_bytes(width_bytes, "big", signed=True)
21
-
22
- def min_tc_width(n: int) -> int:
23
- """minimum bytes to store n in two's complement."""
24
- if n == 0:
25
- return 1
26
- w = 1
27
- while True:
28
- try:
29
- n.to_bytes(w, "big", signed=True)
30
- return w
31
- except OverflowError:
32
- w += 1
33
-
34
- def nand_bytes(a: bytes, b: bytes) -> bytes:
35
- """Bitwise NAND on two byte strings, zero-extending to max width."""
36
- w = max(len(a), len(b), 1)
37
- au = int.from_bytes(a.rjust(w, b"\x00"), "big", signed=False)
38
- bu = int.from_bytes(b.rjust(w, b"\x00"), "big", signed=False)
39
- mask = (1 << (w * 8)) - 1
40
- resu = (~(au & bu)) & mask
41
- return resu.to_bytes(w, "big", signed=False)
6
+ from src.astreum._storage.atom import Atom
7
+ from src.astreum._lispeum import Env, Expr, low_eval, parse, tokenize, ParseError
42
8
 
43
9
  def bytes_touched(*vals: bytes) -> int:
44
10
  """For metering: how many bytes were manipulated (max of operands)."""
45
11
  return max((len(v) for v in vals), default=1)
46
12
 
47
- # ===============================
48
- # 2. Structures
49
- # ===============================
50
-
51
- class Expr:
52
- class ListExpr:
53
- def __init__(self, elements: List['Expr']):
54
- self.elements = elements
55
-
56
- def __repr__(self):
57
- if not self.elements:
58
- return "()"
59
- inner = " ".join(str(e) for e in self.elements)
60
- return f"({inner})"
61
-
62
- class Symbol:
63
- def __init__(self, value: str):
64
- self.value = value
65
-
66
- def __repr__(self):
67
- return self.value
68
-
69
- class Byte:
70
- def __init__(self, value: int):
71
- self.value = value
72
-
73
- def __repr__(self):
74
- return self.value
75
-
76
- class Error:
77
- def __init__(self, topic: str, origin: Optional['Expr'] = None):
78
- self.topic = topic
79
- self.origin = origin
80
-
81
- def __repr__(self):
82
- if self.origin is None:
83
- return f'({self.topic} err)'
84
- return f'({self.origin} {self.topic} err)'
85
-
86
- class Env:
87
- def __init__(
88
- self,
89
- data: Optional[Dict[str, Expr]] = None,
90
- parent_id: Optional[uuid.UUID] = None,
91
- ):
92
- self.data: Dict[bytes, Expr] = {} if data is None else data
93
- self.parent_id = parent_id
94
-
95
- class Meter:
96
- def __init__(self, enabled: bool = True, limit: Optional[int] = None):
97
- self.enabled = enabled
98
- self.limit: Optional[int] = limit
99
- self.used: int = 0
100
-
101
- def charge_bytes(self, n: int) -> bool:
102
- if not self.enabled:
103
- return True
104
- if n < 0:
105
- n = 0
106
- if self.limit is not None and (self.used + n) >= self.limit:
107
- return False
108
- self.used += n
109
- return True
110
-
111
13
  class Node:
112
- def __init__(self):
14
+ def __init__(self, config: dict):
15
+ # Storage Setup
16
+ self.in_memory_storage: Dict[bytes, Atom] = {}
17
+ self.in_memory_storage_lock = threading.RLock()
18
+ # Lispeum Setup
113
19
  self.environments: Dict[uuid.UUID, Env] = {}
114
- self.in_memory_storage: Dict[bytes, bytes] = {}
115
20
  self.machine_environments_lock = threading.RLock()
21
+ self.low_eval = low_eval
22
+ # Communication and Validation Setup (import lazily to avoid heavy deps during parsing tests)
23
+ try:
24
+ from astreum._communication import communication_setup # type: ignore
25
+ communication_setup(node=self, config=config)
26
+ except Exception:
27
+ pass
28
+ try:
29
+ from astreum._validation import validation_setup # type: ignore
30
+ validation_setup(node=self)
31
+ except Exception:
32
+ pass
116
33
 
117
34
  # ---- Env helpers ----
118
35
  def env_get(self, env_id: uuid.UUID, key: bytes) -> Optional[Expr]:
@@ -131,362 +48,11 @@ class Node:
131
48
  env.data[key] = value
132
49
  return True
133
50
 
134
- # ---- Storage (persistent) ----
135
- def _local_get(self, key: bytes) -> Optional[bytes]:
136
- return self.in_memory_storage.get(key)
137
-
138
- def _local_set(self, key: bytes, value: bytes) -> None:
139
- self.in_memory_storage[key] = value
140
-
141
- # ---- Eval ----
142
- def low_eval(self, code: List[bytes], meter: Meter) -> Union[bytes, Expr.Error]:
143
-
144
- heap: Dict[bytes, bytes] = {}
145
-
146
- stack: List[bytes] = []
147
- pc = 0
148
-
149
- while True:
150
- if pc >= len(code):
151
- if len(stack) != 1:
152
- return Expr.Error("bad stack")
153
- return stack.pop()
154
-
155
- tok = code[pc]
156
- pc += 1
157
-
158
- # ---------- ADD ----------
159
- if tok == b"add":
160
- if len(stack) < 2:
161
- return Expr.Error("underflow")
162
- b_b = stack.pop()
163
- a_b = stack.pop()
164
- a_i = tc_to_int(a_b)
165
- b_i = tc_to_int(b_b)
166
- res_i = a_i + b_i
167
- width = max(len(a_b), len(b_b), min_tc_width(res_i))
168
- res_b = int_to_tc(res_i, width)
169
- # charge for both operands' byte widths
170
- if not meter.charge_bytes(len(a_b) + len(b_b)):
171
- return Expr.Error("meter limit")
172
- stack.append(res_b)
173
- continue
174
-
175
- # ---------- NAND ----------
176
- if tok == b"nand":
177
- if len(stack) < 2:
178
- return Expr.Error("underflow")
179
- b_b = stack.pop()
180
- a_b = stack.pop()
181
- res_b = nand_bytes(a_b, b_b)
182
- # bitwise cost: 2 * max(len(a), len(b))
183
- if not meter.charge_bytes(2 * max(len(a_b), len(b_b), 1)):
184
- return Expr.Error("meter limit")
185
- stack.append(res_b)
186
- continue
187
-
188
- # ---------- JUMP ----------
189
- if tok == b"jump":
190
- if len(stack) < 1:
191
- return Expr.Error("underflow")
192
- tgt_b = stack.pop()
193
- if not meter.charge_bytes(1):
194
- return Expr.Error("meter limit")
195
- tgt_i = tc_to_int(tgt_b)
196
- if tgt_i < 0 or tgt_i >= len(code):
197
- return Expr.Error("bad jump")
198
- pc = tgt_i
199
- continue
200
-
201
- # ---------- HEAP GET ----------
202
- if tok == b"heap_get":
203
- if len(stack) < 1:
204
- return Expr.Error("underflow")
205
- key = stack.pop()
206
- val = heap.get(key) or b""
207
- # get cost: 1
208
- if not meter.charge_bytes(1):
209
- return Expr.Error("meter limit")
210
- stack.append(val)
211
- continue
212
-
213
- # ---------- HEAP SET ----------
214
- if tok == b"heap_set":
215
- if len(stack) < 2:
216
- return Expr.Error("underflow")
217
- val = stack.pop()
218
- key = stack.pop()
219
- if not meter.charge_bytes(len(val)):
220
- return Expr.Error("meter limit")
221
- heap[key] = val
222
- continue
223
-
224
- # ---------- STORAGE GET ----------
225
- if tok == b"storage_get":
226
- if len(stack) < 1:
227
- return Expr.Error("underflow")
228
- key = stack.pop()
229
- val = self._local_get(key) or b""
230
- if not meter.charge_bytes(1):
231
- return Expr.Error("meter limit")
232
- stack.append(val)
233
- continue
234
-
235
- # ---------- STORAGE SET ----------
236
- if tok == b"storage_set":
237
- if len(stack) < 2:
238
- return Expr.Error("underflow")
239
- val = stack.pop()
240
- key = stack.pop()
241
- if not meter.charge_bytes(len(val)):
242
- return Expr.Error("meter limit")
243
- self._local_set(key, val)
244
- continue
245
-
246
- # if no opcode matched above, treat token as literal
247
-
248
- # not an opcode → literal blob
249
- stack.append(tok)
250
-
251
- def high_eval(self, env_id: uuid.UUID, expr: Expr, meter = None) -> Expr:
252
-
253
- if meter is None:
254
- meter = Meter()
255
-
256
- # ---------- atoms ----------
257
- if isinstance(expr, Expr.Error):
258
- return expr
259
-
260
- if isinstance(expr, Expr.Symbol):
261
- bound = self.env_get(env_id, expr.value.encode())
262
- if bound is None:
263
- return Expr.Error(f"unbound symbol '{expr.value}'", origin=expr)
264
- return bound
265
-
266
- if not isinstance(expr, Expr.ListExpr):
267
- return expr # Expr.Byte or other literals passthrough
268
-
269
- # ---------- empty / single ----------
270
- if len(expr.elements) == 0:
271
- return expr
272
- if len(expr.elements) == 1:
273
- return self.high_eval(env_id=env_id, expr=expr.elements[0], meter=meter)
274
-
275
- tail = expr.elements[-1]
276
-
277
- # ---------- (value name def) ----------
278
- if isinstance(tail, Expr.Symbol) and tail.value == "def":
279
- if len(expr.elements) < 3:
280
- return Expr.Error("def expects (value name def)", origin=expr)
281
- name_e = expr.elements[-2]
282
- if not isinstance(name_e, Expr.Symbol):
283
- return Expr.Error("def name must be symbol", origin=name_e)
284
- value_e = expr.elements[-3]
285
- value_res = self.high_eval(env_id=env_id, expr=value_e, meter=meter)
286
- if isinstance(value_res, Expr.Error):
287
- return value_res
288
- self.env_set(env_id, name_e.value.encode(), value_res)
289
- return value_res
290
-
291
- # ---- LOW-LEVEL call: ( arg1 arg2 ... ( (body) sk ) ) ----
292
- if isinstance(tail, Expr.ListExpr):
293
- inner = tail.elements
294
- if len(inner) >= 2 and isinstance(inner[-1], Expr.Symbol) and inner[-1].value == "sk":
295
- body_expr = inner[-2]
296
- if not isinstance(body_expr, Expr.ListExpr):
297
- return Expr.Error("sk body must be list", origin=body_expr)
298
-
299
- # helper: turn an Expr into a contiguous bytes buffer
300
- def to_bytes(v: Expr) -> Union[bytes, Expr.Error]:
301
- if isinstance(v, Expr.Byte):
302
- return bytes([v.value & 0xFF])
303
- if isinstance(v, Expr.ListExpr):
304
- # expect a list of Expr.Byte
305
- out: bytearray = bytearray()
306
- for el in v.elements:
307
- if isinstance(el, Expr.Byte):
308
- out.append(el.value & 0xFF)
309
- else:
310
- return Expr.Error("byte list must contain only Byte", origin=el)
311
- return bytes(out)
312
- if isinstance(v, Expr.Error):
313
- return v
314
- return Expr.Error("argument must resolve to Byte or (Byte ...)", origin=v)
315
-
316
- # resolve ALL preceding args into bytes (can be Byte or List[Byte])
317
- args_exprs = expr.elements[:-1]
318
- arg_bytes: List[bytes] = []
319
- for a in args_exprs:
320
- v = self.high_eval(env_id=env_id, expr=a, meter=meter)
321
- if isinstance(v, Expr.Error):
322
- return v
323
- vb = to_bytes(v)
324
- if isinstance(vb, Expr.Error):
325
- return vb
326
- arg_bytes.append(vb)
327
-
328
- # build low-level code with $0-based placeholders ($0 = first arg)
329
- code: List[bytes] = []
330
-
331
- def emit(tok: Expr) -> Union[None, Expr.Error]:
332
- if isinstance(tok, Expr.Symbol):
333
- name = tok.value
334
- if name.startswith("$"):
335
- idx_s = name[1:]
336
- if not idx_s.isdigit():
337
- return Expr.Error("invalid sk placeholder", origin=tok)
338
- idx = int(idx_s) # $0 is first
339
- if idx < 0 or idx >= len(arg_bytes):
340
- return Expr.Error("arity mismatch in sk placeholder", origin=tok)
341
- code.append(arg_bytes[idx])
342
- return None
343
- code.append(name.encode())
344
- return None
345
-
346
- if isinstance(tok, Expr.Byte):
347
- code.append(bytes([tok.value & 0xFF]))
348
- return None
349
-
350
- if isinstance(tok, Expr.ListExpr):
351
- rv = self.high_eval(env_id, tok, meter=meter)
352
- if isinstance(rv, Expr.Error):
353
- return rv
354
- rb = to_bytes(rv)
355
- if isinstance(rb, Expr.Error):
356
- return rb
357
- code.append(rb)
358
- return None
359
-
360
- if isinstance(tok, Expr.Error):
361
- return tok
362
-
363
- return Expr.Error("invalid token in sk body", origin=tok)
364
-
365
- for t in body_expr.elements:
366
- err = emit(t)
367
- if isinstance(err, Expr.Error):
368
- return err
369
-
370
- # Execute low-level code built from sk-body using the caller's meter
371
- res = self.low_eval(code, meter=meter)
372
- if isinstance(res, Expr.Error):
373
- return res
374
- return Expr.ListExpr([Expr.Byte(b) for b in res])
375
-
376
-
377
-
378
- # ---------- (... (body params fn)) HIGH-LEVEL CALL ----------
379
- if isinstance(tail, Expr.ListExpr):
380
- fn_form = tail
381
- if (len(fn_form.elements) >= 3
382
- and isinstance(fn_form.elements[-1], Expr.Symbol)
383
- and fn_form.elements[-1].value == "fn"):
384
-
385
- body_expr = fn_form.elements[-3]
386
- params_expr = fn_form.elements[-2]
387
-
388
- if not isinstance(body_expr, Expr.ListExpr):
389
- return Expr.Error("fn body must be list", origin=body_expr)
390
- if not isinstance(params_expr, Expr.ListExpr):
391
- return Expr.Error("fn params must be list", origin=params_expr)
392
-
393
- params: List[bytes] = []
394
- for p in params_expr.elements:
395
- if not isinstance(p, Expr.Symbol):
396
- return Expr.Error("fn param must be symbol", origin=p)
397
- params.append(p.value.encode())
398
-
399
- args_exprs = expr.elements[:-1]
400
- if len(args_exprs) != len(params):
401
- return Expr.Error("arity mismatch", origin=expr)
402
-
403
- arg_bytes: List[bytes] = []
404
- for a in args_exprs:
405
- v = self.high_eval(env_id, a, meter=meter)
406
- if isinstance(v, Expr.Error):
407
- return v
408
- if not isinstance(v, Expr.Byte):
409
- return Expr.Error("argument must resolve to Byte", origin=a)
410
- arg_bytes.append(bytes([v.value & 0xFF]))
411
-
412
- # child env, bind params -> Expr.Byte
413
- child_env = uuid.uuid4()
414
- self.environments[child_env] = Env(parent_id=env_id)
415
- for name_b, val_b in zip(params, arg_bytes):
416
- self.env_set(child_env, name_b, Expr.Byte(val_b[0]))
417
-
418
- # evaluate HL body, metered from the top
419
- return self.high_eval(child_env, body_expr, meter=meter)
420
-
421
- # ---------- default: resolve each element and return list ----------
422
- resolved: List[Expr] = [self.high_eval(env_id, e, meter=meter) for e in expr.elements]
423
- return Expr.ListExpr(resolved)
424
-
425
- # ===============================
426
- # 3. Lightweight Parser for Expr (postfix, limited forms)
427
- # ===============================
428
-
429
- class ParseError(Exception):
430
- pass
431
-
432
- def tokenize(source: str) -> List[str]:
433
- """Tokenize a minimal Lispeum subset for this module.
434
-
435
- Supports:
436
- - Integers (e.g., -1, 0, 255) → Byte
437
- - Symbols (e.g., add, nand, def, fn, sk, int.sub, $0)
438
- - Lists using parentheses
439
- """
440
- tokens: List[str] = []
441
- cur: List[str] = []
442
- for ch in source:
443
- if ch.isspace():
444
- if cur:
445
- tokens.append("".join(cur))
446
- cur = []
447
- continue
448
- if ch in ("(", ")"):
449
- if cur:
450
- tokens.append("".join(cur))
451
- cur = []
452
- tokens.append(ch)
453
- continue
454
- cur.append(ch)
455
- if cur:
456
- tokens.append("".join(cur))
457
- return tokens
458
-
459
- def _parse_one(tokens: List[str], pos: int = 0) -> Tuple[Expr, int]:
460
- if pos >= len(tokens):
461
- raise ParseError("unexpected end")
462
- tok = tokens[pos]
463
-
464
- if tok == '(': # list
465
- items: List[Expr] = []
466
- i = pos + 1
467
- while i < len(tokens):
468
- if tokens[i] == ')':
469
- # special-case error form at close: (origin topic err) or (topic err)
470
- if len(items) >= 3 and isinstance(items[-1], Expr.Symbol) and items[-1].value == 'err' and isinstance(items[-2], Expr.Symbol):
471
- return Expr.Error(items[-2].value, origin=items[-3]), i + 1
472
- if len(items) == 2 and isinstance(items[-1], Expr.Symbol) and items[-1].value == 'err' and isinstance(items[-2], Expr.Symbol):
473
- return Expr.Error(items[-2].value), i + 1
474
- return Expr.ListExpr(items), i + 1
475
- expr, i = _parse_one(tokens, i)
476
- items.append(expr)
477
- raise ParseError("expected ')'")
478
-
479
- if tok == ')':
480
- raise ParseError("unexpected ')'")
481
-
482
- # try integer → Byte
483
- try:
484
- n = int(tok)
485
- return Expr.Byte(n), pos + 1
486
- except ValueError:
487
- return Expr.Symbol(tok), pos + 1
51
+ # Storage
52
+ def _local_get(self, key: bytes) -> Optional[Atom]:
53
+ with self.in_memory_storage_lock:
54
+ return self.in_memory_storage.get(key)
488
55
 
489
- def parse(tokens: List[str]) -> Tuple[Expr, List[str]]:
490
- """Parse tokens into an Expr and return (expr, remaining_tokens)."""
491
- expr, next_pos = _parse_one(tokens, 0)
492
- return expr, tokens[next_pos:]
56
+ def _local_set(self, key: bytes, value: Atom) -> None:
57
+ with self.in_memory_storage_lock:
58
+ self.in_memory_storage[key] = value
@@ -0,0 +1,5 @@
1
+ from .atom import Atom
2
+
3
+ __all__ = [
4
+ "Atom",
5
+ ]
@@ -0,0 +1,100 @@
1
+
2
+
3
+ from typing import List, Optional, Tuple
4
+
5
+ from .._lispeum.expression import Expr
6
+ from blake3 import blake3
7
+
8
+ ZERO32 = b"\x00"*32
9
+
10
+ def u64_le(n: int) -> bytes:
11
+ return int(n).to_bytes(8, "little", signed=False)
12
+
13
+ def hash_bytes(b: bytes) -> bytes:
14
+ return blake3(b).digest()
15
+
16
+ class Atom:
17
+ data: bytes
18
+ next: bytes
19
+ size: int
20
+
21
+ def __init__(self, data: bytes, next: bytes = ZERO32, size: Optional[int] = None):
22
+ self.data = data
23
+ self.next = next
24
+ self.size = len(data) if size is None else size
25
+
26
+ @staticmethod
27
+ def from_data(data: bytes, next_hash: bytes = ZERO32) -> "Atom":
28
+ return Atom(data=data, next=next_hash, size=len(data))
29
+
30
+ @staticmethod
31
+ def object_id_from_parts(data_hash: bytes, next_hash: bytes, size: int) -> bytes:
32
+ return blake3(data_hash + next_hash + u64_le(size)).digest()
33
+
34
+ def data_hash(self) -> bytes:
35
+ return hash_bytes(self.data)
36
+
37
+ def object_id(self) -> bytes:
38
+ return self.object_id_from_parts(self.data_hash(), self.next, self.size)
39
+
40
+ @staticmethod
41
+ def verify_metadata(object_id: bytes, size: int, next_hash: bytes, data_hash: bytes) -> bool:
42
+ return object_id == blake3(data_hash + next_hash + u64_le(size)).digest()
43
+
44
+ def to_bytes(self) -> bytes:
45
+ return self.next + self.data
46
+
47
+ @staticmethod
48
+ def from_bytes(buf: bytes) -> "Atom":
49
+ if len(buf) < len(ZERO32):
50
+ raise ValueError("buffer too short for Atom header")
51
+ next_hash = buf[:len(ZERO32)]
52
+ data = buf[len(ZERO32):]
53
+ return Atom(data=data, next=next_hash, size=len(data))
54
+
55
+ def expr_to_atoms(e: Expr) -> Tuple[bytes, List[Atom]]:
56
+ def symbol(value: str) -> Tuple[bytes, List[Atom]]:
57
+ val = value.encode("utf-8")
58
+ val_atom = Atom.from_data(data=val)
59
+ typ_atom = Atom.from_data(b"symbol", val_atom.object_id())
60
+ return typ_atom.object_id(), [val_atom, typ_atom]
61
+
62
+ def bytes(data: bytes) -> Tuple[bytes, List[Atom]]:
63
+ val_atom = Atom.from_data(data=data)
64
+ typ_atom = Atom.from_data(b"byte", val_atom.object_id())
65
+ return typ_atom.object_id(), [val_atom, typ_atom]
66
+
67
+ def err(topic: str, origin: Optional[Expr]) -> Tuple[bytes, List[Atom]]:
68
+ topic_bytes = topic.encode("utf-8")
69
+ topic_atom = Atom.from_data(data=topic_bytes)
70
+ typ_atom = Atom.from_data(data=b"error", next_hash=topic_atom.object_id())
71
+ return typ_atom.object_id(), [topic_atom, typ_atom]
72
+
73
+ def lst(items: List[Expr]) -> Tuple[bytes, List[Atom]]:
74
+ acc: List[Atom] = []
75
+ child_hashes: List[bytes] = []
76
+ for it in items:
77
+ h, atoms = expr_to_atoms(it)
78
+ acc.extend(atoms)
79
+ child_hashes.append(h)
80
+ next_hash = ZERO32
81
+ elem_atoms: List[Atom] = []
82
+ for h in reversed(child_hashes):
83
+ a = Atom.from_data(h, next_hash)
84
+ next_hash = a.object_id()
85
+ elem_atoms.append(a)
86
+ elem_atoms.reverse()
87
+ head = next_hash
88
+ val_atom = Atom.from_data(data=u64_le(len(items)), next_hash=head)
89
+ typ_atom = Atom.from_data(data=b"list", next_hash=val_atom.object_id())
90
+ return typ_atom.object_id(), acc + elem_atoms + [val_atom, typ_atom]
91
+
92
+ if isinstance(e, Expr.Symbol):
93
+ return symbol(e.value)
94
+ if isinstance(e, Expr.Bytes):
95
+ return bytes(e.value)
96
+ if isinstance(e, Expr.Error):
97
+ return err(e.topic, e.origin)
98
+ if isinstance(e, Expr.ListExpr):
99
+ return lst(e.elements)
100
+ raise TypeError("unknown Expr variant")
@@ -0,0 +1,12 @@
1
+ from .block import Block
2
+ from .chain import Chain
3
+ from .fork import Fork
4
+ from .setup import validation_setup
5
+
6
+
7
+ __all__ = [
8
+ "Block",
9
+ "Chain",
10
+ "Fork",
11
+ "validation_setup",
12
+ ]