@agentshouse/mdmodel 0.1.0-alpha.8 → 0.1.0-c68e2039f1ca8

package/dist/condition.d.ts

@@ -0,0 +1,137 @@
+import type { ValueFacts } from './definition.js';
+import type { Document, VerifiedModel } from './types.js';
+export type ConditionValue = string | number | boolean | {
+    readonly owner: true;
+};
+export type ConditionTest = {
+    readonly all: readonly ConditionTest[];
+} | {
+    readonly any: readonly ConditionTest[];
+} | {
+    readonly not: ConditionTest;
+} | ({
+    readonly path: string;
+} & ({
+    readonly eq: ConditionValue;
+} | {
+    readonly in: readonly ConditionValue[];
+} | {
+    readonly exists: boolean;
+} | {
+    readonly contains: ConditionValue;
+} | {
+    readonly gt: number | string;
+} | {
+    readonly gte: number | string;
+} | {
+    readonly lt: number | string;
+} | {
+    readonly lte: number | string;
+} | {
+    readonly prefix: string;
+}));
+export type ConditionScope = {
+    readonly type: string;
+} | {
+    readonly folder: string;
+} | {
+    readonly document: string;
+};
+type DocumentEventBase = {
+    readonly on: 'documents';
+    readonly scope: ConditionScope;
+    readonly by?: ConditionTest;
+};
+export type DocumentCondition = (DocumentEventBase & {
+    readonly mode: 'starts_matching';
+    readonly new_documents: boolean;
+    readonly match: ConditionTest;
+}) | (DocumentEventBase & {
+    readonly mode: 'field_changes';
+    readonly field: string;
+    readonly from?: readonly ConditionValue[] | 'new';
+    readonly to?: readonly ConditionValue[] | 'deleted';
+    readonly match?: ConditionTest;
+});
+export type ItemCondition = {
+    readonly on: 'items';
+    readonly source?: string;
+    readonly address?: string;
+    readonly match?: ConditionTest;
+};
+export type CronCondition = {
+    readonly on: 'clock';
+    readonly cron: string;
+    readonly time_zone: string;
+};
+export type DateCondition = {
+    readonly on: 'clock';
+    readonly scope: {
+        readonly type: string;
+    };
+    readonly date: string;
+    readonly days: number;
+    readonly at: string;
+    readonly time_zone: string;
+    readonly match?: ConditionTest;
+};
+export type Condition = DocumentCondition | ItemCondition | CronCondition | DateCondition;
+export type FactKind = 'string' | 'number' | 'boolean' | 'date' | 'time' | 'enum' | 'reference';
+export type Fact = {
+    readonly kind: FactKind;
+    readonly value: Scalar | readonly Scalar[];
+};
+export type DocumentFacts = {
+    readonly id: string;
+    readonly path: string;
+    readonly type: string | null;
+    readonly fields: Readonly<Record<string, Fact>>;
+    readonly members: Readonly<Record<string, string | readonly string[]>>;
+    readonly prose: readonly string[];
+    readonly unreadable: readonly string[];
+};
+export declare const WRITE_DOORS: readonly ['browser', 'agent', 'client'];
+export type WriteDoor = (typeof WRITE_DOORS)[number];
+export type Actor = {
+    readonly user?: string;
+    readonly site?: string;
+    readonly door?: WriteDoor;
+};
+export type DocumentEvent = {
+    readonly before: DocumentFacts | null;
+    readonly after: DocumentFacts | null;
+    readonly changed: readonly string[];
+    readonly by: Actor;
+};
+export type ItemFacts = {
+    readonly delivery: string;
+    readonly source: string | null;
+    readonly address: string | null;
+    readonly has_attachment: boolean;
+    readonly provider: string | null;
+    readonly container: string | null;
+    readonly author: string | null;
+    readonly headers: Readonly<Record<string, string>>;
+    readonly json: {
+        readonly value: unknown;
+    } | null;
+};
+export type Resolved = {
+    readonly id: string;
+    readonly member?: string;
+};
+type Truth = boolean | undefined;
+type Scalar = string | number | boolean;
+export declare function factKind(facts: ValueFacts): FactKind | null;
+export declare function facts(document: Document, at: {
+    readonly id: string;
+    readonly path: string;
+}, model: VerifiedModel, resolve: (target: string) => Resolved | undefined): DocumentFacts;
+export declare function dated(value: unknown): value is string;
+export declare function instant(value: unknown): bigint | undefined;
+export declare function pointed(value: unknown, pointer: string): unknown;
+export declare function holds(test: ConditionTest, document: DocumentFacts, owner: string): Truth;
+export declare function fires(condition: DocumentCondition, event: DocumentEvent, owner: string): boolean;
+export declare function itemFires(condition: ItemCondition, item: ItemFacts, owner: string): boolean;
+export {};
+//# sourceMappingURL=condition.d.ts.map

package/dist/condition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG1D,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC;AAElF,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;CAAE,GAC/B,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,CACzB;IAAE,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;CAAE,GACrC;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAC9B,CAAC,CAAC;AAEP,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,CAAC,iBAAiB,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B,CAAC,GACF,CAAC,iBAAiB,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,cAAc,EAAE,GAAG,KAAK,CAAC;IAClD,QAAQ,CAAC,EAAE,CAAC,EAAE,SAAS,cAAc,EAAE,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC,CAAC;AAEP,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,iBAAiB,GAAG,aAAa,GAAG,aAAa,GAAG,aAAa,CAAC;AAE1F,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC;AAEhG,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;CAC5C,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IACvE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC,CAAC;AAEF,eAAO,MAAM,WAAW,YAAI,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AAEnE,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAErD,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAAC;CACnD,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,KAAK,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;AAEjC,KAAK,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAkBxC,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CAS3D;AAgCD,wBAAgB,KAAK,CACnB,QAAQ,EAAE,QAAQ,EAClB,EAAE,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAClD,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ,GAAG,SAAS,GAChD,aAAa,CA4Cf;AAuCD,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAIrD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAgC1D;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAehE;AAsID,wBAAgB,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK,CAExF;AA4DD,wBAAgB,KAAK,CAAC,SAAS,EAAE,iBAAiB,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAehG;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAO3F"}

package/dist/condition.js

@@ -0,0 +1,394 @@
+import { target } from './paths.js';
+import { isRecord } from './yaml.js';
+export const WRITE_DOORS = ['browser', 'agent', 'client'];
+const DATE = /^\d{4}-\d{2}-\d{2}$/u;
+const DATE_TIME = /^(\d{4})-(\d{2})-(\d{2})[Tt](\d{2}):(\d{2}):(\d{2})(?:\.(\d+))?(?:[Zz]|([+-])(\d{2}):(\d{2}))$/u;
+const ARRAY_INDEX = /^(?:0|[1-9][0-9]*)$/u;
+export function factKind(facts) {
+    if (facts.reference !== undefined)
+        return 'reference';
+    if (facts.values !== undefined)
+        return 'enum';
+    if (facts.type === 'number' || facts.type === 'integer')
+        return 'number';
+    if (facts.type === 'boolean')
+        return 'boolean';
+    if (facts.type !== 'string')
+        return null;
+    if (facts.format === 'date')
+        return 'date';
+    if (facts.format === 'date-time')
+        return 'time';
+    return 'string';
+}
+function referenced(model, facts) {
+    return (facts.reference ?? []).some((to) => Object.hasOwn(model.types, to) && model.types[to].memberDocument);
+}
+function fits(kind, facts, value) {
+    if (!scalar(value))
+        return false;
+    if (kind === 'enum')
+        return (facts.values ?? []).includes(value);
+    if (kind === 'number')
+        return typeof value === 'number';
+    if (kind === 'boolean')
+        return typeof value === 'boolean';
+    if (typeof value !== 'string')
+        return false;
+    if (kind === 'date')
+        return dated(value);
+    if (kind === 'time')
+        return instant(value) !== undefined;
+    return true;
+}
+function fitted(kind, facts, value, path, resolve) {
+    if (!fits(kind, facts, value))
+        return undefined;
+    if (kind !== 'reference')
+        return { value };
+    const reached = target(path, value);
+    return reached === null ? undefined : resolve(reached);
+}
+export function facts(document, at, model, resolve) {
+    const type = document.type ?? null;
+    const definition = type !== null && Object.hasOwn(model.types, type) ? model.types[type] : null;
+    const fields = {};
+    const members = {};
+    const prose = Object.keys(document.sections).map((heading) => `/sections/${heading}`);
+    const unreadable = [];
+    for (const [name, declared] of Object.entries(definition === null ? {} : definition.fields)) {
+        const value = document.fields[name];
+        if (value === undefined || value === null)
+            continue;
+        const list = declared.type === 'array';
+        const facts = list ? declared.items : declared;
+        const kind = facts === undefined || facts.prose ? null : factKind(facts);
+        if (kind === null) {
+            prose.push(`/fields/${name}`);
+            continue;
+        }
+        const items = list ? value : [value];
+        const held = Array.isArray(items)
+            ? items.map((item) => fitted(kind, facts, item, at.path, resolve))
+            : [undefined];
+        if (held.some((item) => item === undefined)) {
+            unreadable.push(`/fields/${name}`);
+            if (referenced(model, facts))
+                unreadable.push(`/members/${name}`);
+            continue;
+        }
+        const values = held.map((item) => ('id' in item ? item.id : item.value));
+        fields[name] = { kind, value: list ? values : values[0] };
+        if (!referenced(model, facts))
+            continue;
+        const bound = held.flatMap((item) => 'member' in item && item.member !== undefined ? [item.member] : []);
+        if (list)
+            members[name] = bound;
+        else if (bound[0] !== undefined)
+            members[name] = bound[0];
+    }
+    return {
+        id: at.id,
+        path: `/${at.path}`,
+        type,
+        fields,
+        members,
+        prose: prose.sort(),
+        unreadable: unreadable.sort(),
+    };
+}
+function readDocument(facts, path) {
+    if (path === '/path')
+        return { kind: 'path', value: facts.path };
+    if (path === '/type')
+        return facts.type === null ? undefined : { kind: 'string', value: facts.type };
+    if (facts.unreadable.includes(path))
+        return { kind: 'unreadable' };
+    if (facts.prose.includes(path))
+        return { kind: 'present' };
+    if (path.startsWith('/fields/')) {
+        const name = path.slice('/fields/'.length);
+        return Object.hasOwn(facts.fields, name) ? facts.fields[name] : undefined;
+    }
+    if (path.startsWith('/members/')) {
+        const name = path.slice('/members/'.length);
+        return Object.hasOwn(facts.members, name)
+            ? { kind: 'member', value: facts.members[name] }
+            : undefined;
+    }
+    return undefined;
+}
+function readActor(actor, path) {
+    const value = path === '/user'
+        ? actor.user
+        : path === '/site'
+            ? actor.site
+            : path === '/door'
+                ? actor.door
+                : undefined;
+    return value === undefined ? undefined : { kind: 'actor', value };
+}
+function plain(value) {
+    if (!isRecord(value))
+        return false;
+    const prototype = Object.getPrototypeOf(value);
+    return prototype === Object.prototype || prototype === null;
+}
+export function dated(value) {
+    return (typeof value === 'string' && DATE.test(value) && instant(`${value}T00:00:00Z`) !== undefined);
+}
+export function instant(value) {
+    if (typeof value !== 'string')
+        return undefined;
+    const parts = DATE_TIME.exec(value);
+    if (parts === null)
+        return undefined;
+    const [year, month, day, hour, minute, second, offsetHours, offsetMinutes] = [
+        1, 2, 3, 4, 5, 6, 9, 10,
+    ].map((at) => Number(parts[at] ?? 0));
+    const at = new Date(0);
+    at.setUTCFullYear(year, month - 1, day);
+    at.setUTCHours(hour, minute, second);
+    if (at.getUTCFullYear() !== year ||
+        at.getUTCMonth() !== month - 1 ||
+        at.getUTCDate() !== day ||
+        at.getUTCHours() !== hour ||
+        at.getUTCMinutes() !== minute ||
+        offsetHours > 23 ||
+        offsetMinutes > 59)
+        return undefined;
+    const offset = (parts[8] === '-' ? -1 : 1) * (offsetHours * 60 + offsetMinutes);
+    const fraction = (parts[7] ?? '').padEnd(9, '0').slice(0, 9);
+    return (BigInt(at.getTime()) - BigInt(offset) * 60000n) * 1000000n + BigInt(fraction);
+}
+export function pointed(value, pointer) {
+    if (pointer === '')
+        return value;
+    let reached = value;
+    for (const part of pointer.slice(1).split('/')) {
+        const token = part.replaceAll('~1', '/').replaceAll('~0', '~');
+        if (Array.isArray(reached)) {
+            if (!ARRAY_INDEX.test(token))
+                return undefined;
+            reached = reached[Number(token)];
+        }
+        else if (plain(reached) && Object.hasOwn(reached, token)) {
+            reached = reached[token];
+        }
+        else {
+            return undefined;
+        }
+    }
+    return reached;
+}
+function scalar(value) {
+    return (typeof value === 'string' ||
+        typeof value === 'boolean' ||
+        (typeof value === 'number' && Number.isFinite(value)));
+}
+function jsonHeld(value) {
+    if (value === undefined)
+        return undefined;
+    if (typeof value === 'string')
+        return {
+            kind: dated(value) ? 'date' : instant(value) === undefined ? 'string' : 'time',
+            value,
+        };
+    if (typeof value === 'boolean')
+        return { kind: 'boolean', value };
+    if (scalar(value))
+        return { kind: 'number', value };
+    if (Array.isArray(value))
+        return { kind: 'list', value: value.filter(scalar) };
+    return { kind: 'present' };
+}
+function readItem(item, path) {
+    if (path.startsWith('/json/')) {
+        if (item.json === null)
+            return { kind: 'unreadable' };
+        return jsonHeld(pointed(item.json.value, path.slice('/json'.length)));
+    }
+    if (path.startsWith('/headers/')) {
+        const name = path.slice('/headers/'.length);
+        return Object.hasOwn(item.headers, name)
+            ? { kind: 'string', value: item.headers[name] }
+            : undefined;
+    }
+    if (path === '/has_attachment')
+        return { kind: 'boolean', value: item.has_attachment };
+    const value = path === '/delivery'
+        ? item.delivery
+        : path === '/source'
+            ? item.source
+            : path === '/provider'
+                ? item.provider
+                : path === '/container'
+                    ? item.container
+                    : path === '/author'
+                        ? item.author
+                        : null;
+    return value === null ? undefined : { kind: 'string', value };
+}
+function wanted(value, owner) {
+    return isRecord(value) && value.owner === true ? owner : value;
+}
+function equal(held, value, owner) {
+    if (held.kind === 'present' || Array.isArray(held.value))
+        return undefined;
+    const expected = wanted(value, owner);
+    if (typeof expected !== typeof held.value)
+        return undefined;
+    if (held.kind !== 'time')
+        return expected === held.value;
+    const left = instant(held.value);
+    const right = instant(expected);
+    return left === undefined || right === undefined ? undefined : left === right;
+}
+function sign(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function ordered(held, value, compare) {
+    if (held.kind === 'present' || Array.isArray(held.value))
+        return undefined;
+    if (held.kind === 'number') {
+        if (typeof value !== 'number' || typeof held.value !== 'number')
+            return undefined;
+        return compare(Math.sign(held.value - value));
+    }
+    if (held.kind === 'date') {
+        if (!dated(value) || !dated(held.value))
+            return undefined;
+        return compare(sign(held.value, value));
+    }
+    if (held.kind !== 'time')
+        return undefined;
+    const at = instant(held.value);
+    const wanted = instant(value);
+    if (at === undefined || wanted === undefined)
+        return undefined;
+    return compare(sign(at, wanted));
+}
+function anyOf(truths) {
+    if (truths.some((truth) => truth === true))
+        return true;
+    return truths.some((truth) => truth === undefined) ? undefined : false;
+}
+function allOf(truths) {
+    if (truths.some((truth) => truth === false))
+        return false;
+    return truths.some((truth) => truth === undefined) ? undefined : true;
+}
+function leaf(test, held, owner) {
+    if (held?.kind === 'unreadable')
+        return undefined;
+    if ('exists' in test)
+        return (held !== undefined) === test.exists;
+    if (held === undefined)
+        return undefined;
+    if ('eq' in test)
+        return equal(held, test.eq, owner);
+    if ('in' in test)
+        return anyOf(test.in.map((value) => equal(held, value, owner)));
+    if ('contains' in test) {
+        if (held.kind === 'present' || !Array.isArray(held.value))
+            return undefined;
+        const expected = wanted(test.contains, owner);
+        if (held.value.some((item) => item === expected))
+            return true;
+        if (held.kind === 'list')
+            return false;
+        return held.value.every((item) => typeof item === typeof expected) ? false : undefined;
+    }
+    if ('prefix' in test) {
+        if (held.kind === 'present' || typeof held.value !== 'string')
+            return undefined;
+        if (held.kind === 'number' || held.kind === 'reference' || held.kind === 'member')
+            return undefined;
+        return held.value.startsWith(test.prefix);
+    }
+    if ('gt' in test)
+        return ordered(held, test.gt, (sign) => sign > 0);
+    if ('gte' in test)
+        return ordered(held, test.gte, (sign) => sign >= 0);
+    if ('lt' in test)
+        return ordered(held, test.lt, (sign) => sign < 0);
+    return ordered(held, test.lte, (sign) => sign <= 0);
+}
+function evaluated(test, read, owner) {
+    if ('all' in test)
+        return allOf(test.all.map((part) => evaluated(part, read, owner)));
+    if ('any' in test)
+        return anyOf(test.any.map((part) => evaluated(part, read, owner)));
+    if ('not' in test) {
+        const truth = evaluated(test.not, read, owner);
+        return truth === undefined ? undefined : !truth;
+    }
+    return leaf(test, read(test.path), owner);
+}
+export function holds(test, document, owner) {
+    return evaluated(test, (path) => readDocument(document, path), owner);
+}
+function inScope(scope, document) {
+    if (document === null)
+        return false;
+    if ('type' in scope)
+        return document.type === scope.type;
+    if ('document' in scope)
+        return document.id === scope.document;
+    return scope.folder === '/' || document.path.startsWith(`${scope.folder}/`);
+}
+function matched(condition, test, document, owner) {
+    if (!inScope(condition.scope, document))
+        return false;
+    return test === undefined || holds(test, document, owner) === true;
+}
+function sameFact(left, right) {
+    return JSON.stringify(left) === JSON.stringify(right);
+}
+function among(values, document, field, owner) {
+    return holds({ path: field, in: values }, document, owner) === true;
+}
+function fieldChanged(condition, event, owner) {
+    const { field, from, to } = condition;
+    if (from === undefined && to === undefined && event.changed.includes(field))
+        return true;
+    if (!field.startsWith('/fields/'))
+        return false;
+    const name = field.slice('/fields/'.length);
+    const before = event.before?.fields[name];
+    const after = event.after?.fields[name];
+    if (before === undefined && after === undefined)
+        return false;
+    if (event.before !== null && event.after !== null && sameFact(before, after))
+        return false;
+    if (from === 'new'
+        ? event.before !== null
+        : from !== undefined && (event.before === null || !among(from, event.before, field, owner)))
+        return false;
+    if (to === 'deleted'
+        ? event.after !== null
+        : to !== undefined && (event.after === null || !among(to, event.after, field, owner)))
+        return false;
+    return true;
+}
+export function fires(condition, event, owner) {
+    if (condition.by !== undefined &&
+        evaluated(condition.by, (path) => readActor(event.by, path), owner) !== true)
+        return false;
+    if (condition.mode === 'starts_matching') {
+        if (event.before === null && !condition.new_documents)
+            return false;
+        return (matched(condition, condition.match, event.after, owner) &&
+            !matched(condition, condition.match, event.before, owner));
+    }
+    const side = event.after ?? event.before;
+    return matched(condition, condition.match, side, owner) && fieldChanged(condition, event, owner);
+}
+export function itemFires(condition, item, owner) {
+    if (condition.source !== undefined && item.source !== condition.source)
+        return false;
+    if (condition.address !== undefined && item.address !== condition.address)
+        return false;
+    return (condition.match === undefined ||
+        evaluated(condition.match, (path) => readItem(item, path), owner) === true);
+}

package/dist/definition.d.ts

@@ -1,36 +1,53 @@
-import type { Document, Refusal } from './types.js';
-export type ScalarSpec = {
-    readonly kind: 'string';
-    readonly required: boolean;
-} | {
-    readonly kind: 'number';
-    readonly required: boolean;
-} | {
-    readonly kind: 'date';
-    readonly required: boolean;
-} | {
-    readonly kind: 'enum';
+import type { VerifiedModel } from './types.js';
+export type JsonType = 'string' | 'number' | 'integer' | 'boolean' | 'object' | 'array' | 'null';
+export type ValueFacts = {
+    readonly type?: JsonType;
+    readonly format?: string;
+    readonly values?: readonly unknown[];
+    readonly reference?: readonly string[];
+    readonly prose: boolean;
+    readonly items?: ValueFacts;
+    readonly properties?: Readonly<Record<string, ValueFacts>>;
+    readonly patterns?: readonly PatternFacts[];
+    readonly additional?: ValueFacts;
+};
+export type PatternFacts = {
+    readonly pattern: string;
+    readonly facts: ValueFacts;
+};
+export type SectionSpec = {
+    readonly kind: 'text';
     readonly required: boolean;
-    readonly values: readonly string[];
 } | {
-    readonly kind: 'reference';
-    readonly required: boolean;
-    readonly to: string;
-};
-export type FieldSpec = ScalarSpec | {
     readonly kind: 'list';
     readonly required: boolean;
-    readonly of: ScalarSpec;
+    readonly items: ValueFacts;
 };
-export type SectionSpec = {
-    readonly kind: 'text' | 'list';
-    readonly required: boolean;
+export type Shape = {
+    readonly schema: Readonly<Record<string, unknown>>;
+    readonly defs: Readonly<Record<string, unknown>>;
 };
 export type Definition = {
     readonly name: string;
-    readonly file: string;
-    readonly fields: Readonly<Record<string, FieldSpec>>;
+    readonly memberDocument: boolean;
+    readonly frontmatter: ValueFacts;
+    readonly fields: Readonly<Record<string, ValueFacts>>;
     readonly sections: Readonly<Record<string, SectionSpec>>;
+    readonly shape: Shape;
+};
+export type Failure = {
+    readonly rule: string;
+    readonly location?: string;
 };
-export declare function readDefinition(file: string, document: Document): Definition | Refusal;
+export declare const JSON_TYPES: readonly JsonType[];
+export declare const BUILT_IN_TYPE = "any";
+export declare const ATTACHMENT = "attachment";
+export declare function escapePointer(key: string): string;
+export declare function refTarget(reference: string, defs: Readonly<Record<string, unknown>>): {
+    readonly name: string;
+    readonly node: unknown;
+} | undefined;
+export declare function valueFacts(node: unknown, defs: Readonly<Record<string, unknown>>): ValueFacts;
+export declare function memberFacts(facts: ValueFacts, key: string): ValueFacts | undefined;
+export declare function readSchema(text: string): VerifiedModel | Failure;
 //# sourceMappingURL=definition.d.ts.map

package/dist/definition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEpD,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACzF;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,SAAS,GACjB,UAAU,GACV;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAA;CAAE,CAAC;AAEnF,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC;AAEzF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;CAC1D,CAAC;AA4FF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,UAAU,GAAG,OAAO,CA6BrF"}
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../src/definition.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGhD,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;AAEjG,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEtF,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAc5E,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EAQzC,CAAC;AAEF,eAAO,MAAM,aAAa,QAAQ,CAAC;AAEnC,eAAO,MAAM,UAAU,eAAe,CAAC;AAoBvC,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEjD;AAMD,wBAAgB,SAAS,CACvB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,SAAS,CAiC/D;AAkUD,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,UAAU,CAE7F;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAKlF;AAmGD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,OAAO,CAiChE"}