@agentshouse/mdmodel 0.1.0-c83456e1cebfb → 0.1.0-cf72583e19192

package/README.md

@@ -46,6 +46,7 @@ if (parsed.ok) {
 | `apply`                                        | Apply one field, section, preamble, or link change                |
 | `links`, `target`, `retarget`                  | Inventory and rewrite link destinations                           |
 | `project`, `divide`                            | Embedding projection input and its division into Spans            |
+| `facts`, `holds`, `fires`                      | A condition over a Document and over one of its changes           |
 | `MARKDOWN_SYNTAX_PROFILE`, `VERSION`           | The pinned Markdown profile (GFM 0.29) and MD model version       |
 | `MEMBER_FIELD`, `SITE_FIELD`, `RECEIVED_FIELD` | The field names validation counts as declared beyond a type's own |
 

package/dist/condition.d.ts

@@ -0,0 +1,93 @@
+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 DocumentsCondition = {
+    readonly on: 'documents';
+    readonly scope: ConditionScope;
+    readonly by?: ConditionTest;
+};
+export type Condition = (DocumentsCondition & {
+    readonly mode: 'starts_matching';
+    readonly new_documents: boolean;
+    readonly match: ConditionTest;
+}) | (DocumentsCondition & {
+    readonly mode: 'field_changes';
+    readonly field: string;
+    readonly from?: readonly ConditionValue[] | 'new';
+    readonly to?: readonly ConditionValue[] | 'deleted';
+    readonly match?: ConditionTest;
+});
+export type Fact = {
+    readonly kind: 'string' | 'number' | 'date' | 'enum' | 'reference';
+    readonly value: string | number | readonly (string | number)[];
+};
+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 Resolved = {
+    readonly id: string;
+    readonly member?: string;
+};
+type Truth = boolean | undefined;
+export declare function facts(document: Document, at: {
+    readonly id: string;
+    readonly path: string;
+}, model: VerifiedModel, resolve: (target: string) => Resolved | undefined): DocumentFacts;
+export declare function holds(test: ConditionTest, document: DocumentFacts, owner: string): Truth;
+export declare function fires(condition: Condition, event: DocumentEvent, 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":"AAGA,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,kBAAkB,GAAG;IACxB,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,SAAS,GACjB,CAAC,kBAAkB,GAAG;IACpB,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,kBAAkB,GAAG;IACpB,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,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC;IACnE,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;CAChE,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,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;AAoCjC,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;AAwGD,wBAAgB,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK,CAExF;AA4DD,wBAAgB,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAexF"}

package/dist/condition.js

@@ -0,0 +1,240 @@
+import { target } from './paths.js';
+import { fitsValue } from './schema.js';
+import { declaredFields } from './validate.js';
+export const WRITE_DOORS = ['browser', 'agent', 'client'];
+const DATE = /^\d{4}-\d{2}-\d{2}$/u;
+function record(value) {
+    return value !== null && typeof value === 'object' && !Array.isArray(value);
+}
+function referenced(model, spec) {
+    const to = spec.kind === 'reference'
+        ? spec.to
+        : spec.kind === 'list' && spec.of.kind === 'reference'
+            ? spec.of.to
+            : null;
+    return to !== null && Object.hasOwn(model.types, to) && model.types[to].memberDocument;
+}
+function fitted(spec, value, path, resolve) {
+    if (!fitsValue(spec, value))
+        return undefined;
+    if (spec.kind !== 'reference')
+        return { value: 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, spec] of Object.entries(definition === null ? {} : declaredFields(definition))) {
+        const value = document.fields[name];
+        if (value === undefined || value === null)
+            continue;
+        const scalar = spec.kind === 'list' ? spec.of : spec;
+        const items = spec.kind === 'list' ? value : [value];
+        const held = Array.isArray(items)
+            ? items.map((item) => fitted(scalar, item, at.path, resolve))
+            : [undefined];
+        if (held.some((item) => item === undefined)) {
+            unreadable.push(`/fields/${name}`);
+            if (referenced(model, spec))
+                unreadable.push(`/members/${name}`);
+            continue;
+        }
+        if (scalar.kind === 'text') {
+            prose.push(`/fields/${name}`);
+            continue;
+        }
+        const values = held.map((item) => ('id' in item ? item.id : item.value));
+        fields[name] = { kind: scalar.kind, value: spec.kind === 'list' ? values : values[0] };
+        if (!referenced(model, spec))
+            continue;
+        const bound = held.flatMap((item) => 'member' in item && item.member !== undefined ? [item.member] : []);
+        if (spec.kind === '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 wanted(value, owner) {
+    return record(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;
+    return expected === held.value;
+}
+function ordered(held, value, compare) {
+    if (held.kind !== 'number' && held.kind !== 'date')
+        return undefined;
+    if (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 (typeof value !== 'string' || !DATE.test(value) || typeof held.value !== 'string')
+        return undefined;
+    return compare(held.value < value ? -1 : held.value > value ? 1 : 0);
+}
+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;
+        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);
+}

package/dist/index.d.ts

@@ -1,3 +1,5 @@
+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';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,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"}
+{"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,3 +1,4 @@
+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';

package/dist/schema.d.ts

@@ -3,5 +3,6 @@ export declare function validateFields(fields: Readonly<Record<string, FieldSpec
     field: string;
     rule: 'required-field' | 'field-enum' | 'field-kind';
 } | undefined;
+export declare function fitsValue(spec: ScalarSpec, value: unknown): boolean;
 export declare function fitsKind(spec: ScalarSpec, text: string): boolean;
 //# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAoB7D,wBAAgB,cAAc,CAC5B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAC3C,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,gBAAgB,GAAG,YAAY,GAAG,YAAY,CAAA;CAAE,GAAG,SAAS,CAUrF;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAGhE"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAoB7D,wBAAgB,cAAc,CAC5B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAC3C,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,gBAAgB,GAAG,YAAY,GAAG,YAAY,CAAA;CAAE,GAAG,SAAS,CAUrF;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAEnE;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAEhE"}

package/dist/schema.js

@@ -31,7 +31,9 @@ export function validateFields(fields, values) {
     }
     return undefined;
 }
-export function fitsKind(spec, text) {
-    const value = spec.kind === 'number' ? interpretPlain(text) : text;
+export function fitsValue(spec, value) {
     return new Validator(scalarSchema(spec), '2020-12', false).validate(value).valid;
 }
+export function fitsKind(spec, text) {
+    return fitsValue(spec, spec.kind === 'number' ? interpretPlain(text) : text);
+}

package/dist/validate.d.ts

@@ -1,4 +1,6 @@
+import { type Definition, type FieldSpec } from './definition.js';
 import type { Library, ModelVerification, Validation, ValidationContext, VerifiedModel } from './types.js';
 export declare function verify(schema: string): ModelVerification;
+export declare function declaredFields(definition: Definition): Readonly<Record<string, FieldSpec>>;
 export declare function validate(library: Library, context?: ValidationContext, model?: VerifiedModel): Validation;
 //# sourceMappingURL=validate.d.ts.map

package/dist/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAGV,OAAO,EACP,iBAAiB,EAEjB,UAAU,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AAsEpB,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAQxD;AAQD,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,UAAU,CAuHZ"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAQ9E,OAAO,KAAK,EAGV,OAAO,EACP,iBAAiB,EAEjB,UAAU,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AAsEpB,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAQxD;AAED,wBAAgB,cAAc,CAAC,UAAU,EAAE,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAI1F;AAED,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,iBAAyC,EAClD,KAAK,GAAE,aAA6B,GACnC,UAAU,CAuHZ"}

package/dist/validate.js

@@ -65,7 +65,7 @@ export function verify(schema) {
         ...(read.location === undefined ? {} : { location: read.location }),
     };
 }
-function declaredFields(definition) {
+export function declaredFields(definition) {
     if (!definition.memberDocument || Object.hasOwn(definition.fields, MEMBER_FIELD))
         return definition.fields;
     return { ...definition.fields, [MEMBER_FIELD]: MEMBER_SPEC };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agentshouse/mdmodel",
-  "version": "0.1.0-c83456e1cebfb",
+  "version": "0.1.0-cf72583e19192",
   "description": "MD Type language, parser, validator, structured change application, Markdown syntax profile, and conformance fixtures",
   "license": "MIT",
   "type": "module",