@agentshouse/mdmodel 0.1.0-alpha.9 → 0.1.0-c5a71fe539a49

package/fixtures/division.json

@@ -0,0 +1,409 @@
+{
+  "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",
+      "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,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "Ship the release\n\n\nPreamble prose.\n\n## Description\n\nBody of the description.\n\n",
+            "source": "Ship the release\nstatus: open\n---\n\nPreamble prose.\n\n## Description\n\nBody of the description.\n\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "an input over the budget 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,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "Ship the release\n\n\nPreamble prose.\n\n",
+            "source": "Ship the release\nstatus: open\n---\n\nPreamble prose.\n\n"
+          },
+          {
+            "text": "## Description\n\nBody of the description.\n\n",
+            "source": "## Description\n\nBody of the description.\n\n"
+          },
+          {
+            "text": "## Notes\n\nNotes prose.\n\n",
+            "source": "## Notes\n\nNotes prose.\n\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a heading node over the budget 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,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "Task\n\n\n",
+            "source": "Task\nstatus: open\n---\n\n"
+          },
+          {
+            "text": "## Overview\n\nFirst paragraph of the overview.\n\n",
+            "source": "## Overview\n\nFirst paragraph of the overview.\n\n"
+          },
+          {
+            "text": "## Overview\n\nSecond paragraph of the overview.\n\n",
+            "source": "Second paragraph of the overview.\n\n"
+          },
+          {
+            "text": "## Notes\n\nShort note.\n",
+            "source": "## Notes\n\nShort note.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a node continuation and the next whole sibling stay in their own Spans",
+      "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": 75,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "Task\n\n\n",
+            "source": "Task\nstatus: open\n---\n\n"
+          },
+          {
+            "text": "## Overview\n\nFirst paragraph of the overview.\n\n",
+            "source": "## Overview\n\nFirst paragraph of the overview.\n\n"
+          },
+          {
+            "text": "## Overview\n\nSecond paragraph of the overview.\n\n",
+            "source": "Second paragraph of the overview.\n\n"
+          },
+          {
+            "text": "## Notes\n\nShort note.\n",
+            "source": "## Notes\n\nShort note.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a continuation Span carries its own node heading and never an ancestor heading",
+      "file": "tasks/one.md",
+      "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,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "Task\n\n\n",
+            "source": "Task\nstatus: open\n---\n\n"
+          },
+          {
+            "text": "## Overview\n\nIntro line.\n\n",
+            "source": "## Overview\n\nIntro line.\n\n"
+          },
+          {
+            "text": "### Detail\n\nDetail paragraph one.\n\n",
+            "source": "### Detail\n\nDetail paragraph one.\n\n"
+          },
+          {
+            "text": "### Detail\n\nDetail paragraph two.\n",
+            "source": "Detail paragraph two.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a block over the budget 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,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "Task\n\n\n",
+            "source": "Task\nstatus: open\n---\n\n"
+          },
+          {
+            "text": "## Overview\n\nOne. Two. Three. ",
+            "source": "## Overview\n\nOne. Two. Three. "
+          },
+          {
+            "text": "## Overview\n\nThree. Four.\n",
+            "source": "Three. Four.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a single sentence over the budget 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,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "Task\n\n\n",
+            "source": "Task\nstatus: open\n---\n\n"
+          },
+          {
+            "text": "## Overview\n\naaaa",
+            "source": "## Overview\n\naaaa"
+          },
+          {
+            "text": "## Overview\n\n bbbb",
+            "source": " bbbb"
+          },
+          {
+            "text": "## Overview\n\n cccc",
+            "source": " cccc"
+          },
+          {
+            "text": "## Overview\n\n dddd",
+            "source": " dddd"
+          },
+          {
+            "text": "## Overview\n\n eeee\n",
+            "source": " eeee\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "an untyped input with no definition descends the same ladder",
+      "file": "notes/one.md",
+      "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,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "# Title\n\nIntro paragraph about the whole thing.\n\n",
+            "source": "# Title\n\nIntro paragraph about the whole thing.\n\n"
+          },
+          {
+            "text": "## Alpha\n\nAlpha one. Alpha two.\n\n",
+            "source": "## Alpha\n\nAlpha one. Alpha two.\n\n"
+          },
+          {
+            "text": "### Deep\n\nDeep prose here.\n\n",
+            "source": "### Deep\n\nDeep prose here.\n\n"
+          },
+          {
+            "text": "## Beta\n\nBeta prose.\n",
+            "source": "## Beta\n\nBeta prose.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a Document that declares the built-in any type divides its body after the fence",
+      "file": "notes/two.md",
+      "source": "---\ntype: any\ntitle: Note\n---\n\n## Notes\n\nRead it.\n",
+      "documentTargets": [],
+      "definition": null,
+      "budget": 4096,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "\n## Notes\n\nRead it.\n",
+            "source": "\n## Notes\n\nRead it.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "an internal link embeds its label and addresses the destination the author wrote",
+      "file": "tasks/one.md",
+      "source": "---\ntype: task\nname: Task\nstatus: open\n---\n\n## Overview\n\nRead [the plan](../plans/q3.md) before starting.\n\n## Notes\n\nShort note.\n",
+      "documentTargets": [
+        "plans/q3.md"
+      ],
+      "definition": "task",
+      "budget": 50,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "Task\n\n\n",
+            "source": "Task\nstatus: open\n---\n\n"
+          },
+          {
+            "text": "## Overview\n\nRead the plan before starting.\n\n",
+            "source": "## Overview\n\nRead [the plan](../plans/q3.md) before starting.\n\n"
+          },
+          {
+            "text": "## Notes\n\nShort note.\n",
+            "source": "## Notes\n\nShort note.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a declared structured section stays outside the text and inside the extent",
+      "file": "tasks/one.md",
+      "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,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "Task\n\n\nPreamble prose.\n\n## Notes\n\nShort note.\n",
+            "source": "Task\nstatus: open\n---\n\nPreamble prose.\n\n## Acceptance\n\n- people/ana.md\n\n## Notes\n\nShort note.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a Document that declares a type the caller supplies no definition for is refused",
+      "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": null,
+      "budget": 4096,
+      "expected": {
+        "ok": false,
+        "refusal": {
+          "file": "tasks/one.md",
+          "rule": "unknown-type",
+          "location": "type"
+        }
+      }
+    },
+    {
+      "name": "a budget 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,
+      "expected": {
+        "ok": false,
+        "refusal": {
+          "file": "notes/one.md",
+          "rule": "division-budget"
+        }
+      }
+    },
+    {
+      "name": "a free-text value the author quoted embeds bare and addresses the quotes it was written with",
+      "file": "tasks/one.md",
+      "source": "---\ntype: task\nname: \"Ship: the release\"\nstatus: open\n---\n\nBody prose.\n",
+      "documentTargets": [],
+      "definition": "task",
+      "budget": 4096,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "Ship: the release\n\n\nBody prose.\n",
+            "source": "\"Ship: the release\"\nstatus: open\n---\n\nBody prose.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "sentence division reads every terminator and closer and drops a carry the budget cannot hold",
+      "file": "notes/three.md",
+      "source": "## Ask\n\nReady? Go! He said \"no.\" Then (silence.) Done.\n",
+      "documentTargets": [],
+      "definition": null,
+      "budget": 30,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "## Ask\n\nReady? Go! ",
+            "source": "## Ask\n\nReady? Go! "
+          },
+          {
+            "text": "## Ask\n\nGo! He said \"no.\" ",
+            "source": "Go! He said \"no.\" "
+          },
+          {
+            "text": "## Ask\n\nThen (silence.) Done.\n",
+            "source": "Then (silence.) Done.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a heading with no body of its own leads the first child node instead of standing alone",
+      "file": "notes/four.md",
+      "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,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "## Part\n\n### Alpha\n\nAlpha prose that is long enough to matter.\n\n",
+            "source": "## Part\n\n### Alpha\n\nAlpha prose that is long enough to matter.\n\n"
+          },
+          {
+            "text": "### Beta\n\nBeta prose.\n",
+            "source": "### Beta\n\nBeta prose.\n"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a heading the budget 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,
+      "expected": {
+        "ok": true,
+        "spans": [
+          {
+            "text": "## An overview of the",
+            "source": "## An overview of the"
+          },
+          {
+            "text": " release\n\nFirst paragraph",
+            "source": " release\n\nFirst paragraph"
+          },
+          {
+            "text": " here.\n\n",
+            "source": " here.\n\n"
+          },
+          {
+            "text": "Second paragraph here.\n",
+            "source": "Second paragraph here.\n"
+          }
+        ]
+      }
+    }
+  ]
+}

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": "$defs:\n  line: { type: string }\ntask:\n  type: object\n  properties:\n    name: { type: string }\n    aliases: { type: array, items: { type: string } }\n    title: { type: string, pattern: '\\S' }\n    status: { enum: [open, done] }\n    owner: { type: string, reference: person }\n    reviewers: { type: array, items: { type: string, reference: person } }\n    due: { type: string, format: date }\n    estimate: { type: number }\n    labels: { type: array, items: { type: string, pattern: '^[a-z]+$' } }\n    contact:\n      type: object\n      properties:\n        note: { type: string }\n        email: { type: string, format: email }\n    notes: { type: object, additionalProperties: { type: string } }\n    backup: { $ref: '#/$defs/line', format: email }\n    memo: { type: [string, 'null'] }\n    steps:\n      type: array\n      items:\n        type: object\n        properties:\n          title: { type: string }\n          done: { type: boolean }\n  required: [name, title, status]\n  sections:\n    Description: { kind: text, required: true }\n    Acceptance: { kind: list, items: { type: string, reference: person } }\n    Checklist: { kind: list, items: { type: string } }\nperson: {}\n",
   "cases": [
     {
       "name": "any body keeps labels and leaves every unsupplied destination authored",
@@ -70,6 +67,38 @@
         "text": "Ship the release\n\nLaunch day\n\nCutover\n\n"
       }
     },
+    {
+      "name": "a typed Document projects its prose at any depth in document order and leaves every filtered value out",
+      "file": "tasks/twelve.md",
+      "source": "---\ntype: task\nname: Ship the release\ntitle: Ship it\nstatus: open\nowner: ../people/ana.md\nreviewers: [../people/bo.md]\ndue: 2026-09-30\ncontact:\n  note: Call before noon\n  email: ana@example.com\nsteps:\n  - title: Tag the build\n    done: true\n  - title: Announce it\n    done: false\n---\n\n## Description\n\nCut the release.\n\n## Acceptance\n\n- [Ana](../people/ana.md)\n\n## Checklist\n\n- Notes written\n",
+      "documentTargets": [],
+      "definition": "task",
+      "move": null,
+      "filtered": {
+        "field": "status",
+        "value": "done"
+      },
+      "expected": {
+        "ok": true,
+        "text": "Ship the release\n\nCall before noon\n\nTag the build\n\nAnnounce it\n\n\n## Description\n\nCut the release.\n\n## Checklist\n\n- Notes written\n"
+      }
+    },
+    {
+      "name": "a typed Document projects the prose of an open map and a nullable string and leaves a formatted $ref out",
+      "file": "tasks/launch.md",
+      "source": "---\ntype: task\nname: Plan the launch\ntitle: Plan\nstatus: open\nnotes:\n  monday: Book the room\n  friday: Send the invite\nbackup: ana@example.com\nmemo: Bring slides\n---\n\n## Description\n\nLaunch.\n",
+      "documentTargets": [],
+      "definition": "task",
+      "move": null,
+      "filtered": {
+        "field": "backup",
+        "value": "bo@example.com"
+      },
+      "expected": {
+        "ok": true,
+        "text": "Plan the launch\n\nBook the room\n\nSend the invite\n\nBring slides\n\n\n## Description\n\nLaunch.\n"
+      }
+    },
     {
       "name": "a typed Document projects its preamble and every section its type does not declare as structure",
       "file": "tasks/one.md",
@@ -83,6 +112,14 @@
         "href": "../plans/q3.md",
         "to": "../plans/2026-q3.md"
       },
+      "relabel": {
+        "from": "[the plan][plan] and",
+        "to": "[the roadmap][plan] and",
+        "expected": {
+          "ok": true,
+          "text": "Shipping the release\n\n\nPreamble prose that mentions the plan.\n\n## Description\n\nFollow the roadmap and the plan again, then read it.\n\n\n## Checklist\n\n- the plan is read\n\n## Notes\n\nUndeclared prose about the plan.\n"
+        }
+      },
       "expected": {
         "ok": true,
         "text": "Shipping the release\n\n\nPreamble prose that mentions the plan.\n\n## Description\n\nFollow the plan and the plan again, then read it.\n\n\n## Checklist\n\n- the plan is read\n\n## Notes\n\nUndeclared prose about the plan.\n"
@@ -139,35 +176,32 @@
         "refusal": {
           "file": "tasks/one.md",
           "rule": "unknown-type",
-          "version": "<package-version>",
           "location": "type"
         }
       }
     },
     {
-      "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",
+      "name": "an image at a supplied Markdown document target is projected like its link",
+      "file": "notes/four.md",
+      "source": "Read [the plan](../plans/q3.md) and ![the chart](../plans/q3.md).\nAlso [the plan][plan] and ![the chart][plan].\n\n[plan]: ../plans/q3.md\n",
       "documentTargets": [
         "plans/q3.md",
         "plans/2026-q3.md"
       ],
-      "definition": "unreadable-task",
-      "move": null,
+      "definition": null,
+      "move": {
+        "href": "../plans/q3.md",
+        "to": "../plans/2026-q3.md"
+      },
       "expected": {
-        "ok": false,
-        "refusal": {
-          "file": "types/task.md",
-          "rule": "definition-section-kind",
-          "version": "<package-version>",
-          "location": "Description"
-        }
+        "ok": true,
+        "text": "Read the plan and the chart.\nAlso the plan and the chart.\n\n"
       }
     },
     {
-      "name": "an image at a supplied Markdown document target is projected like its link",
-      "file": "notes/four.md",
-      "source": "Read [the plan](../plans/q3.md) and ![the chart](../plans/q3.md).\nAlso [the plan][plan] and ![the chart][plan].\n\n[plan]: ../plans/q3.md\n",
+      "name": "a shortcut reference link projects its label and its definition leaves the projection",
+      "file": "notes/five.md",
+      "source": "Read [Plan] and [the draft], then [plan](not a link).\nAlso [[Plan]], [ plan ], \\[Plan] and [Release  plan].\n\n[plan]: ../plans/q3.md\n[release plan]: ../plans/q3.md\n",
       "documentTargets": [
         "plans/q3.md",
         "plans/2026-q3.md"
@@ -177,9 +211,44 @@
         "href": "../plans/q3.md",
         "to": "../plans/2026-q3.md"
       },
+      "links": [
+        {
+          "href": "../plans/q3.md",
+          "target": "plans/q3.md"
+        }
+      ],
       "expected": {
         "ok": true,
-        "text": "Read the plan and the chart.\nAlso the plan and the chart.\n\n"
+        "text": "Read Plan and [the draft], then plan(not a link).\nAlso [Plan],  plan , \\[Plan] and Release  plan.\n\n"
+      }
+    },
+    {
+      "name": "an image whose description holds a link projects both labels",
+      "file": "notes/six.md",
+      "source": "Read ![outer [Plan](../plans/q3.md)](../plans/q4.md).\n",
+      "documentTargets": [
+        "plans/q3.md",
+        "plans/2026-q3.md",
+        "plans/q4.md"
+      ],
+      "definition": null,
+      "move": {
+        "href": "../plans/q3.md",
+        "to": "../plans/2026-q3.md"
+      },
+      "links": [
+        {
+          "href": "../plans/q3.md",
+          "target": "plans/q3.md"
+        },
+        {
+          "href": "../plans/q4.md",
+          "target": "plans/q4.md"
+        }
+      ],
+      "expected": {
+        "ok": true,
+        "text": "Read outer Plan.\n"
       }
     }
   ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agentshouse/mdmodel",
-  "version": "0.1.0-alpha.9",
+  "version": "0.1.0-c5a71fe539a49",
   "description": "MD Type language, parser, validator, structured change application, Markdown syntax profile, and conformance fixtures",
   "license": "MIT",
   "type": "module",
@@ -21,19 +21,10 @@
   "files": [
     "dist",
     "fixtures",
+    "API.md",
     "LICENSE",
-    "README.md",
-    "markdown-syntax-profile.md"
+    "README.md"
   ],
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/agentshouse/mdmodel.git",
-    "directory": "packages/mdmodel"
-  },
-  "homepage": "https://github.com/agentshouse/mdmodel#readme",
-  "bugs": {
-    "url": "https://github.com/agentshouse/mdmodel/issues"
-  },
   "dependencies": {
     "@cfworker/json-schema": "4.1.1"
   }

package/dist/definition.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["/workspace/packages/mdmodel/src/definition.ts"],"sourcesContent":["import { typeNameFromPath } from './paths.js';\nimport { refusal } from './refuse.js';\nimport type { Document, Refusal } from './types.js';\n\nexport type TextSpec = { readonly kind: 'text'; readonly required: boolean };\n\nexport type ScalarSpec =\n  | TextSpec\n  | { readonly kind: 'string'; readonly required: boolean }\n  | { readonly kind: 'number'; readonly required: boolean }\n  | { readonly kind: 'date'; readonly required: boolean }\n  | { readonly kind: 'enum'; readonly required: boolean; readonly values: readonly string[] }\n  | { readonly kind: 'reference'; readonly required: boolean; readonly to: string };\n\nexport type ListSpec = {\n  readonly kind: 'list';\n  readonly required: boolean;\n  readonly of: ScalarSpec;\n};\n\nexport type FieldSpec = ScalarSpec | ListSpec;\n\nexport type SectionSpec = TextSpec | ListSpec;\n\nexport type Definition = {\n  readonly name: string;\n  readonly file: string;\n  readonly fields: Readonly<Record<string, FieldSpec>>;\n  readonly sections: Readonly<Record<string, SectionSpec>>;\n};\n\nfunction refuse(file: string, rule: string, location?: string): Refusal {\n  return location === undefined ? refusal(file, rule) : refusal(file, rule, { location });\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return value !== null && typeof value === 'object' && !Array.isArray(value);\n}\n\nfunction requiredFlag(value: unknown): boolean | undefined {\n  if (value === undefined) return false;\n  if (typeof value === 'boolean') return value;\n  return undefined;\n}\n\nfunction stringList(value: unknown): string[] | undefined {\n  if (!Array.isArray(value) || value.length === 0) return undefined;\n  if (!value.every((item) => typeof item === 'string' && item !== '')) return undefined;\n  return value;\n}\n\nconst SCALAR_KINDS = new Set(['text', 'string', 'number', 'date', 'enum', 'reference']);\n\nfunction parseScalar(\n  file: string,\n  location: string,\n  spec: Record<string, unknown>,\n  required: boolean,\n): ScalarSpec | Refusal {\n  const kind = spec.kind;\n  if (kind === 'text') return { kind: 'text', required };\n  if (kind === 'string') return { kind: 'string', required };\n  if (kind === 'number') return { kind: 'number', required };\n  if (kind === 'date') return { kind: 'date', required };\n  if (kind === 'enum') {\n    const values = stringList(spec.values);\n    if (values === undefined) return refuse(file, 'definition-enum-values', location);\n    return { kind: 'enum', required, values };\n  }\n  if (kind === 'reference') {\n    if (typeof spec.to !== 'string' || spec.to === '')\n      return refuse(file, 'definition-reference-to', location);\n    return { kind: 'reference', required, to: spec.to };\n  }\n  return refuse(file, 'definition-field-kind', location);\n}\n\nfunction extraKeys(spec: Record<string, unknown>, allowed: readonly string[]): boolean {\n  return Object.keys(spec).some((key) => !allowed.includes(key));\n}\n\nfunction parseList(\n  file: string,\n  location: string,\n  spec: Record<string, unknown>,\n  required: boolean,\n  malformed: string,\n): ListSpec | Refusal {\n  if (typeof spec.of !== 'string' || !SCALAR_KINDS.has(spec.of)) {\n    return refuse(file, 'definition-list-of', location);\n  }\n  const allowed =\n    spec.of === 'enum'\n      ? ['kind', 'required', 'of', 'values']\n      : spec.of === 'reference'\n        ? ['kind', 'required', 'of', 'to']\n        : ['kind', 'required', 'of'];\n  if (extraKeys(spec, allowed)) return refuse(file, malformed, location);\n  const inner = parseScalar(file, location, { ...spec, kind: spec.of }, false);\n  if ('rule' in inner) return inner;\n  return { kind: 'list', required, of: inner };\n}\n\nfunction parseField(file: string, location: string, value: unknown): FieldSpec | Refusal {\n  if (!isRecord(value) || typeof value.kind !== 'string')\n    return refuse(file, 'definition-field', location);\n  const required = requiredFlag(value.required);\n  if (required === undefined) return refuse(file, 'definition-field', location);\n  if (value.kind === 'list') return parseList(file, location, value, required, 'definition-field');\n  const allowed =\n    value.kind === 'enum'\n      ? ['kind', 'required', 'values']\n      : value.kind === 'reference'\n        ? ['kind', 'required', 'to']\n        : ['kind', 'required'];\n  if (extraKeys(value, allowed)) return refuse(file, 'definition-field', location);\n  return parseScalar(file, location, value, required);\n}\n\nfunction parseSection(file: string, location: string, value: unknown): SectionSpec | Refusal {\n  if (!isRecord(value) || (value.kind !== 'text' && value.kind !== 'list')) {\n    return refuse(file, 'definition-section-kind', location);\n  }\n  const required = requiredFlag(value.required);\n  if (required === undefined) return refuse(file, 'definition-section', location);\n  if (value.kind === 'list')\n    return parseList(file, location, value, required, 'definition-section');\n  if (extraKeys(value, ['kind', 'required'])) return refuse(file, 'definition-section', location);\n  return { kind: 'text', required };\n}\n\nexport function readDefinition(file: string, document: Document): Definition | Refusal {\n  if (document.type !== 'definition') return refuse(file, 'definition-type');\n  const name = typeNameFromPath(file);\n  if (name === '') return refuse(file, 'definition-type');\n  for (const key of Object.keys(document.fields)) {\n    if (key !== 'type' && key !== 'fields' && key !== 'sections') {\n      return refuse(file, 'definition-shape', key);\n    }\n  }\n  const fieldsValue = document.fields.fields;\n  const sectionsValue = document.fields.sections;\n  if (fieldsValue !== undefined && !isRecord(fieldsValue))\n    return refuse(file, 'definition-fields', 'fields');\n  if (sectionsValue !== undefined && !isRecord(sectionsValue)) {\n    return refuse(file, 'definition-sections', 'sections');\n  }\n  const fields: Record<string, FieldSpec> = Object.create(null);\n  for (const [fieldName, spec] of Object.entries(fieldsValue ?? {})) {\n    const parsed = parseField(file, fieldName, spec);\n    if ('rule' in parsed) return parsed;\n    fields[fieldName] = parsed;\n  }\n  const sections: Record<string, SectionSpec> = Object.create(null);\n  for (const [sectionName, spec] of Object.entries(sectionsValue ?? {})) {\n    const parsed = parseSection(file, sectionName, spec);\n    if ('rule' in parsed) return parsed;\n    sections[sectionName] = parsed;\n  }\n  return { name, file, fields, sections };\n}\n"],"names":["typeNameFromPath","refusal","refuse","file","rule","location","undefined","isRecord","value","Array","isArray","requiredFlag","stringList","length","every","item","SCALAR_KINDS","Set","parseScalar","spec","required","kind","values","to","extraKeys","allowed","Object","keys","some","key","includes","parseList","malformed","of","has","inner","parseField","parseSection","readDefinition","document","type","name","fields","fieldsValue","sectionsValue","sections","create","fieldName","entries","parsed","sectionName"],"mappings":"AAAA,SAASA,gBAAgB,QAAQ,aAAa;AAC9C,SAASC,OAAO,QAAQ,cAAc;AA8BtC,SAASC,OAAOC,IAAY,EAAEC,IAAY,EAAEC,QAAiB;IAC3D,OAAOA,aAAaC,YAAYL,QAAQE,MAAMC,QAAQH,QAAQE,MAAMC,MAAM;QAAEC;IAAS;AACvF;AAEA,SAASE,SAASC,KAAc;IAC9B,OAAOA,UAAU,QAAQ,OAAOA,UAAU,YAAY,CAACC,MAAMC,OAAO,CAACF;AACvE;AAEA,SAASG,aAAaH,KAAc;IAClC,IAAIA,UAAUF,WAAW,OAAO;IAChC,IAAI,OAAOE,UAAU,WAAW,OAAOA;IACvC,OAAOF;AACT;AAEA,SAASM,WAAWJ,KAAc;IAChC,IAAI,CAACC,MAAMC,OAAO,CAACF,UAAUA,MAAMK,MAAM,KAAK,GAAG,OAAOP;IACxD,IAAI,CAACE,MAAMM,KAAK,CAAC,CAACC,OAAS,OAAOA,SAAS,YAAYA,SAAS,KAAK,OAAOT;IAC5E,OAAOE;AACT;AAEA,MAAMQ,eAAe,IAAIC,IAAI;IAAC;IAAQ;IAAU;IAAU;IAAQ;IAAQ;CAAY;AAEtF,SAASC,YACPf,IAAY,EACZE,QAAgB,EAChBc,IAA6B,EAC7BC,QAAiB;IAEjB,MAAMC,OAAOF,KAAKE,IAAI;IACtB,IAAIA,SAAS,QAAQ,OAAO;QAAEA,MAAM;QAAQD;IAAS;IACrD,IAAIC,SAAS,UAAU,OAAO;QAAEA,MAAM;QAAUD;IAAS;IACzD,IAAIC,SAAS,UAAU,OAAO;QAAEA,MAAM;QAAUD;IAAS;IACzD,IAAIC,SAAS,QAAQ,OAAO;QAAEA,MAAM;QAAQD;IAAS;IACrD,IAAIC,SAAS,QAAQ;QACnB,MAAMC,SAASV,WAAWO,KAAKG,MAAM;QACrC,IAAIA,WAAWhB,WAAW,OAAOJ,OAAOC,MAAM,0BAA0BE;QACxE,OAAO;YAAEgB,MAAM;YAAQD;YAAUE;QAAO;IAC1C;IACA,IAAID,SAAS,aAAa;QACxB,IAAI,OAAOF,KAAKI,EAAE,KAAK,YAAYJ,KAAKI,EAAE,KAAK,IAC7C,OAAOrB,OAAOC,MAAM,2BAA2BE;QACjD,OAAO;YAAEgB,MAAM;YAAaD;YAAUG,IAAIJ,KAAKI,EAAE;QAAC;IACpD;IACA,OAAOrB,OAAOC,MAAM,yBAAyBE;AAC/C;AAEA,SAASmB,UAAUL,IAA6B,EAAEM,OAA0B;IAC1E,OAAOC,OAAOC,IAAI,CAACR,MAAMS,IAAI,CAAC,CAACC,MAAQ,CAACJ,QAAQK,QAAQ,CAACD;AAC3D;AAEA,SAASE,UACP5B,IAAY,EACZE,QAAgB,EAChBc,IAA6B,EAC7BC,QAAiB,EACjBY,SAAiB;IAEjB,IAAI,OAAOb,KAAKc,EAAE,KAAK,YAAY,CAACjB,aAAakB,GAAG,CAACf,KAAKc,EAAE,GAAG;QAC7D,OAAO/B,OAAOC,MAAM,sBAAsBE;IAC5C;IACA,MAAMoB,UACJN,KAAKc,EAAE,KAAK,SACR;QAAC;QAAQ;QAAY;QAAM;KAAS,GACpCd,KAAKc,EAAE,KAAK,cACV;QAAC;QAAQ;QAAY;QAAM;KAAK,GAChC;QAAC;QAAQ;QAAY;KAAK;IAClC,IAAIT,UAAUL,MAAMM,UAAU,OAAOvB,OAAOC,MAAM6B,WAAW3B;IAC7D,MAAM8B,QAAQjB,YAAYf,MAAME,UAAU;QAAE,GAAGc,IAAI;QAAEE,MAAMF,KAAKc,EAAE;IAAC,GAAG;IACtE,IAAI,UAAUE,OAAO,OAAOA;IAC5B,OAAO;QAAEd,MAAM;QAAQD;QAAUa,IAAIE;IAAM;AAC7C;AAEA,SAASC,WAAWjC,IAAY,EAAEE,QAAgB,EAAEG,KAAc;IAChE,IAAI,CAACD,SAASC,UAAU,OAAOA,MAAMa,IAAI,KAAK,UAC5C,OAAOnB,OAAOC,MAAM,oBAAoBE;IAC1C,MAAMe,WAAWT,aAAaH,MAAMY,QAAQ;IAC5C,IAAIA,aAAad,WAAW,OAAOJ,OAAOC,MAAM,oBAAoBE;IACpE,IAAIG,MAAMa,IAAI,KAAK,QAAQ,OAAOU,UAAU5B,MAAME,UAAUG,OAAOY,UAAU;IAC7E,MAAMK,UACJjB,MAAMa,IAAI,KAAK,SACX;QAAC;QAAQ;QAAY;KAAS,GAC9Bb,MAAMa,IAAI,KAAK,cACb;QAAC;QAAQ;QAAY;KAAK,GAC1B;QAAC;QAAQ;KAAW;IAC5B,IAAIG,UAAUhB,OAAOiB,UAAU,OAAOvB,OAAOC,MAAM,oBAAoBE;IACvE,OAAOa,YAAYf,MAAME,UAAUG,OAAOY;AAC5C;AAEA,SAASiB,aAAalC,IAAY,EAAEE,QAAgB,EAAEG,KAAc;IAClE,IAAI,CAACD,SAASC,UAAWA,MAAMa,IAAI,KAAK,UAAUb,MAAMa,IAAI,KAAK,QAAS;QACxE,OAAOnB,OAAOC,MAAM,2BAA2BE;IACjD;IACA,MAAMe,WAAWT,aAAaH,MAAMY,QAAQ;IAC5C,IAAIA,aAAad,WAAW,OAAOJ,OAAOC,MAAM,sBAAsBE;IACtE,IAAIG,MAAMa,IAAI,KAAK,QACjB,OAAOU,UAAU5B,MAAME,UAAUG,OAAOY,UAAU;IACpD,IAAII,UAAUhB,OAAO;QAAC;QAAQ;KAAW,GAAG,OAAON,OAAOC,MAAM,sBAAsBE;IACtF,OAAO;QAAEgB,MAAM;QAAQD;IAAS;AAClC;AAEA,OAAO,SAASkB,eAAenC,IAAY,EAAEoC,QAAkB;IAC7D,IAAIA,SAASC,IAAI,KAAK,cAAc,OAAOtC,OAAOC,MAAM;IACxD,MAAMsC,OAAOzC,iBAAiBG;IAC9B,IAAIsC,SAAS,IAAI,OAAOvC,OAAOC,MAAM;IACrC,KAAK,MAAM0B,OAAOH,OAAOC,IAAI,CAACY,SAASG,MAAM,EAAG;QAC9C,IAAIb,QAAQ,UAAUA,QAAQ,YAAYA,QAAQ,YAAY;YAC5D,OAAO3B,OAAOC,MAAM,oBAAoB0B;QAC1C;IACF;IACA,MAAMc,cAAcJ,SAASG,MAAM,CAACA,MAAM;IAC1C,MAAME,gBAAgBL,SAASG,MAAM,CAACG,QAAQ;IAC9C,IAAIF,gBAAgBrC,aAAa,CAACC,SAASoC,cACzC,OAAOzC,OAAOC,MAAM,qBAAqB;IAC3C,IAAIyC,kBAAkBtC,aAAa,CAACC,SAASqC,gBAAgB;QAC3D,OAAO1C,OAAOC,MAAM,uBAAuB;IAC7C;IACA,MAAMuC,SAAoChB,OAAOoB,MAAM,CAAC;IACxD,KAAK,MAAM,CAACC,WAAW5B,KAAK,IAAIO,OAAOsB,OAAO,CAACL,eAAe,CAAC,GAAI;QACjE,MAAMM,SAASb,WAAWjC,MAAM4C,WAAW5B;QAC3C,IAAI,UAAU8B,QAAQ,OAAOA;QAC7BP,MAAM,CAACK,UAAU,GAAGE;IACtB;IACA,MAAMJ,WAAwCnB,OAAOoB,MAAM,CAAC;IAC5D,KAAK,MAAM,CAACI,aAAa/B,KAAK,IAAIO,OAAOsB,OAAO,CAACJ,iBAAiB,CAAC,GAAI;QACrE,MAAMK,SAASZ,aAAalC,MAAM+C,aAAa/B;QAC/C,IAAI,UAAU8B,QAAQ,OAAOA;QAC7BJ,QAAQ,CAACK,YAAY,GAAGD;IAC1B;IACA,OAAO;QAAER;QAAMtC;QAAMuC;QAAQG;IAAS;AACxC"}