@astrosheep/keiyaku 2.9.13 → 4.0.1

package/build/src/akuma/heart/rows.js

@@ -0,0 +1,299 @@
+import { decodeResumeCoordinate, encodeResumeCoordinate as encodeCoordinate } from "../coordinate.js";
+function json(value) {
+    return JSON.stringify(value);
+}
+function parsed(value) {
+    if (typeof value !== "string")
+        throw new Error("Akuma authority contains non-text JSON");
+    return JSON.parse(value);
+}
+function resumeCoordinate(value) {
+    const coordinate = decodeResumeCoordinate(value);
+    if (coordinate === null)
+        throw new Error("Akuma authority contains an invalid resume coordinate");
+    return coordinate;
+}
+export function encodeSoulRow(soul) {
+    return [
+        soul.id,
+        soul.archetype,
+        soul.description ?? null,
+        json(soul.provider),
+        json(soul.options),
+        soul.cwd,
+        json(soul.origin),
+        json(soul.confinement),
+        soul.createdAt,
+    ];
+}
+export function decodeSoulRow(row) {
+    return {
+        id: row.id,
+        archetype: row.archetype,
+        ...(row.description === null ? {} : { description: row.description }),
+        provider: parsed(row.provider_json),
+        options: parsed(row.options_json),
+        cwd: row.cwd,
+        origin: parsed(row.origin_json),
+        confinement: parsed(row.confinement_json),
+        createdAt: row.created_at,
+    };
+}
+export function encodeSessionRow(session) {
+    return [session.provider, encodeResumeCoordinate(session.coordinate), session.cwd, json(session.options), session.admittedAt];
+}
+export function encodeResumeCoordinate(coordinate) {
+    return json(encodeCoordinate(coordinate));
+}
+export function decodeSessionRow(row) {
+    return {
+        sequence: row.sequence,
+        provider: row.provider,
+        coordinate: resumeCoordinate(parsed(row.coordinate_json)),
+        cwd: row.cwd,
+        options: parsed(row.options_json),
+        admittedAt: row.admitted_at,
+    };
+}
+export function decodeBodyRow(row) {
+    return {
+        sequence: row.sequence,
+        collar: { pid: row.pid, processGroup: row.process_group, spawnedAt: row.spawned_at },
+        leashTakenAt: row.leash_taken_at,
+        ...(row.end === null ? {} : { end: row.end }),
+        ...(row.ended_at === null ? {} : { endedAt: row.ended_at }),
+    };
+}
+export function decodeTurnRow(row) {
+    const start = {
+        kind: "turn-start",
+        sequence: row.sequence,
+        bodySequence: row.body_sequence,
+        startedAt: row.started_at,
+    };
+    if (row.outcome === null)
+        return start;
+    const end = {
+        kind: "turn-end",
+        sequence: row.end_sequence,
+        turnSequence: row.sequence,
+        outcome: row.outcome === "answered"
+            ? {
+                kind: "answered",
+                historyId: row.history_id,
+                session: resumeCoordinate(parsed(row.session_json)),
+                answer: row.answer,
+            }
+            : { kind: "failed", diagnostic: row.diagnostic },
+        completedAt: row.completed_at,
+    };
+    return { ...start, end };
+}
+export function decodeCallRow(row) {
+    return { kind: "call", sequence: row.sequence, turnSequence: row.turn_sequence, body: row.body, at: row.at };
+}
+export function decodeRequestRow(row) {
+    const input = {
+        id: row.id,
+        archetype: row.archetype,
+        body: row.body,
+        ...(row.cwd === null ? {} : { cwd: row.cwd }),
+        world: row.world,
+        recipe: parsed(row.recipe_json),
+        admittedAt: row.admitted_at,
+    };
+    if (row.state === "reserved" || row.state === "served") {
+        return { ...input, state: row.state, child: row.child };
+    }
+    if (row.state === "refused")
+        return { ...input, state: row.state, diagnostic: row.diagnostic };
+    if (row.state === "voided")
+        return { ...input, state: row.state, evidence: row.evidence };
+    return { ...input, state: "admitted" };
+}
+export function encodeActivityEvent(event) {
+    return json(event);
+}
+export function decodeActivityRow(row) {
+    return {
+        kind: "activity",
+        sequence: row.sequence,
+        turnSequence: row.turn_sequence,
+        event: parsed(row.event_json),
+        at: row.at,
+    };
+}
+export function soulFact(database) {
+    const row = database.prepare(`SELECT id, archetype, description, provider_json, options_json, cwd,
+    origin_json, confinement_json, created_at FROM soul WHERE singleton = 1`).get();
+    return row === undefined ? null : decodeSoulRow(row);
+}
+export function sealExists(database) {
+    return database.prepare("SELECT singleton FROM seal WHERE singleton = 1").get() !== undefined;
+}
+export function insertSoulFact(database, soul) {
+    database.prepare(`INSERT INTO soul(singleton, id, archetype, description, provider_json, options_json, cwd, origin_json, confinement_json, created_at)
+    VALUES (1, ?, ?, ?, ?, ?, ?, ?, ?, ?)`).run(...encodeSoulRow(soul));
+}
+export function insertSealFact(database, input) {
+    database.prepare("INSERT OR IGNORE INTO seal(singleton, evidence, at) VALUES (1, ?, ?)")
+        .run(input.evidence, input.at);
+}
+export function deletePauseControl(database) {
+    database.prepare("DELETE FROM control WHERE kind = 'pause'").run();
+}
+export function deleteStopControl(database) {
+    database.prepare("DELETE FROM control WHERE kind = 'stop'").run();
+}
+export function sealFact(database) {
+    const row = database.prepare("SELECT evidence, at FROM seal WHERE singleton = 1").get();
+    return row === undefined ? null : { evidence: row.evidence, at: row.at };
+}
+export function insertBodyFact(database, input) {
+    const result = database.prepare(`INSERT INTO bodies(pid, process_group, spawned_at, leash_taken_at)
+    VALUES (?, ?, ?, ?)`).run(input.collar.pid, input.collar.processGroup, input.collar.spawnedAt, input.leashTakenAt);
+    return Number(result.lastInsertRowid);
+}
+export function insertSessionFact(database, input) {
+    const result = database.prepare(`INSERT INTO sessions(provider, coordinate_json, cwd, options_json, admitted_at)
+    VALUES (?, ?, ?, ?, ?)`).run(...encodeSessionRow(input));
+    return Number(result.lastInsertRowid);
+}
+export function insertActivityFact(database, input) {
+    const sequence = Number(database.prepare("INSERT INTO timeline(kind) VALUES ('activity')").run().lastInsertRowid);
+    database.prepare("INSERT INTO activity(sequence, turn_sequence, event_json, at) VALUES (?, ?, ?, ?)")
+        .run(sequence, input.turnSequence, encodeActivityEvent(input.event), input.at);
+    return sequence;
+}
+const REQUEST_COLUMNS = `sequence, id, archetype, body, cwd, world, recipe_json, admitted_at,
+  state, child, diagnostic, evidence`;
+export function insertRequestFact(database, input) {
+    database.prepare(`INSERT OR IGNORE INTO requests(id, archetype, body, cwd, world, recipe_json, admitted_at, state)
+    VALUES (?, ?, ?, ?, ?, ?, ?, 'admitted')`).run(input.id, input.archetype, input.body, input.cwd ?? null, input.world, json(input.recipe), input.admittedAt);
+}
+export function requestFact(database, id) {
+    const row = database.prepare(`SELECT ${REQUEST_COLUMNS} FROM requests WHERE id = ?`).get(id);
+    return row === undefined ? null : decodeRequestRow(row);
+}
+export function nonterminalRequestFacts(database) {
+    const rows = database.prepare(`SELECT ${REQUEST_COLUMNS} FROM requests
+    WHERE state IN ('admitted', 'reserved') ORDER BY sequence`).all();
+    return rows.map(decodeRequestRow);
+}
+export function updateRequestReserved(database, id, child) {
+    database.prepare("UPDATE requests SET state = 'reserved', child = ? WHERE id = ? AND state = 'admitted'")
+        .run(child, id);
+}
+export function updateRequestServed(database, id, child) {
+    database.prepare(`UPDATE requests SET state = 'served', child = ?
+    WHERE id = ? AND state = 'reserved'`).run(child, id);
+}
+export function updateRequestRefused(database, id, diagnostic) {
+    database.prepare(`UPDATE requests SET state = 'refused', diagnostic = ?
+    WHERE id = ? AND state = 'admitted'`).run(diagnostic, id);
+}
+export function updateRequestVoided(database, id, evidence) {
+    database.prepare(`UPDATE requests SET state = 'voided', child = NULL, evidence = ?
+    WHERE id = ? AND state IN ('admitted', 'reserved')`).run(evidence, id);
+}
+export function insertStopControl(database, bodySequence, at) {
+    database.prepare("INSERT OR IGNORE INTO control(kind, value_json, at) VALUES ('stop', ?, ?)")
+        .run(json({ bodySequence }), at);
+}
+export function insertPauseControl(database, at) {
+    database.prepare("INSERT OR IGNORE INTO control(kind, value_json, at) VALUES ('pause', '{}', ?)").run(at);
+}
+export function stopFact(database) {
+    const row = database.prepare("SELECT value_json, at FROM control WHERE kind = 'stop'").get();
+    if (row === undefined)
+        return null;
+    const value = parsed(row.value_json);
+    if (!Number.isSafeInteger(value.bodySequence) || value.bodySequence <= 0) {
+        throw new Error("Akuma stop control has an invalid Body sequence");
+    }
+    return { bodySequence: value.bodySequence, requestedAt: row.at };
+}
+export function pauseExists(database) {
+    return database.prepare("SELECT kind FROM control WHERE kind = 'pause'").get() !== undefined;
+}
+export function insertKillFact(database, bodySequence, at) {
+    database.prepare("INSERT OR IGNORE INTO kills(body_sequence, evidence, at) VALUES (?, 'killed', ?)")
+        .run(bodySequence, at);
+}
+export function endBodyFact(database, input) {
+    database.prepare("UPDATE bodies SET end = ?, ended_at = ? WHERE sequence = ? AND end IS NULL")
+        .run(input.end, input.at, input.sequence);
+}
+export function insertTurnStartFact(database, input) {
+    const sequence = Number(database.prepare("INSERT INTO timeline(kind) VALUES ('turn-start')").run().lastInsertRowid);
+    database.prepare("INSERT INTO turns(sequence, body_sequence, started_at) VALUES (?, ?, ?)")
+        .run(sequence, input.bodySequence, input.startedAt);
+    if (input.call !== undefined) {
+        const callSequence = Number(database.prepare("INSERT INTO timeline(kind) VALUES ('call')").run().lastInsertRowid);
+        database.prepare("INSERT INTO calls(sequence, turn_sequence, body, at) VALUES (?, ?, ?, ?)")
+            .run(callSequence, sequence, input.call, input.startedAt);
+    }
+    return { kind: "turn-start", sequence, bodySequence: input.bodySequence, startedAt: input.startedAt };
+}
+export function insertTurnEndFact(database, input) {
+    const sequence = Number(database.prepare("INSERT INTO timeline(kind) VALUES ('turn-end')").run().lastInsertRowid);
+    const result = input.outcome.kind === "answered"
+        ? database.prepare(`UPDATE turns SET end_sequence = ?, outcome = 'answered', history_id = ?,
+        session_json = ?, answer = ?, completed_at = ? WHERE sequence = ? AND end_sequence IS NULL`).run(sequence, input.outcome.historyId, encodeResumeCoordinate(input.outcome.session), input.outcome.answer, input.completedAt, input.turnSequence)
+        : database.prepare(`UPDATE turns SET end_sequence = ?, outcome = 'failed', diagnostic = ?, completed_at = ?
+        WHERE sequence = ? AND end_sequence IS NULL`).run(sequence, input.outcome.diagnostic, input.completedAt, input.turnSequence);
+    if (result.changes !== 1)
+        throw new Error(`Akuma Turn ${input.turnSequence} is not open`);
+    return { ...input, kind: "turn-end", sequence };
+}
+export function finishBodyFact(database, input) {
+    database.prepare("UPDATE bodies SET end = 'exited', ended_at = ? WHERE sequence = ? AND end IS NULL")
+        .run(input.at, input.sequence);
+}
+export function latestBodyFact(database) {
+    const row = database.prepare(`SELECT sequence, pid, process_group, spawned_at, leash_taken_at, end, ended_at
+    FROM bodies ORDER BY sequence DESC LIMIT 1`).get();
+    return row === undefined ? null : decodeBodyRow(row);
+}
+export function latestSessionFact(database) {
+    const row = database.prepare(`SELECT sequence, provider, coordinate_json, cwd, options_json, admitted_at
+    FROM sessions ORDER BY sequence DESC LIMIT 1`).get();
+    return row === undefined ? null : decodeSessionRow(row);
+}
+export function sessionFactForCoordinate(database, coordinate) {
+    const row = database.prepare(`SELECT sequence, provider, coordinate_json, cwd, options_json, admitted_at
+    FROM sessions WHERE coordinate_json = ? ORDER BY sequence DESC LIMIT 1`)
+        .get(encodeResumeCoordinate(coordinate));
+    return row === undefined ? null : decodeSessionRow(row);
+}
+export function latestKillFact(database) {
+    const row = database.prepare(`SELECT sequence, body_sequence, evidence, at
+    FROM kills ORDER BY sequence DESC LIMIT 1`).get();
+    return row === undefined ? null : {
+        sequence: row.sequence,
+        bodySequence: row.body_sequence,
+        evidence: row.evidence,
+        at: row.at,
+    };
+}
+export function killFactForBody(database, bodySequence) {
+    const row = database.prepare(`SELECT sequence, body_sequence, evidence, at
+    FROM kills WHERE body_sequence = ?`).get(bodySequence);
+    return row === undefined ? null : {
+        sequence: row.sequence,
+        bodySequence: row.body_sequence,
+        evidence: row.evidence,
+        at: row.at,
+    };
+}
+export function lastAnsweredTurnFact(database) {
+    const row = database.prepare(`SELECT sequence, body_sequence, started_at, end_sequence, outcome, history_id,
+    session_json, answer, diagnostic, completed_at FROM turns WHERE outcome = 'answered' ORDER BY end_sequence DESC LIMIT 1`)
+        .get();
+    return row === undefined ? null : decodeTurnRow(row);
+}
+export function answeredTurnFact(database, historyId) {
+    const row = database.prepare(`SELECT sequence, body_sequence, started_at, end_sequence, outcome, history_id,
+    session_json, answer, diagnostic, completed_at FROM turns WHERE outcome = 'answered' AND history_id = ?`).get(historyId);
+    return row === undefined ? null : decodeTurnRow(row);
+}

package/build/src/akuma/heart/schema.d.ts

@@ -0,0 +1,5 @@
+import type { DatabaseSync } from "node:sqlite";
+export declare function assertHeartSchemaVersion(database: DatabaseSync): void;
+export declare function assertLeashSchemaVersion(database: DatabaseSync): void;
+export declare const HEART_SCHEMA = "\n  CREATE TABLE IF NOT EXISTS akuma_schema (\n    singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n    version INTEGER NOT NULL CHECK (version = 10)\n  ) STRICT;\n  INSERT OR IGNORE INTO akuma_schema(singleton, version) VALUES (1, 10);\n  CREATE TABLE IF NOT EXISTS soul (\n    singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n    id TEXT NOT NULL UNIQUE,\n    archetype TEXT NOT NULL,\n    description TEXT,\n    provider_json TEXT NOT NULL CHECK (json_valid(provider_json)),\n    options_json TEXT NOT NULL CHECK (json_valid(options_json)),\n    cwd TEXT NOT NULL,\n    origin_json TEXT NOT NULL CHECK (json_valid(origin_json)),\n    confinement_json TEXT NOT NULL CHECK (json_valid(confinement_json)),\n    created_at TEXT NOT NULL\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS bodies (\n    sequence INTEGER PRIMARY KEY AUTOINCREMENT,\n    pid INTEGER NOT NULL CHECK (pid > 0),\n    process_group INTEGER NOT NULL CHECK (process_group > 0),\n    spawned_at TEXT NOT NULL,\n    leash_taken_at TEXT NOT NULL,\n    end TEXT CHECK (end IN ('exited', 'broke-off', 'put-down')),\n    ended_at TEXT\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS sessions (\n    sequence INTEGER PRIMARY KEY AUTOINCREMENT,\n    provider TEXT NOT NULL,\n    coordinate_json TEXT NOT NULL CHECK (json_valid(coordinate_json)),\n    cwd TEXT NOT NULL,\n    options_json TEXT NOT NULL CHECK (json_valid(options_json)),\n    admitted_at TEXT NOT NULL\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS turns (\n    sequence INTEGER PRIMARY KEY REFERENCES timeline(sequence) ON DELETE CASCADE,\n    body_sequence INTEGER NOT NULL REFERENCES bodies(sequence),\n    started_at TEXT NOT NULL,\n    end_sequence INTEGER UNIQUE REFERENCES timeline(sequence) ON DELETE SET NULL,\n    outcome TEXT CHECK (outcome IN ('answered', 'failed')),\n    history_id TEXT UNIQUE,\n    session_json TEXT CHECK (session_json IS NULL OR json_valid(session_json)),\n    answer TEXT,\n    diagnostic TEXT,\n    completed_at TEXT,\n    CHECK (\n      (outcome = 'answered' AND history_id IS NOT NULL AND session_json IS NOT NULL AND answer IS NOT NULL AND diagnostic IS NULL)\n      OR (outcome = 'failed' AND history_id IS NULL AND session_json IS NULL AND answer IS NULL AND diagnostic IS NOT NULL)\n      OR (outcome IS NULL AND end_sequence IS NULL AND history_id IS NULL AND session_json IS NULL AND answer IS NULL AND diagnostic IS NULL AND completed_at IS NULL)\n    )\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS timeline (\n    sequence INTEGER PRIMARY KEY AUTOINCREMENT,\n    kind TEXT NOT NULL CHECK (kind IN ('turn-start', 'call', 'activity', 'tell', 'turn-end'))\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS calls (\n    sequence INTEGER PRIMARY KEY REFERENCES timeline(sequence) ON DELETE CASCADE,\n    turn_sequence INTEGER NOT NULL REFERENCES turns(sequence) ON DELETE CASCADE,\n    body TEXT NOT NULL,\n    at TEXT NOT NULL\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS activity (\n    sequence INTEGER PRIMARY KEY REFERENCES timeline(sequence) ON DELETE CASCADE,\n    turn_sequence INTEGER NOT NULL REFERENCES turns(sequence) ON DELETE CASCADE,\n    event_json TEXT NOT NULL CHECK (json_valid(event_json)),\n    at TEXT NOT NULL\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS tells (\n    id TEXT PRIMARY KEY,\n    sequence INTEGER NOT NULL UNIQUE REFERENCES timeline(sequence) ON DELETE CASCADE,\n    body TEXT NOT NULL,\n    recorded_at TEXT NOT NULL\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS tell_deliveries (\n    sequence INTEGER PRIMARY KEY AUTOINCREMENT,\n    tell_id TEXT NOT NULL REFERENCES tells(id) ON DELETE CASCADE,\n    route TEXT NOT NULL CHECK (route IN ('launch', 'live')),\n    turn_sequence INTEGER NOT NULL REFERENCES turns(sequence) ON DELETE CASCADE,\n    fence TEXT NOT NULL,\n    receipt TEXT CHECK (receipt IN ('unavailable', 'required')),\n    delivered_at TEXT NOT NULL,\n    CHECK ((route = 'launch' AND receipt IS NULL) OR (route = 'live' AND receipt IS NOT NULL)),\n    UNIQUE (tell_id, turn_sequence, fence)\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS tell_receipts (\n    sequence INTEGER PRIMARY KEY AUTOINCREMENT,\n    evidence TEXT NOT NULL CHECK (evidence IN ('exact', 'fence')),\n    tell_id TEXT REFERENCES tells(id) ON DELETE CASCADE,\n    turn_sequence INTEGER REFERENCES turns(sequence) ON DELETE CASCADE,\n    fence TEXT,\n    kind TEXT NOT NULL,\n    received_at TEXT NOT NULL,\n    CHECK (\n      (evidence = 'exact' AND tell_id IS NOT NULL AND turn_sequence IS NULL AND fence IS NULL)\n      OR (evidence = 'fence' AND tell_id IS NULL AND turn_sequence IS NOT NULL AND fence IS NOT NULL)\n    )\n  ) STRICT;\n  CREATE UNIQUE INDEX IF NOT EXISTS tell_receipts_exact\n    ON tell_receipts(tell_id, kind) WHERE evidence = 'exact';\n  CREATE UNIQUE INDEX IF NOT EXISTS tell_receipts_fence\n    ON tell_receipts(turn_sequence, fence, kind) WHERE evidence = 'fence';\n  CREATE TABLE IF NOT EXISTS requests (\n    sequence INTEGER PRIMARY KEY AUTOINCREMENT,\n    id TEXT NOT NULL UNIQUE,\n    archetype TEXT NOT NULL,\n    body TEXT NOT NULL,\n    cwd TEXT,\n    world TEXT NOT NULL,\n    recipe_json TEXT NOT NULL CHECK (json_valid(recipe_json)),\n    admitted_at TEXT NOT NULL,\n    state TEXT NOT NULL CHECK (state IN ('admitted', 'reserved', 'served', 'refused', 'voided')),\n    child TEXT,\n    diagnostic TEXT,\n    evidence TEXT,\n    CHECK (\n      (state = 'admitted' AND child IS NULL AND diagnostic IS NULL AND evidence IS NULL)\n      OR (state IN ('reserved', 'served') AND child IS NOT NULL AND diagnostic IS NULL AND evidence IS NULL)\n      OR (state = 'refused' AND child IS NULL AND diagnostic IS NOT NULL AND evidence IS NULL)\n      OR (state = 'voided' AND child IS NULL AND diagnostic IS NULL AND evidence IS NOT NULL)\n    )\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS control (\n    kind TEXT PRIMARY KEY CHECK (kind IN ('stop', 'pause')),\n    value_json TEXT NOT NULL CHECK (json_valid(value_json)),\n    at TEXT NOT NULL\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS kills (\n    sequence INTEGER PRIMARY KEY AUTOINCREMENT,\n    body_sequence INTEGER NOT NULL UNIQUE REFERENCES bodies(sequence),\n    evidence TEXT NOT NULL CHECK (evidence = 'killed'),\n    at TEXT NOT NULL\n  ) STRICT;\n";
+export declare const LEASH_SCHEMA = "\n  PRAGMA journal_mode=DELETE;\n  CREATE TABLE IF NOT EXISTS leash_schema (\n    singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n    version INTEGER NOT NULL CHECK (version = 4)\n  ) STRICT;\n  INSERT OR IGNORE INTO leash_schema(singleton, version) VALUES (1, 4);\n  CREATE TABLE IF NOT EXISTS seal (\n    singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n    evidence TEXT NOT NULL,\n    at TEXT NOT NULL\n  ) STRICT;\n";

package/build/src/akuma/heart/schema.js

@@ -0,0 +1,160 @@
+const HEART_SCHEMA_VERSION = 10;
+const LEASH_SCHEMA_VERSION = 4;
+function assertSchemaVersion(database, table, expected) {
+    const row = database.prepare(`SELECT version FROM ${table} WHERE singleton = 1`).get();
+    if (row?.version !== expected)
+        throw new Error(`Akuma ${table === "akuma_schema" ? "heart" : "leash"} schema version must be ${expected}`);
+}
+export function assertHeartSchemaVersion(database) {
+    assertSchemaVersion(database, "akuma_schema", HEART_SCHEMA_VERSION);
+}
+export function assertLeashSchemaVersion(database) {
+    assertSchemaVersion(database, "leash_schema", LEASH_SCHEMA_VERSION);
+}
+export const HEART_SCHEMA = `
+  CREATE TABLE IF NOT EXISTS akuma_schema (
+    singleton INTEGER PRIMARY KEY CHECK (singleton = 1),
+    version INTEGER NOT NULL CHECK (version = ${HEART_SCHEMA_VERSION})
+  ) STRICT;
+  INSERT OR IGNORE INTO akuma_schema(singleton, version) VALUES (1, ${HEART_SCHEMA_VERSION});
+  CREATE TABLE IF NOT EXISTS soul (
+    singleton INTEGER PRIMARY KEY CHECK (singleton = 1),
+    id TEXT NOT NULL UNIQUE,
+    archetype TEXT NOT NULL,
+    description TEXT,
+    provider_json TEXT NOT NULL CHECK (json_valid(provider_json)),
+    options_json TEXT NOT NULL CHECK (json_valid(options_json)),
+    cwd TEXT NOT NULL,
+    origin_json TEXT NOT NULL CHECK (json_valid(origin_json)),
+    confinement_json TEXT NOT NULL CHECK (json_valid(confinement_json)),
+    created_at TEXT NOT NULL
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS bodies (
+    sequence INTEGER PRIMARY KEY AUTOINCREMENT,
+    pid INTEGER NOT NULL CHECK (pid > 0),
+    process_group INTEGER NOT NULL CHECK (process_group > 0),
+    spawned_at TEXT NOT NULL,
+    leash_taken_at TEXT NOT NULL,
+    end TEXT CHECK (end IN ('exited', 'broke-off', 'put-down')),
+    ended_at TEXT
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS sessions (
+    sequence INTEGER PRIMARY KEY AUTOINCREMENT,
+    provider TEXT NOT NULL,
+    coordinate_json TEXT NOT NULL CHECK (json_valid(coordinate_json)),
+    cwd TEXT NOT NULL,
+    options_json TEXT NOT NULL CHECK (json_valid(options_json)),
+    admitted_at TEXT NOT NULL
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS turns (
+    sequence INTEGER PRIMARY KEY REFERENCES timeline(sequence) ON DELETE CASCADE,
+    body_sequence INTEGER NOT NULL REFERENCES bodies(sequence),
+    started_at TEXT NOT NULL,
+    end_sequence INTEGER UNIQUE REFERENCES timeline(sequence) ON DELETE SET NULL,
+    outcome TEXT CHECK (outcome IN ('answered', 'failed')),
+    history_id TEXT UNIQUE,
+    session_json TEXT CHECK (session_json IS NULL OR json_valid(session_json)),
+    answer TEXT,
+    diagnostic TEXT,
+    completed_at TEXT,
+    CHECK (
+      (outcome = 'answered' AND history_id IS NOT NULL AND session_json IS NOT NULL AND answer IS NOT NULL AND diagnostic IS NULL)
+      OR (outcome = 'failed' AND history_id IS NULL AND session_json IS NULL AND answer IS NULL AND diagnostic IS NOT NULL)
+      OR (outcome IS NULL AND end_sequence IS NULL AND history_id IS NULL AND session_json IS NULL AND answer IS NULL AND diagnostic IS NULL AND completed_at IS NULL)
+    )
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS timeline (
+    sequence INTEGER PRIMARY KEY AUTOINCREMENT,
+    kind TEXT NOT NULL CHECK (kind IN ('turn-start', 'call', 'activity', 'tell', 'turn-end'))
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS calls (
+    sequence INTEGER PRIMARY KEY REFERENCES timeline(sequence) ON DELETE CASCADE,
+    turn_sequence INTEGER NOT NULL REFERENCES turns(sequence) ON DELETE CASCADE,
+    body TEXT NOT NULL,
+    at TEXT NOT NULL
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS activity (
+    sequence INTEGER PRIMARY KEY REFERENCES timeline(sequence) ON DELETE CASCADE,
+    turn_sequence INTEGER NOT NULL REFERENCES turns(sequence) ON DELETE CASCADE,
+    event_json TEXT NOT NULL CHECK (json_valid(event_json)),
+    at TEXT NOT NULL
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS tells (
+    id TEXT PRIMARY KEY,
+    sequence INTEGER NOT NULL UNIQUE REFERENCES timeline(sequence) ON DELETE CASCADE,
+    body TEXT NOT NULL,
+    recorded_at TEXT NOT NULL
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS tell_deliveries (
+    sequence INTEGER PRIMARY KEY AUTOINCREMENT,
+    tell_id TEXT NOT NULL REFERENCES tells(id) ON DELETE CASCADE,
+    route TEXT NOT NULL CHECK (route IN ('launch', 'live')),
+    turn_sequence INTEGER NOT NULL REFERENCES turns(sequence) ON DELETE CASCADE,
+    fence TEXT NOT NULL,
+    receipt TEXT CHECK (receipt IN ('unavailable', 'required')),
+    delivered_at TEXT NOT NULL,
+    CHECK ((route = 'launch' AND receipt IS NULL) OR (route = 'live' AND receipt IS NOT NULL)),
+    UNIQUE (tell_id, turn_sequence, fence)
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS tell_receipts (
+    sequence INTEGER PRIMARY KEY AUTOINCREMENT,
+    evidence TEXT NOT NULL CHECK (evidence IN ('exact', 'fence')),
+    tell_id TEXT REFERENCES tells(id) ON DELETE CASCADE,
+    turn_sequence INTEGER REFERENCES turns(sequence) ON DELETE CASCADE,
+    fence TEXT,
+    kind TEXT NOT NULL,
+    received_at TEXT NOT NULL,
+    CHECK (
+      (evidence = 'exact' AND tell_id IS NOT NULL AND turn_sequence IS NULL AND fence IS NULL)
+      OR (evidence = 'fence' AND tell_id IS NULL AND turn_sequence IS NOT NULL AND fence IS NOT NULL)
+    )
+  ) STRICT;
+  CREATE UNIQUE INDEX IF NOT EXISTS tell_receipts_exact
+    ON tell_receipts(tell_id, kind) WHERE evidence = 'exact';
+  CREATE UNIQUE INDEX IF NOT EXISTS tell_receipts_fence
+    ON tell_receipts(turn_sequence, fence, kind) WHERE evidence = 'fence';
+  CREATE TABLE IF NOT EXISTS requests (
+    sequence INTEGER PRIMARY KEY AUTOINCREMENT,
+    id TEXT NOT NULL UNIQUE,
+    archetype TEXT NOT NULL,
+    body TEXT NOT NULL,
+    cwd TEXT,
+    world TEXT NOT NULL,
+    recipe_json TEXT NOT NULL CHECK (json_valid(recipe_json)),
+    admitted_at TEXT NOT NULL,
+    state TEXT NOT NULL CHECK (state IN ('admitted', 'reserved', 'served', 'refused', 'voided')),
+    child TEXT,
+    diagnostic TEXT,
+    evidence TEXT,
+    CHECK (
+      (state = 'admitted' AND child IS NULL AND diagnostic IS NULL AND evidence IS NULL)
+      OR (state IN ('reserved', 'served') AND child IS NOT NULL AND diagnostic IS NULL AND evidence IS NULL)
+      OR (state = 'refused' AND child IS NULL AND diagnostic IS NOT NULL AND evidence IS NULL)
+      OR (state = 'voided' AND child IS NULL AND diagnostic IS NULL AND evidence IS NOT NULL)
+    )
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS control (
+    kind TEXT PRIMARY KEY CHECK (kind IN ('stop', 'pause')),
+    value_json TEXT NOT NULL CHECK (json_valid(value_json)),
+    at TEXT NOT NULL
+  ) STRICT;
+  CREATE TABLE IF NOT EXISTS kills (
+    sequence INTEGER PRIMARY KEY AUTOINCREMENT,
+    body_sequence INTEGER NOT NULL UNIQUE REFERENCES bodies(sequence),
+    evidence TEXT NOT NULL CHECK (evidence = 'killed'),
+    at TEXT NOT NULL
+  ) STRICT;
+`;
+export const LEASH_SCHEMA = `
+  PRAGMA journal_mode=DELETE;
+  CREATE TABLE IF NOT EXISTS leash_schema (
+    singleton INTEGER PRIMARY KEY CHECK (singleton = 1),
+    version INTEGER NOT NULL CHECK (version = ${LEASH_SCHEMA_VERSION})
+  ) STRICT;
+  INSERT OR IGNORE INTO leash_schema(singleton, version) VALUES (1, ${LEASH_SCHEMA_VERSION});
+  CREATE TABLE IF NOT EXISTS seal (
+    singleton INTEGER PRIMARY KEY CHECK (singleton = 1),
+    evidence TEXT NOT NULL,
+    at TEXT NOT NULL
+  ) STRICT;
+`;

package/build/src/akuma/heart/storage.d.ts

@@ -0,0 +1,33 @@
+import { DatabaseSync } from "node:sqlite";
+import type { AkumaPaths } from "../identity.js";
+import type { LeashProbe, SessionFact, Soul, StopFact, TellFact } from "./facts.js";
+import { sealFact } from "./rows.js";
+export declare function openHeart(path: string, verify?: boolean): DatabaseSync;
+export declare function withHeart<T>(paths: AkumaPaths, body: (database: DatabaseSync) => T): T;
+export declare function transaction<T>(database: DatabaseSync, body: () => T): T;
+export declare function initializeHeart(paths: AkumaPaths): void;
+export declare class HeldAkumaLeash {
+    private readonly database;
+    private closed;
+    private constructor();
+    static try(paths: AkumaPaths): HeldAkumaLeash | null;
+    birth(paths: AkumaPaths, soul: Soul, session?: Omit<SessionFact, "sequence">): "born" | "already-born" | "sealed";
+    sealIfUnborn(paths: AkumaPaths, input: Readonly<{
+        evidence: string;
+        at: string;
+    }>): "born" | "sealed";
+    clearPause(paths: AkumaPaths): void;
+    settleStop(paths: AkumaPaths, expectedBodySequence?: number): Readonly<{
+        target: StopFact;
+        result: "recorded" | "already-killed";
+    }> | null;
+    recordInterruptTell(paths: AkumaPaths, tell: Omit<TellFact, "sequence" | "state" | "deliveries">): Readonly<{
+        kind: "not-born";
+    } | {
+        kind: "recorded";
+        tell: TellFact;
+    }>;
+    release(): void;
+}
+export declare function probeLeash(paths: AkumaPaths): LeashProbe;
+export declare function readSealFromLeash(paths: AkumaPaths): ReturnType<typeof sealFact>;

package/build/src/akuma/heart/storage.js

@@ -0,0 +1,164 @@
+import { DatabaseSync } from "node:sqlite";
+import { HEART_SCHEMA, LEASH_SCHEMA, assertHeartSchemaVersion, assertLeashSchemaVersion } from "./schema.js";
+import { deletePauseControl, deleteStopControl, insertKillFact, insertSealFact, insertSessionFact, insertSoulFact, killFactForBody, latestBodyFact, latestKillFact, sealExists, sealFact, soulFact, stopFact, } from "./rows.js";
+import { insertTellFact } from "./tells.js";
+import { pruneActivityFacts } from "./timeline.js";
+const ACTIVITY_LIMIT = 5_000;
+function isBusy(error) {
+    const value = error;
+    const message = String(value?.message ?? "").toLowerCase();
+    return value?.code === "ERR_SQLITE_BUSY" || value?.code === "ERR_SQLITE_LOCKED"
+        || value?.errcode === 5 || message.includes("database is locked") || message.includes("database is busy");
+}
+export function openHeart(path, verify = true) {
+    const database = new DatabaseSync(path);
+    database.exec("PRAGMA foreign_keys=ON; PRAGMA busy_timeout=5000; PRAGMA journal_mode=WAL");
+    if (verify)
+        assertHeartSchemaVersion(database);
+    return database;
+}
+export function withHeart(paths, body) {
+    const database = openHeart(paths.heart);
+    try {
+        return body(database);
+    }
+    finally {
+        database.close();
+    }
+}
+export function transaction(database, body) {
+    database.exec("BEGIN IMMEDIATE");
+    try {
+        const result = body();
+        database.exec("COMMIT");
+        return result;
+    }
+    catch (error) {
+        try {
+            database.exec("ROLLBACK");
+        }
+        catch { /* preserve the adjudication failure */ }
+        throw error;
+    }
+}
+export function initializeHeart(paths) {
+    const heart = openHeart(paths.heart, false);
+    try {
+        heart.exec(HEART_SCHEMA);
+        assertHeartSchemaVersion(heart);
+    }
+    finally {
+        heart.close();
+    }
+    const leash = new DatabaseSync(paths.leash);
+    try {
+        leash.exec(LEASH_SCHEMA);
+        assertLeashSchemaVersion(leash);
+    }
+    finally {
+        leash.close();
+    }
+}
+export class HeldAkumaLeash {
+    database;
+    closed = false;
+    constructor(database) {
+        this.database = database;
+    }
+    static try(paths) {
+        const database = new DatabaseSync(paths.leash, { timeout: 0 });
+        try {
+            assertLeashSchemaVersion(database);
+            database.exec("PRAGMA busy_timeout=0; BEGIN EXCLUSIVE");
+            return new HeldAkumaLeash(database);
+        }
+        catch (error) {
+            database.close();
+            if (isBusy(error))
+                return null;
+            throw error;
+        }
+    }
+    birth(paths, soul, session) {
+        if (sealExists(this.database))
+            return "sealed";
+        return withHeart(paths, (heart) => transaction(heart, () => {
+            if (soulFact(heart) !== null)
+                return "already-born";
+            insertSoulFact(heart, soul);
+            if (session !== undefined)
+                insertSessionFact(heart, session);
+            return "born";
+        }));
+    }
+    sealIfUnborn(paths, input) {
+        if (withHeart(paths, (heart) => soulFact(heart)) !== null)
+            return "born";
+        insertSealFact(this.database, input);
+        this.database.exec("COMMIT");
+        this.closed = true;
+        this.database.close();
+        return "sealed";
+    }
+    clearPause(paths) { withHeart(paths, deletePauseControl); }
+    settleStop(paths, expectedBodySequence) {
+        return withHeart(paths, (heart) => transaction(heart, () => {
+            const target = stopFact(heart);
+            if (target === null) {
+                if (expectedBodySequence === undefined)
+                    return null;
+                const existing = killFactForBody(heart, expectedBodySequence);
+                return existing === null ? null : { target: { bodySequence: expectedBodySequence, requestedAt: existing.at }, result: "already-killed" };
+            }
+            if (expectedBodySequence !== undefined && target.bodySequence !== expectedBodySequence) {
+                throw new Error("Akuma stop target changed while kill was in progress");
+            }
+            const latest = latestBodyFact(heart);
+            if (latest?.sequence !== target.bodySequence)
+                throw new Error("Akuma stop target is not the latest Body");
+            const result = latestKillFact(heart)?.bodySequence === target.bodySequence
+                ? "already-killed"
+                : (insertKillFact(heart, target.bodySequence, target.requestedAt), "recorded");
+            deleteStopControl(heart);
+            return { target, result };
+        }));
+    }
+    recordInterruptTell(paths, tell) {
+        return withHeart(paths, (heart) => transaction(heart, () => {
+            deletePauseControl(heart);
+            if (soulFact(heart) === null)
+                return { kind: "not-born" };
+            const sequence = insertTellFact(heart, tell);
+            pruneActivityFacts(heart, ACTIVITY_LIMIT);
+            return { kind: "recorded", tell: { sequence, ...tell, state: "pending", deliveries: [] } };
+        }));
+    }
+    release() {
+        if (this.closed)
+            return;
+        this.closed = true;
+        try {
+            this.database.exec("ROLLBACK");
+        }
+        finally {
+            this.database.close();
+        }
+    }
+}
+export function probeLeash(paths) {
+    const claim = HeldAkumaLeash.try(paths);
+    if (claim === null)
+        return "held";
+    claim.release();
+    return "free";
+}
+export function readSealFromLeash(paths) {
+    const leash = new DatabaseSync(paths.leash);
+    try {
+        assertLeashSchemaVersion(leash);
+        return sealFact(leash);
+    }
+    finally {
+        leash.close();
+    }
+}