@lmctl-ai/lmctl 0.1.178 → 0.1.180

package/dist/cli/schema.sql

@@ -793,3 +793,115 @@ CREATE TRIGGER IF NOT EXISTS trg_agent_mailbox_response_request_update
 BEGIN
   SELECT RAISE(ABORT, 'agent_mailbox response requires request_mailbox_id');
 END;
+
+-- v53: event-log message substrate (design:
+-- backlog/DESIGN-event-log-message-substrate-DRAFT.md §2/§4; impl plan:
+-- backlog/IMPL-PLAN-event-log-message-substrate.md Phase A). Additive only —
+-- no existing read/write path changes in this phase.
+--
+-- message_event is the append-only log. `seq` (not `ts`) is the ordering
+-- authority; `ts` is display/audit only. `event_id` is the idempotency key
+-- and MUST be deterministic from intent (hash of stream_id + event_type +
+-- observed projection last_seq — see src/db/event-log.ts), never a random
+-- per-attempt id. The generated sender/receiver columns are load-bearing
+-- (promoted from caveat by the low-level-primitives review): hot selectors
+-- cannot index json_extract() directly; they populate on CREATE/
+-- RESPONSE_CREATE payloads and are NULL for lease/invocation/terminal
+-- streams (json_extract returns NULL on a missing path).
+CREATE TABLE IF NOT EXISTS message_event (
+  seq         INTEGER PRIMARY KEY AUTOINCREMENT,
+  event_id    TEXT NOT NULL UNIQUE,
+  ts          TEXT NOT NULL,
+  stream_id   TEXT NOT NULL,
+  event_type  TEXT NOT NULL,
+  payload     TEXT NOT NULL CHECK(json_valid(payload)),
+  sender_teamfile   TEXT GENERATED ALWAYS AS (json_extract(payload, '$.sender.teamfile')) STORED,
+  sender_alias      TEXT GENERATED ALWAYS AS (json_extract(payload, '$.sender.alias')) STORED,
+  receiver_teamfile TEXT GENERATED ALWAYS AS (json_extract(payload, '$.receiver.teamfile')) STORED,
+  receiver_alias    TEXT GENERATED ALWAYS AS (json_extract(payload, '$.receiver.alias')) STORED
+);
+CREATE INDEX IF NOT EXISTS idx_message_event_stream ON message_event(stream_id, seq);
+CREATE INDEX IF NOT EXISTS idx_message_event_type   ON message_event(event_type, seq);
+CREATE INDEX IF NOT EXISTS idx_message_event_sender   ON message_event(sender_teamfile, sender_alias, seq);
+CREATE INDEX IF NOT EXISTS idx_message_event_receiver ON message_event(receiver_teamfile, receiver_alias, seq);
+
+-- Mutex + terminal occupancy projection. Will replace agent_inflight + the
+-- terminal-lock slice of runtime_state at cutover (Phase D). PK is the
+-- actual mutual-exclusion constraint. The terminal_invocation_* slice is
+-- dual-written by terminal-kind INVOCATION_START/HEARTBEAT/FINISH events so
+-- ALL THREE busy-check tiers resolve from this one row (the phantom-tolerant
+-- invocation_state below is never read by the busy check).
+CREATE TABLE IF NOT EXISTS agent_state (
+  receiver_teamfile TEXT NOT NULL,
+  receiver_alias    TEXT NOT NULL,
+  lease_id          TEXT UNIQUE,
+  sender_teamfile   TEXT,
+  sender_alias      TEXT,
+  holder_pid        INTEGER,
+  holder_host       TEXT,
+  started_at        TEXT,
+  last_heartbeat_at TEXT,
+  terminal_lock_id  TEXT UNIQUE,
+  terminal_invocation_id TEXT UNIQUE,
+  terminal_invocation_pid  INTEGER,
+  terminal_invocation_host TEXT,
+  terminal_invocation_heartbeat_at TEXT,
+  last_seq          INTEGER NOT NULL,
+  PRIMARY KEY(receiver_teamfile, receiver_alias)
+);
+
+-- One row per undelivered/unhandled message. Will replace the
+-- delivered_at/delivering_at slice of agent_mailbox. in_reply_to's UNIQUE
+-- enforces "one response per request" at the schema level.
+CREATE TABLE IF NOT EXISTS message_pending (
+  message_id        TEXT PRIMARY KEY,
+  message_type      TEXT NOT NULL CHECK(message_type IN ('request','response')),
+  in_reply_to       TEXT UNIQUE,
+  sender_teamfile   TEXT,
+  sender_alias      TEXT,
+  receiver_teamfile TEXT NOT NULL,
+  receiver_alias    TEXT NOT NULL,
+  lifecycle_state   TEXT NOT NULL,
+  delivery_lease_id TEXT,
+  delivery_holder_pid INTEGER,
+  created_seq       INTEGER NOT NULL,
+  last_seq          INTEGER NOT NULL
+);
+CREATE INDEX IF NOT EXISTS idx_message_pending_lane
+  ON message_pending(sender_teamfile, sender_alias, receiver_teamfile,
+                      receiver_alias, message_type, created_seq)
+  WHERE lifecycle_state = 'queued';
+
+-- Diagnostic/observability projection: "what is a process doing right now."
+-- Deliberately separate from agent_state (two correctness regimes): rows here
+-- are EXPECTED to go stale on hard kills (#88 capture gap) and are cleaned by
+-- a reconciliation probe, never consulted by the busy check.
+CREATE TABLE IF NOT EXISTS invocation_state (
+  invocation_id     TEXT PRIMARY KEY,
+  kind              TEXT NOT NULL,
+  origin            TEXT NOT NULL,
+  launch_source     TEXT NOT NULL,
+  from_identity     TEXT NOT NULL,
+  target_teamfile   TEXT,
+  target_alias      TEXT,
+  root_teamfile     TEXT,
+  cwd               TEXT,
+  command           TEXT,
+  request_message_id TEXT,
+  request_payload   TEXT,
+  holder_pid        INTEGER,
+  holder_host       TEXT,
+  status            TEXT NOT NULL,
+  started_at        TEXT NOT NULL,
+  last_heartbeat_at TEXT,
+  ended_at          TEXT,
+  result_summary    TEXT,
+  error             TEXT,
+  notified_by       TEXT,
+  notified_at       TEXT,
+  last_seq          INTEGER NOT NULL
+);
+CREATE INDEX IF NOT EXISTS idx_invocation_state_target_status
+  ON invocation_state(target_teamfile, target_alias, status, launch_source);
+CREATE INDEX IF NOT EXISTS idx_invocation_state_from_time
+  ON invocation_state(from_identity, started_at DESC);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lmctl-ai/lmctl",
-  "version": "0.1.178",
+  "version": "0.1.180",
   "description": "A provider-agnostic control plane for teams of AI coding agents — across providers, with independent review and durable memory.",
   "type": "module",
   "homepage": "https://lmctl.com",