@lapxo/head 0.1.4 → 0.1.5

package/dist/src/ports/documents.js

@@ -32,7 +32,7 @@ export const fetchedAs = async (context, at, via, got, named, accept) => {
             return { said: [say('fetch-redirect', { document: at })] };
         return ((bytes) => (bytes ? { bytes, kind: kindOf(at) } : { said: [say('document-unread', { document: at })] }))(await transport.published(new URL(answer.location, at).href, named, most, wait));
     }
-    return answer.status < 300 ? { bytes: answer.bytes, kind: kindOf(at, answer.type) } : { said: [say('fetch-status', { document: at, via, status: String(answer.status) })] };
+    return answer.status < 300 ? { bytes: answer.bytes, kind: kindOf(at, answer.type) } : { said: [say('fetch-status', { document: at, via, status: String(answer.status), at: new Date(context.now()).toISOString() })] };
 };
 /**
  * Every byte a package's lines name, by the path each names: read where a line of the same scope says — an encrypted

package/dist/src/ports/reading.d.ts

@@ -0,0 +1,8 @@
+import type { Printed } from './process.ts';
+/** Only the installed instrument names a view's identity and the result bound to it. */
+export declare const readingOf: (printed: Printed | undefined, view: string, expected?: string) => {
+    readonly identity: string;
+    readonly text?: string;
+} | {
+    readonly refused: string;
+};

package/dist/src/ports/reading.js

@@ -0,0 +1,14 @@
+/** Only the installed instrument names a view's identity and the result bound to it. */
+export const readingOf = (printed, view, expected) => {
+    if (!printed || printed.code !== 0)
+        return { refused: printed?.refusal?.['code'] ?? 'reading-identity/unavailable' };
+    try {
+        const value = printed.out.length === 1 ? JSON.parse(printed.out[0]) : undefined;
+        if (value?.['kind'] !== 'fact' || value['view'] !== view || typeof value['identity'] !== 'string' || !/^sha256:[0-9a-f]{64}$/.test(value['identity']) || (expected !== undefined && (value['identity'] !== expected || typeof value['text'] !== 'string')))
+            return { refused: 'reading-identity/context' };
+        return { identity: value['identity'], ...(expected === undefined ? {} : { text: value['text'] }) };
+    }
+    catch {
+        return { refused: 'reading-identity/format' };
+    }
+};

package/dist/src/ports/spare.js

@@ -18,7 +18,7 @@ import { pathToFileURL } from 'node:url';
 const [program] = process.argv.slice(2);
 const url = pathToFileURL(program), pipe = new Socket({ fd: 3, readable: true, writable: true });
 const asked = new Promise((resolve) => { let text = ''; pipe.setEncoding('utf8').on('data', (chunk) => { text += chunk; }).on('error', () => undefined).on('close', () => resolve(text)); });
-await Promise.all([...readFileSync(program, 'utf8').matchAll(/^import [^'"]*['"](\.{1,2}\/[^'"]+)['"];?$/gm)].map(([, path]) => import(__rewriteRelativeImportExtension(new URL(path, url).href)).catch(() => undefined)));
+await Promise.all([...readFileSync(program, 'utf8').matchAll(/(?:^|[;\n])\s*import\s*(?:(?:[^'";]*?)\s*from\s*)?['"](\.{1,2}\/[^'"]+)['"]/g)].map(([, path]) => import(__rewriteRelativeImportExtension(new URL(path, url).href)).catch(() => undefined)));
 pipe.write('ready\n');
 const text = await asked;
 if (!text)

package/dist/src/ports/warm.js

@@ -40,7 +40,6 @@ export const warmed = (program, args, at, bounds) => {
     const spare = index < 0 ? undefined : live.splice(index, 1)[0];
     if (spare === undefined)
         return undefined;
-    void kept(program);
     spare.child.stdio[3].end(`${JSON.stringify({ cwd: at.cwd, args, env: at.env })}\n`);
-    return watched(spare.child, bounds);
+    return watched(spare.child, bounds).finally(() => { void kept(program); });
 };

package/dist/src/sources/connect.js

@@ -9,6 +9,7 @@ import { paidBy, pinIn } from "../compile/pin.js";
 import { adopted } from "../adopt/adopt.js";
 import { firstRun } from "../onboard/first.js";
 import { resolved } from "../onboard/site.js";
+import { linked } from "../links/inspect.js";
 import { rootIn } from "../flows/device.js";
 import { attachedFor } from "./access.js";
 /**
@@ -22,7 +23,8 @@ import { attachedFor } from "./access.js";
  * its pins rest in, its pin held to the package's; one that differs is refused by name, and the place holds what it
  * compiled. Nothing the sharing place was granted comes with it: access is asked here, issuer by issuer.
  */
-export const connected = async (asked, context, covered = false) => ((got) => ('said' in got ? got.said : connectedAs(got.asked, context, covered)))(await resolved(asked, context));
+export const connected = async (asked, context, covered = false) => ((asked['document'] ?? '').startsWith(valueOf(context.lock, 'link/prefix')) ? linked(asked, context)
+    : ((got) => ('said' in got ? got.said : connectedAs(got.asked, context, covered)))(await resolved(asked, context)));
 const connectedAs = async (asked, context, covered = false) => (asked['source'] && !(await placeOf(asked, context)) ? firstRun(asked, context, (dir, covered) => connected({ ...asked, place: dir }, context, covered))
     : ((started) => inPlace(asked, context, async (place) => {
         const say = sayIn(context.lock), digest = digestIn(context.lock), { documentOf, fetchedAs, kindOf } = context.files.read;

package/dist/src/tools/claim.d.ts

@@ -0,0 +1 @@
+export { claimed as answer } from '../claims/claim.ts';

package/dist/src/tools/claim.js

@@ -0,0 +1 @@
+export { claimed as answer } from "../claims/claim.js";

package/dist/src/verbs/ask.d.ts

@@ -2,7 +2,7 @@ import type { Answer } from '../core/answer.ts';
 /**
  * What a person asks, answered by the question it is. A view, or the region of a source or of one operation in it (what
  * it offers, one read of it, why that answer stands, what was kept of it), is answered by look; drafted lines by plan;
- * what is open by card; anything else by places. Each form is read with no resolution unless the lock declares one for a
+ * what is open by card; one question of several sources at once, by comparing what each said; anything else by places. Each form is read with no resolution unless the lock declares one for a
  * person; asked why, at the one it declares to explain, and where it declares none, the same answer, said so. Nothing
  * here writes one. An answer about one place ends with its card, taken off the fold the answer reads, valid from it.
  * With no place at all, nothing is founded: it says so, and that connecting an API founds the person's place, the question

package/dist/src/verbs/ask.js

@@ -5,11 +5,12 @@ import { valueOf } from "../core/lock.js";
 import { sayIn } from "../core/surface.js";
 import { paidIn } from "../onboard/owed.js";
 import { pendingIn } from "../sources/refused.js";
+import { compared } from "../marks/compare.js";
 import { cardAt } from "./card.js";
 /**
  * What a person asks, answered by the question it is. A view, or the region of a source or of one operation in it (what
  * it offers, one read of it, why that answer stands, what was kept of it), is answered by look; drafted lines by plan;
- * what is open by card; anything else by places. Each form is read with no resolution unless the lock declares one for a
+ * what is open by card; one question of several sources at once, by comparing what each said; anything else by places. Each form is read with no resolution unless the lock declares one for a
  * person; asked why, at the one it declares to explain, and where it declares none, the same answer, said so. Nothing
  * here writes one. An answer about one place ends with its card, taken off the fold the answer reads, valid from it.
  * With no place at all, nothing is founded: it says so, and that connecting an API founds the person's place, the question
@@ -28,7 +29,7 @@ export const asked = async (asked, context) => {
     const owed = asked['source'] && founded ? await paidIn(asked, context, place) : undefined;
     if (owed !== undefined && !owed.answer)
         return owed.said;
-    const answer = asked['lines'] ? await read('plan', 'plan') : asked['view'] ? await read('view', 'look') : asked['source'] ? await read('offers', 'look')
+    const answer = asked['sources'] && founded ? await compared(asked, context, place) : asked['lines'] ? await read('plan', 'plan') : asked['view'] ? await read('view', 'look') : asked['source'] ? await read('offers', 'look')
         : !carded ? await read('places', 'places') : founded ? [...await read('card', 'card', { place }), ...await pendingIn(context, place)] : [];
     const after = held === undefined || 'said' in held || place === undefined || !context.moved(place) ? held : await cardAt(context, place);
     return [...(owed?.said ?? []), ...answer, ...(after === undefined || 'said' in after ? [] : [sayIn(context.lock)('card', { place: place ?? '', card: after.card, from: 'ask' })])];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lapxo/head",
-  "version": "0.1.4",
+  "version": "0.1.5",
   "type": "module",
   "description": "An MCP server that folds: it runs bound as a process, hands a model what bound printed, and lands what it read as receipts.",
   "license": "MIT",
@@ -26,8 +26,8 @@
     "test": "node --test test/*.test.ts && node --test --test-concurrency=1 test/time/*.test.ts"
   },
   "dependencies": {
-    "@lapxo/bound": "0.2.1",
-    "@lapxo/topos": "0.2.0",
+    "@lapxo/bound": "0.2.5",
+    "@lapxo/topos": "0.2.1",
     "@modelcontextprotocol/sdk": "1.32.1"
   },
   "devDependencies": {