@agentshouse/mdmodel 0.1.0-alpha.8 → 0.1.0-c83456e1cebfb

package/fixtures/README.md

@@ -2,10 +2,13 @@
 
 Each directory under `cases/` is one text Library, one validation context,
 and one expected verdict. Consumers load the files under `library/` as
-path-to-content, load the required `context.json` as `ValidationContext`, and
-compare `validate(library, context)` against `expected.json`. Text-only cases
-carry `{ "binaryTargets": [] }`. Binary targets are membership declarations;
-the corpus supplies no binary bytes or placeholder Documents.
+path-to-content, an absent `library/` being the empty Library, and the
+required `context.json` as `ValidationContext`. Cases with a `schema.yaml` call
+`verify` with its text, then compare its refusal or
+`validate(library, context, verified.model)` against `expected.json`. Other
+cases compare `validate(library, context)` directly. Text-only cases carry
+`{ "binaryTargets": [] }`. Binary targets are membership declarations; the
+corpus supplies no binary bytes or placeholder Documents.
 
 ## Preamble operations
 
@@ -15,29 +18,48 @@ the validation Libraries. Each row carries `name`, exact `source`, expected
 the source, compare `Document.preamble`, apply
 `{ kind: 'preamble', prior: preamble, value }`, and compare the serialized result.
 These cases cover empty and heading-free Documents, frontmatter boundaries,
-fenced headings, newline/source preservation, and the Runtime moved-export
-example from its [approved candidate](https://github.com/agentshouse/mdruntime/blob/ed0a6f0b95317d9ade846ec1f2871a3997519bc4/test/rooms.ts).
-The package check runs every row in ESM, CommonJS, and the browser-target VM
-bundle, also checking stale priors, immutable Documents, and conversion of the
-Runtime link rewrite into a preamble operation through public APIs.
+fenced headings, newline/source preservation, and a moved-export link rewrite.
 
 ## Projection
 
 `projection.json` exercises the public `project` seam separately from the
-validation Libraries. It carries `definitions`, the MD Type definition sources
-keyed by a label, and `cases`. Each case carries `name`, the `file` the Document
-sits at, exact `source`, the `documentTargets` the collection holds as Markdown
-documents, the `definition` label or `null`, an optional `move`, and `expected`.
+validation Libraries. It carries `schema`, one schema text, and `cases`. Each
+case carries `name`, the `file` the Document sits at, exact `source`, the
+`documentTargets` the collection holds as Markdown documents, the `definition`
+type name or `null`, an optional `move`, an optional `links` inventory, an
+optional `relabel`, and `expected`.
 A case carrying a `move` lists both the Path its target sits at and the Path the
 move takes it to, because the collection holds that target either way.
 
-Parse the source, call `project(document, file, context)` with
-`{ documentTargets, definition }`, and compare against `expected`, replacing the
-`<package-version>` token in a refusal the same way `cases/` does. Then check
+Verify the schema, parse the source, call `project(document, file, context)`
+with `documentTargets` and the verified type `definition` names, and compare against `expected`. Where
+`links` is present, compare `links(document, file)` against it. Then check
 that the source is unchanged. Where `move` is present, apply
 `{ kind: 'link', href, to }`, confirm the serialized Document changed, and
 confirm the projection of the moved Document is still exactly `expected`: a
-moved Path rewrites destinations and leaves the projection alone.
+moved Path rewrites destinations and leaves the projection alone. Where
+`relabel` is present, split the source at its `from`, which the source carries
+exactly once, join the pieces with its `to`, parse the result, and confirm its
+projection is exactly the relabel's own `expected` and differs from the case's:
+a changed visible label changes the projection.
+
+## Division
+
+`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 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
+check that the source is unchanged. A span's `text` and `source` differ where
+the embedded text repeats a continuation's own heading, carries an internal
+link's visible label, or carries a frontmatter value without the quotes the
+author wrote, and where the addressed extent encloses a declared structured
+section between two pieces one span packs together or the whole of a free-text
+value one span carries part of. `start` and `end` are UTF-8 byte offsets into the case's
+source; every source in this corpus is ASCII, so a consumer compares the
+addressed `source` with an ordinary string slice.
 
 ## Verdict format
 
@@ -55,51 +77,54 @@ Refusal:
   "file": "<library path>",
   "location": "<field or section name>",
   "rule": "<rule id>",
-  "version": "<package version>",
   "referrers": ["<library path>"]
 }
 ```
 
 `location` is omitted when the rule is not about a field or section.
-`referrers` is present only for `referenced-missing-file`.
-The `version` field in these fixtures is the token `<package-version>`;
-replace it with the package's semantic version before comparing.
+`referrers` is present only for `referenced-missing-file`. A schema refusal
+carries no `file`; its `location`, when present, is the dotted path of the
+schema part it concerns, such as `types.task.fields.title`, or `line <n>` for
+`schema-yaml`.
 
 ## Rule ids
 
-| Rule                      | When                                                                   |
-| ------------------------- | ---------------------------------------------------------------------- |
-| `binary-target-document`  | A path is declared as both a text Document and a binary target         |
-| `frontmatter-fence`       | A present frontmatter fence does not parse as the accepted YAML subset |
-| `definition-type`         | A `types/` file is not a definition, or its type name is empty         |
-| `definition-shape`        | A definition carries a key other than `type`, `fields`, and `sections` |
-| `definition-fields`       | `fields` is not a mapping                                              |
-| `definition-field`        | A field spec is not an object of the accepted keys                     |
-| `definition-field-kind`   | A field kind is not string, number, date, enum, reference, or list     |
-| `definition-enum-values`  | An enum field has no non-empty string `values`                         |
-| `definition-reference-to` | A reference field has no non-empty `to` type name                      |
-| `definition-list-of`      | A list field has no `of` that is one scalar kind                       |
-| `definition-sections`     | `sections` is not a mapping                                            |
-| `definition-section`      | A section spec is not an object of the accepted keys                   |
-| `definition-section-kind` | A section kind is not `text` or `list`                                 |
-| `definition-duplicate`    | Two definition files share a type name                                 |
-| `unknown-type`            | A file declares a type that is not in `types/`                         |
-| `required-field`          | A required field is missing                                            |
-| `required-section`        | A required section heading is missing                                  |
-| `field-kind`              | A field value fails its kind, including date                           |
-| `field-enum`              | A field value is not one of the declared enum values                   |
-| `unresolved-reference`    | A reference does not resolve to a current file of the required type    |
-| `unresolved-link`         | A relative body link does not resolve to a current path                |
-| `structured-section`      | A declared structured-list section does not parse as a list            |
-| `referenced-missing-file` | Remaining files still reference an absent path                         |
-| `unwritable-link`         | No Markdown destination form can carry a new link destination          |
-
-`unwritable-link` is refused by `apply`, not by `validate`, so no case under
-`cases/` carries it.
+| Rule                      | When                                                                             |
+| ------------------------- | -------------------------------------------------------------------------------- |
+| `binary-target-document`  | A path is declared as both a text Document and a binary target                   |
+| `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-shape`            | A schema is not a mapping of exactly `types` to a mapping of non-empty names     |
+| `schema-member-document`  | A second type is marked `member_document: true`                                  |
+| `definition-shape`        | A type is not a mapping of `fields`, `sections`, and a boolean `member_document` |
+| `definition-fields`       | `fields` is not a mapping                                                        |
+| `definition-field`        | A field spec is not an object of the accepted keys                               |
+| `definition-field-kind`   | A field kind is not text, string, number, date, enum, reference, or list         |
+| `definition-enum-values`  | An enum field has no non-empty string `values`                                   |
+| `definition-reference-to` | A reference has no `to` naming `any` or a type of the same schema                |
+| `definition-list-of`      | A list field or list section has no `of` that is one scalar kind                 |
+| `definition-sections`     | `sections` is not a mapping                                                      |
+| `definition-section`      | A section spec is not an object of the accepted keys                             |
+| `definition-section-kind` | A section kind is not `text` or `list`                                           |
+| `unknown-type`            | A file declares a type absent from the governing schema                          |
+| `required-field`          | A required field is missing                                                      |
+| `required-section`        | A required section heading is missing                                            |
+| `field-kind`              | A field value fails its kind, including date                                     |
+| `field-enum`              | A field value is not one of the declared enum values                             |
+| `undeclared-field`        | A typed file carries a frontmatter field its type does not declare               |
+| `unresolved-reference`    | A reference field or item resolves to no current file of the required type       |
+| `unresolved-link`         | A relative body link does not resolve to a current path                          |
+| `structured-section`      | A declared list section is not a list of its declared item kind                  |
+| `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                            |
+
+`unwritable-link` is refused by `apply` and `division-budget` by `divide`, not
+by `validate`, so no case under `cases/` carries either.
 
 ## YAML subset
 
-Frontmatter is a mapping in a closed YAML subset: block and flow mappings,
+Frontmatter and a schema text are each a mapping in a closed YAML subset: block and flow mappings,
 block and flow sequences, plain and quoted scalars, `true`, `false`, `null`,
 and decimal numbers. It does not take YAML 1.1 boolean or timestamp aliases,
-octal numbers, anchors, tags, or block scalars.
+octal numbers, anchors, tags, or block scalars. A mapping carries each key once.

package/fixtures/cases/binary-any-reference/expected.json

@@ -2,6 +2,5 @@
   "verdict": "refuse",
   "file": "notes/draft.md",
   "rule": "unresolved-reference",
-  "version": "<package-version>",
   "location": "subject"
 }

package/fixtures/cases/binary-any-reference/schema.yaml

@@ -0,0 +1,4 @@
+types:
+  note:
+    fields:
+      subject: { kind: reference, to: any, required: true }

package/fixtures/cases/binary-document-collision/expected.json

@@ -1,6 +1,5 @@
 {
   "verdict": "refuse",
   "file": "notes/draft.md",
-  "rule": "binary-target-document",
-  "version": "<package-version>"
+  "rule": "binary-target-document"
 }

package/fixtures/cases/binary-document-collision/schema.yaml

@@ -0,0 +1,2 @@
+types:
+  note: {}

package/fixtures/cases/binary-link-outside-collection/expected.json

@@ -1,6 +1,5 @@
 {
   "verdict": "refuse",
   "file": "notes/draft.md",
-  "rule": "unresolved-link",
-  "version": "<package-version>"
+  "rule": "unresolved-link"
 }

package/fixtures/cases/binary-link-outside-collection/schema.yaml

@@ -0,0 +1,2 @@
+types:
+  note: {}

package/fixtures/cases/binary-prototype-reference/expected.json

@@ -2,6 +2,5 @@
   "verdict": "refuse",
   "file": "notes/draft.md",
   "rule": "unresolved-reference",
-  "version": "<package-version>",
   "location": "subject"
 }

package/fixtures/cases/binary-prototype-reference/schema.yaml

@@ -0,0 +1,4 @@
+types:
+  note:
+    fields:
+      subject: { kind: reference, to: any, required: true }

package/fixtures/cases/binary-typed-reference/expected.json

@@ -2,6 +2,5 @@
   "verdict": "refuse",
   "file": "notes/draft.md",
   "rule": "unresolved-reference",
-  "version": "<package-version>",
   "location": "subject"
 }

package/fixtures/cases/binary-typed-reference/schema.yaml

@@ -0,0 +1,5 @@
+types:
+  note:
+    fields:
+      subject: { kind: reference, to: person, required: true }
+  person: {}

package/fixtures/cases/bracketed-link-definition/schema.yaml

@@ -0,0 +1,6 @@
+types:
+  task:
+    fields:
+      title: { kind: string, required: true }
+    sections:
+      Description: { kind: text, required: true }

package/fixtures/cases/declared-binary-links/schema.yaml

@@ -0,0 +1,2 @@
+types:
+  note: {}

package/fixtures/cases/duplicate-link-definition/schema.yaml

@@ -0,0 +1,6 @@
+types:
+  task:
+    fields:
+      title: { kind: string, required: true }
+    sections:
+      Description: { kind: text, required: true }

package/fixtures/cases/fenced-link-definition/schema.yaml

@@ -0,0 +1,6 @@
+types:
+  task:
+    fields:
+      title: { kind: string, required: true }
+    sections:
+      Description: { kind: text, required: true }

package/fixtures/cases/field-enum/expected.json

@@ -2,6 +2,5 @@
   "verdict": "refuse",
   "file": "item.md",
   "location": "status",
-  "rule": "field-enum",
-  "version": "<package-version>"
+  "rule": "field-enum"
 }

package/fixtures/cases/field-enum/schema.yaml

@@ -0,0 +1,7 @@
+types:
+  task:
+    fields:
+      title: { kind: string, required: true }
+      status: { kind: enum, values: [open, in-progress, done], required: true }
+    sections:
+      Description: { kind: text, required: true }

package/fixtures/cases/frontmatter-schema/expected.json

@@ -0,0 +1,5 @@
+{
+  "verdict": "refuse",
+  "location": "line 1",
+  "rule": "schema-yaml"
+}

package/fixtures/cases/frontmatter-schema/schema.yaml

@@ -0,0 +1,6 @@
+---
+types:
+  task:
+    fields:
+      title: { kind: string }
+---

package/fixtures/cases/interrupted-link-definition/schema.yaml

@@ -0,0 +1,2 @@
+types:
+  note: {}

package/fixtures/cases/long-fence-link-definition/schema.yaml

@@ -0,0 +1,2 @@
+types:
+  note: {}

package/fixtures/cases/malformed-definition/expected.json

@@ -1,7 +1,5 @@
 {
   "verdict": "refuse",
-  "file": "types/task.md",
-  "location": "title",
-  "rule": "definition-field-kind",
-  "version": "<package-version>"
+  "location": "types.task.fields.title",
+  "rule": "definition-field-kind"
 }

package/fixtures/cases/malformed-definition/schema.yaml

@@ -0,0 +1,4 @@
+types:
+  task:
+    fields:
+      title: { kind: widget }

package/fixtures/cases/member-document/context.json

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

package/fixtures/cases/member-document/library/people/ana.md

@@ -0,0 +1,5 @@
+---
+type: contact
+name: Ana
+member: ana@example.com
+---

package/fixtures/cases/member-document/schema.yaml

@@ -0,0 +1,5 @@
+types:
+  contact:
+    member_document: true
+    fields:
+      name: { kind: string, required: true }

package/fixtures/cases/missing-binary-image/expected.json

@@ -1,6 +1,5 @@
 {
   "verdict": "refuse",
   "file": "notes/draft.md",
-  "rule": "unresolved-link",
-  "version": "<package-version>"
+  "rule": "unresolved-link"
 }

package/fixtures/cases/missing-binary-image/schema.yaml

@@ -0,0 +1,2 @@
+types:
+  note: {}

package/fixtures/cases/missing-binary-link/expected.json

@@ -1,6 +1,5 @@
 {
   "verdict": "refuse",
   "file": "notes/draft.md",
-  "rule": "unresolved-link",
-  "version": "<package-version>"
+  "rule": "unresolved-link"
 }

package/fixtures/cases/missing-binary-link/schema.yaml

@@ -0,0 +1,2 @@
+types:
+  note: {}

package/fixtures/cases/missing-required-field/expected.json

@@ -2,6 +2,5 @@
   "verdict": "refuse",
   "file": "item.md",
   "location": "title",
-  "rule": "required-field",
-  "version": "<package-version>"
+  "rule": "required-field"
 }

package/fixtures/cases/missing-required-field/schema.yaml

@@ -0,0 +1,7 @@
+types:
+  task:
+    fields:
+      title: { kind: string, required: true }
+      status: { kind: enum, values: [open, in-progress, done], required: true }
+    sections:
+      Description: { kind: text, required: true }

package/fixtures/cases/missing-section-item-kind/context.json

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

package/fixtures/cases/missing-section-item-kind/expected.json

@@ -0,0 +1,5 @@
+{
+  "verdict": "refuse",
+  "location": "types.task.sections.Acceptance",
+  "rule": "definition-list-of"
+}

package/fixtures/cases/missing-section-item-kind/schema.yaml

@@ -0,0 +1,6 @@
+types:
+  task:
+    fields:
+      title: { kind: string, required: true }
+    sections:
+      Acceptance: { kind: list }

package/fixtures/cases/paragraph-link-definition/schema.yaml

@@ -0,0 +1,2 @@
+types:
+  note: {}

package/fixtures/cases/prototype-field/context.json

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

package/fixtures/cases/prototype-field/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "item.md",
+  "location": "__proto__",
+  "rule": "undeclared-field"
+}

package/fixtures/cases/prototype-field/library/item.md

@@ -0,0 +1,9 @@
+---
+type: task
+title: Ship
+__proto__: Ada
+---
+
+## Description
+
+Go.

package/fixtures/cases/prototype-field/schema.yaml

@@ -0,0 +1,6 @@
+types:
+  task:
+    fields:
+      title: { kind: string, required: true }
+    sections:
+      Description: { kind: text, required: true }

package/fixtures/cases/quoted-link-definition/expected.json

@@ -1,6 +1,5 @@
 {
   "verdict": "refuse",
   "file": "notes/draft.md",
-  "rule": "unresolved-link",
-  "version": "<package-version>"
+  "rule": "unresolved-link"
 }

package/fixtures/cases/quoted-link-definition/schema.yaml

@@ -0,0 +1,2 @@
+types:
+  note: {}

package/fixtures/cases/referenced-missing-file/expected.json

@@ -2,6 +2,5 @@
   "verdict": "refuse",
   "file": "people/ada.md",
   "rule": "referenced-missing-file",
-  "version": "<package-version>",
   "referrers": ["a.md", "b.md"]
 }

package/fixtures/cases/referenced-missing-file/schema.yaml

@@ -0,0 +1,10 @@
+types:
+  person:
+    fields:
+      name: { kind: string, required: true }
+  task:
+    fields:
+      title: { kind: string, required: true }
+      owner: { kind: reference, to: person, required: true }
+    sections:
+      Description: { kind: text, required: true }

package/fixtures/cases/second-member-document/context.json

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

package/fixtures/cases/second-member-document/expected.json

@@ -0,0 +1,5 @@
+{
+  "verdict": "refuse",
+  "location": "types.person.member_document",
+  "rule": "schema-member-document"
+}

package/fixtures/cases/second-member-document/schema.yaml

@@ -0,0 +1,5 @@
+types:
+  contact:
+    member_document: true
+  person:
+    member_document: true

package/fixtures/cases/section-item-enum/context.json

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

package/fixtures/cases/section-item-enum/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "task.md",
+  "location": "Stages",
+  "rule": "structured-section"
+}

package/fixtures/cases/section-item-enum/library/task.md

@@ -0,0 +1,8 @@
+---
+type: task
+---
+
+## Stages
+
+- draft
+- shipped

package/fixtures/cases/section-item-enum/schema.yaml

@@ -0,0 +1,4 @@
+types:
+  task:
+    sections:
+      Stages: { kind: list, of: enum, values: [draft, done] }

package/fixtures/cases/section-item-kind/context.json

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

package/fixtures/cases/section-item-kind/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "task.md",
+  "location": "Estimates",
+  "rule": "structured-section"
+}

package/fixtures/cases/section-item-kind/library/task.md

@@ -0,0 +1,8 @@
+---
+type: task
+---
+
+## Estimates
+
+- 3
+- not a number

package/fixtures/cases/section-item-kind/schema.yaml

@@ -0,0 +1,4 @@
+types:
+  task:
+    sections:
+      Estimates: { kind: list, of: number }

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

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

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

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

package/fixtures/cases/section-items/library/other.md

@@ -0,0 +1,3 @@
+---
+type: page
+---

package/fixtures/cases/section-items/library/page.md

@@ -0,0 +1,28 @@
+---
+type: page
+---
+
+[self]: page.md
+
+## Estimates
+
+- 3
+- -1.5
+
+## Dates
+
+- 2026-10-06
+
+## Stages
+
+- draft
+- done
+
+## Related
+
+- [the other page](other.md)
+- [this page][self]
+
+## Notes
+
+- any text, [a link](other.md) included

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

@@ -0,0 +1,8 @@
+types:
+  page:
+    sections:
+      Estimates: { kind: list, of: number }
+      Dates: { kind: list, of: date }
+      Stages: { kind: list, of: enum, values: [draft, done] }
+      Related: { kind: list, of: reference, to: page }
+      Notes: { kind: list, of: string }

package/fixtures/cases/section-reference-path/context.json

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

package/fixtures/cases/section-reference-path/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "page.md",
+  "location": "Related",
+  "rule": "structured-section"
+}

package/fixtures/cases/section-reference-path/library/other.md

@@ -0,0 +1,3 @@
+---
+type: page
+---