@xyo-network/xl1-protocol 5.1.2 → 5.1.3

package/dist/neutral/modules/protocol-lib/runners/DeadLetterQueue.d.ts

@@ -1,8 +1,14 @@
-import type { BlockRejection, Provider, TransactionRejection } from '../../protocol-model/index.js';
+import type { BlockRejection, Provider, SignedBlockRejectionRecord, TransactionRejection } from '../../protocol-model/index.js';
 /** Operations exposed by the Dead Letter Queue Runner contract. */
 export interface DeadLetterQueueRunnerMethods {
-    /** Rejects data through the reject block operation. */
-    rejectBlock(rejection: BlockRejection): Promise<boolean>;
+    /**
+     * Rejects data through the reject block operation.
+     *
+     * When an observer-signed record is supplied it is additionally written to the evidence store,
+     * where it is retained as durable, attributable evidence; the unsigned rejection continues to
+     * land in the operational queue either way.
+     */
+    rejectBlock(rejection: BlockRejection, signed?: SignedBlockRejectionRecord): Promise<boolean>;
     /** Rejects data through the reject transaction operation. */
     rejectTransaction(rejection: TransactionRejection): Promise<boolean>;
 }

package/dist/neutral/modules/protocol-lib/runners/DeadLetterQueue.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DeadLetterQueue.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-lib/runners/DeadLetterQueue.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EAAE,QAAQ,EAAE,oBAAoB,EAC/C,MAAM,iBAAiB,CAAA;AAExB,mEAAmE;AACnE,MAAM,WAAW,4BAA4B;IAC3C,uDAAuD;IACvD,WAAW,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IACxD,6DAA6D;IAC7D,iBAAiB,CAAC,SAAS,EAAE,oBAAoB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CACrE;AAED,iEAAiE;AACjE,eAAO,MAAM,4BAA4B,EAAG,uBAAgC,CAAA;AAC5E,mEAAmE;AACnE,MAAM,MAAM,4BAA4B,GAAG,OAAO,4BAA4B,CAAA;AAE9E,2CAA2C;AAC3C,MAAM,WAAW,2BAA2B;IAC1C,wDAAwD;IACxD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,kEAAkE;IAClE,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB;AAED,uEAAuE;AACvE,MAAM,WAAW,qBAAsB,SAAQ,4BAA4B,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IACjH,gEAAgE;IAChE,mBAAmB,CAAC,OAAO,CAAC,EAAE,2BAA2B,GAAG,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACrF,sEAAsE;IACtE,yBAAyB,CAAC,OAAO,CAAC,EAAE,2BAA2B,GAAG,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAC5F"}
+{"version":3,"file":"DeadLetterQueue.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-lib/runners/DeadLetterQueue.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EAAE,QAAQ,EAAE,0BAA0B,EAAE,oBAAoB,EAC3E,MAAM,iBAAiB,CAAA;AAExB,mEAAmE;AACnE,MAAM,WAAW,4BAA4B;IAC3C;;;;;;OAMG;IACH,WAAW,CAAC,SAAS,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,0BAA0B,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IAC7F,6DAA6D;IAC7D,iBAAiB,CAAC,SAAS,EAAE,oBAAoB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CACrE;AAED,iEAAiE;AACjE,eAAO,MAAM,4BAA4B,EAAG,uBAAgC,CAAA;AAC5E,mEAAmE;AACnE,MAAM,MAAM,4BAA4B,GAAG,OAAO,4BAA4B,CAAA;AAE9E,2CAA2C;AAC3C,MAAM,WAAW,2BAA2B;IAC1C,wDAAwD;IACxD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,kEAAkE;IAClE,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB;AAED,uEAAuE;AACvE,MAAM,WAAW,qBAAsB,SAAQ,4BAA4B,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IACjH,gEAAgE;IAChE,mBAAmB,CAAC,OAAO,CAAC,EAAE,2BAA2B,GAAG,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACrF,sEAAsE;IACtE,yBAAyB,CAAC,OAAO,CAAC,EAAE,2BAA2B,GAAG,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAC5F"}

package/dist/neutral/modules/protocol-lib/runners/Evidence.d.ts

@@ -0,0 +1,57 @@
+import type { Hash } from '@ariestools/sdk';
+import type { Payload, WithHashMeta, XyoAddress } from '@xyo-network/sdk';
+import type { ChainId, EvidenceDisposition, Provider, SignedBlockRejectionRecord, SignedHydratedBlockWithHashMeta, XL1BlockNumber } from '../../protocol-model/index.js';
+/** One candidate block to archive, paired with the reason it left the pending pool. */
+export interface CandidateArchiveEntry {
+    /** The parsed candidate, when the bundle was well-formed enough to parse */
+    block?: SignedHydratedBlockWithHashMeta;
+    /** The stored bundle payload, archived verbatim so artifact identity survives */
+    bundle: WithHashMeta<Payload>;
+    /** Why the candidate left the pending pool */
+    disposition: EvidenceDisposition;
+}
+/** Two distinct same-height candidates from one producer, as detected at ingest. */
+export interface CandidatePairDetected {
+    /** Chain both candidates were proposed on */
+    chain: ChainId;
+    /** Block number both candidates claim */
+    height: XL1BlockNumber;
+    /** Address that signed both candidates */
+    producer: XyoAddress;
+    /** The two candidates' bound witness data hashes, sorted ascending */
+    subjects: [Hash, Hash];
+}
+/** Options for evidence pruning. */
+export interface EvidencePruneOptions {
+    /** Maximum number of entries processed in one batch. */
+    batchSize?: number;
+    /** Maximum number of candidates examined per maintenance pass. */
+    maxCheck?: number;
+    /** Maximum number of entries removed per maintenance pass. */
+    maxPrune?: number;
+}
+/** Operations exposed by the Evidence Store Runner contract. */
+export interface EvidenceStoreRunnerMethods {
+    /** Archives pruned candidates with their dispositions, returning the stored hashes. */
+    archiveCandidates(entries: CandidateArchiveEntry[]): Promise<Hash[]>;
+    /**
+     * Records observed candidates in the (producer, height, data hash) index, returning any
+     * same-height pairs newly detected by this call.
+     */
+    noteCandidates(blocks: SignedHydratedBlockWithHashMeta[]): Promise<CandidatePairDetected[]>;
+    /** Stores an observer-signed rejection record. */
+    recordRejection(record: SignedBlockRejectionRecord): Promise<boolean>;
+}
+/** Moniker identifier for the EvidenceStoreRunner provider. */
+export declare const EvidenceStoreRunnerMoniker: "EvidenceStoreRunner";
+/** Type literal for the EvidenceStoreRunner provider moniker. */
+export type EvidenceStoreRunnerMoniker = typeof EvidenceStoreRunnerMoniker;
+/** Runner interface for executing evidence store write operations. */
+export interface EvidenceStoreRunner extends EvidenceStoreRunnerMethods, Provider<EvidenceStoreRunnerMoniker> {
+    /**
+     * Removes evidence whose retention has expired on both the XL1 floor and the anchor clock,
+     * skipping anything a pending report still references. Returns `[pruned, checked]`.
+     */
+    pruneEvidence(options?: EvidencePruneOptions): Promise<[number, number]>;
+}
+//# sourceMappingURL=Evidence.d.ts.map

package/dist/neutral/modules/protocol-lib/runners/Evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Evidence.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-lib/runners/Evidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,EACV,OAAO,EAAE,YAAY,EAAE,UAAU,EAClC,MAAM,kBAAkB,CAAA;AAEzB,OAAO,KAAK,EACV,OAAO,EACP,mBAAmB,EACnB,QAAQ,EACR,0BAA0B,EAC1B,+BAA+B,EAC/B,cAAc,EACf,MAAM,iBAAiB,CAAA;AAExB,uFAAuF;AACvF,MAAM,WAAW,qBAAqB;IACpC,4EAA4E;IAC5E,KAAK,CAAC,EAAE,+BAA+B,CAAA;IACvC,iFAAiF;IACjF,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;IAC7B,8CAA8C;IAC9C,WAAW,EAAE,mBAAmB,CAAA;CACjC;AAED,oFAAoF;AACpF,MAAM,WAAW,qBAAqB;IACpC,6CAA6C;IAC7C,KAAK,EAAE,OAAO,CAAA;IACd,yCAAyC;IACzC,MAAM,EAAE,cAAc,CAAA;IACtB,0CAA0C;IAC1C,QAAQ,EAAE,UAAU,CAAA;IACpB,sEAAsE;IACtE,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;CACvB;AAED,oCAAoC;AACpC,MAAM,WAAW,oBAAoB;IACnC,wDAAwD;IACxD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,kEAAkE;IAClE,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB;AAED,gEAAgE;AAChE,MAAM,WAAW,0BAA0B;IACzC,uFAAuF;IACvF,iBAAiB,CAAC,OAAO,EAAE,qBAAqB,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;IACpE;;;OAGG;IACH,cAAc,CAAC,MAAM,EAAE,+BAA+B,EAAE,GAAG,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAA;IAC3F,kDAAkD;IAClD,eAAe,CAAC,MAAM,EAAE,0BAA0B,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CACtE;AAED,+DAA+D;AAC/D,eAAO,MAAM,0BAA0B,EAAG,qBAA8B,CAAA;AACxE,iEAAiE;AACjE,MAAM,MAAM,0BAA0B,GAAG,OAAO,0BAA0B,CAAA;AAE1E,sEAAsE;AACtE,MAAM,WAAW,mBAAoB,SAAQ,0BAA0B,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IAC3G;;;OAGG;IACH,aAAa,CAAC,OAAO,CAAC,EAAE,oBAAoB,GAAG,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CACzE"}

package/dist/neutral/modules/protocol-lib/runners/index.d.ts

@@ -3,6 +3,7 @@ export * from './BlockPublish.js';
 export * from './ChainStatePublish.js';
 export * from './DataLakePublish.js';
 export * from './DeadLetterQueue.js';
+export * from './Evidence.js';
 export * from './EvmEventIndexPublish.js';
 export * from './Finalization.js';
 export * from './IndexPublish.js';

package/dist/neutral/modules/protocol-lib/runners/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-lib/runners/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,mBAAmB,CAAA;AACjC,cAAc,wBAAwB,CAAA;AACtC,cAAc,sBAAsB,CAAA;AACpC,cAAc,sBAAsB,CAAA;AACpC,cAAc,2BAA2B,CAAA;AACzC,cAAc,mBAAmB,CAAA;AACjC,cAAc,mBAAmB,CAAA;AACjC,cAAc,cAAc,CAAA;AAC5B,cAAc,sCAAsC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-lib/runners/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,mBAAmB,CAAA;AACjC,cAAc,wBAAwB,CAAA;AACtC,cAAc,sBAAsB,CAAA;AACpC,cAAc,sBAAsB,CAAA;AACpC,cAAc,eAAe,CAAA;AAC7B,cAAc,2BAA2B,CAAA;AACzC,cAAc,mBAAmB,CAAA;AACjC,cAAc,mBAAmB,CAAA;AACjC,cAAc,cAAc,CAAA;AAC5B,cAAc,sCAAsC,CAAA"}

package/dist/neutral/modules/protocol-lib/viewers/Evidence.d.ts

@@ -0,0 +1,70 @@
+import type { Hash } from '@ariestools/sdk';
+import type { Payload, WithHashMeta } from '@xyo-network/sdk';
+import { z } from 'zod/mini';
+import type { CandidatePair, Provider } from '../../protocol-model/index.js';
+/** Zod schema for validating Candidate Pairs Options values. */
+export declare const CandidatePairsOptionsZod: z.ZodMiniObject<{
+    cursor: z.ZodMiniOptional<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
+    limit: z.ZodMiniOptional<z.ZodMiniNumberFormat>;
+    producer: z.ZodMiniOptional<z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
+        readonly __hex: true;
+    } & {
+        readonly __address: true;
+    }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>>;
+}, z.core.$strip>;
+/** Validated Candidate Pairs Options data. */
+export type CandidatePairsOptions = z.infer<typeof CandidatePairsOptionsZod>;
+/** Zod schema for validating Evidence Entries Options values. */
+export declare const EvidenceEntriesOptionsZod: z.ZodMiniObject<{
+    cursor: z.ZodMiniOptional<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
+    limit: z.ZodMiniOptional<z.ZodMiniNumberFormat>;
+    schema: z.ZodMiniOptional<z.ZodMiniString<string>>;
+}, z.core.$strip>;
+/** Validated Evidence Entries Options data. */
+export type EvidenceEntriesOptions = z.infer<typeof EvidenceEntriesOptionsZod>;
+/** Zod schema for validating Evidence Rejections Options values. */
+export declare const EvidenceRejectionsOptionsZod: z.ZodMiniObject<{
+    cursor: z.ZodMiniOptional<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
+    limit: z.ZodMiniOptional<z.ZodMiniNumberFormat>;
+    rejector: z.ZodMiniOptional<z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
+        readonly __hex: true;
+    } & {
+        readonly __address: true;
+    }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>>;
+}, z.core.$strip>;
+/** Validated Evidence Rejections Options data. */
+export type EvidenceRejectionsOptions = z.infer<typeof EvidenceRejectionsOptionsZod>;
+/** Operations exposed by the Evidence Viewer contract. */
+export interface EvidenceViewerMethods {
+    /** Reads recorded same-height candidate pairs — the equivocation detection feed. */
+    candidatePairs(options?: CandidatePairsOptions): Promise<WithHashMeta<CandidatePair>[]>;
+    /** Reads raw evidence entries, optionally filtered by schema. */
+    entries(options?: EvidenceEntriesOptions): Promise<WithHashMeta<Payload>[]>;
+    /** Reads observer-signed rejection records. */
+    rejections(options?: EvidenceRejectionsOptions): Promise<WithHashMeta<Payload>[]>;
+}
+/** Moniker identifier for the EvidenceViewer provider. */
+export declare const EvidenceViewerMoniker: "EvidenceViewer";
+/** Type literal for the EvidenceViewer provider moniker. */
+export type EvidenceViewerMoniker = typeof EvidenceViewerMoniker;
+/** Viewer interface for reading the evidence store. */
+export interface EvidenceViewer extends EvidenceViewerMethods, Provider<EvidenceViewerMoniker> {
+}
+/** Operations exposed by the Evidence Protection Viewer contract. */
+export interface EvidenceProtectionViewerMethods {
+    /**
+     * Artifact data hashes that pending reports still depend on, and which retention therefore
+     * MUST NOT prune. Implemented by the slash-payload workstream over finalized reports lacking
+     * a finalized adjudication; while no implementation is bound, nothing is protected — which is
+     * only safe before reporting is activated.
+     */
+    protectedSubjectHashes(): Promise<Hash[]>;
+}
+/** Moniker identifier for the EvidenceProtectionViewer provider. */
+export declare const EvidenceProtectionViewerMoniker: "EvidenceProtectionViewer";
+/** Type literal for the EvidenceProtectionViewer provider moniker. */
+export type EvidenceProtectionViewerMoniker = typeof EvidenceProtectionViewerMoniker;
+/** Viewer interface for reading evidence retention protections. */
+export interface EvidenceProtectionViewer extends EvidenceProtectionViewerMethods, Provider<EvidenceProtectionViewerMoniker> {
+}
+//# sourceMappingURL=Evidence.d.ts.map

package/dist/neutral/modules/protocol-lib/viewers/Evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Evidence.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-lib/viewers/Evidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAE3C,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAE7D,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAE5B,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAE9D,gEAAgE;AAChE,eAAO,MAAM,wBAAwB;;;;;;;;iBAInC,CAAA;AAEF,8CAA8C;AAC9C,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAE5E,iEAAiE;AACjE,eAAO,MAAM,yBAAyB;;;;iBAIpC,CAAA;AAEF,+CAA+C;AAC/C,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE9E,oEAAoE;AACpE,eAAO,MAAM,4BAA4B;;;;;;;;iBAIvC,CAAA;AAEF,kDAAkD;AAClD,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,4BAA4B,CAAC,CAAA;AAEpF,0DAA0D;AAC1D,MAAM,WAAW,qBAAqB;IACpC,oFAAoF;IACpF,cAAc,CAAC,OAAO,CAAC,EAAE,qBAAqB,GAAG,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;IACvF,iEAAiE;IACjE,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAC3E,+CAA+C;IAC/C,UAAU,CAAC,OAAO,CAAC,EAAE,yBAAyB,GAAG,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;CAClF;AAED,0DAA0D;AAC1D,eAAO,MAAM,qBAAqB,EAAG,gBAAyB,CAAA;AAC9D,4DAA4D;AAC5D,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAA;AAEhE,uDAAuD;AACvD,MAAM,WAAW,cAAe,SAAQ,qBAAqB,EAAE,QAAQ,CAAC,qBAAqB,CAAC;CAAG;AAEjG,qEAAqE;AACrE,MAAM,WAAW,+BAA+B;IAC9C;;;;;OAKG;IACH,sBAAsB,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;CAC1C;AAED,oEAAoE;AACpE,eAAO,MAAM,+BAA+B,EAAG,0BAAmC,CAAA;AAClF,sEAAsE;AACtE,MAAM,MAAM,+BAA+B,GAAG,OAAO,+BAA+B,CAAA;AAEpF,mEAAmE;AACnE,MAAM,WAAW,wBAAyB,SAAQ,+BAA+B,EAAE,QAAQ,CAAC,+BAA+B,CAAC;CAAG"}

package/dist/neutral/modules/protocol-lib/viewers/index.d.ts

@@ -6,6 +6,7 @@ export * from './ChainContract.js';
 export * from './ChainStakeViewer.js';
 export * from './ChainState.js';
 export * from './DeadLetterQueue.js';
+export * from './Evidence.js';
 export * from './EvmChain.js';
 export * from './Finalization.js';
 export * from './Fork.js';

package/dist/neutral/modules/protocol-lib/viewers/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-lib/viewers/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,wBAAwB,CAAA;AACtC,cAAc,kBAAkB,CAAA;AAChC,cAAc,sBAAsB,CAAA;AACpC,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,sBAAsB,CAAA;AACpC,cAAc,eAAe,CAAA;AAC7B,cAAc,mBAAmB,CAAA;AACjC,cAAc,WAAW,CAAA;AACzB,cAAc,kBAAkB,CAAA;AAChC,cAAc,cAAc,CAAA;AAC5B,cAAc,yBAAyB,CAAA;AACvC,cAAc,6BAA6B,CAAA;AAC3C,cAAc,YAAY,CAAA;AAC1B,cAAc,kBAAkB,CAAA;AAChC,cAAc,kBAAkB,CAAA;AAChC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,WAAW,CAAA;AACzB,cAAc,eAAe,CAAA;AAC7B,cAAc,kBAAkB,CAAA;AAChC,cAAc,8BAA8B,CAAA;AAC5C,cAAc,4BAA4B,CAAA;AAC1C,cAAc,sBAAsB,CAAA;AACpC,cAAc,oBAAoB,CAAA;AAClC,cAAc,gBAAgB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-lib/viewers/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,wBAAwB,CAAA;AACtC,cAAc,kBAAkB,CAAA;AAChC,cAAc,sBAAsB,CAAA;AACpC,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,sBAAsB,CAAA;AACpC,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,mBAAmB,CAAA;AACjC,cAAc,WAAW,CAAA;AACzB,cAAc,kBAAkB,CAAA;AAChC,cAAc,cAAc,CAAA;AAC5B,cAAc,yBAAyB,CAAA;AACvC,cAAc,6BAA6B,CAAA;AAC3C,cAAc,YAAY,CAAA;AAC1B,cAAc,kBAAkB,CAAA;AAChC,cAAc,kBAAkB,CAAA;AAChC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,WAAW,CAAA;AACzB,cAAc,eAAe,CAAA;AAC7B,cAAc,kBAAkB,CAAA;AAChC,cAAc,8BAA8B,CAAA;AAC5C,cAAc,4BAA4B,CAAA;AAC1C,cAAc,sBAAsB,CAAA;AACpC,cAAc,oBAAoB,CAAA;AAClC,cAAc,gBAAgB,CAAA"}

package/dist/neutral/modules/protocol-model/evidence/CandidatePairPayload.d.ts

@@ -0,0 +1,41 @@
+import type { Payload } from '@xyo-network/sdk';
+import { z } from 'zod/mini';
+/** Schema identifier for candidate pair payloads. */
+export declare const CandidatePairSchema: "network.xyo.chain.evidence.candidate.pair" & {
+    readonly __schema: true;
+};
+/** Schema type for candidate pair payloads. */
+export type CandidatePairSchema = typeof CandidatePairSchema;
+/**
+ * Fields for a candidate pair record — two distinct signed candidates by the same producer at
+ * the same height.
+ *
+ * A pair is *not* an equivocation on its own: a producer that re-proposes on its own unadopted
+ * candidate is doing normal work. Pairs become equivocation evidence only once the supersedes
+ * field ships and a pair is found with no supersession chain linking it.
+ *
+ * `subjects` MUST be sorted ascending by the writer. Canonical JSON preserves array order, so
+ * sorting is what makes the record's identity symmetric — and therefore idempotent — regardless
+ * of which candidate was observed first.
+ *
+ * This is a local, storage-side payload: it is never block-admissible.
+ */
+export declare const CandidatePairFieldsZod: z.ZodMiniObject<{
+    chain: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHex, string>>;
+    height: import("zod").ZodPipe<import("zod").ZodInt, import("zod").ZodTransform<import('../BlockNumber/xl1BlockNumber.js').XL1BlockNumber, number>>;
+    producer: z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
+        readonly __hex: true;
+    } & {
+        readonly __address: true;
+    }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>;
+    subjects: z.ZodMiniTuple<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>], null>;
+}, z.core.$strip>;
+/** Fields represented by the candidate pair contract. */
+export type CandidatePairFields = z.infer<typeof CandidatePairFieldsZod>;
+/** A candidate pair payload — records two distinct same-height candidates from one producer. */
+export type CandidatePair = Payload<CandidatePairFields, CandidatePairSchema>;
+/** Type guard that checks if a value is a valid CandidatePair. */
+export declare const isCandidatePair: (x?: unknown) => x is CandidatePair;
+/** Casts a value to CandidatePair or returns undefined if invalid. */
+export declare const asCandidatePair: import("@ariestools/sdk").AsTypeFunction<CandidatePair>;
+//# sourceMappingURL=CandidatePairPayload.d.ts.map

package/dist/neutral/modules/protocol-model/evidence/CandidatePairPayload.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CandidatePairPayload.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-model/evidence/CandidatePairPayload.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAI/C,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAK5B,qDAAqD;AACrD,eAAO,MAAM,mBAAmB;;CAA8D,CAAA;AAC9F,+CAA+C;AAC/C,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAA;AAE5D;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;iBASjC,CAAA;AAEF,yDAAyD;AACzD,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAExE,gGAAgG;AAChG,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAA;AAE7E,kEAAkE;AAClE,eAAO,MAAM,eAAe,qCAAiF,CAAA;AAE7G,sEAAsE;AACtE,eAAO,MAAM,eAAe,yDAA0C,CAAA"}

package/dist/neutral/modules/protocol-model/evidence/CandidateSeenPayload.d.ts

@@ -0,0 +1,37 @@
+import type { Payload } from '@xyo-network/sdk';
+import { z } from 'zod/mini';
+/** Schema identifier for candidate seen payloads. */
+export declare const CandidateSeenSchema: "network.xyo.chain.evidence.candidate" & {
+    readonly __schema: true;
+};
+/** Schema type for candidate seen payloads. */
+export type CandidateSeenSchema = typeof CandidateSeenSchema;
+/**
+ * Fields for a candidate seen record — one entry in the (producer, height, data hash) index.
+ *
+ * Every field is canonical, so the payload's own data hash is deterministic and re-inserting
+ * the same observation is idempotent at the archivist. That property is what makes these
+ * records the index: dedupe comes free from payload identity rather than a secondary store.
+ *
+ * This is a local, storage-side payload: it is never block-admissible.
+ */
+export declare const CandidateSeenFieldsZod: z.ZodMiniObject<{
+    chain: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHex, string>>;
+    height: import("zod").ZodPipe<import("zod").ZodInt, import("zod").ZodTransform<import('../BlockNumber/xl1BlockNumber.js').XL1BlockNumber, number>>;
+    previous: z.ZodMiniOptional<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
+    producer: z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
+        readonly __hex: true;
+    } & {
+        readonly __address: true;
+    }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>;
+    subject: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>;
+}, z.core.$strip>;
+/** Fields represented by the candidate seen contract. */
+export type CandidateSeenFields = z.infer<typeof CandidateSeenFieldsZod>;
+/** A candidate seen payload — records that a specific signed candidate was observed. */
+export type CandidateSeen = Payload<CandidateSeenFields, CandidateSeenSchema>;
+/** Type guard that checks if a value is a valid CandidateSeen. */
+export declare const isCandidateSeen: (x?: unknown) => x is CandidateSeen;
+/** Casts a value to CandidateSeen or returns undefined if invalid. */
+export declare const asCandidateSeen: import("@ariestools/sdk").AsTypeFunction<CandidateSeen>;
+//# sourceMappingURL=CandidateSeenPayload.d.ts.map

package/dist/neutral/modules/protocol-model/evidence/CandidateSeenPayload.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CandidateSeenPayload.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-model/evidence/CandidateSeenPayload.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAI/C,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAK5B,qDAAqD;AACrD,eAAO,MAAM,mBAAmB;;CAAyD,CAAA;AACzF,+CAA+C;AAC/C,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAA;AAE5D;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;iBAWjC,CAAA;AAEF,yDAAyD;AACzD,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAExE,wFAAwF;AACxF,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAA;AAE7E,kEAAkE;AAClE,eAAO,MAAM,eAAe,qCAAiF,CAAA;AAE7G,sEAAsE;AACtE,eAAO,MAAM,eAAe,yDAA0C,CAAA"}

package/dist/neutral/modules/protocol-model/evidence/EvidenceDisposition.d.ts

@@ -0,0 +1,14 @@
+import { z } from 'zod/mini';
+/**
+ * Reasons a candidate block can leave the pending pool and enter the evidence store.
+ *
+ * The union ships complete so the stored records never migrate: `expired` and `superseded`
+ * are reserved for the anchor-gate and supersedes-field workstreams and are not produced
+ * by any classifier yet.
+ */
+export declare const EvidenceDispositions: readonly ["expired", "finalized", "foreign", "invalid", "losing", "malformed", "superseded"];
+/** Reason a candidate block was archived as evidence. */
+export type EvidenceDisposition = typeof EvidenceDispositions[number];
+/** Zod schema for an evidence disposition. */
+export declare const EvidenceDispositionZod: z.ZodMiniLiteral<"expired" | "finalized" | "foreign" | "invalid" | "losing" | "malformed" | "superseded">;
+//# sourceMappingURL=EvidenceDisposition.d.ts.map

package/dist/neutral/modules/protocol-model/evidence/EvidenceDisposition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EvidenceDisposition.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-model/evidence/EvidenceDisposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAE5B;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,8FAQvB,CAAA;AAEV,yDAAyD;AACzD,MAAM,MAAM,mBAAmB,GAAG,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAA;AAErE,8CAA8C;AAC9C,eAAO,MAAM,sBAAsB,2GAAkC,CAAA"}

package/dist/neutral/modules/protocol-model/evidence/EvidenceNotePayload.d.ts

@@ -0,0 +1,37 @@
+import type { Payload } from '@xyo-network/sdk';
+import { z } from 'zod/mini';
+/** Schema identifier for evidence note payloads. */
+export declare const EvidenceNoteSchema: "network.xyo.chain.evidence.note" & {
+    readonly __schema: true;
+};
+/** Schema type for evidence note payloads. */
+export type EvidenceNoteSchema = typeof EvidenceNoteSchema;
+/**
+ * Fields for an evidence note — the sibling record written alongside an archived candidate
+ * bundle. The bundle itself is stored verbatim so artifact identity (the contained bound
+ * witness's recomputed data hash) survives archiving; the note carries everything the
+ * retention sweep and the detection feeds need without re-parsing the bundle.
+ *
+ * This is a local, storage-side payload: it is never block-admissible.
+ */
+export declare const EvidenceNoteFieldsZod: z.ZodMiniObject<{
+    bundle: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>;
+    disposition: z.ZodMiniLiteral<"expired" | "finalized" | "foreign" | "invalid" | "losing" | "malformed" | "superseded">;
+    height: z.ZodMiniOptional<import("zod").ZodPipe<import("zod").ZodInt, import("zod").ZodTransform<import('../BlockNumber/xl1BlockNumber.js').XL1BlockNumber, number>>>;
+    observed: import("zod").ZodPipe<import("zod").ZodInt, import("zod").ZodTransform<import('../BlockNumber/xl1BlockNumber.js').XL1BlockNumber, number>>;
+    producer: z.ZodMiniOptional<z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
+        readonly __hex: true;
+    } & {
+        readonly __address: true;
+    }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>>;
+    subject: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>;
+}, z.core.$strip>;
+/** Fields represented by the evidence note contract. */
+export type EvidenceNoteFields = z.infer<typeof EvidenceNoteFieldsZod>;
+/** An evidence note payload — describes one archived candidate in the evidence store. */
+export type EvidenceNote = Payload<EvidenceNoteFields, EvidenceNoteSchema>;
+/** Type guard that checks if a value is a valid EvidenceNote. */
+export declare const isEvidenceNote: (x?: unknown) => x is EvidenceNote;
+/** Casts a value to EvidenceNote or returns undefined if invalid. */
+export declare const asEvidenceNote: import("@ariestools/sdk").AsTypeFunction<EvidenceNote>;
+//# sourceMappingURL=EvidenceNotePayload.d.ts.map

package/dist/neutral/modules/protocol-model/evidence/EvidenceNotePayload.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EvidenceNotePayload.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-model/evidence/EvidenceNotePayload.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAI/C,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAK5B,oDAAoD;AACpD,eAAO,MAAM,kBAAkB;;CAAoD,CAAA;AACnF,8CAA8C;AAC9C,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAA;AAE1D;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;iBAahC,CAAA;AAEF,wDAAwD;AACxD,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEtE,yFAAyF;AACzF,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAA;AAE1E,iEAAiE;AACjE,eAAO,MAAM,cAAc,oCAA8E,CAAA;AAEzG,qEAAqE;AACrE,eAAO,MAAM,cAAc,wDAAyC,CAAA"}

package/dist/neutral/modules/protocol-model/evidence/SignedBlockRejectionRecord.d.ts

@@ -0,0 +1,15 @@
+import type { Signed, UnsignedBoundWitness, WithHashMeta } from '@xyo-network/sdk';
+import type { BlockRejection } from '../rejection/index.js';
+/**
+ * An observer-signed rejection record: a bound witness whose payload set is exactly one
+ * {@link BlockRejection}, hash-meta'd on both sides.
+ *
+ * Signing is what turns a local diagnostic into evidence. The unsigned rejection record the
+ * dead letter queue already keeps says only "some node disliked this block"; a signed record
+ * says *which* node, verifiably, and that is the difference between a log line and something
+ * an invalid-block report can rest on.
+ *
+ * The tuple shape mirrors the hydrated-block convention: `[boundWitness, payloads]`.
+ */
+export type SignedBlockRejectionRecord = [WithHashMeta<Signed<UnsignedBoundWitness>>, [WithHashMeta<BlockRejection>]];
+//# sourceMappingURL=SignedBlockRejectionRecord.d.ts.map

package/dist/neutral/modules/protocol-model/evidence/SignedBlockRejectionRecord.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SignedBlockRejectionRecord.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-model/evidence/SignedBlockRejectionRecord.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,MAAM,EAAE,oBAAoB,EAAE,YAAY,EAC3C,MAAM,kBAAkB,CAAA;AAEzB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AAE3D;;;;;;;;;;GAUG;AACH,MAAM,MAAM,0BAA0B,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC,CAAA"}

package/dist/neutral/modules/protocol-model/evidence/index.d.ts

@@ -0,0 +1,6 @@
+export * from './CandidatePairPayload.js';
+export * from './CandidateSeenPayload.js';
+export * from './EvidenceDisposition.js';
+export * from './EvidenceNotePayload.js';
+export * from './SignedBlockRejectionRecord.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/neutral/modules/protocol-model/evidence/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-model/evidence/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAA;AACzC,cAAc,2BAA2B,CAAA;AACzC,cAAc,0BAA0B,CAAA;AACxC,cAAc,0BAA0B,CAAA;AACxC,cAAc,iCAAiC,CAAA"}

package/dist/neutral/modules/protocol-model/index.d.ts

@@ -2,6 +2,7 @@ export * from './amount/index.js';
 export * from './block/index.js';
 export * from './BlockNumber/index.js';
 export * from './chain/index.js';
+export * from './evidence/index.js';
 export * from './fields/index.js';
 export * from './map/index.js';
 export * from './model/index.js';

package/dist/neutral/modules/protocol-model/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/modules/protocol-model/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAA;AACjC,cAAc,kBAAkB,CAAA;AAChC,cAAc,wBAAwB,CAAA;AACtC,cAAc,kBAAkB,CAAA;AAChC,cAAc,mBAAmB,CAAA;AACjC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,kBAAkB,CAAA;AAChC,cAAc,oBAAoB,CAAA;AAClC,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,sBAAsB,CAAA;AACpC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,wBAAwB,CAAA;AACtC,cAAc,sBAAsB,CAAA;AACpC,cAAc,gBAAgB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/modules/protocol-model/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAA;AACjC,cAAc,kBAAkB,CAAA;AAChC,cAAc,wBAAwB,CAAA;AACtC,cAAc,kBAAkB,CAAA;AAChC,cAAc,qBAAqB,CAAA;AACnC,cAAc,mBAAmB,CAAA;AACjC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,kBAAkB,CAAA;AAChC,cAAc,oBAAoB,CAAA;AAClC,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,sBAAsB,CAAA;AACpC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,wBAAwB,CAAA;AACtC,cAAc,sBAAsB,CAAA;AACpC,cAAc,gBAAgB,CAAA"}

package/dist/neutral/protocol-lib.mjs

@@ -88,6 +88,9 @@ var DataLakePublishRunnerMoniker = "DataLakePublishRunner";
 // src/modules/protocol-lib/runners/DeadLetterQueue.ts
 var DeadLetterQueueRunnerMoniker = "DeadLetterQueueRunner";
 
+// src/modules/protocol-lib/runners/Evidence.ts
+var EvidenceStoreRunnerMoniker = "EvidenceStoreRunner";
+
 // src/modules/protocol-lib/runners/EvmEventIndexPublish.ts
 var EvmEventIndexPublishRunnerMoniker = "EvmEventIndexPublishRunner";
 
@@ -384,6 +387,28 @@ var RejectedTransactionsOptionsZod = z5.object({
 });
 var DeadLetterQueueViewerMoniker = "DeadLetterQueueViewer";
 
+// src/modules/protocol-lib/viewers/Evidence.ts
+import { HashZod as HashZod4 } from "@ariestools/sdk";
+import { XyoAddressZod } from "@xyo-network/sdk";
+import { z as z6 } from "zod/mini";
+var CandidatePairsOptionsZod = z6.object({
+  cursor: z6.optional(HashZod4),
+  limit: z6.optional(z6.int().check(z6.positive())),
+  producer: z6.optional(XyoAddressZod)
+});
+var EvidenceEntriesOptionsZod = z6.object({
+  cursor: z6.optional(HashZod4),
+  limit: z6.optional(z6.int().check(z6.positive())),
+  schema: z6.optional(z6.string())
+});
+var EvidenceRejectionsOptionsZod = z6.object({
+  cursor: z6.optional(HashZod4),
+  limit: z6.optional(z6.int().check(z6.positive())),
+  rejector: z6.optional(XyoAddressZod)
+});
+var EvidenceViewerMoniker = "EvidenceViewer";
+var EvidenceProtectionViewerMoniker = "EvidenceProtectionViewer";
+
 // src/modules/protocol-lib/viewers/EvmChain.ts
 var EvmChainViewerMoniker = "EvmChainViewer";
 
@@ -394,18 +419,18 @@ var FinalizationViewerMoniker = "FinalizationViewer";
 var IndexViewerMoniker = "IndexViewer";
 
 // src/modules/protocol-lib/viewers/Mempool.ts
-import { HashZod as HashZod4 } from "@ariestools/sdk";
-import { z as z6 } from "zod/mini";
+import { HashZod as HashZod5 } from "@ariestools/sdk";
+import { z as z7 } from "zod/mini";
 import { XL1BlockRangeZod } from "#protocol-model";
-var PendingTransactionsOptionsZod = z6.object({
-  cursor: z6.optional(HashZod4),
-  limit: z6.optional(z6.int().check(z6.positive())),
-  window: z6.optional(XL1BlockRangeZod)
+var PendingTransactionsOptionsZod = z7.object({
+  cursor: z7.optional(HashZod5),
+  limit: z7.optional(z7.int().check(z7.positive())),
+  window: z7.optional(XL1BlockRangeZod)
 });
-var PendingBlocksOptionsZod = z6.object({
-  cursor: z6.optional(HashZod4),
-  limit: z6.optional(z6.int().check(z6.positive())),
-  window: z6.optional(XL1BlockRangeZod)
+var PendingBlocksOptionsZod = z7.object({
+  cursor: z7.optional(HashZod5),
+  limit: z7.optional(z7.int().check(z7.positive())),
+  window: z7.optional(XL1BlockRangeZod)
 });
 var MempoolViewerMoniker = "MempoolViewer";
 
@@ -458,34 +483,34 @@ var TransactionViewerMoniker = "TransactionViewer";
 
 // src/modules/protocol-lib/viewers/TransactionInvalidation.ts
 import { zodIsFactory as zodIsFactory5 } from "@ariestools/sdk";
-import { z as z7 } from "zod";
+import { z as z8 } from "zod";
 import { ChainQualifiedHeadConfigZod as ChainQualifiedHeadConfigZod3, ChainQualifiedRangeConfigZod as ChainQualifiedRangeConfigZod3 } from "#protocol-model";
-var TransactionInvalidationConfigFieldsZod = z7.object({
-  state: z7.boolean().optional(),
-  value: z7.boolean().optional()
+var TransactionInvalidationConfigFieldsZod = z8.object({
+  state: z8.boolean().optional(),
+  value: z8.boolean().optional()
 });
-var TransactionInvalidationConfigZod = z7.union([
+var TransactionInvalidationConfigZod = z8.union([
   TransactionInvalidationConfigFieldsZod.extend(ChainQualifiedHeadConfigZod3.shape),
   TransactionInvalidationConfigFieldsZod.extend(ChainQualifiedRangeConfigZod3.shape),
   TransactionInvalidationConfigFieldsZod,
-  z7.object({})
+  z8.object({})
 ]);
 var isTransactionInvalidationConfig = zodIsFactory5(TransactionInvalidationConfigZod);
 var TransactionInvalidationViewerMoniker = "TransactionInvalidationViewer";
 
 // src/modules/protocol-lib/viewers/TransactionValidation.ts
 import { zodIsFactory as zodIsFactory6 } from "@ariestools/sdk";
-import { z as z8 } from "zod";
+import { z as z9 } from "zod";
 import { ChainQualifiedHeadConfigZod as ChainQualifiedHeadConfigZod4, ChainQualifiedRangeConfigZod as ChainQualifiedRangeConfigZod4 } from "#protocol-model";
-var TransactionValidationConfigFieldsZod = z8.object({
-  value: z8.boolean().optional(),
-  state: z8.boolean().optional()
+var TransactionValidationConfigFieldsZod = z9.object({
+  value: z9.boolean().optional(),
+  state: z9.boolean().optional()
 });
-var TransactionValidationConfigZod = z8.union([
+var TransactionValidationConfigZod = z9.union([
   TransactionValidationConfigFieldsZod.extend(ChainQualifiedHeadConfigZod4.shape),
   TransactionValidationConfigFieldsZod.extend(ChainQualifiedRangeConfigZod4.shape),
   TransactionValidationConfigFieldsZod,
-  z8.object({})
+  z9.object({})
 ]);
 var isTransactionValidationConfig = zodIsFactory6(TransactionValidationConfigZod);
 var TransactionValidationViewerMoniker = "TransactionValidationViewer";
@@ -516,6 +541,7 @@ export {
   BlockViewerMoniker,
   BlocksStepSummarySchema,
   BoundWitnessValidationError,
+  CandidatePairsOptionsZod,
   ChainContractViewerMoniker,
   ChainStakeViewerMoniker,
   ChainStatePublishRunnerMoniker,
@@ -526,6 +552,11 @@ export {
   DataLakeViewerMoniker,
   DeadLetterQueueRunnerMoniker,
   DeadLetterQueueViewerMoniker,
+  EvidenceEntriesOptionsZod,
+  EvidenceProtectionViewerMoniker,
+  EvidenceRejectionsOptionsZod,
+  EvidenceStoreRunnerMoniker,
+  EvidenceViewerMoniker,
   EvmChainViewerMoniker,
   EvmEventIndexPublishRunnerMoniker,
   FinalizationRunnerMoniker,