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

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":"AAQA,OAAO,KAAK,EAGV,OAAO,EACP,iBAAiB,EAEjB,UAAU,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AAsEpB,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAQxD;AAQD,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,UAAU,CAuHZ"}

package/dist/validate.js

@@ -1,183 +1,201 @@
-import { readDefinition } from './definition.js';
+import { readSchema } from './definition.js';
 import { parse } from './document.js';
-import { hrefOccurrences } from './links.js';
-import { classifyHref, isTypesPath } from './paths.js';
+import { MEMBER_FIELD, RECEIVED_FIELD, SITE_FIELD } from './fields.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 { fitsKind, validateFields } from './schema.js';
+import { headingSpans, listItems } from './sections.js';
+import { bodyAfterFrontmatter, bodyStartOf } from './yaml.js';
+const MEMBER_SPEC = { kind: 'string', required: false };
 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 'any';
+    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 === 'reference' && typeof value === 'string')
+        return [value];
     if (spec.kind === 'list' && spec.of.kind === 'reference' && Array.isArray(value)) {
-        return value.filter((item)=>typeof item === 'string');
+        return value.filter((item) => typeof item === 'string');
     }
     return [];
 }
 function expectedReferenceType(spec) {
-    if (spec.kind === 'reference') return spec.to;
-    if (spec.kind === 'list' && spec.of.kind === 'reference') return spec.of.to;
+    if (spec.kind === 'reference')
+        return spec.to;
+    if (spec.kind === 'list' && spec.of.kind === 'reference')
+        return spec.of.to;
     return null;
 }
-function declaredTypeOf(content) {
-    const parsed = parse(content);
-    if (!parsed.ok) return undefined;
-    return parsed.document.type ?? 'any';
+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 && (held.document.type ?? 'any') === to);
+}
+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;
+}
+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: []
-}) {
+function declaredFields(definition) {
+    if (!definition.memberDocument || Object.hasOwn(definition.fields, MEMBER_FIELD))
+        return definition.fields;
+    return { ...definition.fields, [MEMBER_FIELD]: MEMBER_SPEC };
+}
+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
-        };
-    }
-    const definitions = new Map();
-    for (const file of files){
-        if (!isTypesPath(file)) continue;
-        const parsed = documents.get(file);
-        if (parsed === undefined || !parsed.ok) continue;
-        const definition = readDefinition(file, parsed.document);
-        if ('rule' in definition) return {
-            verdict: 'refuse',
-            ...definition
-        };
-        const existing = definitions.get(definition.name);
-        if (existing !== undefined) return refuse(file, 'definition-duplicate', {
-            location: definition.name
-        });
-        definitions.set(definition.name, definition);
+        if (!parsed.ok)
+            return { verdict: 'refuse', ...parsed.refusal };
     }
-    for (const file of files){
+    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 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 === 'any')
+            continue;
+        const definition = kind === null ? undefined : definitions.get(kind);
+        if (definition === undefined)
+            return refuse(file, 'unknown-type', { location: 'type' });
+        const fields = declaredFields(definition);
+        const fieldFailure = validateFields(fields, parsed.document.fields);
         if (fieldFailure !== undefined) {
-            return refuse(file, fieldFailure.rule, {
-                location: fieldFailure.field
-            });
+            return refuse(file, fieldFailure.rule, { location: fieldFailure.field });
         }
-        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 declared = new Set(Object.keys(fields));
+        const undeclared = Object.keys(parsed.document.fields).find((name) => !['type', SITE_FIELD, RECEIVED_FIELD].includes(name) && !declared.has(name));
+        if (undeclared !== undefined)
+            return refuse(file, 'undeclared-field', { location: undeclared });
+        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) => !fitsKind(spec.of, content.slice(item.start, item.end))))
+                    return refuse(file, 'structured-section', { location: name });
+                if (spec.of.kind !== 'reference')
+                    continue;
+                const hrefs = itemHrefs(content, items);
+                if (hrefs === null)
+                    return refuse(file, 'structured-section', { location: name });
+                references.push({ section: name, to: spec.of.to, 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 === 'any')
+            continue;
         const definition = definitions.get(kind);
-        if (definition === undefined) continue;
-        for (const [name, spec] of Object.entries(definition.fields)){
+        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 (expected === null)
+                continue;
+            for (const target of targets) {
+                if (!reaches(file, target, expected, documents, binaryTargets))
+                    return refuse(file, 'unresolved-reference', { location: name });
             }
         }
         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 === 'any')
+            continue;
         const definition = definitions.get(kind);
-        if (definition === undefined) continue;
-        for (const [name, spec] of Object.entries(definition.fields)){
+        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])){
+            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;
+                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,6 +27,7 @@ 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;

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;AA2ND,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"}