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

package/dist/validate.js

@@ -1,183 +1,170 @@
-import { readDefinition } from './definition.js';
+import { ATTACHMENT, BUILT_IN_TYPE, 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 { references } from './references.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');
-    }
-    return [];
+function reaches(file, href, to, documents, binaryTargets) {
+    const resolved = classifyHref(file, href);
+    if (resolved.kind !== 'path')
+        return false;
+    if (to.includes(ATTACHMENT))
+        return true;
+    if (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
-        };
-    }
-    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 === 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 { pointer, to, value } of references(parsed.document, definition)) {
+            if (!reaches(file, value, to, documents, binaryTargets))
+                return refuse(file, 'unresolved-reference', { location: pointer });
         }
         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 { value, to } of references(parsed.document, definition)) {
+            if (to.includes(ATTACHMENT))
+                continue;
+            const resolved = classifyHref(file, value);
+            if (resolved.kind !== 'path')
+                continue;
+            if (documents.has(resolved.path) || binaryTargets.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;AA0QD,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"}