@agentshouse/mdmodel 0.1.0-cbce4f1da228f → 0.1.0-cc58fdf3541b7

package/dist/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyC,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAQzF,OAAO,KAAK,EAEV,aAAa,EAEb,OAAO,EACP,iBAAiB,EACjB,OAAO,EACP,UAAU,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AA6CpB,wBAAgB,QAAQ,CACtB,SAAS,EAAE,OAAO,EAClB,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EAC5C,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAChC,OAAO,CAET;AA8BD,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAQxD;AA2DD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,GAAG,aAAa,CAmBhG;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,UAAU,GACrB,SAAS,OAAO,EAAE,CAgBpB;AAED,wBAAiB,UAAU,CACzB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,CAyDrC;AAED,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,UAAU,CAKZ"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyC,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAUzF,OAAO,KAAK,EAEV,aAAa,EAEb,OAAO,EACP,iBAAiB,EACjB,OAAO,EACP,aAAa,EACb,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,aAAa,EACd,MAAM,YAAY,CAAC;AAwDpB,wBAAgB,QAAQ,CACtB,SAAS,EAAE,OAAO,EAClB,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EAC5C,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAChC,OAAO,CAET;AA8BD,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,aAAa,GAAG,iBAAiB,CAQlF;AA2ED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,aAAa,EACpB,OAAO,GAAE,IAAI,CAAC,iBAAiB,EAAE,SAAS,CAAM,GAC/C,aAAa,CA4Bf;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,UAAU,GACrB,SAAS,OAAO,EAAE,CAiBpB;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,EAAE,CAO3D;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,UAAU,CAAC,EAAE,UAAU,GACtB,SAAS,aAAa,EAAE,CAsC1B;AAQD,KAAK,MAAM,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF,wBAAgB,MAAM,CACpB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,OAAO,EACf,KAAK,GAAE,aAA6B,EACpC,OAAO,GAAE,IAAI,CAAC,iBAAiB,EAAE,SAAS,CAAM,GAC/C,UAAU,CA2BZ;AAyCD,MAAM,MAAM,QAAQ,GAAG;IACrB,GAAG,CACD,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EAC5C,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAChC,MAAM,CAAC;IACV,OAAO,IAAI,UAAU,CAAC;CACvB,CAAC;AAEF,wBAAgB,QAAQ,IAAI,QAAQ,CA+DnC;AAED,wBAAiB,UAAU,CACzB,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACpC,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,SAAS,CAAC,cAAc,EAAE,UAAU,EAAE,IAAI,CAAC,CAsB7C;AAED,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,UAAU,CAKZ"}

package/dist/validate.js

@@ -1,15 +1,22 @@
 import { ATTACHMENT, BUILT_IN_TYPE, readSchema } from './definition.js';
 import { parse } from './document.js';
+import { MEMBER_FIELD } from './fields.js';
 import { hrefOccurrences, linkInventory } from './links.js';
-import { classifyHref } from './paths.js';
+import { classifyHref, roomTarget } from './paths.js';
 import { references } from './references.js';
 import { refusal } from './refuse.js';
-import { fitsItem, frontmatterRefusal } from './schema.js';
+import { conditionedSections, fitsItem, frontmatterRefusal } from './schema.js';
+import { openPatternBudget, PatternTooCostly } from './pattern.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) };
 }
+function unmarkedMember(file, document, definition) {
+    return Object.hasOwn(document.fields, MEMBER_FIELD) && definition?.memberDocument !== true
+        ? refuse(file, 'undeclared-field', { location: `/${MEMBER_FIELD}` })
+        : null;
+}
 function instanceType(document) {
     const raw = document.fields.type;
     if (raw === undefined || raw === null)
@@ -60,8 +67,8 @@ function itemHrefs(content, items, uses) {
     }
     return hrefs;
 }
-export function verify(schema) {
-    const read = readSchema(schema);
+export function verify(schema, provided) {
+    const read = readSchema(schema, provided);
     if ('types' in read)
         return { verdict: 'accept', model: read };
     return {
@@ -80,10 +87,14 @@ function structure(file, content, document, definition) {
     const spans = headingSpans(content, bodyStartOf(content));
     const uses = usesIn(content);
     const sections = [];
+    const conditioned = conditionedSections(definition, document.fields);
     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 (conditioned.includes(name) &&
+            occurrences.every((span) => content.slice(span.bodyStart, span.bodyEnd).trim() === ''))
+            return { refusal: refuse(file, 'conditional-section', { location: name }) };
         if (spec.kind !== 'list')
             continue;
         for (const span of occurrences) {
@@ -96,10 +107,16 @@ function structure(file, content, document, definition) {
             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 });
+            sections.push({
+                section: name,
+                to: spec.items.reference,
+                crossRoom: spec.items.crossRoom === true,
+                hrefs,
+            });
         }
     }
-    return { sections };
+    const member = unmarkedMember(file, document, definition);
+    return member === null ? { sections } : { refusal: member };
 }
 function linked(file, content) {
     return hrefOccurrences(bodyAfterFrontmatter(content)).every((occurrence) => classifyHref(file, occurrence.href).kind !== 'invalid');
@@ -108,18 +125,24 @@ function reached(file, href, to) {
     const resolved = classifyHref(file, href);
     return { target: resolved.kind === 'path' ? resolved.path : null, to };
 }
+function crossing(file, href, crossRoom) {
+    return crossRoom === true && classifyHref(file, href).kind === 'room';
+}
 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) {
+export function checkDocument(file, content, model, context = {}) {
+    const anyRoom = context.anyRoom === true;
     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: [] };
+        return unmarkedMember(file, document, undefined) === null
+            ? { ok: true, type, typed: false, references: [] }
+            : { ok: false };
     const definition = definitionOf(document, model);
     const read = structure(file, content, document, definition);
     if ('refusal' in read || definition === undefined || !linked(file, content))
@@ -129,94 +152,226 @@ export function checkDocument(file, content, model) {
         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))),
+            ...references(document, definition).flatMap(({ value, to, crossRoom }) => crossing(file, value, anyRoom || crossRoom) ? [] : [reached(file, value, to)]),
+            ...read.sections.flatMap(({ to, crossRoom, hrefs }) => hrefs.flatMap((href) => crossing(file, href, anyRoom || crossRoom) ? [] : [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;
+        return spec?.kind === 'list' && spec.items.reference !== undefined ? spec.items : 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)
+        const items = referring(span.name);
+        if (items === undefined)
             continue;
-        const items = listItems(content, span.bodyStart, span.bodyEnd);
-        const hrefs = items === null ? null : itemHrefs(content, items, uses);
+        const listed = listItems(content, span.bodyStart, span.bodyEnd);
+        const hrefs = listed === null ? null : itemHrefs(content, listed, uses);
         for (const href of hrefs ?? [])
-            found.push(reached(file, href, to));
+            if (!crossing(file, href, items.crossRoom))
+                found.push(reached(file, href, items.reference));
+    }
+    return found;
+}
+export function bodyRoomLinks(body) {
+    const found = [];
+    for (const href of new Set(hrefOccurrences(body).map((occurrence) => occurrence.href))) {
+        const room = roomTarget(href);
+        if (room !== null)
+            found.push({ kind: 'link', href, ...room });
+    }
+    return found;
+}
+export function roomReferences(file, content, definition) {
+    const found = bodyRoomLinks(bodyAfterFrontmatter(content));
+    if (definition === undefined)
+        return found;
+    const parsed = parse(content, file);
+    if (!parsed.ok)
+        return found;
+    for (const { pointer, value, to, crossRoom } of references(parsed.document, definition)) {
+        const room = roomTarget(value);
+        if (room !== null)
+            found.push({
+                kind: 'field',
+                pointer,
+                value,
+                to,
+                ...room,
+                ...(crossRoom ? { crossRoom } : {}),
+            });
+    }
+    const uses = usesIn(content);
+    for (const span of headingSpans(content, bodyStartOf(content))) {
+        const spec = Object.hasOwn(definition.sections, span.name)
+            ? definition.sections[span.name]
+            : undefined;
+        if (spec?.kind !== 'list' || spec.items.reference === undefined)
+            continue;
+        const listed = listItems(content, span.bodyStart, span.bodyEnd);
+        for (const href of (listed === null ? null : itemHrefs(content, listed, uses)) ?? []) {
+            const room = roomTarget(href);
+            if (room !== null)
+                found.push({
+                    kind: 'item',
+                    section: span.name,
+                    href,
+                    to: spec.items.reference,
+                    ...room,
+                    ...(spec.items.crossRoom === true ? { crossRoom: true } : {}),
+                });
+        }
     }
     return found;
 }
+function least(refused, file, verdict) {
+    return refused === undefined || file < refused.file ? { file, verdict } : refused;
+}
+export function assess(file, content, binary, model = { types: {} }, context = {}) {
+    const unread = { file, type: undefined, targets: [], structured: null, fields: [], sections: [] };
+    if (binary)
+        return { ...unread, read: refuse(file, 'binary-target-document'), linked: true };
+    const parsed = parse(content, file);
+    if (!parsed.ok)
+        return { ...unread, read: { verdict: 'refuse', ...parsed.refusal }, linked: true };
+    const document = parsed.document;
+    const type = document.type ?? BUILT_IN_TYPE;
+    const typed = { file, type, read: null, structured: null };
+    if (instanceType(document) === BUILT_IN_TYPE) {
+        const structured = unmarkedMember(file, document, undefined);
+        return { ...typed, targets: [], structured, fields: [], linked: true, sections: [] };
+    }
+    const definition = definitionOf(document, model);
+    try {
+        return structured(file, content, typed, document, definition, context);
+    }
+    catch (error) {
+        if (!(error instanceof PatternTooCostly))
+            throw error;
+        return {
+            ...typed,
+            targets: [],
+            structured: refuse(file, 'pattern', { location: '' }),
+            fields: [],
+            linked: true,
+            sections: [],
+        };
+    }
+}
+function structured(file, content, typed, document, definition, context) {
+    const read = structure(file, content, document, definition);
+    if ('refusal' in read || definition === undefined) {
+        return {
+            ...typed,
+            targets: [],
+            structured: 'refusal' in read ? read.refusal : null,
+            fields: [],
+            linked: true,
+            sections: [],
+        };
+    }
+    const anyRoom = context.anyRoom === true;
+    const fields = references(document, definition).flatMap(({ pointer, value, to, crossRoom }) => crossing(file, value, anyRoom || crossRoom)
+        ? []
+        : [{ reference: reached(file, value, to), location: pointer }]);
+    const sections = read.sections.flatMap(({ section, to, crossRoom, hrefs }) => hrefs.flatMap((href) => crossing(file, href, anyRoom || crossRoom)
+        ? []
+        : [{ reference: reached(file, href, to), location: section }]));
+    const targets = new Set();
+    for (const { reference } of [...fields, ...sections]) {
+        if (reference.target !== null)
+            targets.add(reference.target);
+    }
+    return { ...typed, targets: [...targets], fields, linked: linked(file, content), sections };
+}
+export function verdicts() {
+    let read;
+    let structured;
+    let referred;
+    let missed;
+    const unreached = (placed, typeOf, binary) => placed.find(({ reference }) => !reaches(reference, typeOf, binary));
+    return {
+        add(assessment, typeOf, binary) {
+            const { file } = assessment;
+            if (assessment.read !== null) {
+                read = least(read, file, assessment.read);
+                return 0;
+            }
+            if (assessment.structured !== null) {
+                structured = least(structured, file, assessment.structured);
+                return 0;
+            }
+            const field = unreached(assessment.fields, typeOf, binary);
+            if (field !== undefined) {
+                referred = least(referred, file, refuse(file, 'unresolved-reference', { location: field.location }));
+                return 0;
+            }
+            if (!assessment.linked) {
+                referred = least(referred, file, refuse(file, 'unresolved-link'));
+                return 0;
+            }
+            const section = unreached(assessment.sections, typeOf, binary);
+            if (section !== undefined) {
+                referred = least(referred, file, refuse(file, 'unresolved-reference', { location: section.location }));
+                return 0;
+            }
+            const all = [...assessment.fields, ...assessment.sections];
+            for (const { reference } of all) {
+                if (!missing(reference, typeOf, binary))
+                    continue;
+                const path = reference.target;
+                if (missed === undefined || path < missed.path)
+                    missed = { path, referrers: [] };
+                if (path === missed.path && missed.referrers.at(-1) !== file)
+                    missed.referrers.push(file);
+            }
+            return all.length;
+        },
+        verdict() {
+            const refused = read ?? structured ?? referred;
+            if (refused !== undefined)
+                return refused.verdict;
+            if (missed !== undefined) {
+                return refuse(missed.path, 'referenced-missing-file', {
+                    referrers: [...missed.referrers].sort(),
+                });
+            }
+            return { verdict: 'accept' };
+        },
+    };
+}
 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);
-        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 sectionReferences = new Map();
-    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;
-    }
-    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 assessments = [];
+    const closeBudget = openPatternBudget();
+    try {
+        for (const [file, content] of library) {
+            const assessment = assess(file, content, binary(file), model, context);
+            if (assessment.type !== undefined)
+                types.set(file, assessment.type);
+            assessments.push(assessment);
+            yield { path: file, resolved: 0 };
         }
-        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 });
+        const judged = verdicts();
+        for (const assessment of assessments) {
+            const resolved = judged.add(assessment, (path) => types.get(path), binary);
+            yield { path: assessment.file, resolved };
         }
-        for (const { reference } of [...fields, ...sections]) {
-            if (!missing(reference, typeOf, binary))
-                continue;
-            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;
+        return judged.verdict();
+    }
+    finally {
+        closeBudget();
     }
-    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);
+    const steps = validating(new Map(Object.entries(library)), context, model);
     let step = steps.next();
     while (step.done !== true)
         step = steps.next();

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,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"}
+{"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;AAmFtD,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAM7E;AAySD,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;AAuBD,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

@@ -6,6 +6,18 @@ export class YamlError extends Error {
         this.name = 'YamlError';
     }
 }
+const YAML_DEPTH_MAX = 64;
+function nested(c, parse) {
+    if (c.depth >= YAML_DEPTH_MAX)
+        throw new YamlError(c.i);
+    c.depth += 1;
+    try {
+        return parse();
+    }
+    finally {
+        c.depth -= 1;
+    }
+}
 function peek(c) {
     return c.i < c.end ? c.text[c.i] : '';
 }
@@ -70,7 +82,10 @@ function indentAt(c) {
     }
     return n;
 }
+const UNHELD_TEXT = /[\0\ud800-\udfff]/u;
 function scalar(value, start, end) {
+    if (typeof value === 'string' && UNHELD_TEXT.test(value))
+        throw new YamlError(start);
     return { kind: 'scalar', value, start, end };
 }
 export function interpretPlain(text) {
@@ -202,6 +217,9 @@ function parseFlowValue(c) {
     return parseScalar(c, true);
 }
 function parseFlowMap(c) {
+    return nested(c, () => flowMap(c));
+}
+function flowMap(c) {
     const start = c.i;
     if (peek(c) !== '{')
         throw new YamlError(c.i);
@@ -240,6 +258,9 @@ function parseFlowMap(c) {
     throw new YamlError(c.i);
 }
 function parseFlowSeq(c) {
+    return nested(c, () => flowSeq(c));
+}
+function flowSeq(c) {
     const start = c.i;
     if (peek(c) !== '[')
         throw new YamlError(c.i);
@@ -336,6 +357,9 @@ function parseSeqItem(c, indent) {
     return parseValue(c, indent);
 }
 function parseBlockSeq(c, indent) {
+    return nested(c, () => blockSeq(c, indent));
+}
+function blockSeq(c, indent) {
     const start = c.i;
     const items = [];
     let end = start;
@@ -355,6 +379,9 @@ function parseBlockSeq(c, indent) {
     return { kind: 'seq', items, start, end };
 }
 function parseBlockMap(c, indent, inline = false) {
+    return nested(c, () => blockMap(c, indent, inline));
+}
+function blockMap(c, indent, inline) {
     const start = c.i;
     const entries = [];
     const seen = new Set();
@@ -387,7 +414,7 @@ function parseBlockMap(c, indent, inline = false) {
     return { kind: 'map', entries, start, end };
 }
 export function parseYamlMapping(text, start, end) {
-    const c = { text, i: start, end };
+    const c = { text, i: start, end, depth: 0 };
     skipBlankAndComments(c);
     if (c.i >= end)
         return { kind: 'map', entries: [], start, end };
@@ -439,17 +466,23 @@ function listed(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')
+    if (typeof value === 'string')
+        return !UNHELD_TEXT.test(value);
+    if (value === null || typeof value === 'boolean')
         return true;
     if (typeof value === 'number')
         return Number.isFinite(value);
     if (typeof value !== 'object' || within.includes(value))
         return false;
+    if (within.length + 1 >= YAML_DEPTH_MAX)
+        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);
+    return (plain(value) &&
+        Object.keys(value).every((key) => !UNHELD_TEXT.test(key)) &&
+        Object.values(value).every(held));
 }
 export function frontmatterValue(value) {
     return heldWithin(value, []);

package/fixtures/README.md

@@ -51,8 +51,8 @@ change to a value that is not prose leaves the projection alone.
 
 `division.json` exercises the public `divide` seam separately from the
 validation Libraries. It carries `schema` and `cases` like `projection.json`,
-and each case adds the `budget` the division runs under. Parse the source, call
-`divide(document, file, context)` with `{ documentTargets, definition, budget }`,
+and each case adds the `bound` the division runs under. Parse the source, call
+`divide(document, file, context)` with `{ documentTargets, definition, bound }`,
 and compare against `expected`: either `{ "ok": true, "spans": [...] }`, where
 each span carries the exact `text` to embed and the exact `source` the returned
 `start` and `end` address in that case's source, or `{ "ok": false, "refusal": ... }`. Then
@@ -107,6 +107,7 @@ schema text. The model's own rules:
 | `frontmatter-fence`       | A present frontmatter fence does not parse as the accepted YAML subset            |
 | `schema-yaml`             | A schema text is not a mapping in the accepted YAML subset                        |
 | `schema-type-name`        | A type name is empty, starts with `$`, or is `any` or `attachment`                |
+| `provided-type`           | A schema names a type its caller provides with a key but its two role keywords    |
 | `schema`                  | A type or subschema is neither a mapping nor a boolean                            |
 | `schema-keyword`          | A schema carries a key that is no JSON Schema 2020-12 keyword the model admits    |
 | `$defs`                   | `$defs` is not a mapping                                                          |
@@ -117,14 +118,18 @@ schema text. The model's own rules:
 | `unknown-type`            | A file declares a type absent from the governing schema                           |
 | `undeclared-field`        | A closed object carries a key it does not declare                                 |
 | `required-section`        | A required section heading is missing                                             |
+| `conditional-section`     | A section its type's `if` branch requires is absent or holds no text              |
 | `unresolved-reference`    | A reference at any depth or a section item reaches no member it admits            |
 | `unresolved-link`         | A body link is an absolute path or leaves the collection                          |
 | `structured-section`      | A declared list section is not a list of values of its item schema                |
 | `referenced-missing-file` | Remaining files still reference an absent path                                    |
 | `unwritable-link`         | No Markdown destination form can carry a new link destination                     |
-| `division-budget`         | A division budget is not a whole number of at least 2                             |
+| `division-bound`         | A division bound is not a whole number of at least 2                             |
 
-`unwritable-link` is refused by `apply` and `division-budget` by `divide`, not
+A `then` or `else` of an `if` on a type, in its `allOf` or in such a branch may hold
+`sections`, naming sections the type declares as the type declares them, else `sections`.
+
+`unwritable-link` is refused by `apply` and `division-bound` by `divide`, not
 by `validate`, so no case under `cases/` carries either.
 
 A reference that admits `attachment` reaches any path in the same Library, so

package/fixtures/cases/conditional-section/context.json

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

package/fixtures/cases/conditional-section/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "questions/payments.md",
+  "location": "Answer",
+  "rule": "conditional-section"
+}

package/fixtures/cases/conditional-section/library/questions/hosting.md

@@ -0,0 +1,9 @@
+---
+type: question
+title: Where does it run
+status: open
+---
+
+## Question
+
+Which host runs the shop?

package/fixtures/cases/conditional-section/library/questions/payments.md

@@ -0,0 +1,12 @@
+---
+type: question
+title: Who takes payments
+status: answered
+---
+
+## Question
+
+Which provider takes card payments?
+
+## Answer
+

package/fixtures/cases/conditional-section/schema.yaml

@@ -0,0 +1,14 @@
+question:
+  properties:
+    title: { type: string }
+    status: { enum: [open, answered, withdrawn] }
+  required: [title, status]
+  sections:
+    Question: { kind: text, required: true }
+    Answer: { kind: text }
+  if:
+    properties:
+      status: { enum: [answered, withdrawn] }
+  then:
+    sections:
+      Answer: { kind: text, required: true }

package/fixtures/cases/cross-room-link/context.json

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

package/fixtures/cases/cross-room-link/expected.json

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

package/fixtures/cases/cross-room-link/library/clients/acme.md

@@ -0,0 +1,6 @@
+---
+type: client
+name: Acme
+---
+
+Paid by [the March invoice](/rooms/finance/invoices/march.md#total).

package/fixtures/cases/cross-room-link/schema.yaml

@@ -0,0 +1,3 @@
+client:
+  properties:
+    name: { type: string }

package/fixtures/cases/cross-room-reference/context.json

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

package/fixtures/cases/cross-room-reference/expected.json

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

package/fixtures/cases/cross-room-reference/library/clients/acme.md

@@ -0,0 +1,9 @@
+---
+type: client
+name: Acme
+finance: /rooms/finance/invoices/acme.md
+---
+
+## Invoices
+
+- [March](/rooms/finance/invoices/march.md)

package/fixtures/cases/cross-room-reference/schema.yaml

@@ -0,0 +1,9 @@
+client:
+  properties:
+    name: { type: string }
+    finance: { type: string, reference: invoice, cross_room: true }
+  sections:
+    Invoices: { kind: list, items: { type: string, reference: invoice, cross_room: true } }
+invoice:
+  properties:
+    name: { type: string }

package/fixtures/cases/member-on-an-untyped-document/context.json

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

package/fixtures/cases/member-on-an-untyped-document/expected.json

@@ -0,0 +1,6 @@
+{
+  "verdict": "refuse",
+  "file": "note.md",
+  "location": "/member",
+  "rule": "undeclared-field"
+}