@agentshouse/mdmodel 0.1.0-c4f4d37bc9d6a → 0.1.0-c520180b7a33f

package/API.md

@@ -46,10 +46,12 @@ JSON Schema of its frontmatter; `$defs` holds shapes the types reuse, reached by
 `reference` on a string names one MD Type, several, `any` or `attachment`, and `cross_room: true`
 beside it admits a Document in another Room, of a type that Room declares; `sections` declares a
 type's H2 sections, each `{ kind: text }` or `{ kind: list, items }` over one string, number,
-integer or boolean, optionally `required: true`; `member_document: true` marks at most one type. A
-type alone takes `create_roles` and `delete_roles`, each a list of role names. `verify(schema,
-provided)` holds every type of a model `provided` as its own, named only for those two. On a field of a
-type's own `properties` alone, `change_roles` and `initial_roles` each list role names, and
+integer or boolean, optionally `required: true`, which the `then` or `else` of an `if` on the type,
+in its `allOf` or in such a branch may repeat to ask a section for text, else `conditional-section`;
+`member_document: true` marks at most one type. A type alone takes `create_roles` and
+`delete_roles`, each a list of role names. `verify(schema, provided)` holds every type of a model
+`provided` as its own, named only for those two and only if `provided.nameable` lists it. On a field
+of a type's own `properties` alone, `change_roles` and `initial_roles` each list role names, and
 `transitions` lists `{ from, to, roles? }`, each end a scalar or `null`, on a field whose `type`,
 `enum`, `const`, `$ref`, `allOf`, `anyOf`, `oneOf`, `if` and `not` admit no list or object.
 
@@ -81,29 +83,29 @@ and `memberFacts` take one step and `crossedFacts` reads a list's item facts; `J
 JSON Pointer grammar, `''` included, `pointerSegments` and `escapePointer` split and write a pointer,
 `ARRAY_INDEX` matches an index segment, and `ATTACHMENT` is the `reference` that admits any path.
 
-`validate(library, context?, model?)` takes the resulting text Library and one `ValidationContext`
-of `binaryTargets: readonly string[]`, none when omitted. Library keys and binary targets share one
-canonical collection-relative path namespace; a path declared text and binary is refused. House
-declares every binary file of the Room as a binary target, and the model reads no bytes. Ordinary
-links and images in typed Documents may resolve to either membership, relative to the source
-Document, and one to a path neither holds is not refused: it dangles, as a deleted file's links do.
-One written `/rooms/<handle>/<path>` names a file in another Room, which the caller checks; any
-other absolute path, or one that leaves the collection, is `unresolved-link`. A binary target
-supplies no Document or MD Type. `model` is the verified schema that types the Library, and every
-Library member is content, whatever its Path. Without `model` the Library declares no type.
+`validate(library, context?, model?)` takes the resulting text Library and one `ValidationContext` of
+`binaryTargets: readonly string[]`, none when omitted. Library keys and binary targets share one
+canonical collection-relative path namespace; a path declared text and binary is refused. House declares
+every binary file of the Room as a binary target, and the model reads no bytes. Ordinary links and
+images in typed Documents may resolve to either membership, relative to the source Document, and one to
+a path neither holds is not refused: it dangles. One written `/rooms/<handle>/<path>` names a file in
+another Room, which the caller checks; any other absolute path, or one that leaves the collection, is
+`unresolved-link`. A binary target supplies no Document or MD Type. `model` types the Library. A typed
+Document, `any` included, at an `isDocumentPath` (no `isReservedName` of `RESERVED_NAMES` first) linking
+into a reserved name is `unresolved-link`; a typed `ROOM_DESCRIPTION` is `room-md-type`. The context's `typedPaths` bind each `path`, a name's one `*` standing for any nonempty part, to a `type` of `model`: a Document there naming another, or naming any unless `named`, is `unknown-type` at `/type`, one not `named` is checked as it and stays `any`, and one whose body is empty is `required-body` if `body`.
 
 A typed Document's frontmatter satisfies its type's schema, every keyword with its JSON Schema
 meaning, formats asserted and defaults never filled, except that an object schema declaring neither
 `additionalProperties` nor `unevaluatedProperties` is closed: an undeclared key is refused as
 `undeclared-field`. `TYPE_FIELD`, `SITE_FIELD` and `RECEIVED_FIELD` count as declared on every type,
-and the string `MEMBER_FIELD` on the `member_document` type; `HOUSE_FIELDS` lists the four. A refusal
-names the keyword, such as `required`, and the value's JSON Pointer, such as `/shipping/city`. Every
-occurrence of a declared list section is a list of values of its item schema, else
-`structured-section`; a reference item is one ordinary link alone, such as `- [Ada](ada.md)`. A
-reference, at any depth or a section item, reaching a URL, a binary target, another Room without
-`cross_room` or the context's `anyRoom: true`, or a Document of a type it does not name is
-`unresolved-reference`, and a frontmatter one reaching no member is `referenced-missing-file` naming
-its `referrers`; `attachment` admits any path, and no body link is a referrer. `validating` is
+and the string `MEMBER_FIELD` on the `member_document` type alone, else refused, `any` included;
+`HOUSE_FIELDS` lists the four. A refusal names the keyword, such as `required`, and the value's JSON
+Pointer, such as `/shipping/city`. Every occurrence of a declared list section is a list of values of
+its item schema, else `structured-section`; a reference item is one ordinary link alone, such as
+`- [Ada](ada.md)`. A reference, at any depth or a section item, reaching a URL, a binary target, another
+Room without `cross_room` or the context's `anyRoom: true`, a Document of a type it does not name, or,
+from an `isDocumentPath`, a reserved name is `unresolved-reference`, and a frontmatter one reaching no member is `referenced-missing-file`
+naming its `referrers`; `attachment` admits any path, and no body link is a referrer. `validating` is
 `validate` over a `ReadonlyMap` Library, yielding each path read with the references it `resolved`;
 `assess(file, content, binary, model?, context?)` reads one member, naming its `type` and `targets`,
 and `verdicts()` `add`s assessments in any order, its `verdict()` the one `validate` gives.
@@ -156,8 +158,7 @@ Independent field, section, and preamble edits keep their own prior values valid
 
 For moved links, use `links` and one `link` change per destination below, then compare the rewritten
 Document's `preamble` and `sections` to the original and submit the changed values with their
-original priors, with no source span or private Model import. Collection validation remains a
-separate call against the resulting Library.
+original priors. Collection validation remains a separate call against the resulting Library.
 
 `links(document, file)` is the inventory of that Document's ordinary link and image destinations
 that resolve to a collection Path, each with the destination `href` exactly as written and the
@@ -256,10 +257,9 @@ A `link` change leaves the projection of every Document it rewrites
 byte-identical, while a changed visible label changes it.
 
 `divide(document, file, context)` divides that same Embedding projection input into ordered Spans
-under the bound the caller supplies. Each Span carries the `text` to embed and the `start` and
-`end` of the extent it addresses in the Document's own source, as UTF-8 byte offsets into that
-source and never string positions, so a caller stores the extent and hydrates the text it shows from
-the Document itself.
+under the bound the caller supplies. Each Span carries the `text` to embed and the `start` and `end`
+of the extent it addresses in the Document's own source, as UTF-8 byte offsets and never string
+positions, so a caller stores the extent and hydrates the text it shows from the Document itself.
 
 ```ts
 const parsed = parse(content);
@@ -307,63 +307,67 @@ divided out of one free-text field value addresses that whole value, because a Y
 positions are the only ones its source has, and a Span carrying part of one internal link's label
 addresses that whole link, because a cut never falls inside link syntax.
 
-## Conditions
-
-`facts(document, { id, path }, model, resolve)` reads one Document as the `DocumentFacts` a
-condition tests: its `id`, its `path` with a leading `/`, its `type` or `null`, its `sections`, and
-a `Fact` for each frontmatter field it writes that its MD Type declares. `factKind(facts)` names
-the kind a declared value compares as: `reference`, `enum`, `number`, `boolean`, `date`, `time`
-(a `date-time`) or `string`, else `null`. A prose value, or one of no kind, is `prose`, a list or
-an object holds the facts of its members, and a value written `null` is `null`. A value that does
-not fit its kind, such as a string in a number field, a value outside its `enum` or a reference
-`resolve` maps to no `{ id, member? }`, is `unreadable`; a readable reference compares as that `id`.
-
-`holds(test, facts)` is `true`, `false` or `undefined`, unknown; a Trigger fires on `true` alone. A
-test's `path` is one of the `DOCUMENT_PATHS`, `/path` and `/type`, or `/sections/<heading>`,
-`/fields/<pointer>` or `/members/<pointer>`, the members a reference field's Documents bind, which
-`members(facts, path)` lists. A non-index pointer segment reads every item of a list, an item
-lacking it unknown, and a test over several values holds as `any` does.
-
-| The path reaches                        | `exists`    | `contains`     | any other test |
-| --------------------------------------- | ----------- | -------------- | -------------- |
-| a value                                 | present     | `undefined`    | compared       |
-| `null`, prose or a section              | present     | `undefined`    | `undefined`    |
-| a list                                  | present     | `any` of items | `undefined`    |
-| no item, through an empty list          | absent      | `false`        | `false`        |
-| nothing: no such field, section or type | absent      | `undefined`    | `undefined`    |
-| only unreadable values                  | `undefined` | `undefined`    | `undefined`    |
-
-`exists: true` holds where present and fails where absent, `exists: false` the reverse. `all` is
-`false` if a part is, else `undefined` if a part is; `any` is `true` if a part is, else `undefined`
-if a part is; `not` keeps `undefined`, so absence is tested with `exists`, never with `not`. `eq`
-and `in` are `undefined` against a value of another JSON type and compare a `time` as an instant;
-`prefix` reads only a string, never a reference or a member; `gt`, `gte`, `lt` and `lte` order
-numbers, dates and times alone.
-
-`fires(condition, event)` reads one change, `{ before, after, changed, by, moved_between_rooms }`:
-each side's facts, `null` for a side the change lacks, the `changed` paths whose prose changed, the
-actor a `by` test reads at the `ACTOR_PATHS`, its `/door` one of `WRITE_DOORS`, and whether it
-moved between Rooms, which a set `moved_between_rooms` must match. `starts_matching` fires when the
-Document is in `scope` and holds `match` after the change but not before, a creation only with
-`new_documents: true`. `field_changes` fires when the Document's side, after or for a deletion
-before, is in `scope` and holds `match`, and `field` changed: its facts differ, or with neither
-`from` nor `to` `changed` names it. A field on neither side never fires; `from: 'new'` admits only a
-creation and `to: 'deleted'` only a deletion, and listed values need that side's `field` `in` them.
-
-`itemFires(condition, item)` compares `source` and `address` where given and holds `match` over
-the `ITEM_PATHS`, a `/json` test unknown for an item with no JSON. `prosePaths(facts)` lists the
-prose and section paths whose text builds `changed`; `pointed(value, pointer)` reads a JSON Pointer,
-`undefined` where nothing is; `dated(value)` checks a `YYYY-MM-DD` date, and `instant(value)` reads
-an RFC 3339 time with its offset as epoch nanoseconds, a `bigint`.
-
-What a condition names of one MD Type: `datePointers(fields)` lists, sorted, its date fields as escaped
-`/fields/` pointers, the only `date`s a `DateCondition` takes; `changeFields(definition)` lists each
-declared field and section as a `field_changes` `field`, and `valuedChange(definition, field)` holds of
-a field read as one value, never prose, a list or reached through one, the only `field` that takes a
-`from` or a `to`; `memberPointers(definition, memberType)` lists the `/members/<name>` paths of the
-fields referring to `memberType`, alone or in a list. `testOperators(definitions, path, memberType)`
-lists the `CONDITION_OPERATORS` a test on a document `path` takes in any of those types, none where none
-declares it or, for a member path, `memberPointers` lacks it: `exists` alone on a section, prose or an
-object, `contains` and `exists` on a list, `prefix` on a string and `/path`, orderings on a number, date
-or time, and `contains` through a list. `actorOperators(path)` and `itemOperators(path)` list the tests
-on a `by` or item path, `itemKind(path)` an item value's kind, or `null`, as on `/json/`.
+## Queries
+
+`planOf(query, rooms)` checks one query against the MD Types of the Rooms `rooms` lists, each
+`{ locator, available, types }` with `listed` when the list is whole, and answers its
+`QueryPlan` or throws a `QueryError` whose `code` is `invalid-query`, `unknown-type`,
+`unknown-field` or `wrong-kind`, whose message names where, whose `place` is that place as the
+keys and indexes into the query, which `placeText` writes as its message does, and whose `accepts` lists what it would take there: the types or
+fields the Rooms declare, a field's `kindWords`, or the parts and operators a query knows. A query
+is data: `types`, `where`
+field predicates by JSON Pointer (`$eq`, `$ne`, `$in`, `$nin`, `$gt`, `$gte`, `$lt`, `$lte`,
+`$all`, `$size`, `$exists`, `$prefix`, `$and`, `$or`), `pathPrefix`, `folder`, `paths`,
+`fileIds`, `hop`, `backlinks`, `text`, then `select` or `groupBy`, `orderBy`, `limit`, `after`
+and `total`. `queryKey` and `identityOf` are a query's and a plan's canonical text, `bodied`
+says a shape reads text, `cursorOf` and `decodedCursor` write and read the `after` a window
+continues from, and `invalid`, `known` and `plain` are the check's refusal and tests.
+
+`KINDS` is the one table of kinds a value compares as, `kindOf(facts)` a declared value's kind,
+`kindWords(facts)` the values it takes in words, and `fitsKind(kind, facts, value)` whether a value
+fits it: a `date`, `date-time` or `time` is
+exactly what document validation admits as that format, a `date` is `dated`, a `date-time`
+compares as the instant `instant` reads, which `instantKey` writes as text that sorts as the
+instant does, and a `reference` as the Room Path it resolves to. `compared(left, right,
+ordering)` orders plain values: numbers and booleans, then text by locale or `byCodePoint`,
+then lists item by item.
+
+Two evaluators answer a plan's tests on one Document alike, a test on a missing value false and
+its negation (`$ne`, `$nin`, `$exists: false`) true. `matches(plan, candidate)` answers in
+memory over one `Candidate`: its `path`, `type`, `fileId`, `fields`, `definition` and the
+`text` held. The `sql` namespace compiles them to SQL over a collection: `indexed(path, fields,
+definition)` derives a Document's values and field links, its date-times with their instants,
+`sql.VALUE_TABLE` holds those values and `sql.insertedValues` writes them, and `sql.tests(alias,
+plan)` tests a document row of `id`, `path`, `folder`, `type`, `file_id` and `content`, its
+phrase through the function a connection registers as `sql.HOLDS_PHRASE` with `sql.holdsPhrase`.
+`sql.scoped`, `sql.placed`, `sql.sorted`, `sql.beyond`, `sql.following` and `sql.sortValue`
+render a scope, a pointer, an order and a window's continuation, a date-time ordering as its
+instant between numbers and text; `sql.fragment`, `sql.joined`, `sql.all`, `sql.any`,
+`sql.grouped`, `sql.listed` and `sql.exists` build statements, and `heldKind` is the index's value
+kind. `fixtures/queries.json` holds both evaluators to one table.
+
+## Events
+
+`facts(document, { id, path }, model, resolve)` reads one Document as the `DocumentFacts` of a
+change: its `id`, its `path` with a leading `/`, its `type` or `null`, its `sections`, and a `Fact`
+for each frontmatter field it writes that its MD Type declares, held as its kind: `reference`,
+`enum`, `number`, `boolean`, `date`, `time` (a `date-time`) or `string`. A prose value, or one of
+no kind, is `prose`, a list or an object holds the facts of its members, and a value written
+`null` is `null`. A
+value that does not fit its kind, such as a string in a number field, a value outside its `enum` or
+a reference `resolve` maps to no `{ id, member? }`, is `unreadable`; a readable reference holds that
+`id` and the `member` it binds, which `members(facts, path)` lists at a `/members/<pointer>`.
+
+`candidateOf(facts)` is that Document as the `Candidate` `matches` answers over, so a query tests
+the Document as the change saw it: at its Room Path, by its file ID, a reference as the `id` it
+named, a prose value as present alone, an unreadable value as missing and a date-time as an instant.
+`heldAt(candidate, pointer)` lists the values a pointer reaches there, its date-times with their
+instants. `prosePaths(facts)` lists the prose and section paths whose text a change compares, and
+`TEXT_FIELD`, `/text`, names a Document's whole text; `WRITE_DOORS` are the ways a change is made.
+`pointed(value, pointer)` reads a JSON Pointer, `undefined` where nothing is; `dated(value)` checks a
+`YYYY-MM-DD` date, and `instant(value)` reads what validation admits as a `date-time` as epoch
+nanoseconds, a `bigint`. Of one MD Type, `datePointers(definition)` lists, sorted, its date fields as
+escaped pointers, `valuedChange(definition, pointer)` holds of a field read as one value, never
+prose, a list or reached through one, the only field whose change is tested by its values, and
+`memberPointers(definition, memberType)` the `/members/<name>` paths of the fields referring to
+`memberType`, alone or in a list.

package/README.md

@@ -1,8 +1,9 @@
 # `@agentshouse/mdmodel`
 
-Typed Markdown documents: MD Types declared in JSON Schema, a parser, a validator, and the
-deterministic application of one structured change to a Document, plus a
-conformance fixture corpus.
+Typed Markdown documents: MD Types declared in JSON Schema, a parser, a validator, the
+deterministic application of one structured change to a Document, and one query language
+answered in SQL over a collection or in memory over one Document, plus a conformance
+fixture corpus.
 
 It runs in the browser and in Node, makes no network call, and reads no
 filesystem on its own. It ships one ESM artifact that Node 24.22.1 and later
@@ -44,7 +45,8 @@ if (parsed.ok) {
 | `links`, `target`, `retarget`                  | Inventory and rewrite link destinations                            |
 | `escapePointer`                                | Write one key as a JSON Pointer token                              |
 | `project`, `divide`                            | Embedding projection input and its division into Spans             |
-| `facts`, `factKind`, `holds`, `fires`          | A condition over a Document and over one of its changes            |
+| `facts`, `candidateOf`                         | A Document as one change saw it, matched as one query candidate    |
+| `planOf`, `matches`, `sql`                     | Check a query, answer it over one Document or compile it to SQL    |
 | `MARKDOWN_SYNTAX_PROFILE`, `VERSION`           | The pinned Markdown profile (GFM 0.29) and MD model version        |
 | `MEMBER_FIELD`, `SITE_FIELD`, `RECEIVED_FIELD` | The field names validation counts as declared beyond a type's own  |
 

package/dist/definition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGhD,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;AAEjG,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEtF,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAEzD,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAc5E,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EAQzC,CAAC;AAEF,eAAO,MAAM,aAAa,QAAQ,CAAC;AAEnC,eAAO,MAAM,UAAU,eAAe,CAAC;AA+BvC,eAAO,MAAM,WAAW,QAAyB,CAAC;AAElD,eAAO,MAAM,YAAY,QAA+B,CAAC;AAYzD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEjD;AAMD,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAEzD;AAED,wBAAgB,SAAS,CACvB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,SAAS,CAoC/D;AAkaD,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,UAAU,CAE7F;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAElF;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAKlF;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,EAAE,CAK5D;AAED,wBAAgB,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAItF;AAqBD,wBAAgB,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAc9F;AAuQD,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,aAAwB,GACjC,aAAa,GAAG,OAAO,CAsCzB"}
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGhD,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;AAEjG,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEtF,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAEzD,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAc5E,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EAQzC,CAAC;AAEF,eAAO,MAAM,aAAa,QAAQ,CAAC;AAEnC,eAAO,MAAM,UAAU,eAAe,CAAC;AA+BvC,eAAO,MAAM,WAAW,QAAyB,CAAC;AAElD,eAAO,MAAM,YAAY,QAA+B,CAAC;AAYzD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEjD;AAMD,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAEzD;AAED,wBAAgB,SAAS,CACvB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,SAAS,CAoC/D;AAkaD,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,UAAU,CAE7F;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAElF;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAKlF;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,EAAE,CAK5D;AAED,wBAAgB,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAItF;AAqBD,wBAAgB,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAc9F;AA+TD,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,aAAwB,GACjC,aAAa,GAAG,OAAO,CAsCzB"}

package/dist/definition.js

@@ -547,6 +547,56 @@ function readSections(value, at, context) {
     }
     return { sections };
 }
+function branchSectionsFailure(sections, declared, where) {
+    if (!isRecord(sections))
+        return refuse('sections', where);
+    for (const [name, spec] of Object.entries(sections)) {
+        const place = `${where}/${escapePointer(name)}`;
+        const own = isRecord(declared) && Object.hasOwn(declared, name) ? declared[name] : undefined;
+        if (!isRecord(spec) || !isRecord(own))
+            return refuse('sections', place);
+        const { required, ...kind } = spec;
+        const { required: _required, ...ownKind } = own;
+        if (required !== undefined && typeof required !== 'boolean')
+            return refuse('sections', `${place}/required`);
+        if (!equalValue(kind, ownKind))
+            return refuse('sections', place);
+    }
+    return undefined;
+}
+function withoutBranchSections(schema, declared, at) {
+    const kept = { ...schema };
+    if (Array.isArray(schema.allOf)) {
+        const entries = [];
+        for (const [index, entry] of schema.allOf.entries()) {
+            const read = isRecord(entry)
+                ? withoutBranchSections(entry, declared, `${at}/allOf/${index}`)
+                : { schema: entry };
+            if ('failure' in read)
+                return read;
+            entries.push(read.schema);
+        }
+        kept.allOf = entries;
+    }
+    if (schema.if === undefined)
+        return { schema: kept };
+    for (const branch of ['then', 'else']) {
+        const held = schema[branch];
+        if (!isRecord(held))
+            continue;
+        const { sections, ...rest } = held;
+        const failure = sections === undefined
+            ? undefined
+            : branchSectionsFailure(sections, declared, `${at}/${branch}/sections`);
+        if (failure !== undefined)
+            return { failure };
+        const read = withoutBranchSections(rest, declared, `${at}/${branch}`);
+        if ('failure' in read)
+            return read;
+        kept[branch] = read.schema;
+    }
+    return { schema: kept };
+}
 function deepFreeze(value) {
     if (value !== null && typeof value === 'object' && !Object.isFrozen(value)) {
         Object.freeze(value);
@@ -656,6 +706,8 @@ function unruled(schema) {
 }
 function providedType(name, value, provided) {
     const at = `/${escapePointer(name)}`;
+    if (provided.nameable?.includes(name) !== true)
+        return refuse('provided-type', at);
     if (!isRecord(value))
         return refuse('schema', at);
     const declared = Object.keys(value).find((key) => !PROVIDED_KEYWORDS.includes(key));
@@ -667,7 +719,7 @@ function providedType(name, value, provided) {
     if (deleteRoles !== undefined && !roleNames(deleteRoles))
         return refuse('delete_roles', `${at}/delete_roles`);
     return {
-        ...provided,
+        ...provided.types[name],
         ...(createRoles === undefined ? {} : { createRoles }),
         ...(deleteRoles === undefined ? {} : { deleteRoles }),
     };
@@ -688,7 +740,10 @@ function readType(name, value, context) {
         : readSections(declared, `${at}/sections`, context);
     if ('failure' in read)
         return read.failure;
-    const { schema, written } = unruled(ruled);
+    const unbranched = withoutBranchSections(ruled, declared, at);
+    if ('failure' in unbranched)
+        return unbranched.failure;
+    const { schema, written } = unruled(unbranched.schema);
     const failure = schemaFailure(schema, at, context);
     if (failure !== undefined)
         return failure;
@@ -755,7 +810,7 @@ export function readSchema(text, provided = NO_TYPES) {
     let marked = false;
     for (const name of names) {
         const definition = Object.hasOwn(provided.types, name)
-            ? providedType(name, root[name], provided.types[name])
+            ? providedType(name, root[name], provided)
             : readType(name, root[name], context);
         if ('rule' in definition)
             return definition;

package/dist/event.d.ts

@@ -0,0 +1,78 @@
+import { type Definition } from './definition.js';
+import type { Candidate } from './query/match.js';
+import type { Document, VerifiedModel } from './types.js';
+export type FactKind = 'string' | 'number' | 'boolean' | 'date' | 'time' | 'enum' | 'reference';
+type Scalar = string | number | boolean;
+export type Fact = {
+    readonly kind: FactKind;
+    readonly value: Scalar;
+    readonly member?: string;
+} | {
+    readonly kind: 'prose';
+} | {
+    readonly kind: 'null';
+} | {
+    readonly kind: 'unreadable';
+} | {
+    readonly kind: 'list';
+    readonly items: readonly Fact[];
+} | {
+    readonly kind: 'object';
+    readonly fields: Readonly<Record<string, Fact>>;
+};
+export type DocumentFacts = {
+    readonly id: string;
+    readonly path: string;
+    readonly type: string | null;
+    readonly fields: Readonly<Record<string, Fact>>;
+    readonly sections: readonly string[];
+};
+export declare const TEXT_FIELD = "/text";
+export declare const WRITE_DOORS: readonly ['browser', 'agent', 'client', 'function'];
+export type WriteDoor = (typeof WRITE_DOORS)[number];
+export type Actor = {
+    readonly user?: string;
+    readonly site?: string;
+    readonly app?: string;
+    readonly door?: WriteDoor;
+};
+export type DocumentEvent = {
+    readonly before: DocumentFacts | null;
+    readonly after: DocumentFacts | null;
+    readonly changed: readonly string[];
+    readonly by: Actor;
+    readonly moved_between_rooms: boolean;
+};
+export type ItemFacts = {
+    readonly delivery: string;
+    readonly source: string | null;
+    readonly address: string | null;
+    readonly container: string | null;
+    readonly author: string | null;
+    readonly headers: Readonly<Record<string, string>>;
+    readonly json: {
+        readonly value: unknown;
+    } | null;
+};
+export type MessageFacts = {
+    readonly sender: string;
+    readonly agent_function: string | null;
+    readonly path: string | null;
+};
+export type Resolved = {
+    readonly id: string;
+    readonly member?: string;
+};
+export declare function facts(document: Pick<Document, 'type' | 'fields' | 'sections'>, at: {
+    readonly id: string;
+    readonly path: string;
+}, model: VerifiedModel, resolve: (target: string) => Resolved | undefined): DocumentFacts;
+export declare function prosePaths(facts: DocumentFacts): string[];
+export declare function members(document: DocumentFacts, path: string): readonly string[];
+export declare function pointed(value: unknown, pointer: string): unknown;
+export declare function valuedChange(definition: Definition, pointer: string): boolean;
+export declare function datePointers(definition: Definition): string[];
+export declare function memberPointers(definition: Definition, memberType: string): string[];
+export declare function candidateOf(document: DocumentFacts): Candidate;
+export {};
+//# sourceMappingURL=event.d.ts.map

package/dist/event.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event.d.ts","sourceRoot":"","sources":["../src/event.ts"],"names":[],"mappings":"AAAA,OAAO,EAQL,KAAK,UAAU,EAEhB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG1D,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC;AAEhG,KAAK,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAExC,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAA;CAAE,CAAC;AAEjF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF,eAAO,MAAM,UAAU,UAAU,CAAC;AAElC,eAAO,MAAM,WAAW,YAAI,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAU,CAAC;AAE/E,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAErD,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAAC;CACnD,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AA0EzE,wBAAgB,KAAK,CACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,GAAG,UAAU,CAAC,EACxD,EAAE,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAClD,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ,GAAG,SAAS,GAChD,aAAa,CAgBf;AAMD,wBAAgB,UAAU,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,EAAE,CAYzD;AA4BD,wBAAgB,OAAO,CAAC,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAWhF;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAahE;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAS7E;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,CAK7D;AAED,wBAAgB,cAAc,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAOnF;AA+BD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,aAAa,GAAG,SAAS,CAiB9D"}