@cratylus/canon 0.14.0 → 0.16.0

package/dist/compose.js

@@ -0,0 +1,219 @@
+// ─────────────────────────────────────────────────────────────────────────────
+// COMPOSITION — how an agent is made from the catalog.
+//
+// A role is a full default vector: one stated list per factor, every factor
+// present (`roles/<role>.ts`). Its generic holder is that vector made an agent:
+// each stated value becomes an `Entry` carrying its enforcement level (the
+// factor's default unless stated). A persona is the residue over a role: its own
+// mark, single values that replace the role's, set values that extend the role's,
+// and values it removes. Everything it does not state is the role's.
+//
+// Composition REFUSES a malformed persona (master design §2): one that states the
+// role, names an unknown factor or slot, removes a value its role does not hold, or
+// carries no mark of its own is never made, and the `CompositionRefusal` names what
+// it refused. A persona that weakens or removes a guardrail, or takes from a set
+// other than its reach, is made, and the composition warns, naming what it changed
+// (decision 0142(2)): no harm from it is on record.
+// ─────────────────────────────────────────────────────────────────────────────
+import { anchorOf, kebabToCamel, } from '@cratylus/schema';
+import { ASSIGNMENT_CONTRACTS, DELIVERABLE_CONTRACTS } from './contracts.js';
+import { personaProtocol } from './genus/persona.js';
+import { MANIFEST } from './manifest.js';
+/** A composition the design forbids; the message names what was refused. */
+export class CompositionRefusal extends Error {
+    name = 'CompositionRefusal';
+}
+const HELD = Object.entries(MANIFEST)
+    .filter(([, meta]) => meta.arity !== 'attribute')
+    .map(([factor, meta]) => ({ factor, field: kebabToCamel(factor), meta }));
+const BY_FIELD = new Map(HELD.map((held) => [held.field, held]));
+/** Enforcement levels from weakest to strongest; `null` holds weakest of all. */
+const STRENGTH = [
+    null,
+    'advisory',
+    'firm',
+    'fixed',
+];
+function refuse(message) {
+    throw new CompositionRefusal(message);
+}
+/** A composition the design advises against: made, and said. */
+function warn(message) {
+    process.emitWarning(message, 'CompositionWarning');
+}
+const statedObject = (stated) => typeof stated === 'object' && stated !== null && 'value' in stated
+    ? stated
+    : { value: stated };
+function entryOf(stated, held) {
+    const { value, level, slot, note } = statedObject(stated);
+    return {
+        value,
+        level: level === undefined ? held.meta.level : level,
+        ...(slot === undefined ? {} : { slot }),
+        ...(note === undefined ? {} : { note }),
+    };
+}
+function heldFactor(field, who) {
+    return (BY_FIELD.get(field) ??
+        refuse(`${who} states an unknown factor: ${field.replace(/[A-Z]/g, (c) => `-${c.toLowerCase()}`)}`));
+}
+/** A role's entries for one factor, checked against its arity; slots in slot order. */
+function checked(role, held, entries) {
+    const { factor, meta } = held;
+    if (meta.arity === 'scalar' && entries.length !== 1)
+        refuse(`role ${role} states ${entries.length} values for ${factor}, which holds exactly one`);
+    if (meta.required && entries.length === 0)
+        refuse(`role ${role} holds no ${factor}; ${factor} may not be empty`);
+    if (meta.arity !== 'slots')
+        return entries;
+    const slots = meta.slots ?? [];
+    for (const entry of entries)
+        if (!slots.some((slot) => slot.name === entry.slot))
+            refuse(`role ${role} states ${factor} ${anchorOf(entry.value)} in no slot of ${factor}`);
+    return slots.flatMap((slot) => {
+        const filling = entries.filter((entry) => entry.slot === slot.name);
+        if (filling.length === 0 && slot.optional)
+            return [];
+        if (filling.length !== 1)
+            refuse(`role ${role} fills the ${factor} slot ${slot.name} ${filling.length} times; it takes exactly one value`);
+        return filling;
+    });
+}
+/** The identity face derived from a vector, followed by the vector itself. */
+function agentOf(identity, vector) {
+    const anchors = (field) => (vector[field] ?? []).map((entry) => anchorOf(entry.value));
+    const slotAnchor = (field, slot) => {
+        const entry = (vector[field] ?? []).find((e) => e.slot === slot);
+        return entry ? anchorOf(entry.value) : '';
+    };
+    const [assignment] = anchors('assignment');
+    const [deliverable] = anchors('deliverable');
+    const contract = {
+        ...(assignment && ASSIGNMENT_CONTRACTS[assignment]
+            ? { assignment: ASSIGNMENT_CONTRACTS[assignment] }
+            : {}),
+        ...(deliverable && DELIVERABLE_CONTRACTS[deliverable]
+            ? { deliverable: DELIVERABLE_CONTRACTS[deliverable] }
+            : {}),
+    };
+    return {
+        name: identity.name,
+        description: identity.description,
+        mark: identity.mark,
+        key: null,
+        holds: identity.holds,
+        routing: {
+            tier: slotAnchor('model', 'tier'),
+            effort: slotAnchor('model', 'effort'),
+        },
+        ...(Object.keys(contract).length > 0 ? { contract } : {}),
+        persistence: personaProtocol,
+        ...vector,
+    };
+}
+function vectorOfCell(cell) {
+    const values = cell.values;
+    for (const field of Object.keys(values))
+        heldFactor(field, `role ${cell.name}`);
+    const vector = {};
+    for (const held of HELD) {
+        const stated = values[held.field];
+        if (!Array.isArray(stated))
+            refuse(`role ${cell.name} states no ${held.factor}`);
+        vector[held.field] = checked(cell.name, held, stated.map((s) => entryOf(s, held)));
+    }
+    return vector;
+}
+/** The generic holder of a role: the role's vector, named for the role. */
+export function holder(cell) {
+    return agentOf({
+        name: cell.name,
+        description: cell.description,
+        mark: cell.mark,
+        holds: cell.name,
+    }, vectorOfCell(cell));
+}
+/** A persona over a role: the role's vector, then the residue's precedence. */
+export function persona(over, residue) {
+    const who = `persona ${residue.name}`;
+    if (!residue.mark)
+        refuse(`${who} carries no mark`);
+    if (over.mark &&
+        over.mark.emoji === residue.mark.emoji &&
+        over.mark.hue === residue.mark.hue)
+        refuse(`${who} carries its role ${over.name}'s own mark`);
+    const vector = vectorOfCell(over);
+    for (const [field, stated] of Object.entries(residue.values ?? {})) {
+        const held = heldFactor(field, who);
+        const { factor, meta } = held;
+        if (factor === 'role')
+            refuse(`${who} states role; the role is ${over.name}'s`);
+        const entries = vector[field];
+        if (meta.arity === 'scalar') {
+            if (stated.length !== 1)
+                refuse(`${who} states ${stated.length} values for ${factor}, which holds exactly one`);
+            vector[field] = stated.map((s) => entryOf(s, held));
+            continue;
+        }
+        if (meta.arity === 'slots') {
+            const order = (meta.slots ?? []).map((slot) => slot.name);
+            for (const s of stated) {
+                const entry = entryOf(s, held);
+                if (entry.slot === undefined)
+                    refuse(`${who} states ${factor} ${anchorOf(entry.value)} without a slot`);
+                if (!order.includes(entry.slot))
+                    refuse(`${who} states ${factor} ${anchorOf(entry.value)} in ${entry.slot}, which is no slot of ${factor}`);
+                const at = entries.findIndex((e) => e.slot === entry.slot);
+                if (at >= 0)
+                    entries[at] = entry;
+                else {
+                    // An optional slot the role left unfilled: filled here, in slot order.
+                    entries.push(entry);
+                    entries.sort((a, b) => order.indexOf(a.slot) - order.indexOf(b.slot));
+                }
+            }
+            continue;
+        }
+        for (const s of stated) {
+            const { value, level, note } = statedObject(s);
+            const anchor = anchorOf(value);
+            const at = entries.findIndex((e) => anchorOf(e.value) === anchor);
+            if (at < 0) {
+                entries.push(entryOf(s, held));
+                continue;
+            }
+            const prev = entries[at];
+            const next = {
+                ...prev,
+                ...(level === undefined ? {} : { level }),
+                ...(note === undefined ? {} : { note }),
+            };
+            if (factor === 'guardrails' &&
+                STRENGTH.indexOf(next.level) < STRENGTH.indexOf(prev.level))
+                warn(`${who} weakens the guardrail ${anchor} from ${prev.level} to ${next.level}`);
+            entries[at] = next;
+        }
+    }
+    for (const [field, removed] of Object.entries(residue.removes ?? {})) {
+        const { factor, meta } = heldFactor(field, who);
+        const entries = vector[field];
+        for (const value of removed) {
+            const anchor = anchorOf(value);
+            if (factor === 'guardrails')
+                warn(`${who} removes the guardrail ${anchor}`);
+            else if (meta.group !== 'Reach')
+                warn(`${who} removes ${anchor} from ${factor}; a persona usually extends sets rather than taking from them`);
+            const at = entries.findIndex((e) => anchorOf(e.value) === anchor);
+            if (at < 0)
+                refuse(`${who} removes ${anchor} from ${factor}, which its role ${over.name} does not hold`);
+            entries.splice(at, 1);
+        }
+    }
+    return agentOf({
+        name: residue.name,
+        description: residue.description,
+        mark: residue.mark,
+        holds: over.name,
+    }, vector);
+}
+//# sourceMappingURL=compose.js.map

package/dist/compose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.js","sourceRoot":"","sources":["../src/compose.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,uDAAuD;AACvD,EAAE;AACF,4EAA4E;AAC5E,gFAAgF;AAChF,2EAA2E;AAC3E,iFAAiF;AACjF,kFAAkF;AAClF,qEAAqE;AACrE,EAAE;AACF,kFAAkF;AAClF,oFAAoF;AACpF,oFAAoF;AACpF,iFAAiF;AACjF,mFAAmF;AACnF,oDAAoD;AACpD,gFAAgF;AAEhF,OAAO,EAQL,QAAQ,EACR,YAAY,GACb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAA8B,QAAQ,EAAE,MAAM,eAAe,CAAC;AA2CrE,4EAA4E;AAC5E,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IACzB,IAAI,GAAG,oBAAoB,CAAC;CAC/C;AAQD,MAAM,IAAI,GAAoB,MAAM,CAAC,OAAO,CAC1C,QAAwC,CACzC;KACE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC;KAChD,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAE5E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAEjE,iFAAiF;AACjF,MAAM,QAAQ,GAAyC;IACrD,IAAI;IACJ,UAAU;IACV,MAAM;IACN,OAAO;CACR,CAAC;AAEF,SAAS,MAAM,CAAC,OAAe;IAC7B,MAAM,IAAI,kBAAkB,CAAC,OAAO,CAAC,CAAC;AACxC,CAAC;AAED,gEAAgE;AAChE,SAAS,IAAI,CAAC,OAAe;IAC3B,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;AACrD,CAAC;AAID,MAAM,YAAY,GAAG,CAAC,MAAc,EAAgB,EAAE,CACpD,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,IAAI,MAAM;IAChE,CAAC,CAAC,MAAM;IACR,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAExB,SAAS,OAAO,CAAC,MAAc,EAAE,IAAU;IACzC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAC1D,OAAO;QACL,KAAK;QACL,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK;QACpD,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACvC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAa,EAAE,GAAW;IAC5C,OAAO,CACL,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QACnB,MAAM,CACJ,GAAG,GAAG,8BAA8B,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,CAC5F,CACF,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,SAAS,OAAO,CAAC,IAAY,EAAE,IAAU,EAAE,OAAgB;IACzD,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAC9B,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QACjD,MAAM,CACJ,QAAQ,IAAI,WAAW,OAAO,CAAC,MAAM,eAAe,MAAM,2BAA2B,CACtF,CAAC;IACJ,IAAI,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QACvC,MAAM,CAAC,QAAQ,IAAI,aAAa,MAAM,KAAK,MAAM,mBAAmB,CAAC,CAAC;IACxE,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO;QACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;YACjD,MAAM,CACJ,QAAQ,IAAI,WAAW,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,kBAAkB,MAAM,EAAE,CACjF,CAAC;IACN,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QACrD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YACtB,MAAM,CACJ,QAAQ,IAAI,cAAc,MAAM,SAAS,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,oCAAoC,CACzG,CAAC;QACJ,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,SAAS,OAAO,CACd,QAKC,EACD,MAAkD;IAElD,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,EAAE,CAChC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,IAAY,EAAE,EAAE;QACjD,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACjE,OAAO,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,CAAC,CAAC;IACF,MAAM,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAC3C,MAAM,CAAC,WAAW,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,UAAU,IAAI,oBAAoB,CAAC,UAAU,CAAC;YAChD,CAAC,CAAC,EAAE,UAAU,EAAE,oBAAoB,CAAC,UAAU,CAAC,EAAE;YAClD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,WAAW,IAAI,qBAAqB,CAAC,WAAW,CAAC;YACnD,CAAC,CAAC,EAAE,WAAW,EAAE,qBAAqB,CAAC,WAAW,CAAC,EAAE;YACrD,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,OAAO;QACL,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,GAAG,EAAE,IAAI;QACT,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,OAAO,EAAE;YACP,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC;YACjC,MAAM,EAAE,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC;SACtC;QACD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,WAAW,EAAE,eAAe;QAC5B,GAAG,MAAM;KACU,CAAC;AACxB,CAAC;AAED,SAAS,YAAY,CAAC,IAAc;IAClC,MAAM,MAAM,GAAG,IAAI,CAAC,MAEnB,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QACrC,UAAU,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YACxB,MAAM,CAAC,QAAQ,IAAI,CAAC,IAAI,cAAc,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACvD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,OAAO,CAC1B,IAAI,CAAC,IAAI,EACT,IAAI,EACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CACpC,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,MAAM,CAAC,IAAc;IACnC,OAAO,OAAO,CACZ;QACE,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,IAAI;KACjB,EACD,YAAY,CAAC,IAAI,CAAC,CACnB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,OAAO,CAAC,IAAc,EAAE,OAAgB;IACtD,MAAM,GAAG,GAAG,WAAW,OAAO,CAAC,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,IAAI;QAAE,MAAM,CAAC,GAAG,GAAG,kBAAkB,CAAC,CAAC;IACpD,IACE,IAAI,CAAC,IAAI;QACT,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC,IAAI,CAAC,KAAK;QACtC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG;QAElC,MAAM,CAAC,GAAG,GAAG,qBAAqB,IAAI,CAAC,IAAI,aAAa,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAElC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;QAC9B,IAAI,MAAM,KAAK,MAAM;YACnB,MAAM,CAAC,GAAG,GAAG,6BAA6B,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAY,CAAC;QACzC,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBACrB,MAAM,CACJ,GAAG,GAAG,WAAW,MAAM,CAAC,MAAM,eAAe,MAAM,2BAA2B,CAC/E,CAAC;YACJ,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;oBAC1B,MAAM,CACJ,GAAG,GAAG,WAAW,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAClE,CAAC;gBACJ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;oBAC7B,MAAM,CACJ,GAAG,GAAG,WAAW,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,IAAI,yBAAyB,MAAM,EAAE,CACnG,CAAC;gBACJ,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC3D,IAAI,EAAE,IAAI,CAAC;oBAAE,OAAO,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;qBAC5B,CAAC;oBACJ,uEAAuE;oBACvE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACpB,OAAO,CAAC,IAAI,CACV,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAc,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAc,CAAC,CACpE,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC/B,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC;YAClE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBACX,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC/B,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAU,CAAC;YAClC,MAAM,IAAI,GAAU;gBAClB,GAAG,IAAI;gBACP,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;gBACzC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;aACxC,CAAC;YACF,IACE,MAAM,KAAK,YAAY;gBACvB,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;gBAE3D,IAAI,CACF,GAAG,GAAG,0BAA0B,MAAM,SAAS,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,EAAE,CAC7E,CAAC;YACJ,OAAO,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QACrE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAY,CAAC;QACzC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,YAAY;gBACzB,IAAI,CAAC,GAAG,GAAG,0BAA0B,MAAM,EAAE,CAAC,CAAC;iBAC5C,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO;gBAC7B,IAAI,CACF,GAAG,GAAG,YAAY,MAAM,SAAS,MAAM,+DAA+D,CACvG,CAAC;YACJ,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC;YAClE,IAAI,EAAE,GAAG,CAAC;gBACR,MAAM,CACJ,GAAG,GAAG,YAAY,MAAM,SAAS,MAAM,oBAAoB,IAAI,CAAC,IAAI,gBAAgB,CACrF,CAAC;YACJ,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CACZ;QACE,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,KAAK,EAAE,IAAI,CAAC,IAAI;KACjB,EACD,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/contracts.d.ts

@@ -0,0 +1,5 @@
+import { type JsonSchema } from '@cratylus/schema';
+/** Each assignment value's contract, by the value's anchor. */
+export declare const ASSIGNMENT_CONTRACTS: Readonly<Record<string, JsonSchema>>;
+/** Each deliverable value's contract, by the value's anchor. */
+export declare const DELIVERABLE_CONTRACTS: Readonly<Record<string, JsonSchema>>;

package/dist/contracts.js

@@ -0,0 +1,163 @@
+// ─────────────────────────────────────────────────────────────────────────────
+// TYPED HANDOFFS — the JSON Schema each assignment and deliverable value carries.
+//
+// A role's assignment and deliverable are values of their factors; the contract a
+// handoff is checked against is DATA those values carry, paired here with the very
+// value it belongs to. Composition copies the pair onto the agent
+// (`Agent.contract`), and every harness reads it from there: the assignment checked
+// before the agent runs, the deliverable bound as the harness's output schema.
+//
+// Required fields are required, and an array takes `[]` unless it is marked
+// `minItems: 1`. Free-text intent (the architect's assignment) and the architect's
+// deliverable to the operator carry no contract.
+// ─────────────────────────────────────────────────────────────────────────────
+import { anchorOf } from '@cratylus/schema';
+import { concepts } from './dimensions/assignment/concepts.js';
+import { cutBrief } from './dimensions/assignment/cut-brief.js';
+import { examples } from './dimensions/assignment/examples.js';
+import { judgmentBrief } from './dimensions/assignment/judgment-brief.js';
+import { workPackage } from './dimensions/assignment/work-package.js';
+import { checksSeenRed } from './dimensions/deliverable/checks-seen-red.js';
+import { doneOrFailingCase } from './dimensions/deliverable/done-or-failing-case.js';
+import { examplesWithFlaggedTerms } from './dimensions/deliverable/examples-with-flagged-terms.js';
+import { outcomeWithEfficiency } from './dimensions/deliverable/outcome-with-efficiency.js';
+import { verdictPerConcept } from './dimensions/deliverable/verdict-per-concept.js';
+const text = { type: 'string' };
+const count = { type: 'integer' };
+const texts = { type: 'array', items: text };
+const someTexts = { type: 'array', items: text, minItems: 1 };
+const flag = { type: 'boolean' };
+const record = (properties, optional = []) => ({
+    type: 'object',
+    properties,
+    required: Object.keys(properties).filter((f) => !optional.includes(f)),
+});
+/** `schema`, with what its field means to the agent that fills it. */
+const said = (schema, description) => ({
+    ...schema,
+    description,
+});
+// What a field of an assignment names, said once for every assignment that holds it.
+const cutField = said(text, 'The cut, by its name (its examples are design/examples/<context>/<cut>.md).');
+const exampleRefs = (schema, whose) => said(schema, `${whose}, each as \`<context>/<number>\` (e.g. \`booking/1\`).`);
+const assignments = [
+    [
+        cutBrief,
+        record({
+            cut: cutField,
+            concepts: said(someTexts, 'The concepts the cut realizes, by their names in the design.'),
+            examples: exampleRefs(someTexts, "The cut's visible examples"),
+            decisions: said(someTexts, 'The decisions in force for the cut, by their ids (e.g. `0081`).'),
+        }),
+    ],
+    [
+        workPackage,
+        record({
+            cut: cutField,
+            workPackage: said(text, 'The work package, by its name in the ledger.'),
+            outputs: said(someTexts, 'The paths the package owns, which no other builder changes.'),
+            concepts: said(someTexts, 'The concepts the package serves, by name.'),
+            // A shared-output package owns no example, which a work package may do.
+            examples: exampleRefs(texts, 'The visible examples the package owns (none for a package sharing outputs)'),
+        }),
+    ],
+    [
+        judgmentBrief,
+        record({
+            cut: cutField,
+            workPackages: said(someTexts, 'The work packages to judge, by their names in the ledger.'),
+            examples: exampleRefs(someTexts, 'The examples to judge against'),
+            decisions: said(texts, 'The decisions in force, by their ids; empty when there are none.'),
+        }),
+    ],
+    [
+        examples,
+        record({
+            cut: cutField,
+            examples: exampleRefs(someTexts, 'The examples to bind checks to'),
+        }),
+    ],
+    [
+        concepts,
+        record({
+            cut: cutField,
+            concepts: said(someTexts, 'The concepts to illustrate with examples, by name.'),
+        }),
+    ],
+];
+const deliverables = [
+    [
+        outcomeWithEfficiency,
+        said(record({
+            cut: said(text, 'The cut this report is for, by its name.'),
+            outcomes: said({
+                type: 'array',
+                minItems: 1,
+                items: record({
+                    example: said(text, 'The visible example, as `<context>/<number>`.'),
+                    concept: said(text, 'The concept the example shows, by its name in the design.'),
+                    outcome: said({ type: 'string', enum: ['pass', 'fail'] }, 'Whether the example holds in the delivered work.'),
+                    evidence: said(text, "Why the outcome holds, named by the example and by the check that binds it, in the design's concepts: what the check showed of the concept. Never a file, function, path or command, even where a verdict cites one: translate it into the concept it bears on."),
+                }),
+            }, "One outcome per visible example of the cut, each in the design's concepts."),
+            verdicts: said({
+                type: 'array',
+                items: record({
+                    assayer: said(text, 'The assayer that judged, by its run.'),
+                    verdict: said({ type: 'string', enum: ['accept', 'reject'] }, "The assayer's verdict on the cut, as it returned it."),
+                    findings: said(texts, "The assayer's findings, each restated in the design's concepts; empty when it found none."),
+                }),
+            }, "Each assayer's verdict, as it returned it."),
+            efficiency: said(record({
+                agentRuns: said(record({
+                    total: said(count, 'Every agent run the cut took.'),
+                    byRole: said({ type: 'object', additionalProperties: count }, 'The agent runs by role.'),
+                }), 'The agent runs the harness reports for the cut.'),
+                rounds: said(count, 'The rounds of build and judgment.'),
+                wholeCheckRuns: said(count, 'The runs of the whole check.'),
+                tokens: said(count, 'The tokens the runs reported, summed.'),
+            }), "The cut's figures, as the ledger computes them."),
+            hardeningNotes: said(texts, "What would make the cut's examples or checks harder to pass by accident, each in the design's concepts; empty when there is none."),
+        }), "The lead's report of the cut to whoever dispatched it, in the design's concepts: each example's outcome with its evidence, the assayers' verdicts, the figures and the hardening notes."),
+    ],
+    [
+        doneOrFailingCase,
+        record({ cut: text, workPackage: text, done: flag, failingCase: text }, [
+            'failingCase',
+        ]),
+    ],
+    [
+        verdictPerConcept,
+        record({
+            cut: text,
+            verdicts: {
+                type: 'array',
+                minItems: 1,
+                items: record({
+                    workPackage: text,
+                    concept: text,
+                    passes: flag,
+                    evidence: text,
+                    finding: text,
+                }, ['finding']),
+            },
+            hardeningNotes: texts,
+        }),
+    ],
+    [
+        checksSeenRed,
+        record({
+            cut: text,
+            checks: {
+                type: 'array',
+                items: record({ example: text, check: text, seenRed: flag }),
+            },
+        }),
+    ],
+    [examplesWithFlaggedTerms, record({ examples: texts, flaggedTerms: texts })],
+];
+/** Each assignment value's contract, by the value's anchor. */
+export const ASSIGNMENT_CONTRACTS = Object.fromEntries(assignments.map(([value, schema]) => [anchorOf(value), schema]));
+/** Each deliverable value's contract, by the value's anchor. */
+export const DELIVERABLE_CONTRACTS = Object.fromEntries(deliverables.map(([value, schema]) => [anchorOf(value), schema]));
+//# sourceMappingURL=contracts.js.map

package/dist/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../src/contracts.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,kFAAkF;AAClF,EAAE;AACF,kFAAkF;AAClF,mFAAmF;AACnF,kEAAkE;AAClE,oFAAoF;AACpF,+EAA+E;AAC/E,EAAE;AACF,4EAA4E;AAC5E,mFAAmF;AACnF,iDAAiD;AACjD,gFAAgF;AAEhF,OAAO,EAAmB,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,MAAM,sCAAsC,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,2CAA2C,CAAC;AAC1E,OAAO,EAAE,WAAW,EAAE,MAAM,yCAAyC,CAAC;AACtE,OAAO,EAAE,aAAa,EAAE,MAAM,6CAA6C,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,kDAAkD,CAAC;AACrF,OAAO,EAAE,wBAAwB,EAAE,MAAM,yDAAyD,CAAC;AACnG,OAAO,EAAE,qBAAqB,EAAE,MAAM,qDAAqD,CAAC;AAC5F,OAAO,EAAE,iBAAiB,EAAE,MAAM,iDAAiD,CAAC;AAGpF,MAAM,IAAI,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5C,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC9C,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzD,MAAM,SAAS,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAC1E,MAAM,IAAI,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAE7C,MAAM,MAAM,GAAG,CACb,UAAsC,EACtC,WAA8B,EAAE,EACpB,EAAE,CAAC,CAAC;IAChB,IAAI,EAAE,QAAQ;IACd,UAAU;IACV,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CACvE,CAAC,CAAC;AAEH,sEAAsE;AACtE,MAAM,IAAI,GAAG,CAAC,MAAkB,EAAE,WAAmB,EAAc,EAAE,CAAC,CAAC;IACrE,GAAG,MAAM;IACT,WAAW;CACZ,CAAC,CAAC;AAEH,qFAAqF;AACrF,MAAM,QAAQ,GAAG,IAAI,CACnB,IAAI,EACJ,6EAA6E,CAC9E,CAAC;AACF,MAAM,WAAW,GAAG,CAAC,MAAkB,EAAE,KAAa,EAAc,EAAE,CACpE,IAAI,CACF,MAAM,EACN,GAAG,KAAK,wDAAwD,CACjE,CAAC;AAEJ,MAAM,WAAW,GAAmD;IAClE;QACE,QAAQ;QACR,MAAM,CAAC;YACL,GAAG,EAAE,QAAQ;YACb,QAAQ,EAAE,IAAI,CACZ,SAAS,EACT,8DAA8D,CAC/D;YACD,QAAQ,EAAE,WAAW,CAAC,SAAS,EAAE,4BAA4B,CAAC;YAC9D,SAAS,EAAE,IAAI,CACb,SAAS,EACT,iEAAiE,CAClE;SACF,CAAC;KACH;IACD;QACE,WAAW;QACX,MAAM,CAAC;YACL,GAAG,EAAE,QAAQ;YACb,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE,8CAA8C,CAAC;YACvE,OAAO,EAAE,IAAI,CACX,SAAS,EACT,6DAA6D,CAC9D;YACD,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,2CAA2C,CAAC;YACtE,wEAAwE;YACxE,QAAQ,EAAE,WAAW,CACnB,KAAK,EACL,4EAA4E,CAC7E;SACF,CAAC;KACH;IACD;QACE,aAAa;QACb,MAAM,CAAC;YACL,GAAG,EAAE,QAAQ;YACb,YAAY,EAAE,IAAI,CAChB,SAAS,EACT,2DAA2D,CAC5D;YACD,QAAQ,EAAE,WAAW,CAAC,SAAS,EAAE,+BAA+B,CAAC;YACjE,SAAS,EAAE,IAAI,CACb,KAAK,EACL,kEAAkE,CACnE;SACF,CAAC;KACH;IACD;QACE,QAAQ;QACR,MAAM,CAAC;YACL,GAAG,EAAE,QAAQ;YACb,QAAQ,EAAE,WAAW,CAAC,SAAS,EAAE,gCAAgC,CAAC;SACnE,CAAC;KACH;IACD;QACE,QAAQ;QACR,MAAM,CAAC;YACL,GAAG,EAAE,QAAQ;YACb,QAAQ,EAAE,IAAI,CACZ,SAAS,EACT,oDAAoD,CACrD;SACF,CAAC;KACH;CACF,CAAC;AAEF,MAAM,YAAY,GAAoD;IACpE;QACE,qBAAqB;QACrB,IAAI,CACF,MAAM,CAAC;YACL,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,0CAA0C,CAAC;YAC3D,QAAQ,EAAE,IAAI,CACZ;gBACE,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,MAAM,CAAC;oBACZ,OAAO,EAAE,IAAI,CACX,IAAI,EACJ,+CAA+C,CAChD;oBACD,OAAO,EAAE,IAAI,CACX,IAAI,EACJ,2DAA2D,CAC5D;oBACD,OAAO,EAAE,IAAI,CACX,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAC1C,kDAAkD,CACnD;oBACD,QAAQ,EAAE,IAAI,CACZ,IAAI,EACJ,iQAAiQ,CAClQ;iBACF,CAAC;aACH,EACD,4EAA4E,CAC7E;YACD,QAAQ,EAAE,IAAI,CACZ;gBACE,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,MAAM,CAAC;oBACZ,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,sCAAsC,CAAC;oBAC3D,OAAO,EAAE,IAAI,CACX,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAC9C,sDAAsD,CACvD;oBACD,QAAQ,EAAE,IAAI,CACZ,KAAK,EACL,2FAA2F,CAC5F;iBACF,CAAC;aACH,EACD,4CAA4C,CAC7C;YACD,UAAU,EAAE,IAAI,CACd,MAAM,CAAC;gBACL,SAAS,EAAE,IAAI,CACb,MAAM,CAAC;oBACL,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,+BAA+B,CAAC;oBACnD,MAAM,EAAE,IAAI,CACV,EAAE,IAAI,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,EAC/C,yBAAyB,CAC1B;iBACF,CAAC,EACF,iDAAiD,CAClD;gBACD,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,mCAAmC,CAAC;gBACxD,cAAc,EAAE,IAAI,CAAC,KAAK,EAAE,8BAA8B,CAAC;gBAC3D,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,uCAAuC,CAAC;aAC7D,CAAC,EACF,iDAAiD,CAClD;YACD,cAAc,EAAE,IAAI,CAClB,KAAK,EACL,mIAAmI,CACpI;SACF,CAAC,EACF,yLAAyL,CAC1L;KACF;IACD;QACE,iBAAiB;QACjB,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE;YACtE,aAAa;SACd,CAAC;KACH;IACD;QACE,iBAAiB;QACjB,MAAM,CAAC;YACL,GAAG,EAAE,IAAI;YACT,QAAQ,EAAE;gBACR,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,MAAM,CACX;oBACE,WAAW,EAAE,IAAI;oBACjB,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE,IAAI;oBACd,OAAO,EAAE,IAAI;iBACd,EACD,CAAC,SAAS,CAAC,CACZ;aACF;YACD,cAAc,EAAE,KAAK;SACtB,CAAC;KACH;IACD;QACE,aAAa;QACb,MAAM,CAAC;YACL,GAAG,EAAE,IAAI;YACT,MAAM,EAAE;gBACN,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;aAC7D;SACF,CAAC;KACH;IACD,CAAC,wBAAwB,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;CAC7E,CAAC;AAEF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,oBAAoB,GAC/B,MAAM,CAAC,WAAW,CAChB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAChE,CAAC;AAEJ,gEAAgE;AAChE,MAAM,CAAC,MAAM,qBAAqB,GAChC,MAAM,CAAC,WAAW,CAChB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CACjE,CAAC"}

package/dist/dimensions/action-scope/append-journal.d.ts

@@ -0,0 +1,2 @@
+import type { ActionScope } from '../../manifest.js';
+export declare const appendJournal: ActionScope;

package/dist/dimensions/action-scope/append-journal.js

@@ -0,0 +1,2 @@
+export const appendJournal = `append-journal ≜ add entries to the concept journal`;
+//# sourceMappingURL=append-journal.js.map

package/dist/dimensions/action-scope/append-journal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"append-journal.js","sourceRoot":"","sources":["../../../src/dimensions/action-scope/append-journal.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,aAAa,GAAgB,qDAAqD,CAAC"}

package/dist/dimensions/action-scope/commit-own-paths.d.ts

@@ -0,0 +1,2 @@
+import type { ActionScope } from '../../manifest.js';
+export declare const commitOwnPaths: ActionScope;

package/dist/dimensions/action-scope/commit-own-paths.js

@@ -0,0 +1,2 @@
+export const commitOwnPaths = `commit-own-paths ≜ commit its own changes, by path`;
+//# sourceMappingURL=commit-own-paths.js.map

package/dist/dimensions/action-scope/commit-own-paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commit-own-paths.js","sourceRoot":"","sources":["../../../src/dimensions/action-scope/commit-own-paths.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,cAAc,GAAgB,oDAAoD,CAAC"}

package/dist/dimensions/action-scope/edit-own-outputs.d.ts

@@ -0,0 +1,2 @@
+import type { ActionScope } from '../../manifest.js';
+export declare const editOwnOutputs: ActionScope;

package/dist/dimensions/action-scope/edit-own-outputs.js

@@ -0,0 +1,2 @@
+export const editOwnOutputs = `edit-own-outputs ≜ change only the outputs it was assigned`;
+//# sourceMappingURL=edit-own-outputs.js.map

package/dist/dimensions/action-scope/edit-own-outputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edit-own-outputs.js","sourceRoot":"","sources":["../../../src/dimensions/action-scope/edit-own-outputs.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,cAAc,GAAgB,4DAA4D,CAAC"}

package/dist/dimensions/action-scope/integrate.d.ts

@@ -0,0 +1,2 @@
+import type { ActionScope } from '../../manifest.js';
+export declare const integrate: ActionScope;

package/dist/dimensions/action-scope/integrate.js

@@ -0,0 +1,2 @@
+export const integrate = `integrate ≜ combine accepted work and run the whole check`;
+//# sourceMappingURL=integrate.js.map

package/dist/dimensions/action-scope/integrate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrate.js","sourceRoot":"","sources":["../../../src/dimensions/action-scope/integrate.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,SAAS,GAAgB,2DAA2D,CAAC"}

package/dist/dimensions/action-scope/none.d.ts

@@ -0,0 +1,2 @@
+import type { ActionScope } from '../../manifest.js';
+export declare const none: ActionScope;

package/dist/dimensions/action-scope/none.js

@@ -0,0 +1,2 @@
+export const none = `none ≜ changes nothing`;
+//# sourceMappingURL=none.js.map

package/dist/dimensions/action-scope/none.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"none.js","sourceRoot":"","sources":["../../../src/dimensions/action-scope/none.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,IAAI,GAAgB,wBAAwB,CAAC"}

package/dist/dimensions/action-scope/run-checks.d.ts

@@ -0,0 +1,2 @@
+import type { ActionScope } from '../../manifest.js';
+export declare const runChecks: ActionScope;

package/dist/dimensions/action-scope/run-checks.js

@@ -0,0 +1,2 @@
+export const runChecks = `run-checks ≜ run checks and builds`;
+//# sourceMappingURL=run-checks.js.map

package/dist/dimensions/action-scope/run-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-checks.js","sourceRoot":"","sources":["../../../src/dimensions/action-scope/run-checks.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,SAAS,GAAgB,oCAAoC,CAAC"}

package/dist/dimensions/action-scope/write-checks.d.ts

@@ -0,0 +1,2 @@
+import type { ActionScope } from '../../manifest.js';
+export declare const writeChecks: ActionScope;

package/dist/dimensions/action-scope/write-checks.js

@@ -0,0 +1,2 @@
+export const writeChecks = `write-checks ≜ write the checks that bind examples`;
+//# sourceMappingURL=write-checks.js.map

package/dist/dimensions/action-scope/write-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-checks.js","sourceRoot":"","sources":["../../../src/dimensions/action-scope/write-checks.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAgB,oDAAoD,CAAC"}

package/dist/dimensions/action-scope/write-examples.d.ts

@@ -0,0 +1,2 @@
+import type { ActionScope } from '../../manifest.js';
+export declare const writeExamples: ActionScope;

package/dist/dimensions/action-scope/write-examples.js

@@ -0,0 +1,2 @@
+export const writeExamples = `write-examples ≜ write examples and held-out cases`;
+//# sourceMappingURL=write-examples.js.map

package/dist/dimensions/action-scope/write-examples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-examples.js","sourceRoot":"","sources":["../../../src/dimensions/action-scope/write-examples.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,aAAa,GAAgB,oDAAoD,CAAC"}

package/dist/dimensions/assignment/concepts.d.ts

@@ -0,0 +1,2 @@
+import type { Assignment } from '../../manifest.js';
+export declare const concepts: Assignment;

package/dist/dimensions/assignment/concepts.js

@@ -0,0 +1,2 @@
+export const concepts = `concepts ≜ a cut's concepts only`;
+//# sourceMappingURL=concepts.js.map

package/dist/dimensions/assignment/concepts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"concepts.js","sourceRoot":"","sources":["../../../src/dimensions/assignment/concepts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,QAAQ,GAAe,kCAAkC,CAAC"}

package/dist/dimensions/assignment/cut-brief.d.ts

@@ -0,0 +1,2 @@
+import type { Assignment } from '../../manifest.js';
+export declare const cutBrief: Assignment;

package/dist/dimensions/assignment/cut-brief.js

@@ -0,0 +1,2 @@
+export const cutBrief = `cut-brief ≜ a cut's concepts, examples and decisions in force, by reference`;
+//# sourceMappingURL=cut-brief.js.map

package/dist/dimensions/assignment/cut-brief.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cut-brief.js","sourceRoot":"","sources":["../../../src/dimensions/assignment/cut-brief.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,QAAQ,GAAe,6EAA6E,CAAC"}

package/dist/dimensions/assignment/examples.d.ts

@@ -0,0 +1,2 @@
+import type { Assignment } from '../../manifest.js';
+export declare const examples: Assignment;

package/dist/dimensions/assignment/examples.js

@@ -0,0 +1,2 @@
+export const examples = `examples ≜ the agreed examples to bind`;
+//# sourceMappingURL=examples.js.map

package/dist/dimensions/assignment/examples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"examples.js","sourceRoot":"","sources":["../../../src/dimensions/assignment/examples.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,QAAQ,GAAe,wCAAwC,CAAC"}

package/dist/dimensions/assignment/intent.d.ts

@@ -0,0 +1,2 @@
+import type { Assignment } from '../../manifest.js';
+export declare const intent: Assignment;

package/dist/dimensions/assignment/intent.js

@@ -0,0 +1,2 @@
+export const intent = `intent ≜ what the operator wants and why, in any words`;
+//# sourceMappingURL=intent.js.map

package/dist/dimensions/assignment/intent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent.js","sourceRoot":"","sources":["../../../src/dimensions/assignment/intent.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,MAAM,GAAe,wDAAwD,CAAC"}

package/dist/dimensions/assignment/judgment-brief.d.ts

@@ -0,0 +1,2 @@
+import type { Assignment } from '../../manifest.js';
+export declare const judgmentBrief: Assignment;

package/dist/dimensions/assignment/judgment-brief.js

@@ -0,0 +1,2 @@
+export const judgmentBrief = `judgment-brief ≜ the concepts, decisions, examples, held-out results and the work to judge`;
+//# sourceMappingURL=judgment-brief.js.map

package/dist/dimensions/assignment/judgment-brief.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"judgment-brief.js","sourceRoot":"","sources":["../../../src/dimensions/assignment/judgment-brief.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,aAAa,GAAe,4FAA4F,CAAC"}

package/dist/dimensions/assignment/work-package.d.ts

@@ -0,0 +1,2 @@
+import type { Assignment } from '../../manifest.js';
+export declare const workPackage: Assignment;

package/dist/dimensions/assignment/work-package.js

@@ -0,0 +1,2 @@
+export const workPackage = `work-package ≜ the outputs it owns and their visible examples`;
+//# sourceMappingURL=work-package.js.map

package/dist/dimensions/assignment/work-package.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-package.js","sourceRoot":"","sources":["../../../src/dimensions/assignment/work-package.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAe,+DAA+D,CAAC"}