@agentshouse/mdmodel 0.1.0-cf5ccc9c47590 → 0.1.0-cf77876799aa0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/API.md +75 -65
- package/dist/condition.d.ts +15 -2
- package/dist/condition.d.ts.map +1 -1
- package/dist/condition.js +158 -51
- package/dist/definition.d.ts +2 -1
- package/dist/definition.d.ts.map +1 -1
- package/dist/definition.js +35 -8
- package/dist/divide.js +9 -9
- package/dist/document.d.ts +4 -4
- package/dist/document.d.ts.map +1 -1
- package/dist/document.js +28 -30
- package/dist/index.d.ts +7 -6
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +4 -4
- package/dist/links.d.ts +1 -0
- package/dist/links.d.ts.map +1 -1
- package/dist/links.js +43 -28
- package/dist/project.d.ts.map +1 -1
- package/dist/project.js +3 -5
- package/dist/types.d.ts +8 -4
- package/dist/types.d.ts.map +1 -1
- package/dist/validate.d.ts +25 -4
- package/dist/validate.d.ts.map +1 -1
- package/dist/validate.js +135 -65
- package/fixtures/README.md +5 -4
- package/fixtures/division.json +26 -26
- package/package.json +1 -1
package/API.md
CHANGED
|
@@ -47,7 +47,8 @@ JSON Schema of its frontmatter; `$defs` holds shapes the types reuse, reached by
|
|
|
47
47
|
beside it admits a Document in another Room, of a type that Room declares; `sections` declares a
|
|
48
48
|
type's H2 sections, each `{ kind: text }` or `{ kind: list, items }` over one string, number,
|
|
49
49
|
integer or boolean, optionally `required: true`; `member_document: true` marks at most one type. A
|
|
50
|
-
type alone takes `create_roles` and `delete_roles`, each a list of role names.
|
|
50
|
+
type alone takes `create_roles` and `delete_roles`, each a list of role names. `verify(schema,
|
|
51
|
+
provided)` holds every type of a model `provided` as its own, named only for those two. On a field of a
|
|
51
52
|
type's own `properties` alone, `change_roles` and `initial_roles` each list role names, and
|
|
52
53
|
`transitions` lists `{ from, to, roles? }`, each end a scalar or `null`, on a field whose `type`,
|
|
53
54
|
`enum`, `const`, `$ref`, `allOf`, `anyOf`, `oneOf`, `if` and `not` admit no list or object.
|
|
@@ -75,10 +76,10 @@ to their siblings and the variants of `anyOf`, `oneOf`, `then`, `else` and `depe
|
|
|
75
76
|
variant's own keys `conditional`; a path without one `type`, `null` aside, has none. A malformed
|
|
76
77
|
schema is refused whole, naming its `rule`, the keyword or the model's own, and the JSON Pointer
|
|
77
78
|
`location` it concerns, such as `/plan/properties/status/enum`, or `line <n>` outside the YAML
|
|
78
|
-
subset. `pointerFacts(definition, pointer)` reads the facts a frontmatter pointer reaches,
|
|
79
|
-
|
|
80
|
-
`pointerSegments` and `escapePointer` split and write a pointer,
|
|
81
|
-
segment, and `ATTACHMENT` is the `reference` that admits any path.
|
|
79
|
+
subset. `pointerFacts(definition, pointer)` reads the facts a frontmatter pointer reaches, `itemFacts`
|
|
80
|
+
and `memberFacts` take one step and `crossedFacts` reads a list's item facts; `JSON_POINTER` matches the
|
|
81
|
+
JSON Pointer grammar, `''` included, `pointerSegments` and `escapePointer` split and write a pointer,
|
|
82
|
+
`ARRAY_INDEX` matches an index segment, and `ATTACHMENT` is the `reference` that admits any path.
|
|
82
83
|
|
|
83
84
|
`validate(library, context?, model?)` takes the resulting text Library and one `ValidationContext`
|
|
84
85
|
of `binaryTargets: readonly string[]`, none when omitted. Library keys and binary targets share one
|
|
@@ -94,16 +95,18 @@ Library member is content, whatever its Path. Without `model` the Library declar
|
|
|
94
95
|
A typed Document's frontmatter satisfies its type's schema, every keyword with its JSON Schema
|
|
95
96
|
meaning, formats asserted and defaults never filled, except that an object schema declaring neither
|
|
96
97
|
`additionalProperties` nor `unevaluatedProperties` is closed: an undeclared key is refused as
|
|
97
|
-
`undeclared-
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
98
|
+
`undeclared-field`. `TYPE_FIELD`, `SITE_FIELD` and `RECEIVED_FIELD` count as declared on every type,
|
|
99
|
+
and the string `MEMBER_FIELD` on the `member_document` type; `HOUSE_FIELDS` lists the four. A refusal
|
|
100
|
+
names the keyword, such as `required`, and the value's JSON Pointer, such as `/shipping/city`. Every
|
|
101
|
+
occurrence of a declared list section is a list of values of its item schema, else
|
|
102
|
+
`structured-section`; a reference item is one ordinary link alone, such as `- [Ada](ada.md)`. A
|
|
103
|
+
reference, at any depth or a section item, reaching a URL, a binary target, another Room without
|
|
104
|
+
`cross_room` or the context's `anyRoom: true`, or a Document of a type it does not name is
|
|
104
105
|
`unresolved-reference`, and a frontmatter one reaching no member is `referenced-missing-file` naming
|
|
105
|
-
its `referrers`; `attachment` admits any path, and no body link is a referrer. `validating`
|
|
106
|
-
|
|
106
|
+
its `referrers`; `attachment` admits any path, and no body link is a referrer. `validating` is
|
|
107
|
+
`validate` over a `ReadonlyMap` Library, yielding each path read with the references it `resolved`;
|
|
108
|
+
`assess(file, content, binary, model?, context?)` reads one member, naming its `type` and `targets`,
|
|
109
|
+
and `verdicts()` `add`s assessments in any order, its `verdict()` the one `validate` gives.
|
|
107
110
|
|
|
108
111
|
Validation returns acceptance or one refusal naming the file, the field or section, and the violated
|
|
109
112
|
rule. `parse`, `apply`, and `serialize` operate on a single text Document; they do not validate
|
|
@@ -163,8 +166,7 @@ is part of `href` and not part of `target`. Entries are ordered by the position
|
|
|
163
166
|
text a rewrite would change, and one destination written the same way appears once however many
|
|
164
167
|
times it occurs. A destination that the syntax profile does not read as a link, one that is empty, a
|
|
165
168
|
bare fragment, or carries a URL scheme, and one that leaves the collection are not in the inventory.
|
|
166
|
-
Frontmatter values are never link destinations.
|
|
167
|
-
occurrence by its `start` in `content`, and `fieldStart(document, pointer)` a frontmatter value.
|
|
169
|
+
Frontmatter values are never link destinations.
|
|
168
170
|
|
|
169
171
|
`target(file, href)` is the collection Path one written destination resolves to relative to `file`,
|
|
170
172
|
by the rule `links` and `validate` read: surrounding spaces and the `?query` or `#fragment` it
|
|
@@ -175,27 +177,27 @@ carries a URL scheme, starts at `/` once read, encodes no UTF-8 text, or leaves
|
|
|
175
177
|
resolves to `null`. It reads a destination written anywhere, such as a typed reference field value,
|
|
176
178
|
which `links` never enumerates. `roomTarget(href)` reads `/rooms/<handle>/<path>` as its `handle`
|
|
177
179
|
and `path`, else `null`, and `roomPath(href)` is its canonical text, the target `facts` resolves for
|
|
178
|
-
|
|
179
|
-
`#fragment` it carried, which is the destination the `link` change below writes. It
|
|
180
|
-
in `to` what `target` would decode, so it resolves to `to` again.
|
|
181
|
-
|
|
182
|
-
`checkDocument(file, content, model)` reads one Document
|
|
183
|
-
`
|
|
184
|
-
`to`, which `resolves(reference, typeOf, binary)` says reaches a member `validate`
|
|
185
|
-
`sectionReferences(file, content, definition)` reads only
|
|
180
|
+
any reference written so. `retarget(href, to)` is that destination rewritten to `to`, keeping the
|
|
181
|
+
`?query` or `#fragment` it carried, which is the destination the `link` change below writes. It
|
|
182
|
+
percent-encodes in `to` what `target` would decode, so it resolves to `to` again.
|
|
183
|
+
|
|
184
|
+
`checkDocument(file, content, model, context?)` reads one Document as `validate` does in that
|
|
185
|
+
context: `ok: false` where it refuses, else its `type`, whether it is `typed`, and each reference's
|
|
186
|
+
`target` and `to`, which `resolves(reference, typeOf, binary)` says reaches a member `validate`
|
|
187
|
+
accepts. `sectionReferences(file, content, definition)` reads only its `list` sections' references;
|
|
186
188
|
neither names another Room's, which `roomReferences(file, content, definition?)` lists by `kind`.
|
|
187
|
-
`parseFrontmatter(content, file?)` is `parse` without the body: `content`, `type
|
|
189
|
+
`parseFrontmatter(content, file?)` is `parse` without the body: `content`, `type`, `fields`.
|
|
188
190
|
|
|
189
191
|
`references(document, definition)` lists each frontmatter `reference` string at any depth as
|
|
190
192
|
`pointer`, `value` and `to`; a `{ kind: 'reference', pointer, value, prior }` change rewrites one in
|
|
191
|
-
place, keeping its quotes, or is stale. `relativize(document, file, handle, definition?)`
|
|
192
|
-
in one `apply`, each link destination and reference written `/rooms/<handle>/<path>`
|
|
193
|
-
`relative(file, path)`, keeping its `?query` or `#fragment`. A text without
|
|
194
|
-
captured body, is read from its first character: `relativizeBody(body, file, handle)` converts it
|
|
193
|
+
place, keeping its quotes, or is stale. `relativize(document, file, handle, definition?, kept?)`
|
|
194
|
+
rewrites, in one `apply`, each link destination and reference written `/rooms/<handle>/<path>` and
|
|
195
|
+
not in `kept` to `relative(file, path)`, keeping its `?query` or `#fragment`. A text without
|
|
196
|
+
frontmatter, such as a captured body, is read from its first character: `relativizeBody(body, file, handle)` converts it
|
|
195
197
|
so, refusing a `/rooms/` one naming no Room's file as `unresolved-link`; `bodyLinks(body, file)`
|
|
196
198
|
is its `links` and `bodyRoomLinks(body)` its other Rooms'. `relinkBody(body, file, moves)` writes,
|
|
197
199
|
in the `link` change's form, each destination whose Path keys `moves` as that value relative to
|
|
198
|
-
`file`, and one whose `roomPath` does as that value.
|
|
200
|
+
`file`, or as that value when it is a `/rooms/` path, and one whose `roomPath` does as that value.
|
|
199
201
|
|
|
200
202
|
```ts
|
|
201
203
|
target('items/six.md', ' ../projects/atlas.md#overview '); // 'projects/atlas.md'
|
|
@@ -240,8 +242,7 @@ the model `verify` returned. A Document that declares a type the caller supplies
|
|
|
240
242
|
is refused as `unknown-type`. `documentTargets` is what makes a destination internal: a destination
|
|
241
243
|
resolving to a supplied Path is internal, as is one into another Room, and every other stays text, a
|
|
242
244
|
binary target and a Path nobody supplied alike. The caller supplies that membership, as it does for
|
|
243
|
-
`validate`; the model reads no bytes, resolves no authority, and classifies nothing
|
|
244
|
-
given.
|
|
245
|
+
`validate`; the model reads no bytes, resolves no authority, and classifies nothing unsupplied.
|
|
245
246
|
|
|
246
247
|
An internal link contributes its visible label and no destination, fragment, or title, in the inline
|
|
247
248
|
`[label](path)`, full `[label][id]`, collapsed `[label][]`, and shortcut `[label]` forms, and the
|
|
@@ -255,7 +256,7 @@ A `link` change leaves the projection of every Document it rewrites
|
|
|
255
256
|
byte-identical, while a changed visible label changes it.
|
|
256
257
|
|
|
257
258
|
`divide(document, file, context)` divides that same Embedding projection input into ordered Spans
|
|
258
|
-
under the
|
|
259
|
+
under the bound the caller supplies. Each Span carries the `text` to embed and the `start` and
|
|
259
260
|
`end` of the extent it addresses in the Document's own source, as UTF-8 byte offsets into that
|
|
260
261
|
source and never string positions, so a caller stores the extent and hydrates the text it shows from
|
|
261
262
|
the Document itself.
|
|
@@ -266,23 +267,22 @@ if (parsed.ok) {
|
|
|
266
267
|
const divided = divide(parsed.document, 'tasks/two.md', {
|
|
267
268
|
documentTargets: ['plans/q3.md', 'people/ana.md'],
|
|
268
269
|
definition: model.types.task,
|
|
269
|
-
|
|
270
|
+
bound: 2000,
|
|
270
271
|
});
|
|
271
272
|
if (divided.ok) for (const span of divided.spans) embed(span.text);
|
|
272
273
|
}
|
|
273
274
|
```
|
|
274
275
|
|
|
275
|
-
`DivisionContext` is a `ProjectionContext` and one `
|
|
276
|
+
`DivisionContext` is a `ProjectionContext` and one `bound`, the greatest number of characters a
|
|
276
277
|
Span's embedded text may carry, counted the way JavaScript counts a string's length and not in the
|
|
277
|
-
bytes the extent is measured in. No Span's text is ever longer than the
|
|
278
|
-
divides a character: where the
|
|
278
|
+
bytes the extent is measured in. No Span's text is ever longer than the bound. A bound cut never
|
|
279
|
+
divides a character: where the bound ends between the two halves of a surrogate pair, the cut falls
|
|
279
280
|
before the pair. A cut never falls inside link syntax either: it falls before an internal link, and
|
|
280
281
|
a label longer than a whole piece's room is divided at the bound like any other text. The smallest
|
|
281
|
-
|
|
282
|
-
`2` is refused with `division-
|
|
282
|
+
bound is `2`, the length of one astral character; a bound that is not a whole number of at least
|
|
283
|
+
`2` is refused with `division-bound` before any division. The bound is the caller's number alone:
|
|
283
284
|
the model holds no tokenizer, counts nothing else, and refuses no input for being too long. A
|
|
284
|
-
Document the caller supplies no definition for carries the
|
|
285
|
-
returns.
|
|
285
|
+
Document the caller supplies no definition for carries the `unknown-type` refusal of `project`.
|
|
286
286
|
|
|
287
287
|
The division descends one level at a time, and only into the piece that does not fit: the whole
|
|
288
288
|
input, a heading node, adjacent sibling nodes packed under one parent, adjacent blocks inside a
|
|
@@ -290,12 +290,12 @@ node, sentences inside a block, and a bound cut inside a single sentence. A Span
|
|
|
290
290
|
heading nodes or one contiguous piece inside a single node, never a partial node beside another. A
|
|
291
291
|
Span that continues a node repeats that node's own heading line, projected like any other text and
|
|
292
292
|
so carrying an internal link's label rather than its destination, and never an ancestor's heading,
|
|
293
|
-
so renaming a heading costs what editing that heading's own body costs. A heading the
|
|
293
|
+
so renaming a heading costs what editing that heading's own body costs. A heading the bound cannot
|
|
294
294
|
hold beside any text is not repeated, a continuation piece that begins with an astral character the
|
|
295
295
|
room beside its heading cannot hold is carried without the heading, and a heading with no body of
|
|
296
296
|
its own leads its first child node rather than standing as a Span of nothing but itself. Overlap
|
|
297
297
|
exists at the sentence level alone, where each Span after the first repeats its predecessor's last
|
|
298
|
-
sentence whenever the
|
|
298
|
+
sentence whenever the bound holds both; when it cannot hold both, the Span carries its own sentence
|
|
299
299
|
alone. An untyped input arrives without a definition and descends the same ladder.
|
|
300
300
|
|
|
301
301
|
Division is total: every authored character of the input belongs to at least one Span, and an input
|
|
@@ -318,11 +318,11 @@ an object holds the facts of its members, and a value written `null` is `null`.
|
|
|
318
318
|
not fit its kind, such as a string in a number field, a value outside its `enum` or a reference
|
|
319
319
|
`resolve` maps to no `{ id, member? }`, is `unreadable`; a readable reference compares as that `id`.
|
|
320
320
|
|
|
321
|
-
`holds(test, facts
|
|
322
|
-
|
|
323
|
-
`/members/<pointer>`, the members a reference field's Documents bind, which
|
|
324
|
-
lists. A non-index pointer segment reads every item of a list, an item
|
|
325
|
-
test over several values holds as `any` does.
|
|
321
|
+
`holds(test, facts)` is `true`, `false` or `undefined`, unknown; a Trigger fires on `true` alone. A
|
|
322
|
+
test's `path` is one of the `DOCUMENT_PATHS`, `/path` and `/type`, or `/sections/<heading>`,
|
|
323
|
+
`/fields/<pointer>` or `/members/<pointer>`, the members a reference field's Documents bind, which
|
|
324
|
+
`members(facts, path)` lists. A non-index pointer segment reads every item of a list, an item
|
|
325
|
+
lacking it unknown, and a test over several values holds as `any` does.
|
|
326
326
|
|
|
327
327
|
| The path reaches | `exists` | `contains` | any other test |
|
|
328
328
|
| --------------------------------------- | ----------- | -------------- | -------------- |
|
|
@@ -340,20 +340,30 @@ and `in` are `undefined` against a value of another JSON type and compare a `tim
|
|
|
340
340
|
`prefix` reads only a string, never a reference or a member; `gt`, `gte`, `lt` and `lte` order
|
|
341
341
|
numbers, dates and times alone.
|
|
342
342
|
|
|
343
|
-
`fires(condition, event
|
|
344
|
-
each side, `null`
|
|
345
|
-
|
|
346
|
-
|
|
347
|
-
|
|
348
|
-
`field_changes` fires when the
|
|
349
|
-
and holds `match`, and `field` changed: its facts differ, or with neither
|
|
350
|
-
names it. A field
|
|
351
|
-
`to: 'deleted'` only a deletion, and listed values need that side
|
|
352
|
-
|
|
353
|
-
`itemFires(condition, item
|
|
354
|
-
|
|
355
|
-
|
|
356
|
-
|
|
357
|
-
|
|
358
|
-
|
|
359
|
-
|
|
343
|
+
`fires(condition, event)` reads one change, `{ before, after, changed, by, moved_between_rooms }`:
|
|
344
|
+
each side's facts, `null` for a side the change lacks, the `changed` paths whose prose changed, the
|
|
345
|
+
actor a `by` test reads at the `ACTOR_PATHS`, its `/door` one of `WRITE_DOORS`, and whether it
|
|
346
|
+
moved between Rooms, which a set `moved_between_rooms` must match. `starts_matching` fires when the
|
|
347
|
+
Document is in `scope` and holds `match` after the change but not before, a creation only with
|
|
348
|
+
`new_documents: true`. `field_changes` fires when the Document's side, after or for a deletion
|
|
349
|
+
before, is in `scope` and holds `match`, and `field` changed: its facts differ, or with neither
|
|
350
|
+
`from` nor `to` `changed` names it. A field on neither side never fires; `from: 'new'` admits only a
|
|
351
|
+
creation and `to: 'deleted'` only a deletion, and listed values need that side's `field` `in` them.
|
|
352
|
+
|
|
353
|
+
`itemFires(condition, item)` compares `source` and `address` where given and holds `match` over
|
|
354
|
+
the `ITEM_PATHS`, a `/json` test unknown for an item with no JSON. `prosePaths(facts)` lists the
|
|
355
|
+
prose and section paths whose text builds `changed`; `pointed(value, pointer)` reads a JSON Pointer,
|
|
356
|
+
`undefined` where nothing is; `dated(value)` checks a `YYYY-MM-DD` date, and `instant(value)` reads
|
|
357
|
+
an RFC 3339 time with its offset as epoch nanoseconds, a `bigint`.
|
|
358
|
+
|
|
359
|
+
What a condition names of one MD Type: `datePointers(fields)` lists, sorted, its date fields as escaped
|
|
360
|
+
`/fields/` pointers, the only `date`s a `DateCondition` takes; `changeFields(definition)` lists each
|
|
361
|
+
declared field and section as a `field_changes` `field`, and `valuedChange(definition, field)` holds of
|
|
362
|
+
a field read as one value, never prose, a list or reached through one, the only `field` that takes a
|
|
363
|
+
`from` or a `to`; `memberPointers(definition, memberType)` lists the `/members/<name>` paths of the
|
|
364
|
+
fields referring to `memberType`, alone or in a list. `testOperators(definitions, path, memberType)`
|
|
365
|
+
lists the `CONDITION_OPERATORS` a test on a document `path` takes in any of those types, none where none
|
|
366
|
+
declares it or, for a member path, `memberPointers` lacks it: `exists` alone on a section, prose or an
|
|
367
|
+
object, `contains` and `exists` on a list, `prefix` on a string and `/path`, orderings on a number, date
|
|
368
|
+
or time, and `contains` through a list. `actorOperators(path)` and `itemOperators(path)` list the tests
|
|
369
|
+
on a `by` or item path, `itemKind(path)` an item value's kind, or `null`, as on `/json/`.
|
package/dist/condition.d.ts
CHANGED
|
@@ -1,6 +1,8 @@
|
|
|
1
|
-
import { type ValueFacts } from './definition.js';
|
|
1
|
+
import { type Definition, type ValueFacts } from './definition.js';
|
|
2
2
|
import type { Document, VerifiedModel } from './types.js';
|
|
3
3
|
export type ConditionValue = string | number | boolean;
|
|
4
|
+
export declare const CONDITION_OPERATORS: readonly ['eq', 'in', 'exists', 'contains', 'gt', 'gte', 'lt', 'lte', 'prefix'];
|
|
5
|
+
export type ConditionOperator = (typeof CONDITION_OPERATORS)[number];
|
|
4
6
|
export type ConditionTest = {
|
|
5
7
|
readonly all: readonly ConditionTest[];
|
|
6
8
|
} | {
|
|
@@ -39,6 +41,7 @@ type DocumentEventBase = {
|
|
|
39
41
|
readonly on: 'documents';
|
|
40
42
|
readonly scope: ConditionScope;
|
|
41
43
|
readonly by?: ConditionTest;
|
|
44
|
+
readonly moved_between_rooms?: boolean;
|
|
42
45
|
};
|
|
43
46
|
export type DocumentCondition = (DocumentEventBase & {
|
|
44
47
|
readonly mode: 'starts_matching';
|
|
@@ -112,12 +115,12 @@ export type DocumentEvent = {
|
|
|
112
115
|
readonly after: DocumentFacts | null;
|
|
113
116
|
readonly changed: readonly string[];
|
|
114
117
|
readonly by: Actor;
|
|
118
|
+
readonly moved_between_rooms: boolean;
|
|
115
119
|
};
|
|
116
120
|
export type ItemFacts = {
|
|
117
121
|
readonly delivery: string;
|
|
118
122
|
readonly source: string | null;
|
|
119
123
|
readonly address: string | null;
|
|
120
|
-
readonly has_attachment: boolean;
|
|
121
124
|
readonly container: string | null;
|
|
122
125
|
readonly author: string | null;
|
|
123
126
|
readonly headers: Readonly<Record<string, string>>;
|
|
@@ -137,6 +140,16 @@ export declare function facts(document: Document, at: {
|
|
|
137
140
|
}, model: VerifiedModel, resolve: (target: string) => Resolved | undefined): DocumentFacts;
|
|
138
141
|
export declare function prosePaths(facts: DocumentFacts): string[];
|
|
139
142
|
export declare function datePointers(fields: Readonly<Record<string, ValueFacts>>): string[];
|
|
143
|
+
export declare function valuedChange(definition: Definition, field: string): boolean;
|
|
144
|
+
export declare function changeFields(definition: Definition): string[];
|
|
145
|
+
export declare function memberPointers(definition: Definition, memberType: string): string[];
|
|
146
|
+
export declare const DOCUMENT_PATHS: readonly string[];
|
|
147
|
+
export declare const ACTOR_PATHS: readonly string[];
|
|
148
|
+
export declare const ITEM_PATHS: readonly string[];
|
|
149
|
+
export declare function testOperators(definitions: readonly Definition[], path: string, memberType: string | null): readonly ConditionOperator[];
|
|
150
|
+
export declare function actorOperators(path: string): readonly ConditionOperator[];
|
|
151
|
+
export declare function itemOperators(path: string): readonly ConditionOperator[];
|
|
152
|
+
export declare function itemKind(path: string): FactKind | null;
|
|
140
153
|
export declare function dated(value: unknown): value is string;
|
|
141
154
|
export declare function instant(value: unknown): bigint | undefined;
|
|
142
155
|
export declare function pointed(value: unknown, pointer: string): unknown;
|
package/dist/condition.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"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,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;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,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;AAuHD,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,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,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;AAkFD,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"}
|
package/dist/condition.js
CHANGED
|
@@ -1,6 +1,17 @@
|
|
|
1
|
-
import { ARRAY_INDEX, escapePointer, fieldFacts, itemFacts, memberFacts, pointerSegments, } from './definition.js';
|
|
1
|
+
import { ARRAY_INDEX, escapePointer, fieldFacts, itemFacts, memberFacts, pointerFacts, pointerSegments, } from './definition.js';
|
|
2
2
|
import { roomPath, target } from './paths.js';
|
|
3
3
|
import { plain } from './yaml.js';
|
|
4
|
+
export const CONDITION_OPERATORS = [
|
|
5
|
+
'eq',
|
|
6
|
+
'in',
|
|
7
|
+
'exists',
|
|
8
|
+
'contains',
|
|
9
|
+
'gt',
|
|
10
|
+
'gte',
|
|
11
|
+
'lt',
|
|
12
|
+
'lte',
|
|
13
|
+
'prefix',
|
|
14
|
+
];
|
|
4
15
|
export const WRITE_DOORS = ['browser', 'agent', 'client'];
|
|
5
16
|
const PROSE = { kind: 'prose' };
|
|
6
17
|
const NULL = { kind: 'null' };
|
|
@@ -8,6 +19,7 @@ const UNREADABLE = { kind: 'unreadable' };
|
|
|
8
19
|
const UNREAD = { present: undefined, values: [undefined], items: [undefined] };
|
|
9
20
|
const NO_ITEM = { present: false, values: [], items: [] };
|
|
10
21
|
const DATE = /^\d{4}-\d{2}-\d{2}$/u;
|
|
22
|
+
const HEADER = /^\/headers\/[!#$%&'*+.^_`|~0-9a-z-]+$/u;
|
|
11
23
|
const DATE_TIME = /^(\d{4})-(\d{2})-(\d{2})[Tt](\d{2}):(\d{2}):(\d{2})(?:\.(\d+))?(?:[Zz]|([+-])(\d{2}):(\d{2}))$/u;
|
|
12
24
|
export function factKind(facts) {
|
|
13
25
|
if (facts.reference !== undefined)
|
|
@@ -71,8 +83,7 @@ function factOf(value, declared, place) {
|
|
|
71
83
|
return UNREADABLE;
|
|
72
84
|
if (kind !== 'reference')
|
|
73
85
|
return { kind, value };
|
|
74
|
-
const reached = target(place.path, value) ??
|
|
75
|
-
(declared.crossRoom === true ? roomPath(value) : null);
|
|
86
|
+
const reached = target(place.path, value) ?? roomPath(value);
|
|
76
87
|
const resolved = reached === null ? undefined : place.resolve(reached);
|
|
77
88
|
if (resolved === undefined)
|
|
78
89
|
return UNREADABLE;
|
|
@@ -182,10 +193,9 @@ function documentRead({ reached, several, missing }, held) {
|
|
|
182
193
|
};
|
|
183
194
|
}
|
|
184
195
|
function readDocument(facts, path) {
|
|
185
|
-
|
|
186
|
-
|
|
187
|
-
|
|
188
|
-
return facts.type === null ? undefined : single({ kind: 'string', value: facts.type });
|
|
196
|
+
const own = tested(DOCUMENT_TESTS, path);
|
|
197
|
+
if (own !== undefined)
|
|
198
|
+
return own.read(facts, path);
|
|
189
199
|
if (path.startsWith('/sections/'))
|
|
190
200
|
return facts.sections.includes(path.slice('/sections/'.length))
|
|
191
201
|
? single({ kind: 'prose' })
|
|
@@ -196,22 +206,146 @@ function readDocument(facts, path) {
|
|
|
196
206
|
return documentRead(walked(rootOf(facts, '/members'), path.slice('/members'.length)), memberHeld);
|
|
197
207
|
return undefined;
|
|
198
208
|
}
|
|
199
|
-
function readActor(actor, path) {
|
|
200
|
-
const value = path === '/user'
|
|
201
|
-
? actor.user
|
|
202
|
-
: path === '/site'
|
|
203
|
-
? actor.site
|
|
204
|
-
: path === '/door'
|
|
205
|
-
? actor.door
|
|
206
|
-
: undefined;
|
|
207
|
-
return value === undefined ? undefined : single({ kind: 'actor', value });
|
|
208
|
-
}
|
|
209
209
|
export function datePointers(fields) {
|
|
210
210
|
return Object.entries(fields)
|
|
211
211
|
.filter(([, facts]) => facts.type === 'string' && facts.format === 'date')
|
|
212
|
-
.map(([name]) => `/fields/${name}`)
|
|
212
|
+
.map(([name]) => `/fields/${escapePointer(name)}`)
|
|
213
213
|
.sort();
|
|
214
214
|
}
|
|
215
|
+
export function valuedChange(definition, field) {
|
|
216
|
+
if (!field.startsWith('/fields/'))
|
|
217
|
+
return false;
|
|
218
|
+
const reached = pointerFacts(definition, field.slice('/fields'.length));
|
|
219
|
+
return (reached !== undefined &&
|
|
220
|
+
!reached.through &&
|
|
221
|
+
reached.facts.type !== 'array' &&
|
|
222
|
+
!reached.facts.prose &&
|
|
223
|
+
factKind(reached.facts) !== null);
|
|
224
|
+
}
|
|
225
|
+
export function changeFields(definition) {
|
|
226
|
+
return [
|
|
227
|
+
...Object.keys(definition.fields).map((name) => `/fields/${escapePointer(name)}`),
|
|
228
|
+
...Object.keys(definition.sections).map((heading) => `/sections/${heading}`),
|
|
229
|
+
];
|
|
230
|
+
}
|
|
231
|
+
export function memberPointers(definition, memberType) {
|
|
232
|
+
return Object.entries(definition.fields)
|
|
233
|
+
.filter(([, facts]) => (facts.type === 'array' ? facts.items : facts)?.reference?.includes(memberType) === true)
|
|
234
|
+
.map(([name]) => `/members/${escapePointer(name)}`);
|
|
235
|
+
}
|
|
236
|
+
function kindOperators(kind) {
|
|
237
|
+
switch (kind) {
|
|
238
|
+
case 'string':
|
|
239
|
+
return ['eq', 'in', 'prefix', 'exists'];
|
|
240
|
+
case 'boolean':
|
|
241
|
+
return ['eq', 'exists'];
|
|
242
|
+
case 'number':
|
|
243
|
+
case 'date':
|
|
244
|
+
case 'time':
|
|
245
|
+
return ['eq', 'in', 'gt', 'gte', 'lt', 'lte', 'exists'];
|
|
246
|
+
default:
|
|
247
|
+
return ['eq', 'in', 'exists'];
|
|
248
|
+
}
|
|
249
|
+
}
|
|
250
|
+
function pointerOperators({ facts, through }) {
|
|
251
|
+
const scalar = facts.type === 'array' ? facts.items : facts;
|
|
252
|
+
const kind = scalar === undefined || scalar.prose ? null : factKind(scalar);
|
|
253
|
+
if (kind === null)
|
|
254
|
+
return ['exists'];
|
|
255
|
+
if (facts.type === 'array')
|
|
256
|
+
return ['contains', 'exists'];
|
|
257
|
+
const own = kindOperators(kind);
|
|
258
|
+
return through ? [...own.filter((operator) => operator !== 'exists'), 'contains', 'exists'] : own;
|
|
259
|
+
}
|
|
260
|
+
function typeOperators(definition, path, memberType) {
|
|
261
|
+
if (path.startsWith('/sections/'))
|
|
262
|
+
return Object.hasOwn(definition.sections, path.slice('/sections/'.length)) ? ['exists'] : [];
|
|
263
|
+
const pointer = path.startsWith('/fields/')
|
|
264
|
+
? path.slice('/fields'.length)
|
|
265
|
+
: memberType !== null && memberPointers(definition, memberType).includes(path)
|
|
266
|
+
? path.slice('/members'.length)
|
|
267
|
+
: undefined;
|
|
268
|
+
const reached = pointer === undefined ? undefined : pointerFacts(definition, pointer);
|
|
269
|
+
return reached === undefined ? [] : pointerOperators(reached);
|
|
270
|
+
}
|
|
271
|
+
function envelope(path, kind, value) {
|
|
272
|
+
return {
|
|
273
|
+
path,
|
|
274
|
+
names: (named) => named === path,
|
|
275
|
+
kind,
|
|
276
|
+
operators: kindOperators(kind),
|
|
277
|
+
read: (facts) => {
|
|
278
|
+
const held = value(facts);
|
|
279
|
+
return held === null || held === undefined ? undefined : single({ kind, value: held });
|
|
280
|
+
},
|
|
281
|
+
};
|
|
282
|
+
}
|
|
283
|
+
function tested(tests, path) {
|
|
284
|
+
return tests.find(({ names }) => names(path));
|
|
285
|
+
}
|
|
286
|
+
function reader(tests, facts) {
|
|
287
|
+
return (path) => tested(tests, path)?.read(facts, path);
|
|
288
|
+
}
|
|
289
|
+
const DOCUMENT_TESTS = [
|
|
290
|
+
{
|
|
291
|
+
path: '/path',
|
|
292
|
+
names: (named) => named === '/path',
|
|
293
|
+
kind: 'string',
|
|
294
|
+
operators: ['eq', 'in', 'prefix'],
|
|
295
|
+
read: (facts) => single({ kind: 'string', value: facts.path }),
|
|
296
|
+
},
|
|
297
|
+
envelope('/type', 'enum', (facts) => facts.type),
|
|
298
|
+
];
|
|
299
|
+
const ACTOR_TESTS = [
|
|
300
|
+
envelope('/user', 'enum', (actor) => actor.user),
|
|
301
|
+
envelope('/site', 'enum', (actor) => actor.site),
|
|
302
|
+
envelope('/door', 'enum', (actor) => actor.door),
|
|
303
|
+
];
|
|
304
|
+
const ITEM_TESTS = [
|
|
305
|
+
envelope('/delivery', 'enum', (item) => item.delivery),
|
|
306
|
+
envelope('/source', 'enum', (item) => item.source),
|
|
307
|
+
envelope('/container', 'string', (item) => item.container),
|
|
308
|
+
envelope('/author', 'string', (item) => item.author),
|
|
309
|
+
{
|
|
310
|
+
path: '/headers/<lowercase name>',
|
|
311
|
+
names: (named) => HEADER.test(named),
|
|
312
|
+
kind: 'string',
|
|
313
|
+
operators: kindOperators('string'),
|
|
314
|
+
read: (item, path) => {
|
|
315
|
+
const name = path.slice('/headers/'.length);
|
|
316
|
+
return Object.hasOwn(item.headers, name)
|
|
317
|
+
? single({ kind: 'string', value: item.headers[name] })
|
|
318
|
+
: undefined;
|
|
319
|
+
},
|
|
320
|
+
},
|
|
321
|
+
{
|
|
322
|
+
path: '/json/<JSON Pointer>',
|
|
323
|
+
names: (named) => named.startsWith('/json/'),
|
|
324
|
+
kind: null,
|
|
325
|
+
operators: CONDITION_OPERATORS,
|
|
326
|
+
read: (item, path) => item.json === null ? UNREAD : jsonRead(pointed(item.json.value, path.slice('/json'.length))),
|
|
327
|
+
},
|
|
328
|
+
];
|
|
329
|
+
export const DOCUMENT_PATHS = DOCUMENT_TESTS.map(({ path }) => path);
|
|
330
|
+
export const ACTOR_PATHS = ACTOR_TESTS.map(({ path }) => path);
|
|
331
|
+
export const ITEM_PATHS = ITEM_TESTS.map(({ path }) => path);
|
|
332
|
+
export function testOperators(definitions, path, memberType) {
|
|
333
|
+
const own = tested(DOCUMENT_TESTS, path);
|
|
334
|
+
if (own !== undefined)
|
|
335
|
+
return own.operators;
|
|
336
|
+
return [
|
|
337
|
+
...new Set(definitions.flatMap((definition) => typeOperators(definition, path, memberType))),
|
|
338
|
+
];
|
|
339
|
+
}
|
|
340
|
+
export function actorOperators(path) {
|
|
341
|
+
return tested(ACTOR_TESTS, path)?.operators ?? [];
|
|
342
|
+
}
|
|
343
|
+
export function itemOperators(path) {
|
|
344
|
+
return tested(ITEM_TESTS, path)?.operators ?? [];
|
|
345
|
+
}
|
|
346
|
+
export function itemKind(path) {
|
|
347
|
+
return tested(ITEM_TESTS, path)?.kind ?? null;
|
|
348
|
+
}
|
|
215
349
|
export function dated(value) {
|
|
216
350
|
return (typeof value === 'string' && DATE.test(value) && instant(`${value}T00:00:00Z`) !== undefined);
|
|
217
351
|
}
|
|
@@ -240,11 +374,8 @@ export function instant(value) {
|
|
|
240
374
|
return (BigInt(at.getTime()) - BigInt(offset) * 60000n) * 1000000n + BigInt(fraction);
|
|
241
375
|
}
|
|
242
376
|
export function pointed(value, pointer) {
|
|
243
|
-
if (pointer === '')
|
|
244
|
-
return value;
|
|
245
377
|
let reached = value;
|
|
246
|
-
for (const
|
|
247
|
-
const token = part.replaceAll('~1', '/').replaceAll('~0', '~');
|
|
378
|
+
for (const token of pointerSegments(pointer)) {
|
|
248
379
|
if (Array.isArray(reached)) {
|
|
249
380
|
if (!ARRAY_INDEX.test(token))
|
|
250
381
|
return undefined;
|
|
@@ -283,31 +414,6 @@ function jsonRead(value) {
|
|
|
283
414
|
return single({ kind: 'prose' });
|
|
284
415
|
return { present: true, values: [], items: value.filter(scalar).map(jsonHeld), loose: true };
|
|
285
416
|
}
|
|
286
|
-
function readItem(item, path) {
|
|
287
|
-
if (path.startsWith('/json/')) {
|
|
288
|
-
if (item.json === null)
|
|
289
|
-
return UNREAD;
|
|
290
|
-
return jsonRead(pointed(item.json.value, path.slice('/json'.length)));
|
|
291
|
-
}
|
|
292
|
-
if (path.startsWith('/headers/')) {
|
|
293
|
-
const name = path.slice('/headers/'.length);
|
|
294
|
-
return Object.hasOwn(item.headers, name)
|
|
295
|
-
? single({ kind: 'string', value: item.headers[name] })
|
|
296
|
-
: undefined;
|
|
297
|
-
}
|
|
298
|
-
if (path === '/has_attachment')
|
|
299
|
-
return single({ kind: 'boolean', value: item.has_attachment });
|
|
300
|
-
const value = path === '/delivery'
|
|
301
|
-
? item.delivery
|
|
302
|
-
: path === '/source'
|
|
303
|
-
? item.source
|
|
304
|
-
: path === '/container'
|
|
305
|
-
? item.container
|
|
306
|
-
: path === '/author'
|
|
307
|
-
? item.author
|
|
308
|
-
: null;
|
|
309
|
-
return value === null ? undefined : single({ kind: 'string', value });
|
|
310
|
-
}
|
|
311
417
|
function equal(held, value) {
|
|
312
418
|
if (!('value' in held))
|
|
313
419
|
return undefined;
|
|
@@ -486,8 +592,10 @@ function fieldChanged(condition, event) {
|
|
|
486
592
|
return true;
|
|
487
593
|
}
|
|
488
594
|
export function fires(condition, event) {
|
|
489
|
-
if (condition.
|
|
490
|
-
|
|
595
|
+
if (condition.moved_between_rooms !== undefined &&
|
|
596
|
+
condition.moved_between_rooms !== event.moved_between_rooms)
|
|
597
|
+
return false;
|
|
598
|
+
if (condition.by !== undefined && evaluated(condition.by, reader(ACTOR_TESTS, event.by)) !== true)
|
|
491
599
|
return false;
|
|
492
600
|
if (condition.mode === 'starts_matching') {
|
|
493
601
|
if (event.before === null && !condition.new_documents)
|
|
@@ -503,6 +611,5 @@ export function itemFires(condition, item) {
|
|
|
503
611
|
return false;
|
|
504
612
|
if (condition.address !== undefined && item.address !== condition.address)
|
|
505
613
|
return false;
|
|
506
|
-
return (condition.match === undefined ||
|
|
507
|
-
evaluated(condition.match, (path) => readItem(item, path)) === true);
|
|
614
|
+
return (condition.match === undefined || evaluated(condition.match, reader(ITEM_TESTS, item)) === true);
|
|
508
615
|
}
|
package/dist/definition.d.ts
CHANGED
|
@@ -60,6 +60,7 @@ export declare const JSON_TYPES: readonly JsonType[];
|
|
|
60
60
|
export declare const BUILT_IN_TYPE = "any";
|
|
61
61
|
export declare const ATTACHMENT = "attachment";
|
|
62
62
|
export declare const ARRAY_INDEX: RegExp;
|
|
63
|
+
export declare const JSON_POINTER: RegExp;
|
|
63
64
|
export declare function escapePointer(key: string): string;
|
|
64
65
|
export declare function pointerSegments(pointer: string): string[];
|
|
65
66
|
export declare function refTarget(reference: string, defs: Readonly<Record<string, unknown>>): {
|
|
@@ -77,5 +78,5 @@ export type PointerFacts = {
|
|
|
77
78
|
export declare function crossedFacts(facts: ValueFacts): ValueFacts[];
|
|
78
79
|
export declare function fieldFacts(definition: Definition, key: string): ValueFacts | undefined;
|
|
79
80
|
export declare function pointerFacts(definition: Definition, pointer: string): PointerFacts | undefined;
|
|
80
|
-
export declare function readSchema(text: string): VerifiedModel | Failure;
|
|
81
|
+
export declare function readSchema(text: string, provided?: VerifiedModel): VerifiedModel | Failure;
|
|
81
82
|
//# sourceMappingURL=definition.d.ts.map
|
package/dist/definition.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGhD,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;AAEjG,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEtF,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAEzD,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAc5E,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EAQzC,CAAC;AAEF,eAAO,MAAM,aAAa,QAAQ,CAAC;AAEnC,eAAO,MAAM,UAAU,eAAe,CAAC;
|
|
1
|
+
{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGhD,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;AAEjG,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEtF,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAEzD,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAc5E,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EAQzC,CAAC;AAEF,eAAO,MAAM,aAAa,QAAQ,CAAC;AAEnC,eAAO,MAAM,UAAU,eAAe,CAAC;AA6BvC,eAAO,MAAM,WAAW,QAAyB,CAAC;AAElD,eAAO,MAAM,YAAY,QAA+B,CAAC;AAYzD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEjD;AAMD,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAEzD;AAED,wBAAgB,SAAS,CACvB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,SAAS,CAoC/D;AAwaD,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,UAAU,CAE7F;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAElF;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAKlF;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,EAAE,CAK5D;AAED,wBAAgB,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAItF;AAqBD,wBAAgB,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAc9F;AAuQD,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,aAAwB,GACjC,aAAa,GAAG,OAAO,CAsCzB"}
|