@rho-workspace/rho 0.5.4 → 0.5.5

package/node_modules/@rho-workspace/plugin-agent/dist/external-session.js

@@ -0,0 +1,190 @@
+import fs, { constants } from 'node:fs';
+import path from 'node:path';
+import { createHash, randomUUID } from 'node:crypto';
+import { Ajv } from 'ajv';
+import { externalSessionLimits as limits, externalSessionSummarySchema, externalTurnSchema } from './external-session-contract.js';
+export { externalSessionLimits } from './external-session-contract.js';
+export const externalSessionId = (producer, session) => 'x-' + createHash('sha256').update(producer + '\0' + session).digest('hex');
+const schema = new Ajv({ strict: false }).compile({ type: 'object', additionalProperties: false, required: ['format', 'projectRoot', 'summary', 'turns', 'sourceDigest'], properties: {
+        format: { const: 1 }, projectRoot: { type: 'string' }, summary: externalSessionSummarySchema,
+        turns: { type: 'array', maxItems: limits.maxTurns, items: externalTurnSchema }, sourceDigest: { type: 'string', pattern: '^[a-f0-9]{64}$' }
+    } });
+function directory(root, create = false) {
+    let dir = fs.realpathSync(root);
+    for (const part of ['.rho', 'agent', 'external']) {
+        dir = path.join(dir, part);
+        if (create) {
+            try {
+                fs.mkdirSync(dir, { mode: 0o700 });
+            }
+            catch (e) {
+                if (e.code !== 'EEXIST')
+                    throw e;
+            }
+        }
+        const stat = fs.lstatSync(dir);
+        if (!stat.isDirectory() || stat.isSymbolicLink() || fs.realpathSync(dir) !== dir)
+            throw new Error('External session storage must stay in the project.');
+    }
+    return dir;
+}
+function read(file, root) {
+    const fd = fs.openSync(file, constants.O_RDONLY | constants.O_NOFOLLOW | constants.O_NONBLOCK);
+    try {
+        const stat = fs.fstatSync(fd);
+        if (!stat.isFile() || stat.size > limits.maxRecordBytes)
+            throw new Error('External session record exceeds 4 MiB.');
+        const b = Buffer.alloc(stat.size + 1), n = fs.readSync(fd, b, 0, b.length, 0);
+        if (n !== stat.size)
+            throw new Error('External session changed during observation.');
+        const v = JSON.parse(b.subarray(0, n).toString('utf8'));
+        if (!schema(v) || v.projectRoot !== root || v.summary.id !== externalSessionId(v.summary.producer, v.summary.sessionId))
+            throw new Error('Invalid external session record.');
+        return v;
+    }
+    finally {
+        fs.closeSync(fd);
+    }
+}
+function observed(v) {
+    // No heartbeat proves the model or its native subprocess is alive.
+    if (v.summary.state !== 'running' || Date.now() - Date.parse(v.summary.observedAt) < 10000)
+        return v;
+    return { ...v, summary: { ...v.summary, state: 'unknown' }, turns: v.turns.map(t => t.state !== 'running' ? t : { ...t, state: 'unknown', tools: t.tools.map(tool => tool.outcome === 'requested' ? { ...tool, outcome: 'unknown' } : tool) }) };
+}
+export function listExternalSessions(root) {
+    root = fs.realpathSync(root);
+    const sessions = [];
+    let omitted = 0;
+    try {
+        const dir = directory(root), entries = fs.opendirSync(dir);
+        try {
+            let e, scanned = 0;
+            while ((e = entries.readSync())) {
+                if (++scanned > limits.maxSessions * 4) {
+                    omitted++;
+                    break;
+                }
+                if (!/^x-[a-f0-9]{64}\.json$/.test(e.name))
+                    continue;
+                if (sessions.length >= limits.maxSessions) {
+                    omitted++;
+                    continue;
+                }
+                try {
+                    sessions.push(observed(read(path.join(dir, e.name), root)).summary);
+                }
+                catch {
+                    omitted++;
+                }
+            }
+        }
+        finally {
+            entries.closeSync();
+        }
+    }
+    catch (e) {
+        if (e.code !== 'ENOENT')
+            omitted++;
+    }
+    return { sessions: sessions.sort((a, b) => b.lastAt.localeCompare(a.lastAt)), omitted };
+}
+export function readExternalSession(root, input) {
+    if (!/^x-[a-f0-9]{64}$/.test(input.session))
+        throw new Error('Invalid external session identity.');
+    root = fs.realpathSync(root);
+    const v = observed(read(path.join(directory(root), input.session + '.json'), root));
+    const end = Math.min(v.turns.length, input.before ?? v.turns.length), first = Math.max(0, end - Math.min(20, Math.max(1, input.limit ?? 4)));
+    return { session: v.summary, first, turns: v.turns.slice(first, end) };
+}
+/** Native adapters retain an observation under their existing filesystem authority.
+ * No managed execution, Agent input, grant change or runtime startup is involved. */
+export function saveExternalSession(root, value, previousDigest) {
+    root = fs.realpathSync(root);
+    if (value.projectRoot !== root || !schema(value) || value.summary.id !== externalSessionId(value.summary.producer, value.summary.sessionId))
+        throw new Error('Invalid external session observation.');
+    const bytes = JSON.stringify(value);
+    if (Buffer.byteLength(bytes) > limits.maxRecordBytes)
+        throw new Error('External session exceeds maxRecordBytes; previous observation retained.');
+    const dir = directory(root, true), file = path.join(dir, value.summary.id + '.json');
+    // The lock covers only a small local observation write; never steal a live writer's lock.
+    const lock = file + '.lock';
+    let fd;
+    try {
+        fd = fs.openSync(lock, 'wx', 0o600);
+    }
+    catch {
+        // Recover only a positively dead writer. Unknown owners and live PIDs retain the lock.
+        try {
+            const stat = fs.lstatSync(lock);
+            if (!stat.isFile() || stat.isSymbolicLink() || stat.size > 32)
+                throw new Error();
+            const pid = Number(fs.readFileSync(lock, 'utf8'));
+            if (!Number.isSafeInteger(pid) || pid <= 0)
+                throw new Error();
+            try {
+                process.kill(pid, 0);
+                throw new Error();
+            }
+            catch (e) {
+                if (e.code !== 'ESRCH')
+                    throw e;
+            }
+            const now = fs.lstatSync(lock);
+            if (now.ino !== stat.ino || now.dev !== stat.dev)
+                throw new Error();
+            fs.unlinkSync(lock);
+            fd = fs.openSync(lock, 'wx', 0o600);
+        }
+        catch {
+            throw new Error('External session observation is busy; previous observation retained.');
+        }
+    }
+    fs.writeFileSync(fd, String(process.pid));
+    const temp = file + '.' + randomUUID() + '.tmp';
+    try {
+        let old;
+        try {
+            old = read(file, root);
+        }
+        catch (e) {
+            if (e.code !== 'ENOENT')
+                throw e;
+        }
+        if (old) {
+            if (value.summary.sourceCursor < old.summary.sourceCursor)
+                throw new Error('External source moved backwards; previous observation retained.');
+            if (value.summary.sourceCursor === old.summary.sourceCursor && old.sourceDigest !== value.sourceDigest)
+                throw new Error('External source identity conflicts with retained content.');
+            if (value.summary.sourceCursor > old.summary.sourceCursor && previousDigest !== old.sourceDigest)
+                throw new Error('External source prefix conflicts with retained content.');
+        }
+        else {
+            const entries = fs.readdirSync(dir).filter(n => /^x-[a-f0-9]{64}\.json$/.test(n));
+            if (entries.length >= limits.maxSessions)
+                throw new Error('External session maxSessions reached; previous observations retained.');
+        }
+        fs.writeFileSync(temp, bytes, { flag: 'wx', mode: 0o600 });
+        fs.renameSync(temp, file);
+    }
+    finally {
+        fs.closeSync(fd);
+        fs.unlinkSync(lock);
+        try {
+            fs.unlinkSync(temp);
+        }
+        catch { }
+    }
+    return value.summary;
+}
+export function retainedExternalSession(root, producer, sessionId) {
+    root = fs.realpathSync(root);
+    try {
+        return read(path.join(directory(root), externalSessionId(producer, sessionId) + '.json'), root);
+    }
+    catch (e) {
+        if (e.code === 'ENOENT')
+            return undefined;
+        throw e;
+    }
+}

package/node_modules/@rho-workspace/plugin-agent/dist/index.d.ts

@@ -141,6 +141,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -237,6 +249,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -333,6 +357,234 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        };
+        version: "2.0";
+    } | {
+        requires: string[];
+        inputSchema: {
+            type: string;
+            properties: Record<string, any>;
+            required: string[];
+            additionalProperties: boolean;
+        };
+        outputSchema: {
+            type: string;
+            properties: Record<string, any>;
+            required: string[];
+            additionalProperties: boolean;
+        };
+        effect: "read";
+        method: string;
+        presentation: {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: false;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        };
+        version: "2.0";
+    } | {
+        requires: string[];
+        inputSchema: {
+            type: string;
+            properties: Record<string, any>;
+            required: string[];
+            additionalProperties: boolean;
+        };
+        outputSchema: {
+            type: string;
+            properties: Record<string, any>;
+            required: string[];
+            additionalProperties: boolean;
+        };
+        effect: "read";
+        method: string;
+        presentation: {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -541,6 +793,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -639,6 +903,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -765,6 +1041,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -893,6 +1181,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -979,6 +1279,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -1065,6 +1377,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -1151,6 +1475,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -1239,6 +1575,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -1327,6 +1675,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -1413,6 +1773,18 @@ export declare const plugin: {
             description: string;
             readOnly: true;
             runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
+        } | {
+            order: number;
+            displayName: string;
+            description: string;
+            readOnly: true;
+            runsCode: false;
         } | {
             order: number;
             displayName: string;
@@ -1601,3 +1973,4 @@ export declare const plugin: {
         proactivePush: string;
     };
 };
+export { listExternalSessions, readExternalSession } from './external-session.js';

package/node_modules/@rho-workspace/plugin-agent/dist/index.js

@@ -307,3 +307,4 @@ export const plugin = { entryVersion: '1.0', id: 'agent', package: '@rho-workspa
     components: [{ id: 'rho.agent-note', version: '0.2.0', owner: 'rho-plugins.agent', bindings: {}, propsSchema: layeredSchemas.AgentNoteProps, ui: './ui', presentation: { displayName: 'Agent note', description: 'A plain presentation explanation with authenticated author and binding basis.', readOnly: true, runsCode: false } }],
     skills: [{ ...agentSkill, presentation: skillPresentation }, { ...feedbackSkill, presentation: { displayName: 'Business feedback', description: 'Reads original feedback, preserves current human edits and links an explicit reply.' } }, { ...presentationSkill, presentation: { displayName: 'Presentation', description: 'Enhances the assigned visible layout without business feedback or document access.' } }],
     agent: { id: 'claude-code-mcp', transport: 'stdio', modelLoop: 'external-client', contextDelivery: 'pull-tool-result', proactivePush: 'unsupported' } };
+export { listExternalSessions, readExternalSession } from './external-session.js';

package/node_modules/@rho-workspace/plugin-agent/dist/operations.d.ts

@@ -1,3 +1,4 @@
+export { externalSessionSchemas } from './external-session-contract.js';
 export declare const operationContracts: {
     'feedback.submit': {
         inputSchema: any;
@@ -327,4 +328,36 @@ export declare const operationContracts: {
         requires: string[];
         effect: "metadata";
     };
+    'agent.sessions.list': {
+        inputSchema: {
+            type: string;
+            properties: Record<string, any>;
+            required: string[];
+            additionalProperties: boolean;
+        };
+        outputSchema: {
+            type: string;
+            properties: Record<string, any>;
+            required: string[];
+            additionalProperties: boolean;
+        };
+        requires: never[];
+        effect: "read";
+    };
+    'agent.sessions.read': {
+        inputSchema: {
+            type: string;
+            properties: Record<string, any>;
+            required: string[];
+            additionalProperties: boolean;
+        };
+        outputSchema: {
+            type: string;
+            properties: Record<string, any>;
+            required: string[];
+            additionalProperties: boolean;
+        };
+        requires: never[];
+        effect: "read";
+    };
 };