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

package/dist/document.js

@@ -1,13 +1,11 @@
 import { hrefOccurrences } from './links.js';
-import { classifyHref, hrefSuffix } from './paths.js';
+import { retarget, target } from './paths.js';
 import { headingSpans, sectionsRecord } from './sections.js';
 import { refusal } from './refuse.js';
-import { bodyStartAfterYaml, bodyStartOf, equalValue, extractFrontmatter, jsValue, lineEnding, mapEntry, parseYamlMapping, serializeJs, serializeKey, YamlError } from './yaml.js';
+import { bodyStartAfterYaml, bodyStartOf, equalValue, extractFrontmatter, jsValue, lineEnding, mapEntry, parseYamlMapping, serializeJs, serializeKey, YamlError, } from './yaml.js';
 const internals = new WeakMap();
 function refuse(file, rule, location) {
-    return location === undefined ? refusal(file, rule) : refusal(file, rule, {
-        location
-    });
+    return location === undefined ? refusal(file, rule) : refusal(file, rule, { location });
 }
 function freezeDocument(content, type, fields, preamble, sections, internal) {
     const document = Object.freeze({
@@ -15,15 +13,17 @@ function freezeDocument(content, type, fields, preamble, sections, internal) {
         type,
         fields: Object.freeze(fields),
         preamble,
-        sections: Object.freeze(sections)
+        sections: Object.freeze(sections),
     });
     internals.set(document, internal);
     return document;
 }
 function declaredType(fields) {
     const value = fields.type;
-    if (value === undefined || value === null) return undefined;
-    if (typeof value !== 'string' || value === '') return undefined;
+    if (value === undefined || value === null)
+        return undefined;
+    if (typeof value !== 'string' || value === '')
+        return undefined;
     return value;
 }
 export function parse(content, file = '') {
@@ -35,22 +35,17 @@ export function parse(content, file = '') {
             document: freezeDocument(content, undefined, {}, content.slice(0, spans[0]?.headingStart), sectionsRecord(spans, content), {
                 root: null,
                 yamlEnd: 0,
-                bodyStart: 0
-            })
+                bodyStart: 0,
+            }),
         };
     }
-    if (fence.kind === 'unclosed') return {
-        ok: false,
-        refusal: refuse(file, 'frontmatter-fence')
-    };
+    if (fence.kind === 'unclosed')
+        return { ok: false, refusal: refuse(file, 'frontmatter-fence') };
     try {
         const root = parseYamlMapping(content, fence.yamlStart, fence.yamlEnd);
         const fields = jsValue(root);
         if (fields === null || typeof fields !== 'object' || Array.isArray(fields)) {
-            return {
-                ok: false,
-                refusal: refuse(file, 'frontmatter-fence')
-            };
+            return { ok: false, refusal: refuse(file, 'frontmatter-fence') };
         }
         const bodyStart = bodyStartAfterYaml(content, fence.yamlEnd);
         const spans = headingSpans(content, bodyStart);
@@ -60,14 +55,13 @@ export function parse(content, file = '') {
             document: freezeDocument(content, declaredType(record), record, content.slice(bodyStart, spans[0]?.headingStart), sectionsRecord(spans, content), {
                 root,
                 yamlEnd: fence.yamlEnd,
-                bodyStart
-            })
-        };
-    } catch (error) {
-        if (error instanceof YamlError) return {
-            ok: false,
-            refusal: refuse(file, 'frontmatter-fence')
+                bodyStart,
+            }),
         };
+    }
+    catch (error) {
+        if (error instanceof YamlError)
+            return { ok: false, refusal: refuse(file, 'frontmatter-fence') };
         throw error;
     }
 }
@@ -77,89 +71,70 @@ function splice(content, start, end, insert) {
 function applyField(document, name, value, prior) {
     const internal = internals.get(document);
     if (internal === undefined || internal.root === null) {
-        return {
-            outcome: 'refuse',
-            refusal: refuse('', 'frontmatter-fence', name)
-        };
+        return { outcome: 'refuse', refusal: refuse('', 'frontmatter-fence', name) };
     }
     if (!equalValue(document.fields[name], prior)) {
-        return {
-            outcome: 'stale',
-            document
-        };
+        return { outcome: 'stale', document };
     }
     let nextContent;
     const existing = mapEntry(internal.root, name);
     if (existing !== undefined) {
         nextContent = splice(document.content, existing.value.start, existing.value.end, serializeJs(value));
-    } else {
+    }
+    else if (document.content[internal.root.start] === '{') {
+        nextContent = splice(document.content, internal.root.end - 1, internal.root.end - 1, `${internal.root.entries.length === 0 ? '' : ', '}${serializeKey(name)}: ${serializeJs(value)}`);
+    }
+    else {
         const nl = lineEnding(document.content);
-        const line = `${serializeKey(name)}: ${serializeJs(value)}${nl}`;
+        const lineStart = document.content.lastIndexOf('\n', internal.root.start - 1) + 1;
+        const indent = document.content.slice(lineStart, internal.root.start);
+        const line = `${indent}${serializeKey(name)}: ${serializeJs(value)}${nl}`;
         const before = document.content.slice(0, internal.yamlEnd);
         const prefix = before.endsWith('\n') || before.endsWith('\r\n') ? '' : nl;
         nextContent = splice(document.content, internal.yamlEnd, internal.yamlEnd, `${prefix}${line}`);
     }
     const parsed = parse(nextContent);
-    if (!parsed.ok) return {
-        outcome: 'refuse',
-        refusal: parsed.refusal
-    };
-    return {
-        outcome: 'applied',
-        document: parsed.document
-    };
+    if (!parsed.ok)
+        return { outcome: 'refuse', refusal: parsed.refusal };
+    return { outcome: 'applied', document: parsed.document };
 }
 function applySection(document, name, value, prior) {
     const internal = internals.get(document);
-    if (internal === undefined) return {
-        outcome: 'refuse',
-        refusal: refuse('', 'required-section', name)
-    };
+    if (internal === undefined)
+        return { outcome: 'refuse', refusal: refuse('', 'required-section', name) };
     const spans = headingSpans(document.content, internal.bodyStart);
-    const span = spans.find((item)=>item.name === name);
-    if (span === undefined) return {
-        outcome: 'refuse',
-        refusal: refuse('', 'required-section', name)
-    };
+    const span = spans.find((item) => item.name === name);
+    if (span === undefined)
+        return { outcome: 'refuse', refusal: refuse('', 'required-section', name) };
     const current = document.content.slice(span.bodyStart, span.bodyEnd);
-    if (current !== prior) return {
-        outcome: 'stale',
-        document
-    };
+    if (current !== prior)
+        return { outcome: 'stale', document };
     const parsed = parse(splice(document.content, span.bodyStart, span.bodyEnd, value));
-    if (!parsed.ok) return {
-        outcome: 'refuse',
-        refusal: parsed.refusal
-    };
-    return {
-        outcome: 'applied',
-        document: parsed.document
-    };
+    if (!parsed.ok)
+        return { outcome: 'refuse', refusal: parsed.refusal };
+    return { outcome: 'applied', document: parsed.document };
 }
 function applyPreamble(document, value, prior) {
-    if (document.preamble !== prior) return {
-        outcome: 'stale',
-        document
-    };
+    if (document.preamble !== prior)
+        return { outcome: 'stale', document };
     const start = bodyStartOf(document.content);
     const parsed = parse(splice(document.content, start, start + document.preamble.length, value));
-    if (!parsed.ok) return {
-        outcome: 'refuse',
-        refusal: parsed.refusal
-    };
-    return {
-        outcome: 'applied',
-        document: parsed.document
-    };
+    if (!parsed.ok)
+        return { outcome: 'refuse', refusal: parsed.refusal };
+    return { outcome: 'applied', document: parsed.document };
 }
 function fitsBare(to) {
-    if (to === '' || to.startsWith('<')) return false;
+    if (to === '' || to.startsWith('<'))
+        return false;
     let depth = 0;
-    for (const character of to){
-        if (/[\s\u0000-\u001f\u007f]/.test(character)) return false;
-        if (character === '(') depth += 1;
+    for (const character of to) {
+        if (/[\s\u0000-\u001f\u007f]/.test(character))
+            return false;
+        if (character === '(')
+            depth += 1;
         else if (character === ')') {
-            if (depth === 0) return false;
+            if (depth === 0)
+                return false;
             depth -= 1;
         }
     }
@@ -169,68 +144,61 @@ function fitsBrackets(to) {
     return to !== '' && !/[<>\n\r]/.test(to);
 }
 function destinationText(to, bracketed) {
-    if (fitsBare(to)) return bracketed && fitsBrackets(to) ? `<${to}>` : to;
-    if (fitsBrackets(to)) return `<${to}>`;
+    if (fitsBare(to))
+        return bracketed && fitsBrackets(to) ? `<${to}>` : to;
+    if (fitsBrackets(to))
+        return `<${to}>`;
     return null;
 }
 function applyLink(document, href, to) {
     const content = document.content;
     const bodyStart = bodyStartOf(content);
-    const matches = hrefOccurrences(content.slice(bodyStart)).filter((occurrence)=>occurrence.href === href);
-    if (matches.length === 0) return {
-        outcome: 'stale',
-        document
-    };
-    const written = to + hrefSuffix(href);
+    const matches = hrefOccurrences(content.slice(bodyStart)).filter((occurrence) => occurrence.href === href);
+    if (matches.length === 0)
+        return { outcome: 'stale', document };
+    const written = retarget(href, to);
     let rewritten = '';
     let cursor = 0;
-    for (const match of matches){
+    for (const match of matches) {
         const text = destinationText(written, match.bracketed);
-        if (text === null) return {
-            outcome: 'refuse',
-            refusal: refuse('', 'unwritable-link', written)
-        };
+        if (text === null)
+            return { outcome: 'refuse', refusal: refuse('', 'unwritable-link', written) };
         rewritten += content.slice(cursor, bodyStart + match.start);
         rewritten += text;
         cursor = bodyStart + match.end;
     }
     const parsed = parse(rewritten + content.slice(cursor));
-    if (!parsed.ok) return {
-        outcome: 'refuse',
-        refusal: parsed.refusal
-    };
-    return {
-        outcome: 'applied',
-        document: parsed.document
-    };
+    if (!parsed.ok)
+        return { outcome: 'refuse', refusal: parsed.refusal };
+    return { outcome: 'applied', document: parsed.document };
 }
 export function links(document, file) {
     const found = [];
     const seen = new Set();
-    for (const occurrence of hrefOccurrences(document.content.slice(bodyStartOf(document.content)))){
-        if (seen.has(occurrence.href)) continue;
-        const resolved = classifyHref(file, occurrence.href);
-        if (resolved.kind !== 'path') continue;
+    for (const occurrence of hrefOccurrences(document.content.slice(bodyStartOf(document.content)))) {
+        if (seen.has(occurrence.href))
+            continue;
+        const resolved = target(file, occurrence.href);
+        if (resolved === null)
+            continue;
         seen.add(occurrence.href);
-        found.push({
-            href: occurrence.href,
-            target: resolved.path
-        });
+        found.push({ href: occurrence.href, target: resolved });
     }
     return found;
 }
 export function apply(document, change) {
-    if (change.kind === 'link') return applyLink(document, change.href, change.to);
-    if (change.kind === 'preamble') return applyPreamble(document, change.value, change.prior);
+    if (change.kind === 'link')
+        return applyLink(document, change.href, change.to);
+    if (change.kind === 'preamble')
+        return applyPreamble(document, change.value, change.prior);
     try {
-        if (change.kind === 'field') return applyField(document, change.name, change.value, change.prior);
+        if (change.kind === 'field')
+            return applyField(document, change.name, change.value, change.prior);
         return applySection(document, change.name, change.value, change.prior);
-    } catch (error) {
+    }
+    catch (error) {
         if (error instanceof YamlError) {
-            return {
-                outcome: 'refuse',
-                refusal: refuse('', 'frontmatter-fence', change.name)
-            };
+            return { outcome: 'refuse', refusal: refuse('', 'frontmatter-fence', change.name) };
         }
         throw error;
     }
@@ -238,5 +206,6 @@ export function apply(document, change) {
 export function serialize(document) {
     return document.content;
 }
-
-//# sourceMappingURL=document.js.map
+export function frontmatter(document) {
+    return internals.get(document)?.root ?? null;
+}

package/dist/fields.d.ts

@@ -0,0 +1,4 @@
+export declare const MEMBER_FIELD = "member";
+export declare const SITE_FIELD = "site";
+export declare const RECEIVED_FIELD = "received";
+//# sourceMappingURL=fields.d.ts.map

package/dist/fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fields.d.ts","sourceRoot":"","sources":["../src/fields.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,YAAY,WAAW,CAAC;AAErC,eAAO,MAAM,UAAU,SAAS,CAAC;AAEjC,eAAO,MAAM,cAAc,aAAa,CAAC"}

package/dist/fields.js

@@ -0,0 +1,3 @@
+export const MEMBER_FIELD = 'member';
+export const SITE_FIELD = 'site';
+export const RECEIVED_FIELD = 'received';

package/dist/index.d.ts

@@ -1,7 +1,13 @@
+export { facts, fires, holds, WRITE_DOORS } from './condition.js';
+export type { Actor, Condition, ConditionScope, ConditionTest, ConditionValue, DocumentEvent, DocumentFacts, Fact, Resolved, WriteDoor, } from './condition.js';
+export { divide } from './divide.js';
 export { apply, links, parse, serialize } from './document.js';
+export { MEMBER_FIELD, RECEIVED_FIELD, SITE_FIELD } from './fields.js';
+export { retarget, target } from './paths.js';
 export { MARKDOWN_SYNTAX_PROFILE } from './profile.js';
 export { project } from './project.js';
-export type { ApplyResult, Change, Document, Library, Link, ParseResult, Projection, ProjectionContext, Refusal, Validation, ValidationContext, } from './types.js';
-export { validate } from './validate.js';
+export type { Definition, FieldSpec, SectionSpec } from './definition.js';
+export type { ApplyResult, Change, Division, DivisionContext, Document, Library, ModelVerification, Link, ParseResult, Projection, ProjectionContext, Refusal, Span, Validation, ValidationContext, VerifiedModel, } from './types.js';
+export { validate, verify } from './validate.js';
 export { VERSION } from './version.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,YAAY,EACV,WAAW,EACX,MAAM,EACN,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,OAAO,EACP,UAAU,EACV,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClE,YAAY,EACV,KAAK,EACL,SAAS,EACT,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,EACb,aAAa,EACb,IAAI,EACJ,QAAQ,EACR,SAAS,GACV,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC1E,YAAY,EACV,WAAW,EACX,MAAM,EACN,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,OAAO,EACP,iBAAiB,EACjB,IAAI,EACJ,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,OAAO,EACP,IAAI,EACJ,UAAU,EACV,iBAAiB,EACjB,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}

package/dist/index.js

@@ -1,7 +1,9 @@
+export { facts, fires, holds, WRITE_DOORS } from './condition.js';
+export { divide } from './divide.js';
 export { apply, links, parse, serialize } from './document.js';
+export { MEMBER_FIELD, RECEIVED_FIELD, SITE_FIELD } from './fields.js';
+export { retarget, target } from './paths.js';
 export { MARKDOWN_SYNTAX_PROFILE } from './profile.js';
 export { project } from './project.js';
-export { validate } from './validate.js';
+export { validate, verify } from './validate.js';
 export { VERSION } from './version.js';
-
-//# sourceMappingURL=index.js.map

package/dist/links.d.ts

@@ -20,6 +20,7 @@ export type LinkInventory = {
     readonly uses: readonly LinkUse[];
     readonly blocks: readonly DefinitionBlock[];
 };
+export declare function fenceSpans(text: string): readonly (readonly [number, number])[];
 export declare function linkInventory(body: string): LinkInventory;
 export declare function hrefOccurrences(body: string): readonly HrefOccurrence[];
 //# sourceMappingURL=links.d.ts.map

package/dist/links.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"links.d.ts","sourceRoot":"","sources":["../src/links.ts"],"names":[],"mappings":"AA8WA,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;CAC7C,CAAC;AAEF,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAyBzD;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,cAAc,EAAE,CAIvE"}
+{"version":3,"file":"links.d.ts","sourceRoot":"","sources":["../src/links.ts"],"names":[],"mappings":"AA0sBA,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;CAC7C,CAAC;AAEF,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAe/E;AAYD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CA2DzD;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,cAAc,EAAE,CAIvE"}