@emilia-protocol/gate 0.11.0 → 0.14.0

package/dist/evidence-postgres.js

@@ -0,0 +1,343 @@
+// @ts-nocheck
+// SPDX-License-Identifier: Apache-2.0
+/**
+ * EMILIA Gate production evidence backend for Postgres.
+ *
+ * The deployment SQL exposes one SECURITY DEFINER append function. That
+ * function locks the tenant/gate/stream head, checks the caller's expected
+ * head, inserts one immutable record, and advances the head in the same SQL
+ * statement transaction. Runtime roles receive SELECT and EXECUTE only; they
+ * cannot insert, update, delete, or truncate evidence tables directly.
+ *
+ * Database errors and malformed driver responses always propagate on the
+ * write path. A storage outage must never be mistaken for a successful append
+ * or an ordinary contention retry.
+ */
+import { canonicalEvidenceJson, verifyEvidenceRecord, } from './evidence.js';
+export const PG_EVIDENCE_VERSION = 'EP-GATE-PG-EVIDENCE-v1';
+export const EVIDENCE_SCHEMA = 'emilia_gate_evidence';
+export const EVIDENCE_RECORDS_TABLE = `${EVIDENCE_SCHEMA}.records`;
+export const EVIDENCE_HEADS_TABLE = `${EVIDENCE_SCHEMA}.heads`;
+export const EVIDENCE_APPEND_FUNCTION = `${EVIDENCE_SCHEMA}.append_record`;
+const HEX_256 = /^[0-9a-f]{64}$/;
+// evidence.js permits 1 MiB of raw string/key bytes. JSON control-character
+// escaping can expand those bytes by up to 6x, plus bounded container syntax.
+const MAX_CANONICAL_BYTES = 8 * 1024 * 1024;
+/** Exact statements issued by the adapter, exported for audit and test fakes. */
+export const EVIDENCE_SQL = Object.freeze({
+    health: `SELECT
+  to_regclass('${EVIDENCE_RECORDS_TABLE}') IS NOT NULL AS records_ready,
+  to_regclass('${EVIDENCE_HEADS_TABLE}') IS NOT NULL AS heads_ready,
+  to_regprocedure('${EVIDENCE_APPEND_FUNCTION}(text,text,text,text,jsonb,text)') IS NOT NULL AS append_ready,
+  CASE WHEN to_regclass('${EVIDENCE_RECORDS_TABLE}') IS NULL THEN FALSE
+    ELSE has_table_privilege(current_user, to_regclass('${EVIDENCE_RECORDS_TABLE}'), 'SELECT') END AS can_read_records,
+  CASE WHEN to_regclass('${EVIDENCE_HEADS_TABLE}') IS NULL THEN FALSE
+    ELSE has_table_privilege(current_user, to_regclass('${EVIDENCE_HEADS_TABLE}'), 'SELECT') END AS can_read_heads,
+  CASE WHEN to_regclass('${EVIDENCE_RECORDS_TABLE}') IS NULL THEN FALSE ELSE (
+    has_table_privilege(current_user, to_regclass('${EVIDENCE_RECORDS_TABLE}'), 'INSERT')
+    OR has_table_privilege(current_user, to_regclass('${EVIDENCE_RECORDS_TABLE}'), 'UPDATE')
+    OR has_table_privilege(current_user, to_regclass('${EVIDENCE_RECORDS_TABLE}'), 'DELETE')
+    OR has_table_privilege(current_user, to_regclass('${EVIDENCE_RECORDS_TABLE}'), 'TRUNCATE')
+  ) END AS can_write_records_directly,
+  CASE WHEN to_regclass('${EVIDENCE_HEADS_TABLE}') IS NULL THEN FALSE ELSE (
+    has_table_privilege(current_user, to_regclass('${EVIDENCE_HEADS_TABLE}'), 'INSERT')
+    OR has_table_privilege(current_user, to_regclass('${EVIDENCE_HEADS_TABLE}'), 'UPDATE')
+    OR has_table_privilege(current_user, to_regclass('${EVIDENCE_HEADS_TABLE}'), 'DELETE')
+    OR has_table_privilege(current_user, to_regclass('${EVIDENCE_HEADS_TABLE}'), 'TRUNCATE')
+  ) END AS can_write_heads_directly,
+  CASE WHEN to_regprocedure('${EVIDENCE_APPEND_FUNCTION}(text,text,text,text,jsonb,text)') IS NULL THEN FALSE
+    ELSE has_function_privilege(current_user,
+      to_regprocedure('${EVIDENCE_APPEND_FUNCTION}(text,text,text,text,jsonb,text)'), 'EXECUTE') END AS can_append`,
+    readHead: `SELECT head_seq AS seq, head_hash AS hash
+FROM ${EVIDENCE_HEADS_TABLE}
+WHERE tenant_id = $1 AND gate_id = $2 AND stream_id = $3`,
+    getById: `SELECT seq, record_id, prev_hash, hash, record
+FROM ${EVIDENCE_RECORDS_TABLE}
+WHERE tenant_id = $1 AND gate_id = $2 AND stream_id = $3 AND record_id = $4`,
+    readAll: `SELECT seq, record_id, prev_hash, hash, record
+FROM ${EVIDENCE_RECORDS_TABLE}
+WHERE tenant_id = $1 AND gate_id = $2 AND stream_id = $3
+ORDER BY seq ASC`,
+    // One SELECT gives verify() a single MVCC snapshot of rows and head.
+    snapshot: `SELECT
+  COALESCE((
+    SELECT jsonb_agg(jsonb_build_object(
+      'seq', r.seq,
+      'record_id', r.record_id,
+      'prev_hash', r.prev_hash,
+      'hash', r.hash,
+      'record', r.record
+    ) ORDER BY r.seq ASC)
+    FROM ${EVIDENCE_RECORDS_TABLE} r
+    WHERE r.tenant_id = $1 AND r.gate_id = $2 AND r.stream_id = $3
+  ), '[]'::jsonb) AS record_rows,
+  (
+    SELECT CASE WHEN h.head_seq = -1 THEN NULL ELSE jsonb_build_object(
+      'seq', h.head_seq, 'hash', h.head_hash
+    ) END
+    FROM ${EVIDENCE_HEADS_TABLE} h
+    WHERE h.tenant_id = $1 AND h.gate_id = $2 AND h.stream_id = $3
+  ) AS head`,
+    appendIfHead: `SELECT ${EVIDENCE_APPEND_FUNCTION}($1, $2, $3, $4, $5::jsonb, $6) AS appended`,
+});
+function assertScopedId(value, label, { minLength = 1, maxLength = 256 } = {}) {
+    if (typeof value !== 'string' || value.length < minLength
+        || value.length > maxLength || value.includes('\0')) {
+        throw new Error(`${label} must be a string of ${minLength} to ${maxLength} characters`);
+    }
+    return value;
+}
+function queryRows(result, operation) {
+    if (!result || !Number.isInteger(result.rowCount) || result.rowCount < 0
+        || !Array.isArray(result.rows) || result.rows.length !== result.rowCount) {
+        throw new Error(`${operation}: malformed Postgres result; storage outcome is unproven`);
+    }
+    return result.rows;
+}
+function parseSequence(value, operation, { sentinel = false } = {}) {
+    let parsed = value;
+    if (typeof value === 'string' && /^-?(0|[1-9][0-9]*)$/.test(value))
+        parsed = Number(value);
+    const minimum = sentinel ? -1 : 0;
+    if (!Number.isSafeInteger(parsed) || parsed < minimum) {
+        throw new Error(`${operation}: Postgres returned an invalid evidence sequence`);
+    }
+    return parsed;
+}
+function parseJson(value, operation) {
+    if (typeof value !== 'string')
+        return value;
+    try {
+        return JSON.parse(value);
+    }
+    catch {
+        throw new Error(`${operation}: Postgres returned malformed JSON`);
+    }
+}
+function normalizeHead(value, operation) {
+    const head = parseJson(value, operation);
+    if (head === null || head === undefined)
+        return null;
+    if (!head || typeof head !== 'object' || Array.isArray(head)) {
+        throw new Error(`${operation}: Postgres returned a malformed evidence head`);
+    }
+    const seq = parseSequence(head.seq, operation, { sentinel: true });
+    if (seq === -1) {
+        if (head.hash !== null && head.hash !== undefined) {
+            throw new Error(`${operation}: empty evidence head has a hash`);
+        }
+        return null;
+    }
+    if (typeof head.hash !== 'string' || !HEX_256.test(head.hash)) {
+        throw new Error(`${operation}: Postgres returned a malformed evidence head hash`);
+    }
+    return { seq, hash: head.hash };
+}
+function normalizeRecordRow(value, operation) {
+    const row = parseJson(value, operation);
+    if (!row || typeof row !== 'object' || Array.isArray(row)) {
+        throw new Error(`${operation}: Postgres returned a malformed evidence row`);
+    }
+    const seq = parseSequence(row.seq, operation);
+    const record = parseJson(row.record, operation);
+    if (!record || typeof record !== 'object' || Array.isArray(record)
+        || record.seq !== seq
+        || record.record_id !== row.record_id
+        || record.prev_hash !== row.prev_hash
+        || record.hash !== row.hash) {
+        throw new Error(`${operation}: evidence row metadata does not match its record`);
+    }
+    return structuredClone(record);
+}
+function canonicalAppendPayload(record, expectedHeadHash) {
+    if (expectedHeadHash !== null && (typeof expectedHeadHash !== 'string' || !HEX_256.test(expectedHeadHash))) {
+        throw new Error('appendIfHead: expected head must be null or a lowercase SHA-256 hash');
+    }
+    if (!verifyEvidenceRecord(record, { atomicRequired: true })) {
+        throw new Error('appendIfHead: record is not a valid canonical atomic evidence record');
+    }
+    if (expectedHeadHash === null) {
+        if (record.seq !== 0 || record.prev_hash !== 'genesis') {
+            throw new Error('appendIfHead: genesis append has an invalid sequence or predecessor');
+        }
+    }
+    else if (record.seq < 1 || record.prev_hash !== expectedHeadHash) {
+        throw new Error('appendIfHead: record does not extend the expected head');
+    }
+    let persisted;
+    try {
+        persisted = JSON.parse(JSON.stringify(record));
+    }
+    catch {
+        throw new Error('appendIfHead: record is not losslessly JSON-serializable');
+    }
+    if (!persisted || typeof persisted !== 'object' || Array.isArray(persisted)
+        || canonicalEvidenceJson(persisted) !== canonicalEvidenceJson(record)
+        || !verifyEvidenceRecord(persisted, { atomicRequired: true })) {
+        throw new Error('appendIfHead: record is not losslessly JSON-serializable');
+    }
+    const { hash: _hash, ...body } = persisted;
+    const canonicalBody = canonicalEvidenceJson(body);
+    if (typeof canonicalBody !== 'string' || Buffer.byteLength(canonicalBody, 'utf8') > MAX_CANONICAL_BYTES) {
+        throw new Error('appendIfHead: canonical evidence body exceeds the Postgres limit');
+    }
+    return { canonicalBody, persisted };
+}
+function verifyHistory(records, head) {
+    const recordIds = new Set();
+    const sequences = new Set();
+    let previous = 'genesis';
+    for (let index = 0; index < records.length; index++) {
+        const record = records[index];
+        if (sequences.has(record.seq))
+            return { ok: false, at: record.seq, reason: 'fork_detected' };
+        sequences.add(record.seq);
+        if (record.seq !== index)
+            return { ok: false, at: index, reason: 'sequence_gap_or_rollback' };
+        if (record.prev_hash !== previous) {
+            return { ok: false, at: index, reason: 'fork_or_predecessor_mismatch' };
+        }
+        if (recordIds.has(record.record_id)) {
+            return { ok: false, at: index, reason: 'duplicate_record_id' };
+        }
+        if (!verifyEvidenceRecord(record, { atomicRequired: true })) {
+            return { ok: false, at: index, reason: 'hash_mismatch_or_malformed_record' };
+        }
+        recordIds.add(record.record_id);
+        previous = record.hash;
+    }
+    const expectedHead = records.length === 0
+        ? null
+        : { seq: records.length - 1, hash: previous };
+    if ((expectedHead === null && head !== null)
+        || (expectedHead !== null && (head === null
+            || head.seq !== expectedHead.seq || head.hash !== expectedHead.hash))) {
+        return { ok: false, reason: 'head_rollback_or_mismatch' };
+    }
+    return { ok: true, length: records.length, head: expectedHead?.hash ?? null };
+}
+/**
+ * Create a tenant-and-gate-bound backend for createAtomicEvidenceLog().
+ *
+ * `query` is a node-postgres style function such as `pool.query.bind(pool)`.
+ * The migration must be installed and the connection role must inherit or SET
+ * ROLE to `emilia_gate_evidence_runtime`.
+ *
+ * @param {{ query?: (text: string, params: any[]) => Promise<{ rowCount: number, rows?: any[] }>, tenantId?: any, gateId?: any }} [options]
+ */
+export function createPostgresEvidenceBackend({ query, tenantId, gateId, } = {}) {
+    if (typeof query !== 'function') {
+        throw new Error('createPostgresEvidenceBackend: query must be an async pg-style function that throws on failure');
+    }
+    // Narrowed alias: `query` is a destructured parameter, so TypeScript's
+    // control-flow narrowing from the guard above does not carry into the
+    // closures declared below (readHead, getById, appendIfHead, readAll,
+    // readSnapshot). The guard already proves this is a function; this is a
+    // type-only alias with no behavioral difference from calling `query`.
+    /** @type {(text: string, params: any[]) => Promise<{ rowCount: number, rows?: any[] }>} */
+    const runQuery = query;
+    const tenant = assertScopedId(tenantId, 'tenantId');
+    const gate = assertScopedId(gateId, 'gateId');
+    const scope = Object.freeze({ tenantId: tenant, gateId: gate });
+    const scopeParams = (streamId) => [tenant, gate, assertScopedId(streamId, 'streamId')];
+    async function readHead(streamId) {
+        const rows = queryRows(await runQuery(EVIDENCE_SQL.readHead, scopeParams(streamId)), 'readHead');
+        if (rows.length > 1)
+            throw new Error('readHead: Postgres returned multiple scoped heads');
+        return rows.length === 0 ? null : normalizeHead(rows[0], 'readHead');
+    }
+    async function getById(streamId, recordId) {
+        assertScopedId(recordId, 'recordId', { minLength: 16 });
+        const rows = queryRows(await runQuery(EVIDENCE_SQL.getById, [...scopeParams(streamId), recordId]), 'getById');
+        if (rows.length > 1)
+            throw new Error('getById: Postgres returned duplicate scoped record IDs');
+        return rows.length === 0 ? null : normalizeRecordRow(rows[0], 'getById');
+    }
+    async function appendIfHead(streamId, expectedHeadHash, record) {
+        const params = scopeParams(streamId);
+        const { canonicalBody, persisted } = canonicalAppendPayload(record, expectedHeadHash);
+        const rows = queryRows(await runQuery(EVIDENCE_SQL.appendIfHead, [
+            ...params,
+            expectedHeadHash,
+            persisted,
+            canonicalBody,
+        ]), 'appendIfHead');
+        if (rows.length !== 1 || typeof rows[0]?.appended !== 'boolean') {
+            throw new Error('appendIfHead: Postgres did not return a definitive append verdict');
+        }
+        return rows[0].appended;
+    }
+    async function readAll(streamId) {
+        const rows = queryRows(await runQuery(EVIDENCE_SQL.readAll, scopeParams(streamId)), 'readAll');
+        return rows.map((row) => normalizeRecordRow(row, 'readAll'));
+    }
+    async function readSnapshot(streamId) {
+        const rows = queryRows(await runQuery(EVIDENCE_SQL.snapshot, scopeParams(streamId)), 'verify');
+        if (rows.length !== 1)
+            throw new Error('verify: Postgres did not return one scoped snapshot');
+        const recordRows = parseJson(rows[0].record_rows, 'verify');
+        if (!Array.isArray(recordRows))
+            throw new Error('verify: Postgres returned malformed evidence history');
+        return {
+            records: recordRows.map((row) => normalizeRecordRow(row, 'verify')),
+            head: normalizeHead(rows[0].head, 'verify'),
+        };
+    }
+    return {
+        durable: true,
+        persisted: true,
+        strict: true,
+        forkAware: true,
+        atomicAppend: true,
+        appendOnly: true,
+        version: PG_EVIDENCE_VERSION,
+        scope,
+        readHead,
+        head: readHead,
+        getById,
+        appendIfHead,
+        readAll,
+        all: readAll,
+        async verify(streamId) {
+            try {
+                const snapshot = await readSnapshot(streamId);
+                return verifyHistory(snapshot.records, snapshot.head);
+            }
+            catch {
+                return { ok: false, reason: 'backend_read_failed_or_malformed' };
+            }
+        },
+        async health() {
+            const rows = queryRows(await query(EVIDENCE_SQL.health, []), 'health');
+            if (rows.length !== 1)
+                throw new Error('health: Postgres did not return one readiness row');
+            const checks = {
+                recordsReady: rows[0].records_ready === true,
+                headsReady: rows[0].heads_ready === true,
+                appendReady: rows[0].append_ready === true,
+                canReadRecords: rows[0].can_read_records === true,
+                canReadHeads: rows[0].can_read_heads === true,
+                noDirectRecordWrites: rows[0].can_write_records_directly === false,
+                noDirectHeadWrites: rows[0].can_write_heads_directly === false,
+                canAppend: rows[0].can_append === true,
+            };
+            return {
+                ok: Object.values(checks).every(Boolean),
+                version: PG_EVIDENCE_VERSION,
+                scope,
+                checks,
+            };
+        },
+    };
+}
+const postgresEvidence = {
+    createPostgresEvidenceBackend,
+    EVIDENCE_SQL,
+    EVIDENCE_SCHEMA,
+    EVIDENCE_RECORDS_TABLE,
+    EVIDENCE_HEADS_TABLE,
+    EVIDENCE_APPEND_FUNCTION,
+    PG_EVIDENCE_VERSION,
+};
+export default postgresEvidence;
+//# sourceMappingURL=evidence-postgres.js.map

package/dist/evidence-postgres.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-postgres.js","sourceRoot":"","sources":["../src/evidence-postgres.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC;;;;;;;;;;;;GAYG;AAEH,OAAO,EACL,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,eAAe,CAAC;AAEvB,MAAM,CAAC,MAAM,mBAAmB,GAAG,wBAAwB,CAAC;AAC5D,MAAM,CAAC,MAAM,eAAe,GAAG,sBAAsB,CAAC;AACtD,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,eAAe,UAAU,CAAC;AACnE,MAAM,CAAC,MAAM,oBAAoB,GAAG,GAAG,eAAe,QAAQ,CAAC;AAC/D,MAAM,CAAC,MAAM,wBAAwB,GAAG,GAAG,eAAe,gBAAgB,CAAC;AAE3E,MAAM,OAAO,GAAG,gBAAgB,CAAC;AACjC,4EAA4E;AAC5E,8EAA8E;AAC9E,MAAM,mBAAmB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAE5C,iFAAiF;AACjF,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,MAAM,EAAE;iBACO,sBAAsB;iBACtB,oBAAoB;qBAChB,wBAAwB;2BAClB,sBAAsB;0DACS,sBAAsB;2BACrD,oBAAoB;0DACW,oBAAoB;2BACnD,sBAAsB;qDACI,sBAAsB;wDACnB,sBAAsB;wDACtB,sBAAsB;wDACtB,sBAAsB;;2BAEnD,oBAAoB;qDACM,oBAAoB;wDACjB,oBAAoB;wDACpB,oBAAoB;wDACpB,oBAAoB;;+BAE7C,wBAAwB;;yBAE9B,wBAAwB,kEAAkE;IAEjH,QAAQ,EAAE;OACL,oBAAoB;yDAC8B;IAEvD,OAAO,EAAE;OACJ,sBAAsB;4EAC+C;IAE1E,OAAO,EAAE;OACJ,sBAAsB;;iBAEZ;IAEf,qEAAqE;IACrE,QAAQ,EAAE;;;;;;;;;WASD,sBAAsB;;;;;;;WAOtB,oBAAoB;;YAEnB;IAEV,YAAY,EAAE,UAAU,wBAAwB,6CAA6C;CAC9F,CAAC,CAAC;AAEH,SAAS,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,GAAG,EAAE,GAAG,EAAE;IAC3E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS;WAClD,KAAK,CAAC,MAAM,GAAG,SAAS,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,wBAAwB,SAAS,OAAO,SAAS,aAAa,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,MAAM,EAAE,SAAS;IAClC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,GAAG,CAAC;WACjE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,0DAA0D,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,SAAS,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,QAAQ,GAAG,KAAK,EAAE,GAAG,EAAE;IAChE,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3F,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,OAAO,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,kDAAkD,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,SAAS,CAAC,KAAK,EAAE,SAAS;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,oCAAoC,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAK,EAAE,SAAS;IACrC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrD,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,+CAA+C,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACnE,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;QACf,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,kCAAkC,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,oDAAoD,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAK,EAAE,SAAS;IAC1C,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,8CAA8C,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAChD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;WAC3D,MAAM,CAAC,GAAG,KAAK,GAAG;WAClB,MAAM,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS;WAClC,MAAM,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS;WAClC,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,mDAAmD,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAM,EAAE,gBAAgB;IACtD,IAAI,gBAAgB,KAAK,IAAI,IAAI,CAAC,OAAO,gBAAgB,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC;QAC3G,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IAED,IAAI,SAAS,CAAC;IACd,IAAI,CAAC;QACH,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;WACpE,qBAAqB,CAAC,SAAS,CAAC,KAAK,qBAAqB,CAAC,MAAM,CAAC;WAClE,CAAC,oBAAoB,CAAC,SAAS,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS,CAAC;IAC3C,MAAM,aAAa,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QACxG,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,aAAa,CAAC,OAAO,EAAE,IAAI;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;IAC5B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;IAC5B,IAAI,QAAQ,GAAG,SAAS,CAAC;IAEzB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;QAC7F,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,MAAM,CAAC,GAAG,KAAK,KAAK;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC;QAC9F,IAAI,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YAClC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;QAC1E,CAAC;QACD,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;QACjE,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAC5D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;QAC/E,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAChC,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC;QACvC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAChD,IAAI,CAAC,YAAY,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC;WACrC,CAAC,YAAY,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;eACtC,IAAI,CAAC,GAAG,KAAK,YAAY,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;AAChF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,6BAA6B,CAAC,EAC5C,KAAK,EACL,QAAQ,EACR,MAAM,MAKJ,EAAE;IACJ,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,gGAAgG,CAAC,CAAC;IACpH,CAAC;IACD,uEAAuE;IACvE,sEAAsE;IACtE,qEAAqE;IACrE,wEAAwE;IACxE,sEAAsE;IACtE,2FAA2F;IAC3F,MAAM,QAAQ,GAAG,KAAK,CAAC;IACvB,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IAEvF,KAAK,UAAU,QAAQ,CAAC,QAAQ;QAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,QAAQ,CAAC,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QACjG,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QAC1F,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IACvE,CAAC;IAED,KAAK,UAAU,OAAO,CAAC,QAAQ,EAAE,QAAQ;QACvC,cAAc,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,SAAS,CACpB,MAAM,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,EAC1E,SAAS,CACV,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC/F,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC3E,CAAC;IAED,KAAK,UAAU,YAAY,CAAC,QAAQ,EAAE,gBAAgB,EAAE,MAAM;QAC5D,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,GAAG,sBAAsB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACtF,MAAM,IAAI,GAAG,SAAS,CACpB,MAAM,QAAQ,CAAC,YAAY,CAAC,YAAY,EAAE;YACxC,GAAG,MAAM;YACT,gBAAgB;YAChB,SAAS;YACT,aAAa;SACd,CAAC,EACF,cAAc,CACf,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,KAAK,SAAS,EAAE,CAAC;YAChE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC1B,CAAC;IAED,KAAK,UAAU,OAAO,CAAC,QAAQ;QAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC/F,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,KAAK,UAAU,YAAY,CAAC,QAAQ;QAClC,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,QAAQ,CAAC,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC/F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QAC9F,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAC5D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QACxG,OAAO;YACL,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YACnE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC;SAC5C,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,IAAI;QACf,MAAM,EAAE,IAAI;QACZ,SAAS,EAAE,IAAI;QACf,YAAY,EAAE,IAAI;QAClB,UAAU,EAAE,IAAI;QAChB,OAAO,EAAE,mBAAmB;QAC5B,KAAK;QACL,QAAQ;QACR,IAAI,EAAE,QAAQ;QACd,OAAO;QACP,YAAY;QACZ,OAAO;QACP,GAAG,EAAE,OAAO;QACZ,KAAK,CAAC,MAAM,CAAC,QAAQ;YACnB,IAAI,CAAC;gBACH,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,QAAQ,CAAC,CAAC;gBAC9C,OAAO,aAAa,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;YACxD,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;YACnE,CAAC;QACH,CAAC;QACD,KAAK,CAAC,MAAM;YACV,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACvE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;YAC5F,MAAM,MAAM,GAAG;gBACb,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI;gBAC5C,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI;gBACxC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,KAAK,IAAI;gBAC1C,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,KAAK,IAAI;gBACjD,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,KAAK,IAAI;gBAC7C,oBAAoB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,0BAA0B,KAAK,KAAK;gBAClE,kBAAkB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,wBAAwB,KAAK,KAAK;gBAC9D,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI;aACvC,CAAC;YACF,OAAO;gBACL,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;gBACxC,OAAO,EAAE,mBAAmB;gBAC5B,KAAK;gBACL,MAAM;aACP,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,gBAAgB,GAAG;IACvB,6BAA6B;IAC7B,YAAY;IACZ,eAAe;IACf,sBAAsB;IACtB,oBAAoB;IACpB,wBAAwB;IACxB,mBAAmB;CACpB,CAAC;AAEF,eAAe,gBAAgB,CAAC"}

package/dist/evidence.d.ts

@@ -0,0 +1,113 @@
+/** Canonical JSON (recursive sorted keys) — matches @emilia-protocol/verify. */
+export declare function canonicalEvidenceJson(v: any): any;
+export declare function createEvidenceLog({ sink, strict }?: {
+    sink?: (record: any) => any;
+    strict?: boolean;
+}): {
+    durable: boolean;
+    persisted: boolean;
+    strict: boolean;
+    forkAware: boolean;
+    atomicAppend: boolean;
+    record(entry: any): Promise<any>;
+    all(): Record<string, any>[];
+    /** Recompute the chain; detects any altered or removed record. */
+    verify(): {
+        ok: boolean;
+        at: any;
+        reason: string;
+        length?: undefined;
+        head?: undefined;
+    } | {
+        ok: boolean;
+        length: number;
+        head: string | null;
+        at?: undefined;
+        reason?: undefined;
+    };
+};
+/**
+ * Verify one logger acknowledgement independently of the logger that emitted it.
+ */
+export declare function verifyEvidenceRecord(record: any, { atomicRequired, expectedEntry }?: {
+    atomicRequired?: boolean;
+    expectedEntry?: any;
+}): boolean;
+declare function assertLogEntry(entry: any): void;
+declare function validateAtomicRecord(record: any, expectedId: any, expectedEntry: any, expectedRecord?: null): boolean;
+declare function validHead(head: any): boolean;
+/**
+ * Fleet-safe, fail-closed evidence log over an atomic shared-head backend.
+ *
+ * Backend contract (all operations are scoped by streamId):
+ *   readHead(streamId) -> null | { seq, hash }
+ *   getById(streamId, recordId) -> null | record
+ *   appendIfHead(streamId, expectedHeadHash|null, record) -> boolean
+ *   readAll(streamId) -> record[]                    // optional, for verify/all
+ *
+ * appendIfHead MUST atomically compare the current head, append the immutable
+ * record, reject duplicate record_id, and advance the head in one durable
+ * transaction. A true return MUST provide immediate read-after-write visibility
+ * through getById. `backend.durable === true` is a deployment capability
+ * assertion; this module tests the protocol but cannot prove storage hardware
+ * semantics.
+ */
+export declare function createAtomicEvidenceLog(backend: any, { streamId, maxRetries, recordIdFactory, }?: {
+    streamId?: string | undefined;
+    maxRetries?: number | undefined;
+    recordIdFactory?: (() => `${string}-${string}-${string}-${string}-${string}`) | undefined;
+}): {
+    durable: boolean;
+    persisted: boolean;
+    strict: boolean;
+    forkAware: boolean;
+    atomicAppend: boolean;
+    streamId: string;
+    health(): Promise<any>;
+    record(entry: any): Promise<any>;
+    all(): Promise<any[]>;
+    verify(): Promise<{
+        ok: boolean;
+        reason: string;
+        at?: undefined;
+        length?: undefined;
+        head?: undefined;
+    } | {
+        ok: boolean;
+        at: number;
+        reason: string;
+        length?: undefined;
+        head?: undefined;
+    } | {
+        ok: boolean;
+        length: number;
+        head: string | null;
+        reason?: undefined;
+        at?: undefined;
+    }>;
+};
+/** In-memory contract model for tests. It is intentionally not durable. */
+export declare function createMemoryAtomicEvidenceBackend(): {
+    durable: boolean;
+    readHead(streamId: any): Promise<{
+        seq: any;
+        hash: any;
+    } | null>;
+    getById(streamId: any, recordId: any): Promise<any>;
+    appendIfHead(streamId: any, expectedHeadHash: any, record: any): Promise<boolean>;
+    readAll(streamId: any): Promise<any>;
+};
+export declare const __atomicEvidenceSecurityInternals: Readonly<{
+    canonical: typeof canonicalEvidenceJson;
+    assertLogEntry: typeof assertLogEntry;
+    validateAtomicRecord: typeof validateAtomicRecord;
+    validHead: typeof validHead;
+}>;
+declare const _default: {
+    createEvidenceLog: typeof createEvidenceLog;
+    verifyEvidenceRecord: typeof verifyEvidenceRecord;
+    createAtomicEvidenceLog: typeof createAtomicEvidenceLog;
+    createMemoryAtomicEvidenceBackend: typeof createMemoryAtomicEvidenceBackend;
+};
+export default _default;
+//# sourceMappingURL=evidence.d.ts.map

package/dist/evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../src/evidence.ts"],"names":[],"mappings":"AA6BA,gFAAgF;AAChF,wBAAgB,qBAAqB,CAAC,CAAC,KAAA,OAOtC;AAID,wBAAgB,iBAAiB,CAC/B,EAAE,IAAI,EAAE,MAAc,EAAE,GAAE;IAAE,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO;;;;;;;;IA8C9E,kEAAkE;;;;;;;;;;;;;;EAYrE;AAKD;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,GAAG,EACX,EAAE,cAAsB,EAAE,aAAa,EAAE,GAAE;IAAE,cAAc,CAAC,EAAE,OAAO,CAAC;IAAC,aAAa,CAAC,EAAE,GAAG,CAAA;CAAO,WAwBlG;AAED,iBAAS,cAAc,CAAC,KAAK,KAAA,QAuC5B;AAED,iBAAS,oBAAoB,CAAC,MAAM,KAAA,EAAE,UAAU,KAAA,EAAE,aAAa,KAAA,EAAE,cAAc,OAAO,WAIrF;AAED,iBAAS,SAAS,CAAC,IAAI,KAAA,WAEtB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,KAAA,EAAE,EAC/C,QAAwB,EACxB,UAAe,EACf,eAA2C,GAC5C;;;;CAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiHL;AAED,2EAA2E;AAC3E,wBAAgB,iCAAiC;;;;;;;;;EA6BhD;AAED,eAAO,MAAM,iCAAiC;;;;;EAK5C,CAAC;;;;;;;AAEH,wBAKE"}