strom-research 1.19.0-beta.1 → 1.19.0-beta.3

package/CHANGELOG.cs.md

@@ -7,7 +7,7 @@ Změny každé verze ve zkratce. Úplné poznámky a instalační řádky jsou n
 
 ## 1.19.0
 
-*Připravuje se: bety do 1.19.0-beta.1. Oddíl bude úplný s vydáním.*
+*Připravuje se: bety do 1.19.0-beta.3. Oddíl bude úplný s vydáním.*
 
 - **Na archiv, který zmlkl, se čeká, místo opakovaných dotazů.** Když archiv přestane odpovídat, strom ho nechá na
   pokoji hodinu — a když týž den mlčí dál, dvě a pak čtyři hodiny — a agent se dozví, do kdy: mezitím dělá
@@ -19,6 +19,13 @@ Změny každé verze ve zkratce. Úplné poznámky a instalační řádky jsou n
   nastavení dál říkají, co jde uvolnit.
 - **Digitální knihovny napoprvé správně.** U Krameria Národní knihovny ČR a Moravské zemské knihovny a u ANNO
   Rakouské národní knihovny dostane agent jejich vlastní vyhledávací adresy — méně neúspěšných dotazů a hádání.
+- **Ostřejší část snímku se opravdu čte.** Když z archivu přišla část snímku v lepším rozlišení, agent i jeho čtenáři
+  se na to místo dívají v ní — i když vyznačené místo kousek přesahuje, zbytek se řekne —, ne na celý zmenšený snímek;
+  ostřejší část, která místo pokrývá jen zčásti, se uvede i s tím, jak se na ni podívat.
+- **Dokument se přečte spolehlivěji.** Čtenář zapisuje čtení do své zprávy průběžně, a čtení dvou čtenářů, kde četl
+  jen jeden, to tak řekne — nikdy, že se shodují.
+- **Propojení s telefonem čeká na výzkum, neříká se jako chyba.** Než se po spuštění počítače spustí výzkum, `strom
+  phone` i nastavení řeknou, že propojení je zapnuté a jeho server se znovu spustí se spuštěním výzkumu.
 
 ## 1.18.0
 

package/CHANGELOG.de.md

@@ -7,7 +7,7 @@ Die Änderungen jeder Version in Kürze. Die vollständigen Hinweise und die Ins
 
 ## 1.19.0
 
-*In Vorbereitung: die Betas bis 1.19.0-beta.1. Der Abschnitt ist mit dem Release vollständig.*
+*In Vorbereitung: die Betas bis 1.19.0-beta.3. Der Abschnitt ist mit dem Release vollständig.*
 
 - **Auf ein verstummtes Archiv wird gewartet, statt es immer wieder zu fragen.** Antwortet ein Archiv nicht mehr,
   lässt strom es eine Stunde in Ruhe — zwei, dann vier, wenn es am selben Tag still bleibt — und der Agent erfährt, bis
@@ -21,6 +21,15 @@ Die Änderungen jeder Version in Kürze. Die vollständigen Hinweise und die Ins
 - **Digitale Bibliotheken beim ersten Versuch richtig durchsucht.** Für Kramerius der Tschechischen
   Nationalbibliothek und der Mährischen Landesbibliothek und für ANNO der Österreichischen Nationalbibliothek bekommt
   der Agent die eigenen Suchadressen der Bibliotheken — weniger fehlgeschlagene Anfragen und weniger Raten.
+- **Ein schärfer geholter Teil eines Scans wird gelesen.** Kam ein Teil eines Scans in mehr Detail aus dem Archiv,
+  sehen der Agent und seine Leser diese Stelle darin an — auch wenn die markierte Stelle etwas darüber hinausreicht,
+  der Rest wird genannt — statt des ganzen, verkleinerten Scans; ein schärferer Teil, der die Stelle nur zum Teil
+  zeigt, wird mit dem Weg genannt, ihn anzusehen.
+- **Ein Dokument wird verlässlicher gelesen.** Ein Leser schreibt seine Lesung laufend in seinen Bericht, und eine
+  Lesung zweier Leser, bei der nur einer las, sagt das so — nie, dass sie übereinstimmen.
+- **Die Verbindung mit dem Telefon wartet auf die Forschung, nicht als Fehler genannt.** Bevor die Forschung nach dem
+  Neustart des Computers startet, sagen `strom phone` und die Einstellungen, dass die Verbindung an ist und ihr Server
+  mit der Forschung wieder startet.
 
 ## 1.18.0
 

package/CHANGELOG.md

@@ -7,7 +7,7 @@ The changes of each version in short. The full notes and the install lines are o
 
 ## 1.19.0
 
-*In preparation: the betas up to 1.19.0-beta.1. The section is complete with the release.*
+*In preparation: the betas up to 1.19.0-beta.3. The section is complete with the release.*
 
 - **An archive that went silent is waited for, not asked again and again.** When an archive stops answering, strom
   leaves it alone for an hour — two, then four when it stays silent the same day — and the agent hears until when:
@@ -20,6 +20,14 @@ The changes of each version in short. The full notes and the install lines are o
 - **Digital libraries searched right at the first try.** For Kramerius of the Czech National Library and of the
   Moravian Library and for ANNO of the Austrian National Library, the agent gets the libraries' own search
   addresses — fewer failed requests and less guessing.
+- **A part of a scan fetched sharper is read from.** Where a part of a scan came from the archive in more detail, the
+  agent and its readers look at that place in it — also when the place they mark reaches a little past it, the rest
+  said — instead of the whole scan, reduced; a sharper part that holds only some of the place is named with the way
+  to look at it.
+- **A document read more surely.** A reader writes its reading into its report as it goes, and a reading of two readers where
+  only one read says so, never that they agree.
+- **The phone connection waits for the research, not said as an error.** Before the research starts after the computer
+  started again, `strom phone` and the settings say the connection is on and its server starts again with the research.
 
 ## 1.18.0
 

package/assets/lang/cs.json

@@ -1298,6 +1298,7 @@
   "ui.phone.window.no": "Zrušit",
   "ui.phone.on": "propojení s telefonem: zapnuto, v místní síti na {urls}",
   "ui.phone.starting": "propojení s telefonem: zapnuto, jeho server se spouští",
+  "ui.phone.waiting": "propojení s telefonem: zapnuto, jeho server se znovu spustí se spuštěním výzkumu",
   "ui.phone.error": "propojení s telefonem: zapnuto, ale telefon se k němu nedostane: {why}",
   "ui.phone.why.no-lan": "počítač není v žádné místní síti (Wi-Fi ani kabel)",
   "ui.phone.why.port-busy": "porty 47800–47819 mají obsazené jiné programy",

package/assets/lang/de.json

@@ -1298,6 +1298,7 @@
   "ui.phone.window.no": "Abbrechen",
   "ui.phone.on": "Verbindung mit dem Telefon: an, im lokalen Netz unter {urls}",
   "ui.phone.starting": "Verbindung mit dem Telefon: an, ihr Server startet",
+  "ui.phone.waiting": "Verbindung mit dem Telefon: an, ihr Server startet wieder, sobald die Forschung startet",
   "ui.phone.error": "Verbindung mit dem Telefon: an, aber ein Telefon erreicht sie nicht: {why}",
   "ui.phone.why.no-lan": "der Computer ist in keinem lokalen Netz (weder WLAN noch Kabel)",
   "ui.phone.why.port-busy": "die Ports 47800–47819 belegen andere Programme",

package/dist/cli/menu-settings.js

@@ -180,7 +180,7 @@ async function phoneStep(ctx, run, lang) {
         await pause(ctx, lang);
         return;
     }
-    const i = await ctx.choose(t(s.state === "on" ? "ui.phone.on" : "ui.phone.error", { urls: s.addresses.map((a) => a.url).join(", "), why: t(`ui.phone.why.${s.error?.code ?? "bind-failed"}`) }), [{ label: t("ui.phone.menu.off") }, ...s.phones.map((p) => ({ label: t("ui.phone.menu.remove", { name: p.name || p.id, date: p.pairedAt.slice(0, 10) }) }))], 0, { back: t("ui.browse.back") });
+    const i = await ctx.choose(t(s.state === "on" ? "ui.phone.on" : s.error?.waiting ? "ui.phone.waiting" : "ui.phone.error", { urls: s.addresses.map((a) => a.url).join(", "), why: t(`ui.phone.why.${s.error?.code ?? "bind-failed"}`) }), [{ label: t("ui.phone.menu.off") }, ...s.phones.map((p) => ({ label: t("ui.phone.menu.remove", { name: p.name || p.id, date: p.pairedAt.slice(0, 10) }) }))], 0, { back: t("ui.browse.back") });
     if (i === undefined)
         return;
     if (i === 0)

package/dist/cli/ui.js

@@ -1198,6 +1198,7 @@ export const UI = {
     "ui.phone.window.no": "Cancel",
     "ui.phone.on": "phone connection: on, on the local network at {urls}",
     "ui.phone.starting": "phone connection: on, its server is starting",
+    "ui.phone.waiting": "phone connection: on, its server starts again when the research starts",
     "ui.phone.error": "phone connection: on, but a phone cannot reach it: {why}",
     "ui.phone.why.no-lan": "this computer is on no local network (Wi-Fi or a cable)",
     "ui.phone.why.port-busy": "the ports 47800–47819 are taken by other programs",

package/dist/commands/media.js

@@ -9,7 +9,7 @@ import { register } from "../cli/registry.js";
 import { counted, lines, moreLine, paginate, runs, shellArg, table, truncate } from "../cli/format.js";
 import { notFound, UsageError } from "../core/errors.js";
 import { makeNote } from "../core/actions.js";
-import { clipText, collectFiles, coveringPart, fileSha256, findImage, imageNumbers, imageOfRef, imageRange, IMAGE_FILE_EXT, inboxFolders, inputPath, isWhole, mimeOf, onlyParts, otherCopies, parseImageList, regionText, sharperPart, storeShared, wholeSizeOf } from "../core/media.js";
+import { clipText, collectFiles, coveringPart, fileSha256, findImage, imageNumbers, imageOfRef, imageRange, IMAGE_FILE_EXT, inboxFolders, inputPath, isWhole, mimeOf, onlyParts, otherCopies, parseImageList, regionText, sharperCover, storeShared, wholeSizeOf } from "../core/media.js";
 import { create, normId, requireRecord, update } from "../core/records.js";
 import { exifOrientation, imageSizeOfFile } from "../image/index.js";
 import { fileToShown, shownToFile, turnsAcross } from "../image/image.js";
@@ -522,12 +522,17 @@ function oneView(ctx, tree, shared, all, target, asked, meta = {}, noSharper = f
     let shown = t.media;
     let v;
     let sharper;
+    let near;
     if (t.media?.width && t.media.height && !t.media.part) {
         // the place asked is of the picture shown (upright by its EXIF); parts are kept as the file lies
         const o = mediaOrient(shared, t.media);
         const [W, H] = turnsAcross(o) ? [t.media.height, t.media.width] : [t.media.width, t.media.height];
         const px = viewRegion(spec, W, H);
-        const s = sharperPart(all, t.media, shownToFile({ x: px.x / W, y: px.y / H, w: px.w / W, h: px.h / H }, o));
+        // a crop drawn a little past a part fetched sharper is shown from it, cut to it (what it leaves out said)
+        const cover = sharperCover(all, t.media, shownToFile({ x: px.x / W, y: px.y / H, w: px.w / W, h: px.h / H }, o));
+        const s = cover.use && { ...cover.use, ...(cover.use.cut ? { cut: fileToShown(cover.use.cut, o), out: (cover.use.out ?? []).map((x) => fileToShown(x, o)) } : {}) };
+        if (cover.near)
+            near = { ...cover.near, shows: fileToShown(cover.near.shows, o) };
         if (s) {
             sharper = s;
             shown = s.part;
@@ -560,7 +565,7 @@ function oneView(ctx, tree, shared, all, target, asked, meta = {}, noSharper = f
         : whole && !whole.part
             ? clipText({ media: whole.id, region: fileToShown(inWhole, mediaOrient(shared, whole)) })
             : clipText({ media: t.key, region: { x: v.region.x / v.original.width, y: v.region.y / v.original.height, w: v.region.w / v.original.width, h: v.region.h / v.original.height } });
-    return { v, page, ...(t !== target ? { part: t.media } : {}), ...(sharper ? { sharper } : {}), ...(fetchPart ? { fetchPart } : {}), ...(clip ? { clip } : {}) };
+    return { v, page, ...(t !== target ? { part: t.media } : {}), ...(sharper ? { sharper } : {}), ...(near ? { near } : {}), ...(fetchPart ? { fetchPart } : {}), ...(clip ? { clip } : {}) };
 }
 /**
  * An image registered only in parts (no whole image of it), named as an image of its record set: a half or a crop of
@@ -592,11 +597,22 @@ function partLine(p) {
     return `from ${p.id}, the part of the image that covers it (part ${regionText(p.part)}; the image is registered only in parts)`;
 }
 function sharperLine(s, t) {
-    return `from ${s.part.id}, ${s.part.part ? "a part of the image fetched sharper" : "a sharper copy of the image"} (${s.gain.toFixed(1)}× the detail of ${s.part.part ? "the whole image" : t.media.id})`;
+    const from = `from ${s.part.id}, ${s.part.part ? "a part of the image fetched sharper" : "a sharper copy of the image"} (${s.gain.toFixed(1)}× the detail of ${s.part.part ? "the whole image" : t.media.id})`;
+    if (!s.cut)
+        return from;
+    // a crop drawn a little past the part: the view is of what the part holds; the strips it leaves out from the whole image
+    const out = (s.out ?? []).map((x) => `strom media view ${t.ref} --crop ${regionText(x)}`);
+    return `${from}, cut to it: ${regionText(s.cut)} of the place asked${out.length ? ` — the rest (the whole image, less sharp): ${out.join(" · ")}` : ""}`;
 }
+/** A sharper part beside a view from the whole image: where it shows the place, and the view of that from it. */
+function nearLine(n, t) {
+    return `${n.part.id}, a part of the image fetched sharper (${n.gain.toFixed(1)}× the detail), shows ${regionText(n.shows)} of this place, not all of it — this view is from the whole image; that place sharper: strom media view ${t.ref} --crop ${regionText(n.shows)}`;
+}
+/** A place as the text says it: to a thousandth. */
+const rounded = (r) => ({ x: Math.round(r.x * 1000) / 1000, y: Math.round(r.y * 1000) / 1000, w: Math.round(r.w * 1000) / 1000, h: Math.round(r.h * 1000) / 1000 });
 function viewData(t, r) {
     const v = r.v;
-    return { view: v.file, width: v.width, height: v.height, scale: v.scale, region: v.region, original: v.original, image: r.part?.id ?? t.key, ...(r.sharper ? { from: r.sharper.part.id } : r.part ? { from: r.part.id } : {}), page: r.page || undefined, ...(r.clip ? { clip: r.clip } : {}) };
+    return { view: v.file, width: v.width, height: v.height, scale: v.scale, region: v.region, original: v.original, image: r.part?.id ?? t.key, ...(r.sharper ? { from: r.sharper.part.id, ...(r.sharper.cut ? { cut: rounded(r.sharper.cut), left: (r.sharper.out ?? []).map(rounded) } : {}) } : r.part ? { from: r.part.id } : {}), ...(r.near ? { sharper: { part: r.near.part.id, gain: Math.round(r.near.gain * 10) / 10, shows: rounded(r.near.shows) } } : {}), page: r.page || undefined, ...(r.clip ? { clip: r.clip } : {}) };
 }
 register({
     path: ["media", "add"],
@@ -955,7 +971,7 @@ register({
             const t = targets[0];
             const r = oneView(ctx, tree, shared, all, t, { ...spec, max: maxOf(parts[0], t), half: parts[0].half, crop: parts[0].crop }, { capFrom: capFromOf(t) }, noSharperOf(t));
             return {
-                text: lines(describeView(r.v, (p) => ctx.display(p), r.fetchPart, isOverview(parts[0])), r.clip ? `the source of an entry read here: --clip ${r.clip}` : undefined, r.sharper ? sharperLine(r.sharper, t) : undefined, r.part ? partLine(r.part) : undefined, r.page ? `page ${r.page}` : undefined),
+                text: lines(describeView(r.v, (p) => ctx.display(p), r.fetchPart, isOverview(parts[0])), r.clip ? `the source of an entry read here: --clip ${r.clip}` : undefined, r.sharper ? sharperLine(r.sharper, t) : undefined, r.near ? nearLine(r.near, t) : undefined, r.part ? partLine(r.part) : undefined, r.page ? `page ${r.page}` : undefined),
                 data: viewData(t, r),
             };
         }
@@ -988,6 +1004,7 @@ register({
             ctx.display(r.v.file),
             `  ${[`${t.ref}${t.ref !== t.key ? ` (${t.key}${r.page ? `, page ${r.page}` : ""})` : r.page ? ` (page ${r.page})` : ""}`, label, note, viewLine(r.v), viewSize(r.v), r.clip ? `--clip ${r.clip}` : undefined].filter(Boolean).join(" · ")}`,
             r.sharper ? `  ${sharperLine(r.sharper, t)}` : undefined,
+            r.near ? `  ${nearLine(r.near, t)}` : undefined,
             r.part ? `  ${partLine(r.part)}` : undefined,
             r.fetchPart ? `  this part sharper from the archive (one request): ${r.fetchPart}` : undefined,
         ]), missing.length ? `not registered: ${missing.join(", ")} — strom media list --recordset ${missing[0].split(":")[0]}` : undefined, ...failed.map((f) => `no view of ${f.ref}: ${f.error}${f.hint ? ` → ${f.hint}` : ""}`), sizes.has("reduced") ? `reduced: ${REDUCED_HINT}${made.some((m) => m.overview && viewSize(m.r.v) === "reduced") ? `; ${OVERVIEW_HINT}` : ""}` : undefined, sizes.has("enlarged") ? `enlarged: the scan has no more detail there. ${ENLARGED_HINT}; ${SHARPER_SCAN}` : undefined);

package/dist/commands/phone.js

@@ -13,7 +13,9 @@ function stateLines(lang, s) {
             ? ui(lang, "ui.phone.on", { urls: s.addresses.map((a) => a.url).join(", ") })
             : ui(lang, "ui.phone.starting")
         : s.state === "error"
-            ? ui(lang, "ui.phone.error", { why: ui(lang, `ui.phone.why.${s.error?.code ?? "bind-failed"}`) })
+            ? s.error?.waiting
+                ? ui(lang, "ui.phone.waiting")
+                : ui(lang, "ui.phone.error", { why: ui(lang, `ui.phone.why.${s.error?.code ?? "bind-failed"}`) })
             : s.state === "confirm"
                 ? ui(lang, "ui.phone.confirm")
                 : s.state === "declined"

package/dist/commands/read.js

@@ -11,14 +11,14 @@ import { DEFAULT_READ_PARALLEL, READ_PARALLEL_MAX } from "../core/config.js";
 import { normId, requireRecord } from "../core/records.js";
 import { bookRoute } from "../core/samebook.js";
 import { pageOf } from "../core/calibration.js";
-import { coveringPart, findImage, IMAGE_RANGE_MAX, imageOfRef, imageRange, onlyParts, regionText, wholeSizeOf } from "../core/media.js";
-import { cropOf, halves, makeView, parseCrop, readInHalves, tiles } from "../core/views.js";
+import { coveringPart, findImage, IMAGE_RANGE_MAX, imageOfRef, imageRange, onlyParts, regionText, sharperCover, wholeSizeOf } from "../core/media.js";
+import { cropOf, halves, makeView, mediaOrient, parseCrop, readInHalves, tiles } from "../core/views.js";
 import { IMAGE_MAX, IMAGE_MAX_LARGE } from "../agents/images.js";
 import { viewSizesFor } from "../core/viewsizes.js";
 import { currentSession } from "../core/session.js";
 import { BATCH, BATCH_MAX, batches, NEXT_BLOCK, parseReport, READER_MINUTES_HELP, readerPrompt, readerSettings, viewCount, withoutNextBlock } from "../core/reader.js";
 import { exifOrientation, shownSize } from "../image/index.js";
-import { turnsAcross } from "../image/image.js";
+import { fileToShown, shownToFile, turnsAcross } from "../image/image.js";
 import { RUNNERS } from "../runners/index.js";
 import { which, withoutAgentMarks } from "../core/which.js";
 import { permissionPath } from "../agents/files.js";
@@ -50,6 +50,32 @@ function partCovering(parts, crop) {
         });
     return { part: found.part, crop: regionText(found.crop) };
 }
+/**
+ * The copy a reader reads a crop of a whole image from (as strom media view shows it): the part fetched sharper that
+ * holds the place, or nearly all of it (cut to it, the rest said); a sharper part that shows only some of it said. The
+ * crop is of the picture as it is shown (upright by its EXIF); in the part, kept in `partCrops`.
+ */
+function sharperForReader(ctx, all, m, crop, partCrops) {
+    const shared = ctx.settings.shared()?.value;
+    if (m.part || !m.width || !m.height || m.recordset === undefined || m.image === undefined)
+        return m;
+    const o = mediaOrient(shared, m);
+    const [W, H] = turnsAcross(o) ? [m.height, m.width] : [m.width, m.height];
+    const px = parseCrop(crop, W, H);
+    const cover = sharperCover(all, m, shownToFile({ x: px.x / W, y: px.y / H, w: px.w / W, h: px.h / H }, o));
+    const say = (l) => (ctx.json ? ctx.io.stderr : ctx.io.stdout)(l + "\n");
+    const ref = `${m.recordset}:${m.image}`;
+    if (cover.near)
+        say(`${ref}: ${cover.near.part.id}, a part of the image fetched sharper (${cover.near.gain.toFixed(1)}× the detail), shows ${regionText(fileToShown(cover.near.shows, o))} of the crop, not all of it — read from the whole image; that place sharper: strom read ${ref} --crop ${regionText(fileToShown(cover.near.shows, o))} …`);
+    const s = cover.use;
+    if (!s)
+        return m;
+    partCrops.set(s.part.id, regionText(fileToShown(s.crop, mediaOrient(shared, s.part))));
+    const rest = (s.out ?? []).map((x) => `strom media view ${ref} --crop ${regionText(fileToShown(x, o))}`);
+    say(`${ref}: read from ${s.part.id}, ${s.part.part ? "a part of the image fetched sharper" : "a sharper copy of the image"} (${s.gain.toFixed(1)}× the detail)` +
+        (s.cut ? `, cut to it: ${regionText(fileToShown(s.cut, o))} of the crop${rest.length ? ` — the rest (the whole image, less sharp): ${rest.join(" · ")}` : ""}` : ""));
+    return s.part;
+}
 /**
  * --images of strom read: a range ("40-69", "40–69", "40..69") or a list of numbers and ranges as strom says them back
  * ("5-19,21-39,41-43", "71, 77–88, 91–94") — the same parser as strom media view and strom readings (imageRange), at
@@ -238,6 +264,10 @@ register({
             });
             label = images.map((m) => m.id).join("-").slice(0, 40);
         }
+        // a crop of a whole image a part fetched sharper holds (or nearly all of, cut to it): read from that part; one that
+        // shows only some of it said (as strom media view does)
+        if (typeof opts.crop === "string")
+            images = images.map((m) => sharperForReader(ctx, all, m, opts.crop, partCrops));
         // inside a sandbox that lets no agent start (Codex's): said at once, nothing prepared
         refuseReadersInSandbox(ctx, "strom read");
         const agentId = readerAgent(ctx, tree);

package/dist/core/document.js

@@ -1219,19 +1219,27 @@ export function buildResult(tree, s) {
         return out;
     };
     let entries = entriesOf(firsts, false);
+    const firstRead = entries.length > 0;
     const blindRan = blinds.some((r) => r);
-    // the first reader failed, the blind one read: its entries, untranslated
+    // the first reader failed, the blind one read: its entries, untranslated — never held against themselves
     if (!entries.length && blindRan)
         entries = entriesOf(blinds, false);
     let agree = null;
-    if (blindRan && s.readers > 1 && entries.length) {
+    if (blindRan && s.readers > 1 && firstRead) {
         const blindEntries = entriesOf(blinds, true);
         const c = compareReadings(entries, blindEntries);
         entries = c.entries;
         agree = c.agree;
     }
     entries = withTree(tree, entries);
-    const ran = (firsts.some((r) => r?.outcome === "ok") ? 1 : 0) + (blinds.some((r) => r?.outcome === "ok") ? 1 : 0);
+    // a reader ran when it ended well and its report says something (an answer in prose only is no reading)
+    const said = (r) => {
+        if (r?.outcome !== "ok")
+            return false;
+        const rep = read(r);
+        return !!rep && (rep.entries.length > 0 || rep.done || rep.doc.legible !== undefined);
+    };
+    const ran = (firsts.some(said) ? 1 : 0) + (blinds.some(said) ? 1 : 0);
     const usd = s.reports.reduce((n, r) => n + (r.usd ?? 0), 0);
     const partial = s.reports.some((r) => r.outcome !== undefined && (r.usd === undefined || r.partial));
     return {

package/dist/core/media.js

@@ -329,6 +329,72 @@ export function sharperPart(all, whole, r) {
     }
     return best;
 }
+/** Of a part that shows a place in part: the share of the place it shows, of the part in the place, and where they meet. */
+function overlap(r, p) {
+    const x0 = Math.max(r.x, p.x);
+    const y0 = Math.max(r.y, p.y);
+    const x1 = Math.min(r.x + r.w, p.x + p.w);
+    const y1 = Math.min(r.y + r.h, p.y + p.h);
+    if (x1 <= x0 || y1 <= y0 || !(r.w > 0 && r.h > 0 && p.w > 0 && p.h > 0))
+        return undefined;
+    const a = (x1 - x0) * (y1 - y0);
+    // to a thousandth, as coveringPart counts it
+    return { of: Math.min(1, Math.round((a / (r.w * r.h)) * 1000) / 1000), ofPart: Math.min(1, Math.round((a / (p.w * p.h)) * 1000) / 1000), meet: { x: x0, y: y0, w: x1 - x0, h: y1 - y0 } };
+}
+/** The strips of a region outside another that lies in it (above, below, left, right), thinner than a pixel left out. */
+function stripsOutside(r, m) {
+    const out = [];
+    const thin = 0.0005;
+    if (m.y - r.y > thin)
+        out.push({ x: r.x, y: r.y, w: r.w, h: m.y - r.y });
+    if (r.y + r.h - (m.y + m.h) > thin)
+        out.push({ x: r.x, y: m.y + m.h, w: r.w, h: r.y + r.h - (m.y + m.h) });
+    if (m.x - r.x > thin)
+        out.push({ x: r.x, y: m.y, w: m.x - r.x, h: m.h });
+    if (r.x + r.w - (m.x + m.w) > thin)
+        out.push({ x: m.x + m.w, y: m.y, w: r.x + r.w - (m.x + m.w), h: m.h });
+    return out;
+}
+/**
+ * A sharper part for a view of a place of a whole image (fractions of it, as the file lies), as an agent reads by it:
+ * the sharpest that holds all of the place (sharperPart); else, of the sharper parts that show nearly all of it
+ * (COVERS, as coveringPart takes a part of an image registered only in parts — a crop drawn a little past the entry
+ * fetched sharper), the one that shows the most, then the sharpest, the place cut to it (`use.cut`, `use.out`). A
+ * sharper part that shows less of the place, but much of it or lies mostly in it, is not used: `near` says it — the
+ * part, its detail and what of the place it shows. Nothing sharper: {}.
+ */
+export function sharperCover(all, whole, r) {
+    const full = sharperPart(all, whole, r);
+    if (full)
+        return { use: full };
+    if (!whole.width || whole.part || whole.recordset === undefined || whole.image === undefined)
+        return {};
+    let best;
+    let near;
+    for (const m of all) {
+        const p = m.part;
+        if (!p || !m.width || m.retracted || m.recordset !== whole.recordset || m.image !== whole.image)
+            continue;
+        const o = overlap(r, p);
+        if (!o)
+            continue;
+        const gain = m.width / p.w / whole.width;
+        if (gain < SHARPER)
+            continue;
+        if (o.of >= COVERS) {
+            if (!best || o.of > best.of || (o.of === best.of && gain > best.gain))
+                best = { part: m, gain, of: o.of, meet: o.meet };
+        }
+        else if ((o.of >= 0.25 || o.ofPart >= 0.5) && (!near || o.of > near.of || (o.of === near.of && gain > near.gain)))
+            near = { part: m, gain, of: o.of, meet: o.meet };
+    }
+    if (best) {
+        const p = best.part.part;
+        const crop = { x: (best.meet.x - p.x) / p.w, y: (best.meet.y - p.y) / p.h, w: best.meet.w / p.w, h: best.meet.h / p.h };
+        return { use: { part: best.part, gain: best.gain, crop, cut: best.meet, out: stripsOutside(r, best.meet) } };
+    }
+    return near ? { near: { part: near.part, gain: near.gain, shows: near.meet } } : {};
+}
 /**
  * A part of image n a connector would fetch that strom holds already, so that no request is made: the same part
  * registered; or a part it lies in, or the whole image, with at least as much detail as a new part could bring — a new

package/dist/core/phone.js

@@ -511,7 +511,7 @@ export function phoneState(env) {
         // just turned on: its server on the way
         if (c.since && Date.now() - Date.parse(c.since) < 15_000)
             return { ...base, state: "on", since: c.since, phones };
-        return { ...base, state: "error", since: c.since ?? null, error: { code: "bind-failed", detail: run?.ended ? `the server ended: ${run.ended.reason}` : "the server does not run" }, phones };
+        return { ...base, state: "error", since: c.since ?? null, error: { code: "bind-failed", detail: run?.ended ? `the server ended: ${run.ended.reason}` : "the server does not run", waiting: true }, phones };
     }
     const a = readAsk(env);
     if (asking(a))

package/dist/core/reader.js

@@ -226,11 +226,15 @@ export function parseReport(text) {
     }
     return out;
 }
-/** Claude Code settings for a reader: it may read these views and write its report — nothing else. */
+/**
+ * Claude Code settings for a reader: it may read these views and read and write its report — nothing else. Its report
+ * read too: Claude Code edits no file it has not read (found live 2026-10-21: every edit refused, the report kept only
+ * from the answer, a reader that answered in prose lost).
+ */
 export function readerSettings(views, report, toPermission) {
     return {
         permissions: {
-            allow: [...views.map((v) => `Read(${toPermission(v)})`), `Write(${toPermission(report)})`, `Edit(${toPermission(report)})`],
+            allow: [...views.map((v) => `Read(${toPermission(v)})`), `Read(${toPermission(report)})`, `Write(${toPermission(report)})`, `Edit(${toPermission(report)})`],
             deny: ["Bash", "WebFetch", "WebSearch"],
         },
     };

package/dist/core/tree.js

@@ -27,7 +27,7 @@ import { lastBackup } from "./backup.js";
 export const TREE_FILE = "strom.json";
 // between releases the candidate being made (a bridge run from the sources says what it is: the Strom app goes by it);
 // at a release the release's own (package.json)
-export const VERSION = "1.19.0-beta.1";
+export const VERSION = "1.19.0-beta.3";
 const GITIGNORE = `# Strom Research — local state and large files are not versioned
 .strom/
 /media/

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "strom-research",
-  "version": "1.19.0-beta.1",
+  "version": "1.19.0-beta.3",
   "description": "Genealogical research toolkit for AI coding agents",
   "type": "module",
   "bin": {