@agentshouse/mdmodel 0.1.0-ce9295da1c4c9 → 0.1.0-cf5ccc9c47590

package/API.md

@@ -26,15 +26,13 @@ if (checked.verdict === 'accept') {
 }
 const parsed = parse(content);
 if (parsed.ok) {
-  for (const link of links(parsed.document, 'tasks/two.md')) {
-    if (link.target !== 'data/export.csv') continue;
-    const moved = apply(parsed.document, {
-      kind: 'link',
-      href: link.href,
-      to: '../files/export.csv',
-    });
-    if (moved.outcome === 'applied') serialize(moved.document);
-  }
+  const moved = apply(
+    parsed.document,
+    links(parsed.document, 'tasks/two.md')
+      .filter((link) => link.target === 'data/export.csv')
+      .map((link) => ({ kind: 'link' as const, href: link.href, to: '../files/export.csv' })),
+  );
+  if (moved.outcome === 'applied') serialize(moved.document);
 }
 ```
 
@@ -45,12 +43,14 @@ if (parsed.ok) {
 (draft 2020-12) in the YAML subset. Every top-level key but `$defs` names an MD Type holding the
 JSON Schema of its frontmatter; `$defs` holds shapes the types reuse, reached by a `$ref` under
 `#/$defs/` alone. `type` and the built-in `any` are never declared. The model adds its keywords:
-`reference` on a string names one MD Type, several, `any` or `attachment`; `sections` declares a
+`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.
-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.
+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. 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.
 
 ```yaml
 $defs:
@@ -66,19 +66,19 @@ contact: { member_document: true }
 ```
 
 The model's `types` expose each MD Type's `name`, `memberDocument`, `sections`, `shape` (the type as
-written, its rule keywords left out, with every `$defs` shape it reaches), its `rules` by field as
-`changeRoles`, `initialRoles` and `transitions`, the facts of its `frontmatter` and `fields`, its
-top-level ones: JSON `type`, `format`, `values`, `reference` targets, `items`, `properties`, an open
-map's `patterns` and `additional`, and `prose`, a string with no `enum`, `const`, `format`,
-`pattern` or `reference`. Facts join `$ref` and `allOf` to their siblings and the variants of
-`anyOf`, `oneOf`, `then`, `else` and `dependentSchemas`, a variant's own keys `conditional`; a path
-without one `type`, `null` aside, has none. A malformed schema is refused whole, naming its `rule`,
-the keyword or the model's own, and the JSON Pointer `location` it concerns, such as
-`/plan/properties/status/enum`, or `line <n>` outside the YAML subset. `pointerFacts(definition,
-pointer)` reads the facts a frontmatter pointer reaches, `itemFacts` and `memberFacts` take one step
-and `crossedFacts` reads a list's item facts; `pointerSegments` and `escapePointer` split and write
-a pointer, `ARRAY_INDEX` matches an index segment, and `ATTACHMENT` is the `reference` that admits
-any path.
+written, its rule keywords left out, with every `$defs` shape it reaches), `createRoles` and
+`deleteRoles` when written, its `rules` by field as `changeRoles`, `initialRoles` and `transitions`,
+the facts of its `frontmatter` and `fields`, its top-level ones: JSON `type`, `format`, `values`,
+`reference` targets, `items`, `properties`, an open map's `patterns` and `additional`, and `prose`,
+a string with no `enum`, `const`, `format`, `pattern` or `reference`. Facts join `$ref` and `allOf`
+to their siblings and the variants of `anyOf`, `oneOf`, `then`, `else` and `dependentSchemas`, a
+variant's own keys `conditional`; a path without one `type`, `null` aside, has none. A malformed
+schema is refused whole, naming its `rule`, the keyword or the model's own, and the JSON Pointer
+`location` it concerns, such as `/plan/properties/status/enum`, or `line <n>` outside the YAML
+subset. `pointerFacts(definition, pointer)` reads the facts a frontmatter pointer reaches,
+`itemFacts` and `memberFacts` take one step and `crossedFacts` reads a list's item facts;
+`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
@@ -86,9 +86,10 @@ canonical collection-relative path namespace; a path declared text and binary is
 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.
-A destination that is an absolute path or 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.
+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.
 
 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
@@ -98,25 +99,29 @@ type, and the string `MEMBER_FIELD` on the `member_document` type; `HOUSE_FIELDS
 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, 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.
+`- [Ada](ada.md)`. A reference, at any depth or a section item, reaching a URL, a binary target,
+another Room without `cross_room`, 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` yields
+each path `validate` reads, then returns its verdict.
 
 Validation returns acceptance or one refusal naming the file, the field or section, and the violated
 rule. `parse`, `apply`, and `serialize` operate on a single text Document; they do not validate
-collection membership or consume binary bytes. `apply` sets one typed field, including a list or an
-object as a whole, replaces one existing section body or the preamble against that value's prior
-content, or rewrites one Markdown link destination. A section need not be declared by the Document's
-MD Type to be replaced. A section or preamble replacement that would hide a section the Document
-carried behind a repeated, merged or fenced heading is refused as `overlapping-section` naming that
-section. A field change does not reformat the rest of the file: an inline value is replaced where it
-stands, and a value written after the key's line, an empty one or a block mapping or list, is
-written after the key's colon in its place. A field holds a `FrontmatterValue`: null, a string, a
-boolean, a finite number, a list without holes or a plain object of them, holding no cycle.
-`frontmatterValue(value)` is that test, and `apply` refuses any other value as `frontmatter-fence`;
-`equalValue(left, right)` compares two by value, whatever their key order, as `apply` compares a
-field with its prior.
+collection membership or consume binary bytes. `apply(document, changes)` applies a list of changes
+in one pass however many: each sets one typed field, a list or an object as a whole included,
+replaces one existing section body or the preamble against its prior content, or rewrites one link
+destination or one reference, as the given Document holds it. All apply or none: one refused refuses
+all, and `{ outcome: 'stale', document, stale }` keeps the Document and lists the positions of each
+change it does not hold and of each later change of a part an earlier one changes, such as a link
+inside a replaced section. A section need not be declared by the Document's MD Type to be replaced.
+A section or preamble replacement that would hide a section the Document carried behind a repeated,
+merged or fenced heading is refused as `overlapping-section` naming that section. A field change
+does not reformat the rest of the file: an inline value is replaced where it stands, and a value
+written after the key's line, an empty one or a block mapping or list, is written after the key's
+colon in its place. A field holds a `FrontmatterValue`: null, a string, a boolean, a finite number,
+a list without holes or a plain object of them, holding no cycle. `frontmatterValue(value)` is that
+test, and `apply` refuses any other value as `frontmatter-fence`; `equalValue(left, right)` compares
+two by value, whatever their key order, as `apply` compares a field with its prior.
 
 `Document.preamble` is a readonly string holding the exact source after frontmatter and before the
 first section heading the section parser recognizes, `''` when empty, whitespace, newlines, a
@@ -133,24 +138,23 @@ if (parsed.ok) {
     prior: parsed.document.preamble,
     value: 'Updated introduction.\n\n',
   };
-  const result = apply(parsed.document, change);
+  const result = apply(parsed.document, [change]);
   if (result.outcome === 'applied') serialize(result.document);
 }
 ```
 
-`apply(document, { kind: 'preamble', prior, value })` compares `prior` to the current preamble
-exactly. A mismatch returns `{ outcome: 'stale', document }` with the unchanged current Document. A
-match replaces only that source span, then parses a new immutable Document; the original is
-unchanged. Frontmatter and section source outside the span retain their exact bytes, including
-newline and heading syntax. As with section replacement, `value` is literal source: no newline or
-separator is inserted, and the resulting source is parsed again. An invalid frontmatter result
-receives the existing parse refusal. Independent field, section, and preamble edits keep their own
-prior values valid.
+A `{ kind: 'preamble', prior, value }` change compares `prior` to the current preamble exactly. A
+mismatch is stale and leaves the current Document unchanged. A match replaces only that source span,
+then parses a new immutable Document; the original is unchanged. Frontmatter and section source
+outside the span retain their exact bytes, including newline and heading syntax. As with section
+replacement, `value` is literal source: no newline or separator is inserted, and the resulting
+source is parsed again. An invalid frontmatter result receives the existing parse refusal.
+Independent field, section, and preamble edits keep their own prior values valid.
 
-For a moved link, use `links` and the `link` change below to obtain the rewritten Document, then
-compare its public `preamble` and `sections` to the original. Submit the changed values with their
-original priors. Consumers need no source span calculation or private Model import. Collection
-validation remains a separate call against the resulting Library.
+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.
 
 `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
@@ -169,36 +173,40 @@ URL does, then percent-encodings, so `plan\.md`, `pl&#97;n.md` and `pl%61n.md` a
 an escaped or referenced `?` or `#` starts the suffix. A destination that is empty, a bare fragment,
 carries a URL scheme, starts at `/` once read, encodes no UTF-8 text, or leaves the collection
 resolves to `null`. It reads a destination written anywhere, such as a typed reference field value,
-which `links` never enumerates. `retarget(href, to)` is that destination rewritten to `to`, keeping
-the `?query` or `#fragment` it carried, which is the destination the `link` change below writes. It
-percent-encodes in `to` what `target` would decode, so it resolves to `to` again.
+which `links` never enumerates. `roomTarget(href)` reads `/rooms/<handle>/<path>` as its `handle`
+and `path`, else `null`, and `roomPath(href)` is its canonical text, the target `facts` resolves for
+`cross_room`. `retarget(href, to)` is that destination rewritten to `to`, keeping the `?query` or
+`#fragment` it carried, which is the destination the `link` change below writes. It percent-encodes
+in `to` what `target` would decode, so it resolves to `to` again.
 
 `checkDocument(file, content, model)` reads one Document alone by the same rules: `ok: false` where
 `validate` refuses it, 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 the references of its `list` sections.
+`sectionReferences(file, content, definition)` reads only the references of its `list` sections;
+neither names another Room's, which `roomReferences(file, content, definition?)` lists by `kind`.
 `parseFrontmatter(content, file?)` is `parse` without the body: `content`, `type` and `fields`.
 
 `references(document, definition)` lists each frontmatter `reference` string at any depth as
-`pointer`, `value` and `to`; `apply(document, { kind: 'reference', pointer, value, prior })`
-rewrites one in place, keeping its quotes, or is `stale`. `relativize(document, file, handle,
-definition?)` rewrites each link destination and reference written `/rooms/<handle>/<path>` 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 so, refusing a destination left under `/rooms/` as `unresolved-link`; `bodyLinks(body, file)`
-is its `links`; `relinkBody(body, file, moves)` writes, in one pass, each destination whose Path
-is a key of `moves` as relative to its value, in the form the `link` change below writes.
+`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?)` rewrites,
+in one `apply`, each link destination and reference written `/rooms/<handle>/<path>` 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
+so, refusing a `/rooms/` one naming no Room's file as `unresolved-link`; `bodyLinks(body, file)`
+is its `links` and `bodyRoomLinks(body)` its other Rooms'. `relinkBody(body, file, moves)` writes,
+in the `link` change's form, each destination whose Path keys `moves` as that value relative to
+`file`, and one whose `roomPath` does as that value.
 
 ```ts
 target('items/six.md', ' ../projects/atlas.md#overview '); // 'projects/atlas.md'
 retarget(' ../projects/atlas.md#overview ', '../archive/atlas.md'); // '../archive/atlas.md#overview'
 ```
 
-`apply(document, { kind: 'link', href, to })` rewrites every body occurrence of that written
-destination and changes nothing else, so a caller that moves a Path rewrites its referring
-Documents without a second Markdown parser. `to` is the Path the destination must resolve to
+A `{ kind: 'link', href, to }` change rewrites every body occurrence of that written destination
+and changes nothing else, so a caller that moves Paths rewrites each referring Document in one
+`apply` without a second Markdown parser. `to` is the Path the destination must resolve to
 instead; the `?query` or `#fragment` the written destination carried is not part of that Path and
-is kept. A Document that does not carry the destination is `stale`. A reference definition is
+is kept. A Document that does not carry the destination is stale. A reference definition is
 rewritten once however many uses name it. The destination is written in the form the syntax
 profile reads back: bare when it carries no whitespace, does not open with `<`, and balances its
 parentheses, otherwise inside angle brackets, which the original form is kept in when it still
@@ -230,29 +238,26 @@ if (parsed.ok) {
 Markdown documents, and `definition`, the verified MD Type the Document's `type` names, taken from
 the model `verify` returned. A Document that declares a type the caller supplies no definition for
 is refused as `unknown-type`. `documentTargets` is what makes a destination internal: a destination
-resolving to a supplied Path is internal, and every other destination stays authored text, a binary
-target and a Path nobody supplied alike. The caller supplies that membership, as it does for
+resolving to a supplied Path is internal, as is one into another Room, and every other stays text, a
+binary target and a Path nobody supplied alike. The caller supplies that membership, as it does for
 `validate`; the model reads no bytes, resolves no authority, and classifies nothing it was not
 given.
 
-An internal link contributes its visible label and no destination, fragment, or
-title, in the inline `[label](path)`, full `[label][id]`, collapsed
-`[label][]`, and shortcut `[label]` forms, and the link reference definition an
-enumerated use resolves through leaves the projection with it. An image at a
-supplied document target contributes its alt text the same way, because a move
-rewrites that destination too. External URLs, binary targets,
-unsupplied destinations, bare fragments, code spans, fenced code, and escaped
-syntax stay exactly as authored, read through the same syntax profile `links`
-and `validate` read. `project` returns text and never rewrites the Document.
+An internal link contributes its visible label and no destination, fragment, or title, in the inline
+`[label](path)`, full `[label][id]`, collapsed `[label][]`, and shortcut `[label]` forms, and the
+link reference definition an enumerated use resolves through leaves the projection with it. An image
+at a supplied document target contributes its alt text the same way, because a move rewrites that
+destination too. External URLs, binary targets, unsupplied destinations, bare fragments, code spans,
+fenced code, and escaped syntax stay exactly as authored, read through the same syntax profile
+`links` and `validate` read. `project` returns text and never rewrites the Document.
 
 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 budget 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
+`divide(document, file, context)` divides that same Embedding projection input into ordered Spans
+under the budget 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.
 
 ```ts
@@ -267,19 +272,17 @@ if (parsed.ok) {
 }
 ```
 
-`DivisionContext` is a `ProjectionContext` and one `budget`, the greatest number
-of characters a Span's embedded text may carry, counted the way JavaScript
-counts a string's length and not in the bytes the extent is measured in. No
-Span's text is ever longer than the budget. A bound cut never divides a
-character: where the budget ends between the two halves of a surrogate pair,
-the cut falls before the pair. A cut never falls inside link syntax either: it
-falls before an internal link, and a label longer than a whole piece's room is
-divided at the bound like any other text. The smallest budget is `2`, the
-length of one astral character; a budget that is not a whole number of at least
-`2` is refused with `division-budget` before any division. The budget is the
-caller's number alone: the model holds no tokenizer, counts nothing else, and
-refuses no input for being too long. A Document the caller supplies no
-definition for carries the same `unknown-type` refusal `project` returns.
+`DivisionContext` is a `ProjectionContext` and one `budget`, the greatest number of characters a
+Span's embedded text may carry, counted the way JavaScript counts a string's length and not in the
+bytes the extent is measured in. No Span's text is ever longer than the budget. A bound cut never
+divides a character: where the budget ends between the two halves of a surrogate pair, the cut falls
+before the pair. A cut never falls inside link syntax either: it falls before an internal link, and
+a label longer than a whole piece's room is divided at the bound like any other text. The smallest
+budget is `2`, the length of one astral character; a budget that is not a whole number of at least
+`2` is refused with `division-budget` before any division. The budget is the caller's number alone:
+the model holds no tokenizer, counts nothing else, and refuses no input for being too long. A
+Document the caller supplies no definition for carries the same `unknown-type` refusal `project`
+returns.
 
 The division descends one level at a time, and only into the piece that does not fit: the whole
 input, a heading node, adjacent sibling nodes packed under one parent, adjacent blocks inside a
@@ -295,16 +298,14 @@ exists at the sentence level alone, where each Span after the first repeats its
 sentence whenever the budget holds both; when it cannot hold both, the Span carries its own sentence
 alone. An untyped input arrives without a definition and descends the same ladder.
 
-Division is total: every authored character of the input belongs to at least one
-Span, and an input carrying no authored text divides into no Span at all. A
-Span's extent is the smallest range of the source that contains everything the
-Span covers, so it spans what the input excludes between two eligible pieces,
-and the extent addresses the authored source where the embedded text carries a
-repeated heading, an internal link's visible label, or a frontmatter value the
-author quoted. A Span divided out of one free-text field value addresses that
-whole value, because a YAML scalar's own 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.
+Division is total: every authored character of the input belongs to at least one Span, and an input
+carrying no authored text divides into no Span at all. A Span's extent is the smallest range of the
+source that contains everything the Span covers, so it spans what the input excludes between two
+eligible pieces, and the extent addresses the authored source where the embedded text carries a
+repeated heading, an internal link's visible label, or a frontmatter value the author quoted. A Span
+divided out of one free-text field value addresses that whole value, because a YAML scalar's own
+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
 
@@ -319,9 +320,9 @@ not fit its kind, such as a string in a number field, a value outside its `enum`
 
 `holds(test, facts, owner)` is `true`, `false` or `undefined`, unknown; a Trigger fires on `true`
 alone. A test's `path` is `/path`, `/type`, `/sections/<heading>`, `/fields/<pointer>`, or
-`/members/<pointer>`, the member of the Document a reference field reaches. A pointer segment that
-is not an index reads every item of a list, an item lacking it unknown, and a test over several
-values holds as `any` does. The value `{ owner: true }` stands for `owner`, a User id.
+`/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. `{ owner: true }` stands for `owner`, a User id.
 
 | The path reaches                        | `exists`    | `contains`     | any other test |
 | --------------------------------------- | ----------- | -------------- | -------------- |
@@ -350,10 +351,9 @@ names it. A field absent on both sides never fires; `from: 'new'` admits only a
 `to: 'deleted'` only a deletion, and listed values need that side to hold `field` `in` them.
 
 `itemFires(condition, item, owner)` compares `source` and `address` where given and holds `match`
-over `/delivery`, `/source`, `/provider`, `/container`, `/author`, `/has_attachment`,
-`/headers/<name>` and `/json/<pointer>`, 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`.
-`datePointers(fields)` lists, sorted, the `/fields/<name>` pointers of a type's date fields, the
-only values a `DateCondition`'s `date` takes.
+over `/delivery`, `/source`, `/container`, `/author`, `/has_attachment`, `/headers/<name>` and
+`/json/<pointer>`, 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`. `datePointers(fields)` lists, sorted, the
+`/fields/<name>` pointers of a type's date fields, the only values a `DateCondition`'s `date` takes.

package/README.md

@@ -26,30 +26,27 @@ if (checked.verdict === 'accept') {
 
 const parsed = parse('---\ntype: note\ntitle: Hello\n---\n');
 if (parsed.ok) {
-  const next = apply(parsed.document, {
-    kind: 'field',
-    name: 'title',
-    value: 'World',
-    prior: 'Hello',
-  });
+  const next = apply(parsed.document, [
+    { kind: 'field', name: 'title', value: 'World', prior: 'Hello' },
+  ]);
   if (next.outcome === 'applied') serialize(next.document);
 }
 ```
 
 ## API
 
-| Export                                         | Purpose                                                           |
-| ---------------------------------------------- | ----------------------------------------------------------------- |
-| `verify`                                       | Verify one schema text into a model of MD Types                   |
-| `validate`                                     | Validate a text Library; returns acceptance or one refusal        |
-| `parse`, `serialize`                           | Read and write one Document                                       |
-| `apply`                                        | Apply one field, section, preamble, or link change                |
-| `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           |
-| `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 |
+| Export                                         | Purpose                                                            |
+| ---------------------------------------------- | ------------------------------------------------------------------ |
+| `verify`                                       | Verify one schema text into a model of MD Types                    |
+| `validate`                                     | Validate a text Library; returns acceptance or one refusal         |
+| `parse`, `serialize`                           | Read and write one Document                                        |
+| `apply`                                        | Apply field, section, preamble, link and reference changes at once |
+| `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            |
+| `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  |
 
 The full reference is in [`API.md`](API.md). The conformance corpus and its
 verdict format and rule ids are described in [`fixtures/README.md`](fixtures/README.md).

package/dist/blocks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"blocks.d.ts","sourceRoot":"","sources":["../src/blocks.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAqCF,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,WAAW,EAAE,CA+BrF;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAe/E"}
+{"version":3,"file":"blocks.d.ts","sourceRoot":"","sources":["../src/blocks.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AA+BF,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,WAAW,EAAE,CA8BrF;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAe/E"}

package/dist/blocks.js

@@ -1,4 +1,4 @@
-import { fenceSpans } from './links.js';
+import { fenceSpans, spanCursor } from './links.js';
 const HEADING = /^(#{1,6})(?!#)[ \t]+(.+?)(?:[ \t]+#+)?[ \t]*$/;
 function lineAt(content, from, to) {
     const nl = content.indexOf('\n', from);
@@ -7,17 +7,11 @@ function lineAt(content, from, to) {
     return { text: raw.endsWith('\r') ? raw.slice(0, -1) : raw, next: end === to ? to : end + 1 };
 }
 function scan(content, from, to, visit) {
-    const fences = fenceSpans(content.slice(from, to));
+    const fenced = spanCursor(fenceSpans(content.slice(from, to)));
     let i = from;
     while (i < to) {
         const { text, next } = lineAt(content, i, to);
-        const at = i - from;
-        visit({
-            text,
-            start: i,
-            next,
-            fenced: fences.some(([start, end]) => at >= start && at < end),
-        });
+        visit({ text, start: i, next, fenced: fenced(i - from) !== undefined });
         if (next === i)
             break;
         i = next;
@@ -26,16 +20,15 @@ function scan(content, from, to, visit) {
 const HASH = 0x23;
 export function headingLines(content, from, to) {
     const found = [];
-    let fences = null;
+    let fenced = null;
     let i = from;
     while (i < to) {
         const nl = content.indexOf('\n', i);
         const end = nl === -1 || nl >= to ? to : nl;
         const next = end === to ? to : end + 1;
         if (content.charCodeAt(i) === HASH) {
-            fences ??= fenceSpans(content.slice(from, to));
-            const at = i - from;
-            if (!fences.some(([start, stop]) => at >= start && at < stop)) {
+            fenced ??= spanCursor(fenceSpans(content.slice(from, to)));
+            if (fenced(i - from) === undefined) {
                 const { text } = lineAt(content, i, to);
                 const match = HEADING.exec(text);
                 const hashes = match?.[1];

package/dist/condition.d.ts

@@ -1,8 +1,6 @@
 import { type ValueFacts } from './definition.js';
 import type { Document, VerifiedModel } from './types.js';
-export type ConditionValue = string | number | boolean | {
-    readonly owner: true;
-};
+export type ConditionValue = string | number | boolean;
 export type ConditionTest = {
     readonly all: readonly ConditionTest[];
 } | {
@@ -120,7 +118,6 @@ export type ItemFacts = {
     readonly source: string | null;
     readonly address: string | null;
     readonly has_attachment: boolean;
-    readonly provider: string | null;
     readonly container: string | null;
     readonly author: string | null;
     readonly headers: Readonly<Record<string, string>>;
@@ -143,8 +140,9 @@ export declare function datePointers(fields: Readonly<Record<string, ValueFacts>
 export declare function dated(value: unknown): value is string;
 export declare function instant(value: unknown): bigint | undefined;
 export declare function pointed(value: unknown, pointer: string): unknown;
-export declare function holds(test: ConditionTest, document: DocumentFacts, owner: string): Truth;
-export declare function fires(condition: DocumentCondition, event: DocumentEvent, owner: string): boolean;
-export declare function itemFires(condition: ItemCondition, item: ItemFacts, owner: string): boolean;
+export declare function members(document: DocumentFacts, path: string): readonly string[];
+export declare function holds(test: ConditionTest, document: DocumentFacts): Truth;
+export declare function fires(condition: DocumentCondition, event: DocumentEvent): boolean;
+export declare function itemFires(condition: ItemCondition, item: ItemFacts): boolean;
 export {};
 //# sourceMappingURL=condition.d.ts.map

package/dist/condition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,KAAK,UAAU,EAChB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG1D,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC;AAElF,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;CAAE,GAC/B,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,CACzB;IAAE,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;CAAE,GACrC;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAC9B,CAAC,CAAC;AAEP,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,CAAC,iBAAiB,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B,CAAC,GACF,CAAC,iBAAiB,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,cAAc,EAAE,GAAG,KAAK,CAAC;IAClD,QAAQ,CAAC,EAAE,CAAC,EAAE,SAAS,cAAc,EAAE,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC,CAAC;AAEP,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,iBAAiB,GAAG,aAAa,GAAG,aAAa,GAAG,aAAa,CAAC;AAE1F,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,WAAW,YAAI,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AAEnE,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,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;CACpB,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,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,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,QAAQ,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,KAAK,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;AAsCjC,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CAS3D;AAgDD,wBAAgB,KAAK,CACnB,QAAQ,EAAE,QAAQ,EAClB,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;AA4GD,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,GAAG,MAAM,EAAE,CAKnF;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAIrD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAgC1D;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAehE;AAmJD,wBAAgB,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK,CAExF;AAyFD,wBAAgB,KAAK,CAAC,SAAS,EAAE,iBAAiB,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAehG;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAO3F"}
+{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,KAAK,UAAU,EAChB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG1D,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAEvD,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;CAAE,GAC/B,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,CACzB;IAAE,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;CAAE,GACrC;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAC9B,CAAC,CAAC;AAEP,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,CAAC,iBAAiB,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B,CAAC,GACF,CAAC,iBAAiB,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,cAAc,EAAE,GAAG,KAAK,CAAC;IAClD,QAAQ,CAAC,EAAE,CAAC,EAAE,SAAS,cAAc,EAAE,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC,CAAC;AAEP,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,iBAAiB,GAAG,aAAa,GAAG,aAAa,GAAG,aAAa,CAAC;AAE1F,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,WAAW,YAAI,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AAEnE,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,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;CACpB,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,cAAc,EAAE,OAAO,CAAC;IACjC,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,QAAQ,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,KAAK,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;AAsCjC,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CAS3D;AAkDD,wBAAgB,KAAK,CACnB,QAAQ,EAAE,QAAQ,EAClB,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;AA4GD,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,GAAG,MAAM,EAAE,CAKnF;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAIrD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAgC1D;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAehE;AAwID,wBAAgB,OAAO,CAAC,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAahF;AAED,wBAAgB,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,GAAG,KAAK,CAEzE;AAkFD,wBAAgB,KAAK,CAAC,SAAS,EAAE,iBAAiB,EAAE,KAAK,EAAE,aAAa,GAAG,OAAO,CAejF;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,GAAG,OAAO,CAO5E"}