@agentshouse/mdmodel 0.1.0-cd90851746292 → 0.1.0-cdbd463e01dc2

package/API.md

@@ -54,6 +54,8 @@ in its `allOf` or in such a branch may repeat to ask a section for text, else `c
 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.
+`readTypes(schema, provided?)` returns the model of a schema `verify` already accepted, checking
+none of these rules, and throws on a text it cannot read as types.
 
 ```yaml
 $defs:
@@ -83,29 +85,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.
@@ -185,13 +187,16 @@ percent-encodes in `to` what `target` would decode, so it resolves to `to` again
 `checkDocument(file, content, model, context?)` reads one Document as `validate` does in that
 context: `ok: false` where it refuses, else its `type`, whether it is `typed`, and each reference's
 `target` and `to`, which `resolves(reference, typeOf, binary)` says reaches a member `validate`
-accepts. `sectionReferences(file, content, definition)` reads only its `list` sections' references;
-neither names another Room's, which `roomReferences(file, content, definition?)` lists by `kind`.
+accepts. It names no other Room's, which `roomReferences(file, content, definition?)` lists by `kind`.
 `parseFrontmatter(content, file?)` is `parse` without the body: `content`, `type`, `fields`.
 
 `references(document, definition)` lists each frontmatter `reference` string at any depth as
 `pointer`, `value` and `to`; a `{ kind: 'reference', pointer, value, prior }` change rewrites one in
-place, keeping its quotes, or is stale. `relativize(document, file, handle, definition?, kept?)`
+place, keeping its quotes, or is stale. `referenceTarget(file, value)` is the Path a value names
+read as a link destination, else `null`; `referenceTargets(document, file, model)` lists each
+reference's `location`, `to` and `target`. `documentFacts(file, content, model)`, `null` where the
+text does not parse, is the `type` (`any` if none), `fields` and sorted distinct link and reference
+`links` a save stores, no links under `settings/`. `relativize(document, file, handle, definition?, kept?)`
 rewrites, in one `apply`, each link destination and reference written `/rooms/<handle>/<path>` and
 not in `kept` to `relative(file, path)`, keeping its `?query` or `#fragment`. A text without
 frontmatter, such as a captured body, is read from its first character: `relativizeBody(body, file, handle)` converts it
@@ -307,63 +312,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, as it names `TEXT_FIELD`, `/text`, at any change of its text. 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; `notificationFires(condition, notification)`
-holds `match`, where given, over a delivered notification's Document facts, and `messageFires(condition, message)`
-over a message's `MessageFacts` at the `MESSAGE_PATHS`, a `/routine` or `/path` test unknown where its request names none.
-`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)`, `itemOperators(path)` and `messageOperators(path)` list the tests on a `by`, item or message 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

@@ -78,5 +78,5 @@ export type PointerFacts = {
 export declare function crossedFacts(facts: ValueFacts): ValueFacts[];
 export declare function fieldFacts(definition: Definition, key: string): ValueFacts | undefined;
 export declare function pointerFacts(definition: Definition, pointer: string): PointerFacts | undefined;
-export declare function readSchema(text: string, provided?: VerifiedModel): VerifiedModel | Failure;
+export declare function readSchema(text: string, provided?: VerifiedModel, checked?: boolean): VerifiedModel | Failure;
 //# sourceMappingURL=definition.d.ts.map

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;AA+TD,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;AAe5E,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;AAqUD,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,aAAwB,EAClC,OAAO,UAAO,GACb,aAAa,GAAG,OAAO,CA0CzB"}

package/dist/definition.js

@@ -100,7 +100,7 @@ function strings(value) {
         new Set(value).size === value.length);
 }
 function schemaFailure(value, at, context) {
-    if (typeof value === 'boolean')
+    if (!context.checked || typeof value === 'boolean')
         return undefined;
     if (!isRecord(value))
         return refuse('schema', at);
@@ -704,14 +704,14 @@ function unruled(schema) {
     }
     return { schema: written.size === 0 ? schema : { ...schema, properties }, written };
 }
-function providedType(name, value, provided) {
+function providedType(name, value, provided, checked) {
     const at = `/${escapePointer(name)}`;
-    if (provided.nameable?.includes(name) !== true)
+    if (checked && 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));
-    if (declared !== undefined)
+    if (checked && declared !== undefined)
         return refuse('provided-type', `${at}/${escapePointer(declared)}`);
     const { create_roles: createRoles, delete_roles: deleteRoles } = value;
     if (createRoles !== undefined && !roleNames(createRoles))
@@ -782,7 +782,7 @@ function readType(name, value, context) {
 function lineAt(text, offset) {
     return text.slice(0, offset).split(/\r\n|\r|\n/).length;
 }
-export function readSchema(text, provided = NO_TYPES) {
+export function readSchema(text, provided = NO_TYPES, checked = true) {
     let root;
     try {
         root = jsValue(parseYamlMapping(text, 0, text.length));
@@ -796,11 +796,15 @@ export function readSchema(text, provided = NO_TYPES) {
     if (!isRecord(defs))
         return refuse('$defs', '/$defs');
     const names = Object.keys(root).filter((key) => key !== '$defs');
-    for (const name of names) {
+    for (const name of checked ? names : []) {
         if (name === '' || name.startsWith('$') || name === BUILT_IN_TYPE || name === ATTACHMENT)
             return refuse('schema-type-name', `/${escapePointer(name)}`);
     }
-    const context = { defs, types: new Set([...names, ...Object.keys(provided.types)]) };
+    const context = {
+        defs,
+        types: new Set([...names, ...Object.keys(provided.types)]),
+        checked,
+    };
     for (const [name, def] of Object.entries(defs)) {
         const failure = schemaFailure(def, `/$defs/${escapePointer(name)}`, context);
         if (failure !== undefined)
@@ -810,11 +814,11 @@ 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)
+            ? providedType(name, root[name], provided, checked)
             : readType(name, root[name], context);
         if ('rule' in definition)
             return definition;
-        if (definition.memberDocument) {
+        if (checked && definition.memberDocument) {
             if (marked)
                 return refuse('member_document', `/${escapePointer(name)}/member_document`);
             marked = true;

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"}