@agentshouse/mdmodel 0.1.0-c5a71fe539a49 → 0.1.0-c64451b2127b4
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 +164 -108
- package/dist/blocks.d.ts.map +1 -1
- package/dist/blocks.js +31 -17
- package/dist/condition.d.ts +19 -6
- package/dist/condition.d.ts.map +1 -1
- package/dist/condition.js +218 -110
- package/dist/definition.d.ts +9 -0
- package/dist/definition.d.ts.map +1 -1
- package/dist/definition.js +52 -3
- package/dist/document.d.ts +4 -8
- package/dist/document.d.ts.map +1 -1
- package/dist/document.js +59 -22
- package/dist/fields.d.ts +2 -0
- package/dist/fields.d.ts.map +1 -1
- package/dist/fields.js +7 -0
- package/dist/index.d.ts +8 -6
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +5 -4
- package/dist/links.d.ts +1 -0
- package/dist/links.d.ts.map +1 -1
- package/dist/links.js +1 -1
- package/dist/paths.d.ts +1 -0
- package/dist/paths.d.ts.map +1 -1
- package/dist/paths.js +92 -12
- package/dist/schema.js +2 -2
- package/dist/types.d.ts +7 -0
- package/dist/types.d.ts.map +1 -1
- package/dist/validate.d.ts.map +1 -1
- package/dist/validate.js +26 -30
- package/dist/yaml.d.ts +7 -3
- package/dist/yaml.d.ts.map +1 -1
- package/dist/yaml.js +72 -43
- package/fixtures/README.md +1 -1
- package/fixtures/cases/absent-link-dangles/context.json +1 -0
- package/fixtures/cases/absent-link-dangles/expected.json +1 -0
- package/fixtures/cases/absent-link-dangles/library/item.md +8 -0
- package/fixtures/cases/absent-link-dangles/schema.yaml +6 -0
- package/fixtures/cases/absolute-link/context.json +1 -0
- package/fixtures/cases/{missing-binary-image → absolute-link}/expected.json +1 -1
- package/fixtures/cases/absolute-link/library/item.md +8 -0
- package/fixtures/cases/absolute-link/schema.yaml +6 -0
- package/fixtures/cases/binary-image-dangles/expected.json +1 -0
- package/fixtures/cases/binary-link-dangles/expected.json +1 -0
- package/fixtures/cases/quoted-link-definition/library/notes/draft.md +1 -1
- package/fixtures/cases/shortcut-reference-link/library/item.md +1 -1
- package/fixtures/cases/truncated-link-definition/library/notes/draft.md +1 -1
- package/fixtures/cases/unresolved-link/library/item.md +1 -1
- package/package.json +4 -2
- package/fixtures/cases/missing-binary-link/expected.json +0 -5
- /package/fixtures/cases/{missing-binary-image → binary-image-dangles}/context.json +0 -0
- /package/fixtures/cases/{missing-binary-image → binary-image-dangles}/library/notes/draft.md +0 -0
- /package/fixtures/cases/{missing-binary-image → binary-image-dangles}/schema.yaml +0 -0
- /package/fixtures/cases/{missing-binary-link → binary-link-dangles}/context.json +0 -0
- /package/fixtures/cases/{missing-binary-link → binary-link-dangles}/library/notes/draft.md +0 -0
- /package/fixtures/cases/{missing-binary-link → binary-link-dangles}/schema.yaml +0 -0
package/API.md
CHANGED
|
@@ -38,6 +38,9 @@ if (parsed.ok) {
|
|
|
38
38
|
}
|
|
39
39
|
```
|
|
40
40
|
|
|
41
|
+
`MARKDOWN_SYNTAX_PROFILE` is the Markdown every reader here applies, GitHub Flavored Markdown
|
|
42
|
+
0.29, and `VERSION` is the MD model version.
|
|
43
|
+
|
|
41
44
|
`verify(schema)` reads one schema text, the MD Types of one Room or App: one
|
|
42
45
|
JSON Schema document (draft 2020-12) in the YAML subset. Every top-level key but
|
|
43
46
|
`$defs` names an MD Type holding the JSON Schema of its frontmatter; `$defs`
|
|
@@ -67,11 +70,15 @@ its `frontmatter` and `fields`, its top-level ones: JSON `type`, `format`,
|
|
|
67
70
|
`values`, `reference` targets, `items`, `properties`, an open map's `patterns`
|
|
68
71
|
and `additional`, and `prose`, a string with no `enum`, `const`, `format`,
|
|
69
72
|
`pattern` or `reference`. Facts join `$ref` and `allOf` to their siblings and
|
|
70
|
-
the variants of `anyOf`, `oneOf`, `then`, `else` and `dependentSchemas
|
|
71
|
-
without one `type`, `null` aside, has
|
|
72
|
-
whole, naming its `rule`, the keyword or the
|
|
73
|
-
`location` it concerns, such as
|
|
74
|
-
outside the YAML subset.
|
|
73
|
+
the variants of `anyOf`, `oneOf`, `then`, `else` and `dependentSchemas`, a
|
|
74
|
+
variant's own keys `conditional`; a path without one `type`, `null` aside, has
|
|
75
|
+
none. A malformed schema is refused whole, naming its `rule`, the keyword or the
|
|
76
|
+
model's own, and the JSON Pointer `location` it concerns, such as
|
|
77
|
+
`/plan/properties/status/enum`, or `line <n>` outside the YAML subset.
|
|
78
|
+
`pointerFacts(definition, pointer)` reads the facts a frontmatter pointer reaches,
|
|
79
|
+
`itemFacts` and `memberFacts` take one step and `crossedFacts` reads a list's item
|
|
80
|
+
facts; `pointerSegments` and `escapePointer` split and write a pointer, `ARRAY_INDEX`
|
|
81
|
+
matches an index segment, and `ATTACHMENT` is the `reference` that admits any path.
|
|
75
82
|
|
|
76
83
|
`validate(library, context?, model?)` takes the resulting text Library and one
|
|
77
84
|
`ValidationContext` of `binaryTargets: readonly string[]`, none when omitted.
|
|
@@ -85,36 +92,40 @@ collection is `unresolved-link`. A binary target supplies no Document or MD Type
|
|
|
85
92
|
verified schema that types the Library, and every Library member is content,
|
|
86
93
|
whatever its Path. Without `model` the Library declares no type.
|
|
87
94
|
|
|
88
|
-
A typed Document's frontmatter satisfies its type's schema, every keyword with
|
|
89
|
-
|
|
90
|
-
an
|
|
91
|
-
`
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
|
|
117
|
-
|
|
95
|
+
A typed Document's frontmatter satisfies its type's schema, every keyword with its JSON Schema
|
|
96
|
+
meaning, formats asserted and defaults never filled, except that an object schema declaring neither
|
|
97
|
+
`additionalProperties` nor `unevaluatedProperties` is closed: an undeclared key is refused as
|
|
98
|
+
`undeclared- field`. `TYPE_FIELD`, `SITE_FIELD` and `RECEIVED_FIELD` count as declared on every
|
|
99
|
+
type, and the string `MEMBER_FIELD` on the `member_document` type; `HOUSE_FIELDS` lists the four. A
|
|
100
|
+
refusal names the keyword, such as `required`, and the value's JSON Pointer, such as
|
|
101
|
+
`/shipping/city`. Every occurrence of a declared list section is a list of values of its item
|
|
102
|
+
schema, else `structured-section`; a reference item is one ordinary link alone, such as
|
|
103
|
+
`- [Ada](ada.md)`. A reference, at any depth or a section item, reaching a URL, a binary target, or a
|
|
104
|
+
Document of a type it does not name is `unresolved-reference`, and a frontmatter one reaching no
|
|
105
|
+
member is `referenced-missing-file` naming its `referrers`; `attachment` admits any path, and no
|
|
106
|
+
body link is a referrer.
|
|
107
|
+
|
|
108
|
+
Validation returns acceptance or one refusal naming the file, the field or section, and the violated
|
|
109
|
+
rule. `parse`, `apply`, and `serialize` operate on a single text Document; they do not validate
|
|
110
|
+
collection membership or consume binary bytes. `apply` sets one typed field, including a list or an
|
|
111
|
+
object as a whole, replaces one existing section body or the preamble against that value's prior
|
|
112
|
+
content, or rewrites one Markdown link destination. A section need not be declared by the Document's
|
|
113
|
+
MD Type to be replaced. A section or preamble replacement that would hide a section the Document
|
|
114
|
+
carried behind a repeated, merged or fenced heading is refused as `overlapping-section` naming that
|
|
115
|
+
section. A field change does not reformat the rest of the file: an inline value is replaced where it
|
|
116
|
+
stands, and a value written after the key's line, an empty one or a block mapping or list, is
|
|
117
|
+
written after the key's colon in its place. A field holds a `FrontmatterValue`: null, a string, a
|
|
118
|
+
boolean, a finite number, a list without holes or a plain object of them, holding no cycle.
|
|
119
|
+
`frontmatterValue(value)` is that test, and `apply` refuses any other value as `frontmatter-fence`;
|
|
120
|
+
`equalValue(left, right)` compares two by value, whatever their key order, as `apply` compares a
|
|
121
|
+
field with its prior.
|
|
122
|
+
|
|
123
|
+
`Document.preamble` is a readonly string containing the exact source after frontmatter and before
|
|
124
|
+
the first section heading recognized by the existing section parser. Without a section it is the
|
|
125
|
+
entire post-frontmatter body; without frontmatter it starts at the beginning of the Document. An
|
|
126
|
+
empty span is `''`. It includes whitespace, newlines, a leading H1, and any fenced text before the
|
|
127
|
+
first section. The closing frontmatter delimiter and its line ending belong to frontmatter. Section
|
|
128
|
+
recognition and the syntax profile are unchanged.
|
|
118
129
|
|
|
119
130
|
```ts
|
|
120
131
|
const parsed = parse(content);
|
|
@@ -129,68 +140,65 @@ if (parsed.ok) {
|
|
|
129
140
|
}
|
|
130
141
|
```
|
|
131
142
|
|
|
132
|
-
`apply(document, { kind: 'preamble', prior, value })` compares `prior` to the
|
|
133
|
-
|
|
134
|
-
|
|
135
|
-
|
|
136
|
-
and
|
|
137
|
-
and
|
|
138
|
-
|
|
139
|
-
|
|
140
|
-
|
|
141
|
-
|
|
142
|
-
|
|
143
|
-
|
|
144
|
-
|
|
145
|
-
|
|
146
|
-
|
|
147
|
-
|
|
148
|
-
`
|
|
149
|
-
|
|
150
|
-
|
|
151
|
-
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
|
|
156
|
-
|
|
157
|
-
|
|
158
|
-
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
|
|
162
|
-
|
|
163
|
-
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
|
|
167
|
-
|
|
168
|
-
|
|
169
|
-
|
|
170
|
-
|
|
171
|
-
|
|
172
|
-
|
|
173
|
-
destination
|
|
174
|
-
|
|
175
|
-
|
|
176
|
-
`/rooms/` as `unresolved-link`.
|
|
143
|
+
`apply(document, { kind: 'preamble', prior, value })` compares `prior` to the current preamble
|
|
144
|
+
exactly. A mismatch returns `{ outcome: 'stale', document }` with the unchanged current Document. A
|
|
145
|
+
match replaces only that source span, then parses a new immutable Document; the original is
|
|
146
|
+
unchanged. Frontmatter and section source outside the span retain their exact bytes, including
|
|
147
|
+
newline and heading syntax. As with section replacement, `value` is literal source: no newline or
|
|
148
|
+
separator is inserted, and the resulting source is parsed again. An invalid frontmatter result
|
|
149
|
+
receives the existing parse refusal. Independent field, section, and preamble edits keep their own
|
|
150
|
+
prior values valid.
|
|
151
|
+
|
|
152
|
+
For a moved link, use `links` and the `link` change below to obtain the rewritten Document, then
|
|
153
|
+
compare its public `preamble` and `sections` to the original. Submit the changed values with their
|
|
154
|
+
original priors. Consumers need no source span calculation or private Model import. Collection
|
|
155
|
+
validation remains a separate call against the resulting Library.
|
|
156
|
+
|
|
157
|
+
`links(document, file)` is the inventory of that Document's ordinary link and image destinations
|
|
158
|
+
that resolve to a collection Path, each with the destination `href` exactly as written and the
|
|
159
|
+
`target` Path it resolves to relative to `file`. A `?query` or `#fragment` the destination carries
|
|
160
|
+
is part of `href` and not part of `target`. Entries are ordered by the position of the destination
|
|
161
|
+
text a rewrite would change, and one destination written the same way appears once however many
|
|
162
|
+
times it occurs. A destination that the syntax profile does not read as a link, one that is empty,
|
|
163
|
+
a bare fragment, or carries a URL scheme, and one that leaves the collection are not in the
|
|
164
|
+
inventory. Frontmatter field values, including typed references, are not link destinations and
|
|
165
|
+
are never enumerated.
|
|
166
|
+
|
|
167
|
+
`target(file, href)` is the collection Path one written destination resolves to relative to `file`,
|
|
168
|
+
by the rule `links` and `validate` read: surrounding spaces and the `?query` or `#fragment` it
|
|
169
|
+
carries are not part of that Path. It reads backslash escapes and character references, strips as a
|
|
170
|
+
URL does, then percent-encodings, so `plan\.md`, `plan.md` and `pl%61n.md` all name `plan.md`;
|
|
171
|
+
an escaped or referenced `?` or `#` starts the suffix. A destination that is empty, a bare fragment,
|
|
172
|
+
carries a URL scheme, starts at `/` once read, encodes no UTF-8 text, or leaves the collection
|
|
173
|
+
resolves to `null`. It reads a destination written anywhere, such as a typed reference field value,
|
|
174
|
+
which `links` never enumerates. `retarget(href, to)` is that destination rewritten to `to`, keeping
|
|
175
|
+
the `?query` or `#fragment` it carried, which is the destination the `link` change below writes. It
|
|
176
|
+
percent-encodes in `to` what `target` would decode, so it resolves to `to` again.
|
|
177
|
+
|
|
178
|
+
`references(document, definition)` lists each frontmatter `reference` string at any depth as
|
|
179
|
+
`pointer`, `value` and `to`; `apply(document, { kind: 'reference', pointer, value, prior })`
|
|
180
|
+
rewrites one in place, keeping its quotes, or is `stale`. `relativize(document, file, handle,
|
|
181
|
+
definition?)` rewrites each link destination and reference written `/rooms/<handle>/<path>` to
|
|
182
|
+
`relative(file, path)`, keeping its `?query` or `#fragment`. A text without frontmatter, such as
|
|
183
|
+
a captured body, is read from its first character: `relativizeBody(body, file, handle)` converts
|
|
184
|
+
it so, refusing a destination left under `/rooms/` as `unresolved-link`; `bodyLinks(body, file)`
|
|
185
|
+
is its `links`; `relinkBody(body, file, moves)` writes, in one pass, each destination whose Path
|
|
186
|
+
is a key of `moves` as relative to its value, in the form the `link` change below writes.
|
|
177
187
|
|
|
178
188
|
```ts
|
|
179
189
|
target('items/six.md', ' ../projects/atlas.md#overview '); // 'projects/atlas.md'
|
|
180
190
|
retarget(' ../projects/atlas.md#overview ', '../archive/atlas.md'); // '../archive/atlas.md#overview'
|
|
181
191
|
```
|
|
182
192
|
|
|
183
|
-
`apply(document, { kind: 'link', href, to })` rewrites every body occurrence of
|
|
184
|
-
|
|
185
|
-
|
|
186
|
-
|
|
187
|
-
|
|
188
|
-
|
|
189
|
-
|
|
190
|
-
|
|
191
|
-
|
|
192
|
-
inside angle brackets, which the original form is kept in when it still fits. A
|
|
193
|
-
destination that neither form can carry is refused as `unwritable-link`.
|
|
193
|
+
`apply(document, { kind: 'link', href, to })` rewrites every body occurrence of that written
|
|
194
|
+
destination and changes nothing else, so a caller that moves a Path rewrites its referring
|
|
195
|
+
Documents without a second Markdown parser. `to` is the Path the destination must resolve to
|
|
196
|
+
instead; the `?query` or `#fragment` the written destination carried is not part of that Path and
|
|
197
|
+
is kept. A Document that does not carry the destination is `stale`. A reference definition is
|
|
198
|
+
rewritten once however many uses name it. The destination is written in the form the syntax
|
|
199
|
+
profile reads back: bare when it carries no whitespace, does not open with `<`, and balances its
|
|
200
|
+
parentheses, otherwise inside angle brackets, which the original form is kept in when it still
|
|
201
|
+
fits. A destination that neither form can carry is refused as `unwritable-link`.
|
|
194
202
|
|
|
195
203
|
`project(document, file, context?)` is the Embedding projection input of one
|
|
196
204
|
Document: the prose a consumer embeds, with every internal Markdown-document
|
|
@@ -273,23 +281,19 @@ caller's number alone: the model holds no tokenizer, counts nothing else, and
|
|
|
273
281
|
refuses no input for being too long. A Document the caller supplies no
|
|
274
282
|
definition for carries the same `unknown-type` refusal `project` returns.
|
|
275
283
|
|
|
276
|
-
The division descends one level at a time, and only into the piece that does not
|
|
277
|
-
|
|
278
|
-
|
|
279
|
-
inside a single
|
|
280
|
-
|
|
281
|
-
|
|
282
|
-
|
|
283
|
-
|
|
284
|
-
heading
|
|
285
|
-
|
|
286
|
-
|
|
287
|
-
|
|
288
|
-
|
|
289
|
-
sentence level alone, where each Span after the first repeats its predecessor's
|
|
290
|
-
last sentence whenever the budget holds both; when it cannot hold both, the
|
|
291
|
-
Span carries its own sentence alone. An untyped input arrives without a
|
|
292
|
-
definition and descends the same ladder.
|
|
284
|
+
The division descends one level at a time, and only into the piece that does not fit: the whole
|
|
285
|
+
input, a heading node, adjacent sibling nodes packed under one parent, adjacent blocks inside a
|
|
286
|
+
node, sentences inside a block, and a bound cut inside a single sentence. A Span covers whole
|
|
287
|
+
heading nodes or one contiguous piece inside a single node, never a partial node beside another. A
|
|
288
|
+
Span that continues a node repeats that node's own heading line, projected like any other text and
|
|
289
|
+
so carrying an internal link's label rather than its destination, and never an ancestor's heading,
|
|
290
|
+
so renaming a heading costs what editing that heading's own body costs. A heading the budget cannot
|
|
291
|
+
hold beside any text is not repeated, a continuation piece that begins with an astral character the
|
|
292
|
+
room beside its heading cannot hold is carried without the heading, and a heading with no body of
|
|
293
|
+
its own leads its first child node rather than standing as a Span of nothing but itself. Overlap
|
|
294
|
+
exists at the sentence level alone, where each Span after the first repeats its predecessor's last
|
|
295
|
+
sentence whenever the budget holds both; when it cannot hold both, the Span carries its own sentence
|
|
296
|
+
alone. An untyped input arrives without a definition and descends the same ladder.
|
|
293
297
|
|
|
294
298
|
Division is total: every authored character of the input belongs to at least one
|
|
295
299
|
Span, and an input carrying no authored text divides into no Span at all. A
|
|
@@ -301,3 +305,55 @@ author quoted. A Span divided out of one free-text field value addresses that
|
|
|
301
305
|
whole value, because a YAML scalar's own positions are the only ones its source
|
|
302
306
|
has, and a Span carrying part of one internal link's label addresses that whole
|
|
303
307
|
link, because a cut never falls inside link syntax.
|
|
308
|
+
|
|
309
|
+
## Conditions
|
|
310
|
+
|
|
311
|
+
`facts(document, { id, path }, model, resolve)` reads one Document as the `DocumentFacts` a
|
|
312
|
+
condition tests: its `id`, its `path` with a leading `/`, its `type` or `null`, its `sections`, and
|
|
313
|
+
a `Fact` for each frontmatter field it writes that its MD Type declares. `factKind(facts)` names
|
|
314
|
+
the kind a declared value compares as: `reference`, `enum`, `number`, `boolean`, `date`, `time`
|
|
315
|
+
(a `date-time`) or `string`, else `null`. A prose value, or one of no kind, is `prose`, a list or
|
|
316
|
+
an object holds the facts of its members, and a value written `null` is `null`. A value that does
|
|
317
|
+
not fit its kind, such as a string in a number field, a value outside its `enum` or a reference
|
|
318
|
+
`resolve` maps to no `{ id, member? }`, is `unreadable`; a readable reference compares as that `id`.
|
|
319
|
+
|
|
320
|
+
`holds(test, facts, owner)` is `true`, `false` or `undefined`, unknown; a Trigger fires on `true`
|
|
321
|
+
alone. A test's `path` is `/path`, `/type`, `/sections/<heading>`, `/fields/<pointer>`, or
|
|
322
|
+
`/members/<pointer>`, the member of the Document a reference field reaches. A pointer segment that
|
|
323
|
+
is not an index reads every item of a list, an item lacking it unknown, and a test over several
|
|
324
|
+
values holds as `any` does. The value `{ owner: true }` stands for `owner`, a User id.
|
|
325
|
+
|
|
326
|
+
| The path reaches | `exists` | `contains` | any other test |
|
|
327
|
+
| --------------------------------------- | ----------- | -------------- | -------------- |
|
|
328
|
+
| a value | present | `undefined` | compared |
|
|
329
|
+
| `null`, prose or a section | present | `undefined` | `undefined` |
|
|
330
|
+
| a list | present | `any` of items | `undefined` |
|
|
331
|
+
| no item, through an empty list | absent | `false` | `false` |
|
|
332
|
+
| nothing: no such field, section or type | absent | `undefined` | `undefined` |
|
|
333
|
+
| only unreadable values | `undefined` | `undefined` | `undefined` |
|
|
334
|
+
|
|
335
|
+
`exists: true` holds where present and fails where absent, `exists: false` the reverse. `all` is
|
|
336
|
+
`false` if a part is, else `undefined` if a part is; `any` is `true` if a part is, else `undefined`
|
|
337
|
+
if a part is; `not` keeps `undefined`, so absence is tested with `exists`, never with `not`. `eq`
|
|
338
|
+
and `in` are `undefined` against a value of another JSON type and compare a `time` as an instant;
|
|
339
|
+
`prefix` reads only a string, never a reference or a member; `gt`, `gte`, `lt` and `lte` order
|
|
340
|
+
numbers, dates and times alone.
|
|
341
|
+
|
|
342
|
+
`fires(condition, event, owner)` reads one change, `{ before, after, changed, by }`: the facts of
|
|
343
|
+
each side, `null` on the side a creation or a deletion lacks, the `changed` paths whose prose
|
|
344
|
+
changed, and the actor whose `/user`, `/site` and `/door`, one of `WRITE_DOORS`, a `by` test reads.
|
|
345
|
+
`starts_matching` fires when the Document is in `scope` and holds `match` after the change and did
|
|
346
|
+
not before; a creation fires only with `new_documents: true`, and a deletion never fires.
|
|
347
|
+
`field_changes` fires when the side the Document has, after or for a deletion before, is in `scope`
|
|
348
|
+
and holds `match`, and `field` changed: its facts differ, or with neither `from` nor `to` `changed`
|
|
349
|
+
names it. A field absent on both sides never fires; `from: 'new'` admits only a creation and
|
|
350
|
+
`to: 'deleted'` only a deletion, and listed values need that side to hold `field` `in` them.
|
|
351
|
+
|
|
352
|
+
`itemFires(condition, item, owner)` compares `source` and `address` where given and holds `match`
|
|
353
|
+
over `/delivery`, `/source`, `/provider`, `/container`, `/author`, `/has_attachment`,
|
|
354
|
+
`/headers/<name>` and `/json/<pointer>`, unknown for an item with no JSON. `prosePaths(facts)` lists
|
|
355
|
+
the prose and section paths whose text builds `changed`; `pointed(value, pointer)` reads a JSON
|
|
356
|
+
Pointer, `undefined` where nothing is; `dated(value)` checks a `YYYY-MM-DD` date, and
|
|
357
|
+
`instant(value)` reads an RFC 3339 time with its offset as epoch nanoseconds, a `bigint`.
|
|
358
|
+
`datePointers(fields)` lists, sorted, the `/fields/<name>` pointers of a type's date fields, the
|
|
359
|
+
only values a `DateCondition`'s `date` takes.
|
package/dist/blocks.d.ts.map
CHANGED
|
@@ -1 +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;
|
|
1
|
+
{"version":3,"file":"blocks.d.ts","sourceRoot":"","sources":["../src/blocks.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAqCF,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,WAAW,EAAE,CA+BrF;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAe/E"}
|
package/dist/blocks.js
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { fenceSpans } from './links.js';
|
|
2
|
-
const HEADING = /^(#{1,6})(?!#)[ \t]+(.+?)[ \t]
|
|
2
|
+
const HEADING = /^(#{1,6})(?!#)[ \t]+(.+?)(?:[ \t]+#+)?[ \t]*$/;
|
|
3
3
|
function lineAt(content, from, to) {
|
|
4
4
|
const nl = content.indexOf('\n', from);
|
|
5
5
|
const end = nl === -1 || nl >= to ? to : nl;
|
|
@@ -23,24 +23,38 @@ function scan(content, from, to, visit) {
|
|
|
23
23
|
i = next;
|
|
24
24
|
}
|
|
25
25
|
}
|
|
26
|
+
const HASH = 0x23;
|
|
26
27
|
export function headingLines(content, from, to) {
|
|
27
28
|
const found = [];
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
const
|
|
32
|
-
const
|
|
33
|
-
const
|
|
34
|
-
if (
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
29
|
+
let fences = null;
|
|
30
|
+
let i = from;
|
|
31
|
+
while (i < to) {
|
|
32
|
+
const nl = content.indexOf('\n', i);
|
|
33
|
+
const end = nl === -1 || nl >= to ? to : nl;
|
|
34
|
+
const next = end === to ? to : end + 1;
|
|
35
|
+
if (content.charCodeAt(i) === HASH) {
|
|
36
|
+
fences ??= fenceSpans(content.slice(from, to));
|
|
37
|
+
const at = i - from;
|
|
38
|
+
if (!fences.some(([start, stop]) => at >= start && at < stop)) {
|
|
39
|
+
const { text } = lineAt(content, i, to);
|
|
40
|
+
const match = HEADING.exec(text);
|
|
41
|
+
const hashes = match?.[1];
|
|
42
|
+
const name = match?.[2];
|
|
43
|
+
if (hashes !== undefined && name !== undefined) {
|
|
44
|
+
found.push({
|
|
45
|
+
level: hashes.length,
|
|
46
|
+
name: name.trim(),
|
|
47
|
+
start: i,
|
|
48
|
+
textEnd: i + text.length,
|
|
49
|
+
next,
|
|
50
|
+
});
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
}
|
|
54
|
+
if (next === i)
|
|
55
|
+
break;
|
|
56
|
+
i = next;
|
|
57
|
+
}
|
|
44
58
|
return found;
|
|
45
59
|
}
|
|
46
60
|
export function blockRanges(content, from, to) {
|
package/dist/condition.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import type
|
|
1
|
+
import { type ValueFacts } from './definition.js';
|
|
2
2
|
import type { Document, VerifiedModel } from './types.js';
|
|
3
3
|
export type ConditionValue = string | number | boolean | {
|
|
4
4
|
readonly owner: true;
|
|
@@ -77,18 +77,30 @@ export type DateCondition = {
|
|
|
77
77
|
};
|
|
78
78
|
export type Condition = DocumentCondition | ItemCondition | CronCondition | DateCondition;
|
|
79
79
|
export type FactKind = 'string' | 'number' | 'boolean' | 'date' | 'time' | 'enum' | 'reference';
|
|
80
|
+
type Scalar = string | number | boolean;
|
|
80
81
|
export type Fact = {
|
|
81
82
|
readonly kind: FactKind;
|
|
82
|
-
readonly value: Scalar
|
|
83
|
+
readonly value: Scalar;
|
|
84
|
+
readonly member?: string;
|
|
85
|
+
} | {
|
|
86
|
+
readonly kind: 'prose';
|
|
87
|
+
} | {
|
|
88
|
+
readonly kind: 'null';
|
|
89
|
+
} | {
|
|
90
|
+
readonly kind: 'unreadable';
|
|
91
|
+
} | {
|
|
92
|
+
readonly kind: 'list';
|
|
93
|
+
readonly items: readonly Fact[];
|
|
94
|
+
} | {
|
|
95
|
+
readonly kind: 'object';
|
|
96
|
+
readonly fields: Readonly<Record<string, Fact>>;
|
|
83
97
|
};
|
|
84
98
|
export type DocumentFacts = {
|
|
85
99
|
readonly id: string;
|
|
86
100
|
readonly path: string;
|
|
87
101
|
readonly type: string | null;
|
|
88
102
|
readonly fields: Readonly<Record<string, Fact>>;
|
|
89
|
-
readonly
|
|
90
|
-
readonly prose: readonly string[];
|
|
91
|
-
readonly unreadable: readonly string[];
|
|
103
|
+
readonly sections: readonly string[];
|
|
92
104
|
};
|
|
93
105
|
export declare const WRITE_DOORS: readonly ['browser', 'agent', 'client'];
|
|
94
106
|
export type WriteDoor = (typeof WRITE_DOORS)[number];
|
|
@@ -121,12 +133,13 @@ export type Resolved = {
|
|
|
121
133
|
readonly member?: string;
|
|
122
134
|
};
|
|
123
135
|
type Truth = boolean | undefined;
|
|
124
|
-
type Scalar = string | number | boolean;
|
|
125
136
|
export declare function factKind(facts: ValueFacts): FactKind | null;
|
|
126
137
|
export declare function facts(document: Document, at: {
|
|
127
138
|
readonly id: string;
|
|
128
139
|
readonly path: string;
|
|
129
140
|
}, model: VerifiedModel, resolve: (target: string) => Resolved | undefined): DocumentFacts;
|
|
141
|
+
export declare function prosePaths(facts: DocumentFacts): string[];
|
|
142
|
+
export declare function datePointers(fields: Readonly<Record<string, ValueFacts>>): string[];
|
|
130
143
|
export declare function dated(value: unknown): value is string;
|
|
131
144
|
export declare function instant(value: unknown): bigint | undefined;
|
|
132
145
|
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,KAAK,
|
|
1
|
+
{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,KAAK,UAAU,EAChB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG1D,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC;AAElF,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;CAAE,GAC/B,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,CACzB;IAAE,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;CAAE,GACrC;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAC9B,CAAC,CAAC;AAEP,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,CAAC,iBAAiB,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B,CAAC,GACF,CAAC,iBAAiB,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,cAAc,EAAE,GAAG,KAAK,CAAC;IAClD,QAAQ,CAAC,EAAE,CAAC,EAAE,SAAS,cAAc,EAAE,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC,CAAC;AAEP,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,iBAAiB,GAAG,aAAa,GAAG,aAAa,GAAG,aAAa,CAAC;AAE1F,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC;AAEhG,KAAK,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAExC,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAA;CAAE,CAAC;AAEjF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF,eAAO,MAAM,WAAW,YAAI,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AAEnE,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAErD,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAAC;CACnD,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,KAAK,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;AAsCjC,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CAS3D;AAgDD,wBAAgB,KAAK,CACnB,QAAQ,EAAE,QAAQ,EAClB,EAAE,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAClD,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ,GAAG,SAAS,GAChD,aAAa,CAgBf;AAMD,wBAAgB,UAAU,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,EAAE,CAYzD;AA4GD,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,GAAG,MAAM,EAAE,CAKnF;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAIrD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAgC1D;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAehE;AAmJD,wBAAgB,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK,CAExF;AAyFD,wBAAgB,KAAK,CAAC,SAAS,EAAE,iBAAiB,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAehG;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAO3F"}
|