probatio 0.3.0 → 0.5.0

package/dist/contract.js

@@ -1,32 +0,0 @@
-import { homedir } from "node:os";
-/** Bumped when a field is renamed, removed, or changes meaning. 2: `drop` became `noKillsYet`, and a compile or link failure became `unviable`, not `killed`. */
-export const SCHEMA_VERSION = 2;
-/** Replace the home directory so a result never carries a user's name or home path. */
-export function scrub(value, home = homedir(), keepPaths = false) {
-    if (typeof value === "string") {
-        if (keepPaths || !home || !value.includes(home))
-            return value;
-        return value.split(home).join("~");
-    }
-    if (Array.isArray(value))
-        return value.map((item) => scrub(item, home, keepPaths));
-    if (value && typeof value === "object") {
-        const out = {};
-        for (const [key, item] of Object.entries(value)) {
-            // nextCall.argv is executed. A tilde is not expanded by spawn or by MCP.
-            out[key] = scrub(item, home, keepPaths || key === "nextCall");
-        }
-        return out;
-    }
-    return value;
-}
-export function render(envelope, human, home = homedir()) {
-    const clean = scrub(envelope, home);
-    if (!human)
-        return `${JSON.stringify(clean, null, 2)}\n`;
-    const lines = [clean.summary, clean.next];
-    const call = clean.nextCall;
-    if (call && Array.isArray(call.argv))
-        lines.push(`next call: probatio ${call.argv.join(" ")}`);
-    return `${lines.filter((line) => line.length > 0).join("\n")}\n`;
-}

package/dist/flags.js

@@ -1,87 +0,0 @@
-/** `--key value`, `--key=value`, `--flag`, `--no-flag`. Words before the first flag are the command. */
-export function parseArgs(argv) {
-    const command = [];
-    const flags = new Map();
-    let seenFlag = false;
-    for (let i = 0; i < argv.length; i++) {
-        const token = argv[i];
-        if (token === "--") {
-            seenFlag = true;
-            continue;
-        }
-        if (!token.startsWith("--")) {
-            if (!seenFlag)
-                command.push(token);
-            else
-                push(flags, "_", token);
-            continue;
-        }
-        seenFlag = true;
-        const body = token.slice(2);
-        const eq = body.indexOf("=");
-        if (eq !== -1) {
-            push(flags, body.slice(0, eq), body.slice(eq + 1));
-            continue;
-        }
-        if (body.startsWith("no-") && body.length > 3) {
-            push(flags, body.slice(3), false);
-            continue;
-        }
-        const next = argv[i + 1];
-        if (next === undefined || next.startsWith("--"))
-            push(flags, body, true);
-        else {
-            push(flags, body, next);
-            i++;
-        }
-    }
-    const human = flags.get("human")?.some((value) => value === true) ?? false;
-    return { command, flags, human };
-}
-function push(flags, key, value) {
-    const list = flags.get(key);
-    if (list)
-        list.push(value);
-    else
-        flags.set(key, [value]);
-}
-export function text(flags, key) {
-    const values = flags.get(key);
-    if (!values || values.length === 0)
-        return undefined;
-    const last = values[values.length - 1];
-    if (typeof last === "boolean")
-        return undefined;
-    return last;
-}
-export function texts(flags, key) {
-    return (flags.get(key) ?? []).filter((value) => typeof value === "string");
-}
-export function bool(flags, key, fallback) {
-    const values = flags.get(key);
-    if (!values || values.length === 0)
-        return fallback;
-    const last = values[values.length - 1];
-    if (typeof last === "boolean")
-        return last;
-    if (last === "true")
-        return true;
-    if (last === "false")
-        return false;
-    return fallback;
-}
-export function int(flags, key) {
-    const raw = text(flags, key);
-    if (raw === undefined)
-        return undefined;
-    const value = Number(raw);
-    if (!Number.isInteger(value) || value < 0)
-        throw new Error(`--${key} must be a non-negative integer`);
-    return value;
-}
-export function requireText(flags, key) {
-    const value = text(flags, key);
-    if (!value)
-        throw new Error(`--${key} is required`);
-    return value;
-}

package/dist/golden/check.js

@@ -1,188 +0,0 @@
-import { readFileSync, writeFileSync } from "node:fs";
-import { homedir } from "node:os";
-import { SCHEMA_VERSION } from "../contract.js";
-const WORDING_KEYS = ["next", "nextLead"];
-/** `Golden-Change: <row>: <why>`. The why starts after the first colon-and-space, so a row may contain colons. */
-export function goldenChanges(message) {
-    const named = new Map();
-    for (const match of message.matchAll(/^Golden-Change:\s*(.+?):\s+(.+)$/gm))
-        named.set(match[1], match[2]);
-    return named;
-}
-export function readGolden(file) {
-    return asTable(readFileSync(file, "utf8"));
-}
-export function checkGolden(input) {
-    const home = input.home ?? homedir();
-    const recorded = normalizeTable(input.recorded, input.roots);
-    const actual = normalizeTable(input.actual, input.roots);
-    const ids = [...new Set([...Object.keys(recorded.rows), ...Object.keys(actual.rows)])].sort();
-    const wording = [];
-    const contract = [];
-    const invariant = [];
-    for (const id of ids) {
-        const before = recorded.rows[id];
-        const after = actual.rows[id];
-        if (after) {
-            const violation = invariantOf(id, after, home);
-            if (violation)
-                invariant.push(violation);
-        }
-        if (JSON.stringify(wordingOf(before)) !== JSON.stringify(wordingOf(after)))
-            wording.push(id);
-        if (JSON.stringify(contractOf(before)) !== JSON.stringify(contractOf(after)))
-            contract.push(id);
-    }
-    const allowed = goldenChanges(input.message);
-    const unauthorized = contract.filter((id) => !allowed.has(id));
-    const canWrite = input.update !== null && invariant.length === 0 && unauthorized.length === 0;
-    const wordingWrite = canWrite && (input.update === "wording" || input.update === "all");
-    const contractWrite = canWrite && contract.every((id) => allowed.has(id));
-    const table = structuredClone(input.recorded);
-    if (wordingWrite || (canWrite && contractWrite && contract.length > 0)) {
-        for (const id of ids) {
-            const after = input.actual.rows[id];
-            const contractRow = contract.includes(id);
-            const wordingRow = wording.includes(id);
-            if (contractRow && contractWrite) {
-                if (!after)
-                    delete table.rows[id];
-                else
-                    table.rows[id] = after;
-            }
-            else if (wordingRow && wordingWrite && after && table.rows[id]) {
-                table.rows[id] = { ...table.rows[id], ...wordingOf(after) };
-            }
-            else if (wordingRow && wordingWrite && after && !table.rows[id] && !contractRow) {
-                table.rows[id] = wordingOf(after);
-            }
-        }
-    }
-    const write = invariant.length === 0 && unauthorized.length === 0 && input.update !== null && (wording.length > 0 || contract.length > 0);
-    const ok = invariant.length === 0 && unauthorized.length === 0 && (wording.length === 0 || input.update !== null);
-    const summary = ok
-        ? wording.length === 0 && contract.length === 0
-            ? "Golden rows match."
-            : `Re-recorded ${wording.length} wording row(s) and ${contract.length} contract row(s).`
-        : invariant.length > 0
-            ? `Invariant failed: ${invariant.join("; ")}.`
-            : unauthorized.length > 0
-                ? `Contract changed for ${unauthorized.join(", ")} without a Golden-Change trailer.`
-                : `Wording changed for ${wording.join(", ")}. Re-record with --update wording.`;
-    return {
-        write: write && ok,
-        table,
-        envelope: {
-            schemaVersion: SCHEMA_VERSION,
-            ok,
-            command: "golden.check",
-            summary,
-            next: ok ? "Review the re-recorded rows." : "The table was not written.",
-            nextCall: null,
-            wording,
-            contract,
-            invariant,
-            updated: write && ok,
-        },
-    };
-}
-export function goldenShape(text) {
-    if (!text.trim())
-        return "rows";
-    let parsed;
-    try {
-        parsed = JSON.parse(text);
-    }
-    catch {
-        return "rows";
-    }
-    if (!parsed || typeof parsed !== "object" || Array.isArray(parsed))
-        return "flat";
-    const rows = parsed.rows;
-    if (rows && typeof rows === "object" && !Array.isArray(rows))
-        return "rows";
-    return "flat";
-}
-export function writeGolden(file, table, shape = "rows") {
-    const rows = shape === "flat" ? table.rows : sortRows(table.rows);
-    const payload = shape === "flat" ? rows : { rows };
-    writeFileSync(file, `${JSON.stringify(payload, null, 2)}\n`);
-}
-function invariantOf(id, row, home) {
-    if (row.ok === true && (typeof row.reason !== "string" || row.reason.trim().length === 0)) {
-        return `${id} has ok without a reason`;
-    }
-    if (home && containsHome(row, home))
-        return `${id} contains a home path`;
-    return null;
-}
-function containsHome(value, home) {
-    if (typeof value === "string")
-        return value.includes(home);
-    if (Array.isArray(value))
-        return value.some((item) => containsHome(item, home));
-    if (value && typeof value === "object")
-        return Object.values(value).some((item) => containsHome(item, home));
-    return false;
-}
-function wordingOf(row) {
-    if (!row || typeof row !== "object" || Array.isArray(row))
-        return {};
-    const out = {};
-    for (const key of WORDING_KEYS) {
-        if (Object.prototype.hasOwnProperty.call(row, key))
-            out[key] = row[key];
-    }
-    return out;
-}
-function contractOf(row) {
-    if (!row)
-        return {};
-    const out = {};
-    for (const key of Object.keys(row).sort()) {
-        if (WORDING_KEYS.includes(key))
-            continue;
-        out[key] = row[key];
-    }
-    return out;
-}
-function normalizeTable(table, roots) {
-    return { rows: normalize(table.rows, roots) };
-}
-function normalize(value, roots) {
-    if (typeof value === "string") {
-        let out = value;
-        for (const root of roots) {
-            if (root.length > 1 && out.includes(root))
-                out = out.split(root).join("{root}");
-        }
-        return out;
-    }
-    if (Array.isArray(value))
-        return value.map((item) => normalize(item, roots));
-    if (value && typeof value === "object") {
-        const out = {};
-        for (const [key, item] of Object.entries(value))
-            out[key] = normalize(item, roots);
-        return out;
-    }
-    return value;
-}
-export function asTable(text) {
-    if (!text.trim())
-        return { rows: {} };
-    const parsed = JSON.parse(text);
-    if (!parsed || typeof parsed !== "object" || Array.isArray(parsed))
-        return { rows: {} };
-    const record = parsed;
-    const rows = record.rows && typeof record.rows === "object" && !Array.isArray(record.rows)
-        ? record.rows
-        : record;
-    return { rows };
-}
-function sortRows(rows) {
-    const out = {};
-    for (const key of Object.keys(rows).sort())
-        out[key] = rows[key];
-    return out;
-}