@agentshouse/mdmodel 0.1.0-alpha.13 → 0.1.0-alpha.14

package/README.md

@@ -16,7 +16,7 @@ through either `import` or `require`; browser bundlers consume the same artifact
 npm install @agentshouse/mdmodel
 ```
 
-Package releases are published after the User confirms.
+Package releases follow the repository release handoff after merge.
 
 ## API
 
@@ -30,6 +30,8 @@ import {
   project,
   serialize,
   validate,
+  verify,
+  verifyDocuments,
   VERSION,
 } from '@agentshouse/mdmodel';
 
@@ -41,6 +43,14 @@ validate(
   },
   { binaryTargets: ['assets/figure.png'] },
 );
+const checked = verify({
+  'model/task.md': '---\ntype: definition\nfields:\n  title: { kind: string }\n---\n',
+});
+if (checked.verdict === 'accept') {
+  validate({ 'tasks/one.md': '---\ntype: task\ntitle: Ship\n---\n' }, undefined, checked.model);
+  const task = checked.model.types.task;
+  const titleKind = task?.fields.title?.kind;
+}
 const parsed = parse(content);
 if (parsed.ok) {
   const next = apply(parsed.document, {
@@ -62,7 +72,16 @@ if (parsed.ok) {
 }
 ```
 
-`validate(library, context?)` takes the resulting text Library and one
+`verify(definitions)` accepts definition text keyed by canonical definition
+address. It returns a verified model whose `types` expose each MD Type's name,
+address, parsed field specs, and declared sections. A field spec names its
+`kind` and `required` flag; a list carries `of`, an enum carries `values`, and a
+reference carries `to`. `verifyDocuments(definitions)` accepts already parsed
+definition Documents keyed by canonical definition address and yields the same
+verified facts without parsing their content again. A verification refusal names
+`source: 'model'` and the definition address.
+
+`validate(library, context?, model?)` 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
@@ -71,6 +90,10 @@ 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.
+When `model` is supplied, validation uses only its definitions and treats every
+Library member as content, even when its Path equals a definition address. A
+content refusal then names `source: 'content'` and its Library Path. Without
+`model`, definition Documents under `types/` are read from the Library.
 
 A typed Document carries the frontmatter fields its MD type declares, plus
 `type`, `site`, and `received`; any other field is refused as

package/dist/definition.d.ts

@@ -30,7 +30,7 @@ export type FieldSpec = ScalarSpec | ListSpec;
 export type SectionSpec = TextSpec | ListSpec;
 export type Definition = {
     readonly name: string;
-    readonly file: string;
+    readonly address: string;
     readonly fields: Readonly<Record<string, FieldSpec>>;
     readonly sections: Readonly<Record<string, SectionSpec>>;
 };

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,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"}
+{"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,OAAO,EAAE,MAAM,CAAC;IACzB,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

@@ -16,7 +16,9 @@ function requiredFlag(value) {
 function stringList(value) {
     if (!Array.isArray(value) || value.length === 0) return undefined;
     if (!value.every((item)=>typeof item === 'string' && item !== '')) return undefined;
-    return value;
+    return [
+        ...value
+    ];
 }
 const SCALAR_KINDS = new Set([
     'text',
@@ -162,7 +164,7 @@ export function readDefinition(file, document) {
     }
     return {
         name,
-        file,
+        address: file,
         fields,
         sections
     };

package/dist/definition.js.map

@@ -1 +1 @@
-{"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"}
+{"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 address: 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, address: 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","address"],"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,OAAO;WAAIE;KAAM;AACnB;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;QAAMU,SAAShD;QAAMuC;QAAQG;IAAS;AACjD"}

package/dist/index.d.ts

@@ -2,7 +2,8 @@ export { divide } from './divide.js';
 export { apply, links, parse, serialize } from './document.js';
 export { MARKDOWN_SYNTAX_PROFILE } from './profile.js';
 export { project } from './project.js';
-export type { ApplyResult, Change, Division, DivisionContext, Document, Library, Link, ParseResult, Projection, ProjectionContext, Refusal, Span, Validation, ValidationContext, } from './types.js';
-export { validate } from './validate.js';
+export type { Definition, FieldSpec, SectionSpec } from './definition.js';
+export type { ApplyResult, Change, Division, DivisionContext, Document, Library, ModelVerification, Link, ParseResult, Projection, ProjectionContext, Refusal, Span, Validation, ValidationContext, VerifiedModel, } from './types.js';
+export { validate, verify, verifyDocuments } from './validate.js';
 export { VERSION } from './version.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,YAAY,EACV,WAAW,EACX,MAAM,EACN,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,OAAO,EACP,IAAI,EACJ,UAAU,EACV,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC1E,YAAY,EACV,WAAW,EACX,MAAM,EACN,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,OAAO,EACP,iBAAiB,EACjB,IAAI,EACJ,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,OAAO,EACP,IAAI,EACJ,UAAU,EACV,iBAAiB,EACjB,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}

package/dist/index.js

@@ -2,7 +2,7 @@ export { divide } from './divide.js';
 export { apply, links, parse, serialize } from './document.js';
 export { MARKDOWN_SYNTAX_PROFILE } from './profile.js';
 export { project } from './project.js';
-export { validate } from './validate.js';
+export { validate, verify, verifyDocuments } from './validate.js';
 export { VERSION } from './version.js';
 
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdmodel/src/index.ts"],"sourcesContent":["export { divide } from './divide.js';\nexport { apply, links, parse, serialize } from './document.js';\nexport { MARKDOWN_SYNTAX_PROFILE } from './profile.js';\nexport { project } from './project.js';\nexport type {\n  ApplyResult,\n  Change,\n  Division,\n  DivisionContext,\n  Document,\n  Library,\n  Link,\n  ParseResult,\n  Projection,\n  ProjectionContext,\n  Refusal,\n  Span,\n  Validation,\n  ValidationContext,\n} from './types.js';\nexport { validate } from './validate.js';\nexport { VERSION } from './version.js';\n"],"names":["divide","apply","links","parse","serialize","MARKDOWN_SYNTAX_PROFILE","project","validate","VERSION"],"mappings":"AAAA,SAASA,MAAM,QAAQ,cAAc;AACrC,SAASC,KAAK,EAAEC,KAAK,EAAEC,KAAK,EAAEC,SAAS,QAAQ,gBAAgB;AAC/D,SAASC,uBAAuB,QAAQ,eAAe;AACvD,SAASC,OAAO,QAAQ,eAAe;AAiBvC,SAASC,QAAQ,QAAQ,gBAAgB;AACzC,SAASC,OAAO,QAAQ,eAAe"}
+{"version":3,"sources":["/workspace/packages/mdmodel/src/index.ts"],"sourcesContent":["export { divide } from './divide.js';\nexport { apply, links, parse, serialize } from './document.js';\nexport { MARKDOWN_SYNTAX_PROFILE } from './profile.js';\nexport { project } from './project.js';\nexport type { Definition, FieldSpec, SectionSpec } from './definition.js';\nexport type {\n  ApplyResult,\n  Change,\n  Division,\n  DivisionContext,\n  Document,\n  Library,\n  ModelVerification,\n  Link,\n  ParseResult,\n  Projection,\n  ProjectionContext,\n  Refusal,\n  Span,\n  Validation,\n  ValidationContext,\n  VerifiedModel,\n} from './types.js';\nexport { validate, verify, verifyDocuments } from './validate.js';\nexport { VERSION } from './version.js';\n"],"names":["divide","apply","links","parse","serialize","MARKDOWN_SYNTAX_PROFILE","project","validate","verify","verifyDocuments","VERSION"],"mappings":"AAAA,SAASA,MAAM,QAAQ,cAAc;AACrC,SAASC,KAAK,EAAEC,KAAK,EAAEC,KAAK,EAAEC,SAAS,QAAQ,gBAAgB;AAC/D,SAASC,uBAAuB,QAAQ,eAAe;AACvD,SAASC,OAAO,QAAQ,eAAe;AAoBvC,SAASC,QAAQ,EAAEC,MAAM,EAAEC,eAAe,QAAQ,gBAAgB;AAClE,SAASC,OAAO,QAAQ,eAAe"}

package/dist/types.d.ts

@@ -1,4 +1,15 @@
+import type { Definition } from './definition.js';
 export type Library = Readonly<Record<string, string>>;
+export type VerifiedModel = {
+    readonly types: Readonly<Record<string, Definition>>;
+};
+export type ModelVerification = {
+    readonly verdict: 'accept';
+    readonly model: VerifiedModel;
+} | ({
+    readonly verdict: 'refuse';
+    readonly source: 'model';
+} & Refusal);
 export type ValidationContext = {
     readonly binaryTargets: readonly string[];
 };
@@ -34,6 +45,7 @@ export type Validation = {
     readonly verdict: 'accept';
 } | ({
     readonly verdict: 'refuse';
+    readonly source?: 'content';
 } & Refusal);
 export type Projection = {
     readonly ok: true;

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvD,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG,MAAM,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,GAC9B,CAAC;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,GAAG,OAAO,CAAC,CAAC;AAE/C,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,MAAM,GACd;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEN,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvD,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CACtD,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAC7D,CAAC;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,CAAC;AAEzE,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG,MAAM,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,GAC9B,CAAC;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAA;CAAE,GAAG,OAAO,CAAC,CAAC;AAE5E,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,MAAM,GACd;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEN,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC"}

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdmodel/src/types.ts"],"sourcesContent":["export type Library = Readonly<Record<string, string>>;\n\nexport type ValidationContext = {\n  readonly binaryTargets: readonly string[];\n};\n\nexport type ProjectionContext = {\n  readonly documentTargets: readonly string[];\n  readonly definition?: string;\n};\n\nexport type DivisionContext = ProjectionContext & {\n  readonly budget: number;\n};\n\nexport type Extent = {\n  readonly start: number;\n  readonly end: number;\n};\n\nexport type Span = Extent & {\n  readonly text: string;\n};\n\nexport type Document = {\n  readonly content: string;\n  readonly type: string | undefined;\n  readonly fields: Readonly<Record<string, unknown>>;\n  readonly preamble: string;\n  readonly sections: Readonly<Record<string, string>>;\n};\n\nexport type Refusal = {\n  readonly file: string;\n  readonly rule: string;\n  readonly version: string;\n  readonly location?: string;\n  readonly referrers?: readonly string[];\n};\n\nexport type Validation =\n  | { readonly verdict: 'accept' }\n  | ({ readonly verdict: 'refuse' } & Refusal);\n\nexport type Projection =\n  | { readonly ok: true; readonly text: string }\n  | { readonly ok: false; readonly refusal: Refusal };\n\nexport type Division =\n  | { readonly ok: true; readonly spans: readonly Span[] }\n  | { readonly ok: false; readonly refusal: Refusal };\n\nexport type ParseResult =\n  | { readonly ok: true; readonly document: Document }\n  | { readonly ok: false; readonly refusal: Refusal };\n\nexport type Link = {\n  readonly href: string;\n  readonly target: string;\n};\n\nexport type Change =\n  | {\n      readonly kind: 'field';\n      readonly name: string;\n      readonly value: unknown;\n      readonly prior: unknown;\n    }\n  | {\n      readonly kind: 'section';\n      readonly name: string;\n      readonly value: string;\n      readonly prior: string;\n    }\n  | {\n      readonly kind: 'preamble';\n      readonly value: string;\n      readonly prior: string;\n    }\n  | {\n      readonly kind: 'link';\n      readonly href: string;\n      readonly to: string;\n    };\n\nexport type ApplyResult =\n  | { readonly outcome: 'applied'; readonly document: Document }\n  | { readonly outcome: 'stale'; readonly document: Document }\n  | { readonly outcome: 'refuse'; readonly refusal: Refusal };\n"],"names":[],"mappings":"AAqFA,WAG8D"}
+{"version":3,"sources":["/workspace/packages/mdmodel/src/types.ts"],"sourcesContent":["import type { Definition } from './definition.js';\n\nexport type Library = Readonly<Record<string, string>>;\n\nexport type VerifiedModel = {\n  readonly types: Readonly<Record<string, Definition>>;\n};\n\nexport type ModelVerification =\n  | { readonly verdict: 'accept'; readonly model: VerifiedModel }\n  | ({ readonly verdict: 'refuse'; readonly source: 'model' } & Refusal);\n\nexport type ValidationContext = {\n  readonly binaryTargets: readonly string[];\n};\n\nexport type ProjectionContext = {\n  readonly documentTargets: readonly string[];\n  readonly definition?: string;\n};\n\nexport type DivisionContext = ProjectionContext & {\n  readonly budget: number;\n};\n\nexport type Extent = {\n  readonly start: number;\n  readonly end: number;\n};\n\nexport type Span = Extent & {\n  readonly text: string;\n};\n\nexport type Document = {\n  readonly content: string;\n  readonly type: string | undefined;\n  readonly fields: Readonly<Record<string, unknown>>;\n  readonly preamble: string;\n  readonly sections: Readonly<Record<string, string>>;\n};\n\nexport type Refusal = {\n  readonly file: string;\n  readonly rule: string;\n  readonly version: string;\n  readonly location?: string;\n  readonly referrers?: readonly string[];\n};\n\nexport type Validation =\n  | { readonly verdict: 'accept' }\n  | ({ readonly verdict: 'refuse'; readonly source?: 'content' } & Refusal);\n\nexport type Projection =\n  | { readonly ok: true; readonly text: string }\n  | { readonly ok: false; readonly refusal: Refusal };\n\nexport type Division =\n  | { readonly ok: true; readonly spans: readonly Span[] }\n  | { readonly ok: false; readonly refusal: Refusal };\n\nexport type ParseResult =\n  | { readonly ok: true; readonly document: Document }\n  | { readonly ok: false; readonly refusal: Refusal };\n\nexport type Link = {\n  readonly href: string;\n  readonly target: string;\n};\n\nexport type Change =\n  | {\n      readonly kind: 'field';\n      readonly name: string;\n      readonly value: unknown;\n      readonly prior: unknown;\n    }\n  | {\n      readonly kind: 'section';\n      readonly name: string;\n      readonly value: string;\n      readonly prior: string;\n    }\n  | {\n      readonly kind: 'preamble';\n      readonly value: string;\n      readonly prior: string;\n    }\n  | {\n      readonly kind: 'link';\n      readonly href: string;\n      readonly to: string;\n    };\n\nexport type ApplyResult =\n  | { readonly outcome: 'applied'; readonly document: Document }\n  | { readonly outcome: 'stale'; readonly document: Document }\n  | { readonly outcome: 'refuse'; readonly refusal: Refusal };\n"],"names":[],"mappings":"AA+FA,WAG8D"}

package/dist/validate.d.ts

@@ -1,3 +1,5 @@
-import type { Library, Validation, ValidationContext } from './types.js';
-export declare function validate(library: Library, context?: ValidationContext): Validation;
+import type { Document, Library, ModelVerification, Validation, ValidationContext, VerifiedModel } from './types.js';
+export declare function verify(definitions: Library): ModelVerification;
+export declare function verifyDocuments(definitions: Readonly<Record<string, Document>>): ModelVerification;
+export declare function validate(library: Library, context?: ValidationContext, model?: VerifiedModel): Validation;
 //# sourceMappingURL=validate.d.ts.map

package/dist/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAY,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAuCnF,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,GACjD,UAAU,CAuHZ"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EACV,QAAQ,EACR,OAAO,EACP,iBAAiB,EAGjB,UAAU,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AA2CpB,wBAAgB,MAAM,CAAC,WAAW,EAAE,OAAO,GAAG,iBAAiB,CAI9D;AAED,wBAAgB,eAAe,CAC7B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,GAC9C,iBAAiB,CAKnB;AAwCD,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,CAAC,EAAE,aAAa,GACpB,UAAU,CAKZ"}

package/dist/validate.js

@@ -12,8 +12,8 @@ function refuse(file, rule, extra) {
         ...refusal(file, rule, extra)
     };
 }
-function instanceType(document, file) {
-    if (isTypesPath(file)) return 'definition';
+function instanceType(document, file, model) {
+    if (model === undefined && isTypesPath(file)) return 'definition';
     const raw = document.fields.type;
     if (raw === undefined || raw === null) return 'any';
     if (typeof raw !== 'string' || raw === '') return 'invalid';
@@ -38,9 +38,63 @@ function declaredTypeOf(content) {
     if (!parsed.ok) return undefined;
     return parsed.document.type ?? 'any';
 }
+export function verify(definitions) {
+    return verifyEntries(Object.keys(definitions).sort(), (address)=>parse(definitions[address], address));
+}
+export function verifyDocuments(definitions) {
+    return verifyEntries(Object.keys(definitions).sort(), (address)=>({
+            ok: true,
+            document: definitions[address]
+        }));
+}
+function verifyEntries(addresses, read) {
+    const definitionsByName = new Map();
+    for (const address of addresses){
+        const failure = collectDefinition(definitionsByName, address, read(address));
+        if (failure !== undefined) return {
+            verdict: 'refuse',
+            source: 'model',
+            ...failure
+        };
+    }
+    const types = Object.create(null);
+    for (const [name, definition] of definitionsByName)types[name] = definition;
+    return {
+        verdict: 'accept',
+        model: Object.freeze({
+            types: Object.freeze(types)
+        })
+    };
+}
+function collectDefinition(definitions, address, parsed) {
+    if (!parsed.ok) return parsed.refusal;
+    const definition = readDefinition(address, parsed.document);
+    if ('rule' in definition) return definition;
+    if (definitions.has(definition.name)) return refusal(address, 'definition-duplicate', {
+        location: definition.name
+    });
+    for (const spec of Object.values(definition.fields))freezeSpec(spec);
+    for (const spec of Object.values(definition.sections))freezeSpec(spec);
+    Object.freeze(definition.fields);
+    Object.freeze(definition.sections);
+    definitions.set(definition.name, Object.freeze(definition));
+    return undefined;
+}
+function freezeSpec(spec) {
+    if (spec.kind === 'list') freezeSpec(spec.of);
+    if (spec.kind === 'enum') Object.freeze(spec.values);
+    Object.freeze(spec);
+}
 export function validate(library, context = {
     binaryTargets: []
-}) {
+}, model) {
+    const verdict = validateLibrary(library, context, model);
+    return model !== undefined && verdict.verdict === 'refuse' ? {
+        ...verdict,
+        source: 'content'
+    } : verdict;
+}
+function validateLibrary(library, context, model) {
     const binaryTargets = new Set(context.binaryTargets);
     const files = Object.keys(library).sort();
     const documents = new Map();
@@ -54,28 +108,27 @@ export function validate(library, context = {
         };
     }
     const definitions = new Map();
-    for (const file of files){
-        if (!isTypesPath(file)) continue;
-        const parsed = documents.get(file);
-        if (parsed === undefined || !parsed.ok) continue;
-        const definition = readDefinition(file, parsed.document);
-        if ('rule' in definition) return {
-            verdict: 'refuse',
-            ...definition
-        };
-        const existing = definitions.get(definition.name);
-        if (existing !== undefined) return refuse(file, 'definition-duplicate', {
-            location: definition.name
-        });
-        definitions.set(definition.name, definition);
+    if (model !== undefined) {
+        for (const [name, definition] of Object.entries(model.types))definitions.set(name, definition);
+    } else {
+        for (const file of files){
+            if (!isTypesPath(file)) continue;
+            const parsed = documents.get(file);
+            if (parsed === undefined) continue;
+            const failure = collectDefinition(definitions, file, parsed);
+            if (failure !== undefined) return {
+                verdict: 'refuse',
+                ...failure
+            };
+        }
     }
     for (const file of files){
         const parsed = documents.get(file);
         if (parsed === undefined || !parsed.ok) continue;
-        const kind = instanceType(parsed.document, file);
+        const kind = instanceType(parsed.document, file, model);
         if (kind === 'any') continue;
         if (kind === 'invalid' || kind === 'definition') {
-            if (kind === 'definition' && isTypesPath(file)) continue;
+            if (kind === 'definition' && model === undefined && isTypesPath(file)) continue;
             return refuse(file, 'unknown-type', {
                 location: 'type'
             });
@@ -117,7 +170,7 @@ export function validate(library, context = {
     for (const file of files){
         const parsed = documents.get(file);
         if (parsed === undefined || !parsed.ok) continue;
-        const kind = instanceType(parsed.document, file);
+        const kind = instanceType(parsed.document, file, model);
         if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;
         const definition = definitions.get(kind);
         if (definition === undefined) continue;
@@ -150,7 +203,7 @@ export function validate(library, context = {
     for (const file of files){
         const parsed = documents.get(file);
         if (parsed === undefined || !parsed.ok) continue;
-        const kind = instanceType(parsed.document, file);
+        const kind = instanceType(parsed.document, file, model);
         if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;
         const definition = definitions.get(kind);
         if (definition === undefined) continue;

package/dist/validate.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdmodel/src/validate.ts"],"sourcesContent":["import { readDefinition, type Definition, type FieldSpec } from './definition.js';\nimport { parse } from './document.js';\nimport { hrefOccurrences } from './links.js';\nimport { classifyHref, isTypesPath } from './paths.js';\nimport { refusal } from './refuse.js';\nimport { parseListSection } from './sections.js';\nimport { validateFields } from './schema.js';\nimport type { Document, Library, Validation, ValidationContext } from './types.js';\nimport { bodyAfterFrontmatter } from './yaml.js';\n\nfunction refuse(\n  file: string,\n  rule: string,\n  extra?: { location?: string; referrers?: readonly string[] },\n): Validation {\n  return { verdict: 'refuse', ...refusal(file, rule, extra) };\n}\n\nfunction instanceType(document: Document, file: string): 'any' | 'definition' | 'invalid' | string {\n  if (isTypesPath(file)) return 'definition';\n  const raw = document.fields.type;\n  if (raw === undefined || raw === null) return 'any';\n  if (typeof raw !== 'string' || raw === '') return 'invalid';\n  return raw;\n}\n\nfunction referenceTargets(spec: FieldSpec, value: unknown): string[] {\n  if (spec.kind === 'reference' && typeof value === 'string') return [value];\n  if (spec.kind === 'list' && spec.of.kind === 'reference' && Array.isArray(value)) {\n    return value.filter((item): item is string => typeof item === 'string');\n  }\n  return [];\n}\n\nfunction expectedReferenceType(spec: FieldSpec): string | null {\n  if (spec.kind === 'reference') return spec.to;\n  if (spec.kind === 'list' && spec.of.kind === 'reference') return spec.of.to;\n  return null;\n}\n\nfunction declaredTypeOf(content: string): string | undefined {\n  const parsed = parse(content);\n  if (!parsed.ok) return undefined;\n  return parsed.document.type ?? 'any';\n}\n\nexport function validate(\n  library: Library,\n  context: ValidationContext = { binaryTargets: [] },\n): Validation {\n  const binaryTargets = new Set(context.binaryTargets);\n  const files = Object.keys(library).sort();\n  const documents = new Map<string, ReturnType<typeof parse>>();\n  for (const file of files) {\n    if (binaryTargets.has(file)) return refuse(file, 'binary-target-document');\n    const parsed = parse(library[file]!, file);\n    documents.set(file, parsed);\n    if (!parsed.ok) return { verdict: 'refuse', ...parsed.refusal };\n  }\n\n  const definitions = new Map<string, Definition>();\n  for (const file of files) {\n    if (!isTypesPath(file)) continue;\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const definition = readDefinition(file, parsed.document);\n    if ('rule' in definition) return { verdict: 'refuse', ...definition };\n    const existing = definitions.get(definition.name);\n    if (existing !== undefined)\n      return refuse(file, 'definition-duplicate', { location: definition.name });\n    definitions.set(definition.name, definition);\n  }\n\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file);\n    if (kind === 'any') continue;\n    if (kind === 'invalid' || kind === 'definition') {\n      if (kind === 'definition' && isTypesPath(file)) continue;\n      return refuse(file, 'unknown-type', { location: 'type' });\n    }\n    const definition = definitions.get(kind);\n    if (definition === undefined) return refuse(file, 'unknown-type', { location: 'type' });\n    const fieldFailure = validateFields(definition.fields, parsed.document.fields);\n    if (fieldFailure !== undefined) {\n      return refuse(file, fieldFailure.rule, { location: fieldFailure.field });\n    }\n    const declaredFields = new Set(Object.keys(definition.fields));\n    const undeclared = Object.keys(parsed.document.fields).find(\n      (name) => !['type', 'site', 'received'].includes(name) && !declaredFields.has(name),\n    );\n    if (undeclared !== undefined) return refuse(file, 'undeclared-field', { location: undeclared });\n    for (const [name, spec] of Object.entries(definition.sections)) {\n      const body = parsed.document.sections[name];\n      if (body === undefined) {\n        if (spec.required) return refuse(file, 'required-section', { location: name });\n        continue;\n      }\n      if (spec.kind === 'list' && !parseListSection(body)) {\n        return refuse(file, 'structured-section', { location: name });\n      }\n    }\n  }\n\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file);\n    if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;\n    const definition = definitions.get(kind);\n    if (definition === undefined) continue;\n    for (const [name, spec] of Object.entries(definition.fields)) {\n      const targets = referenceTargets(spec, parsed.document.fields[name]);\n      const expected = expectedReferenceType(spec);\n      if (expected === null) continue;\n      for (const target of targets) {\n        const resolved = classifyHref(file, target);\n        if (resolved.kind !== 'path' || binaryTargets.has(resolved.path))\n          return refuse(file, 'unresolved-reference', { location: name });\n        if (!documents.has(resolved.path)) continue;\n        const targetType = declaredTypeOf(library[resolved.path]!);\n        if (targetType !== expected)\n          return refuse(file, 'unresolved-reference', { location: name });\n      }\n    }\n    const body = bodyAfterFrontmatter(library[file]!);\n    for (const occurrence of hrefOccurrences(body)) {\n      const resolved = classifyHref(file, occurrence.href);\n      if (resolved.kind === 'skip') continue;\n      if (\n        resolved.kind === 'invalid' ||\n        (!documents.has(resolved.path) && !binaryTargets.has(resolved.path))\n      ) {\n        return refuse(file, 'unresolved-link');\n      }\n    }\n  }\n\n  const missing = new Map<string, string[]>();\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file);\n    if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;\n    const definition = definitions.get(kind);\n    if (definition === undefined) continue;\n    for (const [name, spec] of Object.entries(definition.fields)) {\n      const expected = expectedReferenceType(spec);\n      if (expected === null) continue;\n      for (const target of referenceTargets(spec, parsed.document.fields[name])) {\n        const resolved = classifyHref(file, target);\n        if (resolved.kind !== 'path') continue;\n        if (documents.has(resolved.path)) continue;\n        const referrers = missing.get(resolved.path) ?? [];\n        referrers.push(file);\n        missing.set(resolved.path, referrers);\n      }\n    }\n  }\n  const missingPaths = [...missing.keys()].sort();\n  if (missingPaths.length > 0) {\n    const path = missingPaths[0]!;\n    const referrers = [...new Set(missing.get(path) ?? [])].sort();\n    return refuse(path, 'referenced-missing-file', { referrers });\n  }\n\n  return { verdict: 'accept' };\n}\n"],"names":["readDefinition","parse","hrefOccurrences","classifyHref","isTypesPath","refusal","parseListSection","validateFields","bodyAfterFrontmatter","refuse","file","rule","extra","verdict","instanceType","document","raw","fields","type","undefined","referenceTargets","spec","value","kind","of","Array","isArray","filter","item","expectedReferenceType","to","declaredTypeOf","content","parsed","ok","validate","library","context","binaryTargets","Set","files","Object","keys","sort","documents","Map","has","set","definitions","get","definition","existing","name","location","fieldFailure","field","declaredFields","undeclared","find","includes","entries","sections","body","required","targets","expected","target","resolved","path","targetType","occurrence","href","missing","referrers","push","missingPaths","length"],"mappings":"AAAA,SAASA,cAAc,QAAyC,kBAAkB;AAClF,SAASC,KAAK,QAAQ,gBAAgB;AACtC,SAASC,eAAe,QAAQ,aAAa;AAC7C,SAASC,YAAY,EAAEC,WAAW,QAAQ,aAAa;AACvD,SAASC,OAAO,QAAQ,cAAc;AACtC,SAASC,gBAAgB,QAAQ,gBAAgB;AACjD,SAASC,cAAc,QAAQ,cAAc;AAE7C,SAASC,oBAAoB,QAAQ,YAAY;AAEjD,SAASC,OACPC,IAAY,EACZC,IAAY,EACZC,KAA4D;IAE5D,OAAO;QAAEC,SAAS;QAAU,GAAGR,QAAQK,MAAMC,MAAMC,MAAM;IAAC;AAC5D;AAEA,SAASE,aAAaC,QAAkB,EAAEL,IAAY;IACpD,IAAIN,YAAYM,OAAO,OAAO;IAC9B,MAAMM,MAAMD,SAASE,MAAM,CAACC,IAAI;IAChC,IAAIF,QAAQG,aAAaH,QAAQ,MAAM,OAAO;IAC9C,IAAI,OAAOA,QAAQ,YAAYA,QAAQ,IAAI,OAAO;IAClD,OAAOA;AACT;AAEA,SAASI,iBAAiBC,IAAe,EAAEC,KAAc;IACvD,IAAID,KAAKE,IAAI,KAAK,eAAe,OAAOD,UAAU,UAAU,OAAO;QAACA;KAAM;IAC1E,IAAID,KAAKE,IAAI,KAAK,UAAUF,KAAKG,EAAE,CAACD,IAAI,KAAK,eAAeE,MAAMC,OAAO,CAACJ,QAAQ;QAChF,OAAOA,MAAMK,MAAM,CAAC,CAACC,OAAyB,OAAOA,SAAS;IAChE;IACA,OAAO,EAAE;AACX;AAEA,SAASC,sBAAsBR,IAAe;IAC5C,IAAIA,KAAKE,IAAI,KAAK,aAAa,OAAOF,KAAKS,EAAE;IAC7C,IAAIT,KAAKE,IAAI,KAAK,UAAUF,KAAKG,EAAE,CAACD,IAAI,KAAK,aAAa,OAAOF,KAAKG,EAAE,CAACM,EAAE;IAC3E,OAAO;AACT;AAEA,SAASC,eAAeC,OAAe;IACrC,MAAMC,SAAShC,MAAM+B;IACrB,IAAI,CAACC,OAAOC,EAAE,EAAE,OAAOf;IACvB,OAAOc,OAAOlB,QAAQ,CAACG,IAAI,IAAI;AACjC;AAEA,OAAO,SAASiB,SACdC,OAAgB,EAChBC,UAA6B;IAAEC,eAAe,EAAE;AAAC,CAAC;IAElD,MAAMA,gBAAgB,IAAIC,IAAIF,QAAQC,aAAa;IACnD,MAAME,QAAQC,OAAOC,IAAI,CAACN,SAASO,IAAI;IACvC,MAAMC,YAAY,IAAIC;IACtB,KAAK,MAAMnC,QAAQ8B,MAAO;QACxB,IAAIF,cAAcQ,GAAG,CAACpC,OAAO,OAAOD,OAAOC,MAAM;QACjD,MAAMuB,SAAShC,MAAMmC,OAAO,CAAC1B,KAAK,EAAGA;QACrCkC,UAAUG,GAAG,CAACrC,MAAMuB;QACpB,IAAI,CAACA,OAAOC,EAAE,EAAE,OAAO;YAAErB,SAAS;YAAU,GAAGoB,OAAO5B,OAAO;QAAC;IAChE;IAEA,MAAM2C,cAAc,IAAIH;IACxB,KAAK,MAAMnC,QAAQ8B,MAAO;QACxB,IAAI,CAACpC,YAAYM,OAAO;QACxB,MAAMuB,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMgB,aAAalD,eAAeU,MAAMuB,OAAOlB,QAAQ;QACvD,IAAI,UAAUmC,YAAY,OAAO;YAAErC,SAAS;YAAU,GAAGqC,UAAU;QAAC;QACpE,MAAMC,WAAWH,YAAYC,GAAG,CAACC,WAAWE,IAAI;QAChD,IAAID,aAAahC,WACf,OAAOV,OAAOC,MAAM,wBAAwB;YAAE2C,UAAUH,WAAWE,IAAI;QAAC;QAC1EJ,YAAYD,GAAG,CAACG,WAAWE,IAAI,EAAEF;IACnC;IAEA,KAAK,MAAMxC,QAAQ8B,MAAO;QACxB,MAAMP,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOT,aAAamB,OAAOlB,QAAQ,EAAEL;QAC3C,IAAIa,SAAS,OAAO;QACpB,IAAIA,SAAS,aAAaA,SAAS,cAAc;YAC/C,IAAIA,SAAS,gBAAgBnB,YAAYM,OAAO;YAChD,OAAOD,OAAOC,MAAM,gBAAgB;gBAAE2C,UAAU;YAAO;QACzD;QACA,MAAMH,aAAaF,YAAYC,GAAG,CAAC1B;QACnC,IAAI2B,eAAe/B,WAAW,OAAOV,OAAOC,MAAM,gBAAgB;YAAE2C,UAAU;QAAO;QACrF,MAAMC,eAAe/C,eAAe2C,WAAWjC,MAAM,EAAEgB,OAAOlB,QAAQ,CAACE,MAAM;QAC7E,IAAIqC,iBAAiBnC,WAAW;YAC9B,OAAOV,OAAOC,MAAM4C,aAAa3C,IAAI,EAAE;gBAAE0C,UAAUC,aAAaC,KAAK;YAAC;QACxE;QACA,MAAMC,iBAAiB,IAAIjB,IAAIE,OAAOC,IAAI,CAACQ,WAAWjC,MAAM;QAC5D,MAAMwC,aAAahB,OAAOC,IAAI,CAACT,OAAOlB,QAAQ,CAACE,MAAM,EAAEyC,IAAI,CACzD,CAACN,OAAS,CAAC;gBAAC;gBAAQ;gBAAQ;aAAW,CAACO,QAAQ,CAACP,SAAS,CAACI,eAAeV,GAAG,CAACM;QAEhF,IAAIK,eAAetC,WAAW,OAAOV,OAAOC,MAAM,oBAAoB;YAAE2C,UAAUI;QAAW;QAC7F,KAAK,MAAM,CAACL,MAAM/B,KAAK,IAAIoB,OAAOmB,OAAO,CAACV,WAAWW,QAAQ,EAAG;YAC9D,MAAMC,OAAO7B,OAAOlB,QAAQ,CAAC8C,QAAQ,CAACT,KAAK;YAC3C,IAAIU,SAAS3C,WAAW;gBACtB,IAAIE,KAAK0C,QAAQ,EAAE,OAAOtD,OAAOC,MAAM,oBAAoB;oBAAE2C,UAAUD;gBAAK;gBAC5E;YACF;YACA,IAAI/B,KAAKE,IAAI,KAAK,UAAU,CAACjB,iBAAiBwD,OAAO;gBACnD,OAAOrD,OAAOC,MAAM,sBAAsB;oBAAE2C,UAAUD;gBAAK;YAC7D;QACF;IACF;IAEA,KAAK,MAAM1C,QAAQ8B,MAAO;QACxB,MAAMP,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOT,aAAamB,OAAOlB,QAAQ,EAAEL;QAC3C,IAAIa,SAAS,SAASA,SAAS,gBAAgBA,SAAS,WAAW;QACnE,MAAM2B,aAAaF,YAAYC,GAAG,CAAC1B;QACnC,IAAI2B,eAAe/B,WAAW;QAC9B,KAAK,MAAM,CAACiC,MAAM/B,KAAK,IAAIoB,OAAOmB,OAAO,CAACV,WAAWjC,MAAM,EAAG;YAC5D,MAAM+C,UAAU5C,iBAAiBC,MAAMY,OAAOlB,QAAQ,CAACE,MAAM,CAACmC,KAAK;YACnE,MAAMa,WAAWpC,sBAAsBR;YACvC,IAAI4C,aAAa,MAAM;YACvB,KAAK,MAAMC,UAAUF,QAAS;gBAC5B,MAAMG,WAAWhE,aAAaO,MAAMwD;gBACpC,IAAIC,SAAS5C,IAAI,KAAK,UAAUe,cAAcQ,GAAG,CAACqB,SAASC,IAAI,GAC7D,OAAO3D,OAAOC,MAAM,wBAAwB;oBAAE2C,UAAUD;gBAAK;gBAC/D,IAAI,CAACR,UAAUE,GAAG,CAACqB,SAASC,IAAI,GAAG;gBACnC,MAAMC,aAAatC,eAAeK,OAAO,CAAC+B,SAASC,IAAI,CAAC;gBACxD,IAAIC,eAAeJ,UACjB,OAAOxD,OAAOC,MAAM,wBAAwB;oBAAE2C,UAAUD;gBAAK;YACjE;QACF;QACA,MAAMU,OAAOtD,qBAAqB4B,OAAO,CAAC1B,KAAK;QAC/C,KAAK,MAAM4D,cAAcpE,gBAAgB4D,MAAO;YAC9C,MAAMK,WAAWhE,aAAaO,MAAM4D,WAAWC,IAAI;YACnD,IAAIJ,SAAS5C,IAAI,KAAK,QAAQ;YAC9B,IACE4C,SAAS5C,IAAI,KAAK,aACjB,CAACqB,UAAUE,GAAG,CAACqB,SAASC,IAAI,KAAK,CAAC9B,cAAcQ,GAAG,CAACqB,SAASC,IAAI,GAClE;gBACA,OAAO3D,OAAOC,MAAM;YACtB;QACF;IACF;IAEA,MAAM8D,UAAU,IAAI3B;IACpB,KAAK,MAAMnC,QAAQ8B,MAAO;QACxB,MAAMP,SAASW,UAAUK,GAAG,CAACvC;QAC7B,IAAIuB,WAAWd,aAAa,CAACc,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOT,aAAamB,OAAOlB,QAAQ,EAAEL;QAC3C,IAAIa,SAAS,SAASA,SAAS,gBAAgBA,SAAS,WAAW;QACnE,MAAM2B,aAAaF,YAAYC,GAAG,CAAC1B;QACnC,IAAI2B,eAAe/B,WAAW;QAC9B,KAAK,MAAM,CAACiC,MAAM/B,KAAK,IAAIoB,OAAOmB,OAAO,CAACV,WAAWjC,MAAM,EAAG;YAC5D,MAAMgD,WAAWpC,sBAAsBR;YACvC,IAAI4C,aAAa,MAAM;YACvB,KAAK,MAAMC,UAAU9C,iBAAiBC,MAAMY,OAAOlB,QAAQ,CAACE,MAAM,CAACmC,KAAK,EAAG;gBACzE,MAAMe,WAAWhE,aAAaO,MAAMwD;gBACpC,IAAIC,SAAS5C,IAAI,KAAK,QAAQ;gBAC9B,IAAIqB,UAAUE,GAAG,CAACqB,SAASC,IAAI,GAAG;gBAClC,MAAMK,YAAYD,QAAQvB,GAAG,CAACkB,SAASC,IAAI,KAAK,EAAE;gBAClDK,UAAUC,IAAI,CAAChE;gBACf8D,QAAQzB,GAAG,CAACoB,SAASC,IAAI,EAAEK;YAC7B;QACF;IACF;IACA,MAAME,eAAe;WAAIH,QAAQ9B,IAAI;KAAG,CAACC,IAAI;IAC7C,IAAIgC,aAAaC,MAAM,GAAG,GAAG;QAC3B,MAAMR,OAAOO,YAAY,CAAC,EAAE;QAC5B,MAAMF,YAAY;eAAI,IAAIlC,IAAIiC,QAAQvB,GAAG,CAACmB,SAAS,EAAE;SAAE,CAACzB,IAAI;QAC5D,OAAOlC,OAAO2D,MAAM,2BAA2B;YAAEK;QAAU;IAC7D;IAEA,OAAO;QAAE5D,SAAS;IAAS;AAC7B"}
+{"version":3,"sources":["/workspace/packages/mdmodel/src/validate.ts"],"sourcesContent":["import { readDefinition, type Definition, type FieldSpec } from './definition.js';\nimport { parse } from './document.js';\nimport { hrefOccurrences } from './links.js';\nimport { classifyHref, isTypesPath } from './paths.js';\nimport { refusal } from './refuse.js';\nimport { parseListSection } from './sections.js';\nimport { validateFields } from './schema.js';\nimport type {\n  Document,\n  Library,\n  ModelVerification,\n  ParseResult,\n  Refusal,\n  Validation,\n  ValidationContext,\n  VerifiedModel,\n} from './types.js';\nimport { bodyAfterFrontmatter } from './yaml.js';\n\nfunction refuse(\n  file: string,\n  rule: string,\n  extra?: { location?: string; referrers?: readonly string[] },\n): Validation {\n  return { verdict: 'refuse', ...refusal(file, rule, extra) };\n}\n\nfunction instanceType(\n  document: Document,\n  file: string,\n  model?: VerifiedModel,\n): 'any' | 'definition' | 'invalid' | string {\n  if (model === undefined && isTypesPath(file)) return 'definition';\n  const raw = document.fields.type;\n  if (raw === undefined || raw === null) return 'any';\n  if (typeof raw !== 'string' || raw === '') return 'invalid';\n  return raw;\n}\n\nfunction referenceTargets(spec: FieldSpec, value: unknown): string[] {\n  if (spec.kind === 'reference' && typeof value === 'string') return [value];\n  if (spec.kind === 'list' && spec.of.kind === 'reference' && Array.isArray(value)) {\n    return value.filter((item): item is string => typeof item === 'string');\n  }\n  return [];\n}\n\nfunction expectedReferenceType(spec: FieldSpec): string | null {\n  if (spec.kind === 'reference') return spec.to;\n  if (spec.kind === 'list' && spec.of.kind === 'reference') return spec.of.to;\n  return null;\n}\n\nfunction declaredTypeOf(content: string): string | undefined {\n  const parsed = parse(content);\n  if (!parsed.ok) return undefined;\n  return parsed.document.type ?? 'any';\n}\n\nexport function verify(definitions: Library): ModelVerification {\n  return verifyEntries(Object.keys(definitions).sort(), (address) =>\n    parse(definitions[address]!, address),\n  );\n}\n\nexport function verifyDocuments(\n  definitions: Readonly<Record<string, Document>>,\n): ModelVerification {\n  return verifyEntries(Object.keys(definitions).sort(), (address) => ({\n    ok: true,\n    document: definitions[address]!,\n  }));\n}\n\nfunction verifyEntries(\n  addresses: readonly string[],\n  read: (address: string) => ParseResult,\n): ModelVerification {\n  const definitionsByName = new Map<string, Definition>();\n  for (const address of addresses) {\n    const failure = collectDefinition(definitionsByName, address, read(address));\n    if (failure !== undefined) return { verdict: 'refuse', source: 'model', ...failure };\n  }\n  const types: Record<string, Definition> = Object.create(null);\n  for (const [name, definition] of definitionsByName) types[name] = definition;\n  return { verdict: 'accept', model: Object.freeze({ types: Object.freeze(types) }) };\n}\n\nfunction collectDefinition(\n  definitions: Map<string, Definition>,\n  address: string,\n  parsed: ParseResult,\n): Refusal | undefined {\n  if (!parsed.ok) return parsed.refusal;\n  const definition = readDefinition(address, parsed.document);\n  if ('rule' in definition) return definition;\n  if (definitions.has(definition.name))\n    return refusal(address, 'definition-duplicate', { location: definition.name });\n  for (const spec of Object.values(definition.fields)) freezeSpec(spec);\n  for (const spec of Object.values(definition.sections)) freezeSpec(spec);\n  Object.freeze(definition.fields);\n  Object.freeze(definition.sections);\n  definitions.set(definition.name, Object.freeze(definition));\n  return undefined;\n}\n\nfunction freezeSpec(spec: FieldSpec): void {\n  if (spec.kind === 'list') freezeSpec(spec.of);\n  if (spec.kind === 'enum') Object.freeze(spec.values);\n  Object.freeze(spec);\n}\n\nexport function validate(\n  library: Library,\n  context: ValidationContext = { binaryTargets: [] },\n  model?: VerifiedModel,\n): Validation {\n  const verdict = validateLibrary(library, context, model);\n  return model !== undefined && verdict.verdict === 'refuse'\n    ? { ...verdict, source: 'content' }\n    : verdict;\n}\n\nfunction validateLibrary(\n  library: Library,\n  context: ValidationContext,\n  model?: VerifiedModel,\n): Validation {\n  const binaryTargets = new Set(context.binaryTargets);\n  const files = Object.keys(library).sort();\n  const documents = new Map<string, ReturnType<typeof parse>>();\n  for (const file of files) {\n    if (binaryTargets.has(file)) return refuse(file, 'binary-target-document');\n    const parsed = parse(library[file]!, file);\n    documents.set(file, parsed);\n    if (!parsed.ok) return { verdict: 'refuse', ...parsed.refusal };\n  }\n\n  const definitions = new Map<string, Definition>();\n  if (model !== undefined) {\n    for (const [name, definition] of Object.entries(model.types)) definitions.set(name, definition);\n  } else {\n    for (const file of files) {\n      if (!isTypesPath(file)) continue;\n      const parsed = documents.get(file);\n      if (parsed === undefined) continue;\n      const failure = collectDefinition(definitions, file, parsed);\n      if (failure !== undefined) return { verdict: 'refuse', ...failure };\n    }\n  }\n\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file, model);\n    if (kind === 'any') continue;\n    if (kind === 'invalid' || kind === 'definition') {\n      if (kind === 'definition' && model === undefined && isTypesPath(file)) continue;\n      return refuse(file, 'unknown-type', { location: 'type' });\n    }\n    const definition = definitions.get(kind);\n    if (definition === undefined) return refuse(file, 'unknown-type', { location: 'type' });\n    const fieldFailure = validateFields(definition.fields, parsed.document.fields);\n    if (fieldFailure !== undefined) {\n      return refuse(file, fieldFailure.rule, { location: fieldFailure.field });\n    }\n    const declaredFields = new Set(Object.keys(definition.fields));\n    const undeclared = Object.keys(parsed.document.fields).find(\n      (name) => !['type', 'site', 'received'].includes(name) && !declaredFields.has(name),\n    );\n    if (undeclared !== undefined) return refuse(file, 'undeclared-field', { location: undeclared });\n    for (const [name, spec] of Object.entries(definition.sections)) {\n      const body = parsed.document.sections[name];\n      if (body === undefined) {\n        if (spec.required) return refuse(file, 'required-section', { location: name });\n        continue;\n      }\n      if (spec.kind === 'list' && !parseListSection(body)) {\n        return refuse(file, 'structured-section', { location: name });\n      }\n    }\n  }\n\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file, model);\n    if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;\n    const definition = definitions.get(kind);\n    if (definition === undefined) continue;\n    for (const [name, spec] of Object.entries(definition.fields)) {\n      const targets = referenceTargets(spec, parsed.document.fields[name]);\n      const expected = expectedReferenceType(spec);\n      if (expected === null) continue;\n      for (const target of targets) {\n        const resolved = classifyHref(file, target);\n        if (resolved.kind !== 'path' || binaryTargets.has(resolved.path))\n          return refuse(file, 'unresolved-reference', { location: name });\n        if (!documents.has(resolved.path)) continue;\n        const targetType = declaredTypeOf(library[resolved.path]!);\n        if (targetType !== expected)\n          return refuse(file, 'unresolved-reference', { location: name });\n      }\n    }\n    const body = bodyAfterFrontmatter(library[file]!);\n    for (const occurrence of hrefOccurrences(body)) {\n      const resolved = classifyHref(file, occurrence.href);\n      if (resolved.kind === 'skip') continue;\n      if (\n        resolved.kind === 'invalid' ||\n        (!documents.has(resolved.path) && !binaryTargets.has(resolved.path))\n      ) {\n        return refuse(file, 'unresolved-link');\n      }\n    }\n  }\n\n  const missing = new Map<string, string[]>();\n  for (const file of files) {\n    const parsed = documents.get(file);\n    if (parsed === undefined || !parsed.ok) continue;\n    const kind = instanceType(parsed.document, file, model);\n    if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;\n    const definition = definitions.get(kind);\n    if (definition === undefined) continue;\n    for (const [name, spec] of Object.entries(definition.fields)) {\n      const expected = expectedReferenceType(spec);\n      if (expected === null) continue;\n      for (const target of referenceTargets(spec, parsed.document.fields[name])) {\n        const resolved = classifyHref(file, target);\n        if (resolved.kind !== 'path') continue;\n        if (documents.has(resolved.path)) continue;\n        const referrers = missing.get(resolved.path) ?? [];\n        referrers.push(file);\n        missing.set(resolved.path, referrers);\n      }\n    }\n  }\n  const missingPaths = [...missing.keys()].sort();\n  if (missingPaths.length > 0) {\n    const path = missingPaths[0]!;\n    const referrers = [...new Set(missing.get(path) ?? [])].sort();\n    return refuse(path, 'referenced-missing-file', { referrers });\n  }\n\n  return { verdict: 'accept' };\n}\n"],"names":["readDefinition","parse","hrefOccurrences","classifyHref","isTypesPath","refusal","parseListSection","validateFields","bodyAfterFrontmatter","refuse","file","rule","extra","verdict","instanceType","document","model","undefined","raw","fields","type","referenceTargets","spec","value","kind","of","Array","isArray","filter","item","expectedReferenceType","to","declaredTypeOf","content","parsed","ok","verify","definitions","verifyEntries","Object","keys","sort","address","verifyDocuments","addresses","read","definitionsByName","Map","failure","collectDefinition","source","types","create","name","definition","freeze","has","location","values","freezeSpec","sections","set","validate","library","context","binaryTargets","validateLibrary","Set","files","documents","entries","get","fieldFailure","field","declaredFields","undeclared","find","includes","body","required","targets","expected","target","resolved","path","targetType","occurrence","href","missing","referrers","push","missingPaths","length"],"mappings":"AAAA,SAASA,cAAc,QAAyC,kBAAkB;AAClF,SAASC,KAAK,QAAQ,gBAAgB;AACtC,SAASC,eAAe,QAAQ,aAAa;AAC7C,SAASC,YAAY,EAAEC,WAAW,QAAQ,aAAa;AACvD,SAASC,OAAO,QAAQ,cAAc;AACtC,SAASC,gBAAgB,QAAQ,gBAAgB;AACjD,SAASC,cAAc,QAAQ,cAAc;AAW7C,SAASC,oBAAoB,QAAQ,YAAY;AAEjD,SAASC,OACPC,IAAY,EACZC,IAAY,EACZC,KAA4D;IAE5D,OAAO;QAAEC,SAAS;QAAU,GAAGR,QAAQK,MAAMC,MAAMC,MAAM;IAAC;AAC5D;AAEA,SAASE,aACPC,QAAkB,EAClBL,IAAY,EACZM,KAAqB;IAErB,IAAIA,UAAUC,aAAab,YAAYM,OAAO,OAAO;IACrD,MAAMQ,MAAMH,SAASI,MAAM,CAACC,IAAI;IAChC,IAAIF,QAAQD,aAAaC,QAAQ,MAAM,OAAO;IAC9C,IAAI,OAAOA,QAAQ,YAAYA,QAAQ,IAAI,OAAO;IAClD,OAAOA;AACT;AAEA,SAASG,iBAAiBC,IAAe,EAAEC,KAAc;IACvD,IAAID,KAAKE,IAAI,KAAK,eAAe,OAAOD,UAAU,UAAU,OAAO;QAACA;KAAM;IAC1E,IAAID,KAAKE,IAAI,KAAK,UAAUF,KAAKG,EAAE,CAACD,IAAI,KAAK,eAAeE,MAAMC,OAAO,CAACJ,QAAQ;QAChF,OAAOA,MAAMK,MAAM,CAAC,CAACC,OAAyB,OAAOA,SAAS;IAChE;IACA,OAAO,EAAE;AACX;AAEA,SAASC,sBAAsBR,IAAe;IAC5C,IAAIA,KAAKE,IAAI,KAAK,aAAa,OAAOF,KAAKS,EAAE;IAC7C,IAAIT,KAAKE,IAAI,KAAK,UAAUF,KAAKG,EAAE,CAACD,IAAI,KAAK,aAAa,OAAOF,KAAKG,EAAE,CAACM,EAAE;IAC3E,OAAO;AACT;AAEA,SAASC,eAAeC,OAAe;IACrC,MAAMC,SAASjC,MAAMgC;IACrB,IAAI,CAACC,OAAOC,EAAE,EAAE,OAAOlB;IACvB,OAAOiB,OAAOnB,QAAQ,CAACK,IAAI,IAAI;AACjC;AAEA,OAAO,SAASgB,OAAOC,WAAoB;IACzC,OAAOC,cAAcC,OAAOC,IAAI,CAACH,aAAaI,IAAI,IAAI,CAACC,UACrDzC,MAAMoC,WAAW,CAACK,QAAQ,EAAGA;AAEjC;AAEA,OAAO,SAASC,gBACdN,WAA+C;IAE/C,OAAOC,cAAcC,OAAOC,IAAI,CAACH,aAAaI,IAAI,IAAI,CAACC,UAAa,CAAA;YAClEP,IAAI;YACJpB,UAAUsB,WAAW,CAACK,QAAQ;QAChC,CAAA;AACF;AAEA,SAASJ,cACPM,SAA4B,EAC5BC,IAAsC;IAEtC,MAAMC,oBAAoB,IAAIC;IAC9B,KAAK,MAAML,WAAWE,UAAW;QAC/B,MAAMI,UAAUC,kBAAkBH,mBAAmBJ,SAASG,KAAKH;QACnE,IAAIM,YAAY/B,WAAW,OAAO;YAAEJ,SAAS;YAAUqC,QAAQ;YAAS,GAAGF,OAAO;QAAC;IACrF;IACA,MAAMG,QAAoCZ,OAAOa,MAAM,CAAC;IACxD,KAAK,MAAM,CAACC,MAAMC,WAAW,IAAIR,kBAAmBK,KAAK,CAACE,KAAK,GAAGC;IAClE,OAAO;QAAEzC,SAAS;QAAUG,OAAOuB,OAAOgB,MAAM,CAAC;YAAEJ,OAAOZ,OAAOgB,MAAM,CAACJ;QAAO;IAAG;AACpF;AAEA,SAASF,kBACPZ,WAAoC,EACpCK,OAAe,EACfR,MAAmB;IAEnB,IAAI,CAACA,OAAOC,EAAE,EAAE,OAAOD,OAAO7B,OAAO;IACrC,MAAMiD,aAAatD,eAAe0C,SAASR,OAAOnB,QAAQ;IAC1D,IAAI,UAAUuC,YAAY,OAAOA;IACjC,IAAIjB,YAAYmB,GAAG,CAACF,WAAWD,IAAI,GACjC,OAAOhD,QAAQqC,SAAS,wBAAwB;QAAEe,UAAUH,WAAWD,IAAI;IAAC;IAC9E,KAAK,MAAM/B,QAAQiB,OAAOmB,MAAM,CAACJ,WAAWnC,MAAM,EAAGwC,WAAWrC;IAChE,KAAK,MAAMA,QAAQiB,OAAOmB,MAAM,CAACJ,WAAWM,QAAQ,EAAGD,WAAWrC;IAClEiB,OAAOgB,MAAM,CAACD,WAAWnC,MAAM;IAC/BoB,OAAOgB,MAAM,CAACD,WAAWM,QAAQ;IACjCvB,YAAYwB,GAAG,CAACP,WAAWD,IAAI,EAAEd,OAAOgB,MAAM,CAACD;IAC/C,OAAOrC;AACT;AAEA,SAAS0C,WAAWrC,IAAe;IACjC,IAAIA,KAAKE,IAAI,KAAK,QAAQmC,WAAWrC,KAAKG,EAAE;IAC5C,IAAIH,KAAKE,IAAI,KAAK,QAAQe,OAAOgB,MAAM,CAACjC,KAAKoC,MAAM;IACnDnB,OAAOgB,MAAM,CAACjC;AAChB;AAEA,OAAO,SAASwC,SACdC,OAAgB,EAChBC,UAA6B;IAAEC,eAAe,EAAE;AAAC,CAAC,EAClDjD,KAAqB;IAErB,MAAMH,UAAUqD,gBAAgBH,SAASC,SAAShD;IAClD,OAAOA,UAAUC,aAAaJ,QAAQA,OAAO,KAAK,WAC9C;QAAE,GAAGA,OAAO;QAAEqC,QAAQ;IAAU,IAChCrC;AACN;AAEA,SAASqD,gBACPH,OAAgB,EAChBC,OAA0B,EAC1BhD,KAAqB;IAErB,MAAMiD,gBAAgB,IAAIE,IAAIH,QAAQC,aAAa;IACnD,MAAMG,QAAQ7B,OAAOC,IAAI,CAACuB,SAAStB,IAAI;IACvC,MAAM4B,YAAY,IAAItB;IACtB,KAAK,MAAMrC,QAAQ0D,MAAO;QACxB,IAAIH,cAAcT,GAAG,CAAC9C,OAAO,OAAOD,OAAOC,MAAM;QACjD,MAAMwB,SAASjC,MAAM8D,OAAO,CAACrD,KAAK,EAAGA;QACrC2D,UAAUR,GAAG,CAACnD,MAAMwB;QACpB,IAAI,CAACA,OAAOC,EAAE,EAAE,OAAO;YAAEtB,SAAS;YAAU,GAAGqB,OAAO7B,OAAO;QAAC;IAChE;IAEA,MAAMgC,cAAc,IAAIU;IACxB,IAAI/B,UAAUC,WAAW;QACvB,KAAK,MAAM,CAACoC,MAAMC,WAAW,IAAIf,OAAO+B,OAAO,CAACtD,MAAMmC,KAAK,EAAGd,YAAYwB,GAAG,CAACR,MAAMC;IACtF,OAAO;QACL,KAAK,MAAM5C,QAAQ0D,MAAO;YACxB,IAAI,CAAChE,YAAYM,OAAO;YACxB,MAAMwB,SAASmC,UAAUE,GAAG,CAAC7D;YAC7B,IAAIwB,WAAWjB,WAAW;YAC1B,MAAM+B,UAAUC,kBAAkBZ,aAAa3B,MAAMwB;YACrD,IAAIc,YAAY/B,WAAW,OAAO;gBAAEJ,SAAS;gBAAU,GAAGmC,OAAO;YAAC;QACpE;IACF;IAEA,KAAK,MAAMtC,QAAQ0D,MAAO;QACxB,MAAMlC,SAASmC,UAAUE,GAAG,CAAC7D;QAC7B,IAAIwB,WAAWjB,aAAa,CAACiB,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOV,aAAaoB,OAAOnB,QAAQ,EAAEL,MAAMM;QACjD,IAAIQ,SAAS,OAAO;QACpB,IAAIA,SAAS,aAAaA,SAAS,cAAc;YAC/C,IAAIA,SAAS,gBAAgBR,UAAUC,aAAab,YAAYM,OAAO;YACvE,OAAOD,OAAOC,MAAM,gBAAgB;gBAAE+C,UAAU;YAAO;QACzD;QACA,MAAMH,aAAajB,YAAYkC,GAAG,CAAC/C;QACnC,IAAI8B,eAAerC,WAAW,OAAOR,OAAOC,MAAM,gBAAgB;YAAE+C,UAAU;QAAO;QACrF,MAAMe,eAAejE,eAAe+C,WAAWnC,MAAM,EAAEe,OAAOnB,QAAQ,CAACI,MAAM;QAC7E,IAAIqD,iBAAiBvD,WAAW;YAC9B,OAAOR,OAAOC,MAAM8D,aAAa7D,IAAI,EAAE;gBAAE8C,UAAUe,aAAaC,KAAK;YAAC;QACxE;QACA,MAAMC,iBAAiB,IAAIP,IAAI5B,OAAOC,IAAI,CAACc,WAAWnC,MAAM;QAC5D,MAAMwD,aAAapC,OAAOC,IAAI,CAACN,OAAOnB,QAAQ,CAACI,MAAM,EAAEyD,IAAI,CACzD,CAACvB,OAAS,CAAC;gBAAC;gBAAQ;gBAAQ;aAAW,CAACwB,QAAQ,CAACxB,SAAS,CAACqB,eAAelB,GAAG,CAACH;QAEhF,IAAIsB,eAAe1D,WAAW,OAAOR,OAAOC,MAAM,oBAAoB;YAAE+C,UAAUkB;QAAW;QAC7F,KAAK,MAAM,CAACtB,MAAM/B,KAAK,IAAIiB,OAAO+B,OAAO,CAAChB,WAAWM,QAAQ,EAAG;YAC9D,MAAMkB,OAAO5C,OAAOnB,QAAQ,CAAC6C,QAAQ,CAACP,KAAK;YAC3C,IAAIyB,SAAS7D,WAAW;gBACtB,IAAIK,KAAKyD,QAAQ,EAAE,OAAOtE,OAAOC,MAAM,oBAAoB;oBAAE+C,UAAUJ;gBAAK;gBAC5E;YACF;YACA,IAAI/B,KAAKE,IAAI,KAAK,UAAU,CAAClB,iBAAiBwE,OAAO;gBACnD,OAAOrE,OAAOC,MAAM,sBAAsB;oBAAE+C,UAAUJ;gBAAK;YAC7D;QACF;IACF;IAEA,KAAK,MAAM3C,QAAQ0D,MAAO;QACxB,MAAMlC,SAASmC,UAAUE,GAAG,CAAC7D;QAC7B,IAAIwB,WAAWjB,aAAa,CAACiB,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOV,aAAaoB,OAAOnB,QAAQ,EAAEL,MAAMM;QACjD,IAAIQ,SAAS,SAASA,SAAS,gBAAgBA,SAAS,WAAW;QACnE,MAAM8B,aAAajB,YAAYkC,GAAG,CAAC/C;QACnC,IAAI8B,eAAerC,WAAW;QAC9B,KAAK,MAAM,CAACoC,MAAM/B,KAAK,IAAIiB,OAAO+B,OAAO,CAAChB,WAAWnC,MAAM,EAAG;YAC5D,MAAM6D,UAAU3D,iBAAiBC,MAAMY,OAAOnB,QAAQ,CAACI,MAAM,CAACkC,KAAK;YACnE,MAAM4B,WAAWnD,sBAAsBR;YACvC,IAAI2D,aAAa,MAAM;YACvB,KAAK,MAAMC,UAAUF,QAAS;gBAC5B,MAAMG,WAAWhF,aAAaO,MAAMwE;gBACpC,IAAIC,SAAS3D,IAAI,KAAK,UAAUyC,cAAcT,GAAG,CAAC2B,SAASC,IAAI,GAC7D,OAAO3E,OAAOC,MAAM,wBAAwB;oBAAE+C,UAAUJ;gBAAK;gBAC/D,IAAI,CAACgB,UAAUb,GAAG,CAAC2B,SAASC,IAAI,GAAG;gBACnC,MAAMC,aAAarD,eAAe+B,OAAO,CAACoB,SAASC,IAAI,CAAC;gBACxD,IAAIC,eAAeJ,UACjB,OAAOxE,OAAOC,MAAM,wBAAwB;oBAAE+C,UAAUJ;gBAAK;YACjE;QACF;QACA,MAAMyB,OAAOtE,qBAAqBuD,OAAO,CAACrD,KAAK;QAC/C,KAAK,MAAM4E,cAAcpF,gBAAgB4E,MAAO;YAC9C,MAAMK,WAAWhF,aAAaO,MAAM4E,WAAWC,IAAI;YACnD,IAAIJ,SAAS3D,IAAI,KAAK,QAAQ;YAC9B,IACE2D,SAAS3D,IAAI,KAAK,aACjB,CAAC6C,UAAUb,GAAG,CAAC2B,SAASC,IAAI,KAAK,CAACnB,cAAcT,GAAG,CAAC2B,SAASC,IAAI,GAClE;gBACA,OAAO3E,OAAOC,MAAM;YACtB;QACF;IACF;IAEA,MAAM8E,UAAU,IAAIzC;IACpB,KAAK,MAAMrC,QAAQ0D,MAAO;QACxB,MAAMlC,SAASmC,UAAUE,GAAG,CAAC7D;QAC7B,IAAIwB,WAAWjB,aAAa,CAACiB,OAAOC,EAAE,EAAE;QACxC,MAAMX,OAAOV,aAAaoB,OAAOnB,QAAQ,EAAEL,MAAMM;QACjD,IAAIQ,SAAS,SAASA,SAAS,gBAAgBA,SAAS,WAAW;QACnE,MAAM8B,aAAajB,YAAYkC,GAAG,CAAC/C;QACnC,IAAI8B,eAAerC,WAAW;QAC9B,KAAK,MAAM,CAACoC,MAAM/B,KAAK,IAAIiB,OAAO+B,OAAO,CAAChB,WAAWnC,MAAM,EAAG;YAC5D,MAAM8D,WAAWnD,sBAAsBR;YACvC,IAAI2D,aAAa,MAAM;YACvB,KAAK,MAAMC,UAAU7D,iBAAiBC,MAAMY,OAAOnB,QAAQ,CAACI,MAAM,CAACkC,KAAK,EAAG;gBACzE,MAAM8B,WAAWhF,aAAaO,MAAMwE;gBACpC,IAAIC,SAAS3D,IAAI,KAAK,QAAQ;gBAC9B,IAAI6C,UAAUb,GAAG,CAAC2B,SAASC,IAAI,GAAG;gBAClC,MAAMK,YAAYD,QAAQjB,GAAG,CAACY,SAASC,IAAI,KAAK,EAAE;gBAClDK,UAAUC,IAAI,CAAChF;gBACf8E,QAAQ3B,GAAG,CAACsB,SAASC,IAAI,EAAEK;YAC7B;QACF;IACF;IACA,MAAME,eAAe;WAAIH,QAAQhD,IAAI;KAAG,CAACC,IAAI;IAC7C,IAAIkD,aAAaC,MAAM,GAAG,GAAG;QAC3B,MAAMR,OAAOO,YAAY,CAAC,EAAE;QAC5B,MAAMF,YAAY;eAAI,IAAItB,IAAIqB,QAAQjB,GAAG,CAACa,SAAS,EAAE;SAAE,CAAC3C,IAAI;QAC5D,OAAOhC,OAAO2E,MAAM,2BAA2B;YAAEK;QAAU;IAC7D;IAEA,OAAO;QAAE5E,SAAS;IAAS;AAC7B"}

package/dist/version.d.ts

@@ -1,2 +1,2 @@
-export declare const VERSION = "0.1.0-alpha.13";
+export declare const VERSION = "0.1.0-alpha.14";
 //# sourceMappingURL=version.d.ts.map

package/dist/version.js

@@ -1,3 +1,3 @@
-export const VERSION = '0.1.0-alpha.13';
+export const VERSION = '0.1.0-alpha.14';
 
 //# sourceMappingURL=version.js.map

package/dist/version.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdmodel/src/version.ts"],"sourcesContent":["export const VERSION = '0.1.0-alpha.13';\n"],"names":["VERSION"],"mappings":"AAAA,OAAO,MAAMA,UAAU,iBAAiB"}
+{"version":3,"sources":["/workspace/packages/mdmodel/src/version.ts"],"sourcesContent":["export const VERSION = '0.1.0-alpha.14';\n"],"names":["VERSION"],"mappings":"AAAA,OAAO,MAAMA,UAAU,iBAAiB"}

package/fixtures/README.md

@@ -2,10 +2,13 @@
 
 Each directory under `cases/` is one text Library, one validation context,
 and one expected verdict. Consumers load the files under `library/` as
-path-to-content, load the required `context.json` as `ValidationContext`, and
-compare `validate(library, context)` against `expected.json`. Text-only cases
-carry `{ "binaryTargets": [] }`. Binary targets are membership declarations;
-the corpus supplies no binary bytes or placeholder Documents.
+path-to-content 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
+`validate(library, context, verified.model)` against `expected.json`. Other
+cases compare `validate(library, context)` directly. Text-only cases carry
+`{ "binaryTargets": [] }`. Binary targets are membership declarations; the
+corpus supplies no binary bytes or placeholder Documents.
 
 ## Preamble operations
 
@@ -81,6 +84,9 @@ 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.
 The `version` field in these fixtures is the token `<package-version>`;
 replace it with the package's semantic version before comparing.
 
@@ -102,7 +108,7 @@ replace it with the package's semantic version before comparing.
 | `definition-section`      | A section spec is not an object of the accepted keys                     |
 | `definition-section-kind` | A section kind is not `text` or `list`                                   |
 | `definition-duplicate`    | Two definition files share a type name                                   |
-| `unknown-type`            | A file declares a type that is not in `types/`                           |
+| `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                             |

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

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

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

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

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

@@ -0,0 +1 @@
+{"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

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

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

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

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

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

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

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

package/fixtures/cases/external-unknown-type/library/item.md

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

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

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

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

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

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

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

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

@@ -0,0 +1,4 @@
+---
+type: task
+title: Shipped
+---

package/package.json

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