silvermoon 0.3.0-rc.2 → 0.4.0

package/dist/src/foundation/command-message/observation.js

@@ -0,0 +1,364 @@
+import { createHash } from "node:crypto";
+import { respond } from "../report/index.js";
+import { assertSchemaVersion } from "../schema/index.js";
+export const DOMAIN_MESSAGE_SCHEMA_VERSION = 1;
+const PROGRESS = new Set(["initial", "accepted", "observing", "ready", "blocked"]);
+const TERMINAL_PROGRESS = new Set(["ready", "blocked"]);
+/** @pure */
+function isRecord(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+/** @pure */
+export function clone(value) {
+    return structuredClone(value);
+}
+/** @pure */
+export function deepFreeze(value) {
+    const owned = clone(value);
+    const pending = owned !== null && typeof owned === "object" ? [owned] : [];
+    while (pending.length > 0) {
+        const current = pending.pop();
+        if (current === undefined || Object.isFrozen(current))
+            continue;
+        for (const child of Object.values(current)) {
+            if (child !== null && typeof child === "object")
+                pending.push(child);
+        }
+        Object.freeze(current);
+    }
+    return owned;
+}
+/** @pure */
+function frozenClone(value) {
+    return deepFreeze(value);
+}
+export class DomainInvariantError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "DomainInvariantError";
+    }
+}
+/** @pure */
+export function initialInternalObservation() {
+    return deepFreeze({
+        actions: {},
+        intention: null,
+        nextSequence: 1,
+        observation: null,
+        progress: "initial",
+        responseContext: null,
+        responseKind: null,
+        responseMetadata: null,
+    });
+}
+/** @pure */
+function requireMessage(state, message) {
+    try {
+        assertSchemaVersion(message?.schemaVersion, [DOMAIN_MESSAGE_SCHEMA_VERSION], "domain message schema");
+    }
+    catch (cause) {
+        throw new DomainInvariantError(cause instanceof Error ? cause.message : String(cause));
+    }
+    if (message.sequence !== state.nextSequence) {
+        throw new DomainInvariantError(`Expected domain message sequence ${state.nextSequence}, received ${message.sequence}`);
+    }
+    if (typeof message.type !== "string" || message.type.length === 0) {
+        throw new DomainInvariantError("Domain message type must be a non-empty string");
+    }
+}
+/** @pure */
+function transitionProgress(current, next) {
+    if (!PROGRESS.has(next)) {
+        throw new DomainInvariantError(`Unknown command progress: ${next}`);
+    }
+    if (TERMINAL_PROGRESS.has(current)) {
+        throw new DomainInvariantError(`Cannot transition command progress from terminal state ${current}`);
+    }
+    if (current === "initial" && next !== "accepted") {
+        throw new DomainInvariantError(`Command progress must transition from initial to accepted, not ${next}`);
+    }
+    if (current === "accepted" && next === "initial") {
+        throw new DomainInvariantError("Command progress cannot return to initial");
+    }
+    return next;
+}
+/** @pure */
+function applyObservationFact(state, fact) {
+    if (typeof fact?.type !== "string" || fact.type.length === 0) {
+        throw new DomainInvariantError("Observation fact type must be a non-empty string");
+    }
+    if (!fact.observation || typeof fact.observation.state !== "string") {
+        throw new DomainInvariantError(`${fact.type} requires a structured observation`);
+    }
+    const progress = transitionProgress(state.progress, fact.progress);
+    return {
+        ...state,
+        observation: frozenClone(fact.observation),
+        progress,
+        responseContext: frozenClone(fact.responseContext ?? {}),
+    };
+}
+/** @pure */
+export function reduceObservation(state, message) {
+    const messageType = message.type;
+    requireMessage(state, message);
+    let next = { ...state, nextSequence: state.nextSequence + 1 };
+    if (message.type === "intention.accepted") {
+        if (state.intention !== null) {
+            throw new DomainInvariantError("A command can accept only one intention");
+        }
+        if (!isRecord(message.intention)
+            || typeof message.intention.command !== "string"
+            || !isRecord(message.intention.args)) {
+            throw new DomainInvariantError("intention.accepted requires a normalized command and args");
+        }
+        next.intention = frozenClone(message.intention);
+        next.progress = transitionProgress(state.progress, "accepted");
+        return deepFreeze(next);
+    }
+    if (state.intention === null) {
+        throw new DomainInvariantError("The first domain message must be intention.accepted");
+    }
+    if (message.type === "observation.fact") {
+        next = applyObservationFact(next, message.fact);
+        return deepFreeze(next);
+    }
+    if (message.type === "action.requested") {
+        if (TERMINAL_PROGRESS.has(state.progress)) {
+            throw new DomainInvariantError("Cannot request an action after a terminal observation");
+        }
+        if (state.actions[message.actionId] !== undefined) {
+            throw new DomainInvariantError(`Duplicate action id: ${message.actionId}`);
+        }
+        if (!isRecord(message.action) || typeof message.action.type !== "string") {
+            throw new DomainInvariantError(`Action ${message.actionId} requires a structured request`);
+        }
+        next.actions = {
+            ...state.actions,
+            [message.actionId]: {
+                status: "requested",
+                type: message.action.type,
+            },
+        };
+        return deepFreeze(next);
+    }
+    if (message.type === "action.finished") {
+        const requested = state.actions[message.actionId];
+        if (requested === undefined) {
+            throw new DomainInvariantError(`Action ${message.actionId} finished without being requested`);
+        }
+        if (requested.status !== "requested") {
+            throw new DomainInvariantError(`Action ${message.actionId} finished more than once`);
+        }
+        if (requested.type !== message.actionType) {
+            throw new DomainInvariantError(`Action ${message.actionId} changed type from ${requested.type} to ${message.actionType}`);
+        }
+        if (!new Set(["success", "failure"]).has(message.status)) {
+            throw new DomainInvariantError(`Action ${message.actionId} has invalid status ${message.status}`);
+        }
+        if (!Array.isArray(message.facts)) {
+            throw new DomainInvariantError(`Action ${message.actionId} facts must be an array`);
+        }
+        if (message.status === "success" && !isRecord(message.result)) {
+            throw new DomainInvariantError(`Successful action ${message.actionId} requires a structured result`);
+        }
+        if (message.status === "failure" && message.problem.type.length === 0) {
+            throw new DomainInvariantError(`Failed action ${message.actionId} requires a structured problem`);
+        }
+        next.actions = {
+            ...state.actions,
+            [message.actionId]: {
+                status: message.status,
+                type: message.actionType,
+            },
+        };
+        for (const fact of message.facts ?? []) {
+            next = applyObservationFact(next, fact);
+        }
+        return deepFreeze(next);
+    }
+    if (message.type === "response.created") {
+        if (!TERMINAL_PROGRESS.has(state.progress) || state.observation === null) {
+            throw new DomainInvariantError("Cannot create a response before a terminal observation");
+        }
+        if (Object.values(state.actions).some(({ status }) => status === "requested")) {
+            throw new DomainInvariantError("Cannot create a response while an action is pending");
+        }
+        if (state.responseKind !== null) {
+            throw new DomainInvariantError("A command can create only one response");
+        }
+        if (typeof message.kind !== "string"
+            || !isRecord(message.metadata)
+            || !/^[0-9a-f]{64}$/.test(message.metadata.hash)
+            || !Number.isInteger(message.metadata.nextStepCount)
+            || !Number.isInteger(message.metadata.itemCount)) {
+            throw new DomainInvariantError("response.created requires a kind and deterministic metadata");
+        }
+        next.responseKind = message.kind;
+        next.responseMetadata = frozenClone(message.metadata);
+        return deepFreeze(next);
+    }
+    throw new DomainInvariantError(`Unknown domain message type: ${messageType}`);
+}
+/** @pure */
+export function replayObservation(messages) {
+    return messages.reduce((state, message) => reduceObservation(state, message), initialInternalObservation());
+}
+/** @pure */
+export function projectIntention(messages) {
+    const accepted = messages.filter((message) => message.type === "intention.accepted");
+    const acceptedMessage = accepted[0];
+    if (accepted.length !== 1
+        || acceptedMessage === undefined
+        || messages[0] !== acceptedMessage) {
+        throw new DomainInvariantError("A domain stream must begin with exactly one intention.accepted message");
+    }
+    return clone(acceptedMessage.intention);
+}
+/** @pure */
+export function projectActions(messages, { allowPending = false } = {}) {
+    const records = new Map();
+    for (const message of messages) {
+        if (message.type === "action.requested") {
+            if (records.has(message.actionId)) {
+                throw new DomainInvariantError(`Duplicate action id: ${message.actionId}`);
+            }
+            records.set(message.actionId, {
+                id: message.actionId,
+                type: message.action.type,
+                status: "requested",
+            });
+            continue;
+        }
+        if (message.type !== "action.finished")
+            continue;
+        const record = records.get(message.actionId);
+        if (record === undefined) {
+            throw new DomainInvariantError(`Action ${message.actionId} finished without being requested`);
+        }
+        if (record.status !== "requested") {
+            throw new DomainInvariantError(`Action ${message.actionId} finished more than once`);
+        }
+        if (record.type !== message.actionType) {
+            throw new DomainInvariantError(`Action ${message.actionId} changed type from ${record.type} to ${message.actionType}`);
+        }
+        record.status = message.status;
+        if (message.status === "success") {
+            record.result = clone(message.result ?? {});
+        }
+        else {
+            record.problem = clone(message.problem);
+        }
+    }
+    if (!allowPending
+        && [...records.values()].some(({ status }) => status === "requested")) {
+        throw new DomainInvariantError("A final report cannot contain a pending action");
+    }
+    return [...records.values()].map((record) => {
+        if (record.status === "success") {
+            return {
+                id: record.id,
+                type: record.type,
+                status: "success",
+                result: clone(record.result ?? {}),
+            };
+        }
+        if (record.status === "failure") {
+            return {
+                id: record.id,
+                type: record.type,
+                status: "failure",
+                problem: clone(record.problem ?? {
+                    type: "missing-action-problem",
+                    summary: "Action failed without a problem",
+                }),
+            };
+        }
+        return { id: record.id, type: record.type, status: "requested" };
+    });
+}
+/** @pure */
+export function projectPublicObservation(internalObservation) {
+    const observation = clone(internalObservation);
+    if ((observation.state === "idea-created" || observation.state === "idea-selected")
+        && observation.guidance?.content !== undefined) {
+        const { content: _content, ...provenance } = observation.guidance;
+        return { ...observation, guidance: provenance };
+    }
+    return observation;
+}
+/** @pure */
+function responseHash(response) {
+    return createHash("sha256")
+        .update(JSON.stringify(response))
+        .digest("hex");
+}
+/** @pure */
+export function responseMetadata(response) {
+    return {
+        hash: responseHash(response),
+        nextStepCount: "nextSteps" in response ? response.nextSteps.length : 0,
+        itemCount: response.kind === "idea-list"
+            ? response.items.length
+            : response.kind === "choice-required"
+                ? response.choices.length
+                : 0,
+    };
+}
+/** @pure */
+export function completionFactType(intention, observation) {
+    if (intention.command === "check") {
+        return observation.state === "project-ready"
+            ? "validation.completed"
+            : "validation.failed";
+    }
+    const byState = {
+        "idea-create-failed": "idea.creation-failed",
+        "idea-created": "idea.created",
+        "idea-not-found": "idea.selection-missed",
+        "idea-selected": observation.state === "idea-selected"
+            && observation.guidance === undefined
+            ? "idea.selected"
+            : "guidance.selected",
+        "ideas-listed": "ideas.listed",
+        "navigation-ready": "idea.navigation-ready",
+        "phase-guidance-invalid": "guidance.validation-failed",
+        "project-setup-required": "project.readiness-blocked",
+        "repository-preparation-required": "repository.readiness-blocked",
+        "repository-sync-required": "repository.readiness-blocked",
+    };
+    return byState[observation.state] ?? "command.completed";
+}
+/** @pure */
+export function buildReport(messages, { requireResponse = true } = {}) {
+    const state = replayObservation(messages);
+    if (state.observation === null || !TERMINAL_PROGRESS.has(state.progress)) {
+        throw new DomainInvariantError("A final report requires a terminal observation");
+    }
+    const intention = projectIntention(messages);
+    const response = respond(intention, {
+        observation: state.observation,
+        responseContext: state.responseContext,
+    });
+    if (requireResponse && state.responseKind === null) {
+        throw new DomainInvariantError("A final report requires one response.created message");
+    }
+    if (state.responseKind !== null && state.responseKind !== response.kind) {
+        throw new DomainInvariantError(`Response kind changed from ${state.responseKind} to ${response.kind}`);
+    }
+    if (state.responseMetadata !== null
+        && JSON.stringify(state.responseMetadata) !== JSON.stringify(responseMetadata(response))) {
+        throw new DomainInvariantError("Response metadata does not match the projected response");
+    }
+    return {
+        intention,
+        observation: projectPublicObservation(state.observation),
+        actions: projectActions(messages),
+        response,
+    };
+}
+/** @pure */
+export function projectReport(messages) {
+    return buildReport(messages);
+}
+//# sourceMappingURL=observation.js.map

package/dist/src/foundation/command-message/observation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observation.js","sourceRoot":"","sources":["../../../../src/foundation/command-message/observation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AASzD,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC;AAE/C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AACnF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AA4GxD,YAAY;AACZ,SAAS,QAAQ,CAAC,KAAgC;IAChD,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,KAAK,CAAI,KAAQ;IAC/B,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,UAAU,CAAI,KAAQ;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,OAAO,GACX,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC9B,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAChE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,YAAY;AACZ,SAAS,WAAW,CAAI,KAAQ;IAC9B,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED,YAAY;AACZ,MAAM,UAAU,0BAA0B;IACxC,OAAO,UAAU,CAAC;QAChB,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,IAAI;QACf,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,IAAI;QACjB,QAAQ,EAAE,SAAS;QACnB,eAAe,EAAE,IAAI;QACrB,YAAY,EAAE,IAAI;QAClB,gBAAgB,EAAE,IAAI;KACvB,CAAC,CAAC;AACL,CAAC;AAED,YAAY;AACZ,SAAS,cAAc,CAAC,KAA0B,EAAE,OAAsB;IACxE,IAAI,CAAC;QACH,mBAAmB,CACjB,OAAO,EAAE,aAAa,EACtB,CAAC,6BAA6B,CAAC,EAC/B,uBAAuB,CACxB,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,oBAAoB,CAC5B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACvD,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,YAAY,EAAE,CAAC;QAC5C,MAAM,IAAI,oBAAoB,CAC5B,oCAAoC,KAAK,CAAC,YAAY,cAAc,OAAO,CAAC,QAAQ,EAAE,CACvF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,oBAAoB,CAAC,gDAAgD,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED,YAAY;AACZ,SAAS,kBAAkB,CACzB,OAAwB,EACxB,IAAqB;IAErB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,oBAAoB,CAAC,6BAA6B,IAAI,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,oBAAoB,CAC5B,0DAA0D,OAAO,EAAE,CACpE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACjD,MAAM,IAAI,oBAAoB,CAC5B,kEAAkE,IAAI,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,UAAU,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACjD,MAAM,IAAI,oBAAoB,CAAC,2CAA2C,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,YAAY;AACZ,SAAS,oBAAoB,CAC3B,KAA0B,EAC1B,IAAqB;IAErB,IAAI,OAAO,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,oBAAoB,CAAC,kDAAkD,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACpE,MAAM,IAAI,oBAAoB,CAC5B,GAAG,IAAI,CAAC,IAAI,oCAAoC,CACjD,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnE,OAAO;QACL,GAAG,KAAK;QACR,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC;QAC1C,QAAQ;QACR,eAAe,EAAE,WAAW,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,iBAAiB,CAC/B,KAA0B,EAC1B,OAAsB;IAEtB,MAAM,WAAW,GAAW,OAAO,CAAC,IAAI,CAAC;IACzC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/B,IAAI,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;IAE9D,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAC7B,MAAM,IAAI,oBAAoB,CAAC,yCAAyC,CAAC,CAAC;QAC5E,CAAC;QACD,IACE,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;eACzB,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,KAAK,QAAQ;eAC7C,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EACpC,CAAC;YACD,MAAM,IAAI,oBAAoB,CAC5B,2DAA2D,CAC5D,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC/D,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC7B,MAAM,IAAI,oBAAoB,CAC5B,qDAAqD,CACtD,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACxC,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAChD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACxC,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,oBAAoB,CAAC,uDAAuD,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;YAClD,MAAM,IAAI,oBAAoB,CAAC,wBAAwB,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzE,MAAM,IAAI,oBAAoB,CAC5B,UAAU,OAAO,CAAC,QAAQ,gCAAgC,CAC3D,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,OAAO,GAAG;YACb,GAAG,KAAK,CAAC,OAAO;YAChB,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;gBAClB,MAAM,EAAE,WAAW;gBACnB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI;aAC1B;SACF,CAAC;QACF,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,IAAI,oBAAoB,CAC5B,UAAU,OAAO,CAAC,QAAQ,mCAAmC,CAC9D,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACrC,MAAM,IAAI,oBAAoB,CAC5B,UAAU,OAAO,CAAC,QAAQ,0BAA0B,CACrD,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YAC1C,MAAM,IAAI,oBAAoB,CAC5B,UAAU,OAAO,CAAC,QAAQ,sBAAsB,SAAS,CAAC,IAAI,OAAO,OAAO,CAAC,UAAU,EAAE,CAC1F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI,GAAG,CAAS,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjE,MAAM,IAAI,oBAAoB,CAC5B,UAAU,OAAO,CAAC,QAAQ,uBAAuB,OAAO,CAAC,MAAM,EAAE,CAClE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,oBAAoB,CAC5B,UAAU,OAAO,CAAC,QAAQ,yBAAyB,CACpD,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,oBAAoB,CAC5B,qBAAqB,OAAO,CAAC,QAAQ,+BAA+B,CACrE,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtE,MAAM,IAAI,oBAAoB,CAC5B,iBAAiB,OAAO,CAAC,QAAQ,gCAAgC,CAClE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,OAAO,GAAG;YACb,GAAG,KAAK,CAAC,OAAO;YAChB,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;gBAClB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,IAAI,EAAE,OAAO,CAAC,UAAU;aACzB;SACF,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACvC,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACxC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;YACzE,MAAM,IAAI,oBAAoB,CAC5B,wDAAwD,CACzD,CAAC;QACJ,CAAC;QACD,IACE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,WAAW,CAAC,EACzE,CAAC;YACD,MAAM,IAAI,oBAAoB,CAC5B,qDAAqD,CACtD,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;YAChC,MAAM,IAAI,oBAAoB,CAAC,wCAAwC,CAAC,CAAC;QAC3E,CAAC;QACD,IACE,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;eAC7B,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;eAC3B,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;eAC7C,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC;eACjD,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAChD,CAAC;YACD,MAAM,IAAI,oBAAoB,CAC5B,6DAA6D,CAC9D,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,gBAAgB,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACtD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,IAAI,oBAAoB,CAAC,gCAAgC,WAAW,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,iBAAiB,CAAC,QAAyB;IACzD,OAAO,QAAQ,CAAC,MAAM,CACpB,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,EACrD,0BAA0B,EAAE,CAC7B,CAAC;AACJ,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,gBAAgB,CAAC,QAAyB;IACxD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAC9B,CAAC,OAAO,EAAuC,EAAE,CAC/C,OAAO,CAAC,IAAI,KAAK,oBAAoB,CACxC,CAAC;IACF,MAAM,eAAe,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACpC,IACE,QAAQ,CAAC,MAAM,KAAK,CAAC;WAClB,eAAe,KAAK,SAAS;WAC7B,QAAQ,CAAC,CAAC,CAAC,KAAK,eAAe,EAClC,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,wEAAwE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;AAC1C,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,cAAc,CAC5B,QAAyB,EACzB,EAAE,YAAY,GAAG,KAAK,KAAiC,EAAE;IAEzD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC1D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACxC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,oBAAoB,CAAC,wBAAwB,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC7E,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE;gBAC5B,EAAE,EAAE,OAAO,CAAC,QAAQ;gBACpB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI;gBACzB,MAAM,EAAE,WAAW;aACpB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB;YAAE,SAAS;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,oBAAoB,CAC5B,UAAU,OAAO,CAAC,QAAQ,mCAAmC,CAC9D,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAClC,MAAM,IAAI,oBAAoB,CAC5B,UAAU,OAAO,CAAC,QAAQ,0BAA0B,CACrD,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACvC,MAAM,IAAI,oBAAoB,CAC5B,UAAU,OAAO,CAAC,QAAQ,sBAAsB,MAAM,CAAC,IAAI,OAAO,OAAO,CAAC,UAAU,EAAE,CACvF,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC/B,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,IACE,CAAC,YAAY;WACV,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,WAAW,CAAC,EACrE,CAAC;QACD,MAAM,IAAI,oBAAoB,CAAC,gDAAgD,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAmB,EAAE;QAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO;gBACL,EAAE,EAAE,MAAM,CAAC,EAAE;gBACb,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;aACnC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO;gBACL,EAAE,EAAE,MAAM,CAAC,EAAE;gBACb,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI;oBAC/B,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,iCAAiC;iBAC3C,CAAC;aACH,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,wBAAwB,CAAC,mBAAgC;IACvE,MAAM,WAAW,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAC/C,IACE,CAAC,WAAW,CAAC,KAAK,KAAK,cAAc,IAAI,WAAW,CAAC,KAAK,KAAK,eAAe,CAAC;WAC5E,WAAW,CAAC,QAAQ,EAAE,OAAO,KAAK,SAAS,EAC9C,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC;QAClE,OAAO,EAAE,GAAG,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;IAClD,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,YAAY;AACZ,SAAS,YAAY,CAAC,QAAwB;IAC5C,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;SAChC,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,gBAAgB,CAAC,QAAwB;IACvD,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;QAC5B,aAAa,EAAE,WAAW,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtE,SAAS,EAAE,QAAQ,CAAC,IAAI,KAAK,WAAW;YACtC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM;YACvB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,iBAAiB;gBACnC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM;gBACzB,CAAC,CAAC,CAAC;KACR,CAAC;AACJ,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,kBAAkB,CAChC,SAA2B,EAC3B,WAAwB;IAExB,IAAI,SAAS,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAClC,OAAO,WAAW,CAAC,KAAK,KAAK,eAAe;YAC1C,CAAC,CAAC,sBAAsB;YACxB,CAAC,CAAC,mBAAmB,CAAC;IAC1B,CAAC;IACD,MAAM,OAAO,GAAkD;QAC7D,oBAAoB,EAAE,sBAAsB;QAC5C,cAAc,EAAE,cAAc;QAC9B,gBAAgB,EAAE,uBAAuB;QACzC,eAAe,EAAE,WAAW,CAAC,KAAK,KAAK,eAAe;eACjD,WAAW,CAAC,QAAQ,KAAK,SAAS;YACrC,CAAC,CAAC,eAAe;YACjB,CAAC,CAAC,mBAAmB;QACvB,cAAc,EAAE,cAAc;QAC9B,kBAAkB,EAAE,uBAAuB;QAC3C,wBAAwB,EAAE,4BAA4B;QACtD,wBAAwB,EAAE,2BAA2B;QACrD,iCAAiC,EAAE,8BAA8B;QACjE,0BAA0B,EAAE,8BAA8B;KAC3D,CAAC;IACF,OAAO,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,mBAAmB,CAAC;AAC3D,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,WAAW,CACzB,QAAyB,EACzB,EAAE,eAAe,GAAG,IAAI,KAAoC,EAAE;IAE9D,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,oBAAoB,CAC5B,gDAAgD,CACjD,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,EAAE;QAClC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;KACvC,CAAC,CAAC;IACH,IAAI,eAAe,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACnD,MAAM,IAAI,oBAAoB,CAC5B,sDAAsD,CACvD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI,IAAI,KAAK,CAAC,YAAY,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxE,MAAM,IAAI,oBAAoB,CAC5B,8BAA8B,KAAK,CAAC,YAAY,OAAO,QAAQ,CAAC,IAAI,EAAE,CACvE,CAAC;IACJ,CAAC;IACD,IACE,KAAK,CAAC,gBAAgB,KAAK,IAAI;WAC5B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,EACxF,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,OAAO;QACL,SAAS;QACT,WAAW,EAAE,wBAAwB,CAAC,KAAK,CAAC,WAAW,CAAC;QACxD,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC;QACjC,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,YAAY;AACZ,MAAM,UAAU,aAAa,CAAC,QAAyB;IACrD,OAAO,WAAW,CAAC,QAAQ,CAAC,CAAC;AAC/B,CAAC"}

package/dist/src/foundation/command-message/runtime.d.ts

@@ -0,0 +1,214 @@
+import { buildReport } from "./observation.ts";
+import type { ActionRequest, CommandProgress, DomainMessage, InternalObservation, ObservationFact } from "./observation.ts";
+import type { CommandIntention, Observation, Problem, ResponseContext } from "../report/types.ts";
+interface ActionSuccess<Result extends object> {
+    status: "success";
+    result: Result;
+    facts?: ObservationFact[];
+}
+interface ActionFailure<Internal extends object = Record<never, never>> {
+    status: "failure";
+    problem: Problem;
+    facts?: ObservationFact[];
+    internal?: Internal;
+}
+type ActionCompletion<Result extends object, Internal extends object = Record<never, never>> = ActionSuccess<Result> | ActionFailure<Internal>;
+interface ActionFailureMapping<Internal extends object> {
+    problem: Problem;
+    facts?: ObservationFact[];
+    internal?: Internal;
+}
+interface ObserveOptions {
+    factType?: string;
+    progress?: CommandProgress;
+    responseContext?: ResponseContext;
+}
+interface CompleteOptions {
+    factType?: string;
+}
+interface CommandRunApi {
+    eventSink: (message: DomainMessage) => void;
+    readonly events: DomainMessage[];
+    readonly observation: InternalObservation;
+    observe(observation: Observation, options?: ObserveOptions): DomainMessage;
+    requestAction(action: ActionRequest): string;
+    finishAction(actionId: string, actionType: string, completion: ActionCompletion<object, object>): DomainMessage;
+    performAction<Result extends object, ProjectedResult extends object = Result, Internal extends object = Record<never, never>>(action: ActionRequest, execute: (context: {
+        actionId: string;
+    }) => Result | Promise<Result>, mapError?: (caught: unknown) => ActionFailureMapping<Internal>, mapSuccess?: (completed: Result) => {
+        result: ProjectedResult;
+        facts?: ObservationFact[];
+    }): Promise<ActionCompletion<Result | ProjectedResult, Internal>>;
+    finish(): ReturnType<typeof buildReport>;
+    complete(observation: Observation, responseContext?: ResponseContext, options?: CompleteOptions): ReturnType<typeof buildReport>;
+}
+interface CreateCommandRunOptions {
+    eventSink?: (message: DomainMessage) => void;
+    dispatch?: CommandRunApi;
+    onReady?: (run: CommandRunApi) => void;
+}
+export declare function createCommandRun(intention: CommandIntention, { eventSink, dispatch, onReady, }?: CreateCommandRunOptions): CommandRunApi;
+export declare class CommandRun implements CommandRunApi {
+    #private;
+    eventSink: (message: DomainMessage) => void;
+    constructor(intention: CommandIntention, { eventSink }?: Pick<CreateCommandRunOptions, "eventSink">);
+    get events(): DomainMessage[];
+    get observation(): InternalObservation;
+    observe(observation: Observation, options?: ObserveOptions): DomainMessage;
+    requestAction(action: ActionRequest): string;
+    finishAction(actionId: string, actionType: string, completion: ActionCompletion<object, object>): DomainMessage;
+    performAction<Result extends object, ProjectedResult extends object = Result, Internal extends object = Record<never, never>>(action: ActionRequest, execute: (context: {
+        actionId: string;
+    }) => Result | Promise<Result>, mapError?: (caught: unknown) => ActionFailureMapping<Internal>, mapSuccess?: (completed: Result) => {
+        result: ProjectedResult;
+        facts?: ObservationFact[];
+    }): Promise<ActionCompletion<Result | ProjectedResult, Internal>>;
+    finish(): {
+        intention: CommandIntention;
+        observation: import("../report/types.ts").ProjectSetupObservation | import("../report/types.ts").CheckUnavailableObservation | import("../report/types.ts").ProjectReadyObservation | import("../report/types.ts").RepositoryBlockedObservation | import("../report/types.ts").NavigationReadyObservation | import("../report/types.ts").IdeaNotFoundObservation | import("../report/types.ts").IdeaSelectedObservation | import("../report/types.ts").IdeaCreatedObservation | import("../report/types.ts").IdeasListedObservation | import("../report/types.ts").EventResultObservation | {
+            guidance: {
+                phase: string;
+                path: string;
+                contentRevision: string;
+            };
+            state: "idea-selected";
+            configuration: import("../report/types.ts").ProjectConfiguration;
+            version: import("../report/types.ts").ProjectVersion;
+            selectedIdea: import("../report/types.ts").IdeaReference;
+            root: string;
+            outputLanguage: string;
+            problems: Problem[];
+            device?: import("../report/types.ts").DeviceAdvisory;
+            schemas?: import("../schema-capability/inspection.ts").ProjectSchemaReadiness;
+        } | {
+            guidance: {
+                phase: string;
+                path: string;
+                contentRevision: string;
+            };
+            state: "idea-created";
+            configuration: import("../report/types.ts").ProjectConfiguration;
+            version: import("../report/types.ts").ProjectVersion;
+            createdIdea: import("../report/types.ts").CreatedIdea;
+            root: string;
+            outputLanguage: string;
+            problems: Problem[];
+            device?: import("../report/types.ts").DeviceAdvisory;
+            schemas?: import("../schema-capability/inspection.ts").ProjectSchemaReadiness;
+        };
+        actions: import("./observation.ts").ProjectedAction[];
+        response: import("../report/types.ts").ReportResponse;
+    };
+    complete(observation: Observation, responseContext?: ResponseContext, options?: CompleteOptions): {
+        intention: CommandIntention;
+        observation: import("../report/types.ts").ProjectSetupObservation | import("../report/types.ts").CheckUnavailableObservation | import("../report/types.ts").ProjectReadyObservation | import("../report/types.ts").RepositoryBlockedObservation | import("../report/types.ts").NavigationReadyObservation | import("../report/types.ts").IdeaNotFoundObservation | import("../report/types.ts").IdeaSelectedObservation | import("../report/types.ts").IdeaCreatedObservation | import("../report/types.ts").IdeasListedObservation | import("../report/types.ts").EventResultObservation | {
+            guidance: {
+                phase: string;
+                path: string;
+                contentRevision: string;
+            };
+            state: "idea-selected";
+            configuration: import("../report/types.ts").ProjectConfiguration;
+            version: import("../report/types.ts").ProjectVersion;
+            selectedIdea: import("../report/types.ts").IdeaReference;
+            root: string;
+            outputLanguage: string;
+            problems: Problem[];
+            device?: import("../report/types.ts").DeviceAdvisory;
+            schemas?: import("../schema-capability/inspection.ts").ProjectSchemaReadiness;
+        } | {
+            guidance: {
+                phase: string;
+                path: string;
+                contentRevision: string;
+            };
+            state: "idea-created";
+            configuration: import("../report/types.ts").ProjectConfiguration;
+            version: import("../report/types.ts").ProjectVersion;
+            createdIdea: import("../report/types.ts").CreatedIdea;
+            root: string;
+            outputLanguage: string;
+            problems: Problem[];
+            device?: import("../report/types.ts").DeviceAdvisory;
+            schemas?: import("../schema-capability/inspection.ts").ProjectSchemaReadiness;
+        };
+        actions: import("./observation.ts").ProjectedAction[];
+        response: import("../report/types.ts").ReportResponse;
+    };
+}
+interface ResponseDecision {
+    type: "response";
+    observation?: Observation;
+    responseContext?: ResponseContext;
+}
+interface ProbeDecision {
+    type: "probe";
+    effect: object;
+    factType?: string;
+}
+interface ActionDecision {
+    type: "action";
+    effect: ActionRequest;
+    mapError?: (caught: unknown) => ActionFailureMapping<object>;
+}
+type CommandDecision = ResponseDecision | ProbeDecision | ActionDecision;
+interface CommandPorts {
+    probe(effect: object): Promise<{
+        observation: Observation;
+        factType?: string;
+        progress?: CommandProgress;
+        responseContext?: ResponseContext;
+    }>;
+    action(effect: ActionRequest, context: {
+        actionId: string;
+    }): {
+        result?: object;
+        facts?: ObservationFact[];
+    } | Promise<{
+        result?: object;
+        facts?: ObservationFact[];
+    }>;
+}
+export declare function driveCommand({ decide, intention, ports, responseContext, }: {
+    decide: (intention: CommandIntention, observation: InternalObservation) => CommandDecision;
+    intention: CommandIntention;
+    ports: CommandPorts;
+    responseContext?: ResponseContext;
+}): Promise<{
+    intention: CommandIntention;
+    observation: import("../report/types.ts").ProjectSetupObservation | import("../report/types.ts").CheckUnavailableObservation | import("../report/types.ts").ProjectReadyObservation | import("../report/types.ts").RepositoryBlockedObservation | import("../report/types.ts").NavigationReadyObservation | import("../report/types.ts").IdeaNotFoundObservation | import("../report/types.ts").IdeaSelectedObservation | import("../report/types.ts").IdeaCreatedObservation | import("../report/types.ts").IdeasListedObservation | import("../report/types.ts").EventResultObservation | {
+        guidance: {
+            phase: string;
+            path: string;
+            contentRevision: string;
+        };
+        state: "idea-selected";
+        configuration: import("../report/types.ts").ProjectConfiguration;
+        version: import("../report/types.ts").ProjectVersion;
+        selectedIdea: import("../report/types.ts").IdeaReference;
+        root: string;
+        outputLanguage: string;
+        problems: Problem[];
+        device?: import("../report/types.ts").DeviceAdvisory;
+        schemas?: import("../schema-capability/inspection.ts").ProjectSchemaReadiness;
+    } | {
+        guidance: {
+            phase: string;
+            path: string;
+            contentRevision: string;
+        };
+        state: "idea-created";
+        configuration: import("../report/types.ts").ProjectConfiguration;
+        version: import("../report/types.ts").ProjectVersion;
+        createdIdea: import("../report/types.ts").CreatedIdea;
+        root: string;
+        outputLanguage: string;
+        problems: Problem[];
+        device?: import("../report/types.ts").DeviceAdvisory;
+        schemas?: import("../schema-capability/inspection.ts").ProjectSchemaReadiness;
+    };
+    actions: import("./observation.ts").ProjectedAction[];
+    response: import("../report/types.ts").ReportResponse;
+}>;
+export {};
+//# sourceMappingURL=runtime.d.ts.map

package/dist/src/foundation/command-message/runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../../../src/foundation/command-message/runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EASZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EACV,aAAa,EACb,eAAe,EACf,aAAa,EACb,mBAAmB,EACnB,eAAe,EAChB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EACV,gBAAgB,EAChB,WAAW,EACX,OAAO,EACP,eAAe,EAChB,MAAM,oBAAoB,CAAC;AAQ5B,UAAU,aAAa,CAAC,MAAM,SAAS,MAAM;IAC3C,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;CAC3B;AAED,UAAU,aAAa,CAAC,QAAQ,SAAS,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;IACpE,MAAM,EAAE,SAAS,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;IAC1B,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED,KAAK,gBAAgB,CACnB,MAAM,SAAS,MAAM,EACrB,QAAQ,SAAS,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAC5C,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;AAEpD,UAAU,oBAAoB,CAAC,QAAQ,SAAS,MAAM;IACpD,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;IAC1B,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,eAAe,CAAC,EAAE,eAAe,CAAC;CACnC;AAED,UAAU,eAAe;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,aAAa;IACrB,SAAS,EAAE,CAAC,OAAO,EAAE,aAAa,KAAK,IAAI,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,OAAO,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,aAAa,CAAC;IAC3E,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CAAC;IAC7C,YAAY,CACV,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,GAC3C,aAAa,CAAC;IACjB,aAAa,CACX,MAAM,SAAS,MAAM,EACrB,eAAe,SAAS,MAAM,GAAG,MAAM,EACvC,QAAQ,SAAS,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAE9C,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,KAAK,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,EACpE,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,oBAAoB,CAAC,QAAQ,CAAC,EAC9D,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK;QAClC,MAAM,EAAE,eAAe,CAAC;QACxB,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;KAC3B,GACA,OAAO,CAAC,gBAAgB,CAAC,MAAM,GAAG,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjE,MAAM,IAAI,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC;IACzC,QAAQ,CACN,WAAW,EAAE,WAAW,EACxB,eAAe,CAAC,EAAE,eAAe,EACjC,OAAO,CAAC,EAAE,eAAe,GACxB,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC;CACnC;AAED,UAAU,uBAAuB;IAC/B,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,aAAa,KAAK,IAAI,CAAC;IAC7C,QAAQ,CAAC,EAAE,aAAa,CAAC;IACzB,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,IAAI,CAAC;CACxC;AAED,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,gBAAgB,EAC3B,EACE,SAA6B,EAC7B,QAAQ,EACR,OAAO,GACR,GAAE,uBAA4B,GAC9B,aAAa,CAqKf;AAED,qBAAa,UAAW,YAAW,aAAa;;IAE9C,SAAS,EAAE,CAAC,OAAO,EAAE,aAAa,KAAK,IAAI,CAAC;gBAG1C,SAAS,EAAE,gBAAgB,EAC3B,EAAE,SAA6B,EAAE,GAAE,IAAI,CAAC,uBAAuB,EAAE,WAAW,CAAM;IAmBpF,IAAI,MAAM,oBAET;IAED,IAAI,WAAW,wBAEd;IAED,OAAO,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,GAAE,cAAmB;IAI9D,aAAa,CAAC,MAAM,EAAE,aAAa;IAInC,YAAY,CACV,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC;IAK9C,aAAa,CACX,MAAM,SAAS,MAAM,EACrB,eAAe,SAAS,MAAM,GAAG,MAAM,EACvC,QAAQ,SAAS,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAE9C,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,KAAK,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,EACpE,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,oBAAoB,CAAC,QAAQ,CAAC,EAC9D,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK;QAClC,MAAM,EAAE,eAAe,CAAC;QACxB,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;KAC3B;IAKH,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAIN,QAAQ,CACN,WAAW,EAAE,WAAW,EACxB,eAAe,GAAE,eAAoB,EACrC,OAAO,GAAE,eAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAIhC;AAED,UAAU,gBAAgB;IACxB,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,eAAe,CAAC,EAAE,eAAe,CAAC;CACnC;AAED,UAAU,aAAa;IACrB,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,cAAc;IACtB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,aAAa,CAAC;IACtB,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,oBAAoB,CAAC,MAAM,CAAC,CAAC;CAC9D;AAED,KAAK,eAAe,GAAG,gBAAgB,GAAG,aAAa,GAAG,cAAc,CAAC;AAEzE,UAAU,YAAY;IACpB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAC7B,WAAW,EAAE,WAAW,CAAC;QACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,QAAQ,CAAC,EAAE,eAAe,CAAC;QAC3B,eAAe,CAAC,EAAE,eAAe,CAAC;KACnC,CAAC,CAAC;IACH,MAAM,CACJ,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,GAC5B;QACD,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;KAC3B,GAAG,OAAO,CAAC;QACV,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;KAC3B,CAAC,CAAC;CACJ;AAED,wBAAsB,YAAY,CAAC,EACjC,MAAM,EACN,SAAS,EACT,KAAK,EACL,eAAoB,GACrB,EAAE;IACD,MAAM,EAAE,CACN,SAAS,EAAE,gBAAgB,EAC3B,WAAW,EAAE,mBAAmB,KAC7B,eAAe,CAAC;IACrB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,KAAK,EAAE,YAAY,CAAC;IACpB,eAAe,CAAC,EAAE,eAAe,CAAC;CACnC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CA"}