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

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;

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,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

@@ -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":"AAaA,OAAO,KAAK,EAGV,OAAO,EACP,iBAAiB,EAEjB,UAAU,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AA6EpB,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,CAwGZ"}

package/dist/validate.js

@@ -1,183 +1,180 @@
-import { readDefinition } from './definition.js';
+import { BUILT_IN_TYPE, escapePointer, readSchema, } from './definition.js';
 import { parse } from './document.js';
-import { hrefOccurrences } from './links.js';
-import { classifyHref, isTypesPath } from './paths.js';
+import { hrefOccurrences, linkInventory } from './links.js';
+import { classifyHref } from './paths.js';
 import { refusal } from './refuse.js';
-import { parseListSection } from './sections.js';
-import { validateFields } from './schema.js';
-import { bodyAfterFrontmatter } from './yaml.js';
+import { fitsItem, frontmatterRefusal } from './schema.js';
+import { headingSpans, listItems } from './sections.js';
+import { bodyAfterFrontmatter, bodyStartOf } from './yaml.js';
 function refuse(file, rule, extra) {
-    return {
-        verdict: 'refuse',
-        ...refusal(file, rule, extra)
-    };
+    return { verdict: 'refuse', ...refusal(file, rule, extra) };
 }
-function instanceType(document, file) {
-    if (isTypesPath(file)) return 'definition';
+function instanceType(document) {
     const raw = document.fields.type;
-    if (raw === undefined || raw === null) return 'any';
-    if (typeof raw !== 'string' || raw === '') return 'invalid';
+    if (raw === undefined || raw === null)
+        return BUILT_IN_TYPE;
+    if (typeof raw !== 'string' || raw === '')
+        return null;
     return raw;
 }
-function referenceTargets(spec, value) {
-    if (spec.kind === 'reference' && typeof value === 'string') return [
-        value
-    ];
-    if (spec.kind === 'list' && spec.of.kind === 'reference' && Array.isArray(value)) {
-        return value.filter((item)=>typeof item === 'string');
+function fieldReferences(definition, document) {
+    const found = [];
+    for (const [name, facts] of Object.entries(definition.fields)) {
+        const value = document.fields[name];
+        const location = `/${escapePointer(name)}`;
+        if (facts.reference !== undefined && typeof value === 'string')
+            found.push({ location, to: facts.reference, target: value });
+        const items = facts.items;
+        if (items?.reference === undefined || !Array.isArray(value))
+            continue;
+        for (const [index, item] of value.entries()) {
+            if (typeof item === 'string')
+                found.push({ location: `${location}/${index}`, to: items.reference, target: item });
+        }
     }
-    return [];
+    return found;
+}
+function reaches(file, href, to, documents, binaryTargets) {
+    const resolved = classifyHref(file, href);
+    if (resolved.kind !== 'path' || binaryTargets.has(resolved.path))
+        return false;
+    const held = documents.get(resolved.path);
+    return held === undefined || (held.ok && to.includes(held.document.type ?? BUILT_IN_TYPE));
 }
-function expectedReferenceType(spec) {
-    if (spec.kind === 'reference') return spec.to;
-    if (spec.kind === 'list' && spec.of.kind === 'reference') return spec.of.to;
-    return null;
+function itemHrefs(content, items) {
+    const bodyStart = bodyStartOf(content);
+    const { uses } = linkInventory(content.slice(bodyStart));
+    const hrefs = [];
+    for (const item of items) {
+        const link = uses.find((use) => bodyStart + use.start === item.start &&
+            bodyStart + use.end === item.end &&
+            content[item.start] === '[');
+        if (link === undefined)
+            return null;
+        hrefs.push(link.destination.href);
+    }
+    return hrefs;
 }
-function declaredTypeOf(content) {
-    const parsed = parse(content);
-    if (!parsed.ok) return undefined;
-    return parsed.document.type ?? 'any';
+export function verify(schema) {
+    const read = readSchema(schema);
+    if ('types' in read)
+        return { verdict: 'accept', model: read };
+    return {
+        verdict: 'refuse',
+        rule: read.rule,
+        ...(read.location === undefined ? {} : { location: read.location }),
+    };
 }
-export function validate(library, context = {
-    binaryTargets: []
-}) {
+export function validate(library, context = { binaryTargets: [] }, model = { types: {} }) {
     const binaryTargets = new Set(context.binaryTargets);
     const files = Object.keys(library).sort();
     const documents = new Map();
-    for (const file of files){
-        if (binaryTargets.has(file)) return refuse(file, 'binary-target-document');
+    for (const file of files) {
+        if (binaryTargets.has(file))
+            return refuse(file, 'binary-target-document');
         const parsed = parse(library[file], file);
         documents.set(file, parsed);
-        if (!parsed.ok) return {
-            verdict: 'refuse',
-            ...parsed.refusal
-        };
+        if (!parsed.ok)
+            return { verdict: 'refuse', ...parsed.refusal };
     }
-    const definitions = new Map();
-    for (const file of files){
-        if (!isTypesPath(file)) continue;
+    const definitions = new Map(Object.entries(model.types));
+    const sectionReferences = new Map();
+    for (const file of files) {
         const parsed = documents.get(file);
-        if (parsed === undefined || !parsed.ok) continue;
-        const definition = readDefinition(file, parsed.document);
-        if ('rule' in definition) return {
-            verdict: 'refuse',
-            ...definition
-        };
-        const existing = definitions.get(definition.name);
-        if (existing !== undefined) return refuse(file, 'definition-duplicate', {
-            location: definition.name
-        });
-        definitions.set(definition.name, definition);
-    }
-    for (const file of files){
-        const parsed = documents.get(file);
-        if (parsed === undefined || !parsed.ok) continue;
-        const kind = instanceType(parsed.document, file);
-        if (kind === 'any') continue;
-        if (kind === 'invalid' || kind === 'definition') {
-            if (kind === 'definition' && isTypesPath(file)) continue;
-            return refuse(file, 'unknown-type', {
-                location: 'type'
-            });
-        }
-        const definition = definitions.get(kind);
-        if (definition === undefined) return refuse(file, 'unknown-type', {
-            location: 'type'
-        });
-        const fieldFailure = validateFields(definition.fields, parsed.document.fields);
+        if (parsed === undefined || !parsed.ok)
+            continue;
+        const kind = instanceType(parsed.document);
+        if (kind === BUILT_IN_TYPE)
+            continue;
+        const definition = kind === null ? undefined : definitions.get(kind);
+        if (definition === undefined)
+            return refuse(file, 'unknown-type', { location: '/type' });
+        const fieldFailure = frontmatterRefusal(definition, parsed.document.fields);
         if (fieldFailure !== undefined) {
-            return refuse(file, fieldFailure.rule, {
-                location: fieldFailure.field
-            });
+            return refuse(file, fieldFailure.rule, { location: fieldFailure.location });
         }
-        const declaredFields = new Set(Object.keys(definition.fields));
-        const undeclared = Object.keys(parsed.document.fields).find((name)=>name !== 'type' && !declaredFields.has(name));
-        if (undeclared !== undefined) return refuse(file, 'undeclared-field', {
-            location: undeclared
-        });
-        for (const [name, spec] of Object.entries(definition.sections)){
-            const body = parsed.document.sections[name];
-            if (body === undefined) {
-                if (spec.required) return refuse(file, 'required-section', {
-                    location: name
-                });
+        const content = library[file];
+        const spans = headingSpans(content, bodyStartOf(content));
+        const references = [];
+        for (const [name, spec] of Object.entries(definition.sections)) {
+            const occurrences = spans.filter((one) => one.name === name);
+            if (occurrences.length === 0 && spec.required)
+                return refuse(file, 'required-section', { location: name });
+            if (spec.kind !== 'list')
                 continue;
-            }
-            if (spec.kind === 'list' && !parseListSection(body)) {
-                return refuse(file, 'structured-section', {
-                    location: name
-                });
+            for (const span of occurrences) {
+                const items = listItems(content, span.bodyStart, span.bodyEnd);
+                if (items === null ||
+                    items.some((item) => !fitsItem(definition, name, content.slice(item.start, item.end))))
+                    return refuse(file, 'structured-section', { location: name });
+                if (spec.items.reference === undefined)
+                    continue;
+                const hrefs = itemHrefs(content, items);
+                if (hrefs === null)
+                    return refuse(file, 'structured-section', { location: name });
+                references.push({ section: name, to: spec.items.reference, hrefs });
             }
         }
+        sectionReferences.set(file, references);
     }
-    for (const file of files){
+    for (const file of files) {
         const parsed = documents.get(file);
-        if (parsed === undefined || !parsed.ok) continue;
-        const kind = instanceType(parsed.document, file);
-        if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;
+        if (parsed === undefined || !parsed.ok)
+            continue;
+        const kind = instanceType(parsed.document);
+        if (kind === null || kind === BUILT_IN_TYPE)
+            continue;
         const definition = definitions.get(kind);
-        if (definition === undefined) continue;
-        for (const [name, spec] of Object.entries(definition.fields)){
-            const targets = referenceTargets(spec, parsed.document.fields[name]);
-            const expected = expectedReferenceType(spec);
-            if (expected === null) continue;
-            for (const target of targets){
-                const resolved = classifyHref(file, target);
-                if (resolved.kind !== 'path' || binaryTargets.has(resolved.path)) return refuse(file, 'unresolved-reference', {
-                    location: name
-                });
-                if (!documents.has(resolved.path)) continue;
-                const targetType = declaredTypeOf(library[resolved.path]);
-                if (targetType !== expected) return refuse(file, 'unresolved-reference', {
-                    location: name
-                });
-            }
+        if (definition === undefined)
+            continue;
+        for (const { location, to, target } of fieldReferences(definition, parsed.document)) {
+            if (!reaches(file, target, to, documents, binaryTargets))
+                return refuse(file, 'unresolved-reference', { location });
         }
         const body = bodyAfterFrontmatter(library[file]);
-        for (const occurrence of hrefOccurrences(body)){
+        for (const occurrence of hrefOccurrences(body)) {
             const resolved = classifyHref(file, occurrence.href);
-            if (resolved.kind === 'skip') continue;
-            if (resolved.kind === 'invalid' || !documents.has(resolved.path) && !binaryTargets.has(resolved.path)) {
+            if (resolved.kind === 'skip')
+                continue;
+            if (resolved.kind === 'invalid' ||
+                (!documents.has(resolved.path) && !binaryTargets.has(resolved.path))) {
                 return refuse(file, 'unresolved-link');
             }
         }
+        for (const { section, to, hrefs } of sectionReferences.get(file)) {
+            for (const href of hrefs) {
+                if (!reaches(file, href, to, documents, binaryTargets))
+                    return refuse(file, 'unresolved-reference', { location: section });
+            }
+        }
     }
     const missing = new Map();
-    for (const file of files){
+    for (const file of files) {
         const parsed = documents.get(file);
-        if (parsed === undefined || !parsed.ok) continue;
-        const kind = instanceType(parsed.document, file);
-        if (kind === 'any' || kind === 'definition' || kind === 'invalid') continue;
+        if (parsed === undefined || !parsed.ok)
+            continue;
+        const kind = instanceType(parsed.document);
+        if (kind === null || kind === BUILT_IN_TYPE)
+            continue;
         const definition = definitions.get(kind);
-        if (definition === undefined) continue;
-        for (const [name, spec] of Object.entries(definition.fields)){
-            const expected = expectedReferenceType(spec);
-            if (expected === null) continue;
-            for (const target of referenceTargets(spec, parsed.document.fields[name])){
-                const resolved = classifyHref(file, target);
-                if (resolved.kind !== 'path') continue;
-                if (documents.has(resolved.path)) continue;
-                const referrers = missing.get(resolved.path) ?? [];
-                referrers.push(file);
-                missing.set(resolved.path, referrers);
-            }
+        if (definition === undefined)
+            continue;
+        for (const { target } of fieldReferences(definition, parsed.document)) {
+            const resolved = classifyHref(file, target);
+            if (resolved.kind !== 'path')
+                continue;
+            if (documents.has(resolved.path))
+                continue;
+            const referrers = missing.get(resolved.path) ?? [];
+            referrers.push(file);
+            missing.set(resolved.path, referrers);
         }
     }
-    const missingPaths = [
-        ...missing.keys()
-    ].sort();
+    const missingPaths = [...missing.keys()].sort();
     if (missingPaths.length > 0) {
         const path = missingPaths[0];
-        const referrers = [
-            ...new Set(missing.get(path) ?? [])
-        ].sort();
-        return refuse(path, 'referenced-missing-file', {
-            referrers
-        });
+        const referrers = [...new Set(missing.get(path) ?? [])].sort();
+        return refuse(path, 'referenced-missing-file', { referrers });
     }
-    return {
-        verdict: 'accept'
-    };
+    return { verdict: 'accept' };
 }
-
-//# sourceMappingURL=validate.js.map

package/dist/version.d.ts

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

package/dist/version.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,kBAAkB,CAAC"}
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,mBAAmB,CAAC"}

package/dist/version.js

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

package/dist/yaml.d.ts

@@ -27,11 +27,13 @@ export type YamlMap = {
     readonly end: number;
 };
 export type YamlNode = YamlScalar | YamlSeq | YamlMap;
+export declare function interpretPlain(text: string): string | number | boolean | null;
 export declare function parseYamlMapping(text: string, start: number, end: number): YamlMap;
 export declare function jsValue(node: YamlNode): unknown;
 export declare function mapEntry(map: YamlMap, key: string): YamlEntry | undefined;
 export declare function isPlainSafe(text: string): boolean;
 export declare function serializeJs(value: unknown): string;
+export declare function isRecord(value: unknown): value is Record<string, unknown>;
 export declare function serializeKey(name: string): string;
 export declare function bodyStartAfterYaml(content: string, yamlEnd: number): number;
 export declare function bodyStartOf(content: string): number;

package/dist/yaml.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"yaml.d.ts","sourceRoot":"","sources":["../src/yaml.ts"],"names":[],"mappings":"AAAA,qBAAa,SAAU,SAAQ,KAAK;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM;IAAnC,YAAqB,MAAM,EAAE,MAAM,EAGlC;CACF;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,OAAO,GAAG,OAAO,CAAC;AAqStD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAclF;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAM/C;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAEzE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAMjD;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAQlD;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAG3E;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAGnD;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE5D;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,GACd;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAqB9F;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAQjE;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAEzD"}
+{"version":3,"file":"yaml.d.ts","sourceRoot":"","sources":["../src/yaml.ts"],"names":[],"mappings":"AAAA,qBAAa,SAAU,SAAQ,KAAK;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM;IAAnC,YAAqB,MAAM,EAAE,MAAM,EAGlC;CACF;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,OAAO,GAAG,OAAO,CAAC;AAoEtD,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAM7E;AAmQD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAclF;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAM/C;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAEzE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAMjD;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAYlD;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAG3E;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAGnD;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE5D;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,GACd;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAqB9F;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAejE;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAEzD"}