@aeolus-fleet/core 0.19.0 → 0.20.0

package/dist/domain/registry/label.js

@@ -0,0 +1,263 @@
+import { LABEL_HANDLE_MAX_LENGTH, LABEL_HANDLE_PATTERN, LABEL_VALUES_MAX, SHIP_LABELS_MAX, } from '@aeolus-fleet/common';
+import { refuse } from '../shared/errors.js';
+import { ok } from '../shared/result.js';
+/**
+ * Whether a ship carries every value of the selector: exact matches by id,
+ * combined with AND (decision 0031). No selector, or an empty one, selects
+ * every ship.
+ */
+export function carriesEvery(carried, valueIds) {
+    return (valueIds ?? []).every((valueId) => carried.some((label) => label.valueId === valueId));
+}
+const LIMITS = `lowercase a-z, 0-9 and -, at most ${String(LABEL_HANDLE_MAX_LENGTH)} characters (decision 0031)`;
+function isLabelHandle(text) {
+    return text.length <= LABEL_HANDLE_MAX_LENGTH && LABEL_HANDLE_PATTERN.test(text);
+}
+/** A label's key, checked against the limits. */
+export function labelKey(key) {
+    return isLabelHandle(key) ? ok(key) : refuse('INVALID_LABEL_KEY', `A label key is ${LIMITS}`);
+}
+/** A label's value texts: one to the most a label may define, each once, each within the limits. */
+function checkValueTexts(values) {
+    if (values.length === 0 || values.length > LABEL_VALUES_MAX) {
+        return refuse('INVALID_LABEL_VALUES', `A label has 1 to ${String(LABEL_VALUES_MAX)} values (decision 0031)`);
+    }
+    if (values.some((value) => !isLabelHandle(value))) {
+        return refuse('INVALID_LABEL_VALUE', `A label value is ${LIMITS}`);
+    }
+    if (new Set(values).size !== values.length) {
+        return refuse('INVALID_LABEL_VALUES', 'A label names each of its values once');
+    }
+    return ok(undefined);
+}
+/** Each value with the id the label has for its text, or its new id. */
+function withIds(values, kept) {
+    return values.map(({ value, newId }) => ({
+        id: kept.find((held) => held.value === value)?.id ?? newId,
+        value,
+    }));
+}
+function labelEvent(label, change) {
+    return {
+        fleetId: label.fleetId,
+        occurredAt: change.at,
+        actor: change.actor,
+        shipId: label.ownerShipId,
+        type: change.type,
+        details: { labelId: label.id, key: label.key, ...change.details },
+    };
+}
+/** The values as an event's details carry them: flat texts, comma separated, since neither a value nor an id holds a comma. */
+function valuesDetails(values) {
+    return {
+        values: values.map((value) => value.value).join(','),
+        valueIds: values.map((value) => value.id).join(','),
+    };
+}
+/**
+ * A ship defines a label, owning it: a key unique in the fleet and its values,
+ * the label and each value with its new id. A key the fleet has is refused,
+ * naming its owner. LabelDefined names the owner, with the label and its
+ * values.
+ */
+export function defineLabel({ owner, existing, }, input) {
+    const key = labelKey(input.key);
+    if (!key.isOk) {
+        return key;
+    }
+    const texts = checkValueTexts(input.values.map(({ value }) => value));
+    if (!texts.isOk) {
+        return texts;
+    }
+    if (existing) {
+        return refuse('LABEL_KEY_TAKEN', `The fleet has the label ${key.value} already, owned by ${existing.ownerName}`);
+    }
+    const label = {
+        fleetId: owner.fleetId,
+        id: input.id,
+        key: key.value,
+        values: withIds(input.values, []),
+        ownerShipId: owner.id,
+    };
+    return ok({
+        label,
+        events: [
+            labelEvent(label, {
+                at: input.at,
+                actor: input.actor,
+                type: 'LabelDefined',
+                details: valuesDetails(label.values),
+            }),
+        ],
+    });
+}
+/** Only a label's owner changes it or assigns it. */
+function checkOwner({ label, ownerName }, caller) {
+    return label.ownerShipId === caller.shipId
+        ? ok(undefined)
+        : refuse('NOT_THE_LABEL_OWNER', `The label ${label.key} is owned by ${ownerName}: only its owner ${caller.act} it`);
+}
+/**
+ * The owner gives its label the values it has from now on, adding and
+ * removing at once: a value it has keeps its id, a new one gets its new id.
+ * A value ships carry is never removed: the refusal names them. The values
+ * it has already, in any order, change nothing.
+ */
+export function changeLabelValues({ label, ownerName, carriers, }, input) {
+    const owned = checkOwner({ label, ownerName }, { shipId: input.callerShipId, act: 'changes' });
+    if (!owned.isOk) {
+        return owned;
+    }
+    const texts = input.values.map(({ value }) => value);
+    const checked = checkValueTexts(texts);
+    if (!checked.isOk) {
+        return checked;
+    }
+    const removed = label.values.filter((value) => !texts.includes(value.value));
+    const carried = removed
+        .map((value) => ({
+        value,
+        ships: carriers.filter((carrier) => carrier.valueId === value.id).map((carrier) => carrier.shipName),
+    }))
+        .filter(({ ships }) => ships.length > 0);
+    if (carried.length > 0) {
+        const named = carried.map(({ value, ships }) => `${label.key}=${value.value}: ${ships.join(', ')}`).join('; ');
+        return refuse('LABEL_VALUE_CARRIED', `Ships carry ${named}`);
+    }
+    if (removed.length === 0 && texts.length === label.values.length) {
+        return ok({ label, events: [] });
+    }
+    const changed = {
+        ...label,
+        values: withIds(input.values, label.values),
+    };
+    return ok({
+        label: changed,
+        events: [
+            labelEvent(changed, {
+                at: input.at,
+                actor: input.actor,
+                type: 'LabelValuesChanged',
+                details: valuesDetails(changed.values),
+            }),
+        ],
+    });
+}
+/**
+ * The owner deletes its label with its values, freeing its key. A label any
+ * ship carries a value of is never deleted: the refusal names the ships.
+ * LabelDeleted names the owner, with the label.
+ */
+export function deleteLabel({ label, ownerName, carrierNames }, input) {
+    const owned = checkOwner({ label, ownerName }, { shipId: input.callerShipId, act: 'deletes' });
+    if (!owned.isOk) {
+        return owned;
+    }
+    if (carrierNames.length > 0) {
+        return refuse('LABEL_CARRIED', `Ships carry the label ${label.key}: ${[...new Set(carrierNames)].join(', ')}`);
+    }
+    return ok({ events: [labelEvent(label, { at: input.at, actor: input.actor, type: 'LabelDeleted' })] });
+}
+function assignmentEvent({ label, assignment }, change) {
+    return {
+        fleetId: assignment.fleetId,
+        occurredAt: change.at,
+        actor: change.actor,
+        shipId: assignment.shipId,
+        type: change.type,
+        details: {
+            labelId: label.id,
+            key: label.key,
+            valueId: assignment.valueId,
+            value: label.values.find((value) => value.id === assignment.valueId)?.value ?? '',
+        },
+    };
+}
+/** No ship labels itself: that would let it enforce a plugin's policy on its own (decision 0031). */
+function checkNotOwnShip(label, ship) {
+    return ship.id === label.ownerShipId ? refuse('LABEL_ON_OWN_SHIP', `No ship labels itself: ${label.key} is your own ship's label`) : ok(undefined);
+}
+/**
+ * The owner gives a ship one of its label's values, by its id: the ship
+ * holds a set of values, so it may carry several of one label. A value it
+ * carries changes nothing. Never the owner's own ship or a retired ship;
+ * argo and the viewer ship as any other (decision 0016). A ship carries at
+ * most 20 values. LabelAssigned names the ship, with the label and the value.
+ */
+export function assignLabel({ label, ownerName, ship, carried, }, input) {
+    const owned = checkOwner({ label, ownerName }, { shipId: input.callerShipId, act: 'assigns' });
+    if (!owned.isOk) {
+        return owned;
+    }
+    const notOwn = checkNotOwnShip(label, ship);
+    if (!notOwn.isOk) {
+        return notOwn;
+    }
+    if (ship.retiredAt !== null) {
+        return refuse('SHIP_ALREADY_RETIRED', `${ship.name} is retired`);
+    }
+    if (carried.some((each) => each.valueId === input.valueId)) {
+        return ok({ assignment: undefined, events: [] });
+    }
+    if (carried.length >= SHIP_LABELS_MAX) {
+        return refuse('SHIP_LABEL_LIMIT_REACHED', `${ship.name} carries ${String(SHIP_LABELS_MAX)} labels, the most a ship carries (decision 0031)`);
+    }
+    const assignment = {
+        fleetId: ship.fleetId,
+        shipId: ship.id,
+        labelId: label.id,
+        valueId: input.valueId,
+    };
+    return ok({
+        assignment,
+        events: [assignmentEvent({ label, assignment }, { type: 'LabelAssigned', at: input.at, actor: input.actor })],
+    });
+}
+/**
+ * The owner takes one value of its label off a ship. A ship that does not
+ * carry it changes nothing. LabelUnassigned names the ship, with the label
+ * and the value it carried.
+ */
+export function unassignLabel({ label, ownerName, ship, carried, }, input) {
+    const owned = checkOwner({ label, ownerName }, { shipId: input.callerShipId, act: 'unassigns' });
+    if (!owned.isOk) {
+        return owned;
+    }
+    const notOwn = checkNotOwnShip(label, ship);
+    if (!notOwn.isOk) {
+        return notOwn;
+    }
+    const current = carried.find((each) => each.valueId === input.valueId);
+    if (!current) {
+        return ok({ unassigned: undefined, events: [] });
+    }
+    return ok({
+        unassigned: current,
+        events: [assignmentEvent({ label: label, assignment: current }, { type: 'LabelUnassigned', at: input.at, actor: input.actor })],
+    });
+}
+/**
+ * A ship is retired: the labels it owns retire with it (their meaning
+ * retires with their owner), each after every assignment of it goes, and
+ * the values it carries go. LabelUnassigned for every assignment that goes,
+ * LabelRetired for every label.
+ */
+export function retireLabelsWith({ owned, carried, }, input) {
+    const unassigned = [];
+    const events = [];
+    const unassign = (label, assignment) => {
+        unassigned.push(assignment);
+        events.push(assignmentEvent({ label, assignment }, { type: 'LabelUnassigned', ...input }));
+    };
+    for (const { label, carriers } of owned) {
+        for (const assignment of carriers) {
+            unassign(label, assignment);
+        }
+        events.push(labelEvent(label, { ...input, type: 'LabelRetired' }));
+    }
+    for (const { label, assignment } of carried) {
+        unassign(label, assignment);
+    }
+    return { unassigned, retired: owned.map(({ label }) => label), events };
+}
+//# sourceMappingURL=label.js.map

package/dist/domain/registry/label.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"label.js","sourceRoot":"","sources":["../../../src/domain/registry/label.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,gBAAgB,EAChB,eAAe,GAKhB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAE/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAwDtD;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,OAAgC,EAAE,QAA6C;IAC1G,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC;AACjG,CAAC;AAMD,MAAM,MAAM,GAAG,qCAAqC,MAAM,CAAC,uBAAuB,CAAC,6BAA6B,CAAC;AAEjH,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,IAAI,CAAC,MAAM,IAAI,uBAAuB,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnF,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,EAAE,kBAAkB,MAAM,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,oGAAoG;AACpG,SAAS,eAAe,CAAC,MAAyB;IAChD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,gBAAgB,EAAE,CAAC;QAC5D,OAAO,MAAM,CAAC,sBAAsB,EAAE,oBAAoB,MAAM,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAClD,OAAO,MAAM,CAAC,qBAAqB,EAAE,oBAAoB,MAAM,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QAC3C,OAAO,MAAM,CAAC,sBAAsB,EAAE,uCAAuC,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;AACvB,CAAC;AAED,wEAAwE;AACxE,SAAS,OAAO,CAAC,MAAgC,EAAE,IAA2B;IAC5E,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACvC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,EAAE,EAAE,IAAI,KAAK;QAC1D,KAAK;KACN,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,UAAU,CACjB,KAAY,EACZ,MAIC;IAED,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,MAAM,CAAC,EAAE;QACrB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,KAAK,CAAC,WAAW;QACzB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE;KAClE,CAAC;AACJ,CAAC;AAED,+HAA+H;AAC/H,SAAS,aAAa,CAAC,MAA6B;IAClD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACpD,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;KACpD,CAAC;AACJ,CAAC;AAID;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CACzB,EACE,KAAK,EACL,QAAQ,GAIT,EACD,KAMC;IAED,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,MAAM,CAAC,iBAAiB,EAAE,2BAA2B,GAAG,CAAC,KAAK,sBAAsB,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACnH,CAAC;IACD,MAAM,KAAK,GAAU;QACnB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,GAAG,EAAE,GAAG,CAAC,KAAK;QACd,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,WAAW,EAAE,KAAK,CAAC,EAAE;KACtB,CAAC;IACF,OAAO,EAAE,CAAC;QACR,KAAK;QACL,MAAM,EAAE;YACN,UAAU,CAAC,KAAK,EAAE;gBAChB,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC;aACrC,CAAC;SACH;KACF,CAAC,CAAC;AACL,CAAC;AAID,qDAAqD;AACrD,SAAS,UAAU,CACjB,EAAE,KAAK,EAAE,SAAS,EAAuC,EACzD,MAGC;IAED,OAAO,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,MAAM;QACxC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC;QACf,CAAC,CAAC,MAAM,CAAC,qBAAqB,EAAE,aAAa,KAAK,CAAC,GAAG,gBAAgB,SAAS,oBAAoB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC;AACxH,CAAC;AAID;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EACE,KAAK,EACL,SAAS,EACT,QAAQ,GAKT,EACD,KAKC;IAED,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;IAC/F,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAClB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,OAAO;SACpB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACf,KAAK;QACL,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC;KACrG,CAAC,CAAC;SACF,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/G,OAAO,MAAM,CAAC,qBAAqB,EAAE,eAAe,KAAK,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACjE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,OAAO,GAAU;QACrB,GAAG,KAAK;QACR,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;KAC5C,CAAC;IACF,OAAO,EAAE,CAAC;QACR,KAAK,EAAE,OAAO;QACd,MAAM,EAAE;YACN,UAAU,CAAC,OAAO,EAAE;gBAClB,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;aACvC,CAAC;SACH;KACF,CAAC,CAAC;AACL,CAAC;AAID;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,EAAE,KAAK,EAAE,SAAS,EAAE,YAAY,EAAwE,EACxG,KAAuD;IAEvD,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;IAC/F,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,eAAe,EAAE,yBAAyB,KAAK,CAAC,GAAG,KAAK,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACzG,CAAC;AAED,SAAS,eAAe,CACtB,EAAE,KAAK,EAAE,UAAU,EAA2C,EAC9D,MAA6E;IAE7E,OAAO;QACL,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,UAAU,EAAE,MAAM,CAAC,EAAE;QACrB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE;YACP,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAAC,OAAO,CAAC,EAAE,KAAK,IAAI,EAAE;SAClF;KACF,CAAC;AACJ,CAAC;AAID,qGAAqG;AACrG,SAAS,eAAe,CAAC,KAAY,EAAE,IAAU;IAC/C,OAAO,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,EAAE,0BAA0B,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;AACrJ,CAAC;AAID;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,EACE,KAAK,EACL,SAAS,EACT,IAAI,EACJ,OAAO,GAMR,EACD,KAKC;IAED,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;IAC/F,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,sBAAsB,EAAE,GAAG,IAAI,CAAC,IAAI,aAAa,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,IAAI,eAAe,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC,0BAA0B,EAAE,GAAG,IAAI,CAAC,IAAI,YAAY,MAAM,CAAC,eAAe,CAAC,kDAAkD,CAAC,CAAC;IAC/I,CAAC;IACD,MAAM,UAAU,GAAc;QAC5B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC;IACF,OAAO,EAAE,CAAC;QACR,UAAU;QACV,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;KAC9G,CAAC,CAAC;AACL,CAAC;AAID;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,EACE,KAAK,EACL,SAAS,EACT,IAAI,EACJ,OAAO,GAMR,EACD,KAKC;IAED,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;IACjG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC;IACvE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,EAAE,CAAC;QACR,UAAU,EAAE,OAAO;QACnB,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;KAChI,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,EACE,KAAK,EACL,OAAO,GAIR,EACD,KAAiC;IAEjC,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,UAAqB,EAAE,EAAE;QACvD,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,KAAK,EAAE,CAAC;QACxC,KAAK,MAAM,UAAU,IAAI,QAAQ,EAAE,CAAC;YAClC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC9B,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,OAAO,EAAE,CAAC;QAC5C,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAC1E,CAAC"}

package/dist/domain/registry/list-fleet.d.ts

@@ -1,8 +1,9 @@
-import type { Scope, ShipId, ShipKind, ShipStatus } from '@aeolus-fleet/common';
+import type { LabelValueId, Scope, ShipId, ShipKind, ShipStatus } from '@aeolus-fleet/common';
 import type { Caller } from '../shared/caller.js';
 import type { Location } from './lease.js';
 import { type PingStatus } from './ping-status.js';
 import type { CrewRequest } from './crew-request.js';
+import { type CarriedLabel } from './label.js';
 import type { FleetListing, ShipFacts } from './ports.js';
 import type { ShipReport } from './ship-report.js';
 /** A ship as the fleet snapshot shows it. */
@@ -33,7 +34,7 @@ export interface ListedShip {
     /** The crew's last report with the version of its details, never the details; null until it reports, and while no session crews the ship. */
     report: Omit<ShipReport, 'details'> | null;
     /** The ship's crew request by its settings version and when it was requested, never its settings; null when it holds none. */
-    crewRequest: (Pick<CrewRequest, 'settingsVersion' | 'requestedAt' | 'status' | 'reason'> & {
+    crewRequest: (Pick<CrewRequest, 'settingsVersion' | 'requestedAt' | 'status' | 'reason' | 'attempt' | 'sessionStartedAt'> & {
         /** The trierarch ship it is assigned to, by id and name; null while unassigned. */
         assignedTo: {
             id: ShipId;
@@ -45,6 +46,8 @@ export interface ListedShip {
             name: string;
         } | null;
     }) | null;
+    /** The label values the ship carries, with their labels, by key then value (decision 0031); none for a ship without. */
+    labels: readonly CarriedLabel[];
     /** The harness the crewing session stated, read together with its location; null while no session crews the ship. */
     harness: string | null;
     /** The ship's current model: the last its sessions stated on a send, and when; null before any. */
@@ -57,14 +60,17 @@ export interface ListedShip {
     /** When the operator retired the ship; null while it is active. */
     retiredAt: Date | null;
 }
-export type ListFleet = (caller: Caller) => Promise<ListedShip[]>;
+export type ListFleet = (caller: Caller, input?: {
+    valueIds?: readonly LabelValueId[];
+}) => Promise<ListedShip[]>;
 /**
- * Use case: every ship of the caller's fleet, `argo` included, oldest first.
- * Never a secret, a crew token or their hashes. The caller's scope
- * (fleet:read) is checked before this runs.
+ * Use case: every ship of the caller's fleet, `argo` included, oldest first,
+ * or with label value ids only the ships that carry every one of them
+ * (decision 0031). Never a secret, a crew token or their hashes. The
+ * caller's scope (fleet:read) is checked before this runs.
  */
 export declare function createListFleet(deps: {
     listing: FleetListing;
 }): ListFleet;
 /** A ship as the fleet snapshot shows it, from what the listing read about it. */
-export declare function listedShipOf({ ship, openLease, validSecret, crewRequest, crewRequestAssignee, crewedBy, lastPing, lastModel, lastViewedAt, lastLeaseEndedAt, }: ShipFacts): ListedShip;
+export declare function listedShipOf({ ship, openLease, validSecret, crewRequest, crewRequestAssignee, labels, crewedBy, lastPing, lastModel, lastViewedAt, lastLeaseEndedAt, }: ShipFacts): ListedShip;

package/dist/domain/registry/list-fleet.js

@@ -1,15 +1,17 @@
 import { pingStatusOf } from './ping-status.js';
+import { carriesEvery } from './label.js';
 import { shipStatus } from './ship.js';
 /**
- * Use case: every ship of the caller's fleet, `argo` included, oldest first.
- * Never a secret, a crew token or their hashes. The caller's scope
- * (fleet:read) is checked before this runs.
+ * Use case: every ship of the caller's fleet, `argo` included, oldest first,
+ * or with label value ids only the ships that carry every one of them
+ * (decision 0031). Never a secret, a crew token or their hashes. The
+ * caller's scope (fleet:read) is checked before this runs.
  */
 export function createListFleet(deps) {
-    return async (caller) => (await deps.listing.ships(caller.fleetId)).map(listedShipOf);
+    return async (caller, input) => (await deps.listing.ships(caller.fleetId)).filter((facts) => carriesEvery(facts.labels, input?.valueIds)).map(listedShipOf);
 }
 /** A ship as the fleet snapshot shows it, from what the listing read about it. */
-export function listedShipOf({ ship, openLease, validSecret, crewRequest, crewRequestAssignee, crewedBy, lastPing, lastModel, lastViewedAt, lastLeaseEndedAt, }) {
+export function listedShipOf({ ship, openLease, validSecret, crewRequest, crewRequestAssignee, labels, crewedBy, lastPing, lastModel, lastViewedAt, lastLeaseEndedAt, }) {
     const status = shipStatus(ship, { isCrewed: openLease !== null });
     return {
         id: ship.id,
@@ -31,7 +33,10 @@ export function listedShipOf({ ship, openLease, validSecret, crewRequest, crewRe
             status: crewRequest.status,
             reason: crewRequest.reason,
             crewedBy,
+            attempt: crewRequest.attempt,
+            sessionStartedAt: crewRequest.sessionStartedAt,
         },
+        labels,
         harness: openLease?.harness ?? null,
         model: lastModel,
         awaitingCrewSince: status === 'awaitingCrew' ? latestOf(ship.createdAt, lastLeaseEndedAt) : null,

package/dist/domain/registry/list-fleet.js.map

@@ -1 +1 @@
-{"version":3,"file":"list-fleet.js","sourceRoot":"","sources":["../../../src/domain/registry/list-fleet.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAmB,MAAM,kBAAkB,CAAC;AAIjE,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AA+CvC;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAA+B;IAC7D,OAAO,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;AACxF,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,YAAY,CAAC,EAC3B,IAAI,EACJ,SAAS,EACT,WAAW,EACX,WAAW,EACX,mBAAmB,EACnB,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,gBAAgB,GACN;IACV,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,SAAS,KAAK,IAAI,EAAE,CAAC,CAAC;IAClE,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,MAAM;QACN,cAAc,EAAE,WAAW,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,SAAS,KAAK,IAAI,EAAE;QAC5G,QAAQ,EAAE,SAAS,EAAE,QAAQ,IAAI,IAAI;QACrC,iGAAiG;QACjG,UAAU,EAAE,SAAS,EAAE,UAAU,IAAI,YAAY;QACjD,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;QAC5B,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;QACnE,WAAW,EAAE,WAAW,IAAI;YAC1B,eAAe,EAAE,WAAW,CAAC,eAAe;YAC5C,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,UAAU,EAAE,mBAAmB;YAC/B,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,QAAQ;SACT;QACD,OAAO,EAAE,SAAS,EAAE,OAAO,IAAI,IAAI;QACnC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI;QAChG,SAAS,EAAE,IAAI,CAAC,SAAS;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAc;IAC7E,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAW,EAAE,MAAmB;IAChD,OAAO,MAAM,KAAK,IAAI,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;AAC5D,CAAC"}
+{"version":3,"file":"list-fleet.js","sourceRoot":"","sources":["../../../src/domain/registry/list-fleet.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAmB,MAAM,kBAAkB,CAAC;AAEjE,OAAO,EAAE,YAAY,EAAqB,MAAM,YAAY,CAAC;AAG7D,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAiDvC;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,IAA+B;IAC7D,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAC7B,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;AAChI,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,YAAY,CAAC,EAC3B,IAAI,EACJ,SAAS,EACT,WAAW,EACX,WAAW,EACX,mBAAmB,EACnB,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,gBAAgB,GACN;IACV,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,SAAS,KAAK,IAAI,EAAE,CAAC,CAAC;IAClE,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,MAAM;QACN,cAAc,EAAE,WAAW,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,SAAS,KAAK,IAAI,EAAE;QAC5G,QAAQ,EAAE,SAAS,EAAE,QAAQ,IAAI,IAAI;QACrC,iGAAiG;QACjG,UAAU,EAAE,SAAS,EAAE,UAAU,IAAI,YAAY;QACjD,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;QAC5B,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;QACnE,WAAW,EAAE,WAAW,IAAI;YAC1B,eAAe,EAAE,WAAW,CAAC,eAAe;YAC5C,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,UAAU,EAAE,mBAAmB;YAC/B,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,QAAQ;YACR,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;SAC/C;QACD,MAAM;QACN,OAAO,EAAE,SAAS,EAAE,OAAO,IAAI,IAAI;QACnC,KAAK,EAAE,SAAS;QAChB,iBAAiB,EAAE,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI;QAChG,SAAS,EAAE,IAAI,CAAC,SAAS;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAc;IAC7E,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAW,EAAE,MAAmB;IAChD,OAAO,MAAM,KAAK,IAAI,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;AAC5D,CAAC"}

package/dist/domain/registry/list-labels.d.ts

@@ -0,0 +1,12 @@
+import type { Caller } from '../shared/caller.js';
+import type { ListedLabel } from './label.js';
+import type { FleetListing } from './ports.js';
+export type ListLabels = (caller: Caller) => Promise<ListedLabel[]>;
+/**
+ * Use case: the labels of the caller's fleet by key, each with its values and
+ * its owner (decision 0031). The caller's scope (fleet:read) is checked
+ * before this runs.
+ */
+export declare function createListLabels(deps: {
+    listing: Pick<FleetListing, 'labels'>;
+}): ListLabels;

package/dist/domain/registry/list-labels.js

@@ -0,0 +1,9 @@
+/**
+ * Use case: the labels of the caller's fleet by key, each with its values and
+ * its owner (decision 0031). The caller's scope (fleet:read) is checked
+ * before this runs.
+ */
+export function createListLabels(deps) {
+    return (caller) => deps.listing.labels(caller.fleetId);
+}
+//# sourceMappingURL=list-labels.js.map

package/dist/domain/registry/list-labels.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-labels.js","sourceRoot":"","sources":["../../../src/domain/registry/list-labels.ts"],"names":[],"mappings":"AAMA;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAA+C;IAC9E,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACzD,CAAC"}

package/dist/domain/registry/ports.d.ts

@@ -1,8 +1,10 @@
-import type { DeliveryId, DeliveryState, FleetId, LeaseId, MessageId, ShipId } from '@aeolus-fleet/common';
+import type { DeliveryId, DeliveryState, FleetId, LabelId, LabelValueId, LeaseId, MessageId, ShipId } from '@aeolus-fleet/common';
 import type { Recipient } from '../shared/selector.js';
+import type { ClearRequest } from './clear-request.js';
 import type { CrewRequest } from './crew-request.js';
 import type { Fleet } from './fleet.js';
 import type { InstallationRequest } from './installation-request.js';
+import type { CarriedLabel, Label, ListedLabel, ShipLabel } from './label.js';
 import type { FleetLimitSettings, InstallationSettings } from './limits.js';
 import type { Lease, Location } from './lease.js';
 import type { Ship } from './ship.js';
@@ -178,6 +180,58 @@ export interface CrewRequestRepository {
     /** The requests assigned to this trierarch ship, oldest ship first. */
     listAssignedTo(fleetId: FleetId, trierarchShipId: ShipId): Promise<CrewRequest[]>;
 }
+/**
+ * Outbound port: the pending clear requests (decision 0032), one per
+ * trierarch, ship and repository, always within one fleet. Lock the
+ * trierarch ship first.
+ */
+export interface ClearRequestRepository {
+    find(fleetId: FleetId, key: {
+        trierarchShipId: ShipId;
+        shipId: ShipId;
+        repository: string;
+    }): Promise<ClearRequest | undefined>;
+    save(request: ClearRequest): Promise<void>;
+    remove(fleetId: FleetId, key: {
+        trierarchShipId: ShipId;
+        shipId: ShipId;
+        repository: string;
+    }): Promise<void>;
+    /** Every trierarch's, by trierarch, oldest first. */
+    list(fleetId: FleetId): Promise<ClearRequest[]>;
+    /** One trierarch's, oldest first. */
+    listFor(fleetId: FleetId, trierarchShipId: ShipId): Promise<ClearRequest[]>;
+}
+/**
+ * Outbound port: the fleet's labels, their values and the values its ships
+ * carry, always within one fleet (decision 0031). A retired or deleted label
+ * is gone. Lock order: the ship being labelled, then the label.
+ */
+export interface LabelRepository {
+    /** Holds the lock on this key in the fleet until the unit of work ends, so two definitions of one key never both find it free. */
+    lockKey(fleetId: FleetId, key: string): Promise<void>;
+    /** The label with this key, read without a lock. */
+    findByKey(fleetId: FleetId, key: string): Promise<Label | undefined>;
+    /** The label, read without a lock. */
+    find(fleetId: FleetId, labelId: LabelId): Promise<Label | undefined>;
+    /** The label, locked until the unit of work ends: changing its values. */
+    findForUpdate(fleetId: FleetId, labelId: LabelId): Promise<Label | undefined>;
+    /** The label that has this value, held until the unit of work ends against a change of its values, its deletion or its retirement, as an assignment holds it. */
+    findByValueForShare(fleetId: FleetId, valueId: LabelValueId): Promise<Label | undefined>;
+    /** The labels this ship owns, by key, each locked against assignments until the unit of work ends: they go. */
+    listOwnedByForUpdate(fleetId: FleetId, ownerShipId: ShipId): Promise<Label[]>;
+    /** Stores the label with its values, in their order, replacing the values it had. A removed value no ship carries by then. */
+    save(label: Label): Promise<void>;
+    /** The label goes, with its values. No ship carries any of them by then. */
+    remove(fleetId: FleetId, labelId: LabelId): Promise<void>;
+    /** The values the ship carries. */
+    carriedBy(fleetId: FleetId, shipId: ShipId): Promise<ShipLabel[]>;
+    /** Every ship's assignment of a value of this label, by ship. */
+    carriersOf(fleetId: FleetId, labelId: LabelId): Promise<ShipLabel[]>;
+    /** The ship carries the value, beside the values it carries. */
+    assign(assignment: ShipLabel): Promise<void>;
+    unassign(assignment: Pick<ShipLabel, 'fleetId' | 'shipId' | 'valueId'>): Promise<void>;
+}
 /** A delivery a lease held in flight, pending again: which one, the message it carries, who it is for and its claims so far. */
 export interface ReturnedDelivery {
     deliveryId: DeliveryId;
@@ -236,6 +290,8 @@ export interface ShipFacts {
         id: ShipId;
         name: string;
     } | null;
+    /** The label values the ship carries, by key then value (decision 0031). */
+    labels: readonly CarriedLabel[];
     /**
      * The ship that got the starting prompt the open lease claimed with, by id
      * and name: the actor of the ship's last StartingPromptIssued before the
@@ -304,6 +360,8 @@ export interface InstallationFleets {
 }
 export interface FleetListing {
     ships(fleetId: FleetId): Promise<ShipFacts[]>;
+    /** The fleet's labels by key, each with its values and its owner by id and name (decision 0031). */
+    labels(fleetId: FleetId): Promise<ListedLabel[]>;
     /** One ship of the fleet, read the same way; undefined when the fleet has no such ship. */
     ship(fleetId: FleetId, shipId: ShipId): Promise<ShipFacts | undefined>;
     /**

package/dist/domain/registry/read-clear-requests.d.ts

@@ -0,0 +1,15 @@
+import { type Caller } from '../shared/caller.js';
+import type { ClearRequest } from './clear-request.js';
+import type { ClearRequestRepository } from './ports.js';
+/** A pending clear request as it is read: whose, which worktree, who asked and when. */
+export type ListedClearRequest = Omit<ClearRequest, 'fleetId'>;
+export type ReadClearRequests = (caller: Caller) => Promise<ListedClearRequest[]>;
+/**
+ * Use case: the pending clear requests (decision 0032). A caller with
+ * fleet:read reads every trierarch's, so the console shows a worktree
+ * clearing; a trierarch with crew:run reads its own. One of the two scopes is
+ * checked before this runs.
+ */
+export declare function createReadClearRequests(deps: {
+    clearRequests: Pick<ClearRequestRepository, 'list' | 'listFor'>;
+}): ReadClearRequests;

package/dist/domain/registry/read-clear-requests.js

@@ -0,0 +1,16 @@
+import { hasScope } from '../shared/caller.js';
+/**
+ * Use case: the pending clear requests (decision 0032). A caller with
+ * fleet:read reads every trierarch's, so the console shows a worktree
+ * clearing; a trierarch with crew:run reads its own. One of the two scopes is
+ * checked before this runs.
+ */
+export function createReadClearRequests(deps) {
+    return async (caller) => {
+        const requests = hasScope(caller, 'fleet:read')
+            ? await deps.clearRequests.list(caller.fleetId)
+            : await deps.clearRequests.listFor(caller.fleetId, caller.shipId);
+        return requests.map(({ trierarchShipId, shipId, repository, requestedBy, requestedAt }) => ({ trierarchShipId, shipId, repository, requestedBy, requestedAt }));
+    };
+}
+//# sourceMappingURL=read-clear-requests.js.map

package/dist/domain/registry/read-clear-requests.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-clear-requests.js","sourceRoot":"","sources":["../../../src/domain/registry/read-clear-requests.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAe,MAAM,qBAAqB,CAAC;AAS5D;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAyE;IAC/G,OAAO,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;YAC7C,CAAC,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;YAC/C,CAAC,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QACpE,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IAClK,CAAC,CAAC;AACJ,CAAC"}

package/dist/domain/registry/report-crew-status.d.ts

@@ -15,12 +15,15 @@ export type ReportCrewStatusRefusal = DomainError<'SHIP_NOT_FOUND' | 'CREW_REQUE
 export type ReportCrewStatus = (caller: Caller, input: {
     shipId: ShipId;
     status: CrewStatus;
+    attempt?: number;
+    startedAt?: string | null;
 }) => Promise<Result<undefined, ReportCrewStatusRefusal>>;
 /**
  * Use case: the trierarch a ship's crew request is assigned to writes how its
- * crew stands. Its scope (crew:run) is checked before this runs. In one unit
- * of work, locking the ship first: the status and, when it changed,
- * CrewStatusChanged.
+ * crew stands, with the restart attempt and when the session started (#332;
+ * left out, the first start with no session running). Its scope (crew:run)
+ * is checked before this runs. In one unit of work, locking the ship first:
+ * the status and, when anything of it changed, CrewStatusChanged.
  */
 export declare function createReportCrewStatus(deps: {
     uow: UnitOfWork<ReportCrewStatusTx>;

package/dist/domain/registry/report-crew-status.js

@@ -4,9 +4,10 @@ import { ok } from '../shared/result.js';
 import { reportCrewStatus } from './crew-request.js';
 /**
  * Use case: the trierarch a ship's crew request is assigned to writes how its
- * crew stands. Its scope (crew:run) is checked before this runs. In one unit
- * of work, locking the ship first: the status and, when it changed,
- * CrewStatusChanged.
+ * crew stands, with the restart attempt and when the session started (#332;
+ * left out, the first start with no session running). Its scope (crew:run)
+ * is checked before this runs. In one unit of work, locking the ship first:
+ * the status and, when anything of it changed, CrewStatusChanged.
  */
 export function createReportCrewStatus(deps) {
     return (caller, input) => deps.uow.run(async (tx) => {
@@ -14,7 +15,13 @@ export function createReportCrewStatus(deps) {
         if (!ship) {
             return refuse('SHIP_NOT_FOUND', `Ship ${input.shipId} does not exist`);
         }
-        const reported = reportCrewStatus({ ship, current: await tx.crewRequests.find(caller.fleetId, ship.id), trierarchShipId: caller.shipId }, { status: input.status, at: deps.clock.now(), actor: shipActor(caller.shipId) });
+        const reported = reportCrewStatus({ ship, current: await tx.crewRequests.find(caller.fleetId, ship.id), trierarchShipId: caller.shipId }, {
+            status: input.status,
+            attempt: input.attempt ?? 0,
+            sessionStartedAt: input.startedAt === undefined || input.startedAt === null ? null : new Date(input.startedAt),
+            at: deps.clock.now(),
+            actor: shipActor(caller.shipId),
+        });
         if (!reported.isOk) {
             return reported;
         }

package/dist/domain/registry/report-crew-status.js.map

@@ -1 +1 @@
-{"version":3,"file":"report-crew-status.js","sourceRoot":"","sources":["../../../src/domain/registry/report-crew-status.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,SAAS,EAAiB,MAAM,qBAAqB,CAAC;AAC5E,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAerD;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAA6E;IAClH,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CACvB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAuD,EAAE;QAC7E,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACxE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,MAAM,CAAC,gBAAgB,EAAE,QAAQ,KAAK,CAAC,MAAM,iBAAiB,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,QAAQ,GAAG,gBAAgB,CAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,EACtG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAChF,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACnB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,MAAM,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC1C,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACP,CAAC"}
+{"version":3,"file":"report-crew-status.js","sourceRoot":"","sources":["../../../src/domain/registry/report-crew-status.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,SAAS,EAAiB,MAAM,qBAAqB,CAAC;AAC5E,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAkBrD;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAA6E;IAClH,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CACvB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAuD,EAAE;QAC7E,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACxE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,MAAM,CAAC,gBAAgB,EAAE,QAAQ,KAAK,CAAC,MAAM,iBAAiB,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,QAAQ,GAAG,gBAAgB,CAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,EACtG;YACE,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,CAAC;YAC3B,gBAAgB,EAAE,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;YAC9G,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE;YACpB,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;SAChC,CACF,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACnB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,MAAM,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC1C,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/domain/registry/request-worktree-clear.d.ts

@@ -0,0 +1,31 @@
+import type { IdGenerator, ShipId } from '@aeolus-fleet/common';
+import type { Caller } from '../shared/caller.js';
+import type { Clock } from '../shared/clock.js';
+import { type DomainError } from '../shared/errors.js';
+import { type EventLog } from '../shared/events.js';
+import { type Result } from '../shared/result.js';
+import type { UnitOfWork } from '../shared/unit-of-work.js';
+import { type RequestWorktreeClearRefusal } from './clear-request.js';
+import type { ClearRequestRepository, ShipRepository } from './ports.js';
+export interface RequestWorktreeClearTx {
+    ships: Pick<ShipRepository, 'find' | 'findForUpdate'>;
+    clearRequests: ClearRequestRepository;
+    events: EventLog;
+}
+export type RequestWorktreeClearUseCaseRefusal = DomainError<'SHIP_NOT_FOUND'> | RequestWorktreeClearRefusal;
+export type RequestWorktreeClear = (caller: Caller, input: {
+    trierarchShipId: ShipId;
+    shipId: ShipId;
+    repository: string;
+}) => Promise<Result<undefined, RequestWorktreeClearUseCaseRefusal>>;
+/**
+ * Use case: the caller asks a trierarch to clear the worktree it kept for a
+ * ship in a repository (decision 0032). Its scope (fleet:manage) is checked
+ * before this runs. In one unit of work, locking the trierarch ship first so
+ * two requests never both pass its limit: the request and its event.
+ */
+export declare function createRequestWorktreeClear(deps: {
+    uow: UnitOfWork<RequestWorktreeClearTx>;
+    clock: Clock;
+    ids: IdGenerator;
+}): RequestWorktreeClear;