opensquid 0.5.395

package/dist/workgraph/events.js

@@ -0,0 +1,90 @@
+/**
+ * Event-sourced work-graph op-log (T-WORKGRAPH-EVENTSOURCED slice 1d). Ops are the SOURCE OF
+ * TRUTH; `wg_issues`/`wg_edges` are projections folded from them. Grounded in prior-art research:
+ * git-bug's op-log + Lamport ordering; beads' deterministic content-derived edge ids (#4259).
+ *
+ * - `makeOpId` content-addresses an op over a CANONICAL (key-sorted) payload, so the id is
+ *   independent of object key insertion order; lamport keeps distinct emits distinct.
+ * - `edgeKey` is the deterministic edge identity with a unit-separator so ("ab","c") and
+ *   ("a","bc") never collide (`type` excluded — a re-typed edge is an update).
+ * - `applyOp` is the deterministic reducer: fold ONE op into the projection. Effectful on the DB
+ *   but deterministic given op order. Single-valued issue fields use LWW by lamport (`wg_issues.lww`
+ *   stores the lamport of the last writer); edges use idempotent upsert/delete by `edgeKey`.
+ *
+ * Imports from: node:crypto, @libsql/client, ./types.js.
+ * Imported by: src/workgraph/store.ts.
+ */
+import { createHash } from 'node:crypto';
+const UNIT_SEP = ''; // ASCII unit separator — cannot appear in ids
+/** Canonical (key-sorted) JSON so content-addressing is independent of key insertion order. */
+function canonicalJson(v) {
+    if (v === null || typeof v !== 'object')
+        return JSON.stringify(v) ?? 'null';
+    if (Array.isArray(v))
+        return `[${v.map(canonicalJson).join(',')}]`;
+    const obj = v;
+    return `{${Object.keys(obj)
+        .sort()
+        .map((k) => `${JSON.stringify(k)}:${canonicalJson(obj[k])}`)
+        .join(',')}}`;
+}
+/** Deterministic edge identity (beads #4259); unit-separated; `type` intentionally excluded. */
+export const edgeKey = (fromId, toId) => createHash('sha256').update(`${fromId}${UNIT_SEP}${toId}`).digest('hex').slice(0, 16);
+/** Content-addressed op id over a canonical payload; lamport keeps distinct emits distinct. */
+export const makeOpId = (type, payload, lamport) => 'op-' +
+    createHash('sha256')
+        .update(`${type}\n${String(lamport)}\n${canonicalJson(payload)}`)
+        .digest('hex')
+        .slice(0, 16);
+const s = (v) => (typeof v === 'string' ? v : '');
+/**
+ * Fold one op into the `wg_issues`/`wg_edges` projection. Deterministic given op order; safe to
+ * replay (idempotent for edges; LWW for issue fields via `wg_issues.lww`).
+ */
+export async function applyOp(client, op) {
+    const p = op.payload;
+    switch (op.type) {
+        case 'issue_created':
+            // created_at/updated_at = ISO ts (display); lww = lamport (the LWW stamp for issue_set).
+            await client.execute({
+                sql: `INSERT OR IGNORE INTO wg_issues (id, title, body, status, created_at, updated_at, lww)
+              VALUES (?, ?, ?, 'open', ?, ?, ?)`,
+                args: [op.issueId, s(p.title), s(p.body), s(p.ts), s(p.ts), op.lamport],
+            });
+            return;
+        case 'issue_set':
+            // LWW by lamport: a stale op (lower lww) is a no-op. updated_at carries the ISO ts.
+            await client.execute({
+                sql: `UPDATE wg_issues
+              SET title = COALESCE(?, title), body = COALESCE(?, body),
+                  status = COALESCE(?, status), updated_at = ?, lww = ?
+              WHERE id = ? AND lww <= ?`,
+                args: [
+                    p.title === undefined ? null : s(p.title),
+                    p.body === undefined ? null : s(p.body),
+                    p.status === undefined ? null : s(p.status),
+                    s(p.ts),
+                    op.lamport,
+                    op.issueId,
+                    op.lamport,
+                ],
+            });
+            return;
+        case 'dep_added':
+            // type is excluded from edge identity → a re-typed (from,to) edge UPDATES its type
+            // (last writer in replay order wins), so the upsert, not INSERT OR IGNORE.
+            await client.execute({
+                sql: `INSERT INTO wg_edges (edge_key, from_id, to_id, type) VALUES (?, ?, ?, ?)
+              ON CONFLICT(edge_key) DO UPDATE SET type = excluded.type`,
+                args: [edgeKey(s(p.from), s(p.to)), s(p.from), s(p.to), s(p.type)],
+            });
+            return;
+        case 'dep_removed':
+            await client.execute({
+                sql: `DELETE FROM wg_edges WHERE edge_key = ?`,
+                args: [edgeKey(s(p.from), s(p.to))],
+            });
+            return;
+    }
+}
+//# sourceMappingURL=events.js.map

package/dist/workgraph/events.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"events.js","sourceRoot":"","sources":["../../src/workgraph/events.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAMzC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,8CAA8C;AAEpE,+FAA+F;AAC/F,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;IAC5E,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACnE,MAAM,GAAG,GAAG,CAA4B,CAAC;IACzC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;SACxB,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3D,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC;AAED,gGAAgG;AAChG,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,IAAY,EAAU,EAAE,CAC9D,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,QAAQ,GAAG,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAExF,+FAA+F;AAC/F,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,OAAgB,EAAE,OAAe,EAAU,EAAE,CAClF,KAAK;IACL,UAAU,CAAC,QAAQ,CAAC;SACjB,MAAM,CAAC,GAAG,IAAI,KAAK,MAAM,CAAC,OAAO,CAAC,KAAK,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;SAChE,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAElB,MAAM,CAAC,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAEnE;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,MAAc,EAAE,EAAQ;IACpD,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,eAAe;YAClB,yFAAyF;YACzF,MAAM,MAAM,CAAC,OAAO,CAAC;gBACnB,GAAG,EAAE;gDACmC;gBACxC,IAAI,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC;aACxE,CAAC,CAAC;YACH,OAAO;QACT,KAAK,WAAW;YACd,oFAAoF;YACpF,MAAM,MAAM,CAAC,OAAO,CAAC;gBACnB,GAAG,EAAE;;;wCAG2B;gBAChC,IAAI,EAAE;oBACJ,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;oBACzC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACvC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC3C,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACP,EAAE,CAAC,OAAO;oBACV,EAAE,CAAC,OAAO;oBACV,EAAE,CAAC,OAAO;iBACX;aACF,CAAC,CAAC;YACH,OAAO;QACT,KAAK,WAAW;YACd,mFAAmF;YACnF,2EAA2E;YAC3E,MAAM,MAAM,CAAC,OAAO,CAAC;gBACnB,GAAG,EAAE;uEAC0D;gBAC/D,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACnE,CAAC,CAAC;YACH,OAAO;QACT,KAAK,aAAa;YAChB,MAAM,MAAM,CAAC,OAAO,CAAC;gBACnB,GAAG,EAAE,yCAAyC;gBAC9C,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;aACpC,CAAC,CAAC;YACH,OAAO;IACX,CAAC;AACH,CAAC"}

package/dist/workgraph/store.d.ts

@@ -0,0 +1,15 @@
+import type { WorkGraphStore } from './types.js';
+export declare function workGraphStore(opts: {
+    dbUrl: string;
+    sourceDir?: string;
+}): WorkGraphStore;
+/**
+ * Rebuild the projection from the per-op git source (the files are authoritative). Drops the
+ * projections + op table, replays every op file in (lamport, id) order, re-folding the projection.
+ * Idempotent cold-path maintenance (e.g. after a git pull/merge). Returns the op count.
+ */
+export declare function rebuildWorkGraph(opts: {
+    dbUrl: string;
+    sourceDir: string;
+}): Promise<number>;
+//# sourceMappingURL=store.d.ts.map

package/dist/workgraph/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/workgraph/store.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAsC,cAAc,EAAE,MAAM,YAAY,CAAC;AAoCrF,wBAAgB,cAAc,CAAC,IAAI,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,cAAc,CAqH1F;AAED;;;;GAIG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB,GAAG,OAAO,CAAC,MAAM,CAAC,CAoClB"}

package/dist/workgraph/store.js

@@ -0,0 +1,195 @@
+/**
+ * Event-sourced libSQL work-graph store (T-WORKGRAPH-EVENTSOURCED slice 1d). The op-log `wg_ops`
+ * (Lamport-ordered, content-hashed ids) is the SOURCE OF TRUTH — git-versioned as ONE FILE PER OP
+ * when `sourceDir` is set. `wg_issues`/`wg_edges` are PROJECTIONS folded by `applyOp` (rebuildable,
+ * never authoritative). Supersedes the 1c state-primary store via a clean cutover (drops the old
+ * `wg_events`; 1c is pre-release). Grounded in prior-art research: git-bug's op-log + Lamport
+ * ordering (never wall-clock), beads' deterministic content-derived edge keys (#4259).
+ *
+ * Imports from: node:crypto, node:fs/promises, node:path, @libsql/client,
+ *   ../storage/atomic_file.js, ./events.js, ./types.js.
+ */
+import { createHash } from 'node:crypto';
+import { readFile, readdir } from 'node:fs/promises';
+import { join } from 'node:path';
+import { createClient } from '@libsql/client';
+import { atomicWriteFile, safeRecordId } from '../storage/atomic_file.js';
+import { applyOp, makeOpId } from './events.js';
+const EDGE_TYPES = new Set(['blocks', 'parent-child', 'discovered-from', 'related']);
+const newIssueId = (title) => 'wg-' +
+    createHash('sha256')
+        .update(`${title}\n${String(Date.now())}\n${String(Math.random())}`)
+        .digest('hex')
+        .slice(0, 12);
+const str = (r, k) => (typeof r[k] === 'string' ? r[k] : '');
+const num = (v) => (typeof v === 'number' ? v : Number(v ?? 0));
+const toStatus = (s) => (s === 'in_progress' || s === 'closed' ? s : 'open');
+const rowToIssue = (r) => ({
+    id: str(r, 'id'),
+    title: str(r, 'title'),
+    body: str(r, 'body'),
+    status: toStatus(str(r, 'status')),
+    createdAt: str(r, 'created_at'),
+    updatedAt: str(r, 'updated_at'),
+});
+async function createSchema(client) {
+    await client.execute(`CREATE TABLE IF NOT EXISTS wg_ops (
+    id TEXT PRIMARY KEY, issue_id TEXT NOT NULL, lamport INTEGER NOT NULL,
+    type TEXT NOT NULL, payload TEXT NOT NULL, ts TEXT NOT NULL);`);
+    await client.execute(`CREATE TABLE IF NOT EXISTS wg_issues (
+    id TEXT PRIMARY KEY, title TEXT NOT NULL, body TEXT NOT NULL DEFAULT '',
+    status TEXT NOT NULL DEFAULT 'open', created_at TEXT NOT NULL, updated_at TEXT NOT NULL,
+    lww INTEGER NOT NULL DEFAULT 0);`);
+    await client.execute(`CREATE TABLE IF NOT EXISTS wg_edges (
+    edge_key TEXT PRIMARY KEY, from_id TEXT NOT NULL, to_id TEXT NOT NULL, type TEXT NOT NULL);`);
+    await client.execute(`DROP TABLE IF EXISTS wg_events;`); // clean cutover from the 1c state-primary store
+}
+export function workGraphStore(opts) {
+    let client = null;
+    let hwm = 0; // Lamport high-water mark
+    const db = () => {
+        if (!client)
+            throw new Error('workgraph: not initialized');
+        return client;
+    };
+    const getIssue = async (id) => {
+        const rs = await db().execute({ sql: 'SELECT * FROM wg_issues WHERE id = ?', args: [id] });
+        const row = rs.rows[0];
+        return row ? rowToIssue(row) : null;
+    };
+    // Append one op: file-first (git truth) when sourceDir set, then wg_ops, then fold the projection.
+    async function appendOp(issueId, type, payload) {
+        const lamport = ++hwm;
+        const ts = new Date().toISOString();
+        const fullPayload = { ...payload, ts };
+        const op = {
+            id: makeOpId(type, fullPayload, lamport),
+            issueId,
+            lamport,
+            type,
+            payload: fullPayload,
+        };
+        if (opts.sourceDir !== undefined) {
+            await atomicWriteFile(join(opts.sourceDir, `${safeRecordId(op.id)}.json`), JSON.stringify(op, null, 2));
+        }
+        await db().execute({
+            sql: 'INSERT INTO wg_ops (id, issue_id, lamport, type, payload, ts) VALUES (?, ?, ?, ?, ?, ?)',
+            args: [op.id, op.issueId, op.lamport, op.type, JSON.stringify(op.payload), ts],
+        });
+        await applyOp(db(), op);
+    }
+    return {
+        async init() {
+            client = createClient({ url: opts.dbUrl });
+            await createSchema(client);
+            const rs = await client.execute('SELECT COALESCE(MAX(lamport), 0) AS hwm FROM wg_ops');
+            hwm = num(rs.rows[0]?.hwm);
+        },
+        getIssue,
+        async createIssue({ title, body = '' }) {
+            const id = newIssueId(title);
+            await appendOp(id, 'issue_created', { title, body });
+            const issue = await getIssue(id);
+            if (issue === null)
+                throw new Error('workgraph: createIssue failed to project');
+            return issue;
+        },
+        async listIssues(filter) {
+            const rs = filter?.status !== undefined
+                ? await db().execute({
+                    sql: 'SELECT * FROM wg_issues WHERE status = ? ORDER BY created_at',
+                    args: [filter.status],
+                })
+                : await db().execute('SELECT * FROM wg_issues ORDER BY created_at');
+            return rs.rows.map(rowToIssue);
+        },
+        async updateIssue(id, patch) {
+            const cur = await getIssue(id);
+            if (cur === null)
+                throw new Error(`workgraph: no issue ${id}`);
+            const payload = {};
+            if (patch.title !== undefined)
+                payload.title = patch.title;
+            if (patch.body !== undefined)
+                payload.body = patch.body;
+            if (patch.status !== undefined)
+                payload.status = patch.status;
+            await appendOp(id, 'issue_set', payload);
+            const next = await getIssue(id);
+            if (next === null)
+                throw new Error('workgraph: updateIssue lost the issue');
+            return next;
+        },
+        async addEdge(fromId, toId, type) {
+            if (!EDGE_TYPES.has(type))
+                throw new Error(`workgraph: bad edge type ${type}`);
+            if (fromId === toId)
+                throw new Error('workgraph: self-edge rejected');
+            if ((await getIssue(fromId)) === null || (await getIssue(toId)) === null) {
+                throw new Error('workgraph: edge endpoint missing');
+            }
+            await appendOp(fromId, 'dep_added', { from: fromId, to: toId, type });
+        },
+        async listReady() {
+            const rs = await db().execute(`SELECT * FROM wg_issues WHERE status = 'open' AND id NOT IN (
+        SELECT e.to_id FROM wg_edges e JOIN wg_issues x ON x.id = e.from_id
+        WHERE e.type = 'blocks' AND x.status != 'closed') ORDER BY created_at`);
+            return rs.rows.map(rowToIssue);
+        },
+        async listEvents(issueId) {
+            const rs = await db().execute({
+                sql: 'SELECT id, issue_id, lamport, type, payload FROM wg_ops WHERE issue_id = ? ORDER BY lamport, id',
+                args: [issueId],
+            });
+            return rs.rows.map((r) => ({
+                id: str(r, 'id'),
+                issueId: str(r, 'issue_id'),
+                lamport: num(r.lamport),
+                type: str(r, 'type'),
+                payload: JSON.parse(str(r, 'payload') || '{}'),
+            }));
+        },
+    };
+}
+/**
+ * Rebuild the projection from the per-op git source (the files are authoritative). Drops the
+ * projections + op table, replays every op file in (lamport, id) order, re-folding the projection.
+ * Idempotent cold-path maintenance (e.g. after a git pull/merge). Returns the op count.
+ */
+export async function rebuildWorkGraph(opts) {
+    const client = createClient({ url: opts.dbUrl });
+    await client.execute('DROP TABLE IF EXISTS wg_ops');
+    await client.execute('DROP TABLE IF EXISTS wg_issues');
+    await client.execute('DROP TABLE IF EXISTS wg_edges');
+    await createSchema(client);
+    let files;
+    try {
+        files = (await readdir(opts.sourceDir)).filter((f) => f.endsWith('.json'));
+    }
+    catch {
+        client.close();
+        return 0;
+    }
+    const ops = [];
+    for (const f of files) {
+        ops.push(JSON.parse(await readFile(join(opts.sourceDir, f), 'utf8')));
+    }
+    ops.sort((a, b) => a.lamport - b.lamport || (a.id < b.id ? -1 : a.id > b.id ? 1 : 0));
+    for (const op of ops) {
+        await client.execute({
+            sql: 'INSERT OR IGNORE INTO wg_ops (id, issue_id, lamport, type, payload, ts) VALUES (?, ?, ?, ?, ?, ?)',
+            args: [
+                op.id,
+                op.issueId,
+                op.lamport,
+                op.type,
+                JSON.stringify(op.payload),
+                op.payload.ts ?? '',
+            ],
+        });
+        await applyOp(client, op);
+    }
+    client.close();
+    return ops.length;
+}
+//# sourceMappingURL=store.js.map

package/dist/workgraph/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/workgraph/store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAyB,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAErE,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE1E,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAIhD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAW,CAAC,QAAQ,EAAE,cAAc,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC,CAAC;AAE/F,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE,CAC3C,KAAK;IACL,UAAU,CAAC,QAAQ,CAAC;SACjB,MAAM,CAAC,GAAG,KAAK,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;SACnE,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAElB,MAAM,GAAG,GAAG,CAAC,CAAM,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAe,EAAE,CAAC,CAAC,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAClG,MAAM,UAAU,GAAG,CAAC,CAAM,EAAS,EAAE,CAAC,CAAC;IACrC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAChB,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC;IACtB,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAClC,SAAS,EAAE,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC;IAC/B,SAAS,EAAE,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC;CAChC,CAAC,CAAC;AAEH,KAAK,UAAU,YAAY,CAAC,MAAc;IACxC,MAAM,MAAM,CAAC,OAAO,CAAC;;kEAE2C,CAAC,CAAC;IAClE,MAAM,MAAM,CAAC,OAAO,CAAC;;;qCAGc,CAAC,CAAC;IACrC,MAAM,MAAM,CAAC,OAAO,CAAC;gGACyE,CAAC,CAAC;IAChG,MAAM,MAAM,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC,CAAC,gDAAgD;AAC3G,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAA2C;IACxE,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,0BAA0B;IACvC,MAAM,EAAE,GAAG,GAAW,EAAE;QACtB,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAC3D,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,KAAK,EAAE,EAAU,EAAyB,EAAE;QAC3D,MAAM,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,sCAAsC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,OAAO,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtC,CAAC,CAAC;IAEF,mGAAmG;IACnG,KAAK,UAAU,QAAQ,CACrB,OAAe,EACf,IAAkB,EAClB,OAAgC;QAEhC,MAAM,OAAO,GAAG,EAAE,GAAG,CAAC;QACtB,MAAM,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,GAAS;YACf,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC;YACxC,OAAO;YACP,OAAO;YACP,IAAI;YACJ,OAAO,EAAE,WAAW;SACrB,CAAC;QACF,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,eAAe,CACnB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,EACnD,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAC5B,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC;YACjB,GAAG,EAAE,yFAAyF;YAC9F,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;SAC/E,CAAC,CAAC;QACH,MAAM,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO;QACL,KAAK,CAAC,IAAI;YACR,MAAM,GAAG,YAAY,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3C,MAAM,YAAY,CAAC,MAAM,CAAC,CAAC;YAC3B,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,qDAAqD,CAAC,CAAC;YACvF,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7B,CAAC;QAED,QAAQ;QAER,KAAK,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE;YACpC,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAC7B,MAAM,QAAQ,CAAC,EAAE,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACrD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,KAAK,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YAChF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,CAAC,UAAU,CAAC,MAAM;YACrB,MAAM,EAAE,GACN,MAAM,EAAE,MAAM,KAAK,SAAS;gBAC1B,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC;oBACjB,GAAG,EAAE,8DAA8D;oBACnE,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;iBACtB,CAAC;gBACJ,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;YACxE,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjC,CAAC;QAED,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK;YACzB,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC/B,IAAI,GAAG,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;YAC/D,MAAM,OAAO,GAA4B,EAAE,CAAC;YAC5C,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;gBAAE,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;YAC3D,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;YACxD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;YAC9D,MAAM,QAAQ,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YACzC,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,IAAI,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC5E,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI;YAC9B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;YAC/E,IAAI,MAAM,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACtE,IAAI,CAAC,MAAM,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACzE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;YACtD,CAAC;YACD,MAAM,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACxE,CAAC;QAED,KAAK,CAAC,SAAS;YACb,MAAM,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC;;8EAE0C,CAAC,CAAC;YAC1E,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjC,CAAC;QAED,KAAK,CAAC,UAAU,CAAC,OAAO;YACtB,MAAM,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC;gBAC5B,GAAG,EAAE,iGAAiG;gBACtG,IAAI,EAAE,CAAC,OAAO,CAAC;aAChB,CAAC,CAAC;YACH,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAChB,CAAC,CAAC,EAAQ,EAAE,CAAC,CAAC;gBACZ,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;gBAChB,OAAO,EAAE,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC;gBAC3B,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;gBACvB,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAiB;gBACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,IAAI,IAAI,CAA4B;aAC1E,CAAC,CACH,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,IAGtC;IACC,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACjD,MAAM,MAAM,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACpD,MAAM,MAAM,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;IACvD,MAAM,MAAM,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IACtD,MAAM,YAAY,CAAC,MAAM,CAAC,CAAC;IAE3B,IAAI,KAAe,CAAC;IACpB,IAAI,CAAC;QACH,KAAK,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7E,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAS,CAAC,CAAC;IAChF,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtF,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,MAAM,CAAC,OAAO,CAAC;YACnB,GAAG,EAAE,mGAAmG;YACxG,IAAI,EAAE;gBACJ,EAAE,CAAC,EAAE;gBACL,EAAE,CAAC,OAAO;gBACV,EAAE,CAAC,OAAO;gBACV,EAAE,CAAC,IAAI;gBACP,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,CAAC;gBACzB,EAAE,CAAC,OAA2B,CAAC,EAAE,IAAI,EAAE;aACzC;SACF,CAAC,CAAC;QACH,MAAM,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,CAAC;IACf,OAAO,GAAG,CAAC,MAAM,CAAC;AACpB,CAAC"}

package/dist/workgraph/types.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Work-graph types (T-WORKGRAPH-CORE, rewrite Phase 1 slice 1c) — the beads-style dependency
+ * graph. `status` is `open|in_progress|closed` ONLY; "blocked" is NOT a stored status — it is
+ * DERIVED from `blocks` edges (an open issue with an un-closed blocker is absent from
+ * `listReady`). One source of truth (the edges) — no redundant/drift-prone state.
+ *
+ * Imported by: src/workgraph/store.ts.
+ */
+export type EdgeType = 'blocks' | 'parent-child' | 'discovered-from' | 'related';
+export type IssueStatus = 'open' | 'in_progress' | 'closed';
+export interface Issue {
+    id: string;
+    title: string;
+    body: string;
+    status: IssueStatus;
+    createdAt: string;
+    updatedAt: string;
+}
+/** Event-sourced op-log types (slice 1d). Ops are the source of truth; issues/edges are folded. */
+export type WgOpType = 'issue_created' | 'issue_set' | 'dep_added' | 'dep_removed';
+export interface WgOp {
+    id: string;
+    issueId: string;
+    lamport: number;
+    type: WgOpType;
+    payload: Record<string, unknown>;
+}
+export interface WorkGraphStore {
+    init(): Promise<void>;
+    createIssue(input: {
+        title: string;
+        body?: string;
+    }): Promise<Issue>;
+    getIssue(id: string): Promise<Issue | null>;
+    listIssues(filter?: {
+        status?: IssueStatus;
+    }): Promise<Issue[]>;
+    updateIssue(id: string, patch: {
+        status?: IssueStatus;
+        title?: string;
+        body?: string;
+    }): Promise<Issue>;
+    addEdge(fromId: string, toId: string, type: EdgeType): Promise<void>;
+    /** Open issues with no un-closed `blocks` blocker, oldest-first (a deterministic queue). */
+    listReady(): Promise<Issue[]>;
+    /** The append-only op-log for an issue, in (lamport, id) order. */
+    listEvents(issueId: string): Promise<WgOp[]>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/workgraph/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/workgraph/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,cAAc,GAAG,iBAAiB,GAAG,SAAS,CAAC;AAEjF,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,aAAa,GAAG,QAAQ,CAAC;AAE5D,MAAM,WAAW,KAAK;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,mGAAmG;AACnG,MAAM,MAAM,QAAQ,GAAG,eAAe,GAAG,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;AAEnF,MAAM,WAAW,IAAI;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACtB,WAAW,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACrE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC;IAC5C,UAAU,CAAC,MAAM,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,WAAW,CAAA;KAAE,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IAChE,WAAW,CACT,EAAE,EAAE,MAAM,EACV,KAAK,EAAE;QAAE,MAAM,CAAC,EAAE,WAAW,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,GAC7D,OAAO,CAAC,KAAK,CAAC,CAAC;IAClB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACrE,4FAA4F;IAC5F,SAAS,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IAC9B,mEAAmE;IACnE,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;CAC9C"}

package/dist/workgraph/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/workgraph/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/workgraph/types.ts"],"names":[],"mappings":""}

package/docs/load-budget.md

@@ -0,0 +1,98 @@
+# Load-budget audit (T-CTX-LOOP CTX.6)
+
+**Date:** 2026-05-29
+**Source:** docs/tasks/T-ctx-loop.md CTX.6; user 2026-05-29 locks:
+
+- _"load/unload context feature is to help focus agents on the current goals"_
+- _"it is also to reduce tokens as well"_
+- _"per work we need load/unload context that is correct"_ (per-task unit)
+- _"memory load/unload is part of the memory consolidation"_ (integrated cycle)
+
+## The principle
+
+For each resource carried in the per-turn working set, bias the working set
+toward "satisfies current goal" and away from "doesn't." Load/unload is the
+READ side of the same loop whose WRITE side is consolidation: CTX.0 verify,
+CMP.4 compression, MAU.3 reconcile. Drift = the loop breaking at any
+position.
+
+## Per-resource audit table
+
+| Resource                              | Cost per turn (est)          | Load decision                                                                                      | Consolidation tie-in                                                                           | Gap                                                       |
+| ------------------------------------- | ---------------------------- | -------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------- | --------------------------------------------------------- |
+| Global `~/.claude/CLAUDE.md` mind-map | ~360 tokens                  | Harness auto-load turn 1                                                                           | CTX.4 detects new project → propose addition via CTX.0 gate                                    | None — CTX.1 + CTX.4 close the loop                       |
+| Local `MEMORY.md` mind-map            | ~290 tokens                  | Harness auto-load turn 1                                                                           | CTX.2 mind-map-staleness-prompt at session-end → propose updates via CTX.0 gate                | None — CTX.1 + CTX.2 close the loop                       |
+| RAG recall (per turn)                 | up to 4000 tokens (cap)      | CTX.3 goal-token query composition + applyHitBudget (score + token-budget)                         | MAU.3 flushes verified writes to RAG; CMP.4 compresses verified-satisfied groups               | None                                                      |
+| Pack skills (preload)                 | ~10 skills × small footprint | `Skill.load: preload` + `requires:` precondition (skill skipped silently when not applicable)      | Skills define WHEN their rule fires; conditional firing = unload-equivalent at evaluation time | T-WGRP-2 (regex flag-form bypass surfaced VOCAB.1) queued |
+| Pack skills (lazy)                    | 0 when trigger absent        | `Skill.load: lazy` + `when_to_load: tool_match`/`file_glob` matchers                               | Same as preload                                                                                | None                                                      |
+| Hook output (`additionalContext`)     | variable                     | Composed inline at user-prompt-submit from contextInjections + directives + CTX.4 new-project line | None at write side; READ-side surface only                                                     | None                                                      |
+| MCP tool definitions                  | harness-fixed, ~7 tools      | Harness-managed; opaque to opensquid                                                               | N/A                                                                                            | N/A (out of opensquid's reach)                            |
+| Conversation backlog                  | harness-managed              | Harness summarizer                                                                                 | N/A                                                                                            | Out of opensquid's reach                                  |
+
+## Per-task load/unload boundary (user lock 2026-05-29)
+
+Each task is its own load/unload boundary. The architectural map:
+
+```
+TaskUpdate(in_progress)  ────────────────►  LOAD-side at task start
+                                              - active-task.json mirror seeds
+                                              - recall query (CTX.3) prefixes
+                                                with new task.subject + taskId
+                                              - pack skills' requires: re-eval
+                                                against new state
+
+work happens (7-phase per CTX.1 workflow)
+                                              consolidation candidates accumulate
+                                              in wedge automation_buffer
+
+TaskUpdate(completed)    ────────────────►  WRITE-side at task end
+                                              - task-completion-consolidate
+                                                skill (CTX.2) surfaces
+                                                "consolidate this task's
+                                                learnings via memorize?"
+                                              - agent proposes candidates,
+                                                user verbatim-confirms,
+                                                CTX.0 gate writes
+                                              - active-task.json clears or
+                                                archives
+```
+
+The LOAD-side at task START is partly wired (CTX.3's goal-token reads the
+new active-task immediately). What's NOT wired explicitly: a task-start
+directive analogous to CTX.2's task-completion-consolidate that says
+"a new task is starting; consider what context to drop from the working
+set" + a session-state nudge for the agent to re-focus. Queued as
+**T-TASK-START-FOCUS** follow-up.
+
+## Primitives shipped (CTX.6)
+
+### `applyHitBudget<T>(items, minScore, maxTokens) → {kept, truncated}`
+
+Pure helper at `src/runtime/load_budget.ts`. Generic over any
+`BudgetableItem` (score + tokenCost). Score-filters cheap first, then
+whole-item-granular accumulates by tokenCost until budget exhausted.
+First consumer: `recall_pre_inject` (the RAG hit selector, previously
+inlined as `selectHitsForInjection`). Future resources that need
+score+budget truncation reuse this primitive.
+
+## Queued follow-up tracks
+
+- **T-TASK-START-FOCUS** — task-start LOAD-side directive (analogue of
+  CTX.2's task-completion-consolidate, but firing at TaskUpdate(in_progress)
+  to surface "re-focus the working set toward this new goal")
+- **T-WGRP-2** (queued during VOCAB.1 follow-up commit) — workflow gate
+  regex precision phase 2 to handle `git -c <flag> commit` form
+- **T-POSTPUSH** — verify-CI-after-push enforcement (needs PostToolUse hook
+  surface)
+
+## What this gives the user (e+a frame)
+
+- Per-turn cost stays bounded because every consumed resource passes through
+  a score + budget filter (recall ships this; others have hook-time
+  composition limits)
+- Focus stays sharp because each per-task boundary re-evaluates what's
+  worth carrying forward
+- Drift gets caught because consolidation requires verbatim confirmation
+  before anything becomes durable
+- The loop is one architectural principle applied across surfaces, not
+  multiple disconnected gates