@git-stunts/git-warp 10.8.0 → 11.3.3

package/src/domain/services/AuditVerifierService.js

@@ -0,0 +1,707 @@
+/**
+ * AuditVerifierService — verifies tamper-evident audit receipt chains.
+ *
+ * Walks audit chains backward from tip to genesis, validating:
+ * - Receipt schema (9 fields, correct types, version=1)
+ * - Chain linking (prevAuditCommit matches previous commit SHA)
+ * - Git parent consistency
+ * - Tick monotonicity (strictly decreasing backward)
+ * - Writer/graph consistency across the chain
+ * - OID format and length consistency
+ * - Trailer consistency (commit message trailers match CBOR receipt)
+ * - Tree structure (exactly one entry: receipt.cbor)
+ * - Genesis/continuation invariants
+ *
+ * @module domain/services/AuditVerifierService
+ * @see docs/specs/AUDIT_RECEIPT.md Section 8
+ */
+
+/**
+ * @typedef {Object} AuditReceipt
+ * @property {number} version
+ * @property {string} graphName
+ * @property {string} writerId
+ * @property {string} dataCommit
+ * @property {string} opsDigest
+ * @property {string} prevAuditCommit
+ * @property {number} tickStart
+ * @property {number} tickEnd
+ * @property {number} timestamp
+ */
+
+import { buildAuditPrefix, buildAuditRef } from '../utils/RefLayout.js';
+import { decodeAuditMessage } from './AuditMessageCodec.js';
+import { TrustRecordService } from '../trust/TrustRecordService.js';
+import { buildState } from '../trust/TrustStateBuilder.js';
+import { evaluateWriters } from '../trust/TrustEvaluator.js';
+
+// ============================================================================
+// Constants
+// ============================================================================
+
+/** @type {RegExp} */
+const OID_HEX_RE = /^[0-9a-f]+$/;
+
+// ── Status codes ──────────────────────────────────────────────────────────────
+
+/** Full chain verified from tip to genesis, no errors. */
+const STATUS_VALID = 'VALID';
+/** Chain verified from tip to --since boundary, no errors. */
+const STATUS_PARTIAL = 'PARTIAL';
+/** Structural integrity failure. */
+const STATUS_BROKEN_CHAIN = 'BROKEN_CHAIN';
+/** Content integrity failure (trailer vs CBOR). */
+const STATUS_DATA_MISMATCH = 'DATA_MISMATCH';
+/** Operational failure. */
+const STATUS_ERROR = 'ERROR';
+
+// ============================================================================
+// Helpers
+// ============================================================================
+
+/**
+ * Validates that a string is valid lowercase hex of length 40 or 64.
+ * @param {string} value
+ * @returns {{ valid: boolean, normalized: string, error?: string }}
+ */
+function validateOidFormat(value) {
+  if (typeof value !== 'string') {
+    return { valid: false, normalized: '', error: 'not a string' };
+  }
+  const normalized = value.toLowerCase();
+  if (!OID_HEX_RE.test(normalized)) {
+    return { valid: false, normalized, error: 'contains non-hex characters' };
+  }
+  if (normalized.length !== 40 && normalized.length !== 64) {
+    return { valid: false, normalized, error: `invalid length ${normalized.length}` };
+  }
+  return { valid: true, normalized };
+}
+
+/**
+ * Checks whether a receipt object has the expected 9 fields with correct types.
+ * @param {unknown} receipt
+ * @returns {string|null} Error message or null if valid
+ */
+function validateReceiptSchema(receipt) {
+  if (!receipt || typeof receipt !== 'object') {
+    return 'receipt is not an object';
+  }
+  const rec = /** @type {Record<string, unknown>} */ (receipt);
+  const keys = Object.keys(rec);
+  if (keys.length !== 9) {
+    return `expected 9 fields, got ${keys.length}`;
+  }
+  const required = [
+    'dataCommit', 'graphName', 'opsDigest', 'prevAuditCommit',
+    'tickEnd', 'tickStart', 'timestamp', 'version', 'writerId',
+  ];
+  for (const k of required) {
+    if (!(k in rec)) {
+      return `missing field: ${k}`;
+    }
+  }
+  if (rec.version !== 1) {
+    return `unsupported version: ${rec.version}`;
+  }
+  if (typeof rec.graphName !== 'string' || rec.graphName.length === 0) {
+    return 'graphName must be a non-empty string';
+  }
+  if (typeof rec.writerId !== 'string' || rec.writerId.length === 0) {
+    return 'writerId must be a non-empty string';
+  }
+  if (typeof rec.dataCommit !== 'string') {
+    return 'dataCommit must be a string';
+  }
+  if (typeof rec.opsDigest !== 'string') {
+    return 'opsDigest must be a string';
+  }
+  if (typeof rec.prevAuditCommit !== 'string') {
+    return 'prevAuditCommit must be a string';
+  }
+  if (!Number.isInteger(rec.tickStart) || /** @type {number} */ (rec.tickStart) < 1) {
+    return `tickStart must be integer >= 1, got ${rec.tickStart}`;
+  }
+  if (!Number.isInteger(rec.tickEnd) || /** @type {number} */ (rec.tickEnd) < /** @type {number} */ (rec.tickStart)) {
+    return `tickEnd must be integer >= tickStart, got ${rec.tickEnd}`;
+  }
+  if (rec.version === 1 && rec.tickStart !== rec.tickEnd) {
+    return `v1 requires tickStart === tickEnd, got ${rec.tickStart} !== ${rec.tickEnd}`;
+  }
+  if (!Number.isInteger(rec.timestamp) || /** @type {number} */ (rec.timestamp) < 0) {
+    return `timestamp must be non-negative integer, got ${rec.timestamp}`;
+  }
+  return null;
+}
+
+/**
+ * Validates trailers against the CBOR receipt fields.
+ * @param {AuditReceipt} receipt
+ * @param {{ graph: string, writer: string, dataCommit: string, opsDigest: string, schema: number }} decoded
+ * @returns {string|null} Error message or null if consistent
+ */
+function validateTrailerConsistency(receipt, decoded) {
+  if (decoded.schema !== 1) {
+    return `trailer eg-schema must be 1, got ${decoded.schema}`;
+  }
+  if (decoded.graph !== receipt.graphName) {
+    return `trailer eg-graph '${decoded.graph}' !== receipt graphName '${receipt.graphName}'`;
+  }
+  if (decoded.writer !== receipt.writerId) {
+    return `trailer eg-writer '${decoded.writer}' !== receipt writerId '${receipt.writerId}'`;
+  }
+  if (decoded.dataCommit.toLowerCase() !== receipt.dataCommit.toLowerCase()) {
+    return `trailer eg-data-commit '${decoded.dataCommit}' !== receipt dataCommit '${receipt.dataCommit}'`;
+  }
+  if (decoded.opsDigest.toLowerCase() !== receipt.opsDigest.toLowerCase()) {
+    return `trailer eg-ops-digest '${decoded.opsDigest}' !== receipt opsDigest '${receipt.opsDigest}'`;
+  }
+  return null;
+}
+
+// ============================================================================
+// Service
+// ============================================================================
+
+/**
+ * @typedef {Object} ChainError
+ * @property {string} code - Machine-readable error code
+ * @property {string} message - Human-readable description
+ * @property {string} [commit] - The commit SHA where the error was found
+ */
+
+/**
+ * @typedef {Object} ChainWarning
+ * @property {string} code - Machine-readable warning code
+ * @property {string} message - Human-readable description
+ */
+
+/**
+ * @typedef {Object} ChainResult
+ * @property {string} writerId
+ * @property {string} ref
+ * @property {string} status - VALID | PARTIAL | BROKEN_CHAIN | DATA_MISMATCH | ERROR
+ * @property {number} receiptsVerified
+ * @property {number} receiptsScanned
+ * @property {string|null} tipCommit
+ * @property {string|null} tipAtStart
+ * @property {string|null} genesisCommit
+ * @property {string|null} stoppedAt
+ * @property {string|null} since
+ * @property {ChainError[]} errors
+ * @property {ChainWarning[]} warnings
+ */
+
+/**
+ * @typedef {Object} TrustWarning
+ * @property {string} code
+ * @property {string} message
+ * @property {string[]} sources
+ */
+
+/**
+ * @typedef {Object} VerifyResult
+ * @property {string} graph
+ * @property {string} verifiedAt
+ * @property {{ total: number, valid: number, partial: number, invalid: number }} summary
+ * @property {ChainResult[]} chains
+ * @property {TrustWarning|null} trustWarning
+ */
+
+export class AuditVerifierService {
+  /**
+   * @param {Object} options
+   * @param {import('../../ports/CommitPort.js').default & import('../../ports/RefPort.js').default & import('../../ports/BlobPort.js').default & import('../../ports/TreePort.js').default} options.persistence
+   * @param {import('../../ports/CodecPort.js').default} options.codec
+   * @param {import('../../ports/LoggerPort.js').default} [options.logger]
+   */
+  constructor({ persistence, codec, logger }) {
+    this._persistence = persistence;
+    this._codec = codec;
+    this._logger = logger || null;
+  }
+
+  /**
+   * Lists writer IDs from audit refs for a graph.
+   * @param {string} graphName
+   * @returns {Promise<string[]>}
+   * @private
+   */
+  async _listWriterIds(graphName) {
+    const prefix = buildAuditPrefix(graphName);
+    const refs = await this._persistence.listRefs(prefix);
+    return refs
+      .map((/** @type {string} */ ref) => ref.slice(prefix.length))
+      .filter((/** @type {string} */ id) => id.length > 0);
+  }
+
+  /**
+   * Verifies all audit chains for a graph.
+   * @param {string} graphName
+   * @param {{ since?: string, trustWarning?: TrustWarning|null }} [options]
+   * @returns {Promise<VerifyResult>}
+   */
+  async verifyAll(graphName, options = {}) {
+    const writerIds = await this._listWriterIds(graphName);
+
+    const chains = [];
+    for (const writerId of writerIds.sort()) {
+      const result = await this.verifyChain(graphName, writerId, { since: options.since });
+      chains.push(result);
+    }
+
+    const valid = chains.filter((c) => c.status === STATUS_VALID).length;
+    const partial = chains.filter((c) => c.status === STATUS_PARTIAL).length;
+    const invalid = chains.length - valid - partial;
+
+    return {
+      graph: graphName,
+      verifiedAt: new Date().toISOString(),
+      summary: { total: chains.length, valid, partial, invalid },
+      chains,
+      trustWarning: options.trustWarning ?? null,
+    };
+  }
+
+  /**
+   * Verifies a single audit chain for a writer.
+   * @param {string} graphName
+   * @param {string} writerId
+   * @param {{ since?: string }} [options]
+   * @returns {Promise<ChainResult>}
+   */
+  async verifyChain(graphName, writerId, options = {}) {
+    const ref = buildAuditRef(graphName, writerId);
+    const since = options.since || null;
+
+    /** @type {ChainResult} */
+    const result = {
+      writerId,
+      ref,
+      status: STATUS_VALID,
+      receiptsVerified: 0,
+      receiptsScanned: 0,
+      tipCommit: null,
+      tipAtStart: null,
+      genesisCommit: null,
+      stoppedAt: null,
+      since,
+      errors: [],
+      warnings: [],
+    };
+
+    // Read tip
+    let tip;
+    try {
+      tip = await this._persistence.readRef(ref);
+    } catch {
+      // ref doesn't exist — no chain to verify
+      return result;
+    }
+    if (!tip) {
+      return result;
+    }
+
+    result.tipCommit = tip;
+    result.tipAtStart = tip;
+
+    // Walk the chain
+    await this._walkChain(graphName, writerId, tip, since, result);
+
+    // Ref-race detection: re-read tip after walk
+    await this._checkTipMoved(ref, result);
+
+    return result;
+  }
+
+  /**
+   * Walks the chain backward from tip, populating result.
+   * @param {string} graphName
+   * @param {string} writerId
+   * @param {string} tip
+   * @param {string|null} since
+   * @param {ChainResult} result
+   * @returns {Promise<void>}
+   * @private
+   */
+  async _walkChain(graphName, writerId, tip, since, result) {
+    let current = tip;
+    /** @type {AuditReceipt|null} */ let prevReceipt = null;
+    /** @type {number|null} */ let chainOidLen = null;
+
+    while (current) {
+      result.receiptsScanned++;
+
+      // Read commit info
+      let commitInfo;
+      try {
+        commitInfo = await this._persistence.getNodeInfo(current);
+      } catch (err) {
+        this._addError(result, 'MISSING_RECEIPT_BLOB', `Cannot read commit ${current}: ${err instanceof Error ? err.message : String(err)}`, current);
+        return;
+      }
+
+      // Read and validate receipt
+      const receiptResult = await this._readReceipt(current, commitInfo, result);
+      if (!receiptResult) {
+        return; // error already added
+      }
+
+      const { receipt, decodedTrailers } = receiptResult;
+
+      // Schema validation (before OID checks — catches missing fields early)
+      const schemaErr = validateReceiptSchema(receipt);
+      if (schemaErr) {
+        this._addError(result, 'RECEIPT_SCHEMA_INVALID', schemaErr, current);
+        return;
+      }
+
+      // OID format validation
+      if (!this._validateOids(receipt, result, current)) {
+        return;
+      }
+
+      // OID length consistency
+      const oidLen = receipt.dataCommit.length;
+      if (chainOidLen === null) {
+        chainOidLen = oidLen;
+      } else if (oidLen !== chainOidLen) {
+        this._addError(result, 'OID_LENGTH_MISMATCH',
+          `OID length changed from ${chainOidLen} to ${oidLen}`, current);
+        return;
+      }
+      if (receipt.prevAuditCommit.length !== oidLen) {
+        this._addError(result, 'OID_LENGTH_MISMATCH',
+          `prevAuditCommit length ${receipt.prevAuditCommit.length} !== dataCommit length ${oidLen}`, current);
+        return;
+      }
+
+      // Trailer consistency
+      const trailerErr = validateTrailerConsistency(receipt, decodedTrailers);
+      if (trailerErr) {
+        this._addError(result, 'TRAILER_MISMATCH', trailerErr, current);
+        result.status = STATUS_DATA_MISMATCH;
+        return;
+      }
+
+      // Chain linking (against previous receipt, which is the NEXT commit in forward time)
+      if (prevReceipt) {
+        if (!this._validateChainLink(receipt, prevReceipt, current, result)) {
+          return;
+        }
+      }
+
+      // Writer/graph consistency
+      if (receipt.writerId !== writerId) {
+        this._addError(result, 'WRITER_CONSISTENCY',
+          `receipt writerId '${receipt.writerId}' !== expected '${writerId}'`, current);
+        result.status = STATUS_BROKEN_CHAIN;
+        return;
+      }
+      if (receipt.graphName !== graphName) {
+        this._addError(result, 'WRITER_CONSISTENCY',
+          `receipt graphName '${receipt.graphName}' !== expected '${graphName}'`, current);
+        result.status = STATUS_BROKEN_CHAIN;
+        return;
+      }
+
+      result.receiptsVerified++;
+
+      // --since boundary: stop AFTER verifying this commit
+      if (since && current === since) {
+        result.stoppedAt = current;
+        if (result.errors.length === 0) {
+          result.status = STATUS_PARTIAL;
+        }
+        return;
+      }
+
+      // Genesis check
+      const zeroHash = '0'.repeat(oidLen);
+      if (receipt.prevAuditCommit === zeroHash) {
+        result.genesisCommit = current;
+        if (commitInfo.parents.length !== 0) {
+          this._addError(result, 'GENESIS_HAS_PARENTS',
+            `Genesis commit has ${commitInfo.parents.length} parent(s)`, current);
+          result.status = STATUS_BROKEN_CHAIN;
+          return;
+        }
+        // Reached genesis — if --since was specified but not found, error
+        if (since) {
+          this._addError(result, 'SINCE_NOT_FOUND',
+            `Commit ${since} not found in chain`, null);
+          result.status = STATUS_ERROR;
+          return;
+        }
+        if (result.errors.length === 0) {
+          result.status = STATUS_VALID;
+        }
+        return;
+      }
+
+      // Continuation check
+      if (commitInfo.parents.length !== 1) {
+        this._addError(result, 'CONTINUATION_NO_PARENT',
+          `Continuation commit has ${commitInfo.parents.length} parent(s), expected 1`, current);
+        result.status = STATUS_BROKEN_CHAIN;
+        return;
+      }
+      if (commitInfo.parents[0] !== receipt.prevAuditCommit) {
+        this._addError(result, 'GIT_PARENT_MISMATCH',
+          `Git parent '${commitInfo.parents[0]}' !== prevAuditCommit '${receipt.prevAuditCommit}'`, current);
+        result.status = STATUS_BROKEN_CHAIN;
+        return;
+      }
+
+      prevReceipt = receipt;
+      current = receipt.prevAuditCommit;
+    }
+
+    // If --since was specified but we reached the end without finding it
+    if (since) {
+      this._addError(result, 'SINCE_NOT_FOUND',
+        `Commit ${since} not found in chain`, null);
+      result.status = STATUS_ERROR;
+    }
+  }
+
+  /**
+   * Reads and decodes the receipt from a commit.
+   * @param {string} commitSha
+   * @param {{ message: string }} commitInfo
+   * @param {ChainResult} result
+   * @returns {Promise<{ receipt: AuditReceipt, decodedTrailers: { graph: string, writer: string, dataCommit: string, opsDigest: string, schema: number } }|null>}
+   * @private
+   */
+  async _readReceipt(commitSha, commitInfo, result) {
+    // Read tree
+    let treeOid;
+    try {
+      treeOid = await this._persistence.getCommitTree(commitSha);
+    } catch (err) {
+      this._addError(result, 'MISSING_RECEIPT_BLOB',
+        `Cannot read tree for ${commitSha}: ${err instanceof Error ? err.message : String(err)}`, commitSha);
+      return null;
+    }
+
+    // Validate tree structure
+    let treeEntries;
+    try {
+      treeEntries = await this._persistence.readTreeOids(treeOid);
+    } catch (err) {
+      this._addError(result, 'RECEIPT_TREE_INVALID',
+        `Cannot read tree ${treeOid}: ${err instanceof Error ? err.message : String(err)}`, commitSha);
+      return null;
+    }
+
+    const entryNames = Object.keys(treeEntries);
+    if (entryNames.length !== 1 || entryNames[0] !== 'receipt.cbor') {
+      this._addError(result, 'RECEIPT_TREE_INVALID',
+        `Expected exactly one entry 'receipt.cbor', got [${entryNames.join(', ')}]`, commitSha);
+      result.status = STATUS_BROKEN_CHAIN;
+      return null;
+    }
+
+    // Read blob
+    const blobOid = treeEntries['receipt.cbor'];
+    let blobContent;
+    try {
+      blobContent = await this._persistence.readBlob(blobOid);
+    } catch (err) {
+      this._addError(result, 'MISSING_RECEIPT_BLOB',
+        `Cannot read receipt blob ${blobOid}: ${err instanceof Error ? err.message : String(err)}`, commitSha);
+      return null;
+    }
+
+    // Decode CBOR
+    let receipt;
+    try {
+      receipt = /** @type {AuditReceipt} */ (this._codec.decode(blobContent));
+    } catch (err) {
+      this._addError(result, 'CBOR_DECODE_FAILED',
+        `CBOR decode failed: ${err instanceof Error ? err.message : String(err)}`, commitSha);
+      result.status = STATUS_ERROR;
+      return null;
+    }
+
+    // Decode trailers
+    let decodedTrailers;
+    try {
+      decodedTrailers = decodeAuditMessage(commitInfo.message);
+    } catch (err) {
+      this._addError(result, 'TRAILER_MISMATCH',
+        `Trailer decode failed: ${err instanceof Error ? err.message : String(err)}`, commitSha);
+      result.status = STATUS_DATA_MISMATCH;
+      return null;
+    }
+
+    return { receipt, decodedTrailers };
+  }
+
+  /**
+   * Validates OID format for dataCommit, prevAuditCommit, and opsDigest.
+   * @param {AuditReceipt} receipt
+   * @param {ChainResult} result
+   * @param {string} commitSha
+   * @returns {boolean} true if valid
+   * @private
+   */
+  _validateOids(receipt, result, commitSha) {
+    const dcCheck = validateOidFormat(receipt.dataCommit);
+    if (!dcCheck.valid) {
+      this._addError(result, 'OID_FORMAT_INVALID',
+        `dataCommit OID invalid: ${dcCheck.error}`, commitSha);
+      result.status = STATUS_BROKEN_CHAIN;
+      return false;
+    }
+
+    const pacCheck = validateOidFormat(receipt.prevAuditCommit);
+    // prevAuditCommit may be all-zeros (genesis sentinel)
+    const isZero = /^0+$/.test(receipt.prevAuditCommit);
+    if (!pacCheck.valid && !isZero) {
+      this._addError(result, 'OID_FORMAT_INVALID',
+        `prevAuditCommit OID invalid: ${pacCheck.error}`, commitSha);
+      result.status = STATUS_BROKEN_CHAIN;
+      return false;
+    }
+
+    return true;
+  }
+
+  /**
+   * Validates chain linking between current and previous (newer) receipt.
+   * @param {AuditReceipt} currentReceipt - The older receipt being validated
+   * @param {AuditReceipt} prevReceipt - The newer receipt (closer to tip)
+   * @param {string} commitSha
+   * @param {ChainResult} result
+   * @returns {boolean} true if valid
+   * @private
+   */
+  _validateChainLink(currentReceipt, prevReceipt, commitSha, result) {
+    // Tick monotonicity: walking backward, current tick < prev tick
+    if (currentReceipt.tickEnd >= prevReceipt.tickStart) {
+      this._addError(result, 'TICK_MONOTONICITY',
+        `tick ${currentReceipt.tickEnd} >= previous ${prevReceipt.tickStart}`, commitSha);
+      result.status = STATUS_BROKEN_CHAIN;
+      return false;
+    }
+
+    // Tick gap warning
+    if (currentReceipt.tickEnd + 1 < prevReceipt.tickStart) {
+      result.warnings.push({
+        code: 'TICK_GAP',
+        message: `Gap between tick ${currentReceipt.tickEnd} and ${prevReceipt.tickStart}`,
+      });
+    }
+
+    // Writer consistency
+    if (currentReceipt.writerId !== prevReceipt.writerId) {
+      this._addError(result, 'WRITER_CONSISTENCY',
+        `writerId changed from '${currentReceipt.writerId}' to '${prevReceipt.writerId}'`, commitSha);
+      result.status = STATUS_BROKEN_CHAIN;
+      return false;
+    }
+
+    // Graph consistency
+    if (currentReceipt.graphName !== prevReceipt.graphName) {
+      this._addError(result, 'WRITER_CONSISTENCY',
+        `graphName changed from '${currentReceipt.graphName}' to '${prevReceipt.graphName}'`, commitSha);
+      result.status = STATUS_BROKEN_CHAIN;
+      return false;
+    }
+
+    return true;
+  }
+
+  /**
+   * Checks if the ref tip moved during verification (ref-race detection).
+   * @param {string} ref
+   * @param {ChainResult} result
+   * @returns {Promise<void>}
+   * @private
+   */
+  async _checkTipMoved(ref, result) {
+    try {
+      const currentTip = await this._persistence.readRef(ref);
+      if (currentTip && currentTip !== result.tipAtStart) {
+        result.warnings.push({
+          code: 'TIP_MOVED_DURING_VERIFY',
+          message: `Ref tip moved from ${result.tipAtStart} to ${currentTip} during verification`,
+        });
+      }
+    } catch {
+      // If we can't re-read, don't add a warning — it's best-effort
+    }
+  }
+
+  /**
+   * Adds an error to the result and sets status if not already set.
+   * @param {ChainResult} result
+   * @param {string} code
+   * @param {string} message
+   * @param {string|null} commit
+   * @private
+   */
+  _addError(result, code, message, commit) {
+    result.errors.push({ code, message, ...(commit ? { commit } : {}) });
+    if (result.status === STATUS_VALID || result.status === STATUS_PARTIAL) {
+      result.status = STATUS_ERROR;
+    }
+  }
+
+  /**
+   * Evaluates trust for all writers of a graph using signed evidence.
+   *
+   * Reads the trust record chain, builds state, discovers writers,
+   * and returns a TrustAssessment.
+   *
+   * @param {string} graphName
+   * @param {Object} [options]
+   * @param {string} [options.pin] - Pinned trust chain commit SHA
+   * @param {string} [options.mode] - Policy mode ('warn' or 'enforce')
+   * @returns {Promise<import('../trust/TrustEvaluator.js').TrustAssessment>}
+   */
+  async evaluateTrust(graphName, options = {}) {
+    const recordService = new TrustRecordService({
+      persistence: this._persistence,
+      codec: this._codec,
+    });
+
+    const records = await recordService.readRecords(graphName, options.pin ? { tip: options.pin } : {});
+
+    if (records.length === 0) {
+      return {
+        trustSchemaVersion: 1,
+        mode: 'signed_evidence_v1',
+        trustVerdict: 'not_configured',
+        trust: {
+          status: 'not_configured',
+          source: 'none',
+          sourceDetail: null,
+          evaluatedWriters: [],
+          untrustedWriters: [],
+          explanations: [],
+          evidenceSummary: {
+            recordsScanned: 0,
+            activeKeys: 0,
+            revokedKeys: 0,
+            activeBindings: 0,
+            revokedBindings: 0,
+          },
+        },
+      };
+    }
+
+    const trustState = buildState(records);
+    const writerIds = await this._listWriterIds(graphName);
+
+    const policy = {
+      schemaVersion: 1,
+      mode: options.mode ?? 'warn',
+      writerPolicy: 'all_writers_must_be_trusted',
+    };
+
+    return evaluateWriters(writerIds, trustState, policy);
+  }
+}
+