@agentshouse/mdmodel 0.1.0-c3d58cb8652e6 → 0.1.0-c42f1957e050b
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 +162 -101
- package/dist/blocks.d.ts.map +1 -1
- package/dist/blocks.js +31 -17
- package/dist/condition.d.ts +18 -5
- package/dist/condition.d.ts.map +1 -1
- package/dist/condition.js +218 -110
- package/dist/definition.d.ts +8 -0
- package/dist/definition.d.ts.map +1 -1
- package/dist/definition.js +131 -23
- package/dist/document.d.ts +4 -1
- package/dist/document.d.ts.map +1 -1
- package/dist/document.js +81 -48
- 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 +11 -7
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +7 -5
- 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/references.d.ts +2 -2
- package/dist/references.d.ts.map +1 -1
- package/dist/schema.js +2 -2
- package/dist/types.d.ts +25 -1
- package/dist/types.d.ts.map +1 -1
- package/dist/validate.d.ts +5 -1
- package/dist/validate.d.ts.map +1 -1
- package/dist/validate.js +152 -104
- 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/package.json +4 -2
package/API.md
CHANGED
|
@@ -38,15 +38,16 @@ if (parsed.ok) {
|
|
|
38
38
|
}
|
|
39
39
|
```
|
|
40
40
|
|
|
41
|
-
`
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
`
|
|
48
|
-
|
|
49
|
-
`
|
|
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
|
+
|
|
44
|
+
`verify(schema)` reads one schema text, the MD Types of one Room or App: one JSON Schema document
|
|
45
|
+
(draft 2020-12) in the YAML subset. Every top-level key but `$defs` names an MD Type holding the
|
|
46
|
+
JSON Schema of its frontmatter; `$defs` holds shapes the types reuse, reached by a `$ref` under
|
|
47
|
+
`#/$defs/` alone. `type` and the built-in `any` are never declared. The model adds three keywords:
|
|
48
|
+
`reference` on a string names one MD Type, several, `any` or `attachment`; `sections` declares a
|
|
49
|
+
type's H2 sections, each `{ kind: text }` or `{ kind: list, items }` over one string, number,
|
|
50
|
+
integer or boolean, optionally `required: true`; `member_document: true` marks at most one type.
|
|
50
51
|
|
|
51
52
|
```yaml
|
|
52
53
|
$defs:
|
|
@@ -61,60 +62,64 @@ plan:
|
|
|
61
62
|
contact: { member_document: true }
|
|
62
63
|
```
|
|
63
64
|
|
|
64
|
-
The model's `types` expose each MD Type's `name`, `memberDocument`, `sections`,
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
`
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
verified schema that types the Library, and
|
|
86
|
-
whatever its Path. Without `model` the Library declares no type.
|
|
87
|
-
|
|
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
|
-
|
|
65
|
+
The model's `types` expose each MD Type's `name`, `memberDocument`, `sections`, `shape` (the type as
|
|
66
|
+
written with every `$defs` shape it reaches), the facts of its `frontmatter` and `fields`, its
|
|
67
|
+
top-level ones: JSON `type`, `format`, `values`, `reference` targets, `items`, `properties`, an open
|
|
68
|
+
map's `patterns` and `additional`, and `prose`, a string with no `enum`, `const`, `format`,
|
|
69
|
+
`pattern` or `reference`. Facts join `$ref` and `allOf` to their siblings and the variants of
|
|
70
|
+
`anyOf`, `oneOf`, `then`, `else` and `dependentSchemas`, a variant's own keys `conditional`; a path
|
|
71
|
+
without one `type`, `null` aside, has none. A malformed schema is refused whole, naming its `rule`,
|
|
72
|
+
the keyword or the model's own, and the JSON Pointer `location` it concerns, such as
|
|
73
|
+
`/plan/properties/status/enum`, or `line <n>` outside the YAML subset. `pointerFacts(definition,
|
|
74
|
+
pointer)` reads the facts a frontmatter pointer reaches, `itemFacts` and `memberFacts` take one step
|
|
75
|
+
and `crossedFacts` reads a list's item facts; `pointerSegments` and `escapePointer` split and write
|
|
76
|
+
a pointer, `ARRAY_INDEX` matches an index segment, and `ATTACHMENT` is the `reference` that admits
|
|
77
|
+
any path.
|
|
78
|
+
|
|
79
|
+
`validate(library, context?, model?)` takes the resulting text Library and one `ValidationContext`
|
|
80
|
+
of `binaryTargets: readonly string[]`, none when omitted. Library keys and binary targets share one
|
|
81
|
+
canonical collection-relative path namespace; a path declared text and binary is refused. House
|
|
82
|
+
declares every binary file of the Room as a binary target, and the model reads no bytes. Ordinary
|
|
83
|
+
links and images in typed Documents may resolve to either membership, relative to the source
|
|
84
|
+
Document, and one to a path neither holds is not refused: it dangles, as a deleted file's links do.
|
|
85
|
+
A destination that is an absolute path or leaves the collection is `unresolved-link`. A binary
|
|
86
|
+
target supplies no Document or MD Type. `model` is the verified schema that types the Library, and
|
|
87
|
+
every Library member is content, whatever its Path. Without `model` the Library declares no type.
|
|
88
|
+
|
|
89
|
+
A typed Document's frontmatter satisfies its type's schema, every keyword with its JSON Schema
|
|
90
|
+
meaning, formats asserted and defaults never filled, except that an object schema declaring neither
|
|
91
|
+
`additionalProperties` nor `unevaluatedProperties` is closed: an undeclared key is refused as
|
|
92
|
+
`undeclared- field`. `TYPE_FIELD`, `SITE_FIELD` and `RECEIVED_FIELD` count as declared on every
|
|
93
|
+
type, and the string `MEMBER_FIELD` on the `member_document` type; `HOUSE_FIELDS` lists the four. A
|
|
94
|
+
refusal names the keyword, such as `required`, and the value's JSON Pointer, such as
|
|
95
|
+
`/shipping/city`. Every occurrence of a declared list section is a list of values of its item
|
|
96
|
+
schema, else `structured-section`; a reference item is one ordinary link alone, such as
|
|
97
|
+
`- [Ada](ada.md)`. A reference, at any depth or a section item, reaching a URL, a binary target, or a
|
|
98
|
+
Document of a type it does not name is `unresolved-reference`, and a frontmatter one reaching no
|
|
99
|
+
member is `referenced-missing-file` naming its `referrers`; `attachment` admits any path, and no
|
|
100
|
+
body link is a referrer.
|
|
101
|
+
|
|
102
|
+
Validation returns acceptance or one refusal naming the file, the field or section, and the violated
|
|
103
|
+
rule. `parse`, `apply`, and `serialize` operate on a single text Document; they do not validate
|
|
104
|
+
collection membership or consume binary bytes. `apply` sets one typed field, including a list or an
|
|
105
|
+
object as a whole, replaces one existing section body or the preamble against that value's prior
|
|
106
|
+
content, or rewrites one Markdown link destination. A section need not be declared by the Document's
|
|
107
|
+
MD Type to be replaced. A section or preamble replacement that would hide a section the Document
|
|
108
|
+
carried behind a repeated, merged or fenced heading is refused as `overlapping-section` naming that
|
|
109
|
+
section. A field change does not reformat the rest of the file: an inline value is replaced where it
|
|
110
|
+
stands, and a value written after the key's line, an empty one or a block mapping or list, is
|
|
111
|
+
written after the key's colon in its place. A field holds a `FrontmatterValue`: null, a string, a
|
|
112
|
+
boolean, a finite number, a list without holes or a plain object of them, holding no cycle.
|
|
113
|
+
`frontmatterValue(value)` is that test, and `apply` refuses any other value as `frontmatter-fence`;
|
|
114
|
+
`equalValue(left, right)` compares two by value, whatever their key order, as `apply` compares a
|
|
115
|
+
field with its prior.
|
|
116
|
+
|
|
117
|
+
`Document.preamble` is a readonly string holding the exact source after frontmatter and before the
|
|
118
|
+
first section heading the section parser recognizes, `''` when empty, whitespace, newlines, a
|
|
119
|
+
leading H1 and any fenced text before the first section included. The closing frontmatter
|
|
120
|
+
delimiter and its line ending belong to frontmatter: `bodyAfterFrontmatter(content)` is the exact
|
|
121
|
+
source after them, the whole text when it opens no closed fence, and the preamble begins it.
|
|
122
|
+
`headingLines(content, from, to)` reads each ATX heading outside a fence, by `level` and `name`.
|
|
118
123
|
|
|
119
124
|
```ts
|
|
120
125
|
const parsed = parse(content);
|
|
@@ -129,15 +134,14 @@ if (parsed.ok) {
|
|
|
129
134
|
}
|
|
130
135
|
```
|
|
131
136
|
|
|
132
|
-
`apply(document, { kind: 'preamble', prior, value })` compares `prior` to the
|
|
133
|
-
|
|
134
|
-
|
|
135
|
-
|
|
136
|
-
and
|
|
137
|
-
and
|
|
138
|
-
|
|
139
|
-
|
|
140
|
-
field, section, and preamble edits keep their own prior values valid.
|
|
137
|
+
`apply(document, { kind: 'preamble', prior, value })` compares `prior` to the current preamble
|
|
138
|
+
exactly. A mismatch returns `{ outcome: 'stale', document }` with the unchanged current Document. A
|
|
139
|
+
match replaces only that source span, then parses a new immutable Document; the original is
|
|
140
|
+
unchanged. Frontmatter and section source outside the span retain their exact bytes, including
|
|
141
|
+
newline and heading syntax. As with section replacement, `value` is literal source: no newline or
|
|
142
|
+
separator is inserted, and the resulting source is parsed again. An invalid frontmatter result
|
|
143
|
+
receives the existing parse refusal. Independent field, section, and preamble edits keep their own
|
|
144
|
+
prior values valid.
|
|
141
145
|
|
|
142
146
|
For a moved link, use `links` and the `link` change below to obtain the rewritten Document, then
|
|
143
147
|
compare its public `preamble` and `sections` to the original. Submit the changed values with their
|
|
@@ -149,18 +153,27 @@ that resolve to a collection Path, each with the destination `href` exactly as w
|
|
|
149
153
|
`target` Path it resolves to relative to `file`. A `?query` or `#fragment` the destination carries
|
|
150
154
|
is part of `href` and not part of `target`. Entries are ordered by the position of the destination
|
|
151
155
|
text a rewrite would change, and one destination written the same way appears once however many
|
|
152
|
-
times it occurs. A destination that the syntax profile does not read as a link, one that is empty,
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
|
|
156
|
-
|
|
157
|
-
`target(file, href)` is the collection Path one written destination resolves to relative to
|
|
158
|
-
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
|
|
162
|
-
|
|
163
|
-
|
|
156
|
+
times it occurs. A destination that the syntax profile does not read as a link, one that is empty, a
|
|
157
|
+
bare fragment, or carries a URL scheme, and one that leaves the collection are not in the inventory.
|
|
158
|
+
Frontmatter values are never link destinations. `linkOccurrences(document, file)` places each
|
|
159
|
+
occurrence by its `start` in `content`, and `fieldStart(document, pointer)` a frontmatter value.
|
|
160
|
+
|
|
161
|
+
`target(file, href)` is the collection Path one written destination resolves to relative to `file`,
|
|
162
|
+
by the rule `links` and `validate` read: surrounding spaces and the `?query` or `#fragment` it
|
|
163
|
+
carries are not part of that Path. It reads backslash escapes and character references, strips as a
|
|
164
|
+
URL does, then percent-encodings, so `plan\.md`, `plan.md` and `pl%61n.md` all name `plan.md`;
|
|
165
|
+
an escaped or referenced `?` or `#` starts the suffix. A destination that is empty, a bare fragment,
|
|
166
|
+
carries a URL scheme, starts at `/` once read, encodes no UTF-8 text, or leaves the collection
|
|
167
|
+
resolves to `null`. It reads a destination written anywhere, such as a typed reference field value,
|
|
168
|
+
which `links` never enumerates. `retarget(href, to)` is that destination rewritten to `to`, keeping
|
|
169
|
+
the `?query` or `#fragment` it carried, which is the destination the `link` change below writes. It
|
|
170
|
+
percent-encodes in `to` what `target` would decode, so it resolves to `to` again.
|
|
171
|
+
|
|
172
|
+
`checkDocument(file, content, model)` reads one Document alone by the same rules: `ok: false` where
|
|
173
|
+
`validate` refuses it, else its `type`, whether it is `typed`, and each reference's `target` and
|
|
174
|
+
`to`, which `resolves(reference, typeOf, binary)` says reaches a member `validate` accepts.
|
|
175
|
+
`sectionReferences(file, content, definition)` reads only the references of its `list` sections.
|
|
176
|
+
`parseFrontmatter(content, file?)` is `parse` without the body: `content`, `type` and `fields`.
|
|
164
177
|
|
|
165
178
|
`references(document, definition)` lists each frontmatter `reference` string at any depth as
|
|
166
179
|
`pointer`, `value` and `to`; `apply(document, { kind: 'reference', pointer, value, prior })`
|
|
@@ -268,23 +281,19 @@ caller's number alone: the model holds no tokenizer, counts nothing else, and
|
|
|
268
281
|
refuses no input for being too long. A Document the caller supplies no
|
|
269
282
|
definition for carries the same `unknown-type` refusal `project` returns.
|
|
270
283
|
|
|
271
|
-
The division descends one level at a time, and only into the piece that does not
|
|
272
|
-
|
|
273
|
-
|
|
274
|
-
inside a single
|
|
275
|
-
|
|
276
|
-
|
|
277
|
-
|
|
278
|
-
|
|
279
|
-
heading
|
|
280
|
-
|
|
281
|
-
|
|
282
|
-
|
|
283
|
-
|
|
284
|
-
sentence level alone, where each Span after the first repeats its predecessor's
|
|
285
|
-
last sentence whenever the budget holds both; when it cannot hold both, the
|
|
286
|
-
Span carries its own sentence alone. An untyped input arrives without a
|
|
287
|
-
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.
|
|
288
297
|
|
|
289
298
|
Division is total: every authored character of the input belongs to at least one
|
|
290
299
|
Span, and an input carrying no authored text divides into no Span at all. A
|
|
@@ -296,3 +305,55 @@ author quoted. A Span divided out of one free-text field value addresses that
|
|
|
296
305
|
whole value, because a YAML scalar's own positions are the only ones its source
|
|
297
306
|
has, and a Span carrying part of one internal link's label addresses that whole
|
|
298
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
|
@@ -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,
|
|
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"}
|