@lapxo/head 0.1.3 → 0.1.4

package/dist/src/tools/ask.js

@@ -0,0 +1 @@
+export { asked as answer } from "../verbs/ask.js";

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

@@ -1,3 +1,3 @@
 import type { Answer } from '../core/answer.ts';
-/** What is open for a key: the cells view the place's standing declares, as bound folded it, narrowed to the key; a refused fold is said, never read as no view. */
+/** What is open for a key: the cells view the place's standing declares, as bound folded it at the resolution asked, narrowed to the key; a refused fold is said, never read as no view. The standing is the one the card was read off, folded once a call. */
 export declare const answer: Answer;

package/dist/src/tools/card.js

@@ -1,13 +1,14 @@
 import { inPlace, printedOr, standingOr } from "../core/answer.js";
-import { aboutOf, members, valueOf } from "../core/lock.js";
-/** What is open for a key: the cells view the place's standing declares, as bound folded it, narrowed to the key; a refused fold is said, never read as no view. */
+import { members, valueOf } from "../core/lock.js";
+import { sayIn } from "../core/surface.js";
+/** What is open for a key: the cells view the place's standing declares, as bound folded it at the resolution asked, narrowed to the key; a refused fold is said, never read as no view. The standing is the one the card was read off, folded once a call. */
 export const answer = (asked, context) => inPlace(asked, context, async (place) => {
     const word = (scope) => valueOf(context.lock, `bound/${scope}`);
-    const held = await standingOr(context, place, context.policy);
+    const held = await standingOr(context, place);
     if ('said' in held)
         return held.said;
     const view = held.lines.find((f) => f.scope?.startsWith('view/') && !f.shape && members(f.value ?? '').includes(word('cells')));
     if (view === undefined)
-        return [aboutOf(context.lock, 'said/no-cells')];
-    return printedOr(context, await context.bound(place, [word('read'), word('view'), view.scope.split('/')[1], ...(asked['key'] ? [word('key'), asked['key']] : [])]));
+        return [sayIn(context.lock)('no-cells', { place })];
+    return printedOr(context, await context.bound(place, [word('read'), word('view'), `${view.scope.split('/')[1]}${asked['at'] ? `${word('at')}${asked['at']}` : ''}`, ...(asked['key'] ? [word('key'), asked['key']] : [])]));
 });

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

@@ -0,0 +1 @@
+export { done as answer } from '../verbs/do.ts';

package/dist/src/tools/do.js

@@ -0,0 +1 @@
+export { done as answer } from "../verbs/do.js";

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

@@ -1,8 +1,9 @@
 import type { Answer } from '../core/answer.ts';
 /**
- * One view of a place, folded by bound at the resolution asked; or, of a source, what it offers as typed lines — at the
- * first resolution where it is reached and each offer's class, by default its forms and how access is proven too, with
- * its flows in the order of trust, never what only a transport reads — and, at the call resolution, one read of an offer of the class head reads. Each answer
- * is measured against answer/seconds and reads red past it, with the question it answered as its coordinate.
+ * A view of a place, folded by bound at the resolution asked; or the region of a source, or of one operation in it, as
+ * typed lines at the resolution asked: at 0 where it is reached and each offer's class, past it their forms and access,
+ * flows in the order of trust, never what only a transport reads. An operation asked no why is read once, if of the class
+ * head reads; asked why, its region is followed by why its newest answer stands. Each answer reads red past answer/seconds
+ * from the call's start, all head did for it included, with the question it answered as its coordinate.
  */
 export declare const answer: Answer;

package/dist/src/tools/look.js

@@ -7,35 +7,36 @@ import { readSource } from "../flows/read.js";
 import { standingFor } from "../flows/world.js";
 import { trustOf } from "../core/trust.js";
 /**
- * One view of a place, folded by bound at the resolution asked; or, of a source, what it offers as typed lines — at the
- * first resolution where it is reached and each offer's class, by default its forms and how access is proven too, with
- * its flows in the order of trust, never what only a transport reads — and, at the call resolution, one read of an offer of the class head reads. Each answer
- * is measured against answer/seconds and reads red past it, with the question it answered as its coordinate.
+ * A view of a place, folded by bound at the resolution asked; or the region of a source, or of one operation in it, as
+ * typed lines at the resolution asked: at 0 where it is reached and each offer's class, past it their forms and access,
+ * flows in the order of trust, never what only a transport reads. An operation asked no why is read once, if of the class
+ * head reads; asked why, its region is followed by why its newest answer stands. Each answer reads red past answer/seconds
+ * from the call's start, all head did for it included, with the question it answered as its coordinate.
  */
-export const answer = (asked, context) => ((started) => inPlace(asked, context, async (place) => {
+export const answer = (asked, context) => inPlace(asked, context, async (place) => {
     const word = (scope) => valueOf(context.lock, scope);
     const source = asked['source'];
     if (source) {
-        if (asked['operation'] && (asked['at'] === word('look/call') || asked['history'] === 'true'))
+        const [operation, why] = [asked['operation'], asked['why'] === 'true'];
+        if (operation && !why)
             return readSource(asked, context);
         const held = await standingFor(context, place);
         if ('unsettled' in held)
             return [sayIn(context.lock)('unsettled', { source, why: held.unsettled })];
-        const [v, first, shallow] = [vocabOf(context.lock), (asked['at'] ?? word('look/default')) === '0', word('look/first').split('|')];
-        const offer = `${v.offers}/${source}/${asked['operation'] ?? ''}`;
+        const [v, first, shallow] = [vocabOf(context.lock), asked['at'] === '0', word('look/first').split('|')];
+        const region = `${v.offers}/${source}/${operation ?? ''}`;
         const shown = held.lines.filter((l) => {
             const scope = l.scope ?? '';
             if (scope === `${v.region}/${source}`)
                 return true;
             if (scope.startsWith(`${v.keys}/${source}/`))
                 return !first;
-            const ofOffer = asked['operation'] ? scope === offer || scope.startsWith(`${offer}/`) : scope.startsWith(offer);
-            if (!ofOffer || scope.endsWith(`/${v.carry}`))
+            if (!(operation ? scope === region || scope.startsWith(`${region}/`) : scope.startsWith(region)) || scope.endsWith(`/${v.carry}`))
                 return false;
             return !first || (!scope.endsWith(`/${v.form}`) && shallow.includes(l.measure ?? ''));
         });
-        return shown.length ? [...shown.map((l) => canonical(l)).sort(), ...(first ? [] : trustOf(context.lock, held.lines, source))] : [sayIn(context.lock)('unread', { source })];
+        return shown.length ? [...shown.map((l) => canonical(l)).sort(), ...(first ? [] : trustOf(context.lock, held.lines, source)), ...(operation ? await readSource(asked, context) : [])] : [sayIn(context.lock)('unread', { source })];
     }
-    const view = `${asked['view'] || word('bound/standing')}${asked['at'] ? `${word('bound/at')}${asked['at']}` : ''}`;
+    const view = `${asked['view'] ?? ''}${asked['at'] ? `${word('bound/at')}${asked['at']}` : ''}`;
     return printedOr(context, await context.bound(place, [word('bound/read'), word('bound/view'), view]));
-}).then((lines) => [...lines, ...redIn(context.lock)('answer/seconds', `answer/${asked['source'] ? `${asked['source']}/${asked['operation'] ?? ''}` : asked['view'] || valueOf(context.lock, 'bound/standing')}@${asked['at'] ?? valueOf(context.lock, 'look/default')}`, started, context.machine())]))(context.machine());
+}).then((lines) => [...lines, ...redIn(context.lock)('answer/seconds', `answer/${asked['source'] ? `${asked['source']}/${asked['operation'] ?? ''}` : asked['view'] ?? ''}`, context.begun, context.machine())]);

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

@@ -0,0 +1,11 @@
+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
+ * 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
+ * carried along. A place still owing a source's bytes is answered only once they arrive.
+ */
+export declare const asked: Answer;

package/dist/src/verbs/ask.js

@@ -0,0 +1,35 @@
+import { join } from 'node:path';
+import { LOCK } from '@lapxo/topos/wire';
+import { answerOf, placeOf } from "../core/answer.js";
+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 { 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
+ * 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
+ * carried along. A place still owing a source's bytes is answered only once they arrive.
+ */
+export const asked = async (asked, context) => {
+    const why = asked['why'] === 'true', at = (form) => valueOf(context.lock, `resolution/${form}/${why ? 'why' : 'person'}`) || undefined;
+    const read = async (form, tool, more = {}) => [...(why && at(form) === undefined ? [sayIn(context.lock)('why-undeclared', { form })] : []),
+        ...await (await answerOf('tools', tool))({ ...asked, ...more, at: at(form) }, context)];
+    const place = await placeOf(asked, context), founded = place !== undefined && context.files.has(place, LOCK), carded = asked['card'] === 'true';
+    if (place === undefined && !carded && !context.files.has(context.home(), LOCK))
+        return [sayIn(context.lock)('unborn', { dir: join(context.personal(), valueOf(context.lock, 'first-run/folder')), source: asked['source'], operation: asked['operation'], args: asked['args'] })];
+    const held = founded || carded ? await cardAt(context, place) : undefined;
+    if (carded && held !== undefined && 'said' in held)
+        return held.said;
+    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')
+        : !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/dist/src/verbs/card.d.ts

@@ -0,0 +1,11 @@
+import type { Context } from '../core/answer.ts';
+/**
+ * The card an act is made on: the place's standing as bound folds it, with the reads it kept set aside, and the keys this
+ * device acts with. Anything landed, a grant withdrawn or a key admitted or changed moves it; a read never does. A folder
+ * that holds no place yet has the card of nothing.
+ */
+export declare const cardAt: (context: Context, place: string | undefined) => Promise<{
+    readonly card: string;
+} | {
+    readonly said: readonly string[];
+}>;

package/dist/src/verbs/card.js

@@ -0,0 +1,16 @@
+import { createHash } from 'node:crypto';
+import { LOCK } from '@lapxo/topos/wire';
+import { baseOf, standingOr } from "../core/answer.js";
+import { valueOf } from "../core/lock.js";
+/**
+ * The card an act is made on: the place's standing as bound folds it, with the reads it kept set aside, and the keys this
+ * device acts with. Anything landed, a grant withdrawn or a key admitted or changed moves it; a read never does. A folder
+ * that holds no place yet has the card of nothing.
+ */
+export const cardAt = async (context, place) => {
+    const held = place === undefined || !context.files.has(place, LOCK) ? { lines: [] } : await standingOr(context, place);
+    if ('said' in held)
+        return held;
+    const read = `${valueOf(context.lock, 'receipt/at')}:`, keys = ['head', 'person'].map((role) => context.device(role) ?? '');
+    return { card: createHash('sha256').update([baseOf(held.lines.filter((l) => !l.at?.startsWith(read))), ...keys].join('\n')).digest('hex').slice(0, 16) };
+};

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

@@ -0,0 +1,8 @@
+import type { Answer } from '../core/answer.ts';
+/**
+ * What a person does, carried out by the action it names and only on the card it was asked on: an act on a place that
+ * moved since is refused before anything is done. An action the place does not allow is said not to be in the card, by
+ * bound's own refusals, and by head's words for its own checks only until bound folds the card. The answer ends with the
+ * card valid from this act: the same one where nothing but a read's receipts landed, folded again where more did.
+ */
+export declare const done: Answer;

package/dist/src/verbs/do.js

@@ -0,0 +1,28 @@
+import { answerOf, placeOf } from "../core/answer.js";
+import { members, valueOf } from "../core/lock.js";
+import { sayIn } from "../core/surface.js";
+import { cardAt } from "./card.js";
+/**
+ * What a person does, carried out by the action it names and only on the card it was asked on: an act on a place that
+ * moved since is refused before anything is done. An action the place does not allow is said not to be in the card, by
+ * bound's own refusals, and by head's words for its own checks only until bound folds the card. The answer ends with the
+ * card valid from this act: the same one where nothing but a read's receipts landed, folded again where more did.
+ */
+export const done = async (asked, context) => {
+    const [say, word] = [sayIn(context.lock), (scope) => valueOf(context.lock, scope)];
+    const action = asked['action'] ?? '';
+    if (!members(word('do/actions')).includes(action))
+        return [say('unknown-action', { action, actions: word('do/actions') })];
+    const place = asked['place'] || asked['dir'] || await placeOf(asked, context), held = await cardAt(context, place);
+    if ('said' in held)
+        return held.said;
+    if (held.card !== asked['card'])
+        return [say('card-stale', { action, place: place ?? '', card: asked['card'] ?? '' })];
+    const answer = await (await answerOf('tools', action))(asked, context);
+    const [bound, own] = [members(word('do/not-in-card/bound')), members(word('do/not-in-card/head'))];
+    const refusal = (line) => ((r) => (r && [r[1], ...r[2].split(' ')].some((w) => bound.includes(w)) ? r[0] : undefined))(/REFUSE·([\w-]+)([^"]*)/.exec(line));
+    const check = (line) => ((c) => ((code) => (code && own.includes(code) ? `head/${code}` : undefined))(c?.[1] ?? c?.[2]))(/^said\/head\/([\w-]+) |head="head\/([\w-]+)"/.exec(line));
+    const why = answer.map((line) => refusal(line) ?? check(line)).find(Boolean);
+    const after = place === undefined || !context.moved(place) ? held : await cardAt(context, place);
+    return [...(why === undefined ? [] : [say('not-in-card', { action, place: place ?? '', why })]), ...answer, ...(place === undefined || 'said' in after ? [] : [say('card', { place, card: after.card, from: `do ${action}` })])];
+};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lapxo/head",
-  "version": "0.1.3",
+  "version": "0.1.4",
   "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",