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

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,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"}
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGhD,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,cAAc,EAAE,OAAO,CAAC;IACjC,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;AAEF,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAwJ5E,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,OAAO,CAgChE"}

package/dist/definition.js

@@ -1,9 +1,11 @@
-import { typeNameFromPath } from './paths.js';
-import { refusal } from './refuse.js';
-function refuse(file, rule, location) {
-    return location === undefined ? refusal(file, rule) : refusal(file, rule, {
+import { jsValue, parseYamlMapping, YamlError } from './yaml.js';
+function refuse(rule, location) {
+    return location === undefined ? {
+        rule
+    } : {
+        rule,
         location
-    });
+    };
 }
 function isRecord(value) {
     return value !== null && typeof value === 'object' && !Array.isArray(value);
@@ -28,7 +30,7 @@ const SCALAR_KINDS = new Set([
     'enum',
     'reference'
 ]);
-function parseScalar(file, location, spec, required) {
+function parseScalar(names, location, spec, required) {
     const kind = spec.kind;
     if (kind === 'text') return {
         kind: 'text',
@@ -48,7 +50,7 @@ function parseScalar(file, location, spec, required) {
     };
     if (kind === 'enum') {
         const values = stringList(spec.values);
-        if (values === undefined) return refuse(file, 'definition-enum-values', location);
+        if (values === undefined) return refuse('definition-enum-values', location);
         return {
             kind: 'enum',
             required,
@@ -56,21 +58,21 @@ function parseScalar(file, location, spec, required) {
         };
     }
     if (kind === 'reference') {
-        if (typeof spec.to !== 'string' || spec.to === '') return refuse(file, 'definition-reference-to', location);
+        if (typeof spec.to !== 'string' || spec.to !== 'any' && !names.has(spec.to)) return refuse('definition-reference-to', location);
         return {
             kind: 'reference',
             required,
             to: spec.to
         };
     }
-    return refuse(file, 'definition-field-kind', location);
+    return refuse('definition-field-kind', location);
 }
 function extraKeys(spec, allowed) {
     return Object.keys(spec).some((key)=>!allowed.includes(key));
 }
-function parseList(file, location, spec, required, malformed) {
+function parseList(names, location, spec, required, malformed) {
     if (typeof spec.of !== 'string' || !SCALAR_KINDS.has(spec.of)) {
-        return refuse(file, 'definition-list-of', location);
+        return refuse('definition-list-of', location);
     }
     const allowed = spec.of === 'enum' ? [
         'kind',
@@ -87,8 +89,8 @@ function parseList(file, location, spec, required, malformed) {
         'required',
         'of'
     ];
-    if (extraKeys(spec, allowed)) return refuse(file, malformed, location);
-    const inner = parseScalar(file, location, {
+    if (extraKeys(spec, allowed)) return refuse(malformed, location);
+    const inner = parseScalar(names, location, {
         ...spec,
         kind: spec.of
     }, false);
@@ -99,11 +101,11 @@ function parseList(file, location, spec, required, malformed) {
         of: inner
     };
 }
-function parseField(file, location, value) {
-    if (!isRecord(value) || typeof value.kind !== 'string') return refuse(file, 'definition-field', location);
+function parseField(names, location, value) {
+    if (!isRecord(value) || typeof value.kind !== 'string') return refuse('definition-field', location);
     const required = requiredFlag(value.required);
-    if (required === undefined) return refuse(file, 'definition-field', location);
-    if (value.kind === 'list') return parseList(file, location, value, required, 'definition-field');
+    if (required === undefined) return refuse('definition-field', location);
+    if (value.kind === 'list') return parseList(names, location, value, required, 'definition-field');
     const allowed = value.kind === 'enum' ? [
         'kind',
         'required',
@@ -116,58 +118,101 @@ function parseField(file, location, value) {
         'kind',
         'required'
     ];
-    if (extraKeys(value, allowed)) return refuse(file, 'definition-field', location);
-    return parseScalar(file, location, value, required);
+    if (extraKeys(value, allowed)) return refuse('definition-field', location);
+    return parseScalar(names, location, value, required);
 }
-function parseSection(file, location, value) {
+function parseSection(names, location, value) {
     if (!isRecord(value) || value.kind !== 'text' && value.kind !== 'list') {
-        return refuse(file, 'definition-section-kind', location);
+        return refuse('definition-section-kind', location);
     }
     const required = requiredFlag(value.required);
-    if (required === undefined) return refuse(file, 'definition-section', location);
-    if (value.kind === 'list') return parseList(file, location, value, required, 'definition-section');
+    if (required === undefined) return refuse('definition-section', location);
+    if (value.kind === 'list') return parseList(names, location, value, required, 'definition-section');
     if (extraKeys(value, [
         'kind',
         'required'
-    ])) return refuse(file, 'definition-section', location);
+    ])) return refuse('definition-section', location);
     return {
         kind: 'text',
         required
     };
 }
-export function readDefinition(file, document) {
-    if (document.type !== 'definition') return refuse(file, 'definition-type');
-    const name = typeNameFromPath(file);
-    if (name === '') return refuse(file, 'definition-type');
-    for (const key of Object.keys(document.fields)){
-        if (key !== 'type' && key !== 'fields' && key !== 'sections') {
-            return refuse(file, 'definition-shape', key);
+function readType(names, name, value) {
+    const location = `types.${name}`;
+    if (!isRecord(value)) return refuse('definition-shape', location);
+    for (const key of Object.keys(value)){
+        if (key !== 'fields' && key !== 'sections' && key !== 'member_document') {
+            return refuse('definition-shape', `${location}.${key}`);
         }
     }
-    const fieldsValue = document.fields.fields;
-    const sectionsValue = document.fields.sections;
-    if (fieldsValue !== undefined && !isRecord(fieldsValue)) return refuse(file, 'definition-fields', 'fields');
+    const mark = value.member_document === undefined ? false : value.member_document;
+    if (typeof mark !== 'boolean') return refuse('definition-shape', `${location}.member_document`);
+    const fieldsValue = value.fields;
+    const sectionsValue = value.sections;
+    if (fieldsValue !== undefined && !isRecord(fieldsValue)) return refuse('definition-fields', `${location}.fields`);
     if (sectionsValue !== undefined && !isRecord(sectionsValue)) {
-        return refuse(file, 'definition-sections', 'sections');
+        return refuse('definition-sections', `${location}.sections`);
     }
     const fields = Object.create(null);
     for (const [fieldName, spec] of Object.entries(fieldsValue ?? {})){
-        const parsed = parseField(file, fieldName, spec);
+        const parsed = parseField(names, `${location}.fields.${fieldName}`, spec);
         if ('rule' in parsed) return parsed;
         fields[fieldName] = parsed;
     }
     const sections = Object.create(null);
     for (const [sectionName, spec] of Object.entries(sectionsValue ?? {})){
-        const parsed = parseSection(file, sectionName, spec);
+        const parsed = parseSection(names, `${location}.sections.${sectionName}`, spec);
         if ('rule' in parsed) return parsed;
         sections[sectionName] = parsed;
     }
     return {
         name,
-        address: file,
+        memberDocument: mark,
         fields,
         sections
     };
 }
+function freezeSpec(spec) {
+    if (spec.kind === 'list') freezeSpec(spec.of);
+    if (spec.kind === 'enum') Object.freeze(spec.values);
+    Object.freeze(spec);
+}
+function lineAt(text, offset) {
+    return text.slice(0, offset).split(/\r\n|\r|\n/).length;
+}
+export function readSchema(text) {
+    let root;
+    try {
+        root = jsValue(parseYamlMapping(text, 0, text.length));
+    } catch (error) {
+        if (error instanceof YamlError) return refuse('schema-yaml', `line ${lineAt(text, error.offset)}`);
+        throw error;
+    }
+    const schema = root;
+    for (const key of Object.keys(schema)){
+        if (key !== 'types') return refuse('schema-shape', key);
+    }
+    if (!isRecord(schema.types)) return refuse('schema-shape', 'types');
+    const names = new Set(Object.keys(schema.types));
+    if (names.has('')) return refuse('schema-shape', 'types');
+    const types = Object.create(null);
+    let marked = false;
+    for (const [name, value] of Object.entries(schema.types)){
+        const definition = readType(names, name, value);
+        if ('rule' in definition) return definition;
+        if (definition.memberDocument) {
+            if (marked) return refuse('schema-member-document', `types.${name}.member_document`);
+            marked = true;
+        }
+        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);
+        types[name] = Object.freeze(definition);
+    }
+    return Object.freeze({
+        types: Object.freeze(types)
+    });
+}
 
 //# sourceMappingURL=definition.js.map

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 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"}
+{"version":3,"sources":["/workspace/packages/mdmodel/src/definition.ts"],"sourcesContent":["import type { VerifiedModel } from './types.js';\nimport { jsValue, parseYamlMapping, YamlError } from './yaml.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 memberDocument: boolean;\n  readonly fields: Readonly<Record<string, FieldSpec>>;\n  readonly sections: Readonly<Record<string, SectionSpec>>;\n};\n\nexport type Failure = { readonly rule: string; readonly location?: string };\n\nfunction refuse(rule: string, location?: string): Failure {\n  return location === undefined ? { rule } : { 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  names: ReadonlySet<string>,\n  location: string,\n  spec: Record<string, unknown>,\n  required: boolean,\n): ScalarSpec | Failure {\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('definition-enum-values', location);\n    return { kind: 'enum', required, values };\n  }\n  if (kind === 'reference') {\n    if (typeof spec.to !== 'string' || (spec.to !== 'any' && !names.has(spec.to)))\n      return refuse('definition-reference-to', location);\n    return { kind: 'reference', required, to: spec.to };\n  }\n  return refuse('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  names: ReadonlySet<string>,\n  location: string,\n  spec: Record<string, unknown>,\n  required: boolean,\n  malformed: string,\n): ListSpec | Failure {\n  if (typeof spec.of !== 'string' || !SCALAR_KINDS.has(spec.of)) {\n    return refuse('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(malformed, location);\n  const inner = parseScalar(names, location, { ...spec, kind: spec.of }, false);\n  if ('rule' in inner) return inner;\n  return { kind: 'list', required, of: inner };\n}\n\nfunction parseField(\n  names: ReadonlySet<string>,\n  location: string,\n  value: unknown,\n): FieldSpec | Failure {\n  if (!isRecord(value) || typeof value.kind !== 'string')\n    return refuse('definition-field', location);\n  const required = requiredFlag(value.required);\n  if (required === undefined) return refuse('definition-field', location);\n  if (value.kind === 'list') return parseList(names, 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('definition-field', location);\n  return parseScalar(names, location, value, required);\n}\n\nfunction parseSection(\n  names: ReadonlySet<string>,\n  location: string,\n  value: unknown,\n): SectionSpec | Failure {\n  if (!isRecord(value) || (value.kind !== 'text' && value.kind !== 'list')) {\n    return refuse('definition-section-kind', location);\n  }\n  const required = requiredFlag(value.required);\n  if (required === undefined) return refuse('definition-section', location);\n  if (value.kind === 'list')\n    return parseList(names, location, value, required, 'definition-section');\n  if (extraKeys(value, ['kind', 'required'])) return refuse('definition-section', location);\n  return { kind: 'text', required };\n}\n\nfunction readType(names: ReadonlySet<string>, name: string, value: unknown): Definition | Failure {\n  const location = `types.${name}`;\n  if (!isRecord(value)) return refuse('definition-shape', location);\n  for (const key of Object.keys(value)) {\n    if (key !== 'fields' && key !== 'sections' && key !== 'member_document') {\n      return refuse('definition-shape', `${location}.${key}`);\n    }\n  }\n  const mark = value.member_document === undefined ? false : value.member_document;\n  if (typeof mark !== 'boolean') return refuse('definition-shape', `${location}.member_document`);\n  const fieldsValue = value.fields;\n  const sectionsValue = value.sections;\n  if (fieldsValue !== undefined && !isRecord(fieldsValue))\n    return refuse('definition-fields', `${location}.fields`);\n  if (sectionsValue !== undefined && !isRecord(sectionsValue)) {\n    return refuse('definition-sections', `${location}.sections`);\n  }\n  const fields: Record<string, FieldSpec> = Object.create(null);\n  for (const [fieldName, spec] of Object.entries(fieldsValue ?? {})) {\n    const parsed = parseField(names, `${location}.fields.${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(names, `${location}.sections.${sectionName}`, spec);\n    if ('rule' in parsed) return parsed;\n    sections[sectionName] = parsed;\n  }\n  return { name, memberDocument: mark, fields, sections };\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\nfunction lineAt(text: string, offset: number): number {\n  return text.slice(0, offset).split(/\\r\\n|\\r|\\n/).length;\n}\n\nexport function readSchema(text: string): VerifiedModel | Failure {\n  let root: unknown;\n  try {\n    root = jsValue(parseYamlMapping(text, 0, text.length));\n  } catch (error) {\n    if (error instanceof YamlError)\n      return refuse('schema-yaml', `line ${lineAt(text, error.offset)}`);\n    throw error;\n  }\n  const schema = root as Record<string, unknown>;\n  for (const key of Object.keys(schema)) {\n    if (key !== 'types') return refuse('schema-shape', key);\n  }\n  if (!isRecord(schema.types)) return refuse('schema-shape', 'types');\n  const names = new Set(Object.keys(schema.types));\n  if (names.has('')) return refuse('schema-shape', 'types');\n  const types: Record<string, Definition> = Object.create(null);\n  let marked = false;\n  for (const [name, value] of Object.entries(schema.types)) {\n    const definition = readType(names, name, value);\n    if ('rule' in definition) return definition;\n    if (definition.memberDocument) {\n      if (marked) return refuse('schema-member-document', `types.${name}.member_document`);\n      marked = true;\n    }\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    types[name] = Object.freeze(definition);\n  }\n  return Object.freeze({ types: Object.freeze(types) });\n}\n"],"names":["jsValue","parseYamlMapping","YamlError","refuse","rule","location","undefined","isRecord","value","Array","isArray","requiredFlag","stringList","length","every","item","SCALAR_KINDS","Set","parseScalar","names","spec","required","kind","values","to","has","extraKeys","allowed","Object","keys","some","key","includes","parseList","malformed","of","inner","parseField","parseSection","readType","name","mark","member_document","fieldsValue","fields","sectionsValue","sections","create","fieldName","entries","parsed","sectionName","memberDocument","freezeSpec","freeze","lineAt","text","offset","slice","split","readSchema","root","error","schema","types","marked","definition"],"mappings":"AACA,SAASA,OAAO,EAAEC,gBAAgB,EAAEC,SAAS,QAAQ,YAAY;AA+BjE,SAASC,OAAOC,IAAY,EAAEC,QAAiB;IAC7C,OAAOA,aAAaC,YAAY;QAAEF;IAAK,IAAI;QAAEA;QAAMC;IAAS;AAC9D;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,YACPC,KAA0B,EAC1Bd,QAAgB,EAChBe,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,SAASX,WAAWQ,KAAKG,MAAM;QACrC,IAAIA,WAAWjB,WAAW,OAAOH,OAAO,0BAA0BE;QAClE,OAAO;YAAEiB,MAAM;YAAQD;YAAUE;QAAO;IAC1C;IACA,IAAID,SAAS,aAAa;QACxB,IAAI,OAAOF,KAAKI,EAAE,KAAK,YAAaJ,KAAKI,EAAE,KAAK,SAAS,CAACL,MAAMM,GAAG,CAACL,KAAKI,EAAE,GACzE,OAAOrB,OAAO,2BAA2BE;QAC3C,OAAO;YAAEiB,MAAM;YAAaD;YAAUG,IAAIJ,KAAKI,EAAE;QAAC;IACpD;IACA,OAAOrB,OAAO,yBAAyBE;AACzC;AAEA,SAASqB,UAAUN,IAA6B,EAAEO,OAA0B;IAC1E,OAAOC,OAAOC,IAAI,CAACT,MAAMU,IAAI,CAAC,CAACC,MAAQ,CAACJ,QAAQK,QAAQ,CAACD;AAC3D;AAEA,SAASE,UACPd,KAA0B,EAC1Bd,QAAgB,EAChBe,IAA6B,EAC7BC,QAAiB,EACjBa,SAAiB;IAEjB,IAAI,OAAOd,KAAKe,EAAE,KAAK,YAAY,CAACnB,aAAaS,GAAG,CAACL,KAAKe,EAAE,GAAG;QAC7D,OAAOhC,OAAO,sBAAsBE;IACtC;IACA,MAAMsB,UACJP,KAAKe,EAAE,KAAK,SACR;QAAC;QAAQ;QAAY;QAAM;KAAS,GACpCf,KAAKe,EAAE,KAAK,cACV;QAAC;QAAQ;QAAY;QAAM;KAAK,GAChC;QAAC;QAAQ;QAAY;KAAK;IAClC,IAAIT,UAAUN,MAAMO,UAAU,OAAOxB,OAAO+B,WAAW7B;IACvD,MAAM+B,QAAQlB,YAAYC,OAAOd,UAAU;QAAE,GAAGe,IAAI;QAAEE,MAAMF,KAAKe,EAAE;IAAC,GAAG;IACvE,IAAI,UAAUC,OAAO,OAAOA;IAC5B,OAAO;QAAEd,MAAM;QAAQD;QAAUc,IAAIC;IAAM;AAC7C;AAEA,SAASC,WACPlB,KAA0B,EAC1Bd,QAAgB,EAChBG,KAAc;IAEd,IAAI,CAACD,SAASC,UAAU,OAAOA,MAAMc,IAAI,KAAK,UAC5C,OAAOnB,OAAO,oBAAoBE;IACpC,MAAMgB,WAAWV,aAAaH,MAAMa,QAAQ;IAC5C,IAAIA,aAAaf,WAAW,OAAOH,OAAO,oBAAoBE;IAC9D,IAAIG,MAAMc,IAAI,KAAK,QAAQ,OAAOW,UAAUd,OAAOd,UAAUG,OAAOa,UAAU;IAC9E,MAAMM,UACJnB,MAAMc,IAAI,KAAK,SACX;QAAC;QAAQ;QAAY;KAAS,GAC9Bd,MAAMc,IAAI,KAAK,cACb;QAAC;QAAQ;QAAY;KAAK,GAC1B;QAAC;QAAQ;KAAW;IAC5B,IAAII,UAAUlB,OAAOmB,UAAU,OAAOxB,OAAO,oBAAoBE;IACjE,OAAOa,YAAYC,OAAOd,UAAUG,OAAOa;AAC7C;AAEA,SAASiB,aACPnB,KAA0B,EAC1Bd,QAAgB,EAChBG,KAAc;IAEd,IAAI,CAACD,SAASC,UAAWA,MAAMc,IAAI,KAAK,UAAUd,MAAMc,IAAI,KAAK,QAAS;QACxE,OAAOnB,OAAO,2BAA2BE;IAC3C;IACA,MAAMgB,WAAWV,aAAaH,MAAMa,QAAQ;IAC5C,IAAIA,aAAaf,WAAW,OAAOH,OAAO,sBAAsBE;IAChE,IAAIG,MAAMc,IAAI,KAAK,QACjB,OAAOW,UAAUd,OAAOd,UAAUG,OAAOa,UAAU;IACrD,IAAIK,UAAUlB,OAAO;QAAC;QAAQ;KAAW,GAAG,OAAOL,OAAO,sBAAsBE;IAChF,OAAO;QAAEiB,MAAM;QAAQD;IAAS;AAClC;AAEA,SAASkB,SAASpB,KAA0B,EAAEqB,IAAY,EAAEhC,KAAc;IACxE,MAAMH,WAAW,CAAC,MAAM,EAAEmC,MAAM;IAChC,IAAI,CAACjC,SAASC,QAAQ,OAAOL,OAAO,oBAAoBE;IACxD,KAAK,MAAM0B,OAAOH,OAAOC,IAAI,CAACrB,OAAQ;QACpC,IAAIuB,QAAQ,YAAYA,QAAQ,cAAcA,QAAQ,mBAAmB;YACvE,OAAO5B,OAAO,oBAAoB,GAAGE,SAAS,CAAC,EAAE0B,KAAK;QACxD;IACF;IACA,MAAMU,OAAOjC,MAAMkC,eAAe,KAAKpC,YAAY,QAAQE,MAAMkC,eAAe;IAChF,IAAI,OAAOD,SAAS,WAAW,OAAOtC,OAAO,oBAAoB,GAAGE,SAAS,gBAAgB,CAAC;IAC9F,MAAMsC,cAAcnC,MAAMoC,MAAM;IAChC,MAAMC,gBAAgBrC,MAAMsC,QAAQ;IACpC,IAAIH,gBAAgBrC,aAAa,CAACC,SAASoC,cACzC,OAAOxC,OAAO,qBAAqB,GAAGE,SAAS,OAAO,CAAC;IACzD,IAAIwC,kBAAkBvC,aAAa,CAACC,SAASsC,gBAAgB;QAC3D,OAAO1C,OAAO,uBAAuB,GAAGE,SAAS,SAAS,CAAC;IAC7D;IACA,MAAMuC,SAAoChB,OAAOmB,MAAM,CAAC;IACxD,KAAK,MAAM,CAACC,WAAW5B,KAAK,IAAIQ,OAAOqB,OAAO,CAACN,eAAe,CAAC,GAAI;QACjE,MAAMO,SAASb,WAAWlB,OAAO,GAAGd,SAAS,QAAQ,EAAE2C,WAAW,EAAE5B;QACpE,IAAI,UAAU8B,QAAQ,OAAOA;QAC7BN,MAAM,CAACI,UAAU,GAAGE;IACtB;IACA,MAAMJ,WAAwClB,OAAOmB,MAAM,CAAC;IAC5D,KAAK,MAAM,CAACI,aAAa/B,KAAK,IAAIQ,OAAOqB,OAAO,CAACJ,iBAAiB,CAAC,GAAI;QACrE,MAAMK,SAASZ,aAAanB,OAAO,GAAGd,SAAS,UAAU,EAAE8C,aAAa,EAAE/B;QAC1E,IAAI,UAAU8B,QAAQ,OAAOA;QAC7BJ,QAAQ,CAACK,YAAY,GAAGD;IAC1B;IACA,OAAO;QAAEV;QAAMY,gBAAgBX;QAAMG;QAAQE;IAAS;AACxD;AAEA,SAASO,WAAWjC,IAAe;IACjC,IAAIA,KAAKE,IAAI,KAAK,QAAQ+B,WAAWjC,KAAKe,EAAE;IAC5C,IAAIf,KAAKE,IAAI,KAAK,QAAQM,OAAO0B,MAAM,CAAClC,KAAKG,MAAM;IACnDK,OAAO0B,MAAM,CAAClC;AAChB;AAEA,SAASmC,OAAOC,IAAY,EAAEC,MAAc;IAC1C,OAAOD,KAAKE,KAAK,CAAC,GAAGD,QAAQE,KAAK,CAAC,cAAc9C,MAAM;AACzD;AAEA,OAAO,SAAS+C,WAAWJ,IAAY;IACrC,IAAIK;IACJ,IAAI;QACFA,OAAO7D,QAAQC,iBAAiBuD,MAAM,GAAGA,KAAK3C,MAAM;IACtD,EAAE,OAAOiD,OAAO;QACd,IAAIA,iBAAiB5D,WACnB,OAAOC,OAAO,eAAe,CAAC,KAAK,EAAEoD,OAAOC,MAAMM,MAAML,MAAM,GAAG;QACnE,MAAMK;IACR;IACA,MAAMC,SAASF;IACf,KAAK,MAAM9B,OAAOH,OAAOC,IAAI,CAACkC,QAAS;QACrC,IAAIhC,QAAQ,SAAS,OAAO5B,OAAO,gBAAgB4B;IACrD;IACA,IAAI,CAACxB,SAASwD,OAAOC,KAAK,GAAG,OAAO7D,OAAO,gBAAgB;IAC3D,MAAMgB,QAAQ,IAAIF,IAAIW,OAAOC,IAAI,CAACkC,OAAOC,KAAK;IAC9C,IAAI7C,MAAMM,GAAG,CAAC,KAAK,OAAOtB,OAAO,gBAAgB;IACjD,MAAM6D,QAAoCpC,OAAOmB,MAAM,CAAC;IACxD,IAAIkB,SAAS;IACb,KAAK,MAAM,CAACzB,MAAMhC,MAAM,IAAIoB,OAAOqB,OAAO,CAACc,OAAOC,KAAK,EAAG;QACxD,MAAME,aAAa3B,SAASpB,OAAOqB,MAAMhC;QACzC,IAAI,UAAU0D,YAAY,OAAOA;QACjC,IAAIA,WAAWd,cAAc,EAAE;YAC7B,IAAIa,QAAQ,OAAO9D,OAAO,0BAA0B,CAAC,MAAM,EAAEqC,KAAK,gBAAgB,CAAC;YACnFyB,SAAS;QACX;QACA,KAAK,MAAM7C,QAAQQ,OAAOL,MAAM,CAAC2C,WAAWtB,MAAM,EAAGS,WAAWjC;QAChE,KAAK,MAAMA,QAAQQ,OAAOL,MAAM,CAAC2C,WAAWpB,QAAQ,EAAGO,WAAWjC;QAClEQ,OAAO0B,MAAM,CAACY,WAAWtB,MAAM;QAC/BhB,OAAO0B,MAAM,CAACY,WAAWpB,QAAQ;QACjCkB,KAAK,CAACxB,KAAK,GAAGZ,OAAO0B,MAAM,CAACY;IAC9B;IACA,OAAOtC,OAAO0B,MAAM,CAAC;QAAEU,OAAOpC,OAAO0B,MAAM,CAACU;IAAO;AACrD"}

package/dist/index.d.ts

@@ -5,6 +5,6 @@ export { MARKDOWN_SYNTAX_PROFILE } from './profile.js';
 export { project } from './project.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 { validate, verify } 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,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC9C,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"}
+{"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,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC9C,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,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}

package/dist/index.js

@@ -3,7 +3,7 @@ export { apply, links, parse, serialize } from './document.js';
 export { retarget, target } from './paths.js';
 export { MARKDOWN_SYNTAX_PROFILE } from './profile.js';
 export { project } from './project.js';
-export { validate, verify, verifyDocuments } from './validate.js';
+export { validate, verify } 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 { retarget, target } from './paths.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","retarget","target","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,QAAQ,EAAEC,MAAM,QAAQ,aAAa;AAC9C,SAASC,uBAAuB,QAAQ,eAAe;AACvD,SAASC,OAAO,QAAQ,eAAe;AAoBvC,SAASC,QAAQ,EAAEC,MAAM,EAAEC,eAAe,QAAQ,gBAAgB;AAClE,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 { retarget, target } from './paths.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 } from './validate.js';\nexport { VERSION } from './version.js';\n"],"names":["divide","apply","links","parse","serialize","retarget","target","MARKDOWN_SYNTAX_PROFILE","project","validate","verify","VERSION"],"mappings":"AAAA,SAASA,MAAM,QAAQ,cAAc;AACrC,SAASC,KAAK,EAAEC,KAAK,EAAEC,KAAK,EAAEC,SAAS,QAAQ,gBAAgB;AAC/D,SAASC,QAAQ,EAAEC,MAAM,QAAQ,aAAa;AAC9C,SAASC,uBAAuB,QAAQ,eAAe;AACvD,SAASC,OAAO,QAAQ,eAAe;AAoBvC,SAASC,QAAQ,EAAEC,MAAM,QAAQ,gBAAgB;AACjD,SAASC,OAAO,QAAQ,eAAe"}

package/dist/paths.d.ts

@@ -1,8 +1,6 @@
 export declare function dirname(path: string): string;
 export declare function join(base: string, relative: string): string;
 export declare function normalize(path: string): string | null;
-export declare function isTypesPath(path: string): boolean;
-export declare function typeNameFromPath(path: string): string;
 export declare function classifyHref(from: string, href: string): {
     kind: 'skip';
 } | {

package/dist/paths.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../src/paths.ts"],"names":[],"mappings":"AAAA,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAG5C;AAED,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAG3D;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAYrD;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEjD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGrD;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,GACX;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAUzE;AAED,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGhE;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAIzD"}
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../src/paths.ts"],"names":[],"mappings":"AAAA,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAG5C;AAED,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAG3D;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAYrD;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,GACX;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAUzE;AAED,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGhE;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAIzD"}

package/dist/paths.js

@@ -19,13 +19,6 @@ export function normalize(path) {
     }
     return parts.join('/');
 }
-export function isTypesPath(path) {
-    return path === 'types' || path.startsWith('types/');
-}
-export function typeNameFromPath(path) {
-    const base = path.slice(path.lastIndexOf('/') + 1);
-    return base.endsWith('.md') ? base.slice(0, -3) : base;
-}
 export function classifyHref(from, href) {
     const trimmed = href.trim();
     if (trimmed === '' || trimmed.startsWith('#')) return {

package/dist/paths.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdmodel/src/paths.ts"],"sourcesContent":["export function dirname(path: string): string {\n  const index = path.lastIndexOf('/');\n  return index === -1 ? '' : path.slice(0, index);\n}\n\nexport function join(base: string, relative: string): string {\n  if (base === '') return relative;\n  return `${base}/${relative}`;\n}\n\nexport function normalize(path: string): string | null {\n  const parts: string[] = [];\n  for (const part of path.split('/')) {\n    if (part === '' || part === '.') continue;\n    if (part === '..') {\n      if (parts.length === 0) return null;\n      parts.pop();\n      continue;\n    }\n    parts.push(part);\n  }\n  return parts.join('/');\n}\n\nexport function isTypesPath(path: string): boolean {\n  return path === 'types' || path.startsWith('types/');\n}\n\nexport function typeNameFromPath(path: string): string {\n  const base = path.slice(path.lastIndexOf('/') + 1);\n  return base.endsWith('.md') ? base.slice(0, -3) : base;\n}\n\nexport function classifyHref(\n  from: string,\n  href: string,\n): { kind: 'skip' } | { kind: 'path'; path: string } | { kind: 'invalid' } {\n  const trimmed = href.trim();\n  if (trimmed === '' || trimmed.startsWith('#')) return { kind: 'skip' };\n  if (/^[a-zA-Z][a-zA-Z0-9+.-]*:/.test(trimmed)) return { kind: 'skip' };\n  if (trimmed.startsWith('/')) return { kind: 'invalid' };\n  const bare = trimmed.replace(/[?#].*$/, '');\n  if (bare === '') return { kind: 'skip' };\n  const resolved = normalize(join(dirname(from), bare));\n  if (resolved === null || resolved === '') return { kind: 'invalid' };\n  return { kind: 'path', path: resolved };\n}\n\nexport function target(from: string, href: string): string | null {\n  const resolved = classifyHref(from, href);\n  return resolved.kind === 'path' ? resolved.path : null;\n}\n\nexport function retarget(href: string, to: string): string {\n  const trimmed = href.trim();\n  const match = /[?#]/.exec(trimmed);\n  return match === null ? to : to + trimmed.slice(match.index);\n}\n"],"names":["dirname","path","index","lastIndexOf","slice","join","base","relative","normalize","parts","part","split","length","pop","push","isTypesPath","startsWith","typeNameFromPath","endsWith","classifyHref","from","href","trimmed","trim","kind","test","bare","replace","resolved","target","retarget","to","match","exec"],"mappings":"AAAA,OAAO,SAASA,QAAQC,IAAY;IAClC,MAAMC,QAAQD,KAAKE,WAAW,CAAC;IAC/B,OAAOD,UAAU,CAAC,IAAI,KAAKD,KAAKG,KAAK,CAAC,GAAGF;AAC3C;AAEA,OAAO,SAASG,KAAKC,IAAY,EAAEC,QAAgB;IACjD,IAAID,SAAS,IAAI,OAAOC;IACxB,OAAO,GAAGD,KAAK,CAAC,EAAEC,UAAU;AAC9B;AAEA,OAAO,SAASC,UAAUP,IAAY;IACpC,MAAMQ,QAAkB,EAAE;IAC1B,KAAK,MAAMC,QAAQT,KAAKU,KAAK,CAAC,KAAM;QAClC,IAAID,SAAS,MAAMA,SAAS,KAAK;QACjC,IAAIA,SAAS,MAAM;YACjB,IAAID,MAAMG,MAAM,KAAK,GAAG,OAAO;YAC/BH,MAAMI,GAAG;YACT;QACF;QACAJ,MAAMK,IAAI,CAACJ;IACb;IACA,OAAOD,MAAMJ,IAAI,CAAC;AACpB;AAEA,OAAO,SAASU,YAAYd,IAAY;IACtC,OAAOA,SAAS,WAAWA,KAAKe,UAAU,CAAC;AAC7C;AAEA,OAAO,SAASC,iBAAiBhB,IAAY;IAC3C,MAAMK,OAAOL,KAAKG,KAAK,CAACH,KAAKE,WAAW,CAAC,OAAO;IAChD,OAAOG,KAAKY,QAAQ,CAAC,SAASZ,KAAKF,KAAK,CAAC,GAAG,CAAC,KAAKE;AACpD;AAEA,OAAO,SAASa,aACdC,IAAY,EACZC,IAAY;IAEZ,MAAMC,UAAUD,KAAKE,IAAI;IACzB,IAAID,YAAY,MAAMA,QAAQN,UAAU,CAAC,MAAM,OAAO;QAAEQ,MAAM;IAAO;IACrE,IAAI,4BAA4BC,IAAI,CAACH,UAAU,OAAO;QAAEE,MAAM;IAAO;IACrE,IAAIF,QAAQN,UAAU,CAAC,MAAM,OAAO;QAAEQ,MAAM;IAAU;IACtD,MAAME,OAAOJ,QAAQK,OAAO,CAAC,WAAW;IACxC,IAAID,SAAS,IAAI,OAAO;QAAEF,MAAM;IAAO;IACvC,MAAMI,WAAWpB,UAAUH,KAAKL,QAAQoB,OAAOM;IAC/C,IAAIE,aAAa,QAAQA,aAAa,IAAI,OAAO;QAAEJ,MAAM;IAAU;IACnE,OAAO;QAAEA,MAAM;QAAQvB,MAAM2B;IAAS;AACxC;AAEA,OAAO,SAASC,OAAOT,IAAY,EAAEC,IAAY;IAC/C,MAAMO,WAAWT,aAAaC,MAAMC;IACpC,OAAOO,SAASJ,IAAI,KAAK,SAASI,SAAS3B,IAAI,GAAG;AACpD;AAEA,OAAO,SAAS6B,SAAST,IAAY,EAAEU,EAAU;IAC/C,MAAMT,UAAUD,KAAKE,IAAI;IACzB,MAAMS,QAAQ,OAAOC,IAAI,CAACX;IAC1B,OAAOU,UAAU,OAAOD,KAAKA,KAAKT,QAAQlB,KAAK,CAAC4B,MAAM9B,KAAK;AAC7D"}
+{"version":3,"sources":["/workspace/packages/mdmodel/src/paths.ts"],"sourcesContent":["export function dirname(path: string): string {\n  const index = path.lastIndexOf('/');\n  return index === -1 ? '' : path.slice(0, index);\n}\n\nexport function join(base: string, relative: string): string {\n  if (base === '') return relative;\n  return `${base}/${relative}`;\n}\n\nexport function normalize(path: string): string | null {\n  const parts: string[] = [];\n  for (const part of path.split('/')) {\n    if (part === '' || part === '.') continue;\n    if (part === '..') {\n      if (parts.length === 0) return null;\n      parts.pop();\n      continue;\n    }\n    parts.push(part);\n  }\n  return parts.join('/');\n}\n\nexport function classifyHref(\n  from: string,\n  href: string,\n): { kind: 'skip' } | { kind: 'path'; path: string } | { kind: 'invalid' } {\n  const trimmed = href.trim();\n  if (trimmed === '' || trimmed.startsWith('#')) return { kind: 'skip' };\n  if (/^[a-zA-Z][a-zA-Z0-9+.-]*:/.test(trimmed)) return { kind: 'skip' };\n  if (trimmed.startsWith('/')) return { kind: 'invalid' };\n  const bare = trimmed.replace(/[?#].*$/, '');\n  if (bare === '') return { kind: 'skip' };\n  const resolved = normalize(join(dirname(from), bare));\n  if (resolved === null || resolved === '') return { kind: 'invalid' };\n  return { kind: 'path', path: resolved };\n}\n\nexport function target(from: string, href: string): string | null {\n  const resolved = classifyHref(from, href);\n  return resolved.kind === 'path' ? resolved.path : null;\n}\n\nexport function retarget(href: string, to: string): string {\n  const trimmed = href.trim();\n  const match = /[?#]/.exec(trimmed);\n  return match === null ? to : to + trimmed.slice(match.index);\n}\n"],"names":["dirname","path","index","lastIndexOf","slice","join","base","relative","normalize","parts","part","split","length","pop","push","classifyHref","from","href","trimmed","trim","startsWith","kind","test","bare","replace","resolved","target","retarget","to","match","exec"],"mappings":"AAAA,OAAO,SAASA,QAAQC,IAAY;IAClC,MAAMC,QAAQD,KAAKE,WAAW,CAAC;IAC/B,OAAOD,UAAU,CAAC,IAAI,KAAKD,KAAKG,KAAK,CAAC,GAAGF;AAC3C;AAEA,OAAO,SAASG,KAAKC,IAAY,EAAEC,QAAgB;IACjD,IAAID,SAAS,IAAI,OAAOC;IACxB,OAAO,GAAGD,KAAK,CAAC,EAAEC,UAAU;AAC9B;AAEA,OAAO,SAASC,UAAUP,IAAY;IACpC,MAAMQ,QAAkB,EAAE;IAC1B,KAAK,MAAMC,QAAQT,KAAKU,KAAK,CAAC,KAAM;QAClC,IAAID,SAAS,MAAMA,SAAS,KAAK;QACjC,IAAIA,SAAS,MAAM;YACjB,IAAID,MAAMG,MAAM,KAAK,GAAG,OAAO;YAC/BH,MAAMI,GAAG;YACT;QACF;QACAJ,MAAMK,IAAI,CAACJ;IACb;IACA,OAAOD,MAAMJ,IAAI,CAAC;AACpB;AAEA,OAAO,SAASU,aACdC,IAAY,EACZC,IAAY;IAEZ,MAAMC,UAAUD,KAAKE,IAAI;IACzB,IAAID,YAAY,MAAMA,QAAQE,UAAU,CAAC,MAAM,OAAO;QAAEC,MAAM;IAAO;IACrE,IAAI,4BAA4BC,IAAI,CAACJ,UAAU,OAAO;QAAEG,MAAM;IAAO;IACrE,IAAIH,QAAQE,UAAU,CAAC,MAAM,OAAO;QAAEC,MAAM;IAAU;IACtD,MAAME,OAAOL,QAAQM,OAAO,CAAC,WAAW;IACxC,IAAID,SAAS,IAAI,OAAO;QAAEF,MAAM;IAAO;IACvC,MAAMI,WAAWjB,UAAUH,KAAKL,QAAQgB,OAAOO;IAC/C,IAAIE,aAAa,QAAQA,aAAa,IAAI,OAAO;QAAEJ,MAAM;IAAU;IACnE,OAAO;QAAEA,MAAM;QAAQpB,MAAMwB;IAAS;AACxC;AAEA,OAAO,SAASC,OAAOV,IAAY,EAAEC,IAAY;IAC/C,MAAMQ,WAAWV,aAAaC,MAAMC;IACpC,OAAOQ,SAASJ,IAAI,KAAK,SAASI,SAASxB,IAAI,GAAG;AACpD;AAEA,OAAO,SAAS0B,SAASV,IAAY,EAAEW,EAAU;IAC/C,MAAMV,UAAUD,KAAKE,IAAI;IACzB,MAAMU,QAAQ,OAAOC,IAAI,CAACZ;IAC1B,OAAOW,UAAU,OAAOD,KAAKA,KAAKV,QAAQd,KAAK,CAACyB,MAAM3B,KAAK;AAC7D"}

package/dist/project.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"project.d.ts","sourceRoot":"","sources":["../src/project.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAG3F,MAAM,MAAM,KAAK,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,MAAM,MAAM,IAAI,GAAG,KAAK,CAAC;AAEzB,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAC5C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AA4BtD,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,MAAM,CASxF;AA8BD,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,iBAAiB,GACzB,WAAW,CA8Bb;AAED,wBAAgB,OAAO,CACrB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,iBAA2C,GACnD,UAAU,CAMZ"}
+{"version":3,"file":"project.d.ts","sourceRoot":"","sources":["../src/project.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAG3F,MAAM,MAAM,KAAK,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,MAAM,MAAM,IAAI,GAAG,KAAK,CAAC;AAEzB,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAC5C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AA4BtD,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,MAAM,CASxF;AA8BD,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,iBAAiB,GACzB,WAAW,CAyBb;AAED,wBAAgB,OAAO,CACrB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,iBAA2C,GACnD,UAAU,CAMZ"}

package/dist/project.js

@@ -1,5 +1,4 @@
-import { readDefinition } from './definition.js';
-import { frontmatter, parse } from './document.js';
+import { frontmatter } from './document.js';
 import { linkInventory } from './links.js';
 import { target } from './paths.js';
 import { refusal } from './refuse.js';
@@ -93,8 +92,8 @@ export function projectionInput(document, file, context) {
             }
         };
     }
-    const source = context.definition;
-    if (source === undefined) {
+    const definition = context.definition;
+    if (definition === undefined) {
         return {
             ok: false,
             refusal: refusal(file, 'unknown-type', {
@@ -102,17 +101,6 @@ export function projectionInput(document, file, context) {
             })
         };
     }
-    const definitionFile = `types/${declared}.md`;
-    const parsed = parse(source, definitionFile);
-    if (!parsed.ok) return {
-        ok: false,
-        refusal: parsed.refusal
-    };
-    const definition = readDefinition(definitionFile, parsed.document);
-    if ('rule' in definition) return {
-        ok: false,
-        refusal: definition
-    };
     const structure = new Set(Object.entries(definition.sections).flatMap(([name, spec])=>structural(spec) ? [
             name
         ] : []));

package/dist/project.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdmodel/src/project.ts"],"sourcesContent":["import { readDefinition, type Definition, type SectionSpec } from './definition.js';\nimport { frontmatter, parse } from './document.js';\nimport { linkInventory } from './links.js';\nimport { target } from './paths.js';\nimport { refusal } from './refuse.js';\nimport { headingSpans } from './sections.js';\nimport type { Document, Extent, Projection, ProjectionContext, Refusal } from './types.js';\nimport { bodyStartOf, mapEntry } from './yaml.js';\n\nexport type Piece = Extent & { readonly text: string };\n\nexport type Edit = Piece;\n\nexport type Input = {\n  readonly values: readonly Piece[];\n  readonly ranges: readonly Extent[];\n  readonly edits: readonly Edit[];\n};\n\nexport type InputResult =\n  | { readonly ok: true; readonly input: Input }\n  | { readonly ok: false; readonly refusal: Refusal };\n\nfunction internalEdits(\n  content: string,\n  bodyStart: number,\n  file: string,\n  documentTargets: ReadonlySet<string>,\n): Edit[] {\n  const inventory = linkInventory(content.slice(bodyStart));\n  const internal = new Set<number>();\n  const edits: Edit[] = [];\n  for (const use of inventory.uses) {\n    const resolved = target(file, use.destination.href);\n    if (resolved === null || !documentTargets.has(resolved)) continue;\n    internal.add(use.destination.start);\n    edits.push({\n      start: bodyStart + use.start,\n      end: bodyStart + use.end,\n      text: content.slice(bodyStart + use.labelStart, bodyStart + use.labelEnd),\n    });\n  }\n  for (const block of inventory.blocks) {\n    if (!internal.has(block.destination.start)) continue;\n    edits.push({ start: bodyStart + block.start, end: bodyStart + block.end, text: '' });\n  }\n  return edits.sort((left, right) => left.start - right.start);\n}\n\nexport function rangeText(content: string, range: Extent, edits: readonly Edit[]): string {\n  let text = '';\n  let cursor = range.start;\n  for (const edit of edits) {\n    if (edit.start < cursor || edit.end > range.end) continue;\n    text += content.slice(cursor, edit.start) + edit.text;\n    cursor = edit.end;\n  }\n  return text + content.slice(cursor, range.end);\n}\n\nfunction structural(spec: SectionSpec): boolean {\n  return spec.kind === 'list' && spec.of.kind !== 'text';\n}\n\nfunction freeTextValues(definition: Definition, document: Document): Piece[] {\n  const root = frontmatter(document);\n  if (root === null) return [];\n  const values: Piece[] = [];\n  for (const [name, spec] of Object.entries(definition.fields)) {\n    const entry = mapEntry(root, name);\n    if (entry === undefined) continue;\n    const node = entry.value;\n    if (spec.kind === 'text') {\n      if (node.kind === 'scalar' && typeof node.value === 'string') {\n        values.push({ start: node.start, end: node.end, text: `${node.value}\\n\\n` });\n      }\n      continue;\n    }\n    if (spec.kind !== 'list' || spec.of.kind !== 'text' || node.kind !== 'seq') continue;\n    for (const item of node.items) {\n      if (item.kind === 'scalar' && typeof item.value === 'string') {\n        values.push({ start: item.start, end: item.end, text: `${item.value}\\n\\n` });\n      }\n    }\n  }\n  return values;\n}\n\nexport function projectionInput(\n  document: Document,\n  file: string,\n  context: ProjectionContext,\n): InputResult {\n  const content = document.content;\n  const bodyStart = bodyStartOf(content);\n  const edits = internalEdits(content, bodyStart, file, new Set(context.documentTargets));\n  const declared = document.type;\n  if (declared === undefined || declared === 'any') {\n    return {\n      ok: true,\n      input: { values: [], ranges: [{ start: bodyStart, end: content.length }], edits },\n    };\n  }\n  const source = context.definition;\n  if (source === undefined) {\n    return { ok: false, refusal: refusal(file, 'unknown-type', { location: 'type' }) };\n  }\n  const definitionFile = `types/${declared}.md`;\n  const parsed = parse(source, definitionFile);\n  if (!parsed.ok) return { ok: false, refusal: parsed.refusal };\n  const definition = readDefinition(definitionFile, parsed.document);\n  if ('rule' in definition) return { ok: false, refusal: definition };\n  const structure = new Set(\n    Object.entries(definition.sections).flatMap(([name, spec]) => (structural(spec) ? [name] : [])),\n  );\n  const headings = headingSpans(content, bodyStart);\n  const ranges: Extent[] = [{ start: bodyStart, end: headings[0]?.headingStart ?? content.length }];\n  for (const heading of headings) {\n    if (structure.has(heading.name)) continue;\n    ranges.push({ start: heading.headingStart, end: heading.bodyEnd });\n  }\n  return { ok: true, input: { values: freeTextValues(definition, document), ranges, edits } };\n}\n\nexport function project(\n  document: Document,\n  file: string,\n  context: ProjectionContext = { documentTargets: [] },\n): Projection {\n  const result = projectionInput(document, file, context);\n  if (!result.ok) return { ok: false, refusal: result.refusal };\n  const { values, ranges, edits } = result.input;\n  const prose = ranges.map((range) => rangeText(document.content, range, edits)).join('');\n  return { ok: true, text: values.map((value) => value.text).join('') + prose };\n}\n"],"names":["readDefinition","frontmatter","parse","linkInventory","target","refusal","headingSpans","bodyStartOf","mapEntry","internalEdits","content","bodyStart","file","documentTargets","inventory","slice","internal","Set","edits","use","uses","resolved","destination","href","has","add","start","push","end","text","labelStart","labelEnd","block","blocks","sort","left","right","rangeText","range","cursor","edit","structural","spec","kind","of","freeTextValues","definition","document","root","values","name","Object","entries","fields","entry","undefined","node","value","item","items","projectionInput","context","declared","type","ok","input","ranges","length","source","location","definitionFile","parsed","structure","sections","flatMap","headings","headingStart","heading","bodyEnd","project","result","prose","map","join"],"mappings":"AAAA,SAASA,cAAc,QAA2C,kBAAkB;AACpF,SAASC,WAAW,EAAEC,KAAK,QAAQ,gBAAgB;AACnD,SAASC,aAAa,QAAQ,aAAa;AAC3C,SAASC,MAAM,QAAQ,aAAa;AACpC,SAASC,OAAO,QAAQ,cAAc;AACtC,SAASC,YAAY,QAAQ,gBAAgB;AAE7C,SAASC,WAAW,EAAEC,QAAQ,QAAQ,YAAY;AAgBlD,SAASC,cACPC,OAAe,EACfC,SAAiB,EACjBC,IAAY,EACZC,eAAoC;IAEpC,MAAMC,YAAYX,cAAcO,QAAQK,KAAK,CAACJ;IAC9C,MAAMK,WAAW,IAAIC;IACrB,MAAMC,QAAgB,EAAE;IACxB,KAAK,MAAMC,OAAOL,UAAUM,IAAI,CAAE;QAChC,MAAMC,WAAWjB,OAAOQ,MAAMO,IAAIG,WAAW,CAACC,IAAI;QAClD,IAAIF,aAAa,QAAQ,CAACR,gBAAgBW,GAAG,CAACH,WAAW;QACzDL,SAASS,GAAG,CAACN,IAAIG,WAAW,CAACI,KAAK;QAClCR,MAAMS,IAAI,CAAC;YACTD,OAAOf,YAAYQ,IAAIO,KAAK;YAC5BE,KAAKjB,YAAYQ,IAAIS,GAAG;YACxBC,MAAMnB,QAAQK,KAAK,CAACJ,YAAYQ,IAAIW,UAAU,EAAEnB,YAAYQ,IAAIY,QAAQ;QAC1E;IACF;IACA,KAAK,MAAMC,SAASlB,UAAUmB,MAAM,CAAE;QACpC,IAAI,CAACjB,SAASQ,GAAG,CAACQ,MAAMV,WAAW,CAACI,KAAK,GAAG;QAC5CR,MAAMS,IAAI,CAAC;YAAED,OAAOf,YAAYqB,MAAMN,KAAK;YAAEE,KAAKjB,YAAYqB,MAAMJ,GAAG;YAAEC,MAAM;QAAG;IACpF;IACA,OAAOX,MAAMgB,IAAI,CAAC,CAACC,MAAMC,QAAUD,KAAKT,KAAK,GAAGU,MAAMV,KAAK;AAC7D;AAEA,OAAO,SAASW,UAAU3B,OAAe,EAAE4B,KAAa,EAAEpB,KAAsB;IAC9E,IAAIW,OAAO;IACX,IAAIU,SAASD,MAAMZ,KAAK;IACxB,KAAK,MAAMc,QAAQtB,MAAO;QACxB,IAAIsB,KAAKd,KAAK,GAAGa,UAAUC,KAAKZ,GAAG,GAAGU,MAAMV,GAAG,EAAE;QACjDC,QAAQnB,QAAQK,KAAK,CAACwB,QAAQC,KAAKd,KAAK,IAAIc,KAAKX,IAAI;QACrDU,SAASC,KAAKZ,GAAG;IACnB;IACA,OAAOC,OAAOnB,QAAQK,KAAK,CAACwB,QAAQD,MAAMV,GAAG;AAC/C;AAEA,SAASa,WAAWC,IAAiB;IACnC,OAAOA,KAAKC,IAAI,KAAK,UAAUD,KAAKE,EAAE,CAACD,IAAI,KAAK;AAClD;AAEA,SAASE,eAAeC,UAAsB,EAAEC,QAAkB;IAChE,MAAMC,OAAO/C,YAAY8C;IACzB,IAAIC,SAAS,MAAM,OAAO,EAAE;IAC5B,MAAMC,SAAkB,EAAE;IAC1B,KAAK,MAAM,CAACC,MAAMR,KAAK,IAAIS,OAAOC,OAAO,CAACN,WAAWO,MAAM,EAAG;QAC5D,MAAMC,QAAQ9C,SAASwC,MAAME;QAC7B,IAAII,UAAUC,WAAW;QACzB,MAAMC,OAAOF,MAAMG,KAAK;QACxB,IAAIf,KAAKC,IAAI,KAAK,QAAQ;YACxB,IAAIa,KAAKb,IAAI,KAAK,YAAY,OAAOa,KAAKC,KAAK,KAAK,UAAU;gBAC5DR,OAAOtB,IAAI,CAAC;oBAAED,OAAO8B,KAAK9B,KAAK;oBAAEE,KAAK4B,KAAK5B,GAAG;oBAAEC,MAAM,GAAG2B,KAAKC,KAAK,CAAC,IAAI,CAAC;gBAAC;YAC5E;YACA;QACF;QACA,IAAIf,KAAKC,IAAI,KAAK,UAAUD,KAAKE,EAAE,CAACD,IAAI,KAAK,UAAUa,KAAKb,IAAI,KAAK,OAAO;QAC5E,KAAK,MAAMe,QAAQF,KAAKG,KAAK,CAAE;YAC7B,IAAID,KAAKf,IAAI,KAAK,YAAY,OAAOe,KAAKD,KAAK,KAAK,UAAU;gBAC5DR,OAAOtB,IAAI,CAAC;oBAAED,OAAOgC,KAAKhC,KAAK;oBAAEE,KAAK8B,KAAK9B,GAAG;oBAAEC,MAAM,GAAG6B,KAAKD,KAAK,CAAC,IAAI,CAAC;gBAAC;YAC5E;QACF;IACF;IACA,OAAOR;AACT;AAEA,OAAO,SAASW,gBACdb,QAAkB,EAClBnC,IAAY,EACZiD,OAA0B;IAE1B,MAAMnD,UAAUqC,SAASrC,OAAO;IAChC,MAAMC,YAAYJ,YAAYG;IAC9B,MAAMQ,QAAQT,cAAcC,SAASC,WAAWC,MAAM,IAAIK,IAAI4C,QAAQhD,eAAe;IACrF,MAAMiD,WAAWf,SAASgB,IAAI;IAC9B,IAAID,aAAaP,aAAaO,aAAa,OAAO;QAChD,OAAO;YACLE,IAAI;YACJC,OAAO;gBAAEhB,QAAQ,EAAE;gBAAEiB,QAAQ;oBAAC;wBAAExC,OAAOf;wBAAWiB,KAAKlB,QAAQyD,MAAM;oBAAC;iBAAE;gBAAEjD;YAAM;QAClF;IACF;IACA,MAAMkD,SAASP,QAAQf,UAAU;IACjC,IAAIsB,WAAWb,WAAW;QACxB,OAAO;YAAES,IAAI;YAAO3D,SAASA,QAAQO,MAAM,gBAAgB;gBAAEyD,UAAU;YAAO;QAAG;IACnF;IACA,MAAMC,iBAAiB,CAAC,MAAM,EAAER,SAAS,GAAG,CAAC;IAC7C,MAAMS,SAASrE,MAAMkE,QAAQE;IAC7B,IAAI,CAACC,OAAOP,EAAE,EAAE,OAAO;QAAEA,IAAI;QAAO3D,SAASkE,OAAOlE,OAAO;IAAC;IAC5D,MAAMyC,aAAa9C,eAAesE,gBAAgBC,OAAOxB,QAAQ;IACjE,IAAI,UAAUD,YAAY,OAAO;QAAEkB,IAAI;QAAO3D,SAASyC;IAAW;IAClE,MAAM0B,YAAY,IAAIvD,IACpBkC,OAAOC,OAAO,CAACN,WAAW2B,QAAQ,EAAEC,OAAO,CAAC,CAAC,CAACxB,MAAMR,KAAK,GAAMD,WAAWC,QAAQ;YAACQ;SAAK,GAAG,EAAE;IAE/F,MAAMyB,WAAWrE,aAAaI,SAASC;IACvC,MAAMuD,SAAmB;QAAC;YAAExC,OAAOf;YAAWiB,KAAK+C,QAAQ,CAAC,EAAE,EAAEC,gBAAgBlE,QAAQyD,MAAM;QAAC;KAAE;IACjG,KAAK,MAAMU,WAAWF,SAAU;QAC9B,IAAIH,UAAUhD,GAAG,CAACqD,QAAQ3B,IAAI,GAAG;QACjCgB,OAAOvC,IAAI,CAAC;YAAED,OAAOmD,QAAQD,YAAY;YAAEhD,KAAKiD,QAAQC,OAAO;QAAC;IAClE;IACA,OAAO;QAAEd,IAAI;QAAMC,OAAO;YAAEhB,QAAQJ,eAAeC,YAAYC;YAAWmB;YAAQhD;QAAM;IAAE;AAC5F;AAEA,OAAO,SAAS6D,QACdhC,QAAkB,EAClBnC,IAAY,EACZiD,UAA6B;IAAEhD,iBAAiB,EAAE;AAAC,CAAC;IAEpD,MAAMmE,SAASpB,gBAAgBb,UAAUnC,MAAMiD;IAC/C,IAAI,CAACmB,OAAOhB,EAAE,EAAE,OAAO;QAAEA,IAAI;QAAO3D,SAAS2E,OAAO3E,OAAO;IAAC;IAC5D,MAAM,EAAE4C,MAAM,EAAEiB,MAAM,EAAEhD,KAAK,EAAE,GAAG8D,OAAOf,KAAK;IAC9C,MAAMgB,QAAQf,OAAOgB,GAAG,CAAC,CAAC5C,QAAUD,UAAUU,SAASrC,OAAO,EAAE4B,OAAOpB,QAAQiE,IAAI,CAAC;IACpF,OAAO;QAAEnB,IAAI;QAAMnC,MAAMoB,OAAOiC,GAAG,CAAC,CAACzB,QAAUA,MAAM5B,IAAI,EAAEsD,IAAI,CAAC,MAAMF;IAAM;AAC9E"}
+{"version":3,"sources":["/workspace/packages/mdmodel/src/project.ts"],"sourcesContent":["import type { Definition, SectionSpec } from './definition.js';\nimport { frontmatter } from './document.js';\nimport { linkInventory } from './links.js';\nimport { target } from './paths.js';\nimport { refusal } from './refuse.js';\nimport { headingSpans } from './sections.js';\nimport type { Document, Extent, Projection, ProjectionContext, Refusal } from './types.js';\nimport { bodyStartOf, mapEntry } from './yaml.js';\n\nexport type Piece = Extent & { readonly text: string };\n\nexport type Edit = Piece;\n\nexport type Input = {\n  readonly values: readonly Piece[];\n  readonly ranges: readonly Extent[];\n  readonly edits: readonly Edit[];\n};\n\nexport type InputResult =\n  | { readonly ok: true; readonly input: Input }\n  | { readonly ok: false; readonly refusal: Refusal };\n\nfunction internalEdits(\n  content: string,\n  bodyStart: number,\n  file: string,\n  documentTargets: ReadonlySet<string>,\n): Edit[] {\n  const inventory = linkInventory(content.slice(bodyStart));\n  const internal = new Set<number>();\n  const edits: Edit[] = [];\n  for (const use of inventory.uses) {\n    const resolved = target(file, use.destination.href);\n    if (resolved === null || !documentTargets.has(resolved)) continue;\n    internal.add(use.destination.start);\n    edits.push({\n      start: bodyStart + use.start,\n      end: bodyStart + use.end,\n      text: content.slice(bodyStart + use.labelStart, bodyStart + use.labelEnd),\n    });\n  }\n  for (const block of inventory.blocks) {\n    if (!internal.has(block.destination.start)) continue;\n    edits.push({ start: bodyStart + block.start, end: bodyStart + block.end, text: '' });\n  }\n  return edits.sort((left, right) => left.start - right.start);\n}\n\nexport function rangeText(content: string, range: Extent, edits: readonly Edit[]): string {\n  let text = '';\n  let cursor = range.start;\n  for (const edit of edits) {\n    if (edit.start < cursor || edit.end > range.end) continue;\n    text += content.slice(cursor, edit.start) + edit.text;\n    cursor = edit.end;\n  }\n  return text + content.slice(cursor, range.end);\n}\n\nfunction structural(spec: SectionSpec): boolean {\n  return spec.kind === 'list' && spec.of.kind !== 'text';\n}\n\nfunction freeTextValues(definition: Definition, document: Document): Piece[] {\n  const root = frontmatter(document);\n  if (root === null) return [];\n  const values: Piece[] = [];\n  for (const [name, spec] of Object.entries(definition.fields)) {\n    const entry = mapEntry(root, name);\n    if (entry === undefined) continue;\n    const node = entry.value;\n    if (spec.kind === 'text') {\n      if (node.kind === 'scalar' && typeof node.value === 'string') {\n        values.push({ start: node.start, end: node.end, text: `${node.value}\\n\\n` });\n      }\n      continue;\n    }\n    if (spec.kind !== 'list' || spec.of.kind !== 'text' || node.kind !== 'seq') continue;\n    for (const item of node.items) {\n      if (item.kind === 'scalar' && typeof item.value === 'string') {\n        values.push({ start: item.start, end: item.end, text: `${item.value}\\n\\n` });\n      }\n    }\n  }\n  return values;\n}\n\nexport function projectionInput(\n  document: Document,\n  file: string,\n  context: ProjectionContext,\n): InputResult {\n  const content = document.content;\n  const bodyStart = bodyStartOf(content);\n  const edits = internalEdits(content, bodyStart, file, new Set(context.documentTargets));\n  const declared = document.type;\n  if (declared === undefined || declared === 'any') {\n    return {\n      ok: true,\n      input: { values: [], ranges: [{ start: bodyStart, end: content.length }], edits },\n    };\n  }\n  const definition = context.definition;\n  if (definition === undefined) {\n    return { ok: false, refusal: refusal(file, 'unknown-type', { location: 'type' }) };\n  }\n  const structure = new Set(\n    Object.entries(definition.sections).flatMap(([name, spec]) => (structural(spec) ? [name] : [])),\n  );\n  const headings = headingSpans(content, bodyStart);\n  const ranges: Extent[] = [{ start: bodyStart, end: headings[0]?.headingStart ?? content.length }];\n  for (const heading of headings) {\n    if (structure.has(heading.name)) continue;\n    ranges.push({ start: heading.headingStart, end: heading.bodyEnd });\n  }\n  return { ok: true, input: { values: freeTextValues(definition, document), ranges, edits } };\n}\n\nexport function project(\n  document: Document,\n  file: string,\n  context: ProjectionContext = { documentTargets: [] },\n): Projection {\n  const result = projectionInput(document, file, context);\n  if (!result.ok) return { ok: false, refusal: result.refusal };\n  const { values, ranges, edits } = result.input;\n  const prose = ranges.map((range) => rangeText(document.content, range, edits)).join('');\n  return { ok: true, text: values.map((value) => value.text).join('') + prose };\n}\n"],"names":["frontmatter","linkInventory","target","refusal","headingSpans","bodyStartOf","mapEntry","internalEdits","content","bodyStart","file","documentTargets","inventory","slice","internal","Set","edits","use","uses","resolved","destination","href","has","add","start","push","end","text","labelStart","labelEnd","block","blocks","sort","left","right","rangeText","range","cursor","edit","structural","spec","kind","of","freeTextValues","definition","document","root","values","name","Object","entries","fields","entry","undefined","node","value","item","items","projectionInput","context","declared","type","ok","input","ranges","length","location","structure","sections","flatMap","headings","headingStart","heading","bodyEnd","project","result","prose","map","join"],"mappings":"AACA,SAASA,WAAW,QAAQ,gBAAgB;AAC5C,SAASC,aAAa,QAAQ,aAAa;AAC3C,SAASC,MAAM,QAAQ,aAAa;AACpC,SAASC,OAAO,QAAQ,cAAc;AACtC,SAASC,YAAY,QAAQ,gBAAgB;AAE7C,SAASC,WAAW,EAAEC,QAAQ,QAAQ,YAAY;AAgBlD,SAASC,cACPC,OAAe,EACfC,SAAiB,EACjBC,IAAY,EACZC,eAAoC;IAEpC,MAAMC,YAAYX,cAAcO,QAAQK,KAAK,CAACJ;IAC9C,MAAMK,WAAW,IAAIC;IACrB,MAAMC,QAAgB,EAAE;IACxB,KAAK,MAAMC,OAAOL,UAAUM,IAAI,CAAE;QAChC,MAAMC,WAAWjB,OAAOQ,MAAMO,IAAIG,WAAW,CAACC,IAAI;QAClD,IAAIF,aAAa,QAAQ,CAACR,gBAAgBW,GAAG,CAACH,WAAW;QACzDL,SAASS,GAAG,CAACN,IAAIG,WAAW,CAACI,KAAK;QAClCR,MAAMS,IAAI,CAAC;YACTD,OAAOf,YAAYQ,IAAIO,KAAK;YAC5BE,KAAKjB,YAAYQ,IAAIS,GAAG;YACxBC,MAAMnB,QAAQK,KAAK,CAACJ,YAAYQ,IAAIW,UAAU,EAAEnB,YAAYQ,IAAIY,QAAQ;QAC1E;IACF;IACA,KAAK,MAAMC,SAASlB,UAAUmB,MAAM,CAAE;QACpC,IAAI,CAACjB,SAASQ,GAAG,CAACQ,MAAMV,WAAW,CAACI,KAAK,GAAG;QAC5CR,MAAMS,IAAI,CAAC;YAAED,OAAOf,YAAYqB,MAAMN,KAAK;YAAEE,KAAKjB,YAAYqB,MAAMJ,GAAG;YAAEC,MAAM;QAAG;IACpF;IACA,OAAOX,MAAMgB,IAAI,CAAC,CAACC,MAAMC,QAAUD,KAAKT,KAAK,GAAGU,MAAMV,KAAK;AAC7D;AAEA,OAAO,SAASW,UAAU3B,OAAe,EAAE4B,KAAa,EAAEpB,KAAsB;IAC9E,IAAIW,OAAO;IACX,IAAIU,SAASD,MAAMZ,KAAK;IACxB,KAAK,MAAMc,QAAQtB,MAAO;QACxB,IAAIsB,KAAKd,KAAK,GAAGa,UAAUC,KAAKZ,GAAG,GAAGU,MAAMV,GAAG,EAAE;QACjDC,QAAQnB,QAAQK,KAAK,CAACwB,QAAQC,KAAKd,KAAK,IAAIc,KAAKX,IAAI;QACrDU,SAASC,KAAKZ,GAAG;IACnB;IACA,OAAOC,OAAOnB,QAAQK,KAAK,CAACwB,QAAQD,MAAMV,GAAG;AAC/C;AAEA,SAASa,WAAWC,IAAiB;IACnC,OAAOA,KAAKC,IAAI,KAAK,UAAUD,KAAKE,EAAE,CAACD,IAAI,KAAK;AAClD;AAEA,SAASE,eAAeC,UAAsB,EAAEC,QAAkB;IAChE,MAAMC,OAAO9C,YAAY6C;IACzB,IAAIC,SAAS,MAAM,OAAO,EAAE;IAC5B,MAAMC,SAAkB,EAAE;IAC1B,KAAK,MAAM,CAACC,MAAMR,KAAK,IAAIS,OAAOC,OAAO,CAACN,WAAWO,MAAM,EAAG;QAC5D,MAAMC,QAAQ9C,SAASwC,MAAME;QAC7B,IAAII,UAAUC,WAAW;QACzB,MAAMC,OAAOF,MAAMG,KAAK;QACxB,IAAIf,KAAKC,IAAI,KAAK,QAAQ;YACxB,IAAIa,KAAKb,IAAI,KAAK,YAAY,OAAOa,KAAKC,KAAK,KAAK,UAAU;gBAC5DR,OAAOtB,IAAI,CAAC;oBAAED,OAAO8B,KAAK9B,KAAK;oBAAEE,KAAK4B,KAAK5B,GAAG;oBAAEC,MAAM,GAAG2B,KAAKC,KAAK,CAAC,IAAI,CAAC;gBAAC;YAC5E;YACA;QACF;QACA,IAAIf,KAAKC,IAAI,KAAK,UAAUD,KAAKE,EAAE,CAACD,IAAI,KAAK,UAAUa,KAAKb,IAAI,KAAK,OAAO;QAC5E,KAAK,MAAMe,QAAQF,KAAKG,KAAK,CAAE;YAC7B,IAAID,KAAKf,IAAI,KAAK,YAAY,OAAOe,KAAKD,KAAK,KAAK,UAAU;gBAC5DR,OAAOtB,IAAI,CAAC;oBAAED,OAAOgC,KAAKhC,KAAK;oBAAEE,KAAK8B,KAAK9B,GAAG;oBAAEC,MAAM,GAAG6B,KAAKD,KAAK,CAAC,IAAI,CAAC;gBAAC;YAC5E;QACF;IACF;IACA,OAAOR;AACT;AAEA,OAAO,SAASW,gBACdb,QAAkB,EAClBnC,IAAY,EACZiD,OAA0B;IAE1B,MAAMnD,UAAUqC,SAASrC,OAAO;IAChC,MAAMC,YAAYJ,YAAYG;IAC9B,MAAMQ,QAAQT,cAAcC,SAASC,WAAWC,MAAM,IAAIK,IAAI4C,QAAQhD,eAAe;IACrF,MAAMiD,WAAWf,SAASgB,IAAI;IAC9B,IAAID,aAAaP,aAAaO,aAAa,OAAO;QAChD,OAAO;YACLE,IAAI;YACJC,OAAO;gBAAEhB,QAAQ,EAAE;gBAAEiB,QAAQ;oBAAC;wBAAExC,OAAOf;wBAAWiB,KAAKlB,QAAQyD,MAAM;oBAAC;iBAAE;gBAAEjD;YAAM;QAClF;IACF;IACA,MAAM4B,aAAae,QAAQf,UAAU;IACrC,IAAIA,eAAeS,WAAW;QAC5B,OAAO;YAAES,IAAI;YAAO3D,SAASA,QAAQO,MAAM,gBAAgB;gBAAEwD,UAAU;YAAO;QAAG;IACnF;IACA,MAAMC,YAAY,IAAIpD,IACpBkC,OAAOC,OAAO,CAACN,WAAWwB,QAAQ,EAAEC,OAAO,CAAC,CAAC,CAACrB,MAAMR,KAAK,GAAMD,WAAWC,QAAQ;YAACQ;SAAK,GAAG,EAAE;IAE/F,MAAMsB,WAAWlE,aAAaI,SAASC;IACvC,MAAMuD,SAAmB;QAAC;YAAExC,OAAOf;YAAWiB,KAAK4C,QAAQ,CAAC,EAAE,EAAEC,gBAAgB/D,QAAQyD,MAAM;QAAC;KAAE;IACjG,KAAK,MAAMO,WAAWF,SAAU;QAC9B,IAAIH,UAAU7C,GAAG,CAACkD,QAAQxB,IAAI,GAAG;QACjCgB,OAAOvC,IAAI,CAAC;YAAED,OAAOgD,QAAQD,YAAY;YAAE7C,KAAK8C,QAAQC,OAAO;QAAC;IAClE;IACA,OAAO;QAAEX,IAAI;QAAMC,OAAO;YAAEhB,QAAQJ,eAAeC,YAAYC;YAAWmB;YAAQhD;QAAM;IAAE;AAC5F;AAEA,OAAO,SAAS0D,QACd7B,QAAkB,EAClBnC,IAAY,EACZiD,UAA6B;IAAEhD,iBAAiB,EAAE;AAAC,CAAC;IAEpD,MAAMgE,SAASjB,gBAAgBb,UAAUnC,MAAMiD;IAC/C,IAAI,CAACgB,OAAOb,EAAE,EAAE,OAAO;QAAEA,IAAI;QAAO3D,SAASwE,OAAOxE,OAAO;IAAC;IAC5D,MAAM,EAAE4C,MAAM,EAAEiB,MAAM,EAAEhD,KAAK,EAAE,GAAG2D,OAAOZ,KAAK;IAC9C,MAAMa,QAAQZ,OAAOa,GAAG,CAAC,CAACzC,QAAUD,UAAUU,SAASrC,OAAO,EAAE4B,OAAOpB,QAAQ8D,IAAI,CAAC;IACpF,OAAO;QAAEhB,IAAI;QAAMnC,MAAMoB,OAAO8B,GAAG,CAAC,CAACtB,QAAUA,MAAM5B,IAAI,EAAEmD,IAAI,CAAC,MAAMF;IAAM;AAC9E"}

package/dist/types.d.ts

@@ -6,16 +6,18 @@ export type VerifiedModel = {
 export type ModelVerification = {
     readonly verdict: 'accept';
     readonly model: VerifiedModel;
-} | ({
+} | {
     readonly verdict: 'refuse';
-    readonly source: 'model';
-} & Refusal);
+    readonly rule: string;
+    readonly version: string;
+    readonly location?: string;
+};
 export type ValidationContext = {
     readonly binaryTargets: readonly string[];
 };
 export type ProjectionContext = {
     readonly documentTargets: readonly string[];
-    readonly definition?: string;
+    readonly definition?: Definition;
 };
 export type DivisionContext = ProjectionContext & {
     readonly budget: number;
@@ -45,7 +47,6 @@ 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,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"}
+{"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;IACE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEN,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,UAAU,CAAC;CAClC,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"}

package/dist/types.js.map

@@ -1 +1 @@
-{"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"}
+{"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  | {\n      readonly verdict: 'refuse';\n      readonly rule: string;\n      readonly version: string;\n      readonly location?: string;\n    };\n\nexport type ValidationContext = {\n  readonly binaryTargets: readonly string[];\n};\n\nexport type ProjectionContext = {\n  readonly documentTargets: readonly string[];\n  readonly definition?: Definition;\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":"AAoGA,WAG8D"}

package/dist/validate.d.ts

@@ -1,5 +1,4 @@
-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;
+import type { Library, ModelVerification, Validation, ValidationContext, VerifiedModel } from './types.js';
+export declare function verify(schema: string): 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,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"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAEV,OAAO,EACP,iBAAiB,EACjB,UAAU,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AA2CpB,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CASxD;AAQD,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,UAAU,CAyGZ"}