@agentshouse/mdmodel 0.1.0-cabd61587647f → 0.1.0-caf3d712ed842

package/API.md

@@ -43,11 +43,15 @@ 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. 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
+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.
 
@@ -74,33 +78,37 @@ to their siblings and the variants of `anyOf`, `oneOf`, `then`, `else` and `depe
 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
-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.
-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.
+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; `JSON_POINTER` matches the
+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. 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, 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.
+`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 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.
 
 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
@@ -116,9 +124,9 @@ merged or fenced heading is refused as `overlapping-section` naming that section
 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.
+a list without holes or a plain object of them, no cycle, at most 63 deep. `frontmatterValue(value)`
+is that test; `apply` refuses any other value and `parse` a frontmatter past 64 deep as
+`frontmatter-fence`. `equalValue` compares two by value, whatever their key order, as `apply` does.
 
 `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
@@ -150,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
@@ -160,8 +167,7 @@ is part of `href` and not part of `target`. Entries are ordered by the position
 text a rewrite would change, and one destination written the same way appears once however many
 times it occurs. A destination that the syntax profile does not read as a link, one that is empty, a
 bare fragment, or carries a URL scheme, and one that leaves the collection are not in the inventory.
-Frontmatter values are never link destinations. `linkOccurrences(document, file)` places each
-occurrence by its `start` in `content`, and `fieldStart(document, pointer)` a frontmatter value.
+Frontmatter values are never link destinations.
 
 `target(file, href)` is the collection Path one written destination resolves to relative to `file`,
 by the rule `links` and `validate` read: surrounding spaces and the `?query` or `#fragment` it
@@ -170,25 +176,29 @@ 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
+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
+any reference written so. `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.
-`parseFrontmatter(content, file?)` is `parse` without the body: `content`, `type` and `fields`.
+`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`.
+`parseFrontmatter(content, file?)` is `parse` without the body: `content`, `type`, `fields`; `outline(content, file)` is what a reader keeps of a text it does not hold: its `type`, `any` where it declares none, and `fields`, each `null` where its frontmatter is refused, and the distinct targets of its body's `bodyLinks`.
 
 `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?)`
-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 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?, 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
+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`, or as that value when it is a `/rooms/` path, and one whose `roomPath` does as that value.
 
 ```ts
 target('items/six.md', ' ../projects/atlas.md#overview '); // 'projects/atlas.md'
@@ -231,29 +241,25 @@ 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
-`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.
+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 unsupplied.
+
+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
-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);
@@ -261,25 +267,22 @@ if (parsed.ok) {
   const divided = divide(parsed.document, 'tasks/two.md', {
     documentTargets: ['plans/q3.md', 'people/ana.md'],
     definition: model.types.task,
-    budget: 2000,
+    bound: 2000,
   });
   if (divided.ok) for (const span of divided.spans) embed(span.text);
 }
 ```
 
-`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 `bound`, 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 bound. A bound cut never
+divides a character: where the bound 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
+bound is `2`, the length of one astral character; a bound that is not a whole number of at least
+`2` is refused with `division-bound` before any division. The bound 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 `unknown-type` refusal of `project`.
 
 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
@@ -287,24 +290,22 @@ node, sentences inside a block, and a bound cut inside a single sentence. A Span
 heading nodes or one contiguous piece inside a single node, never a partial node beside another. A
 Span that continues a node repeats that node's own heading line, projected like any other text and
 so carrying an internal link's label rather than its destination, and never an ancestor's heading,
-so renaming a heading costs what editing that heading's own body costs. A heading the budget cannot
+so renaming a heading costs what editing that heading's own body costs. A heading the bound cannot
 hold beside any text is not repeated, a continuation piece that begins with an astral character the
 room beside its heading cannot hold is carried without the heading, and a heading with no body of
 its own leads its first child node rather than standing as a Span of nothing but itself. Overlap
 exists at the sentence level alone, where each Span after the first repeats its predecessor's last
-sentence whenever the budget holds both; when it cannot hold both, the Span carries its own sentence
+sentence whenever the bound 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
 
@@ -317,11 +318,11 @@ an object holds the facts of its members, and a value written `null` is `null`.
 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, 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.
+`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 |
 | --------------------------------------- | ----------- | -------------- | -------------- |
@@ -339,21 +340,30 @@ and `in` are `undefined` against a value of another JSON type and compare a `tim
 `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, owner)` reads one change, `{ before, after, changed, by }`: the facts of
-each side, `null` on the side a creation or a deletion lacks, the `changed` paths whose prose
-changed, and the actor whose `/user`, `/site` and `/door`, one of `WRITE_DOORS`, a `by` test reads.
-`starts_matching` fires when the Document is in `scope` and holds `match` after the change and did
-not before; a creation fires only with `new_documents: true`, and a deletion never fires.
-`field_changes` fires when the side the Document has, 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 absent on both sides never fires; `from: 'new'` admits only a creation and
-`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`, `/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.
+`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. `inScope(scope, side)` is the `scope` test `fires` makes of a side, read from its `id`, `path` and `type` alone, `false` for `null`.
+
+`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/`.

package/README.md

@@ -5,7 +5,7 @@ deterministic application of one structured change to a 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.21.0 and later
+filesystem on its own. It ships one ESM artifact that Node 24.22.1 and later
 loads through `import` or `require`.
 
 ## Install

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;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"}
+{"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;AAoDF,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,WAAW,EAAE,CA4BrF;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,5 +1,29 @@
 import { fenceSpans, spanCursor } from './links.js';
-const HEADING = /^(#{1,6})(?!#)[ \t]+(.+?)(?:[ \t]+#+)?[ \t]*$/;
+const HEADING_OPEN = /^(#{1,6})(?!#)([ \t]+)/;
+const LINE_BREAK = /[\n\r\u2028\u2029]/;
+function blank(character) {
+    return character === ' ' || character === '\t';
+}
+function heading(text) {
+    const open = HEADING_OPEN.exec(text);
+    if (open === null || LINE_BREAK.test(text))
+        return null;
+    const level = open[1].length;
+    const rest = text.slice(open[0].length);
+    if (rest === '')
+        return open[2].length > 1 ? { level, name: '' } : null;
+    let end = rest.length;
+    while (blank(rest[end - 1]))
+        end -= 1;
+    let hashes = end;
+    while (rest[hashes - 1] === '#')
+        hashes -= 1;
+    let spaced = hashes;
+    while (blank(rest[spaced - 1]))
+        spaced -= 1;
+    const closed = hashes < end && spaced < hashes && spaced > 0;
+    return { level, name: rest.slice(0, closed ? spaced : end).trim() };
+}
 function lineAt(content, from, to) {
     const nl = content.indexOf('\n', from);
     const end = nl === -1 || nl >= to ? to : nl;
@@ -30,13 +54,11 @@ export function headingLines(content, from, to) {
             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];
-                const name = match?.[2];
-                if (hashes !== undefined && name !== undefined) {
+                const read = heading(text);
+                if (read !== null) {
                     found.push({
-                        level: hashes.length,
-                        name: name.trim(),
+                        level: read.level,
+                        name: read.name,
                         start: i,
                         textEnd: i + text.length,
                         next,

package/dist/condition.d.ts

@@ -1,8 +1,8 @@
-import { type ValueFacts } from './definition.js';
+import { type Definition, 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 declare const CONDITION_OPERATORS: readonly ['eq', 'in', 'exists', 'contains', 'gt', 'gte', 'lt', 'lte', 'prefix'];
+export type ConditionOperator = (typeof CONDITION_OPERATORS)[number];
 export type ConditionTest = {
     readonly all: readonly ConditionTest[];
 } | {
@@ -41,6 +41,7 @@ type DocumentEventBase = {
     readonly on: 'documents';
     readonly scope: ConditionScope;
     readonly by?: ConditionTest;
+    readonly moved_between_rooms?: boolean;
 };
 export type DocumentCondition = (DocumentEventBase & {
     readonly mode: 'starts_matching';
@@ -75,7 +76,15 @@ export type DateCondition = {
     readonly time_zone: string;
     readonly match?: ConditionTest;
 };
-export type Condition = DocumentCondition | ItemCondition | CronCondition | DateCondition;
+export type NotificationCondition = {
+    readonly on: 'notifications';
+    readonly match?: ConditionTest;
+};
+export type MessageCondition = {
+    readonly on: 'messages';
+    readonly match?: ConditionTest;
+};
+export type Condition = DocumentCondition | ItemCondition | CronCondition | DateCondition | NotificationCondition | MessageCondition;
 export type FactKind = 'string' | 'number' | 'boolean' | 'date' | 'time' | 'enum' | 'reference';
 type Scalar = string | number | boolean;
 export type Fact = {
@@ -102,11 +111,13 @@ export type DocumentFacts = {
     readonly fields: Readonly<Record<string, Fact>>;
     readonly sections: readonly string[];
 };
-export declare const WRITE_DOORS: readonly ['browser', 'agent', 'client'];
+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 = {
@@ -114,12 +125,12 @@ export type DocumentEvent = {
     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 has_attachment: boolean;
     readonly container: string | null;
     readonly author: string | null;
     readonly headers: Readonly<Record<string, string>>;
@@ -127,6 +138,11 @@ export type ItemFacts = {
         readonly value: unknown;
     } | null;
 };
+export type MessageFacts = {
+    readonly sender: string;
+    readonly routine: string | null;
+    readonly path: string | null;
+};
 export type Resolved = {
     readonly id: string;
     readonly member?: string;
@@ -139,11 +155,27 @@ export declare function facts(document: Document, at: {
 }, model: VerifiedModel, resolve: (target: string) => Resolved | undefined): DocumentFacts;
 export declare function prosePaths(facts: DocumentFacts): string[];
 export declare function datePointers(fields: Readonly<Record<string, ValueFacts>>): string[];
+export declare function valuedChange(definition: Definition, field: string): boolean;
+export declare function changeFields(definition: Definition): string[];
+export declare function memberPointers(definition: Definition, memberType: string): string[];
+export declare const DOCUMENT_PATHS: readonly string[];
+export declare const ACTOR_PATHS: readonly string[];
+export declare const ITEM_PATHS: readonly string[];
+export declare const MESSAGE_PATHS: readonly string[];
+export declare function testOperators(definitions: readonly Definition[], path: string, memberType: string | null): readonly ConditionOperator[];
+export declare function actorOperators(path: string): readonly ConditionOperator[];
+export declare function itemOperators(path: string): readonly ConditionOperator[];
+export declare function messageOperators(path: string): readonly ConditionOperator[];
+export declare function itemKind(path: string): FactKind | null;
 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 inScope(scope: ConditionScope, document: Pick<DocumentFacts, 'id' | 'path' | 'type'> | null): boolean;
+export declare function fires(condition: DocumentCondition, event: DocumentEvent): boolean;
+export declare function itemFires(condition: ItemCondition, item: ItemFacts): boolean;
+export declare function notificationFires(condition: NotificationCondition, notification: DocumentFacts): boolean;
+export declare function messageFires(condition: MessageCondition, message: MessageFacts): 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,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;AAiJD,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,EAQL,KAAK,UAAU,EAEf,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,eAAO,MAAM,mBAAmB,YAC9B,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,UAAU,EACV,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,KAAK,EACL,QAAQ,CACA,CAAC;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAErE,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;IAC5B,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;CACxC,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,qBAAqB,GAAG;IAClC,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,SAAS,GACjB,iBAAiB,GACjB,aAAa,GACb,aAAa,GACb,aAAa,GACb,qBAAqB,GACrB,gBAAgB,CAAC;AAErB,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,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,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;AAEzE,KAAK,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;AAwCjC,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;AA+FD,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,GAAG,MAAM,EAAE,CAKnF;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAU3E;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;AA8HD,eAAO,MAAM,cAAc,EAAE,SAAS,MAAM,EAA2C,CAAC;AAExF,eAAO,MAAM,WAAW,EAAE,SAAS,MAAM,EAAwC,CAAC;AAElF,eAAO,MAAM,UAAU,EAAE,SAAS,MAAM,EAAuC,CAAC;AAEhF,eAAO,MAAM,aAAa,EAAE,SAAS,MAAM,EAA0C,CAAC;AAEtF,wBAAgB,aAAa,CAC3B,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,GAAG,IAAI,GACxB,SAAS,iBAAiB,EAAE,CAM9B;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,iBAAiB,EAAE,CAEzE;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,iBAAiB,EAAE,CAExE;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,iBAAiB,EAAE,CAE3E;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,IAAI,CAEtD;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,CAahE;AA+GD,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;AAED,wBAAgB,OAAO,CACrB,KAAK,EAAE,cAAc,EACrB,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC,GAAG,IAAI,GAC3D,OAAO,CAKT;AA2ED,wBAAgB,KAAK,CAAC,SAAS,EAAE,iBAAiB,EAAE,KAAK,EAAE,aAAa,GAAG,OAAO,CAiBjF;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,GAAG,OAAO,CAM5E;AAED,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,qBAAqB,EAChC,YAAY,EAAE,aAAa,GAC1B,OAAO,CAET;AAED,wBAAgB,YAAY,CAAC,SAAS,EAAE,gBAAgB,EAAE,OAAO,EAAE,YAAY,GAAG,OAAO,CAKxF"}