@agentshouse/mdmodel 0.1.0-cd90851746292 → 0.1.0-cdbd463e01dc2

package/dist/event.js

@@ -0,0 +1,230 @@
+import { ARRAY_INDEX, escapePointer, fieldFacts, itemFacts, memberFacts, pointerFacts, pointerSegments, } from './definition.js';
+import { dated, instant, kindOf } from './kinds.js';
+import { roomPath, target } from './paths.js';
+import { plain } from './yaml.js';
+export const TEXT_FIELD = '/text';
+export const WRITE_DOORS = ['browser', 'agent', 'client', 'function'];
+const PROSE = { kind: 'prose' };
+const NULL = { kind: 'null' };
+const UNREADABLE = { kind: 'unreadable' };
+function factKind(facts) {
+    const kind = kindOf(facts);
+    if (kind === 'integer')
+        return 'number';
+    if (kind === 'date-time')
+        return 'time';
+    if (kind === 'time')
+        return 'string';
+    return kind;
+}
+function scalar(value) {
+    return (typeof value === 'string' ||
+        typeof value === 'boolean' ||
+        (typeof value === 'number' && Number.isFinite(value)));
+}
+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 factOf(value, declared, place) {
+    if (value === null)
+        return NULL;
+    if (Array.isArray(value)) {
+        if (declared?.type !== undefined && declared.type !== 'array')
+            return UNREADABLE;
+        return {
+            kind: 'list',
+            items: value.map((item, index) => factOf(item, declared === undefined ? undefined : itemFacts(declared, index), place)),
+        };
+    }
+    if (plain(value)) {
+        if (declared?.type !== undefined && declared.type !== 'object')
+            return UNREADABLE;
+        const fields = Object.create(null);
+        for (const [key, held] of Object.entries(value))
+            fields[key] = factOf(held, declared === undefined ? undefined : memberFacts(declared, key), place);
+        return { kind: 'object', fields };
+    }
+    if (declared?.type === 'array' || declared?.type === 'object')
+        return UNREADABLE;
+    const kind = declared === undefined || declared.prose ? null : factKind(declared);
+    if (kind === null)
+        return PROSE;
+    if (!fits(kind, declared, value))
+        return UNREADABLE;
+    if (kind !== 'reference')
+        return { kind, value };
+    const reached = target(place.path, value) ?? roomPath(value);
+    const resolved = reached === null ? undefined : place.resolve(reached);
+    if (resolved === undefined)
+        return UNREADABLE;
+    return resolved.member === undefined
+        ? { kind, value: resolved.id }
+        : { kind, value: resolved.id, member: resolved.member };
+}
+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 = Object.create(null);
+    const place = { path: at.path, resolve };
+    for (const [name, value] of Object.entries(document.fields)) {
+        const declared = definition === null ? undefined : fieldFacts(definition, name);
+        if (declared !== undefined)
+            fields[name] = factOf(value, declared, place);
+    }
+    return {
+        id: at.id,
+        path: `/${at.path}`,
+        type,
+        fields,
+        sections: Object.keys(document.sections).sort(),
+    };
+}
+function rootOf(facts, prefix) {
+    return { pointer: prefix, fact: { kind: 'object', fields: facts.fields } };
+}
+export function prosePaths(facts) {
+    const paths = facts.sections.map((heading) => `/sections/${heading}`);
+    const visit = ({ pointer, fact }) => {
+        if (fact.kind === 'prose')
+            paths.push(pointer);
+        if (fact.kind === 'list')
+            fact.items.forEach((item, index) => visit({ pointer: `${pointer}/${index}`, fact: item }));
+        if (fact.kind === 'object')
+            for (const [key, held] of Object.entries(fact.fields))
+                visit({ pointer: `${pointer}/${escapePointer(key)}`, fact: held });
+    };
+    visit(rootOf(facts, '/fields'));
+    return paths.sort();
+}
+function walked(start, pointer) {
+    let reached = [start];
+    for (const token of pointerSegments(pointer)) {
+        const step = ({ pointer: at, fact }) => {
+            if (fact.kind === 'object')
+                return Object.hasOwn(fact.fields, token)
+                    ? [{ pointer: `${at}/${escapePointer(token)}`, fact: fact.fields[token] }]
+                    : [];
+            if (fact.kind !== 'list')
+                return [];
+            if (ARRAY_INDEX.test(token)) {
+                const item = fact.items[Number(token)];
+                return item === undefined ? [] : [{ pointer: `${at}/${token}`, fact: item }];
+            }
+            return fact.items
+                .map((item, index) => ({ pointer: `${at}/${index}`, fact: item }))
+                .flatMap(step);
+        };
+        reached = reached.flatMap(step);
+    }
+    return reached;
+}
+function expand(fact) {
+    return fact.kind === 'list' ? fact.items.flatMap(expand) : [fact];
+}
+export function members(document, path) {
+    if (!path.startsWith('/members/'))
+        return [];
+    return [
+        ...new Set(walked(rootOf(document, '/members'), path.slice('/members'.length))
+            .flatMap(({ fact }) => expand(fact))
+            .flatMap((fact) => fact.kind === 'reference' && fact.member !== undefined ? [fact.member] : [])),
+    ].sort();
+}
+export function pointed(value, pointer) {
+    let reached = value;
+    for (const token of pointerSegments(pointer)) {
+        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;
+}
+export function valuedChange(definition, pointer) {
+    const reached = pointerFacts(definition, pointer);
+    return (reached !== undefined &&
+        !reached.through &&
+        reached.facts.type !== 'array' &&
+        !reached.facts.prose &&
+        kindOf(reached.facts) !== null);
+}
+export function datePointers(definition) {
+    return Object.entries(definition.fields)
+        .filter(([, held]) => kindOf(held) === 'date')
+        .map(([name]) => `/${escapePointer(name)}`)
+        .sort();
+}
+export function memberPointers(definition, memberType) {
+    return Object.entries(definition.fields)
+        .filter(([, held]) => (held.type === 'array' ? held.items : held)?.reference?.includes(memberType) === true)
+        .map(([name]) => `/members/${escapePointer(name)}`);
+}
+function plainOf(fact) {
+    if (fact.kind === 'list')
+        return fact.items.map(plainOf);
+    if (fact.kind === 'object')
+        return Object.fromEntries(Object.entries(fact.fields).flatMap(([key, held]) => {
+            const value = plainOf(held);
+            return value === undefined ? [] : [[key, value]];
+        }));
+    if (fact.kind === 'prose')
+        return true;
+    if (fact.kind === 'null')
+        return null;
+    if (fact.kind === 'unreadable')
+        return undefined;
+    return fact.value;
+}
+function shapeOf(fact) {
+    if (fact.kind === 'list')
+        return { type: 'array', prose: false, prefix: fact.items.map(shapeOf) };
+    if (fact.kind === 'object')
+        return {
+            type: 'object',
+            prose: false,
+            properties: Object.fromEntries(Object.entries(fact.fields).map(([key, held]) => [key, shapeOf(held)])),
+        };
+    if (fact.kind === 'time')
+        return { type: 'string', format: 'date-time', prose: false };
+    return { prose: false };
+}
+export function candidateOf(document) {
+    const fields = {};
+    const properties = {};
+    for (const [name, fact] of Object.entries(document.fields)) {
+        const value = plainOf(fact);
+        if (value === undefined)
+            continue;
+        fields[name] = value;
+        properties[name] = shapeOf(fact);
+    }
+    return {
+        path: document.path.slice(1),
+        type: document.type,
+        fileId: document.id,
+        fields,
+        definition: { frontmatter: { type: 'object', prose: false, properties } },
+        text: null,
+    };
+}

package/dist/facts.d.ts

@@ -0,0 +1,15 @@
+import type { Document, VerifiedModel } from './types.js';
+export type SavedFacts = {
+    readonly type: string;
+    readonly fields: Readonly<Record<string, unknown>>;
+    readonly links: readonly string[];
+};
+export type ReferenceTarget = {
+    readonly location: string;
+    readonly to: readonly string[];
+    readonly target: string;
+};
+export declare function referenceTarget(file: string, value: string): string | null;
+export declare function referenceTargets(document: Document, file: string, model: VerifiedModel): readonly ReferenceTarget[];
+export declare function documentFacts(file: string, content: string, model: VerifiedModel): SavedFacts | null;
+//# sourceMappingURL=facts.d.ts.map

package/dist/facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"facts.d.ts","sourceRoot":"","sources":["../src/facts.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE1D,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAIF,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAK1E;AAED,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,aAAa,GACnB,SAAS,eAAe,EAAE,CAO5B;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,aAAa,GACnB,UAAU,GAAG,IAAI,CAgBnB"}

package/dist/facts.js

@@ -0,0 +1,39 @@
+import { BUILT_IN_TYPE } from './definition.js';
+import { links, parse } from './document.js';
+import { references } from './references.js';
+const SETTINGS_AREA = 'settings/';
+export function referenceTarget(file, value) {
+    if (value.trim() === '' || /[<>\n\r]/.test(value))
+        return null;
+    const parsed = parse(`[](<${value}>)\n`, file);
+    if (!parsed.ok)
+        return null;
+    return links(parsed.document, file)[0]?.target ?? null;
+}
+export function referenceTargets(document, file, model) {
+    const type = document.type;
+    if (type === undefined || !Object.hasOwn(model.types, type))
+        return [];
+    return references(document, model.types[type]).flatMap(({ pointer, value, to }) => {
+        const target = referenceTarget(file, value);
+        return target === null ? [] : [{ location: pointer, to, target }];
+    });
+}
+export function documentFacts(file, content, model) {
+    const parsed = parse(content, file);
+    if (!parsed.ok)
+        return null;
+    const { document } = parsed;
+    return {
+        type: document.type ?? BUILT_IN_TYPE,
+        fields: document.fields,
+        links: file.startsWith(SETTINGS_AREA)
+            ? []
+            : [
+                ...new Set([
+                    ...links(document, file).map((link) => link.target),
+                    ...referenceTargets(document, file, model).map(({ target }) => target),
+                ]),
+            ].sort(),
+    };
+}

package/dist/index.d.ts

@@ -1,21 +1,33 @@
-export { ACTOR_PATHS, actorOperators, changeFields, CONDITION_OPERATORS, dated, datePointers, DOCUMENT_PATHS, factKind, facts, fires, holds, instant, ITEM_PATHS, itemFires, itemKind, itemOperators, memberPointers, members, MESSAGE_PATHS, messageFires, messageOperators, notificationFires, pointed, prosePaths, testOperators, TEXT_FIELD, valuedChange, WRITE_DOORS, } from './condition.js';
-export type { Actor, Condition, ConditionOperator, ConditionScope, ConditionTest, ConditionValue, CronCondition, DateCondition, DocumentCondition, DocumentEvent, DocumentFacts, Fact, FactKind, ItemCondition, ItemFacts, MessageCondition, MessageFacts, NotificationCondition, Resolved, WriteDoor, } from './condition.js';
+export { candidateOf, datePointers, facts, memberPointers, members, pointed, prosePaths, TEXT_FIELD, valuedChange, WRITE_DOORS, } from './event.js';
+export type { Actor, DocumentEvent, DocumentFacts, Fact, FactKind, ItemFacts, MessageFacts, Resolved, WriteDoor, } from './event.js';
+export { byCodePoint, compared, dated, fitsKind, instant, instantKey, KINDS, kindOf, kindWords, } from './kinds.js';
+export type { Kind, Ordering } from './kinds.js';
+export { bodied, cursorOf, decodedCursor, identityOf, invalid, known, placeText, planOf, QueryError, queryKey, } from './query/language.js';
+export type { Clause, Continuation, Direction, DocumentQuery, DocumentShape, Filter, GroupQuery, GroupShape, HeldRooms, Key, KeyPlan, LocalQuery, OrderOptions, Place, Predicate, QueryErrorCode, QueryPlan, Related, RoomFacts, Scope, Select, Test, Value, Where, } from './query/language.js';
+export { heldAt, matches } from './query/match.js';
+export type { Candidate } from './query/match.js';
+export { heldKind, indexed } from './query/rows.js';
+export type { HeldKind, HeldLink, HeldValue, Indexed, Reach } from './query/rows.js';
+export * as sql from './query/sql.js';
 export { headingLines } from './blocks.js';
 export type { HeadingLine } from './blocks.js';
 export { divide } from './divide.js';
 export { apply, bodyLinks, links, parse, parseFrontmatter, relativize, relativizeBody, relinkBody, serialize, } from './document.js';
+export { documentFacts, referenceTarget, referenceTargets } from './facts.js';
+export type { ReferenceTarget, SavedFacts } from './facts.js';
 export { HOUSE_FIELDS, MEMBER_FIELD, RECEIVED_FIELD, SITE_FIELD, TYPE_FIELD } from './fields.js';
 export { relative, retarget, roomPath, roomTarget, target } from './paths.js';
 export type { RoomTarget } from './paths.js';
 export { MARKDOWN_SYNTAX_PROFILE } from './profile.js';
 export { project } from './project.js';
 export { references } from './references.js';
+export { isDocumentPath, isReservedName, RESERVED_NAMES, ROOM_DESCRIPTION } from './reserved.js';
 export { ARRAY_INDEX, ATTACHMENT, crossedFacts, escapePointer, itemFacts, JSON_POINTER, memberFacts, pointerFacts, pointerSegments, } from './definition.js';
 export type { Definition, FieldRules, JsonType, PatternFacts, PointerFacts, RuleValue, SectionSpec, Shape, Transition, ValueFacts, } from './definition.js';
-export type { ApplyResult, BodyResult, Change, Division, DivisionContext, Document, DocumentCheck, Frontmatter, FrontmatterResult, Library, ModelVerification, Link, ParseResult, Projection, ProjectionContext, Reached, Reference, Refusal, RoomReference, Span, Validation, ValidationContext, ValidationStep, VerifiedModel, } from './types.js';
-export { assess, bodyRoomLinks, checkDocument, resolves, roomReferences, sectionReferences, validate, validating, verdicts, verify, } from './validate.js';
+export type { ApplyResult, BodyResult, Change, Division, DivisionContext, Document, DocumentCheck, Frontmatter, FrontmatterResult, Library, ModelVerification, Link, ParseResult, Projection, ProjectionContext, Reached, Reference, Refusal, RoomReference, Span, TypedPath, Validation, ValidationContext, ValidationStep, VerifiedModel, } from './types.js';
+export { assess, bodyRoomLinks, checkDocument, readTypes, resolves, roomReferences, validate, validating, verdicts, verify, } from './validate.js';
 export type { Assessment, Verdicts } from './validate.js';
 export { VERSION } from './version.js';
-export { bodyAfterFrontmatter, equalValue, frontmatterValue } from './yaml.js';
+export { bodyAfterFrontmatter, equalValue, frontmatterValue, plain } from './yaml.js';
 export type { FrontmatterValue } from './yaml.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,EACL,WAAW,EACX,cAAc,EACd,YAAY,EACZ,mBAAmB,EACnB,KAAK,EACL,YAAY,EACZ,cAAc,EACd,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,OAAO,EACP,UAAU,EACV,SAAS,EACT,QAAQ,EACR,aAAa,EACb,cAAc,EACd,OAAO,EACP,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,OAAO,EACP,UAAU,EACV,aAAa,EACb,UAAU,EACV,YAAY,EACZ,WAAW,GACZ,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,KAAK,EACL,SAAS,EACT,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,IAAI,EACJ,QAAQ,EACR,aAAa,EACb,SAAS,EACT,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,QAAQ,EACR,SAAS,GACV,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EACL,KAAK,EACL,SAAS,EACT,KAAK,EACL,KAAK,EACL,gBAAgB,EAChB,UAAU,EACV,cAAc,EACd,UAAU,EACV,SAAS,GACV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACjG,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC9E,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EACL,WAAW,EACX,UAAU,EACV,YAAY,EACZ,aAAa,EACb,SAAS,EACT,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,eAAe,GAChB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,UAAU,EACV,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,SAAS,EACT,WAAW,EACX,KAAK,EACL,UAAU,EACV,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,WAAW,EACX,UAAU,EACV,MAAM,EACN,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,aAAa,EACb,WAAW,EACX,iBAAiB,EACjB,OAAO,EACP,iBAAiB,EACjB,IAAI,EACJ,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,OAAO,EACP,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,MAAM,EACN,aAAa,EACb,aAAa,EACb,QAAQ,EACR,cAAc,EACd,iBAAiB,EACjB,QAAQ,EACR,UAAU,EACV,QAAQ,EACR,MAAM,GACP,MAAM,eAAe,CAAC;AACvB,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC/E,YAAY,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,YAAY,EACZ,KAAK,EACL,cAAc,EACd,OAAO,EACP,OAAO,EACP,UAAU,EACV,UAAU,EACV,YAAY,EACZ,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,KAAK,EACL,aAAa,EACb,aAAa,EACb,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,QAAQ,EACR,SAAS,GACV,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,WAAW,EACX,QAAQ,EACR,KAAK,EACL,QAAQ,EACR,OAAO,EACP,UAAU,EACV,KAAK,EACL,MAAM,EACN,SAAS,GACV,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EACL,MAAM,EACN,QAAQ,EACR,aAAa,EACb,UAAU,EACV,OAAO,EACP,KAAK,EACL,SAAS,EACT,MAAM,EACN,UAAU,EACV,QAAQ,GACT,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,MAAM,EACN,YAAY,EACZ,SAAS,EACT,aAAa,EACb,aAAa,EACb,MAAM,EACN,UAAU,EACV,UAAU,EACV,SAAS,EACT,GAAG,EACH,OAAO,EACP,UAAU,EACV,YAAY,EACZ,KAAK,EACL,SAAS,EACT,cAAc,EACd,SAAS,EACT,OAAO,EACP,SAAS,EACT,KAAK,EACL,MAAM,EACN,IAAI,EACJ,KAAK,EACL,KAAK,GACN,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AACnD,YAAY,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AACpD,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EACL,KAAK,EACL,SAAS,EACT,KAAK,EACL,KAAK,EACL,gBAAgB,EAChB,UAAU,EACV,cAAc,EACd,UAAU,EACV,SAAS,GACV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9E,YAAY,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACjG,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC9E,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjG,OAAO,EACL,WAAW,EACX,UAAU,EACV,YAAY,EACZ,aAAa,EACb,SAAS,EACT,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,eAAe,GAChB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,UAAU,EACV,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,SAAS,EACT,WAAW,EACX,KAAK,EACL,UAAU,EACV,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,WAAW,EACX,UAAU,EACV,MAAM,EACN,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,aAAa,EACb,WAAW,EACX,iBAAiB,EACjB,OAAO,EACP,iBAAiB,EACjB,IAAI,EACJ,WAAW,EACX,UAAU,EACV,iBAAiB,EACjB,OAAO,EACP,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,SAAS,EACT,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,MAAM,EACN,aAAa,EACb,aAAa,EACb,SAAS,EACT,QAAQ,EACR,cAAc,EACd,QAAQ,EACR,UAAU,EACV,QAAQ,EACR,MAAM,GACP,MAAM,eAAe,CAAC;AACvB,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACtF,YAAY,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC"}

package/dist/index.js

@@ -1,13 +1,20 @@
-export { ACTOR_PATHS, actorOperators, changeFields, CONDITION_OPERATORS, dated, datePointers, DOCUMENT_PATHS, factKind, facts, fires, holds, instant, ITEM_PATHS, itemFires, itemKind, itemOperators, memberPointers, members, MESSAGE_PATHS, messageFires, messageOperators, notificationFires, pointed, prosePaths, testOperators, TEXT_FIELD, valuedChange, WRITE_DOORS, } from './condition.js';
+export { candidateOf, datePointers, facts, memberPointers, members, pointed, prosePaths, TEXT_FIELD, valuedChange, WRITE_DOORS, } from './event.js';
+export { byCodePoint, compared, dated, fitsKind, instant, instantKey, KINDS, kindOf, kindWords, } from './kinds.js';
+export { bodied, cursorOf, decodedCursor, identityOf, invalid, known, placeText, planOf, QueryError, queryKey, } from './query/language.js';
+export { heldAt, matches } from './query/match.js';
+export { heldKind, indexed } from './query/rows.js';
+export * as sql from './query/sql.js';
 export { headingLines } from './blocks.js';
 export { divide } from './divide.js';
 export { apply, bodyLinks, links, parse, parseFrontmatter, relativize, relativizeBody, relinkBody, serialize, } from './document.js';
+export { documentFacts, referenceTarget, referenceTargets } from './facts.js';
 export { HOUSE_FIELDS, MEMBER_FIELD, RECEIVED_FIELD, SITE_FIELD, TYPE_FIELD } from './fields.js';
 export { relative, retarget, roomPath, roomTarget, target } from './paths.js';
 export { MARKDOWN_SYNTAX_PROFILE } from './profile.js';
 export { project } from './project.js';
 export { references } from './references.js';
+export { isDocumentPath, isReservedName, RESERVED_NAMES, ROOM_DESCRIPTION } from './reserved.js';
 export { ARRAY_INDEX, ATTACHMENT, crossedFacts, escapePointer, itemFacts, JSON_POINTER, memberFacts, pointerFacts, pointerSegments, } from './definition.js';
-export { assess, bodyRoomLinks, checkDocument, resolves, roomReferences, sectionReferences, validate, validating, verdicts, verify, } from './validate.js';
+export { assess, bodyRoomLinks, checkDocument, readTypes, resolves, roomReferences, validate, validating, verdicts, verify, } from './validate.js';
 export { VERSION } from './version.js';
-export { bodyAfterFrontmatter, equalValue, frontmatterValue } from './yaml.js';
+export { bodyAfterFrontmatter, equalValue, frontmatterValue, plain } from './yaml.js';

package/dist/kinds.d.ts

@@ -0,0 +1,19 @@
+import type { ValueFacts } from './definition.js';
+export declare const KINDS: readonly ['string', 'number', 'integer', 'boolean', 'date', 'date-time', 'time', 'enum', 'reference'];
+export type Kind = (typeof KINDS)[number];
+export type Ordering = {
+    readonly direction: 'asc' | 'desc';
+    readonly nulls: 'first' | 'last';
+    readonly stringSort: 'lexical' | 'locale';
+    readonly locale: string | undefined;
+    readonly localeOptions: Intl.CollatorOptions | undefined;
+};
+export declare function kindOf(facts: ValueFacts): Kind | null;
+export declare function fitsKind(kind: Kind, facts: ValueFacts, value: unknown): boolean;
+export declare function kindWords(facts: ValueFacts | undefined): readonly string[];
+export declare function dated(value: unknown): value is string;
+export declare function instant(value: unknown): bigint | undefined;
+export declare function instantKey(value: unknown): string | null;
+export declare function byCodePoint(left: string, right: string): number;
+export declare function compared(left: unknown, right: unknown, ordering: Ordering): number;
+//# sourceMappingURL=kinds.d.ts.map

package/dist/kinds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kinds.d.ts","sourceRoot":"","sources":["../src/kinds.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAGlD,eAAO,MAAM,KAAK,YAChB,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,SAAS,EACT,MAAM,EACN,WAAW,EACX,MAAM,EACN,MAAM,EACN,WAAW,CACH,CAAC;AAEX,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1C,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;CAC1D,CAAC;AASF,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,GAAG,IAAI,CAWrD;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAW/E;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,SAAS,MAAM,EAAE,CAe1E;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAErD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAqB1D;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAGxD;AAaD,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAO/D;AA4BD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAMlF"}

package/dist/kinds.js

@@ -0,0 +1,161 @@
+import { format } from '@cfworker/json-schema';
+import { normalize } from './paths.js';
+export const KINDS = [
+    'string',
+    'number',
+    'integer',
+    'boolean',
+    'date',
+    'date-time',
+    'time',
+    'enum',
+    'reference',
+];
+const DATE_TIME = /^(\d{4})-(\d{2})-(\d{2})[Tt\s](\d{2}):(\d{2}):(\d{2})(?:\.(\d+))?(?:[Zz]|([+-])(\d{2})(?::?(\d{2}))?)$/u;
+const BEFORE_YEAR_ZERO = 62200000000000000000n;
+const INSTANT_DIGITS = 21;
+export function kindOf(facts) {
+    if (facts.reference !== undefined)
+        return 'reference';
+    if (facts.values !== undefined)
+        return 'enum';
+    if (facts.type === 'number')
+        return 'number';
+    if (facts.type === 'integer')
+        return 'integer';
+    if (facts.type === 'boolean')
+        return 'boolean';
+    if (facts.type !== 'string')
+        return null;
+    if (facts.format === 'date')
+        return 'date';
+    if (facts.format === 'date-time')
+        return 'date-time';
+    if (facts.format === 'time')
+        return 'time';
+    return 'string';
+}
+export function fitsKind(kind, facts, value) {
+    if (kind === 'enum')
+        return (facts.values ?? []).includes(value);
+    if (kind === 'number')
+        return typeof value === 'number' && Number.isFinite(value);
+    if (kind === 'integer')
+        return Number.isSafeInteger(value);
+    if (kind === 'boolean')
+        return typeof value === 'boolean';
+    if (typeof value !== 'string')
+        return false;
+    if (kind === 'reference')
+        return value !== '' && normalize(value) === value;
+    if (kind === 'date')
+        return dated(value);
+    if (kind === 'date-time')
+        return instant(value) !== undefined;
+    if (kind === 'time')
+        return format.time(value);
+    return true;
+}
+export function kindWords(facts) {
+    const kind = facts === undefined ? null : kindOf(facts);
+    if (kind === 'enum')
+        return (facts.values ?? []).map((value) => typeof value === 'string' ? value : JSON.stringify(value));
+    if (kind === 'number')
+        return ['a number'];
+    if (kind === 'integer')
+        return ['an integer'];
+    if (kind === 'boolean')
+        return ['true', 'false'];
+    if (kind === 'date')
+        return ['a date as YYYY-MM-DD'];
+    if (kind === 'date-time')
+        return ['a date-time with its offset, such as 2026-10-10T09:30:00Z'];
+    if (kind === 'time')
+        return ['a time as HH:MM:SS'];
+    if (kind === 'reference')
+        return [`the Room Path of a ${facts.reference.join(' or ')} document, such as notes/a.md`];
+    return kind === 'string' ? ['a string'] : [];
+}
+export function dated(value) {
+    return typeof value === 'string' && format.date(value);
+}
+export function instant(value) {
+    if (typeof value !== 'string' || !format['date-time'](value))
+        return undefined;
+    const parts = DATE_TIME.exec(value);
+    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);
+    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 instantKey(value) {
+    const at = instant(value);
+    return at === undefined ? null : (at + BEFORE_YEAR_ZERO).toString().padStart(INSTANT_DIGITS, '0');
+}
+function rank(value) {
+    if (typeof value === 'boolean' || typeof value === 'number')
+        return 1;
+    if (typeof value === 'string')
+        return 2;
+    return Array.isArray(value) ? 3 : 4;
+}
+function unit(code) {
+    if (code >= 0xd800 && code < 0xe000)
+        return code + 0x2000;
+    return code >= 0xe000 ? code - 0x800 : code;
+}
+export function byCodePoint(left, right) {
+    for (let at = 0; at < Math.min(left.length, right.length); at += 1) {
+        const ours = left.charCodeAt(at);
+        const theirs = right.charCodeAt(at);
+        if (ours !== theirs)
+            return unit(ours) - unit(theirs);
+    }
+    return left.length - right.length;
+}
+function ascending(left, right, ordering) {
+    if (left == null && right == null)
+        return 0;
+    if (left == null)
+        return ordering.nulls === 'first' ? -1 : 1;
+    if (right == null)
+        return ordering.nulls === 'first' ? 1 : -1;
+    const ranked = rank(left) - rank(right);
+    if (ranked !== 0)
+        return ranked;
+    if (typeof left === 'string' && typeof right === 'string') {
+        return ordering.stringSort === 'locale'
+            ? left.localeCompare(right, ordering.locale, ordering.localeOptions)
+            : byCodePoint(left, right);
+    }
+    if (Array.isArray(left) && Array.isArray(right)) {
+        for (let at = 0; at < Math.min(left.length, right.length); at += 1) {
+            const result = ascending(left[at], right[at], ordering);
+            if (result !== 0)
+                return result;
+        }
+        return left.length - right.length;
+    }
+    if (typeof left === 'object')
+        return 0;
+    const held = left;
+    const other = right;
+    if (held < other)
+        return -1;
+    if (held > other)
+        return 1;
+    return 0;
+}
+export function compared(left, right, ordering) {
+    if (ordering.direction === 'asc')
+        return ascending(left, right, ordering);
+    return ascending(right, left, {
+        ...ordering,
+        nulls: ordering.nulls === 'first' ? 'last' : 'first',
+    });
+}