@agentshouse/mdmodel 0.1.0-c5a71fe539a49 → 0.1.0-c60b1ddb74fcc

package/dist/validate.js

@@ -18,25 +18,42 @@ function instanceType(document) {
         return null;
     return raw;
 }
-function reaches(file, href, to, documents, binaryTargets) {
-    const resolved = classifyHref(file, href);
-    if (resolved.kind !== 'path')
+function reaches(reference, typeOf, binary) {
+    if (reference.target === null)
         return false;
-    if (to.includes(ATTACHMENT))
+    if (reference.to.includes(ATTACHMENT))
         return true;
-    if (binaryTargets.has(resolved.path))
+    if (binary(reference.target))
+        return false;
+    const held = typeOf(reference.target);
+    return held === undefined || reference.to.includes(held);
+}
+function missing(reference, typeOf, binary) {
+    if (reference.to.includes(ATTACHMENT) || reference.target === null)
         return false;
-    const held = documents.get(resolved.path);
-    return held === undefined || (held.ok && to.includes(held.document.type ?? BUILT_IN_TYPE));
+    return typeOf(reference.target) === undefined && !binary(reference.target);
+}
+export function resolves(reference, typeOf, binary) {
+    return reaches(reference, typeOf, binary) && !missing(reference, typeOf, binary);
+}
+function usesIn(content) {
+    let held;
+    return () => {
+        if (held !== undefined)
+            return held;
+        const bodyStart = bodyStartOf(content);
+        held = linkInventory(content.slice(bodyStart)).uses.map((use) => ({
+            ...use,
+            start: bodyStart + use.start,
+            end: bodyStart + use.end,
+        }));
+        return held;
+    };
 }
-function itemHrefs(content, items) {
-    const bodyStart = bodyStartOf(content);
-    const { uses } = linkInventory(content.slice(bodyStart));
+function itemHrefs(content, items, uses) {
     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] === '[');
+        const link = uses().find((use) => use.start === item.start && use.end === item.end && content[item.start] === '[');
         if (link === undefined)
             return null;
         hrefs.push(link.destination.href);
@@ -53,118 +70,155 @@ export function verify(schema) {
         ...(read.location === undefined ? {} : { location: read.location }),
     };
 }
-export function validate(library, context = { binaryTargets: [] }, model = { types: {} }) {
+function structure(file, content, document, definition) {
+    if (definition === undefined)
+        return { refusal: refuse(file, 'unknown-type', { location: '/type' }) };
+    const fieldFailure = frontmatterRefusal(definition, document.fields);
+    if (fieldFailure !== undefined) {
+        return { refusal: refuse(file, fieldFailure.rule, { location: fieldFailure.location }) };
+    }
+    const spans = headingSpans(content, bodyStartOf(content));
+    const uses = usesIn(content);
+    const sections = [];
+    for (const [name, spec] of Object.entries(definition.sections)) {
+        const occurrences = spans.filter((one) => one.name === name);
+        if (occurrences.length === 0 && spec.required)
+            return { refusal: refuse(file, 'required-section', { location: name }) };
+        if (spec.kind !== 'list')
+            continue;
+        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 { refusal: refuse(file, 'structured-section', { location: name }) };
+            if (spec.items.reference === undefined)
+                continue;
+            const hrefs = itemHrefs(content, items, uses);
+            if (hrefs === null)
+                return { refusal: refuse(file, 'structured-section', { location: name }) };
+            sections.push({ section: name, to: spec.items.reference, hrefs });
+        }
+    }
+    return { sections };
+}
+function linked(file, content) {
+    return hrefOccurrences(bodyAfterFrontmatter(content)).every((occurrence) => classifyHref(file, occurrence.href).kind !== 'invalid');
+}
+function reached(file, href, to) {
+    const resolved = classifyHref(file, href);
+    return { target: resolved.kind === 'path' ? resolved.path : null, to };
+}
+function definitionOf(document, model) {
+    const kind = instanceType(document);
+    return kind === null || !Object.hasOwn(model.types, kind) ? undefined : model.types[kind];
+}
+export function checkDocument(file, content, model) {
+    const parsed = parse(content, file);
+    if (!parsed.ok)
+        return { ok: false };
+    const document = parsed.document;
+    const type = document.type ?? BUILT_IN_TYPE;
+    if (instanceType(document) === BUILT_IN_TYPE)
+        return { ok: true, type, typed: false, references: [] };
+    const definition = definitionOf(document, model);
+    const read = structure(file, content, document, definition);
+    if ('refusal' in read || definition === undefined || !linked(file, content))
+        return { ok: false };
+    return {
+        ok: true,
+        type,
+        typed: true,
+        references: [
+            ...references(document, definition).map(({ value, to }) => reached(file, value, to)),
+            ...read.sections.flatMap(({ to, hrefs }) => hrefs.map((href) => reached(file, href, to))),
+        ],
+    };
+}
+export function sectionReferences(file, content, definition) {
+    const referring = (name) => {
+        const spec = Object.hasOwn(definition.sections, name) ? definition.sections[name] : undefined;
+        return spec?.kind === 'list' ? spec.items.reference : undefined;
+    };
+    if (!Object.keys(definition.sections).some((name) => referring(name) !== undefined))
+        return [];
+    const uses = usesIn(content);
+    const found = [];
+    for (const span of headingSpans(content, bodyStartOf(content))) {
+        const to = referring(span.name);
+        if (to === undefined)
+            continue;
+        const items = listItems(content, span.bodyStart, span.bodyEnd);
+        const hrefs = items === null ? null : itemHrefs(content, items, uses);
+        for (const href of hrefs ?? [])
+            found.push(reached(file, href, to));
+    }
+    return found;
+}
+export function* validating(library, context = { binaryTargets: [] }, model = { types: {} }) {
     const binaryTargets = new Set(context.binaryTargets);
+    const binary = (path) => binaryTargets.has(path);
     const files = Object.keys(library).sort();
+    const types = new Map();
+    const typeOf = (path) => types.get(path);
     const documents = new Map();
     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 };
+        types.set(file, parsed.document.type ?? BUILT_IN_TYPE);
+        if (instanceType(parsed.document) !== BUILT_IN_TYPE)
+            documents.set(file, parsed.document);
+        yield file;
     }
-    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);
-        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.location });
-        }
-        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;
-            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, document] of documents) {
+        const read = structure(file, library[file], document, definitionOf(document, model));
+        if ('refusal' in read)
+            return read.refusal;
+        sectionReferences.set(file, read.sections);
+        yield file;
     }
-    for (const file of files) {
-        const parsed = documents.get(file);
-        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 { pointer, to, value } of references(parsed.document, definition)) {
-            if (!reaches(file, value, to, documents, binaryTargets))
-                return refuse(file, 'unresolved-reference', { location: pointer });
+    let least;
+    for (const [file, document] of documents) {
+        const definition = definitionOf(document, model);
+        const fields = references(document, definition).map(({ pointer, value, to }) => ({
+            reference: reached(file, value, to),
+            location: pointer,
+        }));
+        for (const { reference, location } of fields) {
+            if (!reaches(reference, typeOf, binary))
+                return refuse(file, 'unresolved-reference', { location });
         }
-        const body = bodyAfterFrontmatter(library[file]);
-        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))) {
-                return refuse(file, 'unresolved-link');
-            }
+        if (!linked(file, library[file]))
+            return refuse(file, 'unresolved-link');
+        const sections = sectionReferences
+            .get(file)
+            .flatMap(({ section, to, hrefs }) => hrefs.map((href) => ({ reference: reached(file, href, to), location: section })));
+        for (const { reference, location } of sections) {
+            if (!reaches(reference, typeOf, binary))
+                return refuse(file, 'unresolved-reference', { location });
         }
-        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) {
-        const parsed = documents.get(file);
-        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 { value, to } of references(parsed.document, definition)) {
-            if (to.includes(ATTACHMENT))
+        for (const { reference } of [...fields, ...sections]) {
+            if (!missing(reference, typeOf, binary))
                 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 path = reference.target;
+            if (least === undefined || path < least.path)
+                least = { path, referrers: [] };
+            if (path === least.path && least.referrers.at(-1) !== file)
+                least.referrers.push(file);
         }
+        yield file;
     }
-    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 });
-    }
+    if (least !== undefined)
+        return refuse(least.path, 'referenced-missing-file', { referrers: least.referrers });
     return { verdict: 'accept' };
 }
+export function validate(library, context = { binaryTargets: [] }, model = { types: {} }) {
+    const steps = validating(library, context, model);
+    let step = steps.next();
+    while (step.done !== true)
+        step = steps.next();
+    return step.value;
+}

package/dist/yaml.d.ts

@@ -16,8 +16,7 @@ export type YamlSeq = {
 };
 export type YamlEntry = {
     readonly key: string;
-    readonly keyStart: number;
-    readonly keyEnd: number;
+    readonly after: number;
     readonly value: YamlNode;
 };
 export type YamlMap = {
@@ -32,7 +31,12 @@ export declare function parseYamlMapping(text: string, start: number, end: numbe
 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 type FrontmatterValue = string | number | boolean | null | readonly FrontmatterValue[] | {
+    readonly [name: string]: FrontmatterValue;
+};
+export declare function plain(value: unknown): value is Record<string, unknown>;
+export declare function frontmatterValue(value: unknown): value is FrontmatterValue;
+export declare function serializeJs(value: FrontmatterValue): 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;

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;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"}
+{"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,KAAK,EAAE,MAAM,CAAC;IACvB,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;AAyRD,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,MAAM,MAAM,gBAAgB,GACxB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,gBAAgB,EAAE,GAC3B;IAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,CAAA;CAAE,CAAC;AAElD,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAItE;AAiBD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAE1E;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAO3D;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,CAgBjE;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAEzD"}

package/dist/yaml.js

@@ -84,6 +84,30 @@ export function interpretPlain(text) {
         return Number(text);
     return text;
 }
+const ESCAPES = {
+    b: '\b',
+    f: '\f',
+    n: '\n',
+    r: '\r',
+    t: '\t',
+    '"': '"',
+    '/': '/',
+    '\\': '\\',
+};
+function parseEscape(c) {
+    c.i += 1;
+    const escaped = peek(c);
+    const held = ESCAPES[escaped];
+    if (held !== undefined) {
+        c.i += 1;
+        return held;
+    }
+    const hex = c.text.slice(c.i + 1, c.i + 5);
+    if (escaped !== 'u' || c.i + 5 > c.end || !/^[0-9A-Fa-f]{4}$/.test(hex))
+        throw new YamlError(c.i);
+    c.i += 5;
+    return String.fromCharCode(Number.parseInt(hex, 16));
+}
 function parseQuoted(c) {
     const quote = peek(c);
     const start = c.i;
@@ -91,31 +115,19 @@ function parseQuoted(c) {
     let out = '';
     while (c.i < c.end) {
         const ch = peek(c);
+        if (quote === "'" && ch === "'" && c.i + 1 < c.end && c.text[c.i + 1] === "'") {
+            out += "'";
+            c.i += 2;
+            continue;
+        }
         if (ch === quote) {
             c.i += 1;
             return scalar(out, start, c.i);
         }
         if (ch === '\n' || ch === '\r')
             throw new YamlError(c.i);
-        if (quote === "'" && ch === "'" && c.text[c.i + 1] === "'") {
-            out += "'";
-            c.i += 2;
-            continue;
-        }
         if (quote === '"' && ch === '\\') {
-            c.i += 1;
-            const escaped = peek(c);
-            if (escaped === 'n')
-                out += '\n';
-            else if (escaped === 't')
-                out += '\t';
-            else if (escaped === '"')
-                out += '"';
-            else if (escaped === '\\')
-                out += '\\';
-            else
-                throw new YamlError(c.i);
-            c.i += 1;
+            out += parseEscape(c);
             continue;
         }
         out += ch;
@@ -208,11 +220,12 @@ function parseFlowMap(c) {
         if (peek(c) !== ':')
             throw new YamlError(c.i);
         c.i += 1;
+        const after = c.i;
         const value = parseFlowValue(c);
         if (seen.has(key.name))
             throw new YamlError(key.start);
         seen.add(key.name);
-        entries.push({ key: key.name, keyStart: key.start, keyEnd: key.end, value });
+        entries.push({ key: key.name, after, value });
         skipFlowSpace(c);
         if (peek(c) === ',') {
             c.i += 1;
@@ -254,6 +267,7 @@ function parseFlowSeq(c) {
     throw new YamlError(c.i);
 }
 function parseValue(c, parentKeyIndent) {
+    const at = c.i;
     skipSpaces(c);
     if (peek(c) === '#')
         skipToEol(c);
@@ -262,12 +276,12 @@ function parseValue(c, parentKeyIndent) {
         skipEol(c);
         skipBlankAndComments(c);
         if (c.i >= c.end)
-            return scalar(null, c.i, c.i);
+            return scalar(null, at, at);
         const nextIndent = indentAt(c);
         if (nextIndent === parentKeyIndent && seqAhead(c))
             return parseBlockSeq(c, nextIndent);
         if (nextIndent <= parentKeyIndent)
-            return scalar(null, c.i, c.i);
+            return scalar(null, at, at);
         if (peek(c) === '-')
             return parseBlockSeq(c, nextIndent);
         if (peek(c) === '[')
@@ -315,9 +329,6 @@ function lineStartOf(c) {
         j -= 1;
     return j;
 }
-function valueEnd(value, marked) {
-    return value.kind === 'scalar' && value.start === value.end ? marked : value.end;
-}
 function parseSeqItem(c, indent) {
     skipSpaces(c);
     if (peek(c) !== '#' && peek(c) !== '\n' && peek(c) !== '\r' && c.i < c.end && mappingAhead(c))
@@ -337,10 +348,9 @@ function parseBlockSeq(c, indent) {
         if (peek(c) !== '-')
             break;
         c.i += 1;
-        const marked = c.i;
         const item = parseSeqItem(c, indent);
         items.push(item);
-        end = valueEnd(item, marked);
+        end = item.end;
     }
     return { kind: 'seq', items, start, end };
 }
@@ -366,13 +376,13 @@ function parseBlockMap(c, indent, inline = false) {
         if (peek(c) !== ':')
             throw new YamlError(c.i);
         c.i += 1;
-        const marked = c.i;
+        const after = c.i;
         const value = parseValue(c, indent);
         if (seen.has(key.name))
             throw new YamlError(key.start);
         seen.add(key.name);
-        entries.push({ key: key.name, keyStart: key.start, keyEnd: key.end, value });
-        end = valueEnd(value, marked);
+        entries.push({ key: key.name, after, value });
+        end = value.end;
     }
     return { kind: 'map', entries, start, end };
 }
@@ -418,24 +428,42 @@ export function isPlainSafe(text) {
         return false;
     return true;
 }
+export function plain(value) {
+    if (!isRecord(value))
+        return false;
+    const prototype = Object.getPrototypeOf(value);
+    return prototype === Object.prototype || prototype === null;
+}
+function listed(value) {
+    const keys = Object.keys(value);
+    return keys.length === value.length && keys.every((key, index) => key === String(index));
+}
+function heldWithin(value, within) {
+    if (value === null || typeof value === 'string' || typeof value === 'boolean')
+        return true;
+    if (typeof value === 'number')
+        return Number.isFinite(value);
+    if (typeof value !== 'object' || within.includes(value))
+        return false;
+    const path = [...within, value];
+    const held = (item) => heldWithin(item, path);
+    if (Array.isArray(value))
+        return listed(value) && value.every(held);
+    return plain(value) && Object.values(value).every(held);
+}
+export function frontmatterValue(value) {
+    return heldWithin(value, []);
+}
 export function serializeJs(value) {
-    if (value === null)
-        return 'null';
-    if (value === true)
-        return 'true';
-    if (value === false)
-        return 'false';
-    if (typeof value === 'number' && Number.isFinite(value))
-        return JSON.stringify(value);
     if (typeof value === 'string')
         return isPlainSafe(value) ? value : JSON.stringify(value);
+    if (value === null || typeof value !== 'object')
+        return JSON.stringify(value);
     if (Array.isArray(value))
         return `[${value.map(serializeJs).join(', ')}]`;
-    if (isRecord(value))
-        return `{${Object.entries(value)
-            .map(([key, held]) => `${serializeKey(key)}: ${serializeJs(held)}`)
-            .join(', ')}}`;
-    throw new YamlError(0);
+    return `{${Object.entries(value)
+        .map(([key, held]) => `${serializeKey(key)}: ${serializeJs(held)}`)
+        .join(', ')}}`;
 }
 export function isRecord(value) {
     return value !== null && typeof value === 'object' && !Array.isArray(value);
@@ -485,7 +513,8 @@ export function equalValue(left, right) {
     if (left === right)
         return true;
     if (Array.isArray(left) && Array.isArray(right)) {
-        return (left.length === right.length && left.every((item, index) => equalValue(item, right[index])));
+        return (left.length === right.length &&
+            Array.from(left).every((item, index) => equalValue(item, right[index])));
     }
     if (isRecord(left) && isRecord(right)) {
         const keys = Object.keys(left);

package/fixtures/README.md

@@ -136,6 +136,6 @@ Library is accepted too, so `unresolved-link` never names it and
 ## YAML subset
 
 Frontmatter and a schema text are each a mapping in a closed YAML subset: block and flow mappings,
-block and flow sequences, a block sequence item that opens a mapping, plain and quoted scalars, `true`, `false`, `null`,
+block and flow sequences, a block sequence item that opens a mapping, plain and quoted scalars (a single-quoted scalar doubles its apostrophe, a double-quoted one takes JSON's escapes), `true`, `false`, `null`,
 and decimal numbers. It does not take YAML 1.1 boolean or timestamp aliases,
 octal numbers, anchors, tags, or block scalars. A mapping carries each key once.

package/fixtures/cases/absent-link-dangles/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/absent-link-dangles/expected.json

@@ -0,0 +1 @@
+{ "verdict": "accept" }

package/fixtures/cases/absent-link-dangles/library/item.md

@@ -0,0 +1,8 @@
+---
+type: task
+title: Ship
+---
+
+## Description
+
+See [plan](missing.md).

package/fixtures/cases/absent-link-dangles/schema.yaml

@@ -0,0 +1,6 @@
+task:
+  properties:
+    title: { type: string }
+  required: [title]
+  sections:
+    Description: { kind: text, required: true }

package/fixtures/cases/absolute-link/context.json

@@ -0,0 +1 @@
+{ "binaryTargets": [] }

package/fixtures/cases/{missing-binary-image → absolute-link}/expected.json

@@ -1,5 +1,5 @@
 {
   "verdict": "refuse",
-  "file": "notes/draft.md",
+  "file": "item.md",
   "rule": "unresolved-link"
 }

package/fixtures/cases/absolute-link/library/item.md

@@ -0,0 +1,8 @@
+---
+type: task
+title: Ship
+---
+
+## Description
+
+See [plan](/notes/plan.md).

package/fixtures/cases/absolute-link/schema.yaml

@@ -0,0 +1,6 @@
+task:
+  properties:
+    title: { type: string }
+  required: [title]
+  sections:
+    Description: { kind: text, required: true }

package/fixtures/cases/binary-image-dangles/expected.json

@@ -0,0 +1 @@
+{ "verdict": "accept" }

package/fixtures/cases/binary-link-dangles/expected.json

@@ -0,0 +1 @@
+{ "verdict": "accept" }

package/fixtures/cases/quoted-link-definition/library/notes/draft.md

@@ -4,4 +4,4 @@ type: note
 
 See [the export][ex].
 
-> [ex]: ../data/export.csv
+> [ex]: ../../export.csv

package/fixtures/cases/shortcut-reference-link/library/item.md

@@ -7,4 +7,4 @@ title: Ship
 
 See [Plan].
 
-[plan]: missing.md
+[plan]: ../missing.md

package/fixtures/cases/truncated-link-definition/library/notes/draft.md

@@ -4,4 +4,4 @@ type: note
 
 See [the other note][ex].
 
-[ex]: <../notes/other.md extra>
+[ex]: <../notes/other.md ../../../../extra.md>

package/fixtures/cases/unresolved-link/library/item.md

@@ -5,4 +5,4 @@ title: Ship
 
 ## Description
 
-See [nope](missing.md).
+See [outside](../outside.md).