@agentshouse/mdmodel 0.1.0-cc9fa0498a7f7 → 0.1.0-cd90851746292

package/dist/definition.js

@@ -1,4 +1,5 @@
 import { MEMBER_FIELD, RECEIVED_FIELD, SITE_FIELD, TYPE_FIELD } from './fields.js';
+import { linearPattern } from './pattern.js';
 import { equalValue, isRecord, jsValue, parseYamlMapping, YamlError } from './yaml.js';
 export const JSON_TYPES = [
     'string',
@@ -12,9 +13,25 @@ export const JSON_TYPES = [
 export const BUILT_IN_TYPE = 'any';
 export const ATTACHMENT = 'attachment';
 const SCALAR_TYPES = new Set(['string', 'number', 'integer', 'boolean']);
+const COMPOSITES = ['array', 'object'];
+const ANNOTATIONS = new Set([
+    '$comment',
+    'title',
+    'description',
+    'default',
+    'examples',
+    'deprecated',
+    'readOnly',
+    'writeOnly',
+]);
+const FIELD_RULES = ['change_roles', 'initial_roles', 'transitions'];
+const PROVIDED_KEYWORDS = ['create_roles', 'delete_roles'];
+const NO_TYPES = Object.freeze({ types: Object.freeze({}) });
 const DEFS_REFERENCE = '#/$defs/';
+const UNBOUNDED_FORMAT = 'url';
 const UNRESOLVED = /[\u0000-\u001f\u007f%[\]\\^{|}]|\s$/u;
 export const ARRAY_INDEX = /^(?:0|[1-9][0-9]*)$/u;
+export const JSON_POINTER = /^(?:\/(?:[^~/]|~[01])*)*$/u;
 const HOUSE_KEYS = {
     [TYPE_FIELD]: { prose: false },
     [SITE_FIELD]: { prose: false },
@@ -33,12 +50,12 @@ export function pointerSegments(pointer) {
     return pointer.split('/').slice(1).map(unescapePointer);
 }
 export function refTarget(reference, defs) {
-    if (!reference.startsWith(DEFS_REFERENCE) || UNRESOLVED.test(reference))
-        return undefined;
-    const segments = reference.slice(DEFS_REFERENCE.length).split('/');
-    const [name = '', ...rest] = segments.map(unescapePointer);
-    if (segments.some((segment) => escapePointer(unescapePointer(segment)) !== segment))
+    const pointer = reference.slice('#'.length);
+    if (!reference.startsWith(DEFS_REFERENCE) ||
+        UNRESOLVED.test(reference) ||
+        !JSON_POINTER.test(pointer))
         return undefined;
+    const [, name = '', ...rest] = pointerSegments(pointer);
     if (!Object.hasOwn(defs, name))
         return undefined;
     let node = defs[name];
@@ -69,15 +86,7 @@ export function refTarget(reference, defs) {
     return { name, node };
 }
 function compiles(pattern) {
-    if (typeof pattern !== 'string')
-        return false;
-    try {
-        new RegExp(pattern, 'u');
-        return true;
-    }
-    catch {
-        return false;
-    }
+    return typeof pattern === 'string' && linearPattern(pattern) !== null;
 }
 function finite(value) {
     return typeof value === 'number' && Number.isFinite(value);
@@ -187,7 +196,7 @@ const KEYWORDS = {
     uniqueItems: FLAG,
     required: strings,
     dependentRequired: (value) => isRecord(value) && Object.values(value).every(strings),
-    format: TEXT,
+    format: (value) => typeof value === 'string' && value !== UNBOUNDED_FORMAT,
     contentEncoding: TEXT,
     contentMediaType: TEXT,
     title: TEXT,
@@ -204,8 +213,12 @@ const KEYWORDS = {
         return (Array.isArray(named) &&
             named.length > 0 &&
             strings(named) &&
-            named.every((name) => name === BUILT_IN_TYPE || name === ATTACHMENT || context.types.has(name)));
+            named.every((name) => name === BUILT_IN_TYPE ||
+                name === ATTACHMENT ||
+                context.types.has(name) ||
+                node.cross_room === true));
     },
+    cross_room: (value, _at, node) => typeof value === 'boolean' && node.reference !== undefined,
 };
 function sharedType(values) {
     if (values.length === 0)
@@ -270,24 +283,45 @@ function united(left, right) {
         return undefined;
     return [...left, ...right.filter((value) => !left.some((held) => equalValue(held, value)))];
 }
+function both(left, right) {
+    return left !== undefined && right !== undefined ? joined(left, right) : undefined;
+}
 function joined(left, right) {
     const type = left.type === right.type ? left.type : undefined;
     const format = left.format === right.format ? left.format : undefined;
     const values = united(left.values, right.values);
     const reference = united(left.reference, right.reference);
-    const items = left.items !== undefined && right.items !== undefined
-        ? joined(left.items, right.items)
-        : undefined;
+    const crossRoom = left.crossRoom === true || right.crossRoom === true;
+    const items = both(left.items, right.items);
+    const prefix = left.prefix === undefined && right.prefix === undefined
+        ? undefined
+        : Array.from({ length: Math.max(left.prefix?.length ?? 0, right.prefix?.length ?? 0) }, (_, index) => both(itemFacts(left, index), itemFacts(right, index)) ?? { prose: false });
+    const properties = Object.create(null);
+    for (const [name, facts] of Object.entries(left.properties ?? {})) {
+        const shared = both(facts, right.properties?.[name]);
+        if (shared !== undefined)
+            properties[name] = shared;
+    }
+    const patterns = (left.patterns ?? []).flatMap(({ pattern, facts }) => {
+        const shared = both(facts, right.patterns?.find((one) => one.pattern === pattern)?.facts);
+        return shared === undefined ? [] : [{ pattern, facts: shared }];
+    });
+    const additional = both(left.additional, right.additional);
     return {
         ...(type === undefined ? {} : { type }),
         ...(format === undefined ? {} : { format }),
         ...(values === undefined ? {} : { values }),
         ...(reference === undefined ? {} : { reference }),
+        ...(reference !== undefined && crossRoom ? { crossRoom: true } : {}),
         prose: left.prose && right.prose,
+        ...(prefix === undefined ? {} : { prefix }),
         ...(items === undefined ? {} : { items }),
+        ...(Object.keys(properties).length === 0 ? {} : { properties }),
+        ...(patterns.length === 0 ? {} : { patterns }),
+        ...(additional === undefined ? {} : { additional }),
     };
 }
-function propertiesOf(held, defs, ancestry) {
+function propertiesOf(held, variants, defs, ancestry) {
     const declared = new Map();
     for (const node of held) {
         if (!isRecord(node.properties))
@@ -298,46 +332,88 @@ function propertiesOf(held, defs, ancestry) {
     const properties = Object.create(null);
     for (const [name, schemas] of declared)
         properties[name] = factsOf(schemas, defs, ancestry);
-    const variants = Object.create(null);
-    for (const branch of held.flatMap(variantsOf)) {
-        for (const [name, facts] of Object.entries(factsOf([branch], defs, ancestry).properties ?? {})) {
+    const conditional = Object.create(null);
+    for (const branch of variants.values()) {
+        for (const [name, facts] of Object.entries(branch.properties ?? {})) {
             if (Object.hasOwn(properties, name))
                 continue;
-            variants[name] = Object.hasOwn(variants, name) ? joined(variants[name], facts) : facts;
+            conditional[name] = Object.hasOwn(conditional, name)
+                ? joined(conditional[name], facts)
+                : facts;
         }
     }
-    for (const [name, facts] of Object.entries(variants))
+    for (const [name, facts] of Object.entries(conditional))
         properties[name] = { ...facts, conditional: true };
     return Object.keys(properties).length === 0 ? undefined : properties;
 }
+function nullOnly(facts) {
+    return facts.type === 'null' || (facts.values?.every((value) => value === null) ?? false);
+}
+function alternativesOf(held, variants) {
+    return held.flatMap((node) => [node.anyOf, node.oneOf].flatMap((branches) => {
+        if (!Array.isArray(branches))
+            return [];
+        const kept = branches
+            .flatMap((branch) => {
+            const facts = isRecord(branch) ? variants.get(branch) : undefined;
+            return facts === undefined ? [] : [facts];
+        })
+            .filter((facts) => !nullOnly(facts));
+        return kept.length === 0 ? [] : [kept];
+    }));
+}
+function inheritedOf(held) {
+    return held.flatMap((node) => {
+        const kept = Object.fromEntries(['type', 'items', 'prefixItems'].flatMap((key) => node[key] === undefined ? [] : [[key, node[key]]]));
+        return Object.keys(kept).length === 0 ? [] : [kept];
+    });
+}
 function factsOf(nodes, defs, ancestry) {
     const { held, ancestry: reached } = conjoined(nodes, defs, ancestry);
-    const listed = held.flatMap((node) => Array.isArray(node.enum) ? [node.enum] : node.const !== undefined ? [[node.const]] : []);
+    const inherited = inheritedOf(held);
+    const variants = new Map(held
+        .flatMap(variantsOf)
+        .map((branch) => [branch, factsOf([branch, ...inherited], defs, reached)]));
+    const unions = alternativesOf(held, variants);
+    const alternatives = unions.map((kept) => kept.reduce(joined));
+    const listed = [
+        ...held.flatMap((node) => Array.isArray(node.enum) ? [node.enum] : node.const !== undefined ? [[node.const]] : []),
+        ...alternatives.flatMap((facts) => (facts.values === undefined ? [] : [facts.values])),
+    ];
     const values = listed.length === 0
         ? undefined
         : listed.reduce((kept, list) => kept.filter((value) => list.some((other) => equalValue(other, value))));
     const type = firstOf(held, (node) => singleType(node.type)) ??
-        (values === undefined ? undefined : sharedType(values));
+        (values === undefined ? undefined : sharedType(values)) ??
+        alternatives.find((facts) => facts.type !== undefined)?.type;
     const reference = firstOf(held, (node) => typeof node.reference === 'string'
         ? [node.reference]
         : Array.isArray(node.reference)
             ? node.reference
-            : undefined);
-    const format = firstOf(held, (node) => typeof node.format === 'string' ? node.format : undefined);
+            : undefined) ?? alternatives.find((facts) => facts.reference !== undefined)?.reference;
+    const crossRoom = firstOf(held, (node) => node.reference === undefined ? undefined : node.cross_room === true) ?? alternatives.find((facts) => facts.reference !== undefined)?.crossRoom === true;
+    const format = firstOf(held, (node) => (typeof node.format === 'string' ? node.format : undefined)) ??
+        alternatives.find((facts) => facts.format !== undefined)?.format;
     const prose = type === 'string' &&
         values === undefined &&
         format === undefined &&
         reference === undefined &&
-        held.every((node) => node.pattern === undefined);
+        held.every((node) => node.pattern === undefined) &&
+        unions.every((kept) => kept.every((facts) => facts.type !== 'string' || facts.prose));
     const listedItems = held.flatMap((node) => (node.items === undefined ? [] : [node.items]));
-    const items = type === 'array' && listedItems.length > 0 ? factsOf(listedItems, defs, reached) : undefined;
-    const prefix = type === 'array'
-        ? firstOf(held, (node) => Array.isArray(node.prefixItems)
-            ? node.prefixItems.map((schema) => factsOf([schema], defs, reached))
-            : undefined)
-        : undefined;
+    const items = type !== 'array'
+        ? undefined
+        : (alternatives.find((facts) => facts.items !== undefined)?.items ??
+            (listedItems.length > 0 ? factsOf(listedItems, defs, reached) : undefined));
+    const tuples = held.flatMap((node) => Array.isArray(node.prefixItems) ? [node.prefixItems] : []);
+    const prefix = type !== 'array'
+        ? undefined
+        : (alternatives.find((facts) => facts.prefix !== undefined)?.prefix ??
+            (tuples.length === 0
+                ? undefined
+                : Array.from({ length: Math.max(...tuples.map((tuple) => tuple.length)) }, (_, index) => factsOf(tuples.flatMap((tuple) => (index < tuple.length ? [tuple[index]] : [])), defs, reached))));
     const mapped = type === 'object' || type === undefined;
-    const properties = mapped ? propertiesOf(held, defs, reached) : undefined;
+    const properties = mapped ? propertiesOf(held, variants, defs, reached) : undefined;
     const patterns = mapped
         ? held.flatMap((node) => Object.entries(isRecord(node.patternProperties) ? node.patternProperties : {}).map(([pattern, schema]) => ({ pattern, facts: factsOf([schema], defs, reached) })))
         : [];
@@ -350,6 +426,7 @@ function factsOf(nodes, defs, ancestry) {
         ...(format === undefined ? {} : { format }),
         ...(values === undefined ? {} : { values }),
         ...(reference === undefined ? {} : { reference }),
+        ...(reference !== undefined && crossRoom ? { crossRoom: true } : {}),
         prose,
         ...(prefix === undefined ? {} : { prefix }),
         ...(items === undefined ? {} : { items }),
@@ -367,7 +444,7 @@ export function itemFacts(facts, index) {
 export function memberFacts(facts, key) {
     if (facts.properties !== undefined && Object.hasOwn(facts.properties, key))
         return facts.properties[key];
-    const pattern = facts.patterns?.find((one) => new RegExp(one.pattern, 'u').test(key));
+    const pattern = facts.patterns?.find((one) => linearPattern(one.pattern).test(key));
     return pattern === undefined ? facts.additional : pattern.facts;
 }
 export function crossedFacts(facts) {
@@ -470,6 +547,56 @@ function readSections(value, at, context) {
     }
     return { sections };
 }
+function branchSectionsFailure(sections, declared, where) {
+    if (!isRecord(sections))
+        return refuse('sections', where);
+    for (const [name, spec] of Object.entries(sections)) {
+        const place = `${where}/${escapePointer(name)}`;
+        const own = isRecord(declared) && Object.hasOwn(declared, name) ? declared[name] : undefined;
+        if (!isRecord(spec) || !isRecord(own))
+            return refuse('sections', place);
+        const { required, ...kind } = spec;
+        const { required: _required, ...ownKind } = own;
+        if (required !== undefined && typeof required !== 'boolean')
+            return refuse('sections', `${place}/required`);
+        if (!equalValue(kind, ownKind))
+            return refuse('sections', place);
+    }
+    return undefined;
+}
+function withoutBranchSections(schema, declared, at) {
+    const kept = { ...schema };
+    if (Array.isArray(schema.allOf)) {
+        const entries = [];
+        for (const [index, entry] of schema.allOf.entries()) {
+            const read = isRecord(entry)
+                ? withoutBranchSections(entry, declared, `${at}/allOf/${index}`)
+                : { schema: entry };
+            if ('failure' in read)
+                return read;
+            entries.push(read.schema);
+        }
+        kept.allOf = entries;
+    }
+    if (schema.if === undefined)
+        return { schema: kept };
+    for (const branch of ['then', 'else']) {
+        const held = schema[branch];
+        if (!isRecord(held))
+            continue;
+        const { sections, ...rest } = held;
+        const failure = sections === undefined
+            ? undefined
+            : branchSectionsFailure(sections, declared, `${at}/${branch}/sections`);
+        if (failure !== undefined)
+            return { failure };
+        const read = withoutBranchSections(rest, declared, `${at}/${branch}`);
+        if ('failure' in read)
+            return read;
+        kept[branch] = read.schema;
+    }
+    return { schema: kept };
+}
 function deepFreeze(value) {
     if (value !== null && typeof value === 'object' && !Object.isFrozen(value)) {
         Object.freeze(value);
@@ -478,21 +605,157 @@ function deepFreeze(value) {
     }
     return value;
 }
+function ruleValue(value) {
+    return value === null || typeof value === 'string' || typeof value === 'boolean' || finite(value);
+}
+function roleNames(value) {
+    return strings(value) && value.every((name) => name !== '');
+}
+function compositesOf(value) {
+    return Array.isArray(value) ? ['array'] : isRecord(value) ? ['object'] : [];
+}
+function typed(type) {
+    const types = typeof type === 'string' ? [type] : type;
+    return Array.isArray(types) ? COMPOSITES.filter((kind) => types.includes(kind)) : undefined;
+}
+function admittedWhole(node) {
+    if (node === true)
+        return COMPOSITES;
+    if (!isRecord(node) || Object.keys(node).some((key) => key !== 'type' && !ANNOTATIONS.has(key)))
+        return [];
+    return typed(node.type) ?? COMPOSITES;
+}
+function composites(node, defs, seen) {
+    if (node === false)
+        return [];
+    if (!isRecord(node))
+        return COMPOSITES;
+    const each = (nodes) => Array.isArray(nodes) ? nodes.map((one) => composites(one, defs, seen)) : [];
+    const target = typeof node.$ref === 'string' ? refTarget(node.$ref, defs)?.node : undefined;
+    const conditioned = () => {
+        const met = composites(node.then ?? true, defs, seen);
+        return COMPOSITES.filter((kind) => (composites(node.if, defs, seen).includes(kind) && met.includes(kind)) ||
+            composites(node.else ?? true, defs, seen).includes(kind));
+    };
+    const bounds = [
+        typed(node.type),
+        Array.isArray(node.enum) ? node.enum.flatMap(compositesOf) : undefined,
+        Object.hasOwn(node, 'const') ? compositesOf(node.const) : undefined,
+        target === undefined || seen.has(target)
+            ? undefined
+            : composites(target, defs, new Set([...seen, target])),
+        ...each(node.allOf),
+        ...[node.anyOf, node.oneOf].filter(Array.isArray).map((branches) => each(branches).flat()),
+        Object.hasOwn(node, 'if') ? conditioned() : undefined,
+        Object.hasOwn(node, 'not')
+            ? COMPOSITES.filter((kind) => !admittedWhole(node.not).includes(kind))
+            : undefined,
+    ];
+    return COMPOSITES.filter((kind) => bounds.every((bound) => bound?.includes(kind) ?? true));
+}
+function transitionOf(value) {
+    if (!isRecord(value) || !Object.hasOwn(value, 'from') || !Object.hasOwn(value, 'to'))
+        return undefined;
+    const { from, to, roles, ...rest } = value;
+    if (Object.keys(rest).length > 0 || !ruleValue(from) || !ruleValue(to))
+        return undefined;
+    if (roles === undefined)
+        return { from, to };
+    return roleNames(roles) ? { from, to, roles } : undefined;
+}
+function fieldRules(written, field, at, defs) {
+    const { change_roles: changeRoles, initial_roles: initialRoles, transitions } = written;
+    if (changeRoles !== undefined && !roleNames(changeRoles))
+        return refuse('change_roles', `${at}/change_roles`);
+    if (initialRoles !== undefined && !roleNames(initialRoles))
+        return refuse('initial_roles', `${at}/initial_roles`);
+    if (transitions === undefined)
+        return {
+            ...(changeRoles === undefined ? {} : { changeRoles }),
+            ...(initialRoles === undefined ? {} : { initialRoles }),
+        };
+    if (!Array.isArray(transitions) || composites(field, defs, new Set()).length > 0)
+        return refuse('transitions', `${at}/transitions`);
+    const listed = [];
+    for (const [index, held] of transitions.entries()) {
+        const transition = transitionOf(held);
+        if (transition === undefined)
+            return refuse('transitions', `${at}/transitions/${index}`);
+        listed.push(transition);
+    }
+    return {
+        ...(changeRoles === undefined ? {} : { changeRoles }),
+        ...(initialRoles === undefined ? {} : { initialRoles }),
+        transitions: listed,
+    };
+}
+function unruled(schema) {
+    const written = new Map();
+    if (!isRecord(schema.properties))
+        return { schema, written };
+    const properties = Object.create(null);
+    for (const [field, node] of Object.entries(schema.properties)) {
+        if (!isRecord(node) || !FIELD_RULES.some((keyword) => Object.hasOwn(node, keyword))) {
+            properties[field] = node;
+            continue;
+        }
+        written.set(field, node);
+        properties[field] = Object.fromEntries(Object.entries(node).filter(([keyword]) => !FIELD_RULES.includes(keyword)));
+    }
+    return { schema: written.size === 0 ? schema : { ...schema, properties }, written };
+}
+function providedType(name, value, provided) {
+    const at = `/${escapePointer(name)}`;
+    if (provided.nameable?.includes(name) !== true)
+        return refuse('provided-type', at);
+    if (!isRecord(value))
+        return refuse('schema', at);
+    const declared = Object.keys(value).find((key) => !PROVIDED_KEYWORDS.includes(key));
+    if (declared !== undefined)
+        return refuse('provided-type', `${at}/${escapePointer(declared)}`);
+    const { create_roles: createRoles, delete_roles: deleteRoles } = value;
+    if (createRoles !== undefined && !roleNames(createRoles))
+        return refuse('create_roles', `${at}/create_roles`);
+    if (deleteRoles !== undefined && !roleNames(deleteRoles))
+        return refuse('delete_roles', `${at}/delete_roles`);
+    return {
+        ...provided.types[name],
+        ...(createRoles === undefined ? {} : { createRoles }),
+        ...(deleteRoles === undefined ? {} : { deleteRoles }),
+    };
+}
 function readType(name, value, context) {
     const at = `/${escapePointer(name)}`;
     if (!isRecord(value))
         return refuse('schema', at);
-    const { sections: declared, member_document: mark, ...schema } = value;
+    const { sections: declared, member_document: mark, create_roles: createRoles, delete_roles: deleteRoles, ...ruled } = value;
     if (mark !== undefined && typeof mark !== 'boolean')
         return refuse('member_document', `${at}/member_document`);
+    if (createRoles !== undefined && !roleNames(createRoles))
+        return refuse('create_roles', `${at}/create_roles`);
+    if (deleteRoles !== undefined && !roleNames(deleteRoles))
+        return refuse('delete_roles', `${at}/delete_roles`);
     const read = declared === undefined
         ? { sections: Object.create(null) }
         : readSections(declared, `${at}/sections`, context);
     if ('failure' in read)
         return read.failure;
+    const unbranched = withoutBranchSections(ruled, declared, at);
+    if ('failure' in unbranched)
+        return unbranched.failure;
+    const { schema, written } = unruled(unbranched.schema);
     const failure = schemaFailure(schema, at, context);
     if (failure !== undefined)
         return failure;
+    const rules = Object.create(null);
+    for (const [field, keywords] of written) {
+        const properties = schema.properties;
+        const where = `${at}/properties/${escapePointer(field)}`;
+        const ruling = fieldRules(keywords, properties[field], where, context.defs);
+        if ('rule' in ruling)
+            return ruling;
+        rules[field] = ruling;
+    }
     const memberDocument = mark === true;
     const root = valueFacts(schema, context.defs);
     const fields = Object.assign(Object.create(null), root.properties);
@@ -500,19 +763,26 @@ function readType(name, value, context) {
         fields[MEMBER_FIELD] = { type: 'string', prose: false };
     const defs = Object.create(null);
     reachedDefs(value, context.defs, defs);
+    const { create_roles: _create, delete_roles: _delete, ...shaped } = value;
     return {
         name,
         memberDocument,
         frontmatter: { ...root, properties: { ...HOUSE_KEYS, ...fields } },
         fields,
         sections: read.sections,
-        shape: { schema: value, defs },
+        rules,
+        ...(createRoles === undefined ? {} : { createRoles }),
+        ...(deleteRoles === undefined ? {} : { deleteRoles }),
+        shape: {
+            schema: written.size === 0 ? shaped : { ...shaped, properties: schema.properties },
+            defs,
+        },
     };
 }
 function lineAt(text, offset) {
     return text.slice(0, offset).split(/\r\n|\r|\n/).length;
 }
-export function readSchema(text) {
+export function readSchema(text, provided = NO_TYPES) {
     let root;
     try {
         root = jsValue(parseYamlMapping(text, 0, text.length));
@@ -530,7 +800,7 @@ export function readSchema(text) {
         if (name === '' || name.startsWith('$') || name === BUILT_IN_TYPE || name === ATTACHMENT)
             return refuse('schema-type-name', `/${escapePointer(name)}`);
     }
-    const context = { defs, types: new Set(names) };
+    const context = { defs, types: new Set([...names, ...Object.keys(provided.types)]) };
     for (const [name, def] of Object.entries(defs)) {
         const failure = schemaFailure(def, `/$defs/${escapePointer(name)}`, context);
         if (failure !== undefined)
@@ -539,7 +809,9 @@ export function readSchema(text) {
     const types = Object.create(null);
     let marked = false;
     for (const name of names) {
-        const definition = readType(name, root[name], context);
+        const definition = Object.hasOwn(provided.types, name)
+            ? providedType(name, root[name], provided)
+            : readType(name, root[name], context);
         if ('rule' in definition)
             return definition;
         if (definition.memberDocument) {
@@ -549,5 +821,9 @@ export function readSchema(text) {
         }
         types[name] = deepFreeze(definition);
     }
+    for (const [name, definition] of Object.entries(provided.types)) {
+        if (!Object.hasOwn(types, name))
+            types[name] = definition;
+    }
     return Object.freeze({ types: Object.freeze(types) });
 }

package/dist/divide.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"divide.d.ts","sourceRoot":"","sources":["../src/divide.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAgB,MAAM,YAAY,CAAC;AA4WpF,wBAAgB,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,GAAG,QAAQ,CAc3F"}
+{"version":3,"file":"divide.d.ts","sourceRoot":"","sources":["../src/divide.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAgB,MAAM,YAAY,CAAC;AAwXpF,wBAAgB,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,GAAG,QAAQ,CAc3F"}

package/dist/divide.js

@@ -1,7 +1,7 @@
 import { blockRanges, headingLines } from './blocks.js';
-import { projectionInput, rangeText } from './project.js';
+import { firstEditFrom, projectionInput, rangeText, } from './project.js';
 import { refusal } from './refuse.js';
-const SMALLEST_BUDGET = 2;
+const SMALLEST_BOUND = 2;
 function node(draft) {
     return {
         start: draft.start,
@@ -86,8 +86,8 @@ function isTrailingSurrogate(text, index) {
 function characterLength(text, index) {
     return isTrailingSurrogate(text, index + 1) ? 2 : 1;
 }
-function boundOf(cutting, from, to, budget) {
-    const limit = from + budget;
+function boundOf(cutting, from, to, bound) {
+    const limit = from + bound;
     if (limit >= to)
         return to;
     for (let index = limit; index > from + 1; index -= 1) {
@@ -131,16 +131,26 @@ function textOf(state, extent) {
     return rangeText(state.content, extent, state.edits);
 }
 function sourceCutting(state, extent) {
-    let text = state.content.slice(extent.start, extent.end);
+    const source = state.content.slice(extent.start, extent.end);
     const masks = [];
-    for (const edit of state.edits) {
-        if (edit.start < extent.start || edit.end > extent.end)
+    for (let index = firstEditFrom(state.edits, extent.start); index < state.edits.length; index += 1) {
+        const edit = state.edits[index];
+        if (edit.start > extent.end)
+            break;
+        if (edit.end > extent.end)
             continue;
-        const from = edit.start - extent.start;
-        const to = edit.end - extent.start;
-        text = `${text.slice(0, from)}${'x'.repeat(to - from)}${text.slice(to)}`;
-        masks.push({ start: from, end: to });
+        masks.push({ start: edit.start - extent.start, end: edit.end - extent.start });
     }
+    let text = '';
+    let cursor = 0;
+    for (const mask of masks) {
+        if (mask.end <= cursor)
+            continue;
+        const from = Math.max(mask.start, cursor);
+        text += `${source.slice(cursor, from)}${'x'.repeat(mask.end - from)}`;
+        cursor = mask.end;
+    }
+    text += source.slice(cursor);
     return {
         text,
         masks,
@@ -158,12 +168,12 @@ function valueCutting(value) {
     };
 }
 function prefixOf(state, body) {
-    if (body.emitted === 0 || body.heading.length >= state.budget)
+    if (body.emitted === 0 || body.heading.length >= state.bound)
         return '';
     return body.heading;
 }
 function available(state, body) {
-    return state.budget - prefixOf(state, body).length;
+    return state.bound - prefixOf(state, body).length;
 }
 function emit(state, body, piece, bare = false) {
     if (piece.text.trim() === '')
@@ -206,7 +216,7 @@ function divideBound(state, body, cutting, range) {
     let start = range.start;
     while (start < range.end) {
         const bare = available(state, body) < characterLength(cutting.text, start);
-        const room = bare ? state.budget : available(state, body);
+        const room = bare ? state.bound : available(state, body);
         const stop = boundOf(cutting, start, range.end, room);
         const piece = cutting.piece(start, stop);
         if (cutting.masks.length === 0 || piece.text.length <= room) {
@@ -293,8 +303,8 @@ function divideInput(state, input) {
     ]);
 }
 export function divide(document, file, context) {
-    if (!Number.isInteger(context.budget) || context.budget < SMALLEST_BUDGET) {
-        return { ok: false, refusal: refusal(file, 'division-budget') };
+    if (!Number.isInteger(context.bound) || context.bound < SMALLEST_BOUND) {
+        return { ok: false, refusal: refusal(file, 'division-bound') };
     }
     const result = projectionInput(document, file, context);
     if (!result.ok)
@@ -302,7 +312,7 @@ export function divide(document, file, context) {
     const state = {
         content: document.content,
         edits: result.input.edits,
-        budget: context.budget,
+        bound: context.bound,
         spans: [],
     };
     divideInput(state, result.input);

package/dist/document.d.ts

@@ -1,13 +1,16 @@
 import { type Definition } from './definition.js';
-import type { ApplyResult, BodyResult, Change, Document, Link, ParseResult } from './types.js';
+import { type LinkInventory } from './links.js';
+import type { ApplyResult, BodyResult, FrontmatterResult, Change, Document, Link, ParseResult } from './types.js';
 import { type YamlMap } from './yaml.js';
+export declare function inventoryOf(document: Document): LinkInventory;
+export declare function parseFrontmatter(content: string, file?: string): FrontmatterResult;
 export declare function parse(content: string, file?: string): ParseResult;
-export declare function relativize(document: Document, file: string, handle: string, definition?: Definition): ApplyResult;
+export declare function relativize(document: Document, file: string, handle: string, definition?: Definition, kept?: ReadonlySet<string>): ApplyResult;
 export declare function relativizeBody(body: string, file: string, handle: string): BodyResult;
 export declare function relinkBody(body: string, file: string, moves: ReadonlyMap<string, string>): BodyResult;
 export declare function links(document: Document, file: string): readonly Link[];
 export declare function bodyLinks(body: string, file: string): readonly Link[];
-export declare function apply(document: Document, change: Change): ApplyResult;
+export declare function apply(document: Document, changes: readonly Change[]): ApplyResult;
 export declare function serialize(document: Document): string;
 export declare function frontmatter(document: Document): YamlMap | null;
 //# sourceMappingURL=document.d.ts.map

package/dist/document.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"document.d.ts","sourceRoot":"","sources":["../src/document.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgC,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAMhF,OAAO,KAAK,EACV,WAAW,EACX,UAAU,EACV,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,WAAW,EAEZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAaL,KAAK,OAAO,EAEb,MAAM,WAAW,CAAC;AAwCnB,wBAAgB,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,SAAK,GAAG,WAAW,CAkD7D;AA+KD,wBAAgB,UAAU,CACxB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,UAAU,CAAC,EAAE,UAAU,GACtB,WAAW,CAYb;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAOrF;AAED,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACjC,UAAU,CAeZ;AAeD,wBAAgB,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,IAAI,EAAE,CAEvE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,IAAI,EAAE,CAErE;AAED,wBAAgB,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CAOrE;AAED,wBAAgB,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAEpD;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,GAAG,IAAI,CAE9D"}
+{"version":3,"file":"document.d.ts","sourceRoot":"","sources":["../src/document.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgC,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAChF,OAAO,EAKL,KAAK,aAAa,EACnB,MAAM,YAAY,CAAC;AAcpB,OAAO,KAAK,EACV,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,WAAW,EAEZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAcL,KAAK,OAAO,EAEb,MAAM,WAAW,CAAC;AAgBnB,wBAAgB,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,aAAa,CAM7D;AAgED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,SAAK,GAAG,iBAAiB,CAW9E;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,SAAK,GAAG,WAAW,CAgB7D;AAmED,wBAAgB,UAAU,CACxB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,UAAU,CAAC,EAAE,UAAU,EACvB,IAAI,GAAE,WAAW,CAAC,MAAM,CAAa,GACpC,WAAW,CAuBb;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAUrF;AAED,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACjC,UAAU,CAkBZ;AAeD,wBAAgB,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,IAAI,EAAE,CAEvE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,IAAI,EAAE,CAErE;AA4LD,wBAAgB,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,WAAW,CA4CjF;AAED,wBAAgB,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAEpD;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,GAAG,IAAI,CAE9D"}