@appinternalleads/ui 0.2.0

package/dist/esm/components/checklist/contract.js

@@ -0,0 +1,252 @@
+import { FILTER_OPS, VALUELESS_FILTER_OPS } from '../../runtime/query';
+/**
+ * A constant, not a derivation — and not dressed up as more. Directory's `defaultConfigFor(schema)`
+ * derives a starting point from what was *discovered*; a Checklist has nothing to discover, so its
+ * default is simply everything visible and everything permitted except `skip`, with both external
+ * boundaries off. A builder edits from here.
+ */
+export function defaultChecklistConfig() {
+    return {
+        showDescription: true,
+        taskDescriptions: 'shown',
+        assignees: 'shown',
+        progress: 'both',
+        sections: 'grouped',
+        collapsibleSections: true,
+        can: {
+            editChecklist: true,
+            complete: true, skip: false,
+            addTask: true, editTask: true, deleteTask: true,
+            addSection: true, editSection: true, deleteSection: true,
+            reorder: true, assign: true,
+        },
+        sharing: { enabled: false },
+        notifications: { enabled: false, channels: [] },
+        copy: {
+            emptyLabel: 'Nothing on this checklist yet',
+            allDoneLabel: 'All done',
+            addTaskLabel: 'Add task',
+            addSectionLabel: 'Add section',
+        },
+    };
+}
+/* ── The rules — §6 ──────────────────────────────────────────────────────── */
+/**
+ * The events a rule may fire on. Deliberately four: each is something the *document* observably
+ * became, not something the runtime did.
+ */
+export const CHECKLIST_EVENTS = ['task.completed', 'task.uncompleted', 'task.assigned', 'checklist.completed'];
+/**
+ * What each field may be asked. A boolean fact takes equality and nothing else — `gt` on `done`
+ * would be an operator the builder offers and the engine cannot mean. An assignee reference adds
+ * presence, because "is anyone on this?" is a real question.
+ */
+export const OPERATORS_BY_FIELD = {
+    done: ['eq', 'neq'],
+    skipped: ['eq', 'neq'],
+    complete: ['eq', 'neq'],
+    assigneeId: ['eq', 'neq', 'isEmpty', 'isNotEmpty'],
+};
+export const TASK_FIELDS = ['done', 'skipped', 'assigneeId'];
+export const SECTION_FIELDS = ['complete'];
+export const CHECKLIST_CHANGE_KINDS = [
+    'checklist.edit',
+    'task.complete', 'task.skip', 'task.edit', 'task.assign', 'task.add', 'task.delete', 'task.move',
+    'section.add', 'section.edit', 'section.delete', 'section.move',
+];
+/** Which capability flag governs each change kind. One verb, one flag — §5. */
+export const CAPABILITY_FOR_CHANGE = {
+    'checklist.edit': 'editChecklist',
+    'task.complete': 'complete',
+    'task.skip': 'skip',
+    'task.edit': 'editTask',
+    'task.assign': 'assign',
+    'task.add': 'addTask',
+    'task.delete': 'deleteTask',
+    'task.move': 'reorder',
+    'section.add': 'addSection',
+    'section.edit': 'editSection',
+    'section.delete': 'deleteSection',
+    'section.move': 'reorder',
+};
+/* ── Lookup helpers — the vocabulary, as functions ───────────────────────── */
+export function findTask(checklist, taskId) {
+    for (let s = 0; s < checklist.sections.length; s += 1) {
+        const section = checklist.sections[s];
+        const t = section.tasks.findIndex(x => x.id === taskId);
+        if (t >= 0)
+            return { task: section.tasks[t], section, taskIndex: t, sectionIndex: s };
+    }
+    return undefined;
+}
+export function findSection(checklist, sectionId) {
+    return checklist.sections.find(s => s.id === sectionId);
+}
+export function allTasks(checklist) {
+    return checklist.sections.flatMap(s => s.tasks);
+}
+function checkCondition(c, checklist) {
+    if (c.subject === 'task') {
+        if (!findTask(checklist, c.ref)) {
+            return { ok: false, reason: 'unknown-task', message: `"${c.ref}" is not a task of this checklist` };
+        }
+        if (!TASK_FIELDS.includes(c.field)) {
+            return { ok: false, reason: 'unsupported-field', message: `A task has no "${c.field}"` };
+        }
+    }
+    else {
+        if (!findSection(checklist, c.ref)) {
+            return { ok: false, reason: 'unknown-section', message: `"${c.ref}" is not a section of this checklist` };
+        }
+        if (!SECTION_FIELDS.includes(c.field)) {
+            return { ok: false, reason: 'unsupported-field', message: `A section has no "${c.field}"` };
+        }
+    }
+    const allowed = OPERATORS_BY_FIELD[c.field];
+    if (!allowed || !allowed.includes(c.op)) {
+        return { ok: false, reason: 'unsupported-operator', message: `"${c.op}" does not apply to ${c.field}` };
+    }
+    if (!FILTER_OPS.includes(c.op)) {
+        return { ok: false, reason: 'unsupported-operator', message: `"${c.op}" is not an operator` };
+    }
+    if (c.value === '' && !VALUELESS_FILTER_OPS.includes(c.op)) {
+        return { ok: false, reason: 'empty-value', message: 'This condition needs a value' };
+    }
+    return { ok: true };
+}
+/**
+ * **The same rule for a person's rule and an agent's.** Optionally given the rest of the rule set,
+ * it additionally answers the one question a single rule cannot: would this gate close a cycle?
+ * A-requires-B while B-requires-A is a checklist nobody can finish, and it is rejected at authoring
+ * time rather than discovered at completion time — the one rejection Checklist needs that Directory
+ * does not.
+ */
+export function validateChecklistRule(rule, checklist, rules = [], capabilities) {
+    if (rule.kind === 'gate') {
+        if (!findTask(checklist, rule.target)) {
+            return { ok: false, reason: 'unknown-task', message: `"${rule.target}" is not a task of this checklist` };
+        }
+        for (const c of rule.requires) {
+            const check = checkCondition(c, checklist);
+            if (!check.ok)
+                return check;
+        }
+        const others = rules.filter(r => r.id !== rule.id);
+        if (hasGateCycle([...others, rule], checklist)) {
+            return { ok: false, reason: 'cycle', message: 'These rules block each other — nothing could ever be completed' };
+        }
+        return { ok: true };
+    }
+    if (!CHECKLIST_EVENTS.includes(rule.when)) {
+        return { ok: false, reason: 'unknown-event', message: `"${rule.when}" is not a checklist event` };
+    }
+    for (const c of rule.if ?? []) {
+        const check = checkCondition(c, checklist);
+        if (!check.ok)
+            return check;
+    }
+    if (rule.channel === '') {
+        return { ok: false, reason: 'empty-value', message: 'A notification rule needs a channel' };
+    }
+    if (capabilities && !capabilities.channels.some(ch => ch.id === rule.channel)) {
+        return { ok: false, reason: 'unknown-channel', message: `"${rule.channel}" is not a channel this host offers` };
+    }
+    return { ok: true };
+}
+/**
+ * Gate dependencies form a graph: `target` depends on every task named by a `done`/`skipped`
+ * condition, and on every task of a section named by a `complete` condition. A cycle in it is a
+ * checklist that can never be finished.
+ */
+export function hasGateCycle(rules, checklist) {
+    const deps = new Map();
+    for (const rule of rules) {
+        if (rule.kind !== 'gate')
+            continue;
+        const on = [];
+        for (const c of rule.requires) {
+            if (c.subject === 'task')
+                on.push(c.ref);
+            else
+                on.push(...(findSection(checklist, c.ref)?.tasks.map(t => t.id) ?? []));
+        }
+        deps.set(rule.target, [...(deps.get(rule.target) ?? []), ...on]);
+    }
+    const WHITE = 0;
+    const GREY = 1;
+    const BLACK = 2;
+    const mark = new Map();
+    const visit = (id) => {
+        const state = mark.get(id) ?? WHITE;
+        if (state === GREY)
+            return true;
+        if (state === BLACK)
+            return false;
+        mark.set(id, GREY);
+        for (const next of deps.get(id) ?? [])
+            if (visit(next))
+                return true;
+        mark.set(id, BLACK);
+        return false;
+    };
+    for (const id of deps.keys())
+        if (visit(id))
+            return true;
+    return false;
+}
+/** Every rule the set contains, split into the ones that hold and the ones that do not. */
+export function validateChecklistRules(rules, checklist, capabilities) {
+    const accepted = [];
+    const rejected = [];
+    for (const rule of rules) {
+        /* Validated against the rules ALREADY accepted, so the first rule of a mutually-blocking pair
+           survives and the one that closes the cycle is the one reported. */
+        const check = validateChecklistRule(rule, checklist, accepted, capabilities);
+        if (check.ok)
+            accepted.push(rule);
+        else
+            rejected.push({ rule, author: rule.author, reason: check.reason, message: check.message });
+    }
+    return { accepted, rejected };
+}
+/**
+ * Configuration errors, as messages. `[]` means valid — `validateDirectoryConfig`'s shape exactly.
+ *
+ * It checks the internal consistency the *type* cannot. Like Directory's, it matters chiefly for a
+ * **saved** configuration meeting content that has since changed, and like Directory's, the result
+ * is shown as a configuration problem rather than as a blank card that reads like "nothing here".
+ */
+export function validateChecklistConfig(config, opts = {}) {
+    const errors = [];
+    if (config.can.assign && config.assignees === 'hidden') {
+        errors.push('Assign: tasks can be assigned but assignees are hidden');
+    }
+    if (config.notifications.enabled && config.notifications.channels.length === 0) {
+        errors.push('Notifications: enabled with no channel selected');
+    }
+    if (opts.capabilities) {
+        for (const id of config.notifications.channels) {
+            if (!opts.capabilities.channels.some(c => c.id === id)) {
+                errors.push(`Notifications: "${id}" is not a channel this host offers`);
+            }
+        }
+    }
+    if (!config.can.skip && opts.checklist && allTasks(opts.checklist).some(t => t.skipped)) {
+        errors.push('Skip: tasks are marked skipped but skipping is turned off');
+    }
+    for (const rule of opts.rules ?? []) {
+        if (rule.kind !== 'notify')
+            continue;
+        if (!config.notifications.enabled) {
+            errors.push(`Notifications: rule "${rule.id}" would notify, but notifications are turned off`);
+        }
+        else if (!config.notifications.channels.includes(rule.channel)) {
+            errors.push(`Notifications: rule "${rule.id}" uses "${rule.channel}", which this checklist does not send on`);
+        }
+        if (!config.can.complete && (rule.when === 'task.completed' || rule.when === 'checklist.completed')) {
+            errors.push(`Notifications: rule "${rule.id}" fires on completion, but tasks cannot be completed`);
+        }
+    }
+    return errors;
+}
+//# sourceMappingURL=contract.js.map

package/dist/esm/components/checklist/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../../../src/components/checklist/contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAoC,MAAM,qBAAqB,CAAC;AAkIzG;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB;IACpC,OAAO;QACL,eAAe,EAAE,IAAI;QACrB,gBAAgB,EAAE,OAAO;QACzB,SAAS,EAAE,OAAO;QAClB,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,mBAAmB,EAAE,IAAI;QACzB,GAAG,EAAE;YACH,aAAa,EAAE,IAAI;YACnB,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK;YAC3B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;YAC/C,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI;YACxD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI;SAC5B;QACD,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;QAC3B,aAAa,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE;QAC/C,IAAI,EAAE;YACJ,UAAU,EAAE,+BAA+B;YAC3C,YAAY,EAAE,UAAU;YACxB,YAAY,EAAE,UAAU;YACxB,eAAe,EAAE,aAAa;SAC/B;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,eAAe,EAAE,qBAAqB,CAAU,CAAC;AAkDxH;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAmE;IAChG,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;IACnB,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;IACtB,QAAQ,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;IACvB,UAAU,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,YAAY,CAAC;CACnD,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAyB,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;AACnF,MAAM,CAAC,MAAM,cAAc,GAA4B,CAAC,UAAU,CAAC,CAAC;AAyCpE,MAAM,CAAC,MAAM,sBAAsB,GAA0B;IAC3D,gBAAgB;IAChB,eAAe,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW;IAChG,aAAa,EAAE,cAAc,EAAE,gBAAgB,EAAE,cAAc;CAChE,CAAC;AAEF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,qBAAqB,GAA8D;IAC9F,gBAAgB,EAAE,eAAe;IACjC,eAAe,EAAE,UAAU;IAC3B,WAAW,EAAE,MAAM;IACnB,WAAW,EAAE,UAAU;IACvB,aAAa,EAAE,QAAQ;IACvB,UAAU,EAAE,SAAS;IACrB,aAAa,EAAE,YAAY;IAC3B,WAAW,EAAE,SAAS;IACtB,aAAa,EAAE,YAAY;IAC3B,cAAc,EAAE,aAAa;IAC7B,gBAAgB,EAAE,eAAe;IACjC,cAAc,EAAE,SAAS;CAC1B,CAAC;AAgHF,gFAAgF;AAEhF,MAAM,UAAU,QAAQ,CAAC,SAAoB,EAAE,MAAc;IAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QACvC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IACzF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,SAAoB,EAAE,SAAiB;IACjE,OAAO,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,SAAoB;IAC3C,OAAO,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC;AAWD,SAAS,cAAc,CAAC,CAAqB,EAAE,SAAoB;IACjE,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,GAAG,mCAAmC,EAAE,CAAC;QACtG,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,OAAO,EAAE,kBAAkB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAC3F,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,GAAG,sCAAsC,EAAE,CAAC;QAC5G,CAAC;QACD,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,OAAO,EAAE,qBAAqB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;IAC1G,CAAC;IACD,IAAI,CAAE,UAAgC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAChG,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,KAAK,EAAE,IAAI,CAAE,oBAA0C,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAClF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC;IACvF,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAmB,EACnB,SAAoB,EACpB,QAAyB,EAAE,EAC3B,YAAoC;IAEpC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,IAAI,CAAC,MAAM,mCAAmC,EAAE,CAAC;QAC5G,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;YAC3C,IAAI,CAAC,KAAK,CAAC,EAAE;gBAAE,OAAO,KAAK,CAAC;QAC9B,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;QACnD,IAAI,YAAY,CAAC,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;YAC/C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,gEAAgE,EAAE,CAAC;QACnH,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACtB,CAAC;IAED,IAAI,CAAE,gBAAsC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,IAAI,CAAC,IAAI,4BAA4B,EAAE,CAAC;IACpG,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,EAAE;YAAE,OAAO,KAAK,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,KAAK,EAAE,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,qCAAqC,EAAE,CAAC;IAC9F,CAAC;IACD,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,IAAI,CAAC,OAAO,qCAAqC,EAAE,CAAC;IAClH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAsB,EAAE,SAAoB;IACvE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACnC,MAAM,EAAE,GAAa,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM;gBAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;;gBACpC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,CAAC;IAAC,MAAM,IAAI,GAAG,CAAC,CAAC;IAAC,MAAM,KAAK,GAAG,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,EAAU,EAAW,EAAE;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC;QACpC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,IAAI,KAAK,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACnB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;YAAE,IAAI,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACpB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE;QAAE,IAAI,KAAK,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;IACzD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,sBAAsB,CACpC,KAAsB,EACtB,SAAoB,EACpB,YAAoC;IAEpC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAqG,EAAE,CAAC;IACtH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB;6EACqE;QACrE,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;QAC7E,IAAI,KAAK,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAuB,EACvB,OAAiG,EAAE;IAEnG,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QACvD,MAAM,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,CAAC,OAAO,IAAI,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/E,MAAM,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACvD,MAAM,CAAC,IAAI,CAAC,mBAAmB,EAAE,qCAAqC,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QACxF,MAAM,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACrC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,EAAE,kDAAkD,CAAC,CAAC;QACjG,CAAC;aAAM,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,MAAM,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,EAAE,WAAW,IAAI,CAAC,OAAO,0CAA0C,CAAC,CAAC;QAChH,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,CAAC,EAAE,CAAC;YACpG,MAAM,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,EAAE,sDAAsD,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/esm/components/checklist/derive.d.ts

@@ -0,0 +1,77 @@
+import { type Checklist, type ChecklistCondition, type ChecklistRule, type ChecklistSection, type ChecklistTask } from './contract';
+/**
+ * **The derivations — §15, the single source of truth.**
+ *
+ * > `ChecklistTask.done` and `ChecklistTask.skipped` are the only completion facts that are ever
+ * > stored. Every other completion-shaped number or flag in the system is a pure function of them,
+ * > computed at render, held nowhere.
+ *
+ * Pure. No React, no state, no memoisation. The cost is disclosed rather than optimised away: the
+ * header's count, the bar and every section count recompute on every change. For a checklist of a
+ * few hundred tasks that is nothing — and a memoised cache is exactly how a second source of truth
+ * gets introduced by accident.
+ */
+/** Never stored. Computed from the one stored fact plus the rules. */
+export type TaskView = 'done' | 'skipped' | 'blocked' | 'open';
+export type ChecklistProgress = {
+    total: number;
+    done: number;
+    skipped: number;
+    /** Tasks that must be done for the checklist to be complete (`required !== false`). */
+    required: number;
+    requiredDone: number;
+    /** 0–1. `required` is the denominator, because that is what "complete" is measured against. */
+    fraction: number;
+    complete: boolean;
+};
+/** `required` is opt-out: a task with no opinion is required. */
+export declare const isRequired: (task: ChecklistTask) => boolean;
+/** Skipped is **not** done. It is an answer, not a completion. */
+export declare const isDone: (task: ChecklistTask) => boolean;
+/**
+ * A required task is satisfied when it is done. A *skipped* required task is deliberately still
+ * unsatisfied — skipping is "not applicable to me", and letting it complete a checklist would make
+ * the bar lie in exactly the way §15 exists to prevent.
+ */
+export declare function progressOf(checklist: Checklist): ChecklistProgress;
+/**
+ * A section's own count. Every task of the section, not only the required ones — a reader counting
+ * rows on screen must get the same number the section header shows.
+ */
+export declare function sectionProgressOf(section: ChecklistSection): {
+    total: number;
+    done: number;
+    complete: boolean;
+};
+/**
+ * One condition, evaluated. The comparison itself is `applyFilter` from `src/runtime/query` — the
+ * one place an operator's meaning is defined, shared rather than re-implemented.
+ *
+ * A condition naming something the document does not have is **false**, never a throw: a stale
+ * rule must not break a render, and `validateChecklistRule` is where it is *reported*.
+ */
+export declare function evaluateCondition(condition: ChecklistCondition, checklist: Checklist): boolean;
+/** Gates that apply to a task and are not yet satisfied. Empty ⇒ the task may be completed. */
+export declare function unsatisfiedGates(taskId: string, checklist: Checklist, rules: ChecklistRule[]): {
+    rule: ChecklistRule;
+    unmet: ChecklistCondition[];
+}[];
+/**
+ * The sentence a blocked task says when pressed. A rule's own `label` wins — it is the author's
+ * words and they are always better than generated prose. Otherwise the most common gate by far
+ * ("that task must be done first") is named in full, and anything else degrades to a truthful
+ * general statement rather than an invented specific one.
+ */
+export declare function gateMessage(entry: {
+    rule: ChecklistRule;
+    unmet: ChecklistCondition[];
+}, checklist: Checklist): string;
+/**
+ * **`blocked` is derived, never stored.** Storing it would make it a second copy of a truth the
+ * rules already hold, and the copy would go stale the moment another task is ticked.
+ *
+ * Order matters: a task that is done is `done` even if a gate would now block it — the gate governs
+ * *becoming* done, and re-labelling an already-finished task would be a lie about the past.
+ */
+export declare function taskViewOf(task: ChecklistTask, checklist: Checklist, rules?: ChecklistRule[]): TaskView;
+//# sourceMappingURL=derive.d.ts.map

package/dist/esm/components/checklist/derive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.d.ts","sourceRoot":"","sources":["../../../../src/components/checklist/derive.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,SAAS,EAAE,KAAK,kBAAkB,EAAE,KAAK,aAAa,EAAE,KAAK,gBAAgB,EAAE,KAAK,aAAa,EACvG,MAAM,YAAY,CAAC;AAEpB;;;;;;;;;;;GAWG;AAEH,sEAAsE;AACtE,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;AAE/D,MAAM,MAAM,iBAAiB,GAAG;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,uFAAuF;IACvF,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,+FAA+F;IAC/F,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF,iEAAiE;AACjE,eAAO,MAAM,UAAU,GAAI,MAAM,aAAa,YAA4B,CAAC;AAE3E,kEAAkE;AAClE,eAAO,MAAM,MAAM,GAAI,MAAM,aAAa,YAAuB,CAAC;AAElE;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,SAAS,EAAE,SAAS,GAAG,iBAAiB,CAYlE;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,gBAAgB,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAI/G;AAgBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,kBAAkB,EAAE,SAAS,EAAE,SAAS,GAAG,OAAO,CAI9F;AAED,+FAA+F;AAC/F,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,aAAa,EAAE,GACrB;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,kBAAkB,EAAE,CAAA;CAAE,EAAE,CAQxD;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,kBAAkB,EAAE,CAAA;CAAE,EAC3D,SAAS,EAAE,SAAS,GACnB,MAAM,CAYR;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,GAAE,aAAa,EAAO,GAAG,QAAQ,CAK3G"}

package/dist/esm/components/checklist/derive.js

@@ -0,0 +1,114 @@
+import { applyFilter } from '../../runtime/query';
+import { findSection, findTask, } from './contract';
+/** `required` is opt-out: a task with no opinion is required. */
+export const isRequired = (task) => task.required !== false;
+/** Skipped is **not** done. It is an answer, not a completion. */
+export const isDone = (task) => task.done === true;
+/**
+ * A required task is satisfied when it is done. A *skipped* required task is deliberately still
+ * unsatisfied — skipping is "not applicable to me", and letting it complete a checklist would make
+ * the bar lie in exactly the way §15 exists to prevent.
+ */
+export function progressOf(checklist) {
+    const tasks = checklist.sections.flatMap(s => s.tasks);
+    const total = tasks.length;
+    const done = tasks.filter(isDone).length;
+    const skipped = tasks.filter(t => t.skipped === true).length;
+    const requiredTasks = tasks.filter(isRequired);
+    const required = requiredTasks.length;
+    const requiredDone = requiredTasks.filter(isDone).length;
+    /* No required task at all ⇒ nothing is outstanding ⇒ the checklist is complete and the bar is
+       full. A 0/0 fraction has to be *decided*; NaN would propagate into aria-valuenow. */
+    const fraction = required === 0 ? 1 : requiredDone / required;
+    return { total, done, skipped, required, requiredDone, fraction, complete: required === 0 ? total > 0 : requiredDone === required };
+}
+/**
+ * A section's own count. Every task of the section, not only the required ones — a reader counting
+ * rows on screen must get the same number the section header shows.
+ */
+export function sectionProgressOf(section) {
+    const total = section.tasks.length;
+    const done = section.tasks.filter(isDone).length;
+    return { total, done, complete: total > 0 && done === total };
+}
+/** The string a condition compares against — the field's value, in the operator set's own domain. */
+function cellFor(condition, checklist) {
+    if (condition.subject === 'task') {
+        const found = findTask(checklist, condition.ref);
+        if (!found)
+            return undefined;
+        if (condition.field === 'done')
+            return String(found.task.done === true);
+        if (condition.field === 'skipped')
+            return String(found.task.skipped === true);
+        return found.task.assigneeId ?? '';
+    }
+    const section = findSection(checklist, condition.ref);
+    if (!section)
+        return undefined;
+    return String(sectionProgressOf(section).complete);
+}
+/**
+ * One condition, evaluated. The comparison itself is `applyFilter` from `src/runtime/query` — the
+ * one place an operator's meaning is defined, shared rather than re-implemented.
+ *
+ * A condition naming something the document does not have is **false**, never a throw: a stale
+ * rule must not break a render, and `validateChecklistRule` is where it is *reported*.
+ */
+export function evaluateCondition(condition, checklist) {
+    const cell = cellFor(condition, checklist);
+    if (cell === undefined)
+        return false;
+    return applyFilter(cell, { op: condition.op, value: condition.value });
+}
+/** Gates that apply to a task and are not yet satisfied. Empty ⇒ the task may be completed. */
+export function unsatisfiedGates(taskId, checklist, rules) {
+    const out = [];
+    for (const rule of rules) {
+        if (rule.kind !== 'gate' || rule.target !== taskId)
+            continue;
+        const unmet = rule.requires.filter(c => !evaluateCondition(c, checklist));
+        if (unmet.length)
+            out.push({ rule, unmet });
+    }
+    return out;
+}
+/**
+ * The sentence a blocked task says when pressed. A rule's own `label` wins — it is the author's
+ * words and they are always better than generated prose. Otherwise the most common gate by far
+ * ("that task must be done first") is named in full, and anything else degrades to a truthful
+ * general statement rather than an invented specific one.
+ */
+export function gateMessage(entry, checklist) {
+    if (entry.rule.label)
+        return entry.rule.label;
+    const first = entry.unmet[0];
+    if (first?.subject === 'task' && first.field === 'done' && first.op === 'eq' && first.value === 'true') {
+        const other = findTask(checklist, first.ref);
+        if (other)
+            return `Finish “${other.task.title}” first`;
+    }
+    if (first?.subject === 'section' && first.field === 'complete' && first.op === 'eq' && first.value === 'true') {
+        const section = findSection(checklist, first.ref);
+        if (section?.title)
+            return `Finish “${section.title}” first`;
+    }
+    return 'Something else has to happen first';
+}
+/**
+ * **`blocked` is derived, never stored.** Storing it would make it a second copy of a truth the
+ * rules already hold, and the copy would go stale the moment another task is ticked.
+ *
+ * Order matters: a task that is done is `done` even if a gate would now block it — the gate governs
+ * *becoming* done, and re-labelling an already-finished task would be a lie about the past.
+ */
+export function taskViewOf(task, checklist, rules = []) {
+    if (task.done)
+        return 'done';
+    if (task.skipped)
+        return 'skipped';
+    if (unsatisfiedGates(task.id, checklist, rules).length)
+        return 'blocked';
+    return 'open';
+}
+//# sourceMappingURL=derive.js.map

package/dist/esm/components/checklist/derive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../../../src/components/checklist/derive.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EACL,WAAW,EAAE,QAAQ,GAEtB,MAAM,YAAY,CAAC;AA8BpB,iEAAiE;AACjE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;AAE3E,kEAAkE;AAClE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;AAElE;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,SAAoB;IAC7C,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IACzC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IAC7D,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC;IACtC,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IACzD;2FACuF;IACvF,MAAM,QAAQ,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,QAAQ,CAAC;IAC9D,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;AACtI,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAyB;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;IACnC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IACjD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;AAChE,CAAC;AAED,qGAAqG;AACrG,SAAS,OAAO,CAAC,SAA6B,EAAE,SAAoB;IAClE,IAAI,SAAS,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,IAAI,SAAS,CAAC,KAAK,KAAK,MAAM;YAAE,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACxE,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;QAC9E,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;IACrC,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IACtD,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,OAAO,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,SAA6B,EAAE,SAAoB;IACnF,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,OAAO,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,gBAAgB,CAC9B,MAAc,EACd,SAAoB,EACpB,KAAsB;IAEtB,MAAM,GAAG,GAA2D,EAAE,CAAC;IACvE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YAAE,SAAS;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QAC1E,IAAI,KAAK,CAAC,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CACzB,KAA2D,EAC3D,SAAoB;IAEpB,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;IAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,KAAK,EAAE,OAAO,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QACvG,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,KAAK;YAAE,OAAO,WAAW,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;IACzD,CAAC;IACD,IAAI,KAAK,EAAE,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QAC9G,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAClD,IAAI,OAAO,EAAE,KAAK;YAAE,OAAO,WAAW,OAAO,CAAC,KAAK,SAAS,CAAC;IAC/D,CAAC;IACD,OAAO,oCAAoC,CAAC;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,IAAmB,EAAE,SAAoB,EAAE,QAAyB,EAAE;IAC/F,IAAI,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC;IAC7B,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IACnC,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACzE,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/esm/components/checklist/engine.d.ts

@@ -0,0 +1,72 @@
+import { type Checklist, type ChecklistChange, type ChecklistConfig, type ChecklistEffect, type ChecklistDocument, type ChecklistRule, type ChecklistSection, type ChecklistTask } from './contract';
+/**
+ * **The change engine — §7 and §11 of the design. The one place a Checklist document mutates.**
+ *
+ * Pure: no React, no async, no side effect, no clock, no randomness. Given the same document,
+ * change and rules it returns the same result forever, which is what makes the runtime above it
+ * testable without a renderer and what makes a backend able to replay the same change and land on
+ * the same document.
+ *
+ * It returns three things, and each earns its place:
+ *
+ * - `next` — the document after the change.
+ * - `inverse` — the change that undoes it **exactly**. Rollback after a failed commit is therefore
+ *   a fact rather than a best effort, and never a reload.
+ * - `effects` — the notifications the rules decided were *due*. Deciding is the component's job;
+ *   sending is the host's (§11).
+ */
+export type ChangeRejection = {
+    reason: 'blocked';
+    message: string;
+} | {
+    reason: 'unknown-task';
+    message: string;
+} | {
+    reason: 'unknown-section';
+    message: string;
+} | {
+    reason: 'not-permitted';
+    message: string;
+}
+/**
+ * A value the document cannot hold — today only an empty checklist title, which
+ * `checklist/1` forbids (`minLength: 1`). Named `empty-value` to match the vocabulary
+ * `validateChecklistRule` already uses rather than inventing a second word for the same idea.
+ */
+ | {
+    reason: 'empty-value';
+    message: string;
+};
+export type ChangeResult = {
+    ok: true;
+    next: Checklist;
+    inverse: ChecklistChange;
+    effects: ChecklistEffect[];
+} | ({
+    ok: false;
+} & ChangeRejection);
+export type ApplyChangeOptions = {
+    /** When given, a change whose capability flag is off is refused as `not-permitted`. */
+    config?: ChecklistConfig;
+};
+/**
+ * **One spelling per fact.** `skipped: false`, `description: ''` and `required: true` are each a
+ * second way of writing what the absent key already says, and a document with two spellings cannot
+ * have exact inverses: apply-then-undo would leave a key behind that was never there.
+ *
+ * So the optional fields are canonicalised on every write, and the round-trip test in
+ * `tests/checklistEngine.test.ts` is what holds the rule — it is the test that found this.
+ */
+export declare function normalizeTask(task: ChecklistTask): ChecklistTask;
+/**
+ * The same canonicalisation, one level up. A section with `title: ''` is the *ungrouped* section,
+ * which the document spells by **omitting** the key; a checklist with `description: ''` has no
+ * description. Exported because generation must canonicalise a document that was seeded or
+ * hand-authored rather than built up through `applyChange`.
+ */
+export declare function normalizeSection(section: ChecklistSection): ChecklistSection;
+export declare function normalizeChecklist(checklist: Checklist): Checklist;
+/** The whole portable artefact, canonical. Rules lose an empty `label`/`if` for the same reason. */
+export declare function normalizeChecklistDocument(doc: ChecklistDocument): ChecklistDocument;
+export declare function applyChange(doc: Checklist, change: ChecklistChange, rules?: ChecklistRule[], opts?: ApplyChangeOptions): ChangeResult;
+//# sourceMappingURL=engine.d.ts.map

package/dist/esm/components/checklist/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../../../src/components/checklist/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,SAAS,EAAE,KAAK,eAAe,EAA4B,KAAK,eAAe,EAAE,KAAK,eAAe,EAC1G,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAAE,KAAK,gBAAgB,EAAE,KAAK,aAAa,EAC9D,MAAM,YAAY,CAAC;AAGpB;;;;;;;;;;;;;;;GAeG;AAEH,MAAM,MAAM,eAAe,GACvB;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACtC;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,MAAM,EAAE,iBAAiB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC9C;IAAE,MAAM,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE;AAC9C;;;;GAIG;GACD;IAAE,MAAM,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/C,MAAM,MAAM,YAAY,GACpB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,eAAe,EAAE,CAAA;CAAE,GACnF,CAAC;IAAE,EAAE,EAAE,KAAK,CAAA;CAAE,GAAG,eAAe,CAAC,CAAC;AAEtC,MAAM,MAAM,kBAAkB,GAAG;IAC/B,uFAAuF;IACvF,MAAM,CAAC,EAAE,eAAe,CAAC;CAC1B,CAAC;AAIF;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,aAAa,GAAG,aAAa,CAMhE;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,gBAAgB,GAAG,gBAAgB,CAI5E;AAED,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,CAIlE;AAED,oGAAoG;AACpG,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,iBAAiB,GAAG,iBAAiB,CAWpF;AAgFD,wBAAgB,WAAW,CACzB,GAAG,EAAE,SAAS,EACd,MAAM,EAAE,eAAe,EACvB,KAAK,GAAE,aAAa,EAAO,EAC3B,IAAI,GAAE,kBAAuB,GAC5B,YAAY,CAkKd"}