@jamesaphoenix/tx-core 0.8.1 → 0.9.0

package/dist/repo/spec-trace-repo.js

@@ -0,0 +1,323 @@
+import { Context, Effect, Layer } from "effect";
+import { SqliteClient } from "../db.js";
+import { DatabaseError, EntityFetchError } from "../errors.js";
+import { rowToSpecSignoff, rowToSpecTest, rowToSpecTestRun } from "../mappers/spec-trace.js";
+import { buildInvariantFilterSql } from "./spec-trace-repo.filter.js";
+export class SpecTraceRepository extends Context.Tag("SpecTraceRepository")() {
+}
+export const SpecTraceRepositoryLive = Layer.effect(SpecTraceRepository, Effect.gen(function* () {
+    const db = yield* SqliteClient;
+    const runImmediateTransaction = (body) => {
+        db.exec("BEGIN IMMEDIATE");
+        try {
+            const value = body();
+            db.exec("COMMIT");
+            return { ok: true, value };
+        }
+        catch (error) {
+            try {
+                db.exec("ROLLBACK");
+            }
+            catch {
+                // no-op
+            }
+            return { ok: false, error };
+        }
+    };
+    return {
+        upsertSpecTest: (input) => Effect.try({
+            try: () => {
+                db.prepare(`INSERT INTO spec_tests (invariant_id, test_id, test_file, test_name, framework, discovery)
+               VALUES (?, ?, ?, ?, ?, ?)
+               ON CONFLICT(invariant_id, test_id) DO UPDATE SET
+                 test_file = excluded.test_file,
+                 test_name = excluded.test_name,
+                 framework = excluded.framework,
+                 discovery = excluded.discovery,
+                 updated_at = datetime('now')`).run(input.invariantId, input.testId, input.testFile, input.testName, input.framework, input.discovery);
+                const row = db.prepare(`SELECT * FROM spec_tests WHERE invariant_id = ? AND test_id = ?`).get(input.invariantId, input.testId);
+                if (!row) {
+                    throw new EntityFetchError({
+                        entity: "spec_test",
+                        id: `${input.invariantId}:${input.testId}`,
+                        operation: "insert",
+                    });
+                }
+                return rowToSpecTest(row);
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        deleteSpecTest: (invariantId, testId) => Effect.try({
+            try: () => {
+                const result = db.prepare("DELETE FROM spec_tests WHERE invariant_id = ? AND test_id = ?").run(invariantId, testId);
+                return result.changes > 0;
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        findSpecTestsByInvariant: (invariantId) => Effect.try({
+            try: () => {
+                const rows = db.prepare("SELECT * FROM spec_tests WHERE invariant_id = ? ORDER BY test_id").all(invariantId);
+                return rows.map(rowToSpecTest);
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        findSpecTestsByInvariantIds: (invariantIds) => Effect.try({
+            try: () => {
+                if (invariantIds.length === 0)
+                    return [];
+                const placeholders = invariantIds.map(() => "?").join(", ");
+                const rows = db.prepare(`SELECT * FROM spec_tests WHERE invariant_id IN (${placeholders}) ORDER BY invariant_id, test_id`).all(...invariantIds);
+                return rows.map(rowToSpecTest);
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        findSpecTestsByTestId: (testId) => Effect.try({
+            try: () => {
+                const rows = db.prepare("SELECT * FROM spec_tests WHERE test_id = ? ORDER BY invariant_id").all(testId);
+                return rows.map(rowToSpecTest);
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        findSpecTestsByTestIds: (testIds) => Effect.try({
+            try: () => {
+                if (testIds.length === 0)
+                    return new Map();
+                const placeholders = testIds.map(() => "?").join(", ");
+                const rows = db.prepare(`SELECT * FROM spec_tests WHERE test_id IN (${placeholders}) ORDER BY test_id, invariant_id`).all(...testIds);
+                const result = new Map();
+                for (const row of rows) {
+                    const mapped = rowToSpecTest(row);
+                    const current = result.get(mapped.testId) ?? [];
+                    current.push(mapped);
+                    result.set(mapped.testId, current);
+                }
+                return result;
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        findSpecTestsByTestName: (testName) => Effect.try({
+            try: () => {
+                const rows = db.prepare("SELECT * FROM spec_tests WHERE test_name = ? ORDER BY invariant_id").all(testName);
+                return rows.map(rowToSpecTest);
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        syncDiscoveredSpecTests: ({ rows, invariantIds }) => Effect.gen(function* () {
+            if (invariantIds.length === 0) {
+                return { upserted: 0, pruned: 0 };
+            }
+            const runSync = yield* Effect.try({
+                try: () => {
+                    const keepKeys = new Set();
+                    for (const row of rows) {
+                        keepKeys.add(`${row.invariantId}::${row.testId}`);
+                    }
+                    const upsert = db.prepare(`INSERT INTO spec_tests (invariant_id, test_id, test_file, test_name, framework, discovery)
+               VALUES (?, ?, ?, ?, ?, ?)
+               ON CONFLICT(invariant_id, test_id) DO UPDATE SET
+                 test_file = excluded.test_file,
+                 test_name = excluded.test_name,
+                 framework = excluded.framework,
+                 discovery = excluded.discovery,
+                 updated_at = datetime('now')`);
+                    const placeholder = invariantIds.map(() => "?").join(", ");
+                    const selectAuto = db.prepare(`SELECT invariant_id, test_id
+               FROM spec_tests
+               WHERE invariant_id IN (${placeholder})
+                 AND discovery IN ('tag', 'comment', 'manifest')`);
+                    const deleteByKey = db.prepare("DELETE FROM spec_tests WHERE invariant_id = ? AND test_id = ?");
+                    const transaction = runImmediateTransaction(() => {
+                        for (const row of rows) {
+                            upsert.run(row.invariantId, row.testId, row.testFile, row.testName, row.framework, row.discovery);
+                        }
+                        const existingAuto = selectAuto.all(...invariantIds);
+                        let pruned = 0;
+                        for (const current of existingAuto) {
+                            const key = `${current.invariant_id}::${current.test_id}`;
+                            if (keepKeys.has(key))
+                                continue;
+                            const result = deleteByKey.run(current.invariant_id, current.test_id);
+                            pruned += result.changes;
+                        }
+                        return { upserted: rows.length, pruned };
+                    });
+                    if (!transaction.ok) {
+                        return new DatabaseError({ cause: transaction.error });
+                    }
+                    return transaction.value;
+                },
+                catch: (cause) => new DatabaseError({ cause }),
+            });
+            if (runSync instanceof DatabaseError) {
+                return yield* Effect.fail(runSync);
+            }
+            return runSync;
+        }),
+        insertRun: (input) => Effect.try({
+            try: () => {
+                const result = input.runAt
+                    ? db.prepare(`INSERT INTO spec_test_runs (spec_test_id, passed, duration_ms, details, run_at)
+                 VALUES (?, ?, ?, ?, ?)`).run(input.specTestId, input.passed ? 1 : 0, input.durationMs ?? null, input.details ?? null, input.runAt)
+                    : db.prepare(`INSERT INTO spec_test_runs (spec_test_id, passed, duration_ms, details)
+                 VALUES (?, ?, ?, ?)`).run(input.specTestId, input.passed ? 1 : 0, input.durationMs ?? null, input.details ?? null);
+                const row = db.prepare("SELECT * FROM spec_test_runs WHERE id = ?").get(result.lastInsertRowid);
+                if (!row) {
+                    throw new EntityFetchError({
+                        entity: "spec_test_run",
+                        id: Number(result.lastInsertRowid),
+                        operation: "insert",
+                    });
+                }
+                return rowToSpecTestRun(row);
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        insertRunsBatch: (inputs) => Effect.gen(function* () {
+            const runBatch = yield* Effect.try({
+                try: () => {
+                    if (inputs.length === 0)
+                        return [];
+                    const insertWithRunAt = db.prepare(`INSERT INTO spec_test_runs (spec_test_id, passed, duration_ms, details, run_at)
+               VALUES (?, ?, ?, ?, ?)`);
+                    const insertDefaultRunAt = db.prepare(`INSERT INTO spec_test_runs (spec_test_id, passed, duration_ms, details)
+               VALUES (?, ?, ?, ?)`);
+                    const getById = db.prepare("SELECT * FROM spec_test_runs WHERE id = ?");
+                    const transaction = runImmediateTransaction(() => {
+                        const out = [];
+                        for (const input of inputs) {
+                            const result = input.runAt
+                                ? insertWithRunAt.run(input.specTestId, input.passed ? 1 : 0, input.durationMs ?? null, input.details ?? null, input.runAt)
+                                : insertDefaultRunAt.run(input.specTestId, input.passed ? 1 : 0, input.durationMs ?? null, input.details ?? null);
+                            const row = getById.get(result.lastInsertRowid);
+                            if (!row) {
+                                throw new EntityFetchError({
+                                    entity: "spec_test_run",
+                                    id: Number(result.lastInsertRowid),
+                                    operation: "insert",
+                                });
+                            }
+                            out.push(rowToSpecTestRun(row));
+                        }
+                        return out;
+                    });
+                    if (!transaction.ok) {
+                        return new DatabaseError({ cause: transaction.error });
+                    }
+                    return transaction.value;
+                },
+                catch: (cause) => new DatabaseError({ cause }),
+            });
+            if (runBatch instanceof DatabaseError) {
+                return yield* Effect.fail(runBatch);
+            }
+            return runBatch;
+        }),
+        findLatestRunsBySpecTestIds: (specTestIds) => Effect.try({
+            try: () => {
+                if (specTestIds.length === 0)
+                    return new Map();
+                const placeholders = specTestIds.map(() => "?").join(", ");
+                const rows = db.prepare(`SELECT id, spec_test_id, passed, duration_ms, details, run_at
+               FROM (
+                 SELECT
+                   r.*,
+                   ROW_NUMBER() OVER (
+                     PARTITION BY r.spec_test_id
+                     ORDER BY r.run_at DESC, r.id DESC
+                   ) AS rn
+                 FROM spec_test_runs r
+                 WHERE r.spec_test_id IN (${placeholders})
+               ) ranked
+               WHERE rn = 1`).all(...specTestIds);
+                const result = new Map();
+                for (const row of rows) {
+                    result.set(row.spec_test_id, rowToSpecTestRun(row));
+                }
+                return result;
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        listActiveInvariants: (filter) => Effect.try({
+            try: () => {
+                const params = [];
+                const where = buildInvariantFilterSql(filter, params);
+                const rows = db.prepare(`SELECT i.id, i.rule, i.subsystem, d.name AS doc_name
+               FROM invariants i
+               JOIN docs d ON d.id = i.doc_id
+               ${where}
+               ORDER BY i.id`).all(...params);
+                return rows.map((row) => ({
+                    id: row.id,
+                    rule: row.rule,
+                    subsystem: row.subsystem,
+                    docName: row.doc_name,
+                }));
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        listUncoveredInvariants: (filter) => Effect.try({
+            try: () => {
+                const params = [];
+                const where = buildInvariantFilterSql(filter, params);
+                const rows = db.prepare(`SELECT i.id, i.rule, i.subsystem, d.name AS doc_name
+               FROM invariants i
+               JOIN docs d ON d.id = i.doc_id
+               ${where}
+                 AND NOT EXISTS (
+                   SELECT 1 FROM spec_tests st
+                   WHERE st.invariant_id = i.id
+                 )
+               ORDER BY i.id`).all(...params);
+                return rows.map((row) => ({
+                    id: row.id,
+                    rule: row.rule,
+                    subsystem: row.subsystem,
+                    docName: row.doc_name,
+                }));
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        upsertSignoff: (scopeType, scopeValue, signedOffBy, notes) => Effect.try({
+            try: () => {
+                if (scopeValue === null) {
+                    db.prepare(`INSERT INTO spec_signoffs (scope_type, scope_value, signed_off_by, notes)
+                 VALUES (?, NULL, ?, ?)
+                 ON CONFLICT(scope_type) WHERE scope_value IS NULL DO UPDATE SET
+                   signed_off_by = excluded.signed_off_by,
+                   notes = excluded.notes,
+                   signed_off_at = datetime('now')`).run(scopeType, signedOffBy, notes);
+                }
+                else {
+                    db.prepare(`INSERT INTO spec_signoffs (scope_type, scope_value, signed_off_by, notes)
+                 VALUES (?, ?, ?, ?)
+                 ON CONFLICT(scope_type, scope_value) WHERE scope_value IS NOT NULL DO UPDATE SET
+                   signed_off_by = excluded.signed_off_by,
+                   notes = excluded.notes,
+                   signed_off_at = datetime('now')`).run(scopeType, scopeValue, signedOffBy, notes);
+                }
+                const row = db.prepare(`SELECT * FROM spec_signoffs WHERE scope_type = ? AND (
+                 (scope_value IS NULL AND ? IS NULL) OR scope_value = ?
+               )`).get(scopeType, scopeValue, scopeValue);
+                if (!row) {
+                    throw new EntityFetchError({
+                        entity: "spec_signoff",
+                        id: `${scopeType}:${scopeValue ?? "global"}`,
+                        operation: "insert",
+                    });
+                }
+                return rowToSpecSignoff(row);
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+        findSignoff: (scopeType, scopeValue) => Effect.try({
+            try: () => {
+                const row = db.prepare(`SELECT * FROM spec_signoffs WHERE scope_type = ? AND (
+                 (scope_value IS NULL AND ? IS NULL) OR scope_value = ?
+               )`).get(scopeType, scopeValue, scopeValue);
+                return row ? rowToSpecSignoff(row) : null;
+            },
+            catch: (cause) => new DatabaseError({ cause }),
+        }),
+    };
+}));
+//# sourceMappingURL=spec-trace-repo.js.map

package/dist/repo/spec-trace-repo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-trace-repo.js","sourceRoot":"","sources":["../../src/repo/spec-trace-repo.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACvC,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAC5F,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAA;AAYrE,MAAM,OAAO,mBAAoB,SAAQ,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,EAGxE;CAAG;AAEN,MAAM,CAAC,MAAM,uBAAuB,GAAG,KAAK,CAAC,MAAM,CACjD,mBAAmB,EACnB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IAC9B,MAAM,uBAAuB,GAAG,CAAI,IAAa,EAA0D,EAAE;QAC3G,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QAC1B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,EAAE,CAAA;YACpB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YACjB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QAC5B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC;gBACH,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACrB,CAAC;YAAC,MAAM,CAAC;gBACP,QAAQ;YACV,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;QAC7B,CAAC;IACH,CAAC,CAAA;IAED,OAAO;QACL,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE,CACxB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,EAAE,CAAC,OAAO,CACR;;;;;;;8CAOgC,CACjC,CAAC,GAAG,CACH,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,SAAS,CAChB,CAAA;gBAED,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CACpB,iEAAiE,CAClE,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;gBAEtC,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,MAAM,IAAI,gBAAgB,CAAC;wBACzB,MAAM,EAAE,WAAW;wBACnB,EAAE,EAAE,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,MAAM,EAAE;wBAC1C,SAAS,EAAE,QAAQ;qBACpB,CAAC,CAAA;gBACJ,CAAC;gBAED,OAAO,aAAa,CAAC,GAAG,CAAC,CAAA;YAC3B,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,cAAc,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,CACtC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CACvB,+DAA+D,CAChE,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;gBAC1B,OAAO,MAAM,CAAC,OAAO,GAAG,CAAC,CAAA;YAC3B,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,wBAAwB,EAAE,CAAC,WAAW,EAAE,EAAE,CACxC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,kEAAkE,CACnE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;gBAClB,OAAO,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;YAChC,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,2BAA2B,EAAE,CAAC,YAAY,EAAE,EAAE,CAC5C,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,EAAE,CAAA;gBACxC,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,mDAAmD,YAAY,kCAAkC,CAClG,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,CAAA;gBACtB,OAAO,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;YAChC,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,qBAAqB,EAAE,CAAC,MAAM,EAAE,EAAE,CAChC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,kEAAkE,CACnE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBACb,OAAO,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;YAChC,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,sBAAsB,EAAE,CAAC,OAAO,EAAE,EAAE,CAClC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,IAAI,GAAG,EAA+B,CAAA;gBAEvE,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACtD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,8CAA8C,YAAY,kCAAkC,CAC7F,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAA;gBAEjB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAA;gBAC5C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;oBACjC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;oBAC/C,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;oBACpB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;gBACpC,CAAC;gBAED,OAAO,MAAM,CAAA;YACf,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,uBAAuB,EAAE,CAAC,QAAQ,EAAE,EAAE,CACpC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,oEAAoE,CACrE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;gBACf,OAAO,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;YAChC,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,uBAAuB,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,CAClD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAA;YACnC,CAAC;YAED,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBAChC,GAAG,EAAE,GAAG,EAAE;oBACR,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;oBAClC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;wBACvB,QAAQ,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,WAAW,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC,CAAA;oBACrD,CAAC;oBAED,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CACvB;;;;;;;8CAOgC,CACjC,CAAA;oBAEC,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBAC1D,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAC3B;;wCAEwB,WAAW;iEACc,CAClD,CAAA;oBACD,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,CAC5B,+DAA+D,CAChE,CAAA;oBAED,MAAM,WAAW,GAAG,uBAAuB,CAAC,GAAG,EAAE;wBAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;4BACvB,MAAM,CAAC,GAAG,CACR,GAAG,CAAC,WAAW,EACf,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,SAAS,EACb,GAAG,CAAC,SAAS,CACd,CAAA;wBACH,CAAC;wBAED,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,CAAA;wBAEpD,IAAI,MAAM,GAAG,CAAC,CAAA;wBACd,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;4BACnC,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,YAAY,KAAK,OAAO,CAAC,OAAO,EAAE,CAAA;4BACzD,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gCAAE,SAAQ;4BAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;4BACrE,MAAM,IAAI,MAAM,CAAC,OAAO,CAAA;wBAC1B,CAAC;wBAED,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,CAAA;oBAC1C,CAAC,CAAC,CAAA;oBAEF,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;wBACpB,OAAO,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAA;oBACxD,CAAC;oBAED,OAAO,WAAW,CAAC,KAAK,CAAA;gBAC1B,CAAC;gBACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;aAC/C,CAAC,CAAA;YAEF,IAAI,OAAO,YAAY,aAAa,EAAE,CAAC;gBACrC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACpC,CAAC;YACD,OAAO,OAAO,CAAA;QAChB,CAAC,CAAC;QAEJ,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CACnB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK;oBACxB,CAAC,CAAC,EAAE,CAAC,OAAO,CACV;wCACwB,CACzB,CAAC,GAAG,CACH,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACpB,KAAK,CAAC,UAAU,IAAI,IAAI,EACxB,KAAK,CAAC,OAAO,IAAI,IAAI,EACrB,KAAK,CAAC,KAAK,CACZ;oBACD,CAAC,CAAC,EAAE,CAAC,OAAO,CACV;qCACqB,CACtB,CAAC,GAAG,CACH,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACpB,KAAK,CAAC,UAAU,IAAI,IAAI,EACxB,KAAK,CAAC,OAAO,IAAI,IAAI,CACtB,CAAA;gBAEH,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CACpB,2CAA2C,CAC5C,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAA;gBAE7B,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,MAAM,IAAI,gBAAgB,CAAC;wBACzB,MAAM,EAAE,eAAe;wBACvB,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC;wBAClC,SAAS,EAAE,QAAQ;qBACpB,CAAC,CAAA;gBACJ,CAAC;gBAED,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAA;YAC9B,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,eAAe,EAAE,CAAC,MAAM,EAAE,EAAE,CAC1B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBACjC,GAAG,EAAE,GAAG,EAAE;oBACR,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,EAAE,CAAA;oBAElC,MAAM,eAAe,GAAG,EAAE,CAAC,OAAO,CAChC;sCACsB,CACvB,CAAA;oBACD,MAAM,kBAAkB,GAAG,EAAE,CAAC,OAAO,CACnC;mCACmB,CACpB,CAAA;oBACD,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CACxB,2CAA2C,CAC5C,CAAA;oBAED,MAAM,WAAW,GAAG,uBAAuB,CAAC,GAAG,EAAE;wBAC/C,MAAM,GAAG,GAAkB,EAAE,CAAA;wBAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;4BAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK;gCACxB,CAAC,CAAC,eAAe,CAAC,GAAG,CACnB,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACpB,KAAK,CAAC,UAAU,IAAI,IAAI,EACxB,KAAK,CAAC,OAAO,IAAI,IAAI,EACrB,KAAK,CAAC,KAAK,CACZ;gCACD,CAAC,CAAC,kBAAkB,CAAC,GAAG,CACtB,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACpB,KAAK,CAAC,UAAU,IAAI,IAAI,EACxB,KAAK,CAAC,OAAO,IAAI,IAAI,CACtB,CAAA;4BACH,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAA;4BAC/C,IAAI,CAAC,GAAG,EAAE,CAAC;gCACT,MAAM,IAAI,gBAAgB,CAAC;oCACzB,MAAM,EAAE,eAAe;oCACvB,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC;oCAClC,SAAS,EAAE,QAAQ;iCACpB,CAAC,CAAA;4BACJ,CAAC;4BACD,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAA;wBACjC,CAAC;wBACD,OAAO,GAAG,CAAA;oBACZ,CAAC,CAAC,CAAA;oBAEF,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;wBACpB,OAAO,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAA;oBACxD,CAAC;oBAED,OAAO,WAAW,CAAC,KAAK,CAAA;gBAC1B,CAAC;gBACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;aAC/C,CAAC,CAAA;YAEF,IAAI,QAAQ,YAAY,aAAa,EAAE,CAAC;gBACtC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YACrC,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC,CAAC;QAEJ,2BAA2B,EAAE,CAAC,WAAW,EAAE,EAAE,CAC3C,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,IAAI,GAAG,EAAuB,CAAA;gBAEnE,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC1D,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB;;;;;;;;;4CAS8B,YAAY;;4BAE5B,CACf,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAA;gBAErB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAA;gBAC7C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAA;gBACrD,CAAC;gBACD,OAAO,MAAM,CAAA;YACf,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,oBAAoB,EAAE,CAAC,MAAM,EAAE,EAAE,CAC/B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAc,EAAE,CAAA;gBAC5B,MAAM,KAAK,GAAG,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;gBACrD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAMrB;;;iBAGG,KAAK;6BACO,CAChB,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAA;gBAEhB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;oBACxB,EAAE,EAAE,GAAG,CAAC,EAAE;oBACV,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,OAAO,EAAE,GAAG,CAAC,QAAQ;iBACtB,CAAC,CAAC,CAAA;YACL,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,uBAAuB,EAAE,CAAC,MAAM,EAAE,EAAE,CAClC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAc,EAAE,CAAA;gBAC5B,MAAM,KAAK,GAAG,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;gBACrD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAMrB;;;iBAGG,KAAK;;;;;6BAKO,CAChB,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAA;gBAEhB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;oBACxB,EAAE,EAAE,GAAG,CAAC,EAAE;oBACV,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,OAAO,EAAE,GAAG,CAAC,QAAQ;iBACtB,CAAC,CAAC,CAAA;YACL,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,aAAa,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,CAC3D,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oBACxB,EAAE,CAAC,OAAO,CACR;;;;;mDAKmC,CACpC,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,CAAA;gBACtC,CAAC;qBAAM,CAAC;oBACN,EAAE,CAAC,OAAO,CACR;;;;;mDAKmC,CACpC,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,CAAC,CAAA;gBAClD,CAAC;gBAED,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CACpB;;iBAEG,CACJ,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,CAAA;gBAExC,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,MAAM,IAAI,gBAAgB,CAAC;wBACzB,MAAM,EAAE,cAAc;wBACtB,EAAE,EAAE,GAAG,SAAS,IAAI,UAAU,IAAI,QAAQ,EAAE;wBAC5C,SAAS,EAAE,QAAQ;qBACpB,CAAC,CAAA;gBACJ,CAAC;gBAED,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAA;YAC9B,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,WAAW,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE,CACrC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CACpB;;iBAEG,CACJ,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,CAAA;gBAExC,OAAO,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YAC3C,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;KACL,CAAA;AACH,CAAC,CAAC,CACH,CAAA"}

package/dist/repo/spec-trace-repo.types.d.ts

@@ -0,0 +1,60 @@
+import type { Effect } from "effect";
+import type { DatabaseError } from "../errors.js";
+import type { SpecDiscoveryMethod, SpecScopeType, SpecTest, SpecTestRun, SpecSignoff } from "@jamesaphoenix/tx-types";
+export type InvariantSummary = {
+    readonly id: string;
+    readonly rule: string;
+    readonly subsystem: string | null;
+    readonly docName: string;
+};
+export type SpecTraceFilter = {
+    readonly doc?: string;
+    readonly subsystem?: string;
+};
+export type UpsertSpecTestInput = {
+    invariantId: string;
+    testId: string;
+    testFile: string;
+    testName: string | null;
+    framework: string | null;
+    discovery: SpecDiscoveryMethod;
+};
+export type SyncDiscoveredSpecTestInput = {
+    invariantId: string;
+    testId: string;
+    testFile: string;
+    testName: string | null;
+    framework: string | null;
+    discovery: SpecDiscoveryMethod;
+};
+export type InsertSpecTestRunInput = {
+    specTestId: number;
+    passed: boolean;
+    durationMs?: number | null;
+    details?: string | null;
+    runAt?: string;
+};
+export type SpecTraceRepositoryService = {
+    readonly upsertSpecTest: (input: UpsertSpecTestInput) => Effect.Effect<SpecTest, DatabaseError>;
+    readonly deleteSpecTest: (invariantId: string, testId: string) => Effect.Effect<boolean, DatabaseError>;
+    readonly findSpecTestsByInvariant: (invariantId: string) => Effect.Effect<readonly SpecTest[], DatabaseError>;
+    readonly findSpecTestsByInvariantIds: (invariantIds: readonly string[]) => Effect.Effect<readonly SpecTest[], DatabaseError>;
+    readonly findSpecTestsByTestId: (testId: string) => Effect.Effect<readonly SpecTest[], DatabaseError>;
+    readonly findSpecTestsByTestIds: (testIds: readonly string[]) => Effect.Effect<ReadonlyMap<string, readonly SpecTest[]>, DatabaseError>;
+    readonly findSpecTestsByTestName: (testName: string) => Effect.Effect<readonly SpecTest[], DatabaseError>;
+    readonly syncDiscoveredSpecTests: (params: {
+        rows: readonly SyncDiscoveredSpecTestInput[];
+        invariantIds: readonly string[];
+    }) => Effect.Effect<{
+        upserted: number;
+        pruned: number;
+    }, DatabaseError>;
+    readonly insertRun: (input: InsertSpecTestRunInput) => Effect.Effect<SpecTestRun, DatabaseError>;
+    readonly insertRunsBatch: (inputs: readonly InsertSpecTestRunInput[]) => Effect.Effect<readonly SpecTestRun[], DatabaseError>;
+    readonly findLatestRunsBySpecTestIds: (specTestIds: readonly number[]) => Effect.Effect<ReadonlyMap<number, SpecTestRun>, DatabaseError>;
+    readonly listActiveInvariants: (filter?: SpecTraceFilter) => Effect.Effect<readonly InvariantSummary[], DatabaseError>;
+    readonly listUncoveredInvariants: (filter?: SpecTraceFilter) => Effect.Effect<readonly InvariantSummary[], DatabaseError>;
+    readonly upsertSignoff: (scopeType: SpecScopeType, scopeValue: string | null, signedOffBy: string, notes: string | null) => Effect.Effect<SpecSignoff, DatabaseError>;
+    readonly findSignoff: (scopeType: SpecScopeType, scopeValue: string | null) => Effect.Effect<SpecSignoff | null, DatabaseError>;
+};
+//# sourceMappingURL=spec-trace-repo.types.d.ts.map

package/dist/repo/spec-trace-repo.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-trace-repo.types.d.ts","sourceRoot":"","sources":["../../src/repo/spec-trace-repo.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACjD,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACb,QAAQ,EACR,WAAW,EACX,WAAW,EACZ,MAAM,yBAAyB,CAAA;AAEhC,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,WAAW,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACxB,SAAS,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED,MAAM,MAAM,2BAA2B,GAAG;IACxC,WAAW,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACxB,SAAS,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,UAAU,EAAE,MAAM,CAAA;IAClB,MAAM,EAAE,OAAO,CAAA;IACf,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,KAAK,CAAC,EAAE,MAAM,CAAA;CACf,CAAA;AAED,MAAM,MAAM,0BAA0B,GAAG;IACvC,QAAQ,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;IAC/F,QAAQ,CAAC,cAAc,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,CAAA;IACvG,QAAQ,CAAC,wBAAwB,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,QAAQ,EAAE,EAAE,aAAa,CAAC,CAAA;IAC7G,QAAQ,CAAC,2BAA2B,EAAE,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,QAAQ,EAAE,EAAE,aAAa,CAAC,CAAA;IAC5H,QAAQ,CAAC,qBAAqB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,QAAQ,EAAE,EAAE,aAAa,CAAC,CAAA;IACrG,QAAQ,CAAC,sBAAsB,EAAE,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC,EAAE,aAAa,CAAC,CAAA;IACvI,QAAQ,CAAC,uBAAuB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,QAAQ,EAAE,EAAE,aAAa,CAAC,CAAA;IACzG,QAAQ,CAAC,uBAAuB,EAAE,CAAC,MAAM,EAAE;QACzC,IAAI,EAAE,SAAS,2BAA2B,EAAE,CAAA;QAC5C,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;KAChC,KAAK,MAAM,CAAC,MAAM,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,aAAa,CAAC,CAAA;IACxE,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,sBAAsB,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC,CAAA;IAChG,QAAQ,CAAC,eAAe,EAAE,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,WAAW,EAAE,EAAE,aAAa,CAAC,CAAA;IAC7H,QAAQ,CAAC,2BAA2B,EAAE,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,aAAa,CAAC,CAAA;IACxI,QAAQ,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAC,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,gBAAgB,EAAE,EAAE,aAAa,CAAC,CAAA;IACtH,QAAQ,CAAC,uBAAuB,EAAE,CAAC,MAAM,CAAC,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,gBAAgB,EAAE,EAAE,aAAa,CAAC,CAAA;IACzH,QAAQ,CAAC,aAAa,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC,CAAA;IACrK,QAAQ,CAAC,WAAW,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,GAAG,IAAI,EAAE,aAAa,CAAC,CAAA;CAChI,CAAA"}

package/dist/repo/spec-trace-repo.types.js

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

package/dist/repo/spec-trace-repo.types.js.map

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

package/dist/repo/task-repo/factory.d.ts

@@ -0,0 +1,4 @@
+import type { SqliteDatabase } from "../../db.js";
+import type { TaskRepositoryService } from "../task-repo.js";
+export declare const createTaskRepository: (db: SqliteDatabase) => TaskRepositoryService;
+//# sourceMappingURL=factory.d.ts.map

package/dist/repo/task-repo/factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../../src/repo/task-repo/factory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAA;AAI5D,eAAO,MAAM,oBAAoB,GAAI,IAAI,cAAc,KAAG,qBAGxD,CAAA"}

package/dist/repo/task-repo/factory.js

@@ -0,0 +1,7 @@
+import { createTaskRepositoryReadService } from "./read.js";
+import { createTaskRepositoryWriteService } from "./write.js";
+export const createTaskRepository = (db) => ({
+    ...createTaskRepositoryReadService(db),
+    ...createTaskRepositoryWriteService(db),
+});
+//# sourceMappingURL=factory.js.map

package/dist/repo/task-repo/factory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"factory.js","sourceRoot":"","sources":["../../../src/repo/task-repo/factory.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,+BAA+B,EAAE,MAAM,WAAW,CAAA;AAC3D,OAAO,EAAE,gCAAgC,EAAE,MAAM,YAAY,CAAA;AAE7D,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,EAAkB,EAAyB,EAAE,CAAC,CAAC;IAClF,GAAG,+BAA+B,CAAC,EAAE,CAAC;IACtC,GAAG,gCAAgC,CAAC,EAAE,CAAC;CACxC,CAAC,CAAA"}

package/dist/repo/task-repo/read.d.ts

@@ -0,0 +1,6 @@
+import type { SqliteDatabase } from "../../db.js";
+import type { TaskRepositoryService } from "../task-repo.js";
+type TaskRepositoryReadService = Pick<TaskRepositoryService, "findById" | "findByIds" | "findAll" | "findByParent" | "getChildIds" | "getChildIdsForMany" | "getAncestorChain" | "getDescendants" | "getGroupContextForMany" | "resolveEffectiveGroupContextForMany" | "count" | "getVerifyCmd">;
+export declare const createTaskRepositoryReadService: (db: SqliteDatabase) => TaskRepositoryReadService;
+export {};
+//# sourceMappingURL=read.d.ts.map

package/dist/repo/task-repo/read.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read.d.ts","sourceRoot":"","sources":["../../../src/repo/task-repo/read.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAKjD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAA;AAG5D,KAAK,yBAAyB,GAAG,IAAI,CACnC,qBAAqB,EACnB,UAAU,GACV,WAAW,GACX,SAAS,GACT,cAAc,GACd,aAAa,GACb,oBAAoB,GACpB,kBAAkB,GAClB,gBAAgB,GAChB,wBAAwB,GACxB,qCAAqC,GACrC,OAAO,GACP,cAAc,CACjB,CAAA;AAED,eAAO,MAAM,+BAA+B,GAC1C,IAAI,cAAc,KACjB,yBAgYD,CAAA"}