@astrosheep/keiyaku 2.9.13 → 4.0.0

package/build/cli/render/lifecycle.js

@@ -1,56 +0,0 @@
-import { attachAddressCarrier } from "../../core/addressing.js";
-import { isCompleteLifecycleOutcome } from "../../core/outcome-base.js";
-import { FlowError } from "../../flow-error.js";
-import { handleCliError } from "./errors.js";
-import { coreTextResponse } from "./shared.js";
-function isSuccessfulDerivedCleanup(result) {
-    return result.family === "precommit-effects-only"
-        && "status" in result
-        && result.status === "success"
-        && "cleanup" in result
-        && typeof result.cleanup === "object"
-        && result.cleanup !== null
-        && "status" in result.cleanup
-        && result.cleanup.status === "succeeded"
-        && [...result.prerequisites, ...result.downstream].every((row) => row.status !== "failed");
-}
-export async function buildLifecycleOutcomeResponse(result, context) {
-    if (result.family === "committed") {
-        return coreTextResponse(`lifecycle committed at ${result.committed.head}${result.replay.action === "reconcile" ? "; downstream reconciliation required" : ""}`, result);
-    }
-    const cause = result.family === "cancelled-before-effects"
-        ? result.cancellation
-        : result.family === "refused-before-effects"
-            ? result.failedInvariant
-            : [...result.prerequisites, ...result.downstream].find((row) => row.status === "failed")?.cause
-                ?? { code: "INTERNAL_STATE", message: "durable prerequisite effects require lifecycle reconciliation" };
-    if (!context) {
-        return { ...coreTextResponse(cause.message, result), exitCode: result.family === "cancelled-before-effects" ? 130 : 1 };
-    }
-    const facts = "facts" in cause ? cause.facts : undefined;
-    const error = new FlowError(cause.code, cause.message, {
-        ...(facts ? { facts: facts } : {}),
-    });
-    const rendered = await handleCliError({
-        error: context.address ? attachAddressCarrier(error, context.address) : error,
-        cwd: context.cwd,
-        logLabel: "lifecycle",
-    });
-    return {
-        ...rendered,
-        payload: result,
-        isDomainFailure: true,
-        exitCode: result.family === "cancelled-before-effects" ? 130 : 1,
-    };
-}
-export async function renderLifecycleResult(work, render, context) {
-    const value = await work;
-    if (isCompleteLifecycleOutcome(value))
-        return render(value);
-    if (isSuccessfulDerivedCleanup(value)) {
-        // Derived cleanup is a successful verb result, but deliberately is not a
-        // committed lifecycle result. The verb renderer owns that exact payload.
-        return render(value);
-    }
-    return buildLifecycleOutcomeResponse(value, context);
-}

package/build/cli/render/line-width.js

@@ -1,103 +0,0 @@
-export const NON_TTY_LINE_COLUMNS = 120;
-function isCombining(codePoint) {
-    return (codePoint >= 0x0300 && codePoint <= 0x036f)
-        || (codePoint >= 0x1ab0 && codePoint <= 0x1aff)
-        || (codePoint >= 0x1dc0 && codePoint <= 0x1dff)
-        || (codePoint >= 0x20d0 && codePoint <= 0x20ff)
-        || (codePoint >= 0xfe20 && codePoint <= 0xfe2f)
-        || codePoint === 0xfe0f;
-}
-function isWide(codePoint) {
-    return codePoint >= 0x1100 && (codePoint <= 0x115f
-        || codePoint === 0x2329
-        || codePoint === 0x232a
-        || (codePoint >= 0x2e80 && codePoint <= 0xa4cf && codePoint !== 0x303f)
-        || (codePoint >= 0xac00 && codePoint <= 0xd7a3)
-        || (codePoint >= 0xf900 && codePoint <= 0xfaff)
-        || (codePoint >= 0xfe10 && codePoint <= 0xfe19)
-        || (codePoint >= 0xfe30 && codePoint <= 0xfe6f)
-        || (codePoint >= 0xff00 && codePoint <= 0xff60)
-        || (codePoint >= 0xffe0 && codePoint <= 0xffe6)
-        || (codePoint >= 0x1f300 && codePoint <= 0x1faff)
-        || (codePoint >= 0x20000 && codePoint <= 0x3fffd));
-}
-function characterColumns(character) {
-    const codePoint = character.codePointAt(0);
-    if (codePoint === undefined || codePoint === 0 || isCombining(codePoint))
-        return 0;
-    if (codePoint < 0x20 || (codePoint >= 0x7f && codePoint < 0xa0))
-        return 0;
-    return isWide(codePoint) ? 2 : 1;
-}
-export function displayColumns(value) {
-    let width = 0;
-    for (const character of value)
-        width += characterColumns(character);
-    return width;
-}
-export function truncateColumns(value, maxColumns) {
-    if (maxColumns <= 0)
-        return "";
-    if (displayColumns(value) <= maxColumns)
-        return value;
-    if (maxColumns === 1)
-        return "…";
-    const budget = maxColumns - 1;
-    let width = 0;
-    let output = "";
-    for (const character of value) {
-        const next = characterColumns(character);
-        if (width + next > budget)
-            break;
-        output += character;
-        width += next;
-    }
-    return `${output}…`;
-}
-/** Truncate descriptive command text in the middle while retaining both ends. */
-export function truncateMiddleColumns(value, maxColumns) {
-    if (maxColumns <= 0)
-        return "";
-    if (displayColumns(value) <= maxColumns)
-        return value;
-    if (maxColumns === 1)
-        return "…";
-    const budget = maxColumns - 1;
-    const leftBudget = Math.ceil(budget / 2);
-    const rightBudget = Math.floor(budget / 2);
-    let left = "";
-    let width = 0;
-    for (const character of value) {
-        const next = characterColumns(character);
-        if (width + next > leftBudget)
-            break;
-        left += character;
-        width += next;
-    }
-    const chars = [...value];
-    let right = "";
-    width = 0;
-    for (let index = chars.length - 1; index >= 0; index -= 1) {
-        const character = chars[index];
-        const next = characterColumns(character);
-        if (width + next > rightBudget)
-            break;
-        right = character + right;
-        width += next;
-    }
-    return `${left}…${right}`;
-}
-export function resolveLineColumns(stream = process.stdout) {
-    return stream.isTTY === true && Number.isInteger(stream.columns) && stream.columns > 0
-        ? stream.columns
-        : NON_TTY_LINE_COLUMNS;
-}
-/** Preserve the fixed prefix and spend the remaining terminal columns on the variable tail. */
-export function fitVariableLine(fixedPrefix, variableTail, maxColumns) {
-    return `${fixedPrefix}${truncateColumns(variableTail, Math.max(0, maxColumns - displayColumns(fixedPrefix)))}`;
-}
-/** Preserve both decision-bearing affixes and truncate only the descriptive middle. */
-export function fitAffixedLine(fixedPrefix, variableMiddle, fixedSuffix, maxColumns) {
-    const middleBudget = Math.max(0, maxColumns - displayColumns(fixedPrefix) - displayColumns(fixedSuffix));
-    return `${fixedPrefix}${truncateColumns(variableMiddle, middleBudget)}${fixedSuffix}`;
-}

package/build/cli/render/misc.js

@@ -1,84 +0,0 @@
-import { assembleResponse, buildPayload, buildSection, colorizeErrorStatus, FORMAT_LIST_MAX_ITEM_CHARS, formatHints, } from "./format.js";
-import { RESPONSE_MARKERS } from "./response-style.js";
-import { formatReview, HINTS_LIST_MAX_ITEMS, REVIEW_SECTION_TITLE, toReviewPayload, } from "./shared.js";
-import { prependAddressReceipt, renderAddressCarrier } from "./address.js";
-import { commissionSlug } from "../../core/ids.js";
-import { renderAmendmentWarning } from "./amendment-warning.js";
-export function buildErrorResponse(input) {
-    const shouldRaiseProtocolError = input.errorType === "runtime_error";
-    const text = input.errorCode === "PROJECTION_INCOMPATIBLE"
-        ? `${colorizeErrorStatus(`${RESPONSE_MARKERS.failure} Failed [${input.errorCode}]`)}\n  ${input.message}`
-        : buildErrorText(input);
-    const payload = {
-        error: {
-            code: input.errorCode,
-            message: input.message,
-            hints: input.hints,
-            ...(input.review ? { review: toReviewPayload(input.review) } : {}),
-            ...(input.facts ? { facts: input.facts } : {}),
-        },
-    };
-    const response = {
-        text,
-        payload,
-    };
-    if (shouldRaiseProtocolError) {
-        response.isError = true;
-    }
-    return response;
-}
-function buildErrorText(input) {
-    const errorSection = buildSection("Error", input.message);
-    const conflictSection = input.facts?.kind === "renew_conflict_scratch"
-        ? buildSection("Conflict scratch", [
-            `${input.facts.scratchPath}/files`,
-            "",
-            "Conflicting paths:",
-            ...input.facts.conflictPaths.map((filePath) => `  ${filePath}`),
-            "",
-            `Ledger: ${input.facts.observedLedgerHead}`,
-            `Delivery: ${input.facts.deliveryRef} at ${input.facts.oldHead}`,
-            `Target: ${input.facts.targetRef} at ${input.facts.newBase}`,
-            "Authoritative ledger and delivery refs were unchanged.",
-        ].join("\n"))
-        : null;
-    const reviewSection = input.review ? buildSection(REVIEW_SECTION_TITLE, formatReview(input.review)) : null;
-    const commissionedCarrier = input.addressCarrier && !("expected" in input.addressCarrier)
-        && input.addressCarrier.binding.kind === "commission"
-        ? input.addressCarrier
-        : undefined;
-    const renewAddress = commissionedCarrier
-        ? `@${commissionedCarrier.place.display ?? commissionSlug(commissionedCarrier.binding.commissionId)}`
-        : undefined;
-    const nextActionSection = input.facts?.kind === "renew_conflict_scratch" && renewAddress
-        ? buildSection("Next action", [
-            "Resolve files in the linked conflict worktree, then:",
-            `» keiyaku ${renewAddress} renew --continue`,
-            "Or discard the conflict scratch:",
-            `» keiyaku ${renewAddress} renew --abort`,
-        ])
-        : null;
-    const hints = input.facts?.kind === "renew_conflict_scratch"
-        ? []
-        : formatHints(input.hints, { maxItems: HINTS_LIST_MAX_ITEMS, maxItemChars: FORMAT_LIST_MAX_ITEM_CHARS });
-    const hintsSection = buildSection("Hints", hints);
-    const body = assembleResponse(colorizeErrorStatus(`${RESPONSE_MARKERS.failure} Failed [${input.errorCode}]`), "Request could not be completed.", [errorSection, conflictSection, nextActionSection, reviewSection, hintsSection].filter((section) => section !== null));
-    return input.addressCarrier ? `${renderAddressCarrier(input.addressCarrier)}\n${body}` : body;
-}
-export function buildHelpResponse(input) {
-    const payload = {};
-    return {
-        text: input.text,
-        payload: buildPayload(payload),
-    };
-}
-export function buildLogResponse(result) {
-    const { address: _address, ...resultData } = result;
-    const payload = resultData;
-    return prependAddressReceipt({
-        text: result.amendmentWarning
-            ? `${result.markdown.trimEnd()}\n\nWarning\n${renderAmendmentWarning(result.amendmentWarning)}\n`
-            : result.markdown,
-        payload: buildPayload(payload),
-    }, result.address);
-}

package/build/cli/render/path-prefix-compaction.js

@@ -1,131 +0,0 @@
-const PREFIX_MARKER = "⋯";
-const MIN_FOLDED_PREFIX_LENGTH = 8;
-export const PATH_PREVIEW_BODY_ROWS = 7;
-/** Render one exact pattern/path without giving display punctuation matcher meaning. */
-export function renderExactPath(value) {
-    if (!requiresQuoting(value))
-        return value;
-    return `"${[...value].map(escapeQuotedCharacter).join("")}"`;
-}
-/** Fold one qualifying directory prefix while retaining row order and exact suffixes. */
-export function foldPathRows(values) {
-    const rendered = values.map(renderExactPath);
-    const plainIndexes = values
-        .map((value, index) => renderExactPath(value) === value ? index : -1)
-        .filter((index) => index >= 0);
-    const prefix = bestSharedDirectoryPrefix(values, plainIndexes);
-    if (!prefix)
-        return { rows: rendered };
-    const foldedIndexes = new Set(plainIndexes.filter((index) => values[index].startsWith(prefix)));
-    return {
-        prefix,
-        rows: values.map((value, index) => foldedIndexes.has(index) ? `${PREFIX_MARKER}${value.slice(prefix.length)}` : rendered[index]),
-    };
-}
-/** Render one overlap fact as two labeled exact pattern rows. */
-export function renderPatternPair(leftLabel, leftPattern, rightLabel, rightPattern) {
-    const folded = foldPathRows([leftPattern, rightPattern]);
-    const labelWidth = Math.max(leftLabel.length, rightLabel.length) + 2;
-    return [
-        ...(folded.prefix ? [`${PREFIX_MARKER} = ${folded.prefix}`] : []),
-        `${leftLabel.padEnd(labelWidth)}${folded.rows[0]}`,
-        `${rightLabel.padEnd(labelWidth)}${folded.rows[1]}`,
-    ];
-}
-/** Render a bounded path snapshot; declarations consume the same row budget as paths. */
-export function renderPathPreview(snapshot, bodyRows = PATH_PREVIEW_BODY_ROWS) {
-    const plan = planPathPreview(snapshot.preview, Math.max(0, bodyRows));
-    const omitted = Math.max(0, snapshot.count - plan.visibleCount);
-    return [
-        `scope · ${snapshot.count} pattern${snapshot.count === 1 ? "" : "s"}`,
-        ...(plan.prefix ? [`${PREFIX_MARKER} = ${plan.prefix}`] : []),
-        ...plan.rows,
-        ...(omitted > 0 ? [`+${omitted} more patterns`] : []),
-    ];
-}
-function planPathPreview(preview, bodyRows) {
-    const fullValues = preview.slice(0, bodyRows);
-    if (fullValues.length < bodyRows) {
-        return { ...foldPathRows(fullValues), visibleCount: fullValues.length };
-    }
-    const chargedValues = preview.slice(0, Math.max(0, bodyRows - 1));
-    const chargedFold = foldPathRows(chargedValues);
-    if (chargedFold.prefix) {
-        return { ...chargedFold, visibleCount: chargedValues.length };
-    }
-    return { rows: fullValues.map(renderExactPath), visibleCount: fullValues.length };
-}
-function requiresQuoting(value) {
-    if (value.length === 0 || /^\s|\s$/u.test(value))
-        return true;
-    return value.includes("\\")
-        || value.includes('"')
-        || value.includes(PREFIX_MARKER)
-        || [...value].some(isControlCharacter);
-}
-function isControlCharacter(character) {
-    const codePoint = character.codePointAt(0);
-    return codePoint <= 0x1f || (codePoint >= 0x7f && codePoint <= 0x9f);
-}
-function escapeQuotedCharacter(character) {
-    if (character === "\\")
-        return "\\\\";
-    if (character === '"')
-        return '\\"';
-    const codePoint = character.codePointAt(0);
-    const named = new Map([
-        [0x07, "\\a"],
-        [0x08, "\\b"],
-        [0x09, "\\t"],
-        [0x0a, "\\n"],
-        [0x0b, "\\v"],
-        [0x0c, "\\f"],
-        [0x0d, "\\r"],
-    ]).get(codePoint);
-    if (named)
-        return named;
-    if (!isControlCharacter(character))
-        return character;
-    return [...Buffer.from(character, "utf8")]
-        .map((byte) => `\\${byte.toString(8).padStart(3, "0")}`)
-        .join("");
-}
-function bestSharedDirectoryPrefix(values, plainIndexes) {
-    let best;
-    for (let left = 0; left < plainIndexes.length; left += 1) {
-        for (let right = left + 1; right < plainIndexes.length; right += 1) {
-            const prefix = sharedDirectoryPrefix(values[plainIndexes[left]], values[plainIndexes[right]]);
-            if (!prefix || prefix.length < MIN_FOLDED_PREFIX_LENGTH)
-                continue;
-            const members = plainIndexes.filter((index) => values[index].startsWith(prefix));
-            const common = members
-                .slice(1)
-                .reduce((current, index) => sharedDirectoryPrefix(current, values[index]) ?? "", values[members[0]]);
-            if (common.length < MIN_FOLDED_PREFIX_LENGTH)
-                continue;
-            const candidate = {
-                prefix: common,
-                count: members.length,
-                first: members[0],
-                score: common.length * (members.length - 1),
-            };
-            if (!best
-                || candidate.score > best.score
-                || (candidate.score === best.score && candidate.count > best.count)
-                || (candidate.score === best.score && candidate.count === best.count && candidate.first < best.first)
-                || (candidate.score === best.score && candidate.count === best.count && candidate.first === best.first
-                    && candidate.prefix < best.prefix)) {
-                best = candidate;
-            }
-        }
-    }
-    return best?.prefix;
-}
-function sharedDirectoryPrefix(left, right) {
-    let sharedLength = 0;
-    const maximum = Math.min(left.length, right.length);
-    while (sharedLength < maximum && left[sharedLength] === right[sharedLength])
-        sharedLength += 1;
-    const slash = left.lastIndexOf("/", sharedLength - 1);
-    return slash >= 0 ? left.slice(0, slash + 1) : undefined;
-}

package/build/cli/render/petition.js

@@ -1,85 +0,0 @@
-import { commissionSlug } from "../../core/ids.js";
-import { shortCommitHash } from "../../git/commits.js";
-import { assembleResponse, buildPayload, buildSection, formatMaybe, formatWarnings, } from "./format.js";
-import { DIFF_OVERVIEW_SECTION_TITLE, RESPONSE_MARKERS, WARNING_SECTION_TITLE } from "./response-style.js";
-import { INFO_COMMIT_MAX_CHARS, INFO_PLEA_MAX_CHARS, } from "./shared.js";
-import { prependAddressReceipt } from "./address.js";
-/** Public consequence for a completed renew phase of petition --renew. */
-export function renderPetitionRenewedConsequence(input) {
-    return `renewed onto ${input.newBase.slice(0, 8)} · ${input.sealed?.receipts.length ?? 0} receipts replayed`;
-}
-export function renderPetitionRetryConsequence(reason) {
-    return reason === "target-drift"
-        ? "rejected petition after target drift · contract active"
-        : "rejected petition after delivery drift · contract active";
-}
-function formatPetitionSealSource(source) {
-    return source.arc === null
-        ? `no open arc · fence ${source.fence}`
-        : `a${source.arc} · fence ${source.fence}▸HEAD`;
-}
-export function buildPetitionPreviewResponse(preview, json) {
-    const source = formatPetitionSealSource(preview.arc.source);
-    const payload = {
-        ...preview,
-        arc: { source },
-    };
-    const failed = preview.gates.filter((gate) => gate.result === "failed").length;
-    const text = json
-        ? JSON.stringify(payload)
-        : [
-            `contract ${commissionSlug(preview.contract)}`,
-            `arc ${source}`,
-            ...(preview.scopeWarning
-                ? [
-                    `Scope warning: ${preview.scopeWarning.violations.join(", ")}`,
-                    ...preview.scopeWarning.evidence.map((evidence) => {
-                        const patterns = evidence.patterns.length ? ` · ${evidence.patterns.map((pattern) => pattern.pattern).join(", ")}` : "";
-                        return `  ${evidence.path} · ${evidence.outcome}${patterns}`;
-                    }),
-                ]
-                : []),
-            ...preview.gates.map((gate) => {
-                if (gate.result === "not_evaluated")
-                    return `gate ${gate.name} · not evaluated`;
-                if (gate.result === "failed")
-                    return `gate ${gate.name} · failed · ${gate.detail ?? "failed"}`;
-                return `gate ${gate.name} · pass${gate.detail ? ` · ${gate.detail}` : ""}`;
-            }),
-            failed === 0 ? "would succeed" : `would fail (${failed} gates failed)`,
-        ].join("\n");
-    return {
-        text,
-        payload,
-        ...(failed > 0 ? { exitCode: 1 } : {}),
-    };
-}
-export function buildPetitionClaimResponse(result, input) {
-    const { status: _status, address: _address, ...resultData } = result;
-    const payload = resultData;
-    const renderedCommit = result.commit ? shortCommitHash(result.commit) : undefined;
-    const commitSuffix = renderedCommit ? ` [${renderedCommit}]` : "";
-    const summary = `Claimed contract${commitSuffix}.`;
-    const diffSection = result.diff ? buildSection(DIFF_OVERVIEW_SECTION_TITLE, result.diff) : null;
-    const ledgerSection = result.ledgerView ? buildSection("Ledger", result.ledgerView) : null;
-    const scopeWarning = result.sealed?.scopeAudit.violations.length
-        ? [`Scope warning: ${result.sealed.scopeAudit.violations.join(", ")}`]
-        : [];
-    const warningSection = buildSection(WARNING_SECTION_TITLE, [
-        ...scopeWarning,
-        ...formatWarnings(result.meta?.warnings ?? []),
-    ]);
-    const infoLines = [
-        ...formatMaybe("Result", result.result, INFO_COMMIT_MAX_CHARS),
-        ...formatMaybe("Title", input.title),
-        ...formatMaybe("Plea", input.plea, INFO_PLEA_MAX_CHARS),
-        ...formatMaybe("Commit", renderedCommit, INFO_COMMIT_MAX_CHARS),
-        "Claim Gates: settlement requirements satisfied.",
-        ...formatMaybe("Oath", input.oath, INFO_PLEA_MAX_CHARS),
-    ];
-    const text = assembleResponse(`${RESPONSE_MARKERS.claim} Keiyaku Fulfilled (Claim)`, summary, [ledgerSection, diffSection, warningSection].filter((section) => section !== null), infoLines);
-    return prependAddressReceipt({
-        text,
-        payload: buildPayload(payload),
-    }, result.address);
-}