@agentshouse/mdmodel 0.1.0-cc9fa0498a7f7 → 0.1.0-cd90851746292

package/dist/yaml.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"yaml.d.ts","sourceRoot":"","sources":["../src/yaml.ts"],"names":[],"mappings":"AAAA,qBAAa,SAAU,SAAQ,KAAK;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM;IAAnC,YAAqB,MAAM,EAAE,MAAM,EAGlC;CACF;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,OAAO,GAAG,OAAO,CAAC;AAoEtD,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAM7E;AAuQD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAclF;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAM/C;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAEzE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAMjD;AAED,MAAM,MAAM,gBAAgB,GACxB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,gBAAgB,EAAE,GAC3B;IAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,CAAA;CAAE,CAAC;AAElD,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAItE;AAiBD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAE1E;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAO3D;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAG3E;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAGnD;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE5D;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,GACd;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAqB9F;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAgBjE;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAEzD"}
+{"version":3,"file":"yaml.d.ts","sourceRoot":"","sources":["../src/yaml.ts"],"names":[],"mappings":"AAAA,qBAAa,SAAU,SAAQ,KAAK;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM;IAAnC,YAAqB,MAAM,EAAE,MAAM,EAGlC;CACF;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,OAAO,GAAG,OAAO,CAAC;AAmFtD,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAM7E;AAySD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAclF;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAM/C;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAEzE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAMjD;AAED,MAAM,MAAM,gBAAgB,GACxB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,gBAAgB,EAAE,GAC3B;IAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,CAAA;CAAE,CAAC;AAElD,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAItE;AAuBD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAE1E;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAO3D;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAG3E;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAGnD;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE5D;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,GACd;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAqB9F;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAgBjE;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAEzD"}

package/dist/yaml.js

@@ -6,6 +6,18 @@ export class YamlError extends Error {
         this.name = 'YamlError';
     }
 }
+const YAML_DEPTH_MAX = 64;
+function nested(c, parse) {
+    if (c.depth >= YAML_DEPTH_MAX)
+        throw new YamlError(c.i);
+    c.depth += 1;
+    try {
+        return parse();
+    }
+    finally {
+        c.depth -= 1;
+    }
+}
 function peek(c) {
     return c.i < c.end ? c.text[c.i] : '';
 }
@@ -70,7 +82,10 @@ function indentAt(c) {
     }
     return n;
 }
+const UNHELD_TEXT = /[\0\ud800-\udfff]/u;
 function scalar(value, start, end) {
+    if (typeof value === 'string' && UNHELD_TEXT.test(value))
+        throw new YamlError(start);
     return { kind: 'scalar', value, start, end };
 }
 export function interpretPlain(text) {
@@ -84,6 +99,30 @@ export function interpretPlain(text) {
         return Number(text);
     return text;
 }
+const ESCAPES = {
+    b: '\b',
+    f: '\f',
+    n: '\n',
+    r: '\r',
+    t: '\t',
+    '"': '"',
+    '/': '/',
+    '\\': '\\',
+};
+function parseEscape(c) {
+    c.i += 1;
+    const escaped = peek(c);
+    const held = ESCAPES[escaped];
+    if (held !== undefined) {
+        c.i += 1;
+        return held;
+    }
+    const hex = c.text.slice(c.i + 1, c.i + 5);
+    if (escaped !== 'u' || c.i + 5 > c.end || !/^[0-9A-Fa-f]{4}$/.test(hex))
+        throw new YamlError(c.i);
+    c.i += 5;
+    return String.fromCharCode(Number.parseInt(hex, 16));
+}
 function parseQuoted(c) {
     const quote = peek(c);
     const start = c.i;
@@ -91,31 +130,19 @@ function parseQuoted(c) {
     let out = '';
     while (c.i < c.end) {
         const ch = peek(c);
+        if (quote === "'" && ch === "'" && c.i + 1 < c.end && c.text[c.i + 1] === "'") {
+            out += "'";
+            c.i += 2;
+            continue;
+        }
         if (ch === quote) {
             c.i += 1;
             return scalar(out, start, c.i);
         }
         if (ch === '\n' || ch === '\r')
             throw new YamlError(c.i);
-        if (quote === "'" && ch === "'" && c.text[c.i + 1] === "'") {
-            out += "'";
-            c.i += 2;
-            continue;
-        }
         if (quote === '"' && ch === '\\') {
-            c.i += 1;
-            const escaped = peek(c);
-            if (escaped === 'n')
-                out += '\n';
-            else if (escaped === 't')
-                out += '\t';
-            else if (escaped === '"')
-                out += '"';
-            else if (escaped === '\\')
-                out += '\\';
-            else
-                throw new YamlError(c.i);
-            c.i += 1;
+            out += parseEscape(c);
             continue;
         }
         out += ch;
@@ -190,6 +217,9 @@ function parseFlowValue(c) {
     return parseScalar(c, true);
 }
 function parseFlowMap(c) {
+    return nested(c, () => flowMap(c));
+}
+function flowMap(c) {
     const start = c.i;
     if (peek(c) !== '{')
         throw new YamlError(c.i);
@@ -228,6 +258,9 @@ function parseFlowMap(c) {
     throw new YamlError(c.i);
 }
 function parseFlowSeq(c) {
+    return nested(c, () => flowSeq(c));
+}
+function flowSeq(c) {
     const start = c.i;
     if (peek(c) !== '[')
         throw new YamlError(c.i);
@@ -324,6 +357,9 @@ function parseSeqItem(c, indent) {
     return parseValue(c, indent);
 }
 function parseBlockSeq(c, indent) {
+    return nested(c, () => blockSeq(c, indent));
+}
+function blockSeq(c, indent) {
     const start = c.i;
     const items = [];
     let end = start;
@@ -343,6 +379,9 @@ function parseBlockSeq(c, indent) {
     return { kind: 'seq', items, start, end };
 }
 function parseBlockMap(c, indent, inline = false) {
+    return nested(c, () => blockMap(c, indent, inline));
+}
+function blockMap(c, indent, inline) {
     const start = c.i;
     const entries = [];
     const seen = new Set();
@@ -375,7 +414,7 @@ function parseBlockMap(c, indent, inline = false) {
     return { kind: 'map', entries, start, end };
 }
 export function parseYamlMapping(text, start, end) {
-    const c = { text, i: start, end };
+    const c = { text, i: start, end, depth: 0 };
     skipBlankAndComments(c);
     if (c.i >= end)
         return { kind: 'map', entries: [], start, end };
@@ -427,17 +466,23 @@ function listed(value) {
     return keys.length === value.length && keys.every((key, index) => key === String(index));
 }
 function heldWithin(value, within) {
-    if (value === null || typeof value === 'string' || typeof value === 'boolean')
+    if (typeof value === 'string')
+        return !UNHELD_TEXT.test(value);
+    if (value === null || typeof value === 'boolean')
         return true;
     if (typeof value === 'number')
         return Number.isFinite(value);
     if (typeof value !== 'object' || within.includes(value))
         return false;
+    if (within.length + 1 >= YAML_DEPTH_MAX)
+        return false;
     const path = [...within, value];
     const held = (item) => heldWithin(item, path);
     if (Array.isArray(value))
         return listed(value) && value.every(held);
-    return plain(value) && Object.values(value).every(held);
+    return (plain(value) &&
+        Object.keys(value).every((key) => !UNHELD_TEXT.test(key)) &&
+        Object.values(value).every(held));
 }
 export function frontmatterValue(value) {
     return heldWithin(value, []);

package/fixtures/README.md

@@ -51,8 +51,8 @@ change to a value that is not prose leaves the projection alone.
 
 `division.json` exercises the public `divide` seam separately from the
 validation Libraries. It carries `schema` and `cases` like `projection.json`,
-and each case adds the `budget` the division runs under. Parse the source, call
-`divide(document, file, context)` with `{ documentTargets, definition, budget }`,
+and each case adds the `bound` the division runs under. Parse the source, call
+`divide(document, file, context)` with `{ documentTargets, definition, bound }`,
 and compare against `expected`: either `{ "ok": true, "spans": [...] }`, where
 each span carries the exact `text` to embed and the exact `source` the returned
 `start` and `end` address in that case's source, or `{ "ok": false, "refusal": ... }`. Then
@@ -107,6 +107,7 @@ schema text. The model's own rules:
 | `frontmatter-fence`       | A present frontmatter fence does not parse as the accepted YAML subset            |
 | `schema-yaml`             | A schema text is not a mapping in the accepted YAML subset                        |
 | `schema-type-name`        | A type name is empty, starts with `$`, or is `any` or `attachment`                |
+| `provided-type`           | A schema names a type its caller provides with a key but its two role keywords    |
 | `schema`                  | A type or subschema is neither a mapping nor a boolean                            |
 | `schema-keyword`          | A schema carries a key that is no JSON Schema 2020-12 keyword the model admits    |
 | `$defs`                   | `$defs` is not a mapping                                                          |
@@ -117,14 +118,18 @@ schema text. The model's own rules:
 | `unknown-type`            | A file declares a type absent from the governing schema                           |
 | `undeclared-field`        | A closed object carries a key it does not declare                                 |
 | `required-section`        | A required section heading is missing                                             |
+| `conditional-section`     | A section its type's `if` branch requires is absent or holds no text              |
 | `unresolved-reference`    | A reference at any depth or a section item reaches no member it admits            |
 | `unresolved-link`         | A body link is an absolute path or leaves the collection                          |
 | `structured-section`      | A declared list section is not a list of values of its item schema                |
 | `referenced-missing-file` | Remaining files still reference an absent path                                    |
 | `unwritable-link`         | No Markdown destination form can carry a new link destination                     |
-| `division-budget`         | A division budget is not a whole number of at least 2                             |
+| `division-bound`         | A division bound is not a whole number of at least 2                             |
 
-`unwritable-link` is refused by `apply` and `division-budget` by `divide`, not
+A `then` or `else` of an `if` on a type, in its `allOf` or in such a branch may hold
+`sections`, naming sections the type declares as the type declares them, else `sections`.
+
+`unwritable-link` is refused by `apply` and `division-bound` by `divide`, not
 by `validate`, so no case under `cases/` carries either.
 
 A reference that admits `attachment` reaches any path in the same Library, so
@@ -136,6 +141,6 @@ Library is accepted too, so `unresolved-link` never names it and
 ## YAML subset
 
 Frontmatter and a schema text are each a mapping in a closed YAML subset: block and flow mappings,
-block and flow sequences, a block sequence item that opens a mapping, plain and quoted scalars, `true`, `false`, `null`,
+block and flow sequences, a block sequence item that opens a mapping, plain and quoted scalars (a single-quoted scalar doubles its apostrophe, a double-quoted one takes JSON's escapes), `true`, `false`, `null`,
 and decimal numbers. It does not take YAML 1.1 boolean or timestamp aliases,
 octal numbers, anchors, tags, or block scalars. A mapping carries each key once.

package/fixtures/cases/conditional-section/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/conditional-section/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "questions/payments.md",
+  "location": "Answer",
+  "rule": "conditional-section"
+}

package/fixtures/cases/conditional-section/library/questions/hosting.md

@@ -0,0 +1,9 @@
+---
+type: question
+title: Where does it run
+status: open
+---
+
+## Question
+
+Which host runs the shop?

package/fixtures/cases/conditional-section/library/questions/payments.md

@@ -0,0 +1,12 @@
+---
+type: question
+title: Who takes payments
+status: answered
+---
+
+## Question
+
+Which provider takes card payments?
+
+## Answer
+

package/fixtures/cases/conditional-section/schema.yaml

@@ -0,0 +1,14 @@
+question:
+  properties:
+    title: { type: string }
+    status: { enum: [open, answered, withdrawn] }
+  required: [title, status]
+  sections:
+    Question: { kind: text, required: true }
+    Answer: { kind: text }
+  if:
+    properties:
+      status: { enum: [answered, withdrawn] }
+  then:
+    sections:
+      Answer: { kind: text, required: true }

package/fixtures/cases/cross-room-link/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/cross-room-link/expected.json

@@ -0,0 +1 @@
+{ "verdict": "accept" }

package/fixtures/cases/cross-room-link/library/clients/acme.md

@@ -0,0 +1,6 @@
+---
+type: client
+name: Acme
+---
+
+Paid by [the March invoice](/rooms/finance/invoices/march.md#total).

package/fixtures/cases/cross-room-link/schema.yaml

@@ -0,0 +1,3 @@
+client:
+  properties:
+    name: { type: string }

package/fixtures/cases/cross-room-reference/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/cross-room-reference/expected.json

@@ -0,0 +1 @@
+{ "verdict": "accept" }

package/fixtures/cases/cross-room-reference/library/clients/acme.md

@@ -0,0 +1,9 @@
+---
+type: client
+name: Acme
+finance: /rooms/finance/invoices/acme.md
+---
+
+## Invoices
+
+- [March](/rooms/finance/invoices/march.md)

package/fixtures/cases/cross-room-reference/schema.yaml

@@ -0,0 +1,9 @@
+client:
+  properties:
+    name: { type: string }
+    finance: { type: string, reference: invoice, cross_room: true }
+  sections:
+    Invoices: { kind: list, items: { type: string, reference: invoice, cross_room: true } }
+invoice:
+  properties:
+    name: { type: string }

package/fixtures/division.json

@@ -2,12 +2,12 @@
   "schema": "task:\n  type: object\n  properties:\n    name: { type: string }\n    status: { enum: [open, done] }\n  required: [status]\n  sections:\n    Description: { kind: text, required: true }\n    Acceptance: { kind: list, items: { type: string, reference: person } }\nperson: {}\n",
   "cases": [
     {
-      "name": "a Document whose whole input fits the budget is one Span carrying its projection",
+      "name": "a Document whose whole input fits the bound is one Span carrying its projection",
       "file": "tasks/one.md",
       "source": "---\ntype: task\nname: Ship the release\nstatus: open\n---\n\nPreamble prose.\n\n## Description\n\nBody of the description.\n\n## Acceptance\n\n- people/ana.md\n",
       "documentTargets": [],
       "definition": "task",
-      "budget": 4096,
+      "bound": 4096,
       "expected": {
         "ok": true,
         "spans": [
@@ -19,12 +19,12 @@
       }
     },
     {
-      "name": "an input over the budget descends to whole heading nodes and packs adjacent siblings",
+      "name": "an input over the bound descends to whole heading nodes and packs adjacent siblings",
       "file": "tasks/one.md",
       "source": "---\ntype: task\nname: Ship the release\nstatus: open\n---\n\nPreamble prose.\n\n## Description\n\nBody of the description.\n\n## Notes\n\nNotes prose.\n\n## Acceptance\n\n- people/ana.md\n",
       "documentTargets": [],
       "definition": "task",
-      "budget": 45,
+      "bound": 45,
       "expected": {
         "ok": true,
         "spans": [
@@ -44,12 +44,12 @@
       }
     },
     {
-      "name": "a heading node over the budget divides into adjacent blocks carrying its own heading",
+      "name": "a heading node over the bound divides into adjacent blocks carrying its own heading",
       "file": "tasks/one.md",
       "source": "---\ntype: task\nname: Task\nstatus: open\n---\n\n## Overview\n\nFirst paragraph of the overview.\n\nSecond paragraph of the overview.\n\n## Notes\n\nShort note.\n",
       "documentTargets": [],
       "definition": "task",
-      "budget": 50,
+      "bound": 50,
       "expected": {
         "ok": true,
         "spans": [
@@ -78,7 +78,7 @@
       "source": "---\ntype: task\nname: Task\nstatus: open\n---\n\n## Overview\n\nFirst paragraph of the overview.\n\nSecond paragraph of the overview.\n\n## Notes\n\nShort note.\n",
       "documentTargets": [],
       "definition": "task",
-      "budget": 75,
+      "bound": 75,
       "expected": {
         "ok": true,
         "spans": [
@@ -107,7 +107,7 @@
       "source": "---\ntype: task\nname: Task\nstatus: open\n---\n\n## Overview\n\nIntro line.\n\n### Detail\n\nDetail paragraph one.\n\nDetail paragraph two.\n",
       "documentTargets": [],
       "definition": "task",
-      "budget": 40,
+      "bound": 40,
       "expected": {
         "ok": true,
         "spans": [
@@ -131,12 +131,12 @@
       }
     },
     {
-      "name": "a block over the budget divides into sentences that repeat their predecessor",
+      "name": "a block over the bound divides into sentences that repeat their predecessor",
       "file": "tasks/one.md",
       "source": "---\ntype: task\nname: Task\nstatus: open\n---\n\n## Overview\n\nOne. Two. Three. Four.\n",
       "documentTargets": [],
       "definition": "task",
-      "budget": 30,
+      "bound": 30,
       "expected": {
         "ok": true,
         "spans": [
@@ -156,12 +156,12 @@
       }
     },
     {
-      "name": "a single sentence over the budget divides at a bound cut inside it",
+      "name": "a single sentence over the bound divides at a bound cut inside it",
       "file": "tasks/one.md",
       "source": "---\ntype: task\nname: Task\nstatus: open\n---\n\n## Overview\n\naaaa bbbb cccc dddd eeee\n",
       "documentTargets": [],
       "definition": "task",
-      "budget": 20,
+      "bound": 20,
       "expected": {
         "ok": true,
         "spans": [
@@ -198,7 +198,7 @@
       "source": "# Title\n\nIntro paragraph about the whole thing.\n\n## Alpha\n\nAlpha one. Alpha two.\n\n### Deep\n\nDeep prose here.\n\n## Beta\n\nBeta prose.\n",
       "documentTargets": [],
       "definition": null,
-      "budget": 60,
+      "bound": 60,
       "expected": {
         "ok": true,
         "spans": [
@@ -227,7 +227,7 @@
       "source": "---\ntype: any\ntitle: Note\n---\n\n## Notes\n\nRead it.\n",
       "documentTargets": [],
       "definition": null,
-      "budget": 4096,
+      "bound": 4096,
       "expected": {
         "ok": true,
         "spans": [
@@ -246,7 +246,7 @@
         "plans/q3.md"
       ],
       "definition": "task",
-      "budget": 50,
+      "bound": 50,
       "expected": {
         "ok": true,
         "spans": [
@@ -271,7 +271,7 @@
       "source": "---\ntype: task\nname: Task\nstatus: open\n---\n\nPreamble prose.\n\n## Acceptance\n\n- people/ana.md\n\n## Notes\n\nShort note.\n",
       "documentTargets": [],
       "definition": "task",
-      "budget": 4096,
+      "bound": 4096,
       "expected": {
         "ok": true,
         "spans": [
@@ -288,7 +288,7 @@
       "source": "---\ntype: task\nname: Ship the release\nstatus: open\n---\n\nPreamble prose.\n\n## Description\n\nBody of the description.\n\n## Acceptance\n\n- people/ana.md\n",
       "documentTargets": [],
       "definition": null,
-      "budget": 4096,
+      "bound": 4096,
       "expected": {
         "ok": false,
         "refusal": {
@@ -299,17 +299,17 @@
       }
     },
     {
-      "name": "a budget that cannot hold one whole character is refused before any division",
+      "name": "a bound that cannot hold one whole character is refused before any division",
       "file": "notes/one.md",
       "source": "## Notes\n\nShort note.\n",
       "documentTargets": [],
       "definition": null,
-      "budget": 1,
+      "bound": 1,
       "expected": {
         "ok": false,
         "refusal": {
           "file": "notes/one.md",
-          "rule": "division-budget"
+          "rule": "division-bound"
         }
       }
     },
@@ -319,7 +319,7 @@
       "source": "---\ntype: task\nname: \"Ship: the release\"\nstatus: open\n---\n\nBody prose.\n",
       "documentTargets": [],
       "definition": "task",
-      "budget": 4096,
+      "bound": 4096,
       "expected": {
         "ok": true,
         "spans": [
@@ -331,12 +331,12 @@
       }
     },
     {
-      "name": "sentence division reads every terminator and closer and drops a carry the budget cannot hold",
+      "name": "sentence division reads every terminator and closer and drops a carry the bound cannot hold",
       "file": "notes/three.md",
       "source": "## Ask\n\nReady? Go! He said \"no.\" Then (silence.) Done.\n",
       "documentTargets": [],
       "definition": null,
-      "budget": 30,
+      "bound": 30,
       "expected": {
         "ok": true,
         "spans": [
@@ -361,7 +361,7 @@
       "source": "## Part\n\n### Alpha\n\nAlpha prose that is long enough to matter.\n\n### Beta\n\nBeta prose.\n",
       "documentTargets": [],
       "definition": null,
-      "budget": 70,
+      "bound": 70,
       "expected": {
         "ok": true,
         "spans": [
@@ -377,12 +377,12 @@
       }
     },
     {
-      "name": "a heading the budget cannot hold beside any text is not repeated",
+      "name": "a heading the bound cannot hold beside any text is not repeated",
       "file": "notes/five.md",
       "source": "## An overview of the release\n\nFirst paragraph here.\n\nSecond paragraph here.\n",
       "documentTargets": [],
       "definition": null,
-      "budget": 25,
+      "bound": 25,
       "expected": {
         "ok": true,
         "spans": [

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agentshouse/mdmodel",
-  "version": "0.1.0-cc9fa0498a7f7",
+  "version": "0.1.0-cd90851746292",
   "description": "MD Type language, parser, validator, structured change application, Markdown syntax profile, and conformance fixtures",
   "license": "MIT",
   "type": "module",
@@ -9,7 +9,7 @@
     "access": "public"
   },
   "engines": {
-    "node": ">=24.21.0"
+    "node": ">=24.22.1"
   },
   "exports": {
     ".": {
@@ -26,6 +26,13 @@
     "README.md"
   ],
   "dependencies": {
-    "@cfworker/json-schema": "4.1.1"
+    "@cfworker/json-schema": "4.1.1",
+    "decode-named-character-reference": "1.3.0",
+    "micromark-util-decode-numeric-character-reference": "2.0.2"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/agentshouse/core.git",
+    "directory": "mdmodel/packages/mdmodel"
   }
 }