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

package/dist/schema.js

@@ -1,48 +1,163 @@
 import { Validator } from '@cfworker/json-schema';
-function scalarSchema(spec) {
-    if (spec.kind === 'text' || spec.kind === 'string' || spec.kind === 'reference') return {
-        type: 'string'
-    };
-    if (spec.kind === 'number') return {
-        type: 'number'
-    };
-    if (spec.kind === 'date') return {
-        type: 'string',
-        format: 'date'
-    };
-    return {
-        type: 'string',
-        enum: [
-            ...spec.values
-        ]
-    };
+import { escapePointer, refTarget } from './definition.js';
+import { MEMBER_FIELD, RECEIVED_FIELD, SITE_FIELD } from './fields.js';
+import { interpretPlain, isRecord } from './yaml.js';
+const STANDING_MAPS = ['properties', 'patternProperties'];
+const STANDING = [
+    'additionalProperties',
+    'unevaluatedProperties',
+    'items',
+    'unevaluatedItems',
+    'contains',
+];
+const STANDING_LISTS = ['prefixItems'];
+const IN_PLACE = ['if', 'then', 'else'];
+const IN_PLACE_LISTS = ['allOf', 'anyOf', 'oneOf'];
+const IN_PLACE_MAPS = ['dependentSchemas'];
+const PASSING = new Set([
+    'properties',
+    'patternProperties',
+    '$ref',
+    'items',
+    'prefixItems',
+    'unevaluatedItems',
+    'allOf',
+    'if',
+    'dependentSchemas',
+]);
+const OPENING = new Set(['additionalProperties', 'unevaluatedProperties']);
+const REQUIRED = /required property "([\s\S]*)"\.$/u;
+const compiled = new WeakMap();
+function mapped(value, map) {
+    return Object.fromEntries(Object.entries(value).map(([key, held]) => [key, map(held)]));
 }
-function fieldSchema(spec) {
-    if (spec.kind === 'list') return {
-        type: 'array',
-        items: scalarSchema(spec.of)
-    };
-    return scalarSchema(spec);
+function objectSchema(node) {
+    const type = node.type;
+    return (type === 'object' ||
+        (Array.isArray(type) && type.includes('object')) ||
+        node.properties !== undefined ||
+        node.patternProperties !== undefined);
 }
-function ruleFor(error) {
-    return error.keyword === 'enum' ? 'field-enum' : 'field-kind';
+function inPlaceChildren(node) {
+    return [
+        ...IN_PLACE.map((key) => node[key]),
+        ...IN_PLACE_LISTS.flatMap((key) => (Array.isArray(node[key]) ? node[key] : [])),
+        ...IN_PLACE_MAPS.flatMap((key) => (isRecord(node[key]) ? Object.values(node[key]) : [])),
+    ];
 }
-export function validateFields(fields, values) {
-    for (const [name, spec] of Object.entries(fields)){
-        if (spec.required && values[name] === undefined) return {
-            field: name,
-            rule: 'required-field'
-        };
+function objecty(node, defs, seen) {
+    if (!isRecord(node))
+        return false;
+    if (objectSchema(node))
+        return true;
+    if (typeof node.$ref === 'string') {
+        const target = refTarget(node.$ref, defs)?.node;
+        if (target !== undefined &&
+            !seen.has(target) &&
+            objecty(target, defs, new Set([...seen, target])))
+            return true;
     }
-    for (const [name, spec] of Object.entries(fields)){
-        if (values[name] === undefined) continue;
-        const result = new Validator(fieldSchema(spec), '2020-12', false).validate(values[name]);
-        if (!result.valid) return {
-            field: name,
-            rule: ruleFor(result.errors[0])
-        };
+    return inPlaceChildren(node).some((child) => objecty(child, defs, seen));
+}
+function closed(node, inPlace, defs, always = false) {
+    if (!isRecord(node))
+        return node;
+    const out = { ...node };
+    const standing = (held) => closed(held, false, defs);
+    const nested = (held) => closed(held, true, defs);
+    for (const key of STANDING_MAPS)
+        if (isRecord(node[key]))
+            out[key] = mapped(node[key], standing);
+    for (const key of STANDING)
+        if (node[key] !== undefined)
+            out[key] = standing(node[key]);
+    for (const key of STANDING_LISTS)
+        if (Array.isArray(node[key]))
+            out[key] = node[key].map(standing);
+    for (const key of IN_PLACE)
+        if (node[key] !== undefined)
+            out[key] = nested(node[key]);
+    for (const key of IN_PLACE_LISTS)
+        if (Array.isArray(node[key]))
+            out[key] = node[key].map(nested);
+    for (const key of IN_PLACE_MAPS)
+        if (isRecord(node[key]))
+            out[key] = mapped(node[key], nested);
+    if (isRecord(node.$defs))
+        out.$defs = mapped(node.$defs, nested);
+    if (!inPlace &&
+        node.additionalProperties === undefined &&
+        node.unevaluatedProperties === undefined &&
+        (always || objecty(node, defs, new Set())))
+        out.unevaluatedProperties = false;
+    return out;
+}
+function copied(value) {
+    return JSON.parse(JSON.stringify(value));
+}
+function compile(definition) {
+    const defs = copied(definition.shape.defs);
+    const { sections, member_document: _mark, ...root } = copied(definition.shape.schema);
+    const closedDefs = mapped(defs, (held) => closed(held, true, defs));
+    const declared = isRecord(root.properties) ? root.properties : {};
+    const properties = {
+        type: true,
+        [SITE_FIELD]: true,
+        [RECEIVED_FIELD]: true,
+        ...(definition.memberDocument ? { [MEMBER_FIELD]: { type: 'string' } } : {}),
+        ...declared,
+    };
+    const frontmatter = new Validator({ ...closed({ ...root, properties }, false, defs, true), $defs: closedDefs }, '2020-12', false);
+    const lists = new Map();
+    for (const [name, spec] of Object.entries(isRecord(sections) ? sections : {})) {
+        if (!isRecord(spec) || spec.kind !== 'list')
+            continue;
+        lists.set(name, new Validator({ ...closed(spec.items, false, defs), $defs: closedDefs }, '2020-12', false));
     }
-    return undefined;
+    return { frontmatter, sections: lists };
+}
+function compiledOf(definition) {
+    const held = compiled.get(definition);
+    if (held !== undefined)
+        return held;
+    const made = compile(definition);
+    compiled.set(definition, made);
+    return made;
+}
+function pointer(location) {
+    return decodeURI(location.slice(1));
+}
+function refusalOf(errors) {
+    for (const [index, error] of errors.entries()) {
+        const next = errors[index + 1];
+        if (OPENING.has(error.keyword)) {
+            if (next?.keyword === 'false')
+                return { rule: 'undeclared-field', location: pointer(next.instanceLocation) };
+            if (next !== undefined)
+                continue;
+        }
+        if (PASSING.has(error.keyword) && next !== undefined)
+            continue;
+        if (error.keyword === 'required') {
+            const missing = REQUIRED.exec(error.error)?.[1] ?? '';
+            return {
+                rule: 'required',
+                location: `${pointer(error.instanceLocation)}/${escapePointer(missing)}`,
+            };
+        }
+        return { rule: error.keyword, location: pointer(error.instanceLocation) };
+    }
+    return { rule: 'schema', location: '' };
+}
+export function frontmatterRefusal(definition, fields) {
+    const result = compiledOf(definition).frontmatter.validate(fields);
+    return result.valid ? undefined : refusalOf(result.errors);
+}
+export function fitsItem(definition, section, text) {
+    const spec = definition.sections[section];
+    const validator = compiledOf(definition).sections.get(section);
+    if (spec?.kind !== 'list' || validator === undefined)
+        return false;
+    const typed = spec.items.type === 'string' ? text : interpretPlain(text);
+    return validator.validate(typed).valid;
 }
-
-//# sourceMappingURL=schema.js.map

package/dist/sections.d.ts

@@ -1,3 +1,4 @@
+import type { Extent } from './types.js';
 export type SectionSpan = {
     readonly name: string;
     readonly headingStart: number;
@@ -6,5 +7,5 @@ export type SectionSpan = {
 };
 export declare function headingSpans(content: string, bodyStart: number): SectionSpan[];
 export declare function sectionsRecord(spans: readonly SectionSpan[], content: string): Record<string, string>;
-export declare function parseListSection(body: string): boolean;
+export declare function listItems(content: string, from: number, to: number): Extent[] | null;
 //# sourceMappingURL=sections.d.ts.map

package/dist/sections.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sections.d.ts","sourceRoot":"","sources":["../src/sections.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,CAAC;AAqBF,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,WAAW,EAAE,CAwB9E;AAED,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,OAAO,EAAE,MAAM,GACd,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAOxB;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAiBtD"}
+{"version":3,"file":"sections.d.ts","sourceRoot":"","sources":["../src/sections.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,CAAC;AAIF,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,WAAW,EAAE,CAc9E;AAED,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,OAAO,EAAE,MAAM,GACd,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAOxB;AASD,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,IAAI,CAoBpF"}

package/dist/sections.js

@@ -1,79 +1,57 @@
-const H2 = /^##(?!#)[ \t]+(.+?)[ \t]*#*[ \t]*$/;
+import { headingLines } from './blocks.js';
 const ITEM = /^([ \t]*)([-*+]|\d+[.)])[ \t]+/;
-function lineRange(content, from) {
-    const nl = content.indexOf('\n', from);
-    const end = nl === -1 ? content.length : nl;
-    let line = content.slice(from, end);
-    if (line.endsWith('\r')) line = line.slice(0, -1);
-    return {
-        line,
-        start: from,
-        next: nl === -1 ? content.length : nl + 1
-    };
-}
-function fenceMarker(line) {
-    let i = 0;
-    while(i < 3 && (line[i] === ' ' || line[i] === '\t'))i += 1;
-    if (line.startsWith('```', i)) return '```';
-    if (line.startsWith('~~~', i)) return '~~~';
-    return null;
-}
 export function headingSpans(content, bodyStart) {
     const found = [];
-    let i = bodyStart;
-    let fence = null;
-    while(i < content.length){
-        const { line, start, next } = lineRange(content, i);
-        const marker = fenceMarker(line);
-        if (fence !== null) {
-            if (marker === fence) fence = null;
-        } else if (marker !== null) {
-            fence = marker;
-        } else {
-            const match = H2.exec(line);
-            if (match !== null && match[1] !== undefined) {
-                const name = match[1].trim();
-                if (found.length > 0) found[found.length - 1] = {
-                    ...found[found.length - 1],
-                    bodyEnd: start
-                };
-                found.push({
-                    name,
-                    headingStart: start,
-                    bodyStart: next,
-                    bodyEnd: content.length
-                });
-            }
-        }
-        if (next === i) break;
-        i = next;
+    for (const heading of headingLines(content, bodyStart, content.length)) {
+        if (heading.level !== 2)
+            continue;
+        if (found.length > 0)
+            found[found.length - 1] = { ...found[found.length - 1], bodyEnd: heading.start };
+        found.push({
+            name: heading.name,
+            headingStart: heading.start,
+            bodyStart: heading.next,
+            bodyEnd: content.length,
+        });
     }
     return found;
 }
 export function sectionsRecord(spans, content) {
     const record = Object.create(null);
-    for (const span of spans){
-        if (record[span.name] === undefined) record[span.name] = content.slice(span.bodyStart, span.bodyEnd);
+    for (const span of spans) {
+        if (record[span.name] === undefined)
+            record[span.name] = content.slice(span.bodyStart, span.bodyEnd);
     }
     return record;
 }
-export function parseListSection(body) {
-    const lines = body.split(/\r?\n/);
-    while(lines.length > 0 && lines[0].trim() === '')lines.shift();
-    while(lines.length > 0 && lines[lines.length - 1].trim() === '')lines.pop();
-    if (lines.length === 0) return true;
-    const first = ITEM.exec(lines[0]);
-    if (first === null || first[1] === undefined) return false;
-    const indent = first[1].length;
-    for (const line of lines){
-        if (line.trim() === '') continue;
-        const match = ITEM.exec(line);
-        if (match !== null && match[1]?.length === indent) continue;
-        const leading = /^\s*/.exec(line)?.[0].length ?? 0;
-        if (leading > indent) continue;
-        return false;
+function trimmed(content, extent) {
+    let { start, end } = extent;
+    while (start < end && /\s/.test(content[start]))
+        start += 1;
+    while (end > start && /\s/.test(content[end - 1]))
+        end -= 1;
+    return { start, end };
+}
+export function listItems(content, from, to) {
+    const items = [];
+    let indent;
+    let start = from;
+    while (start < to) {
+        const newline = content.indexOf('\n', start);
+        const end = newline === -1 || newline >= to ? to : newline;
+        const line = content.slice(start, end);
+        start = end + 1;
+        if (line.trim() === '')
+            continue;
+        const item = ITEM.exec(line);
+        if (item !== null && (indent === undefined || item[1].length === indent)) {
+            indent = item[1].length;
+            items.push({ start: end - line.length + item[0].length, end });
+            continue;
+        }
+        if (indent === undefined || /^\s*/.exec(line)[0].length <= indent)
+            return null;
+        items[items.length - 1] = { start: items.at(-1).start, end };
     }
-    return true;
+    return items.map((item) => trimmed(content, item));
 }
-
-//# sourceMappingURL=sections.js.map

package/dist/types.d.ts

@@ -1,10 +1,32 @@
+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 rule: 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;
+};
+export type Extent = {
+    readonly start: number;
+    readonly end: number;
+};
+export type Span = Extent & {
+    readonly text: string;
 };
 export type Document = {
     readonly content: string;
@@ -16,7 +38,6 @@ export type Document = {
 export type Refusal = {
     readonly file: string;
     readonly rule: string;
-    readonly version: string;
     readonly location?: string;
     readonly referrers?: readonly string[];
 };
@@ -32,6 +53,13 @@ export type Projection = {
     readonly ok: false;
     readonly refusal: Refusal;
 };
+export type Division = {
+    readonly ok: true;
+    readonly spans: readonly Span[];
+} | {
+    readonly ok: false;
+    readonly refusal: Refusal;
+};
 export type ParseResult = {
     readonly ok: true;
     readonly document: Document;
@@ -43,6 +71,11 @@ export type Link = {
     readonly href: string;
     readonly target: string;
 };
+export type Reference = {
+    readonly pointer: string;
+    readonly value: string;
+    readonly to: readonly string[];
+};
 export type Change = {
     readonly kind: 'field';
     readonly name: string;
@@ -61,6 +94,11 @@ export type Change = {
     readonly kind: 'link';
     readonly href: string;
     readonly to: string;
+} | {
+    readonly kind: 'reference';
+    readonly pointer: string;
+    readonly value: string;
+    readonly prior: string;
 };
 export type ApplyResult = {
     readonly outcome: 'applied';

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,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,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,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,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,SAAS,GAAG;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC,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,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,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

@@ -1,3 +1 @@
-export { };
-
-//# sourceMappingURL=types.js.map
+export {};

package/dist/validate.d.ts

@@ -1,3 +1,4 @@
-import type { Library, Validation, ValidationContext } from './types.js';
-export declare function validate(library: Library, context?: ValidationContext): Validation;
+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,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":"AAQA,OAAO,KAAK,EAGV,OAAO,EACP,iBAAiB,EAEjB,UAAU,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AAwDpB,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAQxD;AAED,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,UAAU,CAyGZ"}