@cruba/crubal 0.1.0 → 0.2.0

package/dist/src/schedule.js

@@ -0,0 +1,126 @@
+// schedule.ts: scheduled triggers (spec 7.11). A schedule is a contract's `when`: `every day at 03:00`,
+// `every hour`, `every 15 minutes`, `every monday at 09:00`, `every month on 1 at 00:00`, with an optional
+// zone on the time of day. Ticks are computed from the schedule and the caller's `now`, never remembered by
+// a clock, so every store agrees on them.
+import { CrubalError } from "./tree.js";
+const WEEKDAYS = ["sunday", "monday", "tuesday", "wednesday", "thursday", "friday", "saturday"];
+export function isSchedule(when) {
+    return !!when && /^every /.test(when.trim());
+}
+/** Read a schedule, or refuse it in plain words. */
+export function readSchedule(text, line) {
+    let s = text.trim();
+    let zone;
+    const z = s.match(/\s*\[zone: ([^\]]+)\]$/);
+    if (z) {
+        zone = z[1].trim();
+        s = s.slice(0, z.index).trim();
+    }
+    const base = { text: text.trim(), ...(zone ? { zone } : {}) };
+    let m = s.match(/^every (\d+) (minutes?|hours?)$/);
+    if (m) {
+        const every = Number(m[1]);
+        if (every < 1)
+            throw new CrubalError(`a schedule repeats at least every 1: ${text}`, line);
+        return { ...base, unit: m[2].startsWith("minute") ? "minutes" : "hours", every, minute: 0 };
+    }
+    m = s.match(/^every (minute|hour)$/);
+    if (m)
+        return { ...base, unit: m[1] === "minute" ? "minutes" : "hours", every: 1, minute: 0 };
+    const time = (t) => {
+        const tm = (t ?? "00:00").match(/^(\d{2}):(\d{2})$/);
+        if (!tm || Number(tm[1]) > 23 || Number(tm[2]) > 59)
+            throw new CrubalError(`a time of day is hh:mm: ${text}`, line);
+        return Number(tm[1]) * 60 + Number(tm[2]);
+    };
+    m = s.match(/^every day(?: at (\S+))?$/);
+    if (m)
+        return { ...base, unit: "day", every: 1, minute: time(m[1]) };
+    m = s.match(/^every (sunday|monday|tuesday|wednesday|thursday|friday|saturday)(?: at (\S+))?$/);
+    if (m)
+        return { ...base, unit: "week", every: 1, minute: time(m[2]), weekday: WEEKDAYS.indexOf(m[1]) };
+    m = s.match(/^every month on (\d{1,2})(?: at (\S+))?$/);
+    if (m) {
+        const d = Number(m[1]);
+        if (d < 1 || d > 28)
+            throw new CrubalError(`a monthly schedule names a day from 1 to 28, so every month has it: ${text}`, line);
+        return { ...base, unit: "month", every: 1, minute: time(m[2]), monthday: d };
+    }
+    throw new CrubalError(`can't read the schedule "${text}": every N minutes|hours, every day at hh:mm, every <weekday> at hh:mm, every month on D at hh:mm`, line);
+}
+const MIN = 60_000;
+/** The wall-clock parts of an instant in a zone. */
+function partsIn(ms, zone) {
+    const dt = new Date(ms);
+    if (!zone)
+        return { y: dt.getUTCFullYear(), mo: dt.getUTCMonth() + 1, d: dt.getUTCDate(), h: dt.getUTCHours(), mi: dt.getUTCMinutes(), wd: dt.getUTCDay() };
+    const f = new Intl.DateTimeFormat("en-US", { timeZone: zone, hourCycle: "h23", year: "numeric", month: "numeric", day: "numeric", hour: "numeric", minute: "numeric", weekday: "short" });
+    const p = {};
+    for (const x of f.formatToParts(dt))
+        p[x.type] = x.value;
+    return { y: Number(p.year), mo: Number(p.month), d: Number(p.day), h: Number(p.hour), mi: Number(p.minute), wd: ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"].indexOf(p.weekday ?? "Sun") };
+}
+/** The instant of a wall-clock date and minute in a zone (UTC when none). */
+function instantOf(y, mo, d, minute, zone) {
+    const guess = Date.UTC(y, mo - 1, d, Math.floor(minute / 60), minute % 60);
+    if (!zone)
+        return guess;
+    // Correct the UTC guess by the zone's offset at that moment (one more pass settles a DST edge).
+    let ms = guess;
+    for (let i = 0; i < 2; i++) {
+        const p = partsIn(ms, zone);
+        const local = Date.UTC(p.y, p.mo - 1, p.d, p.h, p.mi);
+        ms += guess - local;
+    }
+    return ms;
+}
+export function moment(ms) {
+    return new Date(ms).toISOString().replace(/:00\.000Z$/, "Z").replace(/\.000Z$/, "Z");
+}
+export function instant(s) {
+    const ms = Date.parse(s);
+    if (Number.isNaN(ms))
+        throw new CrubalError(`not a moment: ${s}`);
+    return ms;
+}
+/** The first tick strictly after `after` (a moment). */
+export function nextTick(sch, after) {
+    const a = instant(after);
+    if (sch.unit === "minutes" || sch.unit === "hours") {
+        const step = sch.every * (sch.unit === "minutes" ? MIN : 60 * MIN);
+        return moment((Math.floor(a / step) + 1) * step);
+    }
+    const p = partsIn(a, sch.zone);
+    for (let i = 0; i < 400; i++) {
+        const day = new Date(Date.UTC(p.y, p.mo - 1, p.d + i));
+        const y = day.getUTCFullYear();
+        const mo = day.getUTCMonth() + 1;
+        const d = day.getUTCDate();
+        const wd = day.getUTCDay();
+        if (sch.unit === "week" && wd !== sch.weekday)
+            continue;
+        if (sch.unit === "month" && d !== sch.monthday)
+            continue;
+        const t = instantOf(y, mo, d, sch.minute, sch.zone);
+        if (t > a)
+            return moment(t);
+    }
+    throw new CrubalError(`no tick of "${sch.text}" within 400 days of ${after}`);
+}
+/** Every tick after `after` and at or before `now`, in order. With no `after` the schedule hasn't begun: none. */
+export function ticksDue(sch, after, now) {
+    const out = [];
+    if (after === undefined)
+        return out;
+    let cur = after;
+    const end = instant(now);
+    for (let i = 0; i < 100_000; i++) {
+        const t = nextTick(sch, cur);
+        if (instant(t) > end)
+            break;
+        out.push(t);
+        cur = t;
+    }
+    return out;
+}
+//# sourceMappingURL=schedule.js.map

package/dist/src/schedule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schedule.js","sourceRoot":"","sources":["../../src/schedule.ts"],"names":[],"mappings":"AAAA,wGAAwG;AACxG,2GAA2G;AAC3G,4GAA4G;AAC5G,0CAA0C;AAE1C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAkBxC,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AAEhG,MAAM,UAAU,UAAU,CAAC,IAAwB;IACjD,OAAO,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AAC/C,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,IAAa;IACtD,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACpB,IAAI,IAAwB,CAAC;IAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC5C,IAAI,CAAC,EAAE,CAAC;QACN,IAAI,GAAI,CAAC,CAAC,CAAC,CAAY,CAAC,IAAI,EAAE,CAAC;QAC/B,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC9D,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACnD,IAAI,CAAC,EAAE,CAAC;QACN,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,wCAAwC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3F,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAG,CAAC,CAAC,CAAC,CAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC1G,CAAC;IACD,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACrC,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC9F,MAAM,IAAI,GAAG,CAAC,CAAqB,EAAU,EAAE;QAC7C,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACrD,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE;YAAE,MAAM,IAAI,WAAW,CAAC,2BAA2B,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;QACpH,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC;IACF,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;IACzC,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,kFAAkF,CAAC,CAAC;IAChG,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,EAAE,CAAC;IACjH,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC;IACxD,IAAI,CAAC,EAAE,CAAC;QACN,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE;YAAE,MAAM,IAAI,WAAW,CAAC,uEAAuE,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;QAChI,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC/E,CAAC;IACD,MAAM,IAAI,WAAW,CAAC,4BAA4B,IAAI,mGAAmG,EAAE,IAAI,CAAC,CAAC;AACnK,CAAC;AAED,MAAM,GAAG,GAAG,MAAM,CAAC;AAEnB,oDAAoD;AACpD,SAAS,OAAO,CAAC,EAAU,EAAE,IAAwB;IACnD,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IACxB,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,aAAa,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC;IAC5J,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1L,MAAM,CAAC,GAA4B,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;QAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IACzD,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;AAClM,CAAC;AAED,6EAA6E;AAC7E,SAAS,SAAS,CAAC,CAAS,EAAE,EAAU,EAAE,CAAS,EAAE,MAAc,EAAE,IAAwB;IAC3F,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,EAAE,MAAM,GAAG,EAAE,CAAC,CAAC;IAC3E,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,gGAAgG;IAChG,IAAI,EAAE,GAAG,KAAK,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACtD,EAAE,IAAI,KAAK,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,EAAU;IAC/B,OAAO,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;AACvF,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAS;IAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;IAClE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,QAAQ,CAAC,GAAa,EAAE,KAAa;IACnD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACzB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC;QACnE,OAAO,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,GAAG,CAAC,cAAc,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,KAAK,GAAG,CAAC,OAAO;YAAE,SAAS;QACxD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,GAAG,CAAC,QAAQ;YAAE,SAAS;QACzD,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,IAAI,WAAW,CAAC,eAAe,GAAG,CAAC,IAAI,wBAAwB,KAAK,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,QAAQ,CAAC,GAAa,EAAE,KAAyB,EAAE,GAAW;IAC5E,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IACpC,IAAI,GAAG,GAAG,KAAK,CAAC;IAChB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG;YAAE,MAAM;QAC5B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,GAAG,GAAG,CAAC,CAAC;IACV,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/src/std-packages.d.ts

@@ -0,0 +1,9 @@
+import { type Dictionary } from "./defs.ts";
+/** The standard packages' text, by name: core, units and party. */
+export declare const STANDARD_PACKAGES: {
+    readonly core: string;
+    readonly units: string;
+    readonly party: string;
+};
+/** A dictionary holding the three standard packages' definitions, to read an adopter's packages onto. */
+export declare function standardDefinitions(into?: Dictionary): Dictionary;

package/dist/src/std-packages.js

@@ -0,0 +1,268 @@
+// std-packages.ts: the text of the standard packages (spec 11.7), as published in std/. Generated by
+// `npm run embed` in packages/crubal; a test refuses a copy that has drifted from the files. An adopter reads
+// these into a dictionary before its own packages, as a publish does (11.4).
+import { emptyDictionary, readDefinitions } from "./defs.js";
+/** The standard packages' text, by name: core, units and party. */
+export const STANDARD_PACKAGES = {
+    core: `// crubal.com/core: the core's own names (chapter 11.7). The envelope lines, origins and audiences are fixed
+// by the specification; the facets below are the core facets every package may use as crubal:<name>.
+package: core /2026-10-14
+  owner: crubal.com
+  label: CRUBAL core
+  crubal: 2
+  licence: CC-BY-4.0
+
+facet: notables
+  type: compound
+  pick: any
+  label: Notables
+  describe: Facts true of this one record that no class asks for: signed, misprint, edition number. A key that recurs across enough records is proposed as a facet (chapter 9.5).
+  facets:
+    key$80
+    value$
+
+facet: count
+  type: number
+  label: Count
+  describe: How many identical things a fungible part holds (chapter 5.6).
+
+facet: items
+  type: link
+  pick: any
+  ordered: yes
+  label: Items
+  describe: The records a hand-made list holds, in its order (chapter 12.2). A view shows the list with select: list.
+
+facet: clonedFrom
+  type: link
+  label: Cloned from
+  describe: The record this one was adopted from, when a whole record was made one's own (chapter 8.2).
+`,
+    units: `// crubal.com/units: the units table (chapter 1.4.3, 11.9). Units are reference records of the kind "measure";
+// currencies are records of the kind "currency". Readers fold the spellings and convert within a dimension.
+package: units /2026-10-15
+  owner: crubal.com
+  label: Units and currencies
+  crubal: 2
+  licence: CC-BY-4.0
+
+kind: measure
+  levels: measure
+  base: Measure
+
+kind: currency
+  levels: currency
+  base: Currency
+
+facet: dimension
+  type: choice
+  values: time, length, mass, volume, area, temperature, data, count
+  describe: The dimension a unit measures; units convert only within one. The list grows by versions of this package.
+
+facet: factor
+  type: number
+  describe: How many of the dimension's base unit one of this unit is (s, m, kg, L, m2, K, B, each).
+
+facet: offset
+  type: number
+  describe: For a unit whose zero isn't the base's (°C, °F): the base-unit amount at this unit's zero. An amount in base units is amount × factor + offset.
+
+facet: spellings
+  type: text
+  pick: any
+  describe: Other ways intake may write this unit; folded case-insensitively.
+
+facet: uncefact
+  type: text
+  label: UN/CEFACT code
+  describe: The unit's UN/CEFACT Recommendation 20 code, for borders that use it. Never a spelling.
+
+facet: rounding
+  type: number
+  describe: On a dimension's base unit record: the decimal places a conversion keeps when the facet states none.
+
+facet: places
+  type: number
+  describe: A currency's decimal places (ISO 4217 minor units).
+
+facet: name
+  type: text
+
+class: Measure
+  for: measure
+  facets:
+    !dimension
+    !factor
+    offset
+    rounding
+    spellings
+    uncefact
+
+class: Currency
+  for: currency
+  facets:
+    !name
+    !places
+`,
+    party: `// crubal.com/party: who acts. The three caller kinds, what any adopter needs of them, and the facets that
+// access reads. Authentication stays in the host; roles and presets stay in the adopter's package.
+package: party /2026-10-16
+  owner: crubal.com
+  label: Parties
+  crubal: 2
+  licence: CC-BY-4.0
+  prefixes:
+    schema: https://schema.org/
+
+kind: person
+  levels: person
+  base: Person
+  schema:
+    person: schema:Person
+kind: organization
+  levels: organization
+  base: Organization
+  schema:
+    organization: schema:Organization
+kind: system
+  levels: system
+  base: System
+  schema:
+    system: schema:SoftwareApplication
+
+// Any party
+!name$200 =schema:name
+image^ =schema:image
+url$ =schema:url
+email$ =schema:email
+phone$ =schema:telephone
+description$ =schema:description
+roles&role*
+memberOf&organization* =schema:memberOf
+
+// People
+givenName$ =schema:givenName
+familyName$ =schema:familyName
+locale$                                  // BCP 47: en-GB
+timezone$                                // IANA: Europe/London
+signedUp@ymdhm
+
+// Organizations
+legalName$ =schema:legalName
+domain$ unique                           // the owner domain when the organization is one
+taxId$ =schema:taxID
+facet: address
+  type: compound
+  same-as: schema:address
+  facets:
+    street$ =schema:streetAddress
+    locality$ =schema:addressLocality
+    region$ =schema:addressRegion
+    postalCode$ =schema:postalCode
+    country$ =schema:addressCountry        // ISO 3166-1 alpha-2
+
+// Systems
+operator&organization                    // who runs it
+systemKind{utility|partner|agent}
+scheme{oauth2|apikey|basic|none}
+scopes$*                                 // what was granted
+requests$*                               // the menu items it asked for (14.9)
+connection{connected|expired|revoked}
+connectedAt@ymdhm
+version$
+
+class: Person
+  for: person
+  facets:
+    !name
+    givenName
+    familyName
+    image
+    email
+    phone
+    locale
+    timezone
+    roles
+    memberOf
+    signedUp
+class: Organization
+  for: organization
+  facets:
+    !name
+    legalName
+    domain
+    url
+    email
+    phone
+    address
+    image
+    description
+    taxId
+class: System
+  for: system
+  facets:
+    !name
+    operator
+    systemKind
+    url
+    scheme
+    scopes
+    requests
+    connection
+    connectedAt
+    version
+    roles
+
+// Contact details and tax identity are for the owner's people, never for the public or other members.
+rule: emailIsPrivate
+  for: everywhere
+  strength: must
+  then: email shown to staff
+rule: phoneIsPrivate
+  for: everywhere
+  strength: must
+  then: phone shown to staff
+rule: addressIsPrivate
+  for: everywhere
+  strength: must
+  then: address shown to staff
+rule: taxIdIsPrivate
+  for: everywhere
+  strength: must
+  then: taxId shown to staff
+
+// The host writes the connection through this form (host.md). The form is the party package's so every host
+// writes the same record; the edge that grants what the system asked for is the adopter's (14.9).
+contract: connect
+  kind: form
+  origin: observed
+  needs:
+    !name
+    scheme
+    scopes
+    requests
+    connection
+    connectedAt
+
+// A person keeps their own details. Who may run it is the adopter's edge (consume on their own record).
+contract: profile
+  kind: form
+  origin: declared
+  needs:
+    !name
+    givenName
+    familyName
+    image
+    email
+    phone
+    locale
+    timezone
+`,
+};
+/** A dictionary holding the three standard packages' definitions, to read an adopter's packages onto. */
+export function standardDefinitions(into = emptyDictionary()) {
+    for (const text of [STANDARD_PACKAGES.core, STANDARD_PACKAGES.units, STANDARD_PACKAGES.party])
+        readDefinitions(text, into);
+    return into;
+}
+//# sourceMappingURL=std-packages.js.map

package/dist/src/std-packages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"std-packages.js","sourceRoot":"","sources":["../../src/std-packages.ts"],"names":[],"mappings":"AAAA,qGAAqG;AACrG,8GAA8G;AAC9G,6EAA6E;AAE7E,OAAO,EAAmB,eAAe,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAE9E,mEAAmE;AACnE,MAAM,CAAC,MAAM,iBAAiB,GAA8E;IAC1G,IAAI,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiCP;IACC,KAAK,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiER;IACC,KAAK,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAyJR;CACA,CAAC;AAEF,yGAAyG;AACzG,MAAM,UAAU,mBAAmB,CAAC,OAAmB,eAAe,EAAE;IACtE,KAAK,MAAM,IAAI,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,CAAC,KAAK,CAAC;QAAE,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3H,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/store.d.ts

@@ -1,15 +1,27 @@
 import { type ClassLine, type Dictionary } from "./defs.ts";
 import type { Json, JsonObject, Record, Source } from "./model.ts";
 export declare function sha256(text: string): string;
-/** An entry's hash: SHA-256 of its canonical form without `sig`; a redacted entry's hash is what it carries. */
+/** A write's hash: SHA-256 of its canonical form; a redacted write's hash is what it carries (8.5.2). */
+export declare function writeHash(w: Json): string;
+/**
+ * An entry's hash (8.5): SHA-256 of its canonical form without `sig`, each write replaced by `sha256:` and
+ * its own hash, so a redacted write leaves the entry's hash where it was. A redacted entry's hash is what it
+ * carries.
+ */
 export declare function entryHash(entry: JsonObject): string;
 /** Published keys by owner domain: `{ "test.example": { "alg": "Ed25519", "public": "<base64url>" } }`. */
+/** A published signing key (11.7): with `from` and `until` when it was rotated, so it still verifies what it signed. */
+export type Key = {
+    alg: string;
+    public: string;
+    from?: string;
+    until?: string;
+};
 export type Keys = {
-    [owner: string]: {
-        alg: string;
-        public: string;
-    };
+    [owner: string]: Key | Key[];
 };
+/** The owner's key in force at a moment: the one whose span holds `at`, else an undated one, else the latest. */
+export declare function keyFor(keys: Keys, owner: string, at?: string): Key | undefined;
 /** Does `sig` (base64url) verify over the entry's hash bytes with the owner's Ed25519 key? */
 export declare function verifySig(entry: JsonObject, owner: string, keys: Keys): boolean;
 /** Check a chain's links, and, when the owner's key is known, every entry's signature (8.5). */
@@ -32,6 +44,12 @@ export type Contract = {
     prefix?: string;
     reads: MapLine[];
     writes: MapLine[];
+    /** A store contract's one map (7.3): `reads` and `writes` are derived from it. */
+    stores: MapLine[];
+    /** An offer's terms (7.8): reshare, expires, revocable, and what else the package names. */
+    terms: {
+        [term: string]: string;
+    };
     ignore: string[];
     keepRaw: string[];
     absorb: boolean;
@@ -46,6 +64,10 @@ export type Contract = {
     to?: string;
     mode?: string;
     undo?: string;
+    /** The field of their payload that is their own ID for the thing (9.2a). */
+    ref?: string;
+    /** For a send contract that carries projection streams (12.6.2): the views. */
+    stream: string[];
     /** Every part as written, with its line, for the publish checks. */
     parts: {
         [k: string]: string;
@@ -112,8 +134,11 @@ export type Who = {
  */
 export declare function land(r: Record, intake: {
     outcomes: IntakeOutcome[];
-    contract?: string;
-}, source: Source, trust?: string[], facetTrust?: Map<string, string[]>): Record;
+    contract?: string; /** a person's write through a form (11.3): ranks as `person` */
+    person?: boolean;
+}, source: Source, trust?: string[], facetTrust?: Map<string, string[]>, 
+/** The facets declared `transitions: yes` (4.2): a later value of equal or higher trust replaces, never conflicts. */
+transitions?: Set<string>): Record;
 export type PartMatch = {
     parts: JsonObject[];
     review: JsonObject[];
@@ -131,3 +156,9 @@ export type Observation = JsonObject & {
 };
 /** Validate a value from observations: independent witnesses for and against, vetoes, and the state. */
 export declare function validate(r: Record, address: string, observations: Observation[], confirmAt?: number, splitAt?: number): JsonObject;
+/**
+ * Version splits proposed (9.7.3): for each value an address's observations contradict, a cluster of at
+ * least `splitAt` instances agreeing with each other is a review item `split:<record>`; nothing splits
+ * on its own.
+ */
+export declare function proposeSplit(records: Record[], observations: Observation[], splitAt?: number): JsonObject[];