mirror of
https://github.com/badlogic/pi-mono.git
synced 2026-11-05 23:37:25 +00:00
p2 rewritten by the Chord v2 authoring rules (decision "App authoring rules confirmed by the p2 audit"), in four parts merged together: - core: session lifecycle (relocate, clone, fork, archive) and search rebuild are persisted jobs on a new server store; Sessions v6 with client-chosen ids and visible operations; Retry answers with the worker's real outcome; workers push branch, subagent and status state to the server; roots take the method's ctx. - services: models, envs, ports, login, mcp, logs, sharing and voice follow external state (self.follow, followNative) instead of copy loops; methods answer after their state commits; presence from host.references. - chat: chat mode, artifacts and prompt resources follow Durable and native state; shell commands are Chord jobs (shellId is the requestId); status pushed before send and stop answer; race-free draft claim. - ui: optimistic updates on web (useOptimistic) and terminal (TuiScope.optimistic, extended in Chord with a reducer and a pending flag), pending states for long work, visible rollback, load waterfalls removed; merged with the one composer and immediate first send (ccff9876e) and the folder + button (5a31a6d5f). docs/optimistic-ui.md describes the pattern.
118 lines
4.3 KiB
TypeScript
118 lines
4.3 KiB
TypeScript
import { readFile, stat } from "node:fs/promises";
|
|
import { join } from "node:path";
|
|
import { arr, compile, obj, str } from "@earendil-works/pi-schema";
|
|
import { contribute, defineFacet, deriveTyped, followNative, forbidden, isOwner } from "@p2/app/v1";
|
|
import { captureProcessLogs, type LogSnapshot, processLogs } from "@p2/app/v1/node";
|
|
import { Server } from "@p2/app/v1/server";
|
|
import { LogLineSchema, LogNotices, Logs } from "./contract.ts";
|
|
|
|
const SnapshotSchema = obj({ source: str(), lines: arr(LogLineSchema, { maxItems: 1000 }) }, { open: true });
|
|
const isSnapshot = compile(SnapshotSchema).check;
|
|
|
|
export default defineFacet((host) => {
|
|
contribute(host, "p2.log-host", (self) => {
|
|
const server = self.get(Server, {});
|
|
self.open(
|
|
async () => {
|
|
const directory = server.info.value.dataDir;
|
|
processLogs.redactor.addDirectory(directory);
|
|
const stop = captureProcessLogs("server");
|
|
processLogs.append("server", "event", "Server logs connected");
|
|
// Detached processes publish private, bounded, redacted snapshots, not raw append-only files.
|
|
const fingerprints = new Map<string, string>();
|
|
const seen = new Map<string, Set<string>>();
|
|
let active: Promise<void> | undefined;
|
|
const collect = (): void => {
|
|
if (active) return;
|
|
active = (async () => {
|
|
for (const source of ["terminals", "dev"]) {
|
|
const path = join(directory, `${source}.logs.json`);
|
|
try {
|
|
const info = await stat(path, { bigint: true });
|
|
if (info.size > 2 * 1024 * 1024) continue;
|
|
const fingerprint = `${info.ino}:${info.mtimeNs}:${info.size}`;
|
|
if (fingerprints.get(source) === fingerprint) continue;
|
|
const snapshot: unknown = JSON.parse(await readFile(path, "utf8"));
|
|
if (!isSnapshot(snapshot) || snapshot.source !== source) continue;
|
|
const incoming = snapshot as LogSnapshot;
|
|
const prior = seen.get(source);
|
|
const next = new Set<string>();
|
|
for (const line of incoming.lines) {
|
|
const key = `${line.id}:${line.time}`;
|
|
next.add(key);
|
|
if (!prior?.has(key)) {
|
|
processLogs.append(source, line.level, line.text, line.time);
|
|
if (line.level === "error" && /^(?:\w*Error):/.test(line.text))
|
|
processLogs.notice(source, line.text);
|
|
}
|
|
}
|
|
seen.set(source, next);
|
|
fingerprints.set(source, fingerprint);
|
|
} catch {
|
|
/* Not running, or an incomplete/corrupt publication. */
|
|
}
|
|
}
|
|
})().finally(() => {
|
|
active = undefined;
|
|
});
|
|
};
|
|
collect();
|
|
const timer = setInterval(collect, 300);
|
|
timer.unref();
|
|
return { stop, timer, done: () => active };
|
|
},
|
|
async ({ stop, timer, done }) => {
|
|
clearInterval(timer);
|
|
stop();
|
|
await done();
|
|
},
|
|
);
|
|
});
|
|
|
|
host.serve(LogNotices, (_params, principal, self) => {
|
|
if (!isOwner(principal)) throw forbidden("Notices are only available to owners");
|
|
// The process's notices as it keeps them: a dismissal tells this source before `dismiss` returns.
|
|
const notices = followNative(
|
|
self,
|
|
(changed) => processLogs.events.subscribe(changed),
|
|
() => processLogs.notices(),
|
|
);
|
|
return {
|
|
variant: "owner",
|
|
members: {
|
|
// Diffed: the process tells of every log line, and the notices rarely change with one.
|
|
notices: deriveTyped(self, [notices], ([value]) => value),
|
|
dismiss: async ({ id }) => {
|
|
processLogs.dismissNotice(id);
|
|
return null;
|
|
},
|
|
},
|
|
};
|
|
});
|
|
|
|
host.serve(Logs, ({ source }, principal, self) => {
|
|
if (!isOwner(principal)) throw forbidden("Logs are only available to owners");
|
|
const sources = followNative(
|
|
self,
|
|
(changed) => processLogs.events.subscribe(changed),
|
|
() => processLogs.sources(),
|
|
);
|
|
// Read again only when this source changed (or went), not for every line of another one.
|
|
const lines = followNative(
|
|
self,
|
|
(changed) =>
|
|
processLogs.events.subscribe((changedSource) => {
|
|
if (changedSource === source || !processLogs.sources().some((entry) => entry.id === source)) changed();
|
|
}),
|
|
() => processLogs.lines(source),
|
|
);
|
|
// Diffed: a frame carries the lines and sources that changed, not the whole buffer.
|
|
return {
|
|
variant: "owner",
|
|
members: {
|
|
sources: deriveTyped(self, [sources], ([value]) => value),
|
|
lines: deriveTyped(self, [lines], ([value]) => value),
|
|
},
|
|
};
|
|
});
|
|
});
|