@animalabs/agent-framework 0.26.2 → 0.28.0

package/dist/src/modules/workspace/answers.js

@@ -0,0 +1,123 @@
+import { constants } from 'node:os';
+import { boundedErrorMessage } from '../../error-message.js';
+export class Refusal extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'Refusal';
+    }
+}
+export function didNothing(tool, body, to) {
+    return `The ${tool} did nothing${to !== undefined ? ` to ${JSON.stringify(to)}` : ''}: ${body}`;
+}
+export function onlyTheHost(can) {
+    return `Calling again won't change that; whoever runs this host can ${can}.`;
+}
+// Node's own message for a failed system call names the host's absolute
+// path, so an agent gets the code's plain words instead.
+export function errnoWords(code) {
+    switch (code) {
+        case 'ENOENT': return 'nothing is there';
+        case 'ENOTDIR': return 'a part of the path isn\'t a directory';
+        case 'EACCES': return 'permission denied';
+        case 'EPERM': return 'not permitted';
+        case 'EISDIR': return 'it\'s a directory';
+        case 'EEXIST': return 'something is already there';
+        case 'ENOTEMPTY': return 'the directory isn\'t empty';
+        case 'EXDEV': return 'the move would cross from one filesystem to another';
+        case 'ELOOP': return 'too many symlinks, or a loop of them';
+        case 'ENAMETOOLONG': return 'a name too long for the filesystem';
+        case 'ENOSPC': return 'no space left on the disk';
+        case 'EDQUOT': return 'the disk quota is used up';
+        case 'EFBIG': return 'the file would be too large for the filesystem';
+        case 'EROFS': return 'the filesystem is read-only';
+        case 'EIO': return 'an input/output error on the disk';
+        case 'EBUSY':
+        case 'ETXTBSY': return 'the file is busy';
+        case 'EMFILE':
+        case 'ENFILE': return 'too many files are open on this host';
+        case 'ENOMEM': return 'this host is out of memory';
+        case 'EAGAIN':
+        case 'EWOULDBLOCK': return 'the system was busy';
+        case 'EINTR': return 'the system call was interrupted';
+        case 'ETIMEDOUT': return 'the system call timed out';
+        case 'ESTALE': return 'a stale network file handle';
+        case 'EINVAL': return 'the system refused an argument as invalid';
+        case undefined: return 'an error the system gave no code for';
+        default: return `a system error (${code})`;
+    }
+}
+export function hostFix(code) {
+    switch (code) {
+        case 'ENOSPC': return 'free space on its disk';
+        case 'EFBIG': return 'raise the limit on a file\'s size, or keep the files on a filesystem that holds larger ones';
+        case 'EDQUOT': return 'raise or free the disk quota';
+        case 'EROFS': return 'make the filesystem writable';
+        case 'EIO': return 'check the disk';
+        case 'EACCES':
+        case 'EPERM': return 'change the permissions';
+        case 'EMFILE':
+        case 'ENFILE': return 'raise the limit on open files';
+        case 'ELOOP': return 'fix the symlinks on that path';
+        case 'ENOMEM': return 'free memory';
+        default: return undefined;
+    }
+}
+const PASSING = new Set(['EIO', 'EMFILE', 'ENFILE', 'ENOMEM']);
+const AS_DISK_IS = new Set(['EISDIR', 'ENOTDIR', 'EEXIST', 'ENOTEMPTY', 'EXDEV']);
+export function systemWords(code, error) {
+    return code !== undefined ? errnoWords(code) : boundedErrorMessage(error);
+}
+export function errnoWayOn(code, otherwise = 'Calling again may work.', hostsName = false) {
+    if (code === 'ENAMETOOLONG' && hostsName)
+        return onlyTheHost("give the mount's directory a shorter path");
+    const fix = hostFix(code);
+    if (fix !== undefined) {
+        return code !== undefined && PASSING.has(code) ? `Calling again may work; if it fails the same way, whoever runs this host can ${fix}.` : onlyTheHost(fix);
+    }
+    if (code === 'ENAMETOOLONG')
+        return "Calling again won't change that; a shorter name would.";
+    if (code !== undefined && AS_DISK_IS.has(code))
+        return "Calling again won't change that while disk holds what it does there.";
+    return otherwise;
+}
+const OS_ERRNO = new Map();
+for (const [name, number] of Object.entries(constants.errno))
+    if (!OS_ERRNO.has(number))
+        OS_ERRNO.set(number, name);
+// Chronicle's store errors carry the code GenericFailure, and an I/O
+// failure's message is "IO error: " and Rust's std::io::Error, which ends
+// with the OS error's number: an errno on POSIX, a Win32 code on Windows.
+export function errnoCode(error) {
+    const code = typeof error === 'object' && error !== null ? error.code : undefined;
+    if (typeof code === 'string' && /^E[A-Z0-9]+$/.test(code))
+        return code;
+    const os = error instanceof Error && process.platform !== 'win32' ? /^IO error: .*\(os error (\d+)\)$/s.exec(error.message) : null;
+    return os !== null ? OS_ERRNO.get(Number(os[1])) : undefined;
+}
+const CHANGING = new Set(['write', 'edit', 'edit_many', 'delete', 'materialize', 'sync']);
+export function changesFiles(tool) {
+    return CHANGING.has(tool);
+}
+export const ROOT_RECHECK = "Calling again may work; if it fails the same way, whoever runs this host can check the mount's directory and its path.";
+export const ROOT_UNCHECKED = "Calling again won't change that while the mount's directory is gone from its path, and checks it afresh otherwise; whoever runs this host can check the directory and its path.";
+export const AWAITS_REOPEN = "The workspace can't check its files against disk until its store is reopened, so calling again won't change that; whoever runs this host can reopen it with a restart.";
+export function unexpectedAnswer(tool, subject, error, how = {}) {
+    const stored = how.stored ?? 'unknown';
+    const code = errnoCode(error);
+    const words = how.said ?? systemWords(code, error);
+    const before = stored !== 'not' ? '' : tool === 'edit_many' ? ', before any of its edits was stored' : `, before the ${tool === 'delete' ? 'deletion' : tool} was stored`;
+    const head = `The ${tool}${subject !== undefined ? ` of ${subject}` : ''} stopped on an error the workspace didn't expect${before}: ${words.replace(/\.$/, '')}.`;
+    if (stored === 'held') {
+        return `${head} ${subject !== undefined ? subject : 'Its files'} already held what the call gave, so ${subject !== undefined ? 'it holds' : 'they hold'} that in the workspace either way.`;
+    }
+    const changing = stored === 'unknown' && CHANGING.has(tool);
+    if (how.reopen === true)
+        return [head, AWAITS_REOPEN, ...(changing ? ["Whether it changed anything isn't known until then."] : [])].join(' ');
+    const look = !changing ? null
+        : how.look ?? (subject === undefined ? 'read its files to see what they hold now' : `read ${subject} to see what the workspace holds there now`);
+    const on = code !== undefined
+        ? errnoWayOn(code, "Calling again may work; if it fails the same way, whoever runs this host can find the whole error in this host's log.")
+        : "Calling again may work; if it fails the same way, whoever runs this host can find the whole error in this host's log.";
+    return [head, ...(look !== null ? [`Whether it changed anything isn't known: ${look}.`] : []), on].join(' ');
+}
+//# sourceMappingURL=answers.js.map

package/dist/src/modules/workspace/answers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"answers.js","sourceRoot":"","sources":["../../../../src/modules/workspace/answers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAE7D,MAAM,OAAO,OAAQ,SAAQ,KAAK;IAChC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;IACxB,CAAC;CACF;AAED,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,IAAY,EAAE,EAAW;IAChE,OAAO,OAAO,IAAI,eAAe,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,OAAO,+DAA+D,GAAG,GAAG,CAAC;AAC/E,CAAC;AAED,wEAAwE;AACxE,yDAAyD;AACzD,MAAM,UAAU,UAAU,CAAC,IAAwB;IACjD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ,EAAE,OAAO,kBAAkB,CAAC;QACzC,KAAK,SAAS,EAAE,OAAO,uCAAuC,CAAC;QAC/D,KAAK,QAAQ,EAAE,OAAO,mBAAmB,CAAC;QAC1C,KAAK,OAAO,EAAE,OAAO,eAAe,CAAC;QACrC,KAAK,QAAQ,EAAE,OAAO,mBAAmB,CAAC;QAC1C,KAAK,QAAQ,EAAE,OAAO,4BAA4B,CAAC;QACnD,KAAK,WAAW,EAAE,OAAO,4BAA4B,CAAC;QACtD,KAAK,OAAO,EAAE,OAAO,qDAAqD,CAAC;QAC3E,KAAK,OAAO,EAAE,OAAO,sCAAsC,CAAC;QAC5D,KAAK,cAAc,EAAE,OAAO,oCAAoC,CAAC;QACjE,KAAK,QAAQ,EAAE,OAAO,2BAA2B,CAAC;QAClD,KAAK,QAAQ,EAAE,OAAO,2BAA2B,CAAC;QAClD,KAAK,OAAO,EAAE,OAAO,gDAAgD,CAAC;QACtE,KAAK,OAAO,EAAE,OAAO,6BAA6B,CAAC;QACnD,KAAK,KAAK,EAAE,OAAO,mCAAmC,CAAC;QACvD,KAAK,OAAO,CAAC;QAAC,KAAK,SAAS,EAAE,OAAO,kBAAkB,CAAC;QACxD,KAAK,QAAQ,CAAC;QAAC,KAAK,QAAQ,EAAE,OAAO,sCAAsC,CAAC;QAC5E,KAAK,QAAQ,EAAE,OAAO,4BAA4B,CAAC;QACnD,KAAK,QAAQ,CAAC;QAAC,KAAK,aAAa,EAAE,OAAO,qBAAqB,CAAC;QAChE,KAAK,OAAO,EAAE,OAAO,iCAAiC,CAAC;QACvD,KAAK,WAAW,EAAE,OAAO,2BAA2B,CAAC;QACrD,KAAK,QAAQ,EAAE,OAAO,6BAA6B,CAAC;QACpD,KAAK,QAAQ,EAAE,OAAO,2CAA2C,CAAC;QAClE,KAAK,SAAS,EAAE,OAAO,sCAAsC,CAAC;QAC9D,SAAS,OAAO,mBAAmB,IAAI,GAAG,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,IAAwB;IAC9C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ,EAAE,OAAO,wBAAwB,CAAC;QAC/C,KAAK,OAAO,EAAE,OAAO,6FAA6F,CAAC;QACnH,KAAK,QAAQ,EAAE,OAAO,8BAA8B,CAAC;QACrD,KAAK,OAAO,EAAE,OAAO,8BAA8B,CAAC;QACpD,KAAK,KAAK,EAAE,OAAO,gBAAgB,CAAC;QACpC,KAAK,QAAQ,CAAC;QAAC,KAAK,OAAO,EAAE,OAAO,wBAAwB,CAAC;QAC7D,KAAK,QAAQ,CAAC;QAAC,KAAK,QAAQ,EAAE,OAAO,+BAA+B,CAAC;QACrE,KAAK,OAAO,EAAE,OAAO,+BAA+B,CAAC;QACrD,KAAK,QAAQ,EAAE,OAAO,aAAa,CAAC;QACpC,SAAS,OAAO,SAAS,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC/D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;AAElF,MAAM,UAAU,WAAW,CAAC,IAAwB,EAAE,KAAc;IAClE,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAwB,EAAE,SAAS,GAAG,yBAAyB,EAAE,SAAS,GAAG,KAAK;IAC3G,IAAI,IAAI,KAAK,cAAc,IAAI,SAAS;QAAE,OAAO,WAAW,CAAC,2CAA2C,CAAC,CAAC;IAC1G,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gFAAgF,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC7J,CAAC;IACD,IAAI,IAAI,KAAK,cAAc;QAAE,OAAO,wDAAwD,CAAC;IAC7F,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,sEAAsE,CAAC;IAC9H,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;AAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;IAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAEpH,qEAAqE;AACrE,0EAA0E;AAC1E,0EAA0E;AAC1E,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAE,KAA4B,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1G,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,EAAE,GAAG,KAAK,YAAY,KAAK,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,mCAAmC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnI,OAAO,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/D,CAAC;AAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;AAE1F,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,wHAAwH,CAAC;AAErJ,MAAM,CAAC,MAAM,cAAc,GAAG,iLAAiL,CAAC;AAEhN,MAAM,CAAC,MAAM,aAAa,GAAG,wKAAwK,CAAC;AAStM,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,OAA2B,EAAE,KAAc,EAAE,GAAG,GAAe,EAAE;IAC9G,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC;IACvC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,gBAAgB,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC;IAC1K,MAAM,IAAI,GAAG,OAAO,IAAI,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,mDAAmD,MAAM,KAAK,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC;IAClK,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,GAAG,IAAI,IAAI,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,wCAAwC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,oCAAoC,CAAC;IAC9L,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9I,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;QAC3B,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,0CAA0C,CAAC,CAAC,CAAC,QAAQ,OAAO,4CAA4C,CAAC,CAAC;IACnJ,MAAM,EAAE,GAAG,IAAI,KAAK,SAAS;QAC3B,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,uHAAuH,CAAC;QAC3I,CAAC,CAAC,uHAAuH,CAAC;IAC5H,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,4CAA4C,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/G,CAAC"}

package/dist/src/modules/workspace/branch-intent.d.ts

@@ -53,9 +53,11 @@ export interface BranchIntent {
     origin?: 'store';
     conflict?: ConflictRecord;
     /**
-     * Why a recorded intent can't be read (its blob missing from the store, or
-     * not an intent): a tombstone or conflict it held is unknown, never absent.
-     * Never written; a put replaces the damaged record.
+     * Why a recorded intent can't be read (its blob missing from the store,
+     * a blob chronicle can't read, or not an intent): a tombstone or conflict
+     * it held is unknown, never absent.
+     * Never written; a put replaces the damaged record, unless it puts the same
+     * contents over a blob file chronicle can't read, which chronicle keeps.
      */
     unreadable?: string;
 }

package/dist/src/modules/workspace/branch-intent.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"branch-intent.d.ts","sourceRoot":"","sources":["../../../../src/modules/workspace/branch-intent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAEpD,MAAM,MAAM,YAAY;AACtB,yDAAyD;AACvD,cAAc;AAChB,gFAAgF;GAC9E,iBAAiB;AACnB,iDAAiD;GAC/C,gCAAgC;AAClC,sFAAsF;GACpF,wBAAwB;AAC1B,sFAAsF;GACpF,oBAAoB;AACtB,kFAAkF;GAChF,aAAa,CAAC;AAElB,qEAAqE;AACrE,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,sFAAsF;IACtF,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,2CAA2C;IAC3C,EAAE,EAAE,MAAM,CAAC;IACX,kCAAkC;IAClC,IAAI,EAAE,eAAe,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAoBD,qBAAa,aAAa;IACZ,OAAO,CAAC,QAAQ,CAAC,KAAK;IAAW,QAAQ,CAAC,WAAW,EAAE,MAAM;IAAzE,YAA6B,KAAK,EAAE,OAAO,EAAW,WAAW,EAAE,MAAM,EAAI;IAE7E,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI,CAIrC;IAED,mEAAmE;IACnE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,IAAI,GAAG,IAAI,CAYnD;IAED,yCAAyC;IACzC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,YAAY,GAAG,IAAI,CAE1E;IAED,qEAAqE;IACrE,IAAI,CAAC,MAAM,SAAK,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAU/C;CACF"}
+{"version":3,"file":"branch-intent.d.ts","sourceRoot":"","sources":["../../../../src/modules/workspace/branch-intent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAGpD,MAAM,MAAM,YAAY;AACtB,yDAAyD;AACvD,cAAc;AAChB,gFAAgF;GAC9E,iBAAiB;AACnB,iDAAiD;GAC/C,gCAAgC;AAClC,sFAAsF;GACpF,wBAAwB;AAC1B,sFAAsF;GACpF,oBAAoB;AACtB,kFAAkF;GAChF,aAAa,CAAC;AAElB,qEAAqE;AACrE,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,sFAAsF;IACtF,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,2CAA2C;IAC3C,EAAE,EAAE,MAAM,CAAC;IACX,kCAAkC;IAClC,IAAI,EAAE,eAAe,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAsBD,qBAAa,aAAa;IACZ,OAAO,CAAC,QAAQ,CAAC,KAAK;IAAW,QAAQ,CAAC,WAAW,EAAE,MAAM;IAAzE,YAA6B,KAAK,EAAE,OAAO,EAAW,WAAW,EAAE,MAAM,EAAI;IAE7E,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI,CAIrC;IAED,mEAAmE;IACnE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,IAAI,GAAG,IAAI,CAYnD;IAED,yCAAyC;IACzC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,YAAY,GAAG,IAAI,CAE1E;IAED,qEAAqE;IACrE,IAAI,CAAC,MAAM,SAAK,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAU/C;CACF"}

package/dist/src/modules/workspace/branch-intent.js

@@ -17,15 +17,19 @@
  * Each record is a small JSON blob addressed from the tree, so reading one is
  * treeGet + getBlob and writing one is storeBlob + treeSet.
  */
+import { storedBytes } from './sync.js';
 function isEmpty(intent) {
     return intent.tombstone === undefined && intent.origin === undefined && intent.conflict === undefined &&
         intent.unreadable === undefined;
 }
 /** A recorded intent's blob, read; a damaged one says why it can't be. */
 function readIntent(store, blobHash) {
-    const blob = store.getBlob(blobHash);
-    if (!blob)
+    const stored = storedBytes(store, blobHash);
+    if ('missing' in stored)
         return { unreadable: "its record's blob is missing from the store" };
+    if ('unreadable' in stored)
+        return { unreadable: `its record's blob can't be read from the store (${stored.unreadable})` };
+    const blob = stored.bytes;
     try {
         const parsed = JSON.parse(blob.toString('utf-8'));
         if (parsed && typeof parsed === 'object' && !Array.isArray(parsed))

package/dist/src/modules/workspace/branch-intent.js.map

@@ -1 +1 @@
-{"version":3,"file":"branch-intent.js","sourceRoot":"","sources":["../../../../src/modules/workspace/branch-intent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AA+CH,SAAS,OAAO,CAAC,MAAoB;IACnC,OAAO,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS;QACnG,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC;AACpC,CAAC;AAED,0EAA0E;AAC1E,SAAS,UAAU,CAAC,KAAc,EAAE,QAAgB;IAClD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,UAAU,EAAE,6CAA6C,EAAE,CAAC;IAChF,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAY,CAAC;QAC7D,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,OAAO,MAAsB,CAAC;IACpG,CAAC;IAAC,MAAM,CAAC;QACP,iBAAiB;IACnB,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,mCAAmC,EAAE,CAAC;AAC7D,CAAC;AAED,MAAM,OAAO,aAAa;IACK,KAAK;IAAoB,WAAW;IAAjE,YAA6B,KAAc,EAAW,WAAmB;qBAA5C,KAAK;2BAAoB,WAAW;IAAW,CAAC;IAE7E,GAAG,CAAC,IAAY;QACd,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChD,CAAC;IAED,mEAAmE;IACnE,GAAG,CAAC,IAAY,EAAE,MAA2B;QAC3C,IAAI,MAAM,EAAE,UAAU,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;YACjD,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAC9F,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;QACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5F,CAAC;IAED,yCAAyC;IACzC,MAAM,CAAC,IAAY,EAAE,MAA+C;QAClE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,qEAAqE;IACrE,IAAI,CAAC,MAAM,GAAG,EAAE;QACd,MAAM,GAAG,GAAkC,EAAE,CAAC;QAC9C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7F,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC/B,IAAI,KAAK;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}
+{"version":3,"file":"branch-intent.js","sourceRoot":"","sources":["../../../../src/modules/workspace/branch-intent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AA+CxC,SAAS,OAAO,CAAC,MAAoB;IACnC,OAAO,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS;QACnG,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC;AACpC,CAAC;AAED,0EAA0E;AAC1E,SAAS,UAAU,CAAC,KAAc,EAAE,QAAgB;IAClD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC5C,IAAI,SAAS,IAAI,MAAM;QAAE,OAAO,EAAE,UAAU,EAAE,6CAA6C,EAAE,CAAC;IAC9F,IAAI,YAAY,IAAI,MAAM;QAAE,OAAO,EAAE,UAAU,EAAE,mDAAmD,MAAM,CAAC,UAAU,GAAG,EAAE,CAAC;IAC3H,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC;IAC1B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAY,CAAC;QAC7D,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,OAAO,MAAsB,CAAC;IACpG,CAAC;IAAC,MAAM,CAAC;QACP,iBAAiB;IACnB,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,mCAAmC,EAAE,CAAC;AAC7D,CAAC;AAED,MAAM,OAAO,aAAa;IACK,KAAK;IAAoB,WAAW;IAAjE,YAA6B,KAAc,EAAW,WAAmB;qBAA5C,KAAK;2BAAoB,WAAW;IAAW,CAAC;IAE7E,GAAG,CAAC,IAAY;QACd,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChD,CAAC;IAED,mEAAmE;IACnE,GAAG,CAAC,IAAY,EAAE,MAA2B;QAC3C,IAAI,MAAM,EAAE,UAAU,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;YACjD,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAC9F,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;QACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5F,CAAC;IAED,yCAAyC;IACzC,MAAM,CAAC,IAAY,EAAE,MAA+C;QAClE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,qEAAqE;IACrE,IAAI,CAAC,MAAM,GAAG,EAAE;QACd,MAAM,GAAG,GAAkC,EAAE,CAAC;QAC9C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7F,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC/B,IAAI,KAAK;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}

package/dist/src/modules/workspace/direct-write.d.ts

@@ -0,0 +1,184 @@
+/**
+ * A direct mount's writes (MountConfig.backend): disk is the only copy, so a
+ * write lands there whole when its call answers, or doesn't happen and leaves
+ * disk as it was. Ported from anima-research/hands-mcp's staged write
+ * (src/shared.ts), behind the mount's boundary as the workspace's other
+ * effects hold it (effects.ts):
+ *
+ * - The file's directory is located inside the mount (checkDir), and where
+ *   the file lands is judged as a push's write judges it (refusedLanding):
+ *   inside the mount, in no nested mount's directory, and covered by the
+ *   mount's include. A link at the file is refused on a mount that doesn't
+ *   follow links; on one that does, the write goes to the file it leads to
+ *   when the call stages it, judged the same way, and the link stays.
+ * - The new bytes are staged beside the file, in `.workspace-staged-<id>`,
+ *   at the file's mode, special bits included as far as the kernel lets this
+ *   process set them (a setgid bit only for a member of the file's group),
+ *   and renamed over it, so a reader beside the agent never sees half a file
+ *   and a process killed mid-write leaves the old file whole. A file this
+ *   process may not write is refused, as a push's write, which opens it for
+ *   writing, is refused: the rename needs only the directory's permission.
+ *   A process that dies between staging and its rename leaves the staged
+ *   file, under that name, which `ls` and `git status` show; so does a
+ *   refused write whose removal of its staged file fails or can't tell the
+ *   file is its own, or whose directory another writer moved after the
+ *   staging, since the removal goes by path (discard) and the path then
+ *   leads elsewhere. Nothing sweeps it, and the answer doesn't name it.
+ *   The removal checks the staged name holds that file and unlinks it with
+ *   no turn of the event loop between, so only a file another writer puts
+ *   there in that instant can be removed in its place, or one put there
+ *   that a stat can't tell from it: on the freed inode number, with the
+ *   same size, mode and owner, in the same tick of a coarse clock.
+ * - The rename gives a hard-linked path a file of its own, and the other
+ *   links keep the old text: `otherLinks` counts them for the answer.
+ * - Just before the rename, an edit's file is checked unchanged since its
+ *   read, by its bytes, read again, and its identity (checkUnchanged),
+ *   synchronously, so the check and the renames after it run with no turn
+ *   of the event loop between. Only a change landing in that instant isn't
+ *   seen, which for edit_many runs from the check through its last rename:
+ *   no rename can be made conditional.
+ * - No sync. The store-backed kind syncs its pushes for its agreement
+ *   record (reconcile.ts), and a direct mount keeps none, so a power loss
+ *   or a kernel crash can lose a direct write after its answer said it
+ *   landed, as it can a hands-mcp write. A process dying can't: the rename is
+ *   whole by then.
+ *
+ * Node has no openat or renameat, so the stage and the rename go through the
+ * checked directory's path: a directory replaced by another writer on disk
+ * between the directory's check and the staging, or after its last check
+ * (placedStill), can redirect them, as effects.ts says of a create. For
+ * edit_many that last check is each file's, before the other files' checks.
+ */
+import type { BigIntStats } from 'node:fs';
+import { type CheckedDir, type MountView } from './observe.js';
+/** The name a staged file starts with, beside the file it replaces. */
+export declare const STAGED_PREFIX = ".workspace-staged-";
+/**
+ * Why a direct write didn't happen when its mount's root was replaced under
+ * it: a direct mount keeps no root to sync to (MountConfig.backend), so its
+ * next call works beneath whatever is there then.
+ */
+export declare const ROOT_MOVED = "the mount root changed while this call was being applied: a new call works beneath whatever directory the mount's path leads to then";
+/**
+ * A file's identity as a write must find it unchanged: device, inode, size,
+ * mode, owner, group, and modification and change times, to the nanosecond.
+ * The mode, owner and group are fields of their own, since a chmod or chown
+ * in the same tick of a coarse clock as the file's last change leaves its
+ * change time as it was (checkUnchanged).
+ */
+export interface FileIdentity {
+    dev: bigint;
+    ino: bigint;
+    size: bigint;
+    mode: bigint;
+    uid: bigint;
+    gid: bigint;
+    mtimeNs: bigint;
+    ctimeNs: bigint;
+}
+export declare const identityOf: (info: BigIntStats) => FileIdentity;
+export declare const sameIdentity: (a: FileIdentity, b: FileIdentity) => boolean;
+/** Another writer replaced, changed or removed the file between its read and its rename; nothing was written. */
+export declare class FileChanged extends Error {
+}
+/** Why a direct write didn't happen, in words for its answer; disk is as it was. */
+export declare class WriteRefused extends Error {
+    readonly wayOn: string | null;
+    readonly errno?: string | undefined;
+    constructor(message: string, wayOn?: string | null, errno?: string | undefined);
+}
+/** A file's new bytes staged beside it, ready to be renamed over it (stageContained). */
+export interface Staged {
+    /** Where the rename lands: the file's entry in its checked directory, a followed link's file's included. */
+    path: string;
+    /** The staged file, beside it. */
+    temp: string;
+    /**
+     * Which file the staged file is, so the rename moves, and a refusal
+     * removes, that one and no other put at its name: its whole identity,
+     * since a file made where it was unlinked can take its inode number.
+     */
+    tempIdentity: FileIdentity;
+    /** The mount's root and the file's directory, as checked when it was staged. */
+    root: CheckedDir;
+    parent: CheckedDir;
+    /**
+     * The other hard links the replaced file had, counted just before the
+     * rename and kept once it succeeds: the rename gives this path a file of
+     * its own, and they keep the old text. 0 until then, and for a new file.
+     */
+    otherLinks: number;
+}
+/**
+ * Test seams. `afterStage` is called once a call's files are staged, before
+ * they're checked unchanged (another writer acting then); `beforeRename`
+ * just before each rename, inside its refusal, so throwing stands for the
+ * rename failing. Production sets neither.
+ */
+export declare const directWriteTestSeam: {
+    afterStage?: (paths: string[]) => void | Promise<void>;
+    beforeRename?: (path: string) => void;
+};
+/**
+ * Stage `bytes` beside the mount-relative file `rel`, to be renamed over it:
+ * the first half of a direct write. The file keeps its mode, special bits
+ * included, as far as the kernel lets this process set them; a new file
+ * takes `0666` less the umask, as a shell's would. Its owner and group are
+ * this process's and the ones its directory gives a new file, and an ACL or
+ * extended attribute on the file isn't carried over, as with any write that
+ * renames over a file. Anything there that isn't a regular file is refused,
+ * and a refusal removes the staged file it made, except where the header
+ * says one is left. The staged file is written and moded through its own
+ * handle, never through its name again.
+ */
+export declare function stageContained(view: MountView, rootReal: string, rel: string, bytes: Buffer, { makeDirectory }?: {
+    makeDirectory?: boolean;
+}): Promise<Staged>;
+/**
+ * Throw unless the root and the file's directory are still the ones the
+ * staging checked, with a push's words for the directory (effects.ts
+ * moved()).
+ */
+export declare function placedStill(staged: Staged): Promise<void>;
+/**
+ * Throw unless the file is still what its read found: FileChanged when it
+ * changed or is gone, nothing written. `expected` is null for a write, which
+ * read nothing and replaces whatever is there. Either way a link swapped in
+ * at the file the rename replaces (on a mount that follows links, the file
+ * the link at the agent's path led to when the call staged it) is refused
+ * rather than replaced, and so is a file this process may not write. It reads the entry the
+ * rename replaces, and then the file's bytes, synchronously, as renameInto
+ * runs, so a check and the renames after it run with no turn of the event
+ * loop between.
+ *
+ * The identity, taken once the bytes are read, catches a file replaced or
+ * re-moded under the call, which equal bytes wouldn't show. The bytes are
+ * compared with the ones the edit read: a kernel that stamps files from a
+ * coarse clock, as Linux before 6.13 does, leaves a file's identity as it
+ * was after a second write of the same size within one tick of its last
+ * change (on Debian's Linux 6.12.113 with ext4, 1,632 to 1,752 of 2,000
+ * such rewrites kept every stamp, in three runs), and the bytes show that
+ * change on every clock. The bytes are read through an open that follows
+ * no link and doesn't wait on a pipe put at the path since its lstat, and
+ * at most one byte past what the edit read, so the check never blocks and
+ * reads no more than that.
+ */
+export declare function checkUnchanged(staged: Staged, expected: {
+    identity: FileIdentity;
+    bytes: Buffer;
+} | null): void;
+/**
+ * Rename the staged file over the file, synchronously (checkUnchanged says
+ * why), counting the other hard links it splits the path from just before.
+ * A failed rename leaves the file as it was; the caller removes the staged
+ * file (discard).
+ */
+export declare function renameInto(staged: Staged): void;
+/**
+ * Remove a staged file that won't be renamed, best effort: only the file
+ * this call staged, by its whole identity, since whatever another writer
+ * put at its name since is theirs, as renameInto leaves it too. Checked and
+ * removed synchronously, as the rename is (checkUnchanged says why).
+ */
+export declare function discard(staged: Staged): Promise<void>;
+//# sourceMappingURL=direct-write.d.ts.map

package/dist/src/modules/workspace/direct-write.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-write.d.ts","sourceRoot":"","sources":["../../../../src/modules/workspace/direct-write.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAK3C,OAAO,EACL,KAAK,UAAU,EACf,KAAK,SAAS,EAaf,MAAM,cAAc,CAAC;AAQtB,uEAAuE;AACvE,eAAO,MAAM,aAAa,uBAAuB,CAAC;AAElD;;;;GAIG;AACH,eAAO,MAAM,UAAU,yIAA0I,CAAC;AAElK;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,eAAO,MAAM,UAAU,SAAU,WAAW,KAAG,YAS7C,CAAC;AAEH,eAAO,MAAM,YAAY,MAAO,YAAY,KAAK,YAAY,KAAG,OAET,CAAC;AAExD,iHAAiH;AACjH,qBAAa,WAAY,SAAQ,KAAK;CAAG;AAEzC,oFAAoF;AACpF,qBAAa,YAAa,SAAQ,KAAK;IACR,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAAS,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM;IAA1F,YAAY,OAAO,EAAE,MAAM,EAAW,KAAK,GAAE,MAAM,GAAG,IAAW,EAAW,KAAK,CAAC,EAAE,MAAM,YAAA,EAEzF;CACF;AAmBD,yFAAyF;AACzF,MAAM,WAAW,MAAM;IACrB,4GAA4G;IAC5G,IAAI,EAAE,MAAM,CAAC;IACb,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,YAAY,EAAE,YAAY,CAAC;IAC3B,gFAAgF;IAChF,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,EAAE,UAAU,CAAC;IACnB;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,EAAE;IAChC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvD,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAClC,CAAC;AAqBP;;;;;;;;;;;GAWG;AACH,wBAAsB,cAAc,CAClC,IAAI,EAAE,SAAS,EACf,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,MAAM,EACb,EAAE,aAAqB,EAAE,GAAE;IAAE,aAAa,CAAC,EAAE,OAAO,CAAA;CAAO,GAC1D,OAAO,CAAC,MAAM,CAAC,CAmFjB;AAED;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAG/D;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE;IAAE,QAAQ,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,GAAG,IAAI,CAoD/G;AAeD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAiB/C;AAWD;;;;;GAKG;AACH,wBAAsB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAE3D"}