@agentshouse/mdmodel 0.1.0-alpha.1 → 0.1.0-alpha.10

package/README.md

@@ -5,7 +5,10 @@ deterministic application of one structured change to Document content, the
 Markdown syntax profile, and the conformance fixtures.
 
 The package runs in a browser and in Node. It makes no network call and reads
-no filesystem on its own. Callers pass Library state as path-to-content.
+no filesystem on its own. Callers pass text Library state as path-to-content and declare retained binary
+link targets separately in a `ValidationContext`.
+The public root exposes one ESM artifact. Node 24.21.0 and later can load it
+through either `import` or `require`; browser bundlers consume the same artifact.
 
 ## Install
 
@@ -13,21 +16,31 @@ no filesystem on its own. Callers pass Library state as path-to-content.
 npm install @agentshouse/mdmodel
 ```
 
-The first prerelease is published after the User confirms.
+Package releases are published after the User confirms.
 
 ## API
 
 ```ts
 import {
   apply,
+  divide,
+  links,
   MARKDOWN_SYNTAX_PROFILE,
   parse,
+  project,
   serialize,
   validate,
   VERSION,
 } from '@agentshouse/mdmodel';
 
 validate({ 'note.md': '# Hello\n' });
+validate(
+  {
+    'types/note.md': '---\ntype: definition\n---\n',
+    'note.md': '---\ntype: note\n---\n![Figure](assets/figure.png)\n',
+  },
+  { binaryTargets: ['assets/figure.png'] },
+);
 const parsed = parse(content);
 if (parsed.ok) {
   const next = apply(parsed.document, {
@@ -37,14 +50,214 @@ if (parsed.ok) {
     prior: 'Hello',
   });
   if (next.outcome === 'applied') serialize(next.document);
+  for (const link of links(parsed.document, 'tasks/two.md')) {
+    if (link.target !== 'data/export.csv') continue;
+    const moved = apply(parsed.document, {
+      kind: 'link',
+      href: link.href,
+      to: '../files/export.csv',
+    });
+    if (moved.outcome === 'applied') serialize(moved.document);
+  }
 }
 ```
 
-`validate` takes one Library state and returns acceptance or one refusal
-naming the file, the field or section, the violated rule, and `VERSION`.
-`apply` sets one typed field, including a list field as a whole, or replaces
-one declared section body against that value's prior content. A field change
-does not reformat the rest of the file.
+`validate(library, context?)` takes the resulting text Library and one
+`ValidationContext` containing `binaryTargets: readonly string[]`. Omitting the
+context declares no binary targets. Library keys and binary targets use the
+same collection-relative path namespace; callers supply canonical paths, and
+a path declared as both text and binary is refused. Ordinary links and images
+in typed Documents may resolve to either membership, including relative
+normalization from the source Document. A binary target supplies no Document
+or MD Type and cannot satisfy a typed reference, including one to `any`.
+The existing `any` Document rules are unchanged.
+
+A typed Document carries only the frontmatter fields its MD type declares, so
+any other field is refused as `undeclared-field` at that field name. A field
+name YAML carries to a record prototype, `__proto__` among them, is an ordinary
+undeclared field and is refused as one. A declared list section is validated as
+a list; its declared item kind governs projection eligibility rather than the
+value of each item, which validation reads no further than that list form.
+Validation returns acceptance or one refusal naming the file, the field or
+section, the violated rule, and `VERSION`. Every caller operation that validates
+a resulting collection supplies that collection's context to this same
+`validate` function. `parse`, `apply`, and `serialize` operate on a single text
+Document; they do not validate collection membership or consume binary bytes.
+`apply` sets one typed field, including a list field as a whole, replaces
+one existing section body or the preamble against that value's prior content,
+or rewrites one Markdown link destination. A section need not be declared by
+the Document's MD Type to be replaced. A field change does not reformat the rest of the file.
+
+`Document.preamble` is a readonly string containing the exact source after
+frontmatter and before the first section heading recognized by the existing
+section parser. Without a section it is the entire post-frontmatter body;
+without frontmatter it starts at the beginning of the Document. An empty span
+is `''`. It includes whitespace, newlines, a leading H1, and any fenced text
+before the first section. The closing frontmatter delimiter and its line ending
+belong to frontmatter. Section recognition and the syntax profile are unchanged.
+
+```ts
+const parsed = parse(content);
+if (parsed.ok) {
+  const change = {
+    kind: 'preamble' as const,
+    prior: parsed.document.preamble,
+    value: 'Updated introduction.\n\n',
+  };
+  const result = apply(parsed.document, change);
+  if (result.outcome === 'applied') serialize(result.document);
+}
+```
+
+`apply(document, { kind: 'preamble', prior, value })` compares `prior` to the
+current preamble exactly. A mismatch returns `{ outcome: 'stale', document }`
+with the unchanged current Document. A match replaces only that source span,
+then parses a new immutable Document; the original is unchanged. Frontmatter
+and section source outside the span retain their exact bytes, including newline
+and heading syntax. As with section replacement, `value` is literal source:
+no newline or separator is inserted, and the resulting source is parsed again.
+An invalid frontmatter result receives the existing parse refusal. Independent
+field, section, and preamble edits keep their own prior values valid.
+
+For a moved link, use `links` and the `link` change below to obtain the rewritten
+Document, then compare its public `preamble` and `sections` to the original.
+Submit the changed values with their original priors. Consumers need no source
+span calculation or private Model import. Collection validation remains a
+separate call against the resulting Library.
+
+`links(document, file)` is the inventory of that Document's ordinary link and
+image destinations that resolve to a collection Path, each with the destination
+`href` exactly as written and the `target` Path it resolves to relative to
+`file`. A `?query` or `#fragment` the destination carries is part of `href` and
+not part of `target`. Entries are ordered by the position of the destination
+text a rewrite would change, and one destination written the same way appears
+once however many times it occurs. A destination that the syntax profile does not read as a
+link, one that is empty, a bare fragment, or carries a URL scheme, and one that
+leaves the collection are not in the inventory. Frontmatter field values,
+including typed references, are not link destinations and are never enumerated.
+
+`apply(document, { kind: 'link', href, to })` rewrites every body occurrence of
+that written destination and changes nothing else, so a caller that moves a Path
+rewrites its referring Documents without a second Markdown parser. `to` is the
+Path the destination must resolve to instead; the `?query` or `#fragment` the
+written destination carried is not part of that Path and is kept. A Document
+that does not carry the destination is `stale`. A reference definition is
+rewritten once however many uses name it. The destination is
+written in the form the syntax profile reads back: bare when it carries no
+whitespace, does not open with `<`, and balances its parentheses, otherwise
+inside angle brackets, which the original form is kept in when it still fits. A
+destination that neither form can carry is refused as `unwritable-link`.
+
+`project(document, file, context?)` is the Embedding projection input of one
+Document: the prose a consumer embeds, with every internal Markdown-document
+link reduced to the label a reader sees. A Document that declares no MD type
+contributes its body after the frontmatter fence. A Document that declares one
+contributes its free-text field values, its preamble, and every H2 section its
+MD type does not declare as structure, each section with its own heading line
+and every occurrence of a repeated name, in the order the Document carries
+them. A declared free-text section, a declared list section whose items are
+free text, and a section the MD type does not declare at all are all inside
+that input; a declared list section of any other item kind is not, so
+eligibility follows the declared kind rather than the form the author wrote.
+Each free-text field value is projected bare, without its field name and
+followed by a blank line, in the order the MD Type declares its fields, and
+every item of a free-text list field is one such value, projected as the author
+wrote it: the link inventory reads the body, so link syntax inside a
+frontmatter value is text like any other. The Document's Path and its typed
+fields of every other kind stay outside that input.
+
+```ts
+const parsed = parse(content);
+if (parsed.ok) {
+  const projected = project(parsed.document, 'tasks/two.md', {
+    documentTargets: ['plans/q3.md', 'people/ana.md'],
+    definition: types['types/task.md'],
+  });
+  if (projected.ok) embed(projected.text);
+}
+```
+
+`ProjectionContext` carries `documentTargets`, the collection-relative Paths the
+caller holds as Markdown documents, and `definition`, the source of the MD Type
+definition Document the Document's `type` names. A Document that declares a type
+the caller supplies no definition for is refused as `unknown-type`, and a
+definition source the model cannot read carries its own refusal naming
+`types/<type>.md`. `documentTargets` is what makes a destination internal: a
+destination resolving to a supplied Path is internal, and every other
+destination stays authored text, a retained binary target and a Path nobody
+supplied alike. The caller supplies that membership, as it does for `validate`;
+the model reads no bytes, resolves no authority, and classifies nothing it was
+not given.
+
+An internal link contributes its visible label and no destination, fragment, or
+title, in the inline `[label](path)`, full `[label][id]`, and collapsed
+`[label][]` forms, and the link reference definition an enumerated use resolves
+through leaves the projection with it. An image at a supplied document target
+contributes its alt text the same way, because a move rewrites that destination
+too. External URLs, retained binary targets, unsupplied destinations, bare
+fragments, code spans, fenced code, and escaped syntax stay exactly as authored,
+read through the same syntax profile `links` and `validate` read. `project`
+returns text and never rewrites the Document.
+
+Because a moved Path changes destinations alone, applying a `link` change leaves
+the projection of every Document it rewrites byte-identical, while a changed
+visible label changes it. `fixtures/projection.json` carries every move row of
+that corpus; the label change is proven at this package's own `project` seam.
+
+`divide(document, file, context)` divides that same Embedding projection input
+into ordered Spans under the budget the caller supplies. Each Span carries the
+`text` to embed and the `start` and `end` of the extent it addresses in the
+Document's own source, as UTF-8 byte offsets into that source and never string
+positions, so a caller stores the extent and hydrates the text it shows from
+the Document itself.
+
+```ts
+const parsed = parse(content);
+if (parsed.ok) {
+  const divided = divide(parsed.document, 'tasks/two.md', {
+    documentTargets: ['plans/q3.md', 'people/ana.md'],
+    definition: types['types/task.md'],
+    budget: 2000,
+  });
+  if (divided.ok) for (const span of divided.spans) embed(span.text);
+}
+```
+
+`DivisionContext` is a `ProjectionContext` and one `budget`, the greatest number
+of characters a Span's embedded text may carry, counted the way JavaScript
+counts a string's length and not in the bytes the extent is measured in. A
+bound cut inside one sentence carries a character whole rather than dividing
+it, so such a Span may run one unit past the budget. The budget is the caller's
+number alone: the model holds no tokenizer, counts nothing else, and refuses no
+input for being too long. A Document the caller supplies no definition for
+carries the same `unknown-type` refusal `project` returns.
+
+The division descends one level at a time, and only into the piece that does not
+fit: the whole input, a heading node, adjacent sibling nodes packed under one
+parent, adjacent blocks inside a node, sentences inside a block, and a bound cut
+inside a single sentence. A Span covers whole heading nodes or one contiguous
+piece inside a single node, never a partial node beside another. A Span that
+continues a node repeats that node's own heading line, projected like any other
+text and so carrying an internal link's label rather than its destination, and
+never an ancestor's heading, so renaming a heading costs what editing that
+heading's own body costs. A heading the budget cannot hold beside any text is
+not repeated, and a heading with no body of its own leads its first child node
+rather than standing as a Span of nothing but itself. Overlap exists at the
+sentence level alone, where each Span after the first repeats its predecessor's
+last sentence whenever the budget holds both; when it cannot hold both, the
+Span carries its own sentence alone. An untyped input arrives without a
+definition and descends the same ladder.
+
+Division is total: every authored character of the input belongs to at least one
+Span, and an input carrying no authored text divides into no Span at all. A
+Span's extent is the smallest range of the source that contains everything the
+Span covers, so it spans what the input excludes between two eligible pieces,
+and the extent addresses the authored source where the embedded text carries a
+repeated heading, an internal link's visible label, or a frontmatter value the
+author quoted. A Span divided out of one free-text field value addresses that
+whole value, because a YAML scalar's own positions are the only ones its source
+has, and a Span carrying part of one internal link's label addresses that whole
+link, because a cut never falls inside link syntax.
 
 ## Fixtures
 

package/dist/blocks.d.ts

@@ -0,0 +1,11 @@
+import type { Extent } from './types.js';
+export type HeadingLine = {
+    readonly level: number;
+    readonly name: string;
+    readonly start: number;
+    readonly textEnd: number;
+    readonly next: number;
+};
+export declare function headingLines(content: string, from: number, to: number): HeadingLine[];
+export declare function blockRanges(content: string, from: number, to: number): Extent[];
+//# sourceMappingURL=blocks.d.ts.map

package/dist/blocks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"blocks.d.ts","sourceRoot":"","sources":["../src/blocks.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAmCF,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,WAAW,EAAE,CAiBrF;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAe/E"}

package/dist/blocks.js

@@ -0,0 +1,63 @@
+import { fenceSpans } from './links.js';
+const HEADING = /^(#{1,6})(?!#)[ \t]+(.+?)[ \t]*#*[ \t]*$/;
+function lineAt(content, from, to) {
+    const nl = content.indexOf('\n', from);
+    const end = nl === -1 || nl >= to ? to : nl;
+    const raw = content.slice(from, end);
+    return {
+        text: raw.endsWith('\r') ? raw.slice(0, -1) : raw,
+        next: end === to ? to : end + 1
+    };
+}
+function scan(content, from, to, visit) {
+    const fences = fenceSpans(content.slice(from, to));
+    let i = from;
+    while(i < to){
+        const { text, next } = lineAt(content, i, to);
+        const at = i - from;
+        visit({
+            text,
+            start: i,
+            next,
+            fenced: fences.some(([start, end])=>at >= start && at < end)
+        });
+        if (next === i) break;
+        i = next;
+    }
+}
+export function headingLines(content, from, to) {
+    const found = [];
+    scan(content, from, to, (line)=>{
+        if (line.fenced) return;
+        const match = HEADING.exec(line.text);
+        const hashes = match?.[1];
+        const name = match?.[2];
+        if (hashes === undefined || name === undefined) return;
+        found.push({
+            level: hashes.length,
+            name: name.trim(),
+            start: line.start,
+            textEnd: line.start + line.text.length,
+            next: line.next
+        });
+    });
+    return found;
+}
+export function blockRanges(content, from, to) {
+    const starts = [];
+    let open = false;
+    scan(content, from, to, (line)=>{
+        if (!line.fenced && line.text.trim() === '') {
+            open = false;
+            return;
+        }
+        if (!open) starts.push(line.start);
+        open = true;
+    });
+    return starts.map((start, index)=>({
+            start: index === 0 ? from : start,
+            end: starts[index + 1] ?? to
+        }));
+}
+
+//# sourceMappingURL=blocks.js.map

package/dist/blocks.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["/workspace/packages/mdmodel/src/blocks.ts"],"sourcesContent":["import { fenceSpans } from './links.js';\nimport type { Extent } from './types.js';\n\nexport type HeadingLine = {\n  readonly level: number;\n  readonly name: string;\n  readonly start: number;\n  readonly textEnd: number;\n  readonly next: number;\n};\n\ntype Line = {\n  readonly text: string;\n  readonly start: number;\n  readonly next: number;\n  readonly fenced: boolean;\n};\n\nconst HEADING = /^(#{1,6})(?!#)[ \\t]+(.+?)[ \\t]*#*[ \\t]*$/;\n\nfunction lineAt(content: string, from: number, to: number): { text: string; next: number } {\n  const nl = content.indexOf('\\n', from);\n  const end = nl === -1 || nl >= to ? to : nl;\n  const raw = content.slice(from, end);\n  return { text: raw.endsWith('\\r') ? raw.slice(0, -1) : raw, next: end === to ? to : end + 1 };\n}\n\nfunction scan(content: string, from: number, to: number, visit: (line: Line) => void): void {\n  const fences = fenceSpans(content.slice(from, to));\n  let i = from;\n  while (i < to) {\n    const { text, next } = lineAt(content, i, to);\n    const at = i - from;\n    visit({\n      text,\n      start: i,\n      next,\n      fenced: fences.some(([start, end]) => at >= start && at < end),\n    });\n    if (next === i) break;\n    i = next;\n  }\n}\n\nexport function headingLines(content: string, from: number, to: number): HeadingLine[] {\n  const found: HeadingLine[] = [];\n  scan(content, from, to, (line) => {\n    if (line.fenced) return;\n    const match = HEADING.exec(line.text);\n    const hashes = match?.[1];\n    const name = match?.[2];\n    if (hashes === undefined || name === undefined) return;\n    found.push({\n      level: hashes.length,\n      name: name.trim(),\n      start: line.start,\n      textEnd: line.start + line.text.length,\n      next: line.next,\n    });\n  });\n  return found;\n}\n\nexport function blockRanges(content: string, from: number, to: number): Extent[] {\n  const starts: number[] = [];\n  let open = false;\n  scan(content, from, to, (line) => {\n    if (!line.fenced && line.text.trim() === '') {\n      open = false;\n      return;\n    }\n    if (!open) starts.push(line.start);\n    open = true;\n  });\n  return starts.map((start, index) => ({\n    start: index === 0 ? from : start,\n    end: starts[index + 1] ?? to,\n  }));\n}\n"],"names":["fenceSpans","HEADING","lineAt","content","from","to","nl","indexOf","end","raw","slice","text","endsWith","next","scan","visit","fences","i","at","start","fenced","some","headingLines","found","line","match","exec","hashes","name","undefined","push","level","length","trim","textEnd","blockRanges","starts","open","map","index"],"mappings":"AAAA,SAASA,UAAU,QAAQ,aAAa;AAkBxC,MAAMC,UAAU;AAEhB,SAASC,OAAOC,OAAe,EAAEC,IAAY,EAAEC,EAAU;IACvD,MAAMC,KAAKH,QAAQI,OAAO,CAAC,MAAMH;IACjC,MAAMI,MAAMF,OAAO,CAAC,KAAKA,MAAMD,KAAKA,KAAKC;IACzC,MAAMG,MAAMN,QAAQO,KAAK,CAACN,MAAMI;IAChC,OAAO;QAAEG,MAAMF,IAAIG,QAAQ,CAAC,QAAQH,IAAIC,KAAK,CAAC,GAAG,CAAC,KAAKD;QAAKI,MAAML,QAAQH,KAAKA,KAAKG,MAAM;IAAE;AAC9F;AAEA,SAASM,KAAKX,OAAe,EAAEC,IAAY,EAAEC,EAAU,EAAEU,KAA2B;IAClF,MAAMC,SAAShB,WAAWG,QAAQO,KAAK,CAACN,MAAMC;IAC9C,IAAIY,IAAIb;IACR,MAAOa,IAAIZ,GAAI;QACb,MAAM,EAAEM,IAAI,EAAEE,IAAI,EAAE,GAAGX,OAAOC,SAASc,GAAGZ;QAC1C,MAAMa,KAAKD,IAAIb;QACfW,MAAM;YACJJ;YACAQ,OAAOF;YACPJ;YACAO,QAAQJ,OAAOK,IAAI,CAAC,CAAC,CAACF,OAAOX,IAAI,GAAKU,MAAMC,SAASD,KAAKV;QAC5D;QACA,IAAIK,SAASI,GAAG;QAChBA,IAAIJ;IACN;AACF;AAEA,OAAO,SAASS,aAAanB,OAAe,EAAEC,IAAY,EAAEC,EAAU;IACpE,MAAMkB,QAAuB,EAAE;IAC/BT,KAAKX,SAASC,MAAMC,IAAI,CAACmB;QACvB,IAAIA,KAAKJ,MAAM,EAAE;QACjB,MAAMK,QAAQxB,QAAQyB,IAAI,CAACF,KAAKb,IAAI;QACpC,MAAMgB,SAASF,OAAO,CAAC,EAAE;QACzB,MAAMG,OAAOH,OAAO,CAAC,EAAE;QACvB,IAAIE,WAAWE,aAAaD,SAASC,WAAW;QAChDN,MAAMO,IAAI,CAAC;YACTC,OAAOJ,OAAOK,MAAM;YACpBJ,MAAMA,KAAKK,IAAI;YACfd,OAAOK,KAAKL,KAAK;YACjBe,SAASV,KAAKL,KAAK,GAAGK,KAAKb,IAAI,CAACqB,MAAM;YACtCnB,MAAMW,KAAKX,IAAI;QACjB;IACF;IACA,OAAOU;AACT;AAEA,OAAO,SAASY,YAAYhC,OAAe,EAAEC,IAAY,EAAEC,EAAU;IACnE,MAAM+B,SAAmB,EAAE;IAC3B,IAAIC,OAAO;IACXvB,KAAKX,SAASC,MAAMC,IAAI,CAACmB;QACvB,IAAI,CAACA,KAAKJ,MAAM,IAAII,KAAKb,IAAI,CAACsB,IAAI,OAAO,IAAI;YAC3CI,OAAO;YACP;QACF;QACA,IAAI,CAACA,MAAMD,OAAON,IAAI,CAACN,KAAKL,KAAK;QACjCkB,OAAO;IACT;IACA,OAAOD,OAAOE,GAAG,CAAC,CAACnB,OAAOoB,QAAW,CAAA;YACnCpB,OAAOoB,UAAU,IAAInC,OAAOe;YAC5BX,KAAK4B,MAAM,CAACG,QAAQ,EAAE,IAAIlC;QAC5B,CAAA;AACF"}

package/dist/definition.d.ts

@@ -1,5 +1,9 @@
 import type { Document, Refusal } from './types.js';
-export type ScalarSpec = {
+export type TextSpec = {
+    readonly kind: 'text';
+    readonly required: boolean;
+};
+export type ScalarSpec = TextSpec | {
     readonly kind: 'string';
     readonly required: boolean;
 } | {
@@ -17,15 +21,13 @@ export type ScalarSpec = {
     readonly required: boolean;
     readonly to: string;
 };
-export type FieldSpec = ScalarSpec | {
+export type ListSpec = {
     readonly kind: 'list';
     readonly required: boolean;
     readonly of: ScalarSpec;
 };
-export type SectionSpec = {
-    readonly kind: 'text' | 'list';
-    readonly required: boolean;
-};
+export type FieldSpec = ScalarSpec | ListSpec;
+export type SectionSpec = TextSpec | ListSpec;
 export type Definition = {
     readonly name: string;
     readonly file: string;

package/dist/definition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEpD,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACzF;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,SAAS,GACjB,UAAU,GACV;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAA;CAAE,CAAC;AAEnF,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC;AAEzF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;CAC1D,CAAC;AA4FF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,UAAU,GAAG,OAAO,CA6BrF"}
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEpD,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC;AAE7E,MAAM,MAAM,UAAU,GAClB,QAAQ,GACR;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACzF;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE9C,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE9C,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;CAC1D,CAAC;AAsGF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,UAAU,GAAG,OAAO,CA6BrF"}

package/dist/definition.js

@@ -19,6 +19,7 @@ function stringList(value) {
     return value;
 }
 const SCALAR_KINDS = new Set([
+    'text',
     'string',
     'number',
     'date',
@@ -27,6 +28,10 @@ const SCALAR_KINDS = new Set([
 ]);
 function parseScalar(file, location, spec, required) {
     const kind = spec.kind;
+    if (kind === 'text') return {
+        kind: 'text',
+        required
+    };
     if (kind === 'string') return {
         kind: 'string',
         required
@@ -61,41 +66,42 @@ function parseScalar(file, location, spec, required) {
 function extraKeys(spec, allowed) {
     return Object.keys(spec).some((key)=>!allowed.includes(key));
 }
+function parseList(file, location, spec, required, malformed) {
+    if (typeof spec.of !== 'string' || !SCALAR_KINDS.has(spec.of)) {
+        return refuse(file, 'definition-list-of', location);
+    }
+    const allowed = spec.of === 'enum' ? [
+        'kind',
+        'required',
+        'of',
+        'values'
+    ] : spec.of === 'reference' ? [
+        'kind',
+        'required',
+        'of',
+        'to'
+    ] : [
+        'kind',
+        'required',
+        'of'
+    ];
+    if (extraKeys(spec, allowed)) return refuse(file, malformed, location);
+    const inner = parseScalar(file, location, {
+        ...spec,
+        kind: spec.of
+    }, false);
+    if ('rule' in inner) return inner;
+    return {
+        kind: 'list',
+        required,
+        of: inner
+    };
+}
 function parseField(file, location, value) {
     if (!isRecord(value) || typeof value.kind !== 'string') return refuse(file, 'definition-field', location);
     const required = requiredFlag(value.required);
     if (required === undefined) return refuse(file, 'definition-field', location);
-    if (value.kind === 'list') {
-        if (typeof value.of !== 'string' || !SCALAR_KINDS.has(value.of)) {
-            return refuse(file, 'definition-list-of', location);
-        }
-        const allowed = value.of === 'enum' ? [
-            'kind',
-            'required',
-            'of',
-            'values'
-        ] : value.of === 'reference' ? [
-            'kind',
-            'required',
-            'of',
-            'to'
-        ] : [
-            'kind',
-            'required',
-            'of'
-        ];
-        if (extraKeys(value, allowed)) return refuse(file, 'definition-field', location);
-        const inner = parseScalar(file, location, {
-            ...value,
-            kind: value.of
-        }, false);
-        if ('rule' in inner) return inner;
-        return {
-            kind: 'list',
-            required,
-            of: inner
-        };
-    }
+    if (value.kind === 'list') return parseList(file, location, value, required, 'definition-field');
     const allowed = value.kind === 'enum' ? [
         'kind',
         'required',
@@ -116,14 +122,14 @@ function parseSection(file, location, value) {
         return refuse(file, 'definition-section-kind', location);
     }
     const required = requiredFlag(value.required);
-    if (required === undefined || extraKeys(value, [
+    if (required === undefined) return refuse(file, 'definition-section', location);
+    if (value.kind === 'list') return parseList(file, location, value, required, 'definition-section');
+    if (extraKeys(value, [
         'kind',
         'required'
-    ])) {
-        return refuse(file, 'definition-section', location);
-    }
+    ])) return refuse(file, 'definition-section', location);
     return {
-        kind: value.kind,
+        kind: 'text',
         required
     };
 }
@@ -142,13 +148,13 @@ export function readDefinition(file, document) {
     if (sectionsValue !== undefined && !isRecord(sectionsValue)) {
         return refuse(file, 'definition-sections', 'sections');
     }
-    const fields = {};
+    const fields = Object.create(null);
     for (const [fieldName, spec] of Object.entries(fieldsValue ?? {})){
         const parsed = parseField(file, fieldName, spec);
         if ('rule' in parsed) return parsed;
         fields[fieldName] = parsed;
     }
-    const sections = {};
+    const sections = Object.create(null);
     for (const [sectionName, spec] of Object.entries(sectionsValue ?? {})){
         const parsed = parseSection(file, sectionName, spec);
         if ('rule' in parsed) return parsed;

package/dist/definition.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/Users/executor/code/agents.house/mdmodel/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 ScalarSpec =\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 FieldSpec =\n  | ScalarSpec\n  | { readonly kind: 'list'; readonly required: boolean; readonly of: ScalarSpec };\n\nexport type SectionSpec = { readonly kind: 'text' | 'list'; readonly required: boolean };\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(['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 === '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 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') {\n    if (typeof value.of !== 'string' || !SCALAR_KINDS.has(value.of)) {\n      return refuse(file, 'definition-list-of', location);\n    }\n    const allowed =\n      value.of === 'enum'\n        ? ['kind', 'required', 'of', 'values']\n        : value.of === 'reference'\n          ? ['kind', 'required', 'of', 'to']\n          : ['kind', 'required', 'of'];\n    if (extraKeys(value, allowed)) return refuse(file, 'definition-field', location);\n    const inner = parseScalar(file, location, { ...value, kind: value.of }, false);\n    if ('rule' in inner) return inner;\n    return { kind: 'list', required, of: inner };\n  }\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 || extraKeys(value, ['kind', 'required'])) {\n    return refuse(file, 'definition-section', location);\n  }\n  return { kind: value.kind, 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> = {};\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> = {};\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","parseField","of","has","inner","parseSection","readDefinition","document","type","name","fields","fieldsValue","sectionsValue","sections","fieldName","entries","parsed","sectionName"],"mappings":"AAAA,SAASA,gBAAgB,QAAQ,aAAa;AAC9C,SAASC,OAAO,QAAQ,cAAc;AAuBtC,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;IAAU;IAAU;IAAQ;IAAQ;CAAY;AAE9E,SAASC,YACPf,IAAY,EACZE,QAAgB,EAChBc,IAA6B,EAC7BC,QAAiB;IAEjB,MAAMC,OAAOF,KAAKE,IAAI;IACtB,IAAIA,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,WAAW5B,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;QACzB,IAAI,OAAOb,MAAMwB,EAAE,KAAK,YAAY,CAAChB,aAAaiB,GAAG,CAACzB,MAAMwB,EAAE,GAAG;YAC/D,OAAO9B,OAAOC,MAAM,sBAAsBE;QAC5C;QACA,MAAMoB,UACJjB,MAAMwB,EAAE,KAAK,SACT;YAAC;YAAQ;YAAY;YAAM;SAAS,GACpCxB,MAAMwB,EAAE,KAAK,cACX;YAAC;YAAQ;YAAY;YAAM;SAAK,GAChC;YAAC;YAAQ;YAAY;SAAK;QAClC,IAAIR,UAAUhB,OAAOiB,UAAU,OAAOvB,OAAOC,MAAM,oBAAoBE;QACvE,MAAM6B,QAAQhB,YAAYf,MAAME,UAAU;YAAE,GAAGG,KAAK;YAAEa,MAAMb,MAAMwB,EAAE;QAAC,GAAG;QACxE,IAAI,UAAUE,OAAO,OAAOA;QAC5B,OAAO;YAAEb,MAAM;YAAQD;YAAUY,IAAIE;QAAM;IAC7C;IACA,MAAMT,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,SAASe,aAAahC,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,aAAakB,UAAUhB,OAAO;QAAC;QAAQ;KAAW,GAAG;QACpE,OAAON,OAAOC,MAAM,sBAAsBE;IAC5C;IACA,OAAO;QAAEgB,MAAMb,MAAMa,IAAI;QAAED;IAAS;AACtC;AAEA,OAAO,SAASgB,eAAejC,IAAY,EAAEkC,QAAkB;IAC7D,IAAIA,SAASC,IAAI,KAAK,cAAc,OAAOpC,OAAOC,MAAM;IACxD,MAAMoC,OAAOvC,iBAAiBG;IAC9B,IAAIoC,SAAS,IAAI,OAAOrC,OAAOC,MAAM;IACrC,KAAK,MAAM0B,OAAOH,OAAOC,IAAI,CAACU,SAASG,MAAM,EAAG;QAC9C,IAAIX,QAAQ,UAAUA,QAAQ,YAAYA,QAAQ,YAAY;YAC5D,OAAO3B,OAAOC,MAAM,oBAAoB0B;QAC1C;IACF;IACA,MAAMY,cAAcJ,SAASG,MAAM,CAACA,MAAM;IAC1C,MAAME,gBAAgBL,SAASG,MAAM,CAACG,QAAQ;IAC9C,IAAIF,gBAAgBnC,aAAa,CAACC,SAASkC,cACzC,OAAOvC,OAAOC,MAAM,qBAAqB;IAC3C,IAAIuC,kBAAkBpC,aAAa,CAACC,SAASmC,gBAAgB;QAC3D,OAAOxC,OAAOC,MAAM,uBAAuB;IAC7C;IACA,MAAMqC,SAAoC,CAAC;IAC3C,KAAK,MAAM,CAACI,WAAWzB,KAAK,IAAIO,OAAOmB,OAAO,CAACJ,eAAe,CAAC,GAAI;QACjE,MAAMK,SAASf,WAAW5B,MAAMyC,WAAWzB;QAC3C,IAAI,UAAU2B,QAAQ,OAAOA;QAC7BN,MAAM,CAACI,UAAU,GAAGE;IACtB;IACA,MAAMH,WAAwC,CAAC;IAC/C,KAAK,MAAM,CAACI,aAAa5B,KAAK,IAAIO,OAAOmB,OAAO,CAACH,iBAAiB,CAAC,GAAI;QACrE,MAAMI,SAASX,aAAahC,MAAM4C,aAAa5B;QAC/C,IAAI,UAAU2B,QAAQ,OAAOA;QAC7BH,QAAQ,CAACI,YAAY,GAAGD;IAC1B;IACA,OAAO;QAAEP;QAAMpC;QAAMqC;QAAQG;IAAS;AACxC"}
+{"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"}

package/dist/divide.d.ts

@@ -0,0 +1,3 @@
+import type { Division, DivisionContext, Document } from './types.js';
+export declare function divide(document: Document, file: string, context: DivisionContext): Division;
+//# sourceMappingURL=divide.d.ts.map

package/dist/divide.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"divide.d.ts","sourceRoot":"","sources":["../src/divide.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAgB,MAAM,YAAY,CAAC;AAoWpF,wBAAgB,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,GAAG,QAAQ,CAW3F"}