@volter/supercode-interchange 0.1.11 → 0.1.12

package/file-io.mjs

@@ -3,6 +3,10 @@ import { parseNativeJson } from './native-json.mjs';
 
 const stale = (path) => Object.assign(new Error(`${path} changed during its metadata read; previous index rows are retained`), { code: 'ESTALE' });
 const same = (a, b) => a.dev === b.dev && a.ino === b.ino && a.size === b.size && a.mtimeNs === b.mtimeNs;
+// A file its writer appended to while it was read is the same file with more after the bytes read: the facts read are
+// those of the open's size, and the next read takes the rest. A live transcript is written more often than a large
+// read takes, so refusing an append would refuse every read of it.
+const sameOrAppended = (before, now) => same(before, now) || before.dev === now.dev && before.ino === now.ino && now.size > before.size;
 
 export function fileFingerprint(info) {
   return { device: String(info.dev), inode: String(info.ino), size: String(info.size), mtime_ns: String(info.mtimeNs) };
@@ -19,7 +23,9 @@ export function appendableFingerprint(previous, current) {
 
 /** Read one open identity; verify both the handle and its current path before
  * returning facts for a transaction. A changed path never commits new offsets
- * beside facts read from its predecessor. The caller owns failure retry. */
+ * beside facts read from its predecessor: a file replaced, truncated or rewritten
+ * in place is stale, while one only appended to answers for the size it was
+ * opened at. The caller owns failure retry. */
 export async function withSessionFile(path, work, metrics = {}) {
   const handle = await open(path, 'r');
   metrics.files_opened = (metrics.files_opened ?? 0) + 1;
@@ -51,7 +57,7 @@ export async function withSessionFile(path, work, metrics = {}) {
     const after = await handle.stat({ bigint: true });
     let current;
     try { current = await stat(path, { bigint: true }); } catch { throw stale(path); }
-    if (!same(before, after) || !same(after, current)) throw stale(path);
+    if (!sameOrAppended(before, after) || !sameOrAppended(before, current) || current.size < after.size) throw stale(path);
     return { result, fingerprint: reader.fingerprint, size, modified_ms: reader.modified_ms };
   } finally { await handle.close(); }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@volter/supercode-interchange",
-  "version": "0.1.11",
+  "version": "0.1.12",
   "type": "module",
   "description": "Read-only harness metadata, transcript codecs and session projections for Supercode",
   "license": "MIT OR Apache-2.0",