ralph-flow-pi 0.1.0

package/dist/tui/run-view.js

@@ -0,0 +1,167 @@
+/**
+ * The run view — a full-screen pi-tui app that shows one workflow running.
+ *
+ * This is the payoff of Direction A. No supervisor LLM sits between the user and
+ * the engine: the runner drives the workflow autonomously, its structured events
+ * feed the pure run-model, and this file renders that model and turns keystrokes
+ * into engine actions. The only AI sessions are the ones actually doing the work
+ * (each DO step) and judging it (each CHECK) — and you watch them live.
+ *
+ * The interaction model is one persistent input, always available except during
+ * CHECK (read-only by design) and once the run has ended. There is no separate
+ * modal hotkey layer for gates/pauses — that would be a second interaction
+ * language bolted onto the first, and the whole point of this view is to feel
+ * like talking to the work the way you would in Claude Code or opencode: plain
+ * text always talks to the work (steer the live DO session / revise a gate /
+ * leave a note for the next retry), `/`-commands always control the state
+ * machine (`/ralphflow-continue`, `/ralphflow-cancel` — the same names the chat
+ * surface already uses for the same actions, see commands/prompts.ts).
+ *
+ * All the visual logic is in render.ts (pure, fully tested). This file is the
+ * thin pi-tui shell: a Component that emits render.ts's lines, plus the input
+ * box and the dispatcher that turns submitted text into engine actions.
+ */
+import { isTerminal } from "./run-model.js";
+import { renderScreen } from "./render.js";
+import { Input, matchesKey, Key, getSelectListTheme } from "../pi/tui.js";
+/** A Component that renders the run model; `scrollBack` is owned by the view. */
+class ScreenComponent {
+    model;
+    scrollBack = 0;
+    constructor(model) {
+        this.model = model;
+    }
+    render(width) {
+        return renderScreen(this.model(), width, this.scrollBack);
+    }
+    invalidate() { }
+}
+/** Whether the persistent input should be mounted for the current model state. */
+function inputActive(m) {
+    return m.activePhase !== "check" && !isTerminal(m);
+}
+function isCommand(text, names) {
+    const head = text.split(/\s+/, 1)[0]?.toLowerCase() ?? "";
+    return names.includes(head);
+}
+/**
+ * The single dispatch rule for whatever the user submits. Pure function of
+ * (text, model) → an action call, so it's unit-testable without a terminal.
+ */
+export function dispatchInput(rawText, m, actions) {
+    const text = rawText.trim();
+    if (!text)
+        return;
+    if (isCommand(text, ["/ralphflow-continue", "/continue"])) {
+        if (m.status === "gate")
+            actions.approveGate();
+        else if (m.status === "paused" || m.status === "stalled")
+            actions.resume();
+        return;
+    }
+    if (isCommand(text, ["/ralphflow-cancel", "/cancel"])) {
+        if (m.status !== "completed" && m.status !== "cancelled")
+            actions.cancel();
+        return;
+    }
+    if (text.startsWith("/"))
+        return; // unrecognized command — ignore rather than misfire
+    if (m.status === "running" && m.activePhase === "do") {
+        actions.sendMessage(text);
+        return;
+    }
+    if (m.status === "gate") {
+        actions.reviseGate(text);
+        return;
+    }
+    if (m.status === "paused" || m.status === "stalled") {
+        actions.attachNote(text);
+        return;
+    }
+    // running+check, completed, cancelled: no input is mounted for these states
+    // in practice (see inputActive), but stay a no-op if reached anyway.
+}
+/**
+ * Run the full-screen view for one instance until it finishes or the user quits.
+ * Resolves when the TUI is torn down. `getModel` returns the live model that the
+ * caller mutates from runner events; call `requestRender()` after each mutation.
+ */
+export function createRunView(opts) {
+    const { tui, getModel, actions, onQuit } = opts;
+    const screen = new ScreenComponent(getModel);
+    const stepInput = new Input();
+    let inputMounted = false;
+    stepInput.onSubmit = (value) => {
+        const text = value.trim();
+        stepInput.setValue("");
+        if (text)
+            dispatchInput(text, getModel(), actions);
+        requestRender();
+    };
+    /** Mount/focus the input exactly when the current state accepts it. */
+    function syncInput() {
+        const active = inputActive(getModel());
+        if (active && !inputMounted) {
+            tui.addChild(stepInput);
+            tui.setFocus(stepInput);
+            inputMounted = true;
+        }
+        else if (!active && inputMounted) {
+            tui.removeChild(stepInput);
+            tui.setFocus(null);
+            inputMounted = false;
+        }
+    }
+    function requestRender() {
+        syncInput();
+        tui.requestRender();
+    }
+    /**
+     * Global keys — scrolling and quit only. Everything else (typed text, Enter,
+     * cursor movement within the box) is NOT handled here: when this returns
+     * false, pi-tui forwards the raw input to the focused component itself
+     * (stepInput, via tui.setFocus in syncInput), which is where actual typing
+     * belongs. Returns true if handled here.
+     */
+    function handleInput(data) {
+        if (tui.hasOverlay())
+            return false;
+        if (matchesKey(data, Key.up)) {
+            screen.scrollBack += 1;
+            requestRender();
+            return true;
+        }
+        if (matchesKey(data, Key.down)) {
+            screen.scrollBack = Math.max(0, screen.scrollBack - 1);
+            requestRender();
+            return true;
+        }
+        if (matchesKey(data, Key.pageUp)) {
+            screen.scrollBack += 10;
+            requestRender();
+            return true;
+        }
+        if (matchesKey(data, Key.pageDown)) {
+            screen.scrollBack = Math.max(0, screen.scrollBack - 10);
+            requestRender();
+            return true;
+        }
+        if (matchesKey(data, Key.escape)) {
+            // First Esc clears a draft in progress (cheap to hit by accident while
+            // typing); only an Esc on an empty box actually quits.
+            if (stepInput.getValue().trim().length > 0) {
+                stepInput.setValue("");
+                requestRender();
+                return true;
+            }
+            onQuit();
+            return true;
+        }
+        return false;
+    }
+    return { screen, stepInput, requestRender, handleInput };
+}
+// getSelectListTheme is imported so the launcher (which shares this module's pi
+// surface) can theme its picker without importing pi-tui directly.
+export { getSelectListTheme };
+//# sourceMappingURL=run-view.js.map

package/dist/tui/run-view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-view.js","sourceRoot":"","sources":["../../src/tui/run-view.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAa,KAAK,EAAO,UAAU,EAAE,GAAG,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAiB1F,iFAAiF;AACjF,MAAM,eAAe;IAEU;IAD7B,UAAU,GAAG,CAAC,CAAC;IACf,YAA6B,KAAqB;QAArB,UAAK,GAAL,KAAK,CAAgB;IAAG,CAAC;IACtD,MAAM,CAAC,KAAa;QAClB,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC;IACD,UAAU,KAAU,CAAC;CACtB;AAED,kFAAkF;AAClF,SAAS,WAAW,CAAC,CAAW;IAC9B,OAAO,CAAC,CAAC,WAAW,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,KAAe;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAC1D,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,CAAW,EAAE,OAAuB;IACjF,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,IAAI;QAAE,OAAO;IAElB,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,qBAAqB,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,CAAC,WAAW,EAAE,CAAC;aAC1C,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC3E,OAAO;IACT,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,mBAAmB,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC3E,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,oDAAoD;IAEtF,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAAC,OAAO;IAAC,CAAC;IAC5F,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAAC,OAAO;IAAC,CAAC;IAC9D,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAAC,OAAO;IAAC,CAAC;IAC1F,4EAA4E;IAC5E,qEAAqE;AACvE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAM7B;IACC,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,KAAK,EAAE,CAAC;IAC9B,IAAI,YAAY,GAAG,KAAK,CAAC;IAEzB,SAAS,CAAC,QAAQ,GAAG,CAAC,KAAa,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1B,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,IAAI;YAAE,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,CAAC,CAAC;QACnD,aAAa,EAAE,CAAC;IAClB,CAAC,CAAC;IAEF,uEAAuE;IACvE,SAAS,SAAS;QAChB,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvC,IAAI,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;YAC5B,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YACxB,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YACxB,YAAY,GAAG,IAAI,CAAC;QACtB,CAAC;aAAM,IAAI,CAAC,MAAM,IAAI,YAAY,EAAE,CAAC;YACnC,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAC3B,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACnB,YAAY,GAAG,KAAK,CAAC;QACvB,CAAC;IACH,CAAC;IAED,SAAS,aAAa;QACpB,SAAS,EAAE,CAAC;QACZ,GAAG,CAAC,aAAa,EAAE,CAAC;IACtB,CAAC;IAED;;;;;;OAMG;IACH,SAAS,WAAW,CAAC,IAAY;QAC/B,IAAI,GAAG,CAAC,UAAU,EAAE;YAAE,OAAO,KAAK,CAAC;QAEnC,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC;YAAC,aAAa,EAAE,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC;QACvF,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC;YAAC,aAAa,EAAE,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC;QACzH,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;YAAC,aAAa,EAAE,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC;QAC5F,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC;YAAC,aAAa,EAAE,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC;QAE9H,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,uEAAuE;YACvE,uDAAuD;YACvD,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAAC,aAAa,EAAE,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;YACrG,MAAM,EAAE,CAAC;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;AAC3D,CAAC;AAED,gFAAgF;AAChF,mEAAmE;AACnE,OAAO,EAAE,kBAAkB,EAAE,CAAC"}

package/dist/tui/welcome-header.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Custom startup header — replaces Pi's generic "Pi can explain its own
+ * features and look up its docs..." welcome text with a small bordered
+ * banner that actually says what ralph-flow-pi is and how to start it, via
+ * `ctx.ui.setHeader` (same "session_start" seam `setEditorComponent` uses —
+ * see extension.ts and history-editor.ts). `Component` (pi-tui) is a
+ * structural interface (`render(width): string[]`), not a base class to
+ * extend, so this is a plain object literal — no subclassing, and the
+ * content-building part is a pure function, unit-testable without a TUI.
+ *
+ * The box is hand-rolled rather than reused from pi-tui/pi-coding-agent:
+ * `Box` (pi-tui) is padding+background only, no border; `DynamicBorder`
+ * (pi-coding-agent) is a single horizontal rule, not a full frame. Every
+ * width computation goes through `visibleWidth`/`wrapTextWithAnsi` (both
+ * confirmed ANSI-aware AND CJK/emoji-width-aware by a quick node -e check
+ * against the real package, not assumed) — the exact pitfall
+ * [[pi-sdk-gotchas]]-equivalent lesson from render.ts's own header comment:
+ * get this wrong and pi-tui throws "line exceeds terminal width" outright,
+ * it doesn't just look a little off.
+ */
+import { type Component, type Theme } from "../pi/tui.js";
+export interface WelcomeWorkflowSummary {
+    name: string;
+    desc: string;
+}
+/** The actual content, separated from the pi-tui plumbing so it's testable headlessly. */
+export declare function buildWelcomeLines(theme: Theme, workflows: WelcomeWorkflowSummary[], width: number): string[];
+/**
+ * `listWorkflows` is a thunk, not a snapshot — `setHeader`'s factory runs once
+ * at session start, but the header component's own `render()` runs on every
+ * redraw, so re-listing each time keeps it honest if workflows change (a
+ * project file edited mid-session, `ralphflow doctor` fixing something) —
+ * cheap enough (`engine.listWorkflows()` is a directory scan, not a build).
+ */
+export declare function createWelcomeHeaderFactory(listWorkflows: () => Array<{
+    name: string;
+    desc: string;
+    invalid?: boolean;
+}>): (_tui: unknown, theme: Theme) => Component;
+//# sourceMappingURL=welcome-header.d.ts.map

package/dist/tui/welcome-header.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"welcome-header.d.ts","sourceRoot":"","sources":["../../src/tui/welcome-header.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,KAAK,EAAE,MAAM,cAAc,CAAC;AAG1D,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAsDD,0FAA0F;AAC1F,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,sBAAsB,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAE5G;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC,IAErE,MAAM,OAAO,EAAE,OAAO,KAAK,KAAG,SAAS,CAShD"}

package/dist/tui/welcome-header.js

@@ -0,0 +1,90 @@
+/**
+ * Custom startup header — replaces Pi's generic "Pi can explain its own
+ * features and look up its docs..." welcome text with a small bordered
+ * banner that actually says what ralph-flow-pi is and how to start it, via
+ * `ctx.ui.setHeader` (same "session_start" seam `setEditorComponent` uses —
+ * see extension.ts and history-editor.ts). `Component` (pi-tui) is a
+ * structural interface (`render(width): string[]`), not a base class to
+ * extend, so this is a plain object literal — no subclassing, and the
+ * content-building part is a pure function, unit-testable without a TUI.
+ *
+ * The box is hand-rolled rather than reused from pi-tui/pi-coding-agent:
+ * `Box` (pi-tui) is padding+background only, no border; `DynamicBorder`
+ * (pi-coding-agent) is a single horizontal rule, not a full frame. Every
+ * width computation goes through `visibleWidth`/`wrapTextWithAnsi` (both
+ * confirmed ANSI-aware AND CJK/emoji-width-aware by a quick node -e check
+ * against the real package, not assumed) — the exact pitfall
+ * [[pi-sdk-gotchas]]-equivalent lesson from render.ts's own header comment:
+ * get this wrong and pi-tui throws "line exceeds terminal width" outright,
+ * it doesn't just look a little off.
+ */
+import { visibleWidth, wrapTextWithAnsi } from "../pi/tui.js";
+/** More than this and the header starts competing with the chat for space. */
+const MAX_LISTED = 8;
+/** Caps the box width on wide terminals — an 800px-wide slab of text reads worse than a compact card. */
+const MAX_BOX_WIDTH = 68;
+/** The unboxed content lines — colored, not yet wrapped or framed. */
+function contentLines(theme, workflows) {
+    const lines = [];
+    lines.push(theme.bold(theme.fg("accent", "ralph-flow")) + theme.fg("muted", "  ·  DO → CHECK 工作流引擎"));
+    if (workflows.length > 0) {
+        lines.push("");
+        const shown = workflows.slice(0, MAX_LISTED);
+        const overflow = workflows.length - shown.length;
+        const names = shown.map((w) => theme.fg("text", w.name)).join(theme.fg("muted", " · "));
+        const suffix = overflow > 0 ? theme.fg("muted", ` (+${overflow})`) : "";
+        lines.push(theme.fg("muted", "可用工作流：") + names + suffix);
+    }
+    lines.push("");
+    lines.push(theme.fg("muted", '试试说 "用 spec 工作流帮我实现一个登录接口" 之类的话，或输入 ') + theme.fg("accent", "/ralphflow-start"));
+    return lines;
+}
+/**
+ * Wraps colored lines in a rounded box, sized to fit `outerWidth` (capped at
+ * MAX_BOX_WIDTH). Every body line is padded to the exact same visible width
+ * so the right border lines up — the one detail that's easy to get subtly
+ * wrong with ANSI-colored, CJK-mixed content, which is why it goes through
+ * `visibleWidth` per line rather than `.length`.
+ */
+function boxIt(theme, lines, outerWidth) {
+    const border = (s) => theme.fg("borderAccent", s);
+    const innerWidth = Math.max(20, Math.min(MAX_BOX_WIDTH, outerWidth) - 4); // "│ " + content + " │"
+    const wrapped = [];
+    for (const line of lines) {
+        if (line === "") {
+            wrapped.push("");
+            continue;
+        }
+        wrapped.push(...wrapTextWithAnsi(line, innerWidth));
+    }
+    const top = border(`╭${"─".repeat(innerWidth + 2)}╮`);
+    const bottom = border(`╰${"─".repeat(innerWidth + 2)}╯`);
+    const body = wrapped.map((line) => {
+        const pad = " ".repeat(Math.max(0, innerWidth - visibleWidth(line)));
+        return border("│ ") + line + pad + border(" │");
+    });
+    return [top, ...body, bottom];
+}
+/** The actual content, separated from the pi-tui plumbing so it's testable headlessly. */
+export function buildWelcomeLines(theme, workflows, width) {
+    return boxIt(theme, contentLines(theme, workflows), width);
+}
+/**
+ * `listWorkflows` is a thunk, not a snapshot — `setHeader`'s factory runs once
+ * at session start, but the header component's own `render()` runs on every
+ * redraw, so re-listing each time keeps it honest if workflows change (a
+ * project file edited mid-session, `ralphflow doctor` fixing something) —
+ * cheap enough (`engine.listWorkflows()` is a directory scan, not a build).
+ */
+export function createWelcomeHeaderFactory(listWorkflows) {
+    return (_tui, theme) => ({
+        render(width) {
+            const workflows = listWorkflows().filter((w) => !w.invalid);
+            return buildWelcomeLines(theme, workflows, width);
+        },
+        // Nothing cached — every render() call already re-lists workflows and
+        // re-reads theme colors from scratch, so there's no state to drop.
+        invalidate() { },
+    });
+}
+//# sourceMappingURL=welcome-header.js.map

package/dist/tui/welcome-header.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"welcome-header.js","sourceRoot":"","sources":["../../src/tui/welcome-header.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAO9D,8EAA8E;AAC9E,MAAM,UAAU,GAAG,CAAC,CAAC;AACrB,yGAAyG;AACzG,MAAM,aAAa,GAAG,EAAE,CAAC;AAEzB,sEAAsE;AACtE,SAAS,YAAY,CAAC,KAAY,EAAE,SAAmC;IACrE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,uBAAuB,CAAC,CAAC,CAAC;IAEtG,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QACjD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;QACxF,MAAM,MAAM,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,KAAK,GAAG,MAAM,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,sCAAsC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CACnG,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,KAAK,CAAC,KAAY,EAAE,KAAe,EAAE,UAAkB;IAC9D,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,wBAAwB;IAElG,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAChD,OAAO,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAChC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,iBAAiB,CAAC,KAAY,EAAE,SAAmC,EAAE,KAAa;IAChG,OAAO,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CACxC,aAA6E;IAE7E,OAAO,CAAC,IAAa,EAAE,KAAY,EAAa,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,KAAa;YAClB,MAAM,SAAS,GAAG,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC5D,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC;QACD,sEAAsE;QACtE,mEAAmE;QACnE,UAAU,KAAI,CAAC;KAChB,CAAC,CAAC;AACL,CAAC"}

package/package.json

@@ -0,0 +1,55 @@
+{
+  "name": "ralph-flow-pi",
+  "version": "0.1.0",
+  "description": "DO → CHECK workflow engine on the Pi SDK — every step runs in a fresh, isolated AI session",
+  "type": "module",
+  "bin": {
+    "ralphflow": "dist/cli.js"
+  },
+  "files": [
+    "dist/",
+    "workflows/",
+    "skills/"
+  ],
+  "keywords": [
+    "cli",
+    "ai-agent",
+    "workflow",
+    "automation",
+    "llm",
+    "coding-agent",
+    "pi-sdk",
+    "spec-driven-development"
+  ],
+  "homepage": "https://github.com/534529531/ralph-flow-pi#readme",
+  "bugs": {
+    "url": "https://github.com/534529531/ralph-flow-pi/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/534529531/ralph-flow-pi.git"
+  },
+  "author": "534529531",
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "dev": "tsc -p tsconfig.json --watch",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run",
+    "prepublishOnly": "npm run build && npm test"
+  },
+  "dependencies": {
+    "@earendil-works/pi-coding-agent": "^0.80.10",
+    "js-yaml": "^4.1.0",
+    "typebox": "^1.1.38"
+  },
+  "devDependencies": {
+    "@types/js-yaml": "^4.0.9",
+    "@types/node": "^20.11.0",
+    "typescript": "^5.3.0",
+    "vitest": "^4.1.7"
+  },
+  "engines": {
+    "node": ">=20.0.0"
+  },
+  "license": "MIT"
+}

package/skills/c-to-rust-audit/SKILL.md

@@ -0,0 +1,67 @@
+---
+name: c-to-rust-audit
+description: 独立审计 C→Rust 翻译质量。逐模块逐函数对照 plan.json 和 C 源码，验证完整性与语义等价。发现遗漏或偏差立即修复。在 c-to-rust 工作流的 audit-core 和 audit-full 步骤触发。
+---
+
+你是审计师，不是实现者。你的任务是审查已有翻译的质量，而不是从头实现。对照 plan.json 和 C 原实现，逐模块逐函数验证 Rust 实现的完整性和正确性。发现遗漏或偏差，立即修复。
+
+## 输入 / 输出
+
+- 输入：plan.json、Rust 项目、C 源码、function-contracts.md（如有）
+- 输出：所有审计范围内的函数确认完整且语义等价；发现的问题已修复
+
+## 范围
+
+- **audit-core**：`difficulty` ∈ {trivial, owned} 的模块
+- **audit-full**：全部模块（重点在 stateful/callback/global）
+
+## 审查方法
+
+对范围内的每个模块，逐函数审查：
+
+### 第一步：完整性检查
+
+对照 plan.json 中该模块的 `public_functions` 和 `internal_functions`，在 Rust 源码中找到每个函数的实现。
+
+- 函数存在且非桩？→ 继续
+- 函数缺失？→ 实现它
+- 函数是空函数体或仅返回默认值？→ 读 C 原实现，补全它
+
+### 第二步：语义等价检查
+
+对每个已存在的函数，对照 C 原实现验证语义等价性：
+
+- 读 C 源码，理解该函数做什么
+- 读 Rust 实现，判断是否产生相同行为
+- 关注：
+  - 错误路径：C 的每个错误分支在 Rust 中是否有对应处理
+  - 边界条件：C 的 NULL/0/MAX 检查是否被保留
+  - 状态转换：C 中的状态机是否完整
+  - 副作用：C 中对全局状态、文件、内存的修改是否等效
+  - 返回值：C 的返回码/出参语义是否被正确映射
+
+### 第三步：专项审查（audit-full 重点）
+
+对 stateful/callback/global 模块，额外关注：
+
+- **资源管理**：C 中有 init/alloc/open，对应的 deinit/free/close 在 Rust 中是否正确（Drop 还是显式方法）
+- **多阶段操作**：C 中通过中间状态标记实现的操作序列，Rust 是否保留了全部阶段
+- **异常恢复**：C 中有从异常状态恢复的逻辑，Rust 是否保留
+- **控制反转**：C 中通过函数指针实现的回调，Rust 是否正确建模
+- **二进制布局**：C 结构体的 repr 在 Rust 中是否一致（尤其注意 struct padding 和 enum 大小）
+- **活代码**：Rust 中定义但从未被调用的函数/结构体/缓存——可能是 C 中使用了但 Rust 遗漏了调用方
+
+### 第四步：修复
+
+发现遗漏或偏差，立即修复——不要只标注问题留给后续步骤。
+
+- 缺失函数：读 C 原实现，补全 Rust 版本
+- 语义偏差：重写 Rust 实现，匹配 C 语义
+- 死代码：补全调用方，或删除无用的定义
+
+## 完成标准
+
+- 审计范围内的每个模块：所有 public_functions + internal_functions 均已实现且语义等价
+- cargo build 通过
+- cargo test 通过（修复可能引入的测试失败）
+- 任何确实无法修复的问题，在 plan.json 对应模块的 notes 中记录原因

package/skills/c-to-rust-implement/SKILL.md

@@ -0,0 +1,151 @@
+---
+name: c-to-rust-implement
+description: 填充 Rust API 桩，逐模块把 C 翻译成惯用安全 Rust。工程师式自治：编译器/测试报错即自愈信号，用 systematic-debugging 定位根因后修复，迭代到绿。在 c-to-rust 工作流的 impl-core 和 impl-full 步骤触发。
+---
+
+桩和测试已就位（来自 baseline）。你是工程师：读原始 C 实现 → 理解语义 → 写出通过全部测试的惯用安全 Rust。没有"试 N 次就放弃"——持续迭代直到全部测试通过。不要主动放弃任何模块。
+
+## 输入 / 输出
+
+> `<产出目录>` = DO 提示词「产出目录」一节给出的路径（形如 `.ralph-flow/artifacts/<任务摘要>-<后缀>/`）。
+
+- 输入：当前范围的 C 源文件、Rust 桩、测试（baseline）、`plan.json`
+- 输出：测试全绿，clippy 干净，unsafe 比例 < 10%（cargo geiger Expressions 口径）且每处有 SAFETY 注释，每模块一个 commit
+
+## 范围
+
+- **impl-core**：`difficulty` ∈ {trivial, owned}（通常 layer 1-2）
+- **impl-full**：剩余 {stateful, callback, global}
+
+## 核心规则
+
+- **重写所有权，不是重写语法** — 用 Rust 所有权类型消除裸指针，而不是给 C 语法套 `unsafe`
+- **测试即规格** — 全部测试（oracle + prop）通过 = 实现正确
+- **签名可演进** — API 签名尽量稳定；确需调整时直接改，并同步更新调用方测试与 plan.json（这是正常工程，不是失败）
+- **git 是检查点** — 每模块通过后 commit（`impl-core: <module>` / `impl-full: <module>`），让后续步骤可验证进度
+
+## 实现顺序
+
+### 模块顺序
+
+1. 按 plan.json `layers` 自底向上：layer 1 最先。
+2. 同层内被依赖最多的先实现。
+3. **默认串行**（更可控）。仅当两个模块的 `depends_on` 与 `transitive_depends_on` **完全不相交**时，才可选 worktree 并行加速。
+
+### 模块内顺序
+
+错误类型 → 数据类型(derive 常用 trait) → 构造函数(C init) → 叶子函数(含 internal_functions) → 核心算法 → Drop(C deinit/free 的 RAII 替代)。每写完一个函数就 `cargo build`，早发现早修。
+
+### 逐函数对照（强制）
+
+每完成一个模块，对照 plan.json 验证：
+
+```
+模块 <name> 进度：
+- [ ] 读 C 原实现，理解语义与所有权
+- [ ] 写惯用安全 Rust（错误→类型→构造→叶子函数→核心→Drop）
+- [ ] 对照 plan.json：public_functions 和 internal_functions 每个都有对应 Rust 实现
+- [ ] 确认实现非桩（不是空函数体、不是仅返回默认值/Ok(())）
+- [ ] cargo build 通过（编译器报错→定位根因→修，迭代到 Finished）
+- [ ] 本模块 oracle + prop 测试全绿
+- [ ] cargo clippy 本模块无 warning；unsafe<10% 且每处有 SAFETY
+- [ ] git commit（impl-core:/impl-full:）+ plan.json completed_modules 更新
+```
+
+没有任何函数可以跳过——要么实现，要么在 plan.json 中显式记录原因。
+
+### 大模块分批（impl-full 时重要）
+
+若某模块函数数超过 20 个，分 2-3 批实现。每批：
+1. 实现该批函数 → cargo build → cargo test → 修复
+2. git commit（标注批次，如 `impl-full: <module> batch 1/3`）
+3. 全部批次完成后做一次集成验证
+
+分批原则：先基础设施（读写原语、状态编解码）、再核心算法、最后资源管理与异常恢复。
+
+### 崩溃恢复（步骤开始时）
+
+```bash
+jq -r '.completed_modules[]' <产出目录>/plan.json   # 已完成的跳过
+```
+
+以 `cargo test` 实际结果为准：若某模块标记完成但测试失败，清掉它的 completed 标记重新实现。
+
+### Worktree 并行（可选）
+
+```
+对每个可并行模块 M：EnterWorktree("impl-<M>") → 实现+测试+commit → ExitWorktree(keep)
+全部完成后：git merge 各分支 → 解决 lib.rs/types.rs 冲突 → cargo build 验证集成 → 下一层
+```
+
+并行只是加速手段；拿不准就串行。
+
+## 自愈循环 = systematic-debugging（不是机械计数）
+
+Rust 编译器和测试是你最好的自愈工具。报错不是要数着次数放弃，而是**定位根因**：
+
+```
+cargo build 2>&1
+  → 编译器精确告诉你哪错、怎么改 → 修 → 重来，直到 Finished
+cargo test 2>&1
+  → 失败 → 用 systematic-debugging：复现 → 对照 C 源码定位语义偏差 → 改根因（不是改断言迁就）→ 重来，直到 ok
+cargo clippy -- -D warnings 2>&1
+  → 修 warning，直到干净
+git commit
+```
+
+**当同一个错误反复出现**（你试了几次都没动），停止盲改，切换到根因分析：
+1. **重读 C 原实现** — 你对业务语义的理解很可能有偏差（测试失败时尤其如此）
+2. **检查 C 是否本身有 UB/旧 bug** — Rust 更严格，会暴露 C 里隐藏的问题；记入模块 notes，Rust 沿用等价的防御性行为
+3. **检查所有权/生命周期模型** — C 的隐式所有权约定在 Rust 可能需要 `Rc`/`Arc` 或重构数据结构，而不是硬塞 `unsafe`
+4. **检查 plan.json 依赖图** — 类型冲突往往是漏标了隐式依赖（补 `transitive_depends_on`，按正确顺序重做该模块）
+
+**库 API 变更导致的语法不兼容**（requirement：精准自愈）：当某 crate 版本的 API 与预期不符（编译器报"no method/field"、签名不匹配），读编译器建议 + `cargo doc`/源码确认新 API，按报错精准打补丁；必要时在 Cargo.toml 固定到兼容版本。这类修复走同一个"读报错→改→重编"循环。
+
+常见 C→Rust 模式（详见 `references/c-to-rust-patterns.md`）：
+- `malloc/free` → `Vec`/`Box` + Drop 自动释放
+- `return -1`/`ERR_CODE` → `Err(AppError::...)`；出参 `int* err` → `Result<T, AppError>`
+- `goto cleanup` → RAII
+- 函数指针表 → `trait` + `Box<dyn Trait>`
+- `static mut STATE` → `OnceLock<Mutex<T>>`
+- `#ifdef` → `#[cfg(...)]` / feature flag
+- 内联汇编 → 优先 `std::arch` 内联函数，否则 `asm!()` + unsafe（见 `references/inline-asm.md`）
+
+## Unsafe 使用规则
+
+### 度量标准（全工作流统一：cargo geiger 是唯一权威）
+
+不要手写行计数脚本。unsafe 比例统一用 **cargo geiger** 度量（已由 setup-env 步骤安装好）。
+口径 = geiger 输出中本项目 crate 行的 **Expressions** 列 `used/total`，要求 `used/total < 10%`：
+
+```bash
+cd <output_dir>
+RATIO=$(cargo geiger 2>/dev/null | grep -m1 -F "$(basename "$PWD") " | grep -oE '[0-9]+/[0-9]+' | sed -n '2p')
+U=${RATIO%/*}; T=${RATIO#*/}
+awk -v u="$U" -v t="$T" 'BEGIN{ if(t==""||t+0==0){print "geiger 解析失败（确认 setup-env 已装 geiger）"; exit 2} r=u*100/t; printf "unsafe expr %d/%d = %.1f%% (target <10%%)\n",u,t,r; exit (r<10?0:1) }'
+```
+
+geiger 报告里 `unsafe fn` / `unsafe impl` / `unsafe trait` / `extern "C"` 声明计入 Functions/Impls/Traits 列，**不计入** Expressions 列——这正是我们想要的：度量真正的不安全代码量，而非声明标记。
+
+### 规则
+
+- **默认零 unsafe** — 设计所有权类型消除裸指针；多数 C 模式都有安全 Rust 等价物
+- unsafe 仅用于：FFI 调用（plan.json 声明）、平台原语（mmap/ioctl/SIMD）、自引用结构（优先 `Pin`）
+- 每个 `unsafe {` 前一行必须有 `// SAFETY:` 注释，说明维持了什么不变性、外围如何保证
+- unsafe 块尽量小（1-3 行），禁止把整个函数体塞进大 `unsafe {}`
+- **禁止用 `unsafe fn` 包装安全代码来刷低行数百分比**（unsafe fn 不计入行数但污染 API）
+
+## 完成标准（每模块）
+
+- `cargo build` 通过；本模块 oracle + prop 测试通过
+- 对照 plan.json：本模块所有 public_functions + internal_functions 均已实现（非桩）
+- `cargo clippy` 本模块无 warning
+- unsafe 比例 < 10%（cargo geiger Expressions used/total），每处有 SAFETY 注释
+- `git commit`（impl-core:/impl-full: 前缀）；plan.json completed_modules 已更新
+
+## 完成标准（全项目，impl-full 末）
+
+- `cargo build --release` 通过；`cargo test --all` 全绿（无 FAILED、无 `#[ignore]`）
+- `cargo clippy -- -D warnings` 无 error
+- 全局 unsafe < 10%（cargo geiger Expressions used/total），每处有 SAFETY；无 `todo!()`/`unimplemented!()`/`dbg!()` 残留
+- 无 libc 依赖（FFI 边界模块除外）；每模块有 impl-core:/impl-full: commit