@agentshouse/mdmodel 0.1.0-alpha.16 → 0.1.0-alpha.17

package/fixtures/README.md

@@ -2,9 +2,9 @@
 
 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 and the required `context.json` as `ValidationContext`. Cases
-with a `definitions/` directory load those files into a separate address-to-text
-map, call `verify(definitions)`, then compare its refusal or
+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
@@ -23,15 +23,15 @@ 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`, 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
+Verify the schema, parse the source, call `project(document, file, context)`
+with `documentTargets` and the verified type `definition` names, and compare against `expected`, replacing the
 `<package-version>` token in a refusal the same way `cases/` does. Then check
 that the source is unchanged. Where `move` is present, apply
 `{ kind: 'link', href, to }`, confirm the serialized Document changed, and
@@ -41,7 +41,7 @@ moved Path rewrites destinations and leaves the projection alone.
 ## Division
 
 `division.json` exercises the public `divide` seam separately from the
-validation Libraries. It carries `definitions` and `cases` like `projection.json`,
+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
@@ -79,50 +79,51 @@ Refusal:
 ```
 
 `location` is omitted when the rule is not about a field or section.
-`referrers` is present only for `referenced-missing-file`.
-Separate-model cases add `source: "model"` to a verification refusal or
-`source: "content"` to a validation refusal. A definition refusal's `file` is
-its supplied canonical address; a content refusal's `file` is its Library Path.
+`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`.
 The `version` field in these fixtures is the token `<package-version>`;
 replace it with the package's semantic version before comparing.
 
 ## 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 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 field has no non-empty `to` type name                        |
-| `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`                                   |
-| `definition-duplicate`    | Two definition files share a type name                                   |
-| `unknown-type`            | A file declares a type absent from the governing definitions             |
-| `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 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            |
-| `division-budget`         | A division budget is not a whole number of at least 2                    |
+| 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 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                    |
+| `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/schema.yaml

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

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

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

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

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

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/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/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,6 @@
+{
+  "verdict": "refuse",
+  "location": "line 1",
+  "rule": "schema-yaml",
+  "version": "<package-version>"
+}

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

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/schema.yaml

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

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

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

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/expected.json

@@ -1,7 +1,6 @@
 {
   "verdict": "refuse",
-  "file": "types/task.md",
-  "location": "Acceptance",
+  "location": "types.task.sections.Acceptance",
   "rule": "definition-list-of",
   "version": "<package-version>"
 }

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/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/schema.yaml

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

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,6 @@
+{
+  "verdict": "refuse",
+  "location": "types.person.member_document",
+  "rule": "schema-member-document",
+  "version": "<package-version>"
+}

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

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

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

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

package/fixtures/cases/submission-keys/schema.yaml

@@ -0,0 +1,4 @@
+types:
+  note:
+    fields:
+      title: { kind: string, required: true }

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

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

package/fixtures/cases/types-folder-content/schema.yaml

@@ -0,0 +1,4 @@
+types:
+  task:
+    fields:
+      title: { kind: string, required: true }

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

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

package/fixtures/cases/unknown-type/expected.json

@@ -0,0 +1,7 @@
+{
+  "verdict": "refuse",
+  "file": "item.md",
+  "location": "type",
+  "rule": "unknown-type",
+  "version": "<package-version>"
+}

package/fixtures/cases/unknown-type/schema.yaml

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

package/fixtures/cases/unlisted-reference-type/context.json

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

package/fixtures/cases/unlisted-reference-type/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "location": "types.task.fields.owner",
+  "rule": "definition-reference-to",
+  "version": "<package-version>"
+}

package/fixtures/cases/unlisted-reference-type/schema.yaml

@@ -0,0 +1,4 @@
+types:
+  task:
+    fields:
+      owner: { kind: reference, to: person }

package/fixtures/cases/unresolved-link/schema.yaml

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

package/fixtures/cases/valid-typed-document/schema.yaml

@@ -0,0 +1,15 @@
+types:
+  person:
+    fields:
+      name: { kind: string, required: true }
+  task:
+    fields:
+      name: { kind: text }
+      title: { kind: string, required: true }
+      status: { kind: enum, values: [open, in-progress, done], required: true }
+      due: { kind: date }
+      owner: { kind: reference, to: person }
+      labels: { kind: list, of: string }
+    sections:
+      Description: { kind: text, required: true }
+      Acceptance: { kind: list, of: string }

package/fixtures/cases/wide-item-fence-link/schema.yaml

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

package/fixtures/division.json

@@ -1,8 +1,5 @@
 {
-  "definitions": {
-    "task": "---\ntype: definition\nfields:\n  name: { kind: text }\n  status: { kind: enum, values: [open, done], required: true }\nsections:\n  Description: { kind: text, required: true }\n  Acceptance: { kind: list, of: reference, to: person }\n---\n",
-    "unreadable-task": "---\ntype: definition\nsections:\n  Description: { kind: prose }\n---\n"
-  },
+  "schema": "types:\n  task:\n    fields:\n      name: { kind: text }\n      status: { kind: enum, values: [open, done], required: true }\n    sections:\n      Description: { kind: text, required: true }\n      Acceptance: { kind: list, of: reference, to: person }\n  person: {}\n",
   "cases": [
     {
       "name": "a Document whose whole input fits the budget is one Span carrying its projection",
@@ -302,23 +299,6 @@
         }
       }
     },
-    {
-      "name": "a definition the model cannot read is refused at that definition",
-      "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": "unreadable-task",
-      "budget": 4096,
-      "expected": {
-        "ok": false,
-        "refusal": {
-          "file": "types/task.md",
-          "rule": "definition-section-kind",
-          "version": "<package-version>",
-          "location": "Description"
-        }
-      }
-    },
     {
       "name": "a budget that cannot hold one whole character is refused before any division",
       "file": "notes/one.md",

package/fixtures/projection.json

@@ -1,8 +1,5 @@
 {
-  "definitions": {
-    "task": "---\ntype: definition\nfields:\n  name: { kind: text, required: true }\n  aliases: { kind: list, of: text }\n  title: { kind: string, required: true }\n  status: { kind: enum, values: [open, done], required: true }\n  owner: { kind: reference, to: person }\n  due: { kind: date }\n  estimate: { kind: number }\n  labels: { kind: list, of: string }\nsections:\n  Description: { kind: text, required: true }\n  Acceptance: { kind: list, of: reference, to: person }\n  Checklist: { kind: list, of: text }\n---\n",
-    "unreadable-task": "---\ntype: definition\nsections:\n  Description: { kind: prose }\n---\n"
-  },
+  "schema": "types:\n  task:\n    fields:\n      name: { kind: text, required: true }\n      aliases: { kind: list, of: text }\n      title: { kind: string, required: true }\n      status: { kind: enum, values: [open, done], required: true }\n      owner: { kind: reference, to: person }\n      due: { kind: date }\n      estimate: { kind: number }\n      labels: { kind: list, of: string }\n    sections:\n      Description: { kind: text, required: true }\n      Acceptance: { kind: list, of: reference, to: person }\n      Checklist: { kind: list, of: text }\n  person: {}\n",
   "cases": [
     {
       "name": "any body keeps labels and leaves every unsupplied destination authored",
@@ -144,26 +141,6 @@
         }
       }
     },
-    {
-      "name": "a definition the model cannot read is refused at that definition",
-      "file": "tasks/one.md",
-      "source": "---\ntype: task\nname: Shipping the release\ntitle: Ship it\nstatus: open\nowner: ../people/ana.md\n---\n\nPreamble prose that mentions [the plan](../plans/q3.md).\n\n## Description\n\nFollow [the plan][plan] and [the plan][plan] again, then [read it][].\n\n[plan]: ../plans/q3.md \"Plan\"\n[read it]: ../plans/q3.md\n\n## Acceptance\n\n- [the plan](../plans/q3.md) is linked\n\n## Checklist\n\n- [the plan](../plans/q3.md) is read\n\n## Notes\n\nUndeclared prose about [the plan](../plans/q3.md).\n",
-      "documentTargets": [
-        "plans/q3.md",
-        "plans/2026-q3.md"
-      ],
-      "definition": "unreadable-task",
-      "move": null,
-      "expected": {
-        "ok": false,
-        "refusal": {
-          "file": "types/task.md",
-          "rule": "definition-section-kind",
-          "version": "<package-version>",
-          "location": "Description"
-        }
-      }
-    },
     {
       "name": "an image at a supplied Markdown document target is projected like its link",
       "file": "notes/four.md",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agentshouse/mdmodel",
-  "version": "0.1.0-alpha.16",
+  "version": "0.1.0-alpha.17",
   "description": "MD Type language, parser, validator, structured change application, Markdown syntax profile, and conformance fixtures",
   "license": "MIT",
   "type": "module",

package/fixtures/cases/binary-any-reference/library/types/note.md

@@ -1,5 +0,0 @@
----
-type: definition
-fields:
-  subject: { kind: reference, to: any, required: true }
----

package/fixtures/cases/binary-document-collision/library/types/note.md

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

package/fixtures/cases/binary-link-outside-collection/library/types/note.md

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

package/fixtures/cases/binary-prototype-reference/library/types/note.md

@@ -1,5 +0,0 @@
----
-type: definition
-fields:
-  subject: { kind: reference, to: any, required: true }
----

package/fixtures/cases/binary-typed-reference/library/types/note.md

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

package/fixtures/cases/binary-typed-reference/library/types/person.md

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

package/fixtures/cases/bracketed-link-definition/library/types/task.md

@@ -1,7 +0,0 @@
----
-type: definition
-fields:
-  title: { kind: string, required: true }
-sections:
-  Description: { kind: text, required: true }
----

package/fixtures/cases/declared-binary-links/library/types/note.md

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

package/fixtures/cases/duplicate-link-definition/library/types/task.md

@@ -1,7 +0,0 @@
----
-type: definition
-fields:
-  title: { kind: string, required: true }
-sections:
-  Description: { kind: text, required: true }
----

package/fixtures/cases/external-invalid-model/definitions/schema/task.md

@@ -1,5 +0,0 @@
----
-type: definition
-fields:
-  title: { kind: widget }
----

package/fixtures/cases/external-invalid-model/expected.json

@@ -1 +0,0 @@
-{"verdict":"refuse","source":"model","file":"schema/task.md","location":"title","rule":"definition-field-kind","version":"<package-version>"}

package/fixtures/cases/external-invalid-model/library/note.md

@@ -1 +0,0 @@
-# Loose

package/fixtures/cases/external-unknown-type/definitions/schema/task.md

@@ -1,5 +0,0 @@
----
-type: definition
-fields:
-  title: { kind: string }
----

package/fixtures/cases/external-unknown-type/expected.json

@@ -1 +0,0 @@
-{"verdict":"refuse","source":"content","file":"item.md","location":"type","rule":"unknown-type","version":"<package-version>"}

package/fixtures/cases/external-valid/context.json

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

package/fixtures/cases/external-valid/definitions/types/task.md

@@ -1,5 +0,0 @@
----
-type: definition
-fields:
-  title: { kind: string, required: true }
----