@astrosheep/keiyaku 4.0.0 → 4.0.1

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

@@ -1,3 +1,4 @@
+import { decodeResumeCoordinate, encodeResumeCoordinate as encodeCoordinate } from "../coordinate.js";
 function json(value) {
     return JSON.stringify(value);
 }
@@ -6,6 +7,12 @@ function parsed(value) {
         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,
@@ -33,16 +40,16 @@ export function decodeSoulRow(row) {
     };
 }
 export function encodeSessionRow(session) {
-    return [session.provider, json(session.coordinate), session.cwd, json(session.options), session.admittedAt];
+    return [session.provider, encodeResumeCoordinate(session.coordinate), session.cwd, json(session.options), session.admittedAt];
 }
 export function encodeResumeCoordinate(coordinate) {
-    return json(coordinate);
+    return json(encodeCoordinate(coordinate));
 }
 export function decodeSessionRow(row) {
     return {
         sequence: row.sequence,
         provider: row.provider,
-        coordinate: parsed(row.coordinate_json),
+        coordinate: resumeCoordinate(parsed(row.coordinate_json)),
         cwd: row.cwd,
         options: parsed(row.options_json),
         admittedAt: row.admitted_at,
@@ -58,22 +65,32 @@ export function decodeBodyRow(row) {
     };
 }
 export function decodeTurnRow(row) {
-    return {
+    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: parsed(row.session_json),
+                session: resumeCoordinate(parsed(row.session_json)),
                 answer: row.answer,
             }
             : { kind: "failed", diagnostic: row.diagnostic },
         completedAt: row.completed_at,
     };
+    return { ...start, end };
 }
-export function decodeTellRow(row) {
-    return { id: row.id, body: row.body, state: row.state, recordedAt: row.recorded_at };
+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 = {
@@ -99,18 +116,13 @@ export function encodeActivityEvent(event) {
 }
 export function decodeActivityRow(row) {
     return {
+        kind: "activity",
         sequence: row.sequence,
-        bodySequence: row.body_sequence,
+        turnSequence: row.turn_sequence,
         event: parsed(row.event_json),
         at: row.at,
     };
 }
-export function encodeDeathRow(death) {
-    return json({ evidence: death.evidence });
-}
-export function decodeDeathRow(row) {
-    return { evidence: parsed(row.value_json).evidence, 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();
@@ -130,6 +142,9 @@ export function insertSealFact(database, input) {
 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 };
@@ -145,53 +160,10 @@ export function insertSessionFact(database, input) {
     return Number(result.lastInsertRowid);
 }
 export function insertActivityFact(database, input) {
-    const result = database.prepare("INSERT INTO activity(body_sequence, event_json, at) VALUES (?, ?, ?)")
-        .run(input.bodySequence, encodeActivityEvent(input.event), input.at);
-    return Number(result.lastInsertRowid);
-}
-export function pruneActivityFacts(database, limit) {
-    database.prepare(`DELETE FROM activity
-    WHERE sequence NOT IN (SELECT sequence FROM activity ORDER BY sequence DESC LIMIT ?)`)
-        .run(limit);
-}
-export function activityFactSlice(database, input) {
-    const bounds = database.prepare("SELECT MIN(sequence) AS lowest, MAX(sequence) AS highest FROM activity")
-        .get();
-    let rows;
-    if (input.before !== undefined) {
-        rows = database.prepare(`SELECT sequence, body_sequence, event_json, at FROM (
-      SELECT sequence, body_sequence, event_json, at FROM activity
-      WHERE sequence < ? ORDER BY sequence DESC LIMIT ?
-    ) ORDER BY sequence`).all(input.before, input.limit);
-    }
-    else if (input.since !== undefined) {
-        rows = database.prepare(`SELECT sequence, body_sequence, event_json, at FROM activity
-      WHERE sequence > ? ORDER BY sequence LIMIT ?`).all(input.since, input.limit);
-    }
-    else {
-        rows = database.prepare(`SELECT sequence, body_sequence, event_json, at FROM (
-      SELECT sequence, body_sequence, event_json, at FROM activity ORDER BY sequence DESC LIMIT ?
-    ) ORDER BY sequence`).all(input.limit);
-    }
-    return {
-        rows: rows.map(decodeActivityRow),
-        lowestRetained: bounds.lowest,
-        highest: bounds.highest,
-    };
-}
-export function deathExists(database) {
-    return database.prepare("SELECT kind FROM control WHERE kind = 'death'").get() !== undefined;
-}
-export function insertTellFact(database, tell) {
-    database.prepare(`INSERT INTO tells(id, body, state, recorded_at)
-    VALUES (?, ?, 'recorded', ?)`).run(tell.id, tell.body, tell.recordedAt);
-}
-export function tellState(database, id) {
-    const row = database.prepare("SELECT state FROM tells WHERE id = ?").get(id);
-    return row?.state ?? null;
-}
-export function updateTellState(database, id, state) {
-    database.prepare("UPDATE tells SET state = ? WHERE id = ?").run(state, id);
+    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`;
@@ -224,47 +196,55 @@ 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, at) {
-    database.prepare("INSERT OR IGNORE INTO control(kind, value_json, at) VALUES ('stop', '{}', ?)").run(at);
+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 stopExists(database) {
-    return database.prepare("SELECT kind FROM control WHERE kind = 'stop'").get() !== undefined;
+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 deleteAbandonedControls(database) {
-    database.prepare("DELETE FROM control WHERE kind IN ('stop', 'pause')").run();
-}
-export function insertDeathFact(database, death) {
-    database.prepare("INSERT INTO control(kind, value_json, at) VALUES ('death', ?, ?)")
-        .run(encodeDeathRow(death), death.at);
-}
-export function voidTellsByDeath(database) {
-    database.prepare("UPDATE tells SET state = 'voided-by-death' WHERE state NOT IN ('consumed', 'voided-by-death')").run();
-}
-export function voidRequestsByDeath(database, evidence) {
-    database.prepare(`UPDATE requests SET state = 'voided',
-    evidence = CASE WHEN child IS NULL THEN ? ELSE ? || '; child=' || child END,
-    child = NULL
-    WHERE state IN ('admitted', 'reserved')`).run(evidence, evidence);
+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 insertAnsweredTurnFact(database, input) {
-    const result = database.prepare(`INSERT INTO turns(body_sequence, outcome, history_id, session_json, answer, completed_at)
-    VALUES (?, 'answered', ?, ?, ?, ?)`).run(input.bodySequence, input.outcome.historyId, encodeResumeCoordinate(input.outcome.session), input.outcome.answer, input.completedAt);
-    return Number(result.lastInsertRowid);
-}
-export function insertFailedTurnFact(database, input) {
-    const result = database.prepare(`INSERT INTO turns(body_sequence, outcome, diagnostic, completed_at)
-    VALUES (?, 'failed', ?, ?)`).run(input.bodySequence, input.outcome.diagnostic, input.completedAt);
-    return Number(result.lastInsertRowid);
+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")
@@ -286,34 +266,34 @@ export function sessionFactForCoordinate(database, coordinate) {
         .get(encodeResumeCoordinate(coordinate));
     return row === undefined ? null : decodeSessionRow(row);
 }
-export function pendingTellFacts(database) {
-    const rows = database.prepare(`SELECT id, body, state, recorded_at FROM tells
-    WHERE state NOT IN ('consumed', 'voided-by-death') ORDER BY recorded_at, id`)
-        .all();
-    return rows.map(decodeTellRow);
-}
-export function deathFact(database) {
-    const row = database.prepare("SELECT value_json, at FROM control WHERE kind = 'death'").get();
-    return row === undefined ? null : decodeDeathRow(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 historyFacts(database) {
-    const rows = database.prepare(`SELECT sequence, body_sequence, outcome, history_id, session_json,
-    answer, diagnostic, completed_at FROM turns ORDER BY sequence`).all();
-    return rows.map(decodeTurnRow);
+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, outcome, history_id, session_json,
-    answer, diagnostic, completed_at FROM turns WHERE outcome = 'answered' ORDER BY sequence DESC LIMIT 1`)
+    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 latestTurnFact(database) {
-    const row = database.prepare(`SELECT sequence, body_sequence, outcome, history_id, session_json,
-    answer, diagnostic, completed_at FROM turns ORDER BY sequence DESC LIMIT 1`).get();
-    return row === undefined ? null : decodeTurnRow(row);
-}
 export function answeredTurnFact(database, historyId) {
-    const row = database.prepare(`SELECT sequence, body_sequence, outcome, history_id, session_json,
-    answer, diagnostic, completed_at FROM turns WHERE outcome = 'answered' AND history_id = ?`).get(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

@@ -1,5 +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 = 6)\n  ) STRICT;\n  INSERT OR IGNORE INTO akuma_schema(singleton, version) VALUES (1, 6);\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 AUTOINCREMENT,\n    body_sequence INTEGER NOT NULL REFERENCES bodies(sequence),\n    outcome TEXT NOT NULL 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 NOT NULL,\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    )\n  ) STRICT;\n  CREATE TABLE IF NOT EXISTS activity (\n    sequence INTEGER PRIMARY KEY AUTOINCREMENT,\n    body_sequence INTEGER NOT NULL REFERENCES bodies(sequence),\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    body TEXT NOT NULL,\n    state TEXT NOT NULL CHECK (state IN ('recorded', 'delivered', 'seen', 'consumed', 'voided-by-death')),\n    recorded_at TEXT NOT NULL\n  ) STRICT;\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', 'death')),\n    value_json TEXT NOT NULL CHECK (json_valid(value_json)),\n    at TEXT NOT NULL\n  ) STRICT;\n";
+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

@@ -1,4 +1,4 @@
-const HEART_SCHEMA_VERSION = 6;
+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();
@@ -47,31 +47,72 @@ export const HEART_SCHEMA = `
     admitted_at TEXT NOT NULL
   ) STRICT;
   CREATE TABLE IF NOT EXISTS turns (
-    sequence INTEGER PRIMARY KEY AUTOINCREMENT,
+    sequence INTEGER PRIMARY KEY REFERENCES timeline(sequence) ON DELETE CASCADE,
     body_sequence INTEGER NOT NULL REFERENCES bodies(sequence),
-    outcome TEXT NOT NULL CHECK (outcome IN ('answered', 'failed')),
+    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 NOT NULL,
+    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 activity (
+  CREATE TABLE IF NOT EXISTS timeline (
     sequence INTEGER PRIMARY KEY AUTOINCREMENT,
-    body_sequence INTEGER NOT NULL REFERENCES bodies(sequence),
+    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,
-    state TEXT NOT NULL CHECK (state IN ('recorded', 'delivered', 'seen', 'consumed', 'voided-by-death')),
     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,
@@ -93,10 +134,16 @@ export const HEART_SCHEMA = `
     )
   ) STRICT;
   CREATE TABLE IF NOT EXISTS control (
-    kind TEXT PRIMARY KEY CHECK (kind IN ('stop', 'pause', 'death')),
+    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;

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();
+    }
+}

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

@@ -0,0 +1,12 @@
+import type { DatabaseSync } from "node:sqlite";
+import type { TellDeliveryInput, TellFact, TellReceiptInput } from "./facts.js";
+export declare const tellStateSql = "CASE\n  WHEN EXISTS (\n    SELECT 1 FROM tell_deliveries d\n    WHERE d.tell_id = tells.id AND (d.route = 'launch' OR d.receipt = 'unavailable')\n  ) THEN 'told'\n  WHEN EXISTS (SELECT 1 FROM tell_receipts r WHERE r.evidence = 'exact' AND r.tell_id = tells.id) THEN 'told'\n  WHEN EXISTS (\n    SELECT 1 FROM tell_receipts r\n    JOIN tell_deliveries d ON d.turn_sequence = r.turn_sequence AND d.fence = r.fence\n    WHERE r.evidence = 'fence' AND d.tell_id = tells.id\n  ) THEN 'told'\n  ELSE 'pending'\nEND";
+export declare const pendingTellSequencesSql = "SELECT tells.sequence FROM tells WHERE CASE\n  WHEN EXISTS (\n    SELECT 1 FROM tell_deliveries d\n    WHERE d.tell_id = tells.id AND (d.route = 'launch' OR d.receipt = 'unavailable')\n  ) THEN 'told'\n  WHEN EXISTS (SELECT 1 FROM tell_receipts r WHERE r.evidence = 'exact' AND r.tell_id = tells.id) THEN 'told'\n  WHEN EXISTS (\n    SELECT 1 FROM tell_receipts r\n    JOIN tell_deliveries d ON d.turn_sequence = r.turn_sequence AND d.fence = r.fence\n    WHERE r.evidence = 'fence' AND d.tell_id = tells.id\n  ) THEN 'told'\n  ELSE 'pending'\nEND = 'pending'";
+export declare const pendingTellProtectionSql = "SELECT d.turn_sequence FROM tell_deliveries d\n  JOIN tells ON tells.id = d.tell_id WHERE CASE\n  WHEN EXISTS (\n    SELECT 1 FROM tell_deliveries d\n    WHERE d.tell_id = tells.id AND (d.route = 'launch' OR d.receipt = 'unavailable')\n  ) THEN 'told'\n  WHEN EXISTS (SELECT 1 FROM tell_receipts r WHERE r.evidence = 'exact' AND r.tell_id = tells.id) THEN 'told'\n  WHEN EXISTS (\n    SELECT 1 FROM tell_receipts r\n    JOIN tell_deliveries d ON d.turn_sequence = r.turn_sequence AND d.fence = r.fence\n    WHERE r.evidence = 'fence' AND d.tell_id = tells.id\n  ) THEN 'told'\n  ELSE 'pending'\nEND = 'pending'";
+export declare function decodeTellAtSequence(database: DatabaseSync, sequence: number): TellFact;
+export declare function insertTellFact(database: DatabaseSync, tell: Omit<TellFact, "sequence" | "state" | "deliveries">): number;
+export declare function tellFact(database: DatabaseSync, id: string): TellFact | null;
+export declare function insertTellDeliveryFact(database: DatabaseSync, input: TellDeliveryInput): void;
+export declare function insertTellReceiptFact(database: DatabaseSync, input: TellReceiptInput): void;
+export declare function tellIdsForFence(database: DatabaseSync, turnSequence: number, fence: string): readonly string[];
+export declare function pendingTellFacts(database: DatabaseSync): readonly TellFact[];