@ldclabs/kip-lang 2.0.2 → 2.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/CHANGELOG.md CHANGED
@@ -2,6 +2,75 @@
2
2
 
3
3
  All notable changes to `@ldclabs/kip-lang` are documented here.
4
4
 
5
+ ## 2.2.0
6
+
7
+ Tracks the 2.0-draft syntax convergence (Spec §35, §48.1, §51.2, §52.8,
8
+ §57, §63.3, §68): one lifecycle statement, one trailing guard position, one
9
+ history axis. Source text written for 2.x lifecycle statements no longer
10
+ parses; the exec AST changes shape for every consumer of `expect_version`.
11
+
12
+ ### Changed (breaking)
13
+
14
+ - **`TRANSITION <target> TO "<state>" [BY <ref>] [SET FIELDS] [SET STRUCTURAL]
15
+ [WHERE] [LIMIT] {EXPECT VERSION}` replaces `RETRACT ASSERTION`,
16
+ `SUPERSEDE ASSERTION`, `CORRECT EVIDENCE`, `TRANSITION ACTIVITY`, `ARCHIVE`
17
+ and `TOMBSTONE`.** The quoted state names the move; semantics check that the
18
+ state exists (KIP_2001), that `BY` is present exactly for `superseded` /
19
+ `corrected`, and that `SET FIELDS` / `SET STRUCTURAL` appear only on
20
+ Activity states. `ASSERT ... SUPERSEDING :old` now desugars to
21
+ `TRANSITION :old TO "superseded" BY <new assertion>`.
22
+ - **`EXPECT STATE` is gone.** The engine validates the current lifecycle state
23
+ itself (`InvalidLifecycleTransition`), so the guard carried no information.
24
+ - **`EXPECT VERSION` is always the trailing clause** — after `WHERE` and
25
+ `LIMIT`, after `UPSERT`'s closing brace, after `ENSURE PROPOSITION`'s tuple —
26
+ and gains version planes: `EXPECT VERSION :v [OF ATTRIBUTES | STRUCTURAL |
27
+ RETENTION | FACET "X"]`, repeatable one guard per plane. `UPDATE ?x EXPECT
28
+ VERSION :v SET ...` and `UPSERT CONCEPT ?x { ... EXPECT VERSION :v ... }`
29
+ no longer parse. Exec AST: every `expect_version: ExpectVersion | null`
30
+ field became `expect_versions: ExpectVersion[]`, and `ExpectVersion` gained
31
+ `plane` (`'Attributes' | 'Structural' | 'Retention' | { Facet } | null`).
32
+ Lowering rejects a repeated plane.
33
+ - **`AS OF SEQ` is the only history axis.** `AS OF TX` and `AS OF TIME` are
34
+ removed from KQL, META and EXPORT; resolve a transaction id through
35
+ `DESCRIBE TRANSACTION`, an instant through `DESCRIBE SNAPSHOT AT TIME :t`.
36
+ Exec AST `AsOf` is now `{ Seq }` only.
37
+ - **META:** `SNAPSHOT` (the token statement), `DESCRIBE EXECUTION CONTEXT` and
38
+ `DESCRIBE PROJECTION CAPABILITY` are removed — `DESCRIBE PRIMER` /
39
+ `DESCRIBE CAPABILITIES` carry that information. `DESCRIBE SNAPSHOT` takes
40
+ `[AS OF SEQ :s | AT TIME :t]`; `DescribeStatement` gains `atTime`.
41
+ - Tokens removed: `TX`, `RETRACT`, `SUPERSEDE`, `CORRECT`, `ARCHIVE`,
42
+ `TOMBSTONE`, `STATE`, `EXECUTION`, `CONTEXT`, `CAPABILITY`, `PROJECTION`.
43
+ Token added: `AT`. Those words are ordinary identifiers again.
44
+ - Exported types: `TransitionStatement`, `VersionPlane`, `ExpectVersion`,
45
+ `ExecVersionPlane`, `Transition` replace the removed per-statement types.
46
+ - `lower()` now throws on a `TRANSITION` that omits `BY` for `superseded` /
47
+ `corrected`, adds `BY` to any other state, or finalizes fields / topology
48
+ on a non-Activity state — Spec §52.5 calls these syntax errors, so they are
49
+ part of the executability contract, not only editor diagnostics.
50
+
51
+ ### Added
52
+
53
+ - The syntax-docs test's KML coverage map now keys `transition_statement` to
54
+ the `TRANSITION ` marker and drops `snapshot_statement`; the EBNF header
55
+ notes (KML 5 / 5a / 6a) describe the same decisions.
56
+
57
+ ## 2.1.0
58
+
59
+ ### Added
60
+
61
+ - **`PURGE PAYLOAD` (Spec §60.6).** Erases Evidence payload bytes while the
62
+ element survives, so the statement takes no `REFERENCE POLICY` clause and
63
+ demands the same exact `CONFIRM "PURGE"` literal as element purge. Parsed,
64
+ formatted, lowered (`PurgePayload` exec command), and covered by the same
65
+ unbounded-`WHERE` LIMIT warning as the rest of the removal ladder.
66
+ - **`LIST DEPENDENTS :id [DEPTH :n] [LIMIT :n] [CURSOR :c]` (Spec §63.5).**
67
+ Bounded reverse provenance closure: the cognition derived from one element,
68
+ reached through Activity `inputs → outputs`. The operand is required; the
69
+ parser rejects a bare `LIST DEPENDENTS`.
70
+ - Exec AST: `ListCommand` gains `element` / `depth` (null for every other
71
+ target) and `ListTarget` gains `Dependents`; wire consumers deserializing
72
+ `ListCommand` must accept the two new fields.
73
+
5
74
  ## 2.0.2
6
75
 
7
76
  ### Fixed
package/README.md CHANGED
@@ -15,13 +15,13 @@ envelopes remain engine responsibilities.
15
15
 
16
16
  The parser targets the KIP 2.0 command-text syntax — all three languages:
17
17
  **KQL** (`FIND`) to read, **KML** (`ASSERT`, `MUTATE`, `CREATE`, `UPSERT`,
18
- `UPDATE`, and the retract/supersede/archive/tombstone/purge lifecycle) to
19
- change cognition, and **META** (`DESCRIBE`, `LIST`, `SEARCH`, `VERIFY`,
20
- `VALIDATE`, `PREVIEW`, `HISTORY`, `CHANGES`, `SNAPSHOT`, `EXPORT CAPSULE`) to
18
+ `UPDATE`, the single `TRANSITION` lifecycle statement, `SET RETENTION`,
19
+ `PURGE`, `MERGE`) to change cognition, and **META** (`DESCRIBE`, `LIST`,
20
+ `SEARCH`, `VERIFY`, `VALIDATE`, `PREVIEW`, `HISTORY`, `CHANGES`, `EXPORT CAPSULE`) to
21
21
  ground and introspect. That includes the five Core element kinds (Concept,
22
22
  Proposition, Assertion, Evidence, Activity), `BELIEF` / `BELIEF SLOT`
23
23
  projection patterns, `STRUCTURAL` topology patterns, facets, the independent
24
- `AS OF` / `FOR TIME` time axes, `:parameter` placeholders in full value
24
+ `AS OF SEQ` / `FOR TIME` time axes, `:parameter` placeholders in full value
25
25
  positions, ASCII case-insensitive keywords, JSON-compatible object literals
26
26
  with unquoted identifier keys, and batch-friendly multi-command source text.
27
27
  The request envelope (`kip`, `request_id`, `space`, `execution`, `ingest`,
package/dist/ast.d.ts CHANGED
@@ -20,9 +20,9 @@ export type KmlStatement = MutateStatement | MutationClause;
20
20
  * `MUTATE` itself is excluded: the grammar forbids nesting one mutation
21
21
  * transaction inside another.
22
22
  */
23
- export type MutationClause = CreateConceptStatement | UpsertConceptStatement | EnsurePropositionStatement | AssertStatement | CreateEvidenceStatement | CreateAssertionStatement | CreateActivityStatement | UpdateStatement | RetractAssertionStatement | SupersedeAssertionStatement | CorrectEvidenceStatement | TransitionActivityStatement | SetRetentionStatement | ArchiveStatement | TombstoneStatement | PurgeStatement | MergeConceptStatement;
23
+ export type MutationClause = CreateConceptStatement | UpsertConceptStatement | EnsurePropositionStatement | AssertStatement | CreateEvidenceStatement | CreateAssertionStatement | CreateActivityStatement | UpdateStatement | TransitionStatement | SetRetentionStatement | PurgeStatement | PurgePayloadStatement | MergeConceptStatement;
24
24
  /** META — introspection, grounding, verification, history, export. */
25
- export type MetaStatement = DescribeStatement | ListStatement | SearchStatement | VerifyStatement | ValidateStatement | PreviewStatement | HistoryStatement | ChangesStatement | SnapshotStatement | ExportCapsuleStatement;
25
+ export type MetaStatement = DescribeStatement | ListStatement | SearchStatement | VerifyStatement | ValidateStatement | PreviewStatement | HistoryStatement | ChangesStatement | ExportCapsuleStatement;
26
26
  /** `schema_symbol = string_literal | parameter` */
27
27
  export type SchemaSymbol = StringLiteral | ParameterRef;
28
28
  /** `scalar_value` / `scalar_or_parameter` / `meta_value` = `parameter | literal` */
@@ -42,10 +42,15 @@ export interface FindStatement extends BaseNode {
42
42
  limit?: LimitClause;
43
43
  cursor?: CursorClause;
44
44
  }
45
- /** `AS OF SEQ|TX|TIME` — which cognitive history the read runs against. */
45
+ /**
46
+ * `AS OF SEQ` — which cognitive history the read runs against.
47
+ *
48
+ * Cognitive time is a sequence coordinate. A transaction id or a wall-clock
49
+ * instant is resolved to one first (`DESCRIBE TRANSACTION`, `DESCRIBE SNAPSHOT
50
+ * AT TIME`), so the read itself names the sequence it ran against.
51
+ */
46
52
  export interface AsOfClause extends BaseNode {
47
53
  kind: 'AsOfClause';
48
- basis: 'SEQ' | 'TX' | 'TIME';
49
54
  value: ScalarValue;
50
55
  }
51
56
  /** `FOR TIME` — world-valid time, an axis independent of {@link AsOfClause}. */
@@ -244,7 +249,6 @@ export interface UpsertConceptStatement extends BaseNode {
244
249
  kind: 'UpsertConceptStatement';
245
250
  handle: Handle;
246
251
  match?: MatchClause;
247
- expectVersion?: ExpectVersionClause;
248
252
  setFields?: SetFieldsClause;
249
253
  setAttributes?: SetAttributesClause;
250
254
  setFacets: SetFacetClause[];
@@ -252,12 +256,14 @@ export interface UpsertConceptStatement extends BaseNode {
252
256
  unsetFacets: UnsetFacetClause[];
253
257
  setStructural?: SetStructuralClause;
254
258
  unsetStructural?: UnsetStructuralClause;
259
+ /** Trailing preconditions, after the closing brace (Spec §35.1). */
260
+ expectVersions: ExpectVersionClause[];
255
261
  }
256
262
  export interface EnsurePropositionStatement extends BaseNode {
257
263
  kind: 'EnsurePropositionStatement';
258
264
  handle?: Handle;
259
265
  tuple: PropositionTuple;
260
- expectVersion?: ExpectVersionClause;
266
+ expectVersions: ExpectVersionClause[];
261
267
  }
262
268
  /**
263
269
  * `ASSERT (s, p, o) { by:, mode:, ... } [SUPERSEDING ref]`.
@@ -373,14 +379,25 @@ export interface StructuralRemoval extends BaseNode {
373
379
  field: SchemaSymbol;
374
380
  value: Expression;
375
381
  }
382
+ /**
383
+ * `EXPECT VERSION n [OF ATTRIBUTES | STRUCTURAL | RETENTION | FACET "X"]`.
384
+ *
385
+ * Without a plane the guard compares the element's `_system.version`; with
386
+ * one it compares that plane's own version, so a lifecycle verdict guarded on
387
+ * `ATTRIBUTES` is not spoiled by a metabolism sweep that touched a Facet
388
+ * (Spec §35.1). A statement may carry several, at most one per plane.
389
+ */
376
390
  export interface ExpectVersionClause extends BaseNode {
377
391
  kind: 'ExpectVersionClause';
378
392
  value: ScalarValue;
393
+ plane?: VersionPlane;
379
394
  }
380
- export interface ExpectStateClause extends BaseNode {
381
- kind: 'ExpectStateClause';
382
- value: ScalarValue;
383
- }
395
+ export type VersionPlane = {
396
+ kind: 'ATTRIBUTES' | 'STRUCTURAL' | 'RETENTION';
397
+ } | {
398
+ kind: 'FACET';
399
+ facet: SchemaSymbol;
400
+ };
384
401
  /**
385
402
  * `UPDATE` reaches mutable state only.
386
403
  *
@@ -391,42 +408,40 @@ export interface ExpectStateClause extends BaseNode {
391
408
  export interface UpdateStatement extends BaseNode {
392
409
  kind: 'UpdateStatement';
393
410
  target: TargetRef;
394
- expectVersion?: ExpectVersionClause;
395
411
  actions: UpdateAction[];
396
412
  /**
397
413
  * Binds a `?variable` target; a direct `:id` / `"id"` target already names
398
- * the element and may omit it — the same rule as ARCHIVE, TOMBSTONE, PURGE,
399
- * SET RETENTION and RETRACT ASSERTION (Spec §58).
414
+ * the element and may omit it — the same rule as TRANSITION, PURGE and
415
+ * SET RETENTION (Spec §58).
400
416
  */
401
417
  where?: WhereClause;
402
418
  limit?: LimitClause;
419
+ /** Trailing preconditions: `[WHERE] [LIMIT] {EXPECT VERSION}` (Spec §52.8). */
420
+ expectVersions: ExpectVersionClause[];
403
421
  }
404
422
  export type UpdateAction = SetFieldsClause | SetAttributesClause | SetFacetClause | UnsetAttributesClause | UnsetFacetClause | SetStructuralClause | UnsetStructuralClause;
405
- export interface RetractAssertionStatement extends BaseNode {
406
- kind: 'RetractAssertionStatement';
407
- target: TargetRef;
408
- where?: WhereClause;
409
- limit?: LimitClause;
410
- expectState?: ExpectStateClause;
411
- }
412
- export interface SupersedeAssertionStatement extends BaseNode {
413
- kind: 'SupersedeAssertionStatement';
414
- target: TargetRef;
415
- by: TargetRef;
416
- expectState?: ExpectStateClause;
417
- }
418
- export interface CorrectEvidenceStatement extends BaseNode {
419
- kind: 'CorrectEvidenceStatement';
420
- target: TargetRef;
421
- by: TargetRef;
422
- expectState?: ExpectStateClause;
423
- }
424
- export interface TransitionActivityStatement extends BaseNode {
425
- kind: 'TransitionActivityStatement';
423
+ /**
424
+ * `TRANSITION target TO "state" [BY ref] [SET FIELDS] [SET STRUCTURAL]
425
+ * [WHERE] [LIMIT] {EXPECT VERSION}` — the one lifecycle statement (Spec §52.5).
426
+ *
427
+ * The state names the move and the engine checks it against the target's
428
+ * kind: an Assertion goes to `retracted` or `superseded` (`BY` the newer
429
+ * Assertion), Evidence to `corrected` (`BY` the new Evidence), a pending
430
+ * Activity to `running` or a terminal state (finalizing fields and topology
431
+ * in the same statement), and any element to `archived` or `tombstoned`.
432
+ * The transition itself validates the current state, which is why there is
433
+ * no `EXPECT STATE`: a move from the wrong state fails
434
+ * `InvalidLifecycleTransition`, and a version guard covers the rest.
435
+ */
436
+ export interface TransitionStatement extends BaseNode {
437
+ kind: 'TransitionStatement';
426
438
  target: TargetRef;
427
439
  to: ScalarValue;
440
+ by?: TargetRef;
428
441
  finalize: (SetFieldsClause | SetStructuralClause)[];
429
- expectState?: ExpectStateClause;
442
+ where?: WhereClause;
443
+ limit?: LimitClause;
444
+ expectVersions: ExpectVersionClause[];
430
445
  }
431
446
  export interface SetRetentionStatement extends BaseNode {
432
447
  kind: 'SetRetentionStatement';
@@ -434,21 +449,7 @@ export interface SetRetentionStatement extends BaseNode {
434
449
  assignments: ObjectLiteral;
435
450
  where?: WhereClause;
436
451
  limit?: LimitClause;
437
- expectVersion?: ExpectVersionClause;
438
- }
439
- export interface ArchiveStatement extends BaseNode {
440
- kind: 'ArchiveStatement';
441
- target: TargetRef;
442
- where?: WhereClause;
443
- limit?: LimitClause;
444
- expectState?: ExpectStateClause;
445
- }
446
- export interface TombstoneStatement extends BaseNode {
447
- kind: 'TombstoneStatement';
448
- target: TargetRef;
449
- where?: WhereClause;
450
- limit?: LimitClause;
451
- expectState?: ExpectStateClause;
452
+ expectVersions: ExpectVersionClause[];
452
453
  }
453
454
  /** Physical erasure. The grammar freezes the confirmation as `CONFIRM "PURGE"`. */
454
455
  export interface PurgeStatement extends BaseNode {
@@ -456,18 +457,32 @@ export interface PurgeStatement extends BaseNode {
456
457
  target: TargetRef;
457
458
  where?: WhereClause;
458
459
  limit?: LimitClause;
460
+ expectVersions: ExpectVersionClause[];
459
461
  referencePolicy?: ScalarValue;
460
462
  confirm: StringLiteral;
461
463
  }
464
+ /**
465
+ * Erases Evidence payload bytes while the element survives (Spec §60.6).
466
+ * The element survives, so there is no REFERENCE POLICY clause; the
467
+ * confirmation literal is the same `CONFIRM "PURGE"` as element purge.
468
+ */
469
+ export interface PurgePayloadStatement extends BaseNode {
470
+ kind: 'PurgePayloadStatement';
471
+ target: TargetRef;
472
+ where?: WhereClause;
473
+ limit?: LimitClause;
474
+ expectVersions: ExpectVersionClause[];
475
+ confirm: StringLiteral;
476
+ }
462
477
  /** Non-destructive: the source stays addressable as merged history. */
463
478
  export interface MergeConceptStatement extends BaseNode {
464
479
  kind: 'MergeConceptStatement';
465
480
  source: TargetRef;
466
481
  into: TargetRef;
467
482
  where?: WhereClause;
468
- expectVersion?: ExpectVersionClause;
483
+ expectVersions: ExpectVersionClause[];
469
484
  }
470
- export type DescribeTargetKind = 'PRIMER' | 'PROTOCOL' | 'EXECUTION_CONTEXT' | 'CAPABILITIES' | 'SPACE' | 'SCHEMA_ENVIRONMENT' | 'PACKAGE' | 'TYPE' | 'PREDICATE' | 'FACET' | 'STRUCTURAL_FIELD' | 'COMPATIBILITY' | 'ERROR' | 'TRANSACTION' | 'TRANSACTION_BY_IDEMPOTENCY_KEY' | 'SNAPSHOT' | 'CAPSULE' | 'EPISTEMIC_POLICY' | 'PROJECTION_CAPABILITY' | 'TRUST' | 'ACCESS';
485
+ export type DescribeTargetKind = 'PRIMER' | 'PROTOCOL' | 'CAPABILITIES' | 'SPACE' | 'SCHEMA_ENVIRONMENT' | 'PACKAGE' | 'TYPE' | 'PREDICATE' | 'FACET' | 'STRUCTURAL_FIELD' | 'COMPATIBILITY' | 'ERROR' | 'TRANSACTION' | 'TRANSACTION_BY_IDEMPOTENCY_KEY' | 'SNAPSHOT' | 'CAPSULE' | 'EPISTEMIC_POLICY' | 'TRUST' | 'ACCESS';
471
486
  export interface DescribeStatement extends BaseNode {
472
487
  kind: 'DescribeStatement';
473
488
  target: DescribeTargetKind;
@@ -478,17 +493,23 @@ export interface DescribeStatement extends BaseNode {
478
493
  /** `DESCRIBE COMPATIBILITY FROM ... TO ...` */
479
494
  from?: ScalarValue;
480
495
  to?: ScalarValue;
481
- /** `DESCRIBE SCHEMA ENVIRONMENT` / `DESCRIBE SNAPSHOT` */
496
+ /** `DESCRIBE SCHEMA ENVIRONMENT` / `DESCRIBE SNAPSHOT` — `AS OF SEQ` */
482
497
  asOf?: AsOfClause;
498
+ /** `DESCRIBE SNAPSHOT AT TIME` — resolves a wall-clock instant to a sequence. */
499
+ atTime?: ScalarValue;
483
500
  /** `DESCRIBE ACCESS WITH {...}` */
484
501
  with?: ObjectLiteral;
485
502
  }
486
- export type ListTargetKind = 'SPACES' | 'SCHEMA_PACKAGES' | 'TYPES' | 'PREDICATES' | 'FACETS' | 'STRUCTURAL_FIELDS' | 'EPISTEMIC_POLICIES';
503
+ export type ListTargetKind = 'SPACES' | 'SCHEMA_PACKAGES' | 'TYPES' | 'PREDICATES' | 'FACETS' | 'STRUCTURAL_FIELDS' | 'EPISTEMIC_POLICIES' | 'DEPENDENTS';
487
504
  export interface ListStatement extends BaseNode {
488
505
  kind: 'ListStatement';
489
506
  target: ListTargetKind;
490
507
  /** `LIST SCHEMA PACKAGES STATUS ...` */
491
508
  status?: ScalarValue;
509
+ /** `LIST DEPENDENTS :id` — the element whose derived cognition is listed. */
510
+ element?: ScalarValue;
511
+ /** `LIST DEPENDENTS ... DEPTH :n` — traversal bound (Spec §63.5). */
512
+ depth?: ScalarValue;
492
513
  limit?: LimitClause;
493
514
  cursor?: CursorClause;
494
515
  }
@@ -546,10 +567,6 @@ export interface ChangesStatement extends BaseNode {
546
567
  value: ScalarValue;
547
568
  limit?: LimitClause;
548
569
  }
549
- export interface SnapshotStatement extends BaseNode {
550
- kind: 'SnapshotStatement';
551
- asOf?: AsOfClause;
552
- }
553
570
  export interface ExportCapsuleStatement extends BaseNode {
554
571
  kind: 'ExportCapsuleStatement';
555
572
  target: TargetRef;
package/dist/ast.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAIvC,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;IACZ,eAAe,CAAC,EAAE,MAAM,EAAE,CAAA;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAA;CACzB;AAID,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,UAAU,EAAE,SAAS,EAAE,CAAA;CACxB;AAED,MAAM,MAAM,SAAS,GAAG,YAAY,GAAG,YAAY,GAAG,aAAa,CAAA;AAEnE,+BAA+B;AAC/B,MAAM,MAAM,YAAY,GAAG,aAAa,CAAA;AAExC,6CAA6C;AAC7C,MAAM,MAAM,YAAY,GAAG,eAAe,GAAG,cAAc,CAAA;AAE3D;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GACtB,sBAAsB,GACtB,sBAAsB,GACtB,0BAA0B,GAC1B,eAAe,GACf,uBAAuB,GACvB,wBAAwB,GACxB,uBAAuB,GACvB,eAAe,GACf,yBAAyB,GACzB,2BAA2B,GAC3B,wBAAwB,GACxB,2BAA2B,GAC3B,qBAAqB,GACrB,gBAAgB,GAChB,kBAAkB,GAClB,cAAc,GACd,qBAAqB,CAAA;AAEzB,sEAAsE;AACtE,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,aAAa,GACb,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,gBAAgB,GAChB,gBAAgB,GAChB,gBAAgB,GAChB,iBAAiB,GACjB,sBAAsB,CAAA;AAI1B,mDAAmD;AACnD,MAAM,MAAM,YAAY,GAAG,aAAa,GAAG,YAAY,CAAA;AAEvD,oFAAoF;AACpF,MAAM,MAAM,WAAW,GACnB,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,CAAA;AAEf,2DAA2D;AAC3D,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,YAAY,GAAG,aAAa,CAAA;AAElE,wEAAwE;AACxE,MAAM,MAAM,MAAM,GAAG,WAAW,CAAA;AAIhC,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,KAAK,EAAE,WAAW,CAAA;IAClB,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED,2EAA2E;AAC3E,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,KAAK,GAAG,IAAI,GAAG,MAAM,CAAA;IAC5B,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,gFAAgF;AAChF,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,SAAS,EAAE,CAAA;CACnB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,UAAU,EAAE,UAAU,CAAA;IACtB,SAAS,CAAC,EAAE,KAAK,GAAG,MAAM,CAAA;CAC3B;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,KAAK,EAAE,WAAW,CAAA;CACnB;AAID,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,MAAM,YAAY,GACpB,cAAc,GACd,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,aAAa,GACb,iBAAiB,GACjB,YAAY,GACZ,SAAS,GACT,cAAc,GACd,WAAW,CAAA;AAEf,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,WAAW,CAAA;IACrB,0DAA0D;IAC1D,QAAQ,EAAE,OAAO,CAAA;IACjB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,kBAAmB,SAAQ,QAAQ;IAClD,IAAI,EAAE,oBAAoB,CAAA;IAC1B,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,8DAA8D;IAC9D,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,EAAE,gBAAgB,CAAA;CACxB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,OAAO,EAAE,IAAI,CAAA;IACb,KAAK,EAAE,YAAY,CAAA;IACnB,MAAM,EAAE,IAAI,CAAA;CACb;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,QAAQ,EAAE,WAAW,CAAA;IACrB,4DAA4D;IAC5D,WAAW,CAAC,EAAE,WAAW,CAAA;IACzB;;;;OAIG;IACH,aAAa,CAAC,EAAE,WAAW,CAAA;IAC3B,8EAA8E;IAC9E,OAAO,CAAC,EAAE,IAAI,CAAA;IACd,SAAS,CAAC,EAAE,aAAa,CAAA;IACzB,MAAM,CAAC,EAAE,IAAI,CAAA;CACd;AAED,gFAAgF;AAChF,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,IAAI,CAAA;IACb,SAAS,EAAE,aAAa,CAAA;CACzB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,UAAU,EAAE,UAAU,CAAA;CACvB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAID;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,6DAA6D;IAC7D,EAAE,CAAC,EAAE,WAAW,CAAA;IAChB,OAAO,CAAC,EAAE,IAAI,CAAA;IACd,SAAS,CAAC,EAAE,sBAAsB,CAAA;IAClC,MAAM,CAAC,EAAE,IAAI,CAAA;CACd;AAED,MAAM,MAAM,IAAI,GACZ,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,GACX,aAAa,GACb,gBAAgB,CAAA;AAEpB,+DAA+D;AAC/D,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,CAAA;AAEtE;;;;;;GAMG;AACH,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,KAAK,EAAE,iBAAiB,EAAE,CAAA;CAC3B;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,aAAa,CAAA;IACnB,UAAU,CAAC,EAAE,cAAc,CAAA;CAC5B;AAED,+EAA+E;AAC/E,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,GAAG,EAAE,MAAM,CAAA;IACX,8BAA8B;IAC9B,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,qEAAqE;IACrE,QAAQ,EAAE,OAAO,CAAA;CAClB;AAID;;;;;;GAMG;AACH,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAID,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,OAAO,EAAE,cAAc,EAAE,CAAA;CAC1B;AAED,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,eAAe,CAAC,EAAE,qBAAqB,CAAA;IACvC,WAAW,EAAE,gBAAgB,EAAE,CAAA;IAC/B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,eAAe,CAAC,EAAE,qBAAqB,CAAA;CACxC;AAED,MAAM,WAAW,0BAA2B,SAAQ,QAAQ;IAC1D,IAAI,EAAE,4BAA4B,CAAA;IAClC,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,gBAAgB,CAAA;IACvB,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,gBAAgB,CAAA;IACvB,WAAW,EAAE,aAAa,CAAA;IAC1B,WAAW,CAAC,EAAE,SAAS,CAAA;CACxB;AAED,MAAM,WAAW,uBAAwB,SAAQ,QAAQ;IACvD,IAAI,EAAE,yBAAyB,CAAA;IAC/B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,wBAAyB,SAAQ,QAAQ;IACxD,IAAI,EAAE,0BAA0B,CAAA;IAChC,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,uBAAwB,SAAQ,QAAQ;IACvD,IAAI,EAAE,yBAAyB,CAAA;IAC/B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAID,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,YAAY,CAAA;CACpB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,YAAY,CAAA;IACnB,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,UAAU,EAAE,CAAA;CACrB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,KAAK,EAAE,YAAY,CAAA;IACnB,MAAM,EAAE,UAAU,EAAE,CAAA;CACrB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,WAAW,EAAE,oBAAoB,EAAE,CAAA;CACpC;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAqB,SAAQ,QAAQ;IACpD,IAAI,EAAE,sBAAsB,CAAA;IAC5B,KAAK,EAAE,YAAY,CAAA;IACnB,KAAK,EAAE,UAAU,CAAA;IACjB,OAAO,CAAC,EAAE,aAAa,CAAA;CACxB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,QAAQ,EAAE,iBAAiB,EAAE,CAAA;CAC9B;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,KAAK,EAAE,YAAY,CAAA;IACnB,KAAK,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,KAAK,EAAE,WAAW,CAAA;CACnB;AAID;;;;;;GAMG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,SAAS,CAAA;IACjB,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,OAAO,EAAE,YAAY,EAAE,CAAA;IACvB;;;;OAIG;IACH,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;CACpB;AAED,MAAM,MAAM,YAAY,GACpB,eAAe,GACf,mBAAmB,GACnB,cAAc,GACd,qBAAqB,GACrB,gBAAgB,GAChB,mBAAmB,GACnB,qBAAqB,CAAA;AAIzB,MAAM,WAAW,yBAA0B,SAAQ,QAAQ;IACzD,IAAI,EAAE,2BAA2B,CAAA;IACjC,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED,MAAM,WAAW,2BAA4B,SAAQ,QAAQ;IAC3D,IAAI,EAAE,6BAA6B,CAAA;IACnC,MAAM,EAAE,SAAS,CAAA;IACjB,EAAE,EAAE,SAAS,CAAA;IACb,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED,MAAM,WAAW,wBAAyB,SAAQ,QAAQ;IACxD,IAAI,EAAE,0BAA0B,CAAA;IAChC,MAAM,EAAE,SAAS,CAAA;IACjB,EAAE,EAAE,SAAS,CAAA;IACb,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED,MAAM,WAAW,2BAA4B,SAAQ,QAAQ;IAC3D,IAAI,EAAE,6BAA6B,CAAA;IACnC,MAAM,EAAE,SAAS,CAAA;IACjB,EAAE,EAAE,WAAW,CAAA;IACf,QAAQ,EAAE,CAAC,eAAe,GAAG,mBAAmB,CAAC,EAAE,CAAA;IACnD,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAID,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,SAAS,CAAA;IACjB,WAAW,EAAE,aAAa,CAAA;IAC1B,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED,MAAM,WAAW,kBAAmB,SAAQ,QAAQ;IAClD,IAAI,EAAE,oBAAoB,CAAA;IAC1B,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED,mFAAmF;AACnF,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,eAAe,CAAC,EAAE,WAAW,CAAA;IAC7B,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,uEAAuE;AACvE,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,SAAS,CAAA;IACjB,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAID,MAAM,MAAM,kBAAkB,GAC1B,QAAQ,GACR,UAAU,GACV,mBAAmB,GACnB,cAAc,GACd,OAAO,GACP,oBAAoB,GACpB,SAAS,GACT,MAAM,GACN,WAAW,GACX,OAAO,GACP,kBAAkB,GAClB,eAAe,GACf,OAAO,GACP,aAAa,GACb,gCAAgC,GAChC,UAAU,GACV,SAAS,GACT,kBAAkB,GAClB,uBAAuB,GACvB,OAAO,GACP,QAAQ,CAAA;AAEZ,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,MAAM,EAAE,kBAAkB,CAAA;IAC1B,sDAAsD;IACtD,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,iCAAiC;IACjC,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,+CAA+C;IAC/C,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,EAAE,CAAC,EAAE,WAAW,CAAA;IAChB,0DAA0D;IAC1D,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,mCAAmC;IACnC,IAAI,CAAC,EAAE,aAAa,CAAA;CACrB;AAID,MAAM,MAAM,cAAc,GACtB,QAAQ,GACR,iBAAiB,GACjB,OAAO,GACP,YAAY,GACZ,QAAQ,GACR,mBAAmB,GACnB,oBAAoB,CAAA;AAExB,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,MAAM,EAAE,cAAc,CAAA;IACtB,wCAAwC;IACxC,MAAM,CAAC,EAAE,WAAW,CAAA;IACpB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAID,MAAM,MAAM,UAAU,GAClB,SAAS,GACT,aAAa,GACb,WAAW,GACX,UAAU,GACV,UAAU,GACV,WAAW,CAAA;AAEf;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,UAAU,EAAE,UAAU,CAAA;IACtB,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,aAAa,CAAC,EAAE,WAAW,CAAA;IAC3B,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,SAAS,CAAC,EAAE,WAAW,CAAA;IACvB,gDAAgD;IAChD,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAID,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,gBAAgB,GAChB,SAAS,GACT,MAAM,GACN,YAAY,CAAA;AAEhB,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,gBAAgB,CAAA;IACxB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,MAAM,kBAAkB,GAC1B,KAAK,GACL,KAAK,GACL,SAAS,GACT,gBAAgB,GAChB,aAAa,CAAA;AAEjB,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,MAAM,EAAE,kBAAkB,CAAA;IAC1B,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,CAAC,EAAE,aAAa,CAAA;CACxB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,KAAK,GAAG,gBAAgB,CAAA;IAChC,KAAK,EAAE,WAAW,CAAA;IAClB,4CAA4C;IAC5C,IAAI,CAAC,EAAE,WAAW,CAAA;CACnB;AAID,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,SAAS,GAAG,OAAO,CAAA;IAC3B,qCAAqC;IACrC,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,IAAI,EAAE,OAAO,GAAG,WAAW,CAAA;IAC3B,KAAK,EAAE,WAAW,CAAA;IAClB,KAAK,CAAC,EAAE,WAAW,CAAA;CACpB;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,CAAC,EAAE,UAAU,CAAA;CAClB;AAID,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,IAAI,CAAC,EAAE,UAAU,CAAA;CAClB;AAID,MAAM,MAAM,UAAU,GAClB,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,aAAa,GACb,WAAW,GACX,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,gBAAgB,CAAA;AAEpB,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,UAAU,CAAA;IAChB,KAAK,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,GAAG,GAAG,GAAG,CAAA;IACnB,OAAO,EAAE,UAAU,CAAA;CACpB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,UAAU,EAAE,CAAA;CACnB;AAED,iFAAiF;AACjF,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;IACjB,QAAQ,EAAE,UAAU,CAAA;CACrB;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,WAAW,CAAA;IACjB,KAAK,EAAE,SAAS,EAAE,CAAA;CACnB;AAED,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,SAAS,CAAA;AAE3C,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,GAAG,EAAE,aAAa,CAAA;CACnB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;CACZ;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;CACpB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB;;;OAGG;IACH,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,8CAA8C;IAC9C,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,GAAG,EAAE,MAAM,CAAA;IACX,oFAAoF;IACpF,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,EAAE,UAAU,CAAA;CAClB"}
1
+ {"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAIvC,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;IACZ,eAAe,CAAC,EAAE,MAAM,EAAE,CAAA;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAA;CACzB;AAID,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,UAAU,EAAE,SAAS,EAAE,CAAA;CACxB;AAED,MAAM,MAAM,SAAS,GAAG,YAAY,GAAG,YAAY,GAAG,aAAa,CAAA;AAEnE,+BAA+B;AAC/B,MAAM,MAAM,YAAY,GAAG,aAAa,CAAA;AAExC,6CAA6C;AAC7C,MAAM,MAAM,YAAY,GAAG,eAAe,GAAG,cAAc,CAAA;AAE3D;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GACtB,sBAAsB,GACtB,sBAAsB,GACtB,0BAA0B,GAC1B,eAAe,GACf,uBAAuB,GACvB,wBAAwB,GACxB,uBAAuB,GACvB,eAAe,GACf,mBAAmB,GACnB,qBAAqB,GACrB,cAAc,GACd,qBAAqB,GACrB,qBAAqB,CAAA;AAEzB,sEAAsE;AACtE,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,aAAa,GACb,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,gBAAgB,GAChB,gBAAgB,GAChB,gBAAgB,GAChB,sBAAsB,CAAA;AAI1B,mDAAmD;AACnD,MAAM,MAAM,YAAY,GAAG,aAAa,GAAG,YAAY,CAAA;AAEvD,oFAAoF;AACpF,MAAM,MAAM,WAAW,GACnB,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,CAAA;AAEf,2DAA2D;AAC3D,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,YAAY,GAAG,aAAa,CAAA;AAElE,wEAAwE;AACxE,MAAM,MAAM,MAAM,GAAG,WAAW,CAAA;AAIhC,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,KAAK,EAAE,WAAW,CAAA;IAClB,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,gFAAgF;AAChF,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,SAAS,EAAE,CAAA;CACnB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,UAAU,EAAE,UAAU,CAAA;IACtB,SAAS,CAAC,EAAE,KAAK,GAAG,MAAM,CAAA;CAC3B;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,KAAK,EAAE,WAAW,CAAA;CACnB;AAID,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,MAAM,YAAY,GACpB,cAAc,GACd,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,aAAa,GACb,iBAAiB,GACjB,YAAY,GACZ,SAAS,GACT,cAAc,GACd,WAAW,CAAA;AAEf,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,WAAW,CAAA;IACrB,0DAA0D;IAC1D,QAAQ,EAAE,OAAO,CAAA;IACjB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,kBAAmB,SAAQ,QAAQ;IAClD,IAAI,EAAE,oBAAoB,CAAA;IAC1B,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,8DAA8D;IAC9D,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,EAAE,gBAAgB,CAAA;CACxB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,OAAO,EAAE,IAAI,CAAA;IACb,KAAK,EAAE,YAAY,CAAA;IACnB,MAAM,EAAE,IAAI,CAAA;CACb;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,QAAQ,EAAE,WAAW,CAAA;IACrB,4DAA4D;IAC5D,WAAW,CAAC,EAAE,WAAW,CAAA;IACzB;;;;OAIG;IACH,aAAa,CAAC,EAAE,WAAW,CAAA;IAC3B,8EAA8E;IAC9E,OAAO,CAAC,EAAE,IAAI,CAAA;IACd,SAAS,CAAC,EAAE,aAAa,CAAA;IACzB,MAAM,CAAC,EAAE,IAAI,CAAA;CACd;AAED,gFAAgF;AAChF,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,QAAQ,EAAE,WAAW,CAAA;IACrB,OAAO,EAAE,IAAI,CAAA;IACb,SAAS,EAAE,aAAa,CAAA;CACzB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,UAAU,EAAE,UAAU,CAAA;CACvB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAID;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,6DAA6D;IAC7D,EAAE,CAAC,EAAE,WAAW,CAAA;IAChB,OAAO,CAAC,EAAE,IAAI,CAAA;IACd,SAAS,CAAC,EAAE,sBAAsB,CAAA;IAClC,MAAM,CAAC,EAAE,IAAI,CAAA;CACd;AAED,MAAM,MAAM,IAAI,GACZ,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,GACX,aAAa,GACb,gBAAgB,CAAA;AAEpB,+DAA+D;AAC/D,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,CAAA;AAEtE;;;;;;GAMG;AACH,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,KAAK,EAAE,iBAAiB,EAAE,CAAA;CAC3B;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,aAAa,CAAA;IACnB,UAAU,CAAC,EAAE,cAAc,CAAA;CAC5B;AAED,+EAA+E;AAC/E,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,GAAG,EAAE,MAAM,CAAA;IACX,8BAA8B;IAC9B,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,qEAAqE;IACrE,QAAQ,EAAE,OAAO,CAAA;CAClB;AAID;;;;;;GAMG;AACH,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAID,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,OAAO,EAAE,cAAc,EAAE,CAAA;CAC1B;AAED,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,eAAe,CAAC,EAAE,qBAAqB,CAAA;IACvC,WAAW,EAAE,gBAAgB,EAAE,CAAA;IAC/B,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,eAAe,CAAC,EAAE,qBAAqB,CAAA;IACvC,oEAAoE;IACpE,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED,MAAM,WAAW,0BAA2B,SAAQ,QAAQ;IAC1D,IAAI,EAAE,4BAA4B,CAAA;IAClC,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,gBAAgB,CAAA;IACvB,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,gBAAgB,CAAA;IACvB,WAAW,EAAE,aAAa,CAAA;IAC1B,WAAW,CAAC,EAAE,SAAS,CAAA;CACxB;AAED,MAAM,WAAW,uBAAwB,SAAQ,QAAQ;IACvD,IAAI,EAAE,yBAAyB,CAAA;IAC/B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,wBAAyB,SAAQ,QAAQ;IACxD,IAAI,EAAE,0BAA0B,CAAA;IAChC,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAED,MAAM,WAAW,uBAAwB,SAAQ,QAAQ;IACvD,IAAI,EAAE,yBAAyB,CAAA;IAC/B,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,aAAa,CAAC,EAAE,mBAAmB,CAAA;CACpC;AAID,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,YAAY,CAAA;CACpB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,YAAY,CAAA;IACnB,WAAW,EAAE,aAAa,CAAA;CAC3B;AAED,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,UAAU,EAAE,CAAA;CACrB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,KAAK,EAAE,YAAY,CAAA;IACnB,MAAM,EAAE,UAAU,EAAE,CAAA;CACrB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,WAAW,EAAE,oBAAoB,EAAE,CAAA;CACpC;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAqB,SAAQ,QAAQ;IACpD,IAAI,EAAE,sBAAsB,CAAA;IAC5B,KAAK,EAAE,YAAY,CAAA;IACnB,KAAK,EAAE,UAAU,CAAA;IACjB,OAAO,CAAC,EAAE,aAAa,CAAA;CACxB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,QAAQ,EAAE,iBAAiB,EAAE,CAAA;CAC9B;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,KAAK,EAAE,YAAY,CAAA;IACnB,KAAK,EAAE,UAAU,CAAA;CAClB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,KAAK,EAAE,WAAW,CAAA;IAClB,KAAK,CAAC,EAAE,YAAY,CAAA;CACrB;AAED,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,YAAY,GAAG,YAAY,GAAG,WAAW,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAA;AAI1C;;;;;;GAMG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,SAAS,CAAA;IACjB,OAAO,EAAE,YAAY,EAAE,CAAA;IACvB;;;;OAIG;IACH,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,+EAA+E;IAC/E,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED,MAAM,MAAM,YAAY,GACpB,eAAe,GACf,mBAAmB,GACnB,cAAc,GACd,qBAAqB,GACrB,gBAAgB,GAChB,mBAAmB,GACnB,qBAAqB,CAAA;AAIzB;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,qBAAqB,CAAA;IAC3B,MAAM,EAAE,SAAS,CAAA;IACjB,EAAE,EAAE,WAAW,CAAA;IACf,EAAE,CAAC,EAAE,SAAS,CAAA;IACd,QAAQ,EAAE,CAAC,eAAe,GAAG,mBAAmB,CAAC,EAAE,CAAA;IACnD,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAID,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,SAAS,CAAA;IACjB,WAAW,EAAE,aAAa,CAAA;IAC1B,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED,mFAAmF;AACnF,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,cAAc,EAAE,mBAAmB,EAAE,CAAA;IACrC,eAAe,CAAC,EAAE,WAAW,CAAA;IAC7B,OAAO,EAAE,aAAa,CAAA;CACvB;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,cAAc,EAAE,mBAAmB,EAAE,CAAA;IACrC,OAAO,EAAE,aAAa,CAAA;CACvB;AAED,uEAAuE;AACvE,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACrD,IAAI,EAAE,uBAAuB,CAAA;IAC7B,MAAM,EAAE,SAAS,CAAA;IACjB,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,cAAc,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAID,MAAM,MAAM,kBAAkB,GAC1B,QAAQ,GACR,UAAU,GACV,cAAc,GACd,OAAO,GACP,oBAAoB,GACpB,SAAS,GACT,MAAM,GACN,WAAW,GACX,OAAO,GACP,kBAAkB,GAClB,eAAe,GACf,OAAO,GACP,aAAa,GACb,gCAAgC,GAChC,UAAU,GACV,SAAS,GACT,kBAAkB,GAClB,OAAO,GACP,QAAQ,CAAA;AAEZ,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,MAAM,EAAE,kBAAkB,CAAA;IAC1B,sDAAsD;IACtD,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,iCAAiC;IACjC,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,+CAA+C;IAC/C,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,EAAE,CAAC,EAAE,WAAW,CAAA;IAChB,wEAAwE;IACxE,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,iFAAiF;IACjF,MAAM,CAAC,EAAE,WAAW,CAAA;IACpB,mCAAmC;IACnC,IAAI,CAAC,EAAE,aAAa,CAAA;CACrB;AAID,MAAM,MAAM,cAAc,GACtB,QAAQ,GACR,iBAAiB,GACjB,OAAO,GACP,YAAY,GACZ,QAAQ,GACR,mBAAmB,GACnB,oBAAoB,GACpB,YAAY,CAAA;AAEhB,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,MAAM,EAAE,cAAc,CAAA;IACtB,wCAAwC;IACxC,MAAM,CAAC,EAAE,WAAW,CAAA;IACpB,6EAA6E;IAC7E,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,qEAAqE;IACrE,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAID,MAAM,MAAM,UAAU,GAClB,SAAS,GACT,aAAa,GACb,WAAW,GACX,UAAU,GACV,UAAU,GACV,WAAW,CAAA;AAEf;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,UAAU,EAAE,UAAU,CAAA;IACtB,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,aAAa,CAAC,EAAE,WAAW,CAAA;IAC3B,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,SAAS,CAAC,EAAE,WAAW,CAAA;IACvB,gDAAgD;IAChD,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAID,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,gBAAgB,GAChB,SAAS,GACT,MAAM,GACN,YAAY,CAAA;AAEhB,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,gBAAgB,CAAA;IACxB,KAAK,EAAE,WAAW,CAAA;CACnB;AAED,MAAM,MAAM,kBAAkB,GAC1B,KAAK,GACL,KAAK,GACL,SAAS,GACT,gBAAgB,GAChB,aAAa,CAAA;AAEjB,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,MAAM,EAAE,kBAAkB,CAAA;IAC1B,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,CAAC,EAAE,aAAa,CAAA;CACxB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,KAAK,GAAG,gBAAgB,CAAA;IAChC,KAAK,EAAE,WAAW,CAAA;IAClB,4CAA4C;IAC5C,IAAI,CAAC,EAAE,WAAW,CAAA;CACnB;AAID,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,SAAS,GAAG,OAAO,CAAA;IAC3B,qCAAqC;IACrC,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,IAAI,EAAE,OAAO,GAAG,WAAW,CAAA;IAC3B,KAAK,EAAE,WAAW,CAAA;IAClB,KAAK,CAAC,EAAE,WAAW,CAAA;CACpB;AAID,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACtD,IAAI,EAAE,wBAAwB,CAAA;IAC9B,MAAM,EAAE,SAAS,CAAA;IACjB,KAAK,EAAE,WAAW,CAAA;IAClB,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,IAAI,CAAC,EAAE,UAAU,CAAA;CAClB;AAID,MAAM,MAAM,UAAU,GAClB,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,aAAa,GACb,WAAW,GACX,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,gBAAgB,CAAA;AAEpB,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,UAAU,CAAA;IAChB,KAAK,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,GAAG,GAAG,GAAG,CAAA;IACnB,OAAO,EAAE,UAAU,CAAA;CACpB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,UAAU,EAAE,CAAA;CACnB;AAED,iFAAiF;AACjF,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;IACjB,QAAQ,EAAE,UAAU,CAAA;CACrB;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,WAAW,CAAA;IACjB,KAAK,EAAE,SAAS,EAAE,CAAA;CACnB;AAED,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,SAAS,CAAA;AAE3C,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,GAAG,EAAE,aAAa,CAAA;CACnB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;CACZ;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;CACpB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB;;;OAGG;IACH,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,8CAA8C;IAC9C,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,GAAG,EAAE,MAAM,CAAA;IACX,oFAAoF;IACpF,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,EAAE,UAAU,CAAA;CAClB"}
@@ -193,12 +193,9 @@ export interface KqlQuery {
193
193
  limit: Scalar | null;
194
194
  cursor: Scalar | null;
195
195
  }
196
+ /** Cognitive time is a sequence coordinate; ids and instants resolve to one first. */
196
197
  export type AsOf = {
197
198
  Seq: Scalar;
198
- } | {
199
- Tx: Scalar;
200
- } | {
201
- Time: Scalar;
202
199
  };
203
200
  export interface FindClause {
204
201
  expressions: FindExpression[];
@@ -351,24 +348,27 @@ export type MutationClause = {
351
348
  } | {
352
349
  Update: UpdateStatement;
353
350
  } | {
354
- RetractAssertion: RetractAssertion;
355
- } | {
356
- SupersedeAssertion: SupersedeAssertion;
357
- } | {
358
- CorrectEvidence: CorrectEvidence;
359
- } | {
360
- TransitionActivity: TransitionActivity;
351
+ Transition: Transition;
361
352
  } | {
362
353
  SetRetention: SetRetention;
363
- } | {
364
- Archive: RemovalStatement;
365
- } | {
366
- Tombstone: RemovalStatement;
367
354
  } | {
368
355
  Purge: PurgeStatement;
356
+ } | {
357
+ PurgePayload: PurgePayloadStatement;
369
358
  } | {
370
359
  MergeConcept: MergeConcept;
371
360
  };
361
+ /**
362
+ * `EXPECT VERSION n [OF plane]` (Spec §35.1). Without a plane the guard is
363
+ * on the element's `_system.version`; with one, on that plane's own version.
364
+ */
365
+ export interface ExpectVersion {
366
+ version: Scalar;
367
+ plane: VersionPlane | null;
368
+ }
369
+ export type VersionPlane = 'Attributes' | 'Structural' | 'Retention' | {
370
+ Facet: SymbolRef;
371
+ };
372
372
  export interface ConceptCreate {
373
373
  handle: string;
374
374
  type: SymbolRef | null;
@@ -382,7 +382,7 @@ export interface ConceptCreate {
382
382
  export interface ConceptUpsert {
383
383
  handle: string;
384
384
  match: ObjectMatcher | null;
385
- expect_version: Scalar | null;
385
+ expect_versions: ExpectVersion[];
386
386
  set_fields: Assignments | null;
387
387
  set_attributes: Assignments | null;
388
388
  set_facets: FacetAssignment[];
@@ -404,7 +404,7 @@ export interface EnsureProposition {
404
404
  subject: Term;
405
405
  predicate: PredAtom;
406
406
  object: Term;
407
- expect_version: Scalar | null;
407
+ expect_versions: ExpectVersion[];
408
408
  }
409
409
  export interface FacetAssignment {
410
410
  facet: SymbolRef;
@@ -455,14 +455,14 @@ export type UpdateExpr = {
455
455
  export type UpdateFunction = 'Add' | 'Mul' | 'Clamp' | 'Coalesce';
456
456
  export interface UpdateStatement {
457
457
  target: ElementRef;
458
- expect_version: Scalar | null;
459
458
  actions: UpdateAction[];
460
459
  /**
461
460
  * `null` when the statement names its target directly and omits WHERE —
462
- * the same shape as the removal family (Spec §58).
461
+ * the same shape as TRANSITION and the removal family (Spec §58).
463
462
  */
464
463
  where_clauses: WhereClause[] | null;
465
464
  limit: Scalar | null;
465
+ expect_versions: ExpectVersion[];
466
466
  }
467
467
  export type UpdateAction = {
468
468
  SetFields: Assignments;
@@ -479,47 +479,47 @@ export type UpdateAction = {
479
479
  } | {
480
480
  UnsetStructural: StructuralRemoval[];
481
481
  };
482
- export interface RetractAssertion {
483
- target: ElementRef;
484
- where_clauses: WhereClause[] | null;
485
- limit: Scalar | null;
486
- expect_state: Scalar | null;
487
- }
488
- export interface SupersedeAssertion {
489
- target: ElementRef;
490
- by: ElementRef;
491
- expect_state: Scalar | null;
492
- }
493
- export interface CorrectEvidence {
494
- target: ElementRef;
495
- by: ElementRef;
496
- expect_state: Scalar | null;
497
- }
498
- export interface TransitionActivity {
482
+ /**
483
+ * The one lifecycle statement (Spec §52.5): `to` names the move, the engine
484
+ * validates it against the target's kind and current state. `by` carries the
485
+ * replacing element for `superseded` / `corrected`; `set_fields` and
486
+ * `set_structural` finalize a pending Activity in the same transition.
487
+ */
488
+ export interface Transition {
499
489
  target: ElementRef;
500
490
  to: Scalar;
491
+ by: ElementRef | null;
501
492
  set_fields: Assignments | null;
502
493
  set_structural: StructuralEdge[] | null;
503
- expect_state: Scalar | null;
494
+ where_clauses: WhereClause[] | null;
495
+ limit: Scalar | null;
496
+ expect_versions: ExpectVersion[];
504
497
  }
505
498
  export interface SetRetention {
506
499
  target: ElementRef;
507
500
  values: Assignments;
508
501
  where_clauses: WhereClause[] | null;
509
502
  limit: Scalar | null;
510
- expect_version: Scalar | null;
503
+ expect_versions: ExpectVersion[];
511
504
  }
512
- export interface RemovalStatement {
505
+ export interface PurgeStatement {
513
506
  target: ElementRef;
514
507
  where_clauses: WhereClause[] | null;
515
508
  limit: Scalar | null;
516
- expect_state: Scalar | null;
509
+ expect_versions: ExpectVersion[];
510
+ reference_policy: Scalar | null;
511
+ /** Always the literal `PURGE`; the grammar freezes the spelling. */
512
+ confirm: string;
517
513
  }
518
- export interface PurgeStatement {
514
+ /**
515
+ * Payload-only purge (Spec §60.6): Evidence bytes are destroyed, the element
516
+ * survives, so no reference policy exists.
517
+ */
518
+ export interface PurgePayloadStatement {
519
519
  target: ElementRef;
520
520
  where_clauses: WhereClause[] | null;
521
521
  limit: Scalar | null;
522
- reference_policy: Scalar | null;
522
+ expect_versions: ExpectVersion[];
523
523
  /** Always the literal `PURGE`; the grammar freezes the spelling. */
524
524
  confirm: string;
525
525
  }
@@ -527,7 +527,7 @@ export interface MergeConcept {
527
527
  source: ElementRef;
528
528
  into: ElementRef;
529
529
  where_clauses: WhereClause[] | null;
530
- expect_version: Scalar | null;
530
+ expect_versions: ExpectVersion[];
531
531
  }
532
532
  export type MetaCommand = {
533
533
  Describe: DescribeTarget;
@@ -548,10 +548,6 @@ export type MetaCommand = {
548
548
  History: HistoryCommand;
549
549
  } | {
550
550
  Changes: ChangesCommand;
551
- } | {
552
- Snapshot: {
553
- as_of: AsOf | null;
554
- };
555
551
  } | {
556
552
  ExportCapsule: ExportCapsuleCommand;
557
553
  };
@@ -559,7 +555,7 @@ export type DescribeTarget = {
559
555
  Primer: {
560
556
  mode: Scalar | null;
561
557
  };
562
- } | 'Protocol' | 'ExecutionContext' | 'Capabilities' | {
558
+ } | 'Protocol' | 'Capabilities' | {
563
559
  Space: {
564
560
  value: Scalar | null;
565
561
  };
@@ -591,6 +587,7 @@ export type DescribeTarget = {
591
587
  } | {
592
588
  Snapshot: {
593
589
  as_of: AsOf | null;
590
+ at_time: Scalar | null;
594
591
  };
595
592
  } | {
596
593
  Capsule: Scalar;
@@ -598,7 +595,7 @@ export type DescribeTarget = {
598
595
  EpistemicPolicy: {
599
596
  value: Scalar | null;
600
597
  };
601
- } | 'ProjectionCapability' | {
598
+ } | {
602
599
  Trust: {
603
600
  value: Scalar | null;
604
601
  };
@@ -611,10 +608,14 @@ export interface ListCommand {
611
608
  target: ListTarget;
612
609
  /** `LIST SCHEMA PACKAGES STATUS ...` only. */
613
610
  status: Scalar | null;
611
+ /** `LIST DEPENDENTS :id` only — the traversal root. */
612
+ element: Scalar | null;
613
+ /** `LIST DEPENDENTS ... DEPTH :n` only. */
614
+ depth: Scalar | null;
614
615
  limit: Scalar | null;
615
616
  cursor: Scalar | null;
616
617
  }
617
- export type ListTarget = 'Spaces' | 'SchemaPackages' | 'Types' | 'Predicates' | 'Facets' | 'StructuralFields' | 'EpistemicPolicies';
618
+ export type ListTarget = 'Spaces' | 'SchemaPackages' | 'Types' | 'Predicates' | 'Facets' | 'StructuralFields' | 'EpistemicPolicies' | 'Dependents';
618
619
  export interface SearchCommand {
619
620
  target: SearchTarget;
620
621
  term: Scalar;