@volter/supercode-orchestrator 0.5.27 → 0.5.28

package/board/ztrack.mjs

@@ -339,12 +339,14 @@ class ZtrackBoard {
   }
 
   // A document whose hash is neither the published one nor the one a pending publication replaces
-  // was edited by hand.
+  // was edited by hand. A write also reads again a document its index does not measure: spans whose lengths do not
+  // add up to the text cannot place an edit in it (a span's stored text changed outside the board, its length not).
   staleDocuments({ pending }) {
     const published = this.get('published', {});
     const inFlight = pending ? this.get('pending_hashes', null) : null;
+    const measured = (doc) => this.entries(doc.role).reduce((sum, e) => sum + e.len, 0) === lf(doc.raw).length;
     return this.docs.map((doc) => ({ ...doc, ...this.fileHash(doc.path) }))
-      .filter((doc) => doc.hash !== published[doc.role] && !(inFlight?.[doc.role] && doc.hash === inFlight[doc.role].before))
+      .filter((doc) => (doc.hash !== published[doc.role] && !(inFlight?.[doc.role] && doc.hash === inFlight[doc.role].before)) || (!pending && !measured(doc)))
       .map((doc) => ({ ...doc, text: lf(doc.raw) }));
   }
 
@@ -493,9 +495,13 @@ class ZtrackBoard {
       const edit = stale.find((s) => s.role === doc.role);
       if (!edit) { plan.layout.set(doc.role, entries); continue; }
       let base = this.get('published', {})[doc.role] !== undefined && entries.length ? entries : [];
+      // Spans are compared by their stored text and spliced by their recorded length: an index whose lengths are not
+      // its texts' (a stored span rewritten outside the board) is no base to re-read a region against.
+      let texts = this.texts(base);
+      if (texts.some((t, i) => t.text.length !== base[i].len)) { base = []; texts = []; }
       let result;
       // A region that cannot be re-read on its own is read with the whole document.
-      try { result = this.codec.rechunkBoardDocument(this.texts(base), edit.text, doc.path); }
+      try { result = this.codec.rechunkBoardDocument(texts, edit.text, doc.path); }
       catch { base = []; result = this.codec.rechunkBoardDocument([], edit.text, doc.path); }
       const added = result.chunks.slice(result.from, result.to).map((c) => ({ cid: null, id: c.id, level: c.level, len: c.text.length, rec: null, text: c.text }));
       plan.layout.set(doc.role, [...base.slice(0, result.from), ...added, ...base.slice(result.oldTo)]);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@volter/supercode-orchestrator",
-  "version": "0.5.27",
+  "version": "0.5.28",
   "type": "module",
   "description": "The orchestrator runtime over the Volter Harness ontology: one typed operational model whose folder is its serialization, read and written through the harness orchestration doors (docs/ORCHESTRATOR-IR.md)",
   "exports": {