@lapxo/head 0.1.0 → 0.1.4

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.0",
+  "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",
@@ -22,15 +22,16 @@
   ],
   "scripts": {
     "build": "tsc -p . --incremental false --tsBuildInfoFile null",
-    "prepack": "npm run build",
-    "test": "node --test test/*.test.ts"
+    "prepack": "npm run build && node --test test/pack.test.ts",
+    "test": "node --test test/*.test.ts && node --test --test-concurrency=1 test/time/*.test.ts"
   },
   "dependencies": {
-    "@lapxo/bound": "0.1.6",
-    "@lapxo/topos": "0.1.12",
+    "@lapxo/bound": "0.2.1",
+    "@lapxo/topos": "0.2.0",
     "@modelcontextprotocol/sdk": "1.32.1"
   },
   "devDependencies": {
+    "@anthropic-ai/mcpb": "2.1.2",
     "@types/node": "22.20.5",
     "typescript": "5.9.3"
   }