@ftai/dsh-plugin-acn 0.0.0-stage → 0.1.0

package/lib/types/store/reported-sets.d.ts

@@ -0,0 +1,24 @@
+import { z } from 'zod';
+import type { StoreContext } from './context.js';
+export declare const ReportedSetsSchema: z.ZodObject<{
+    reported_claim_sets: z.ZodPipe<z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        first_dispute_id: z.core.$ZodBranded<z.ZodString, "DisputeId", "out">;
+        reported_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+    }, z.core.$strip>>>, z.ZodTransform<{
+        [k: string]: {
+            first_dispute_id: string & z.core.$brand<"DisputeId">;
+            reported_at: string;
+        };
+    }, Record<string, {
+        first_dispute_id: string & z.core.$brand<"DisputeId">;
+        reported_at: string;
+    }>>>;
+}, z.core.$strip>;
+export declare function reportedClaimSetKey(claims: readonly string[]): string;
+export declare class ReportedSetStore {
+    readonly context: StoreContext;
+    constructor(context: StoreContext);
+    read(): Promise<z.infer<typeof ReportedSetsSchema>>;
+    contains(claims: readonly string[]): Promise<boolean>;
+    record(claims: readonly string[], disputeId: string, reportedAt: string): Promise<void>;
+}

package/lib/types/store/session-state.d.ts

@@ -0,0 +1,17 @@
+import { z } from 'zod';
+import type { StoreContext } from './context.js';
+export declare const VersionedDocumentSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+}, z.core.$catchall<z.ZodJSONSchema>>;
+export type VersionedDocument = z.infer<typeof VersionedDocumentSchema>;
+export declare class VersionedFileStore {
+    readonly context: StoreContext;
+    private readonly resolvePath;
+    constructor(context: StoreContext, resolvePath: (id: string) => string);
+    read(id: string): Promise<VersionedDocument | null>;
+    write(id: string, value: unknown): Promise<void>;
+}
+export declare class SessionStateStore extends VersionedFileStore {
+    constructor(context: StoreContext);
+    update(id: string, change: (current: VersionedDocument | null) => VersionedDocument | Promise<VersionedDocument>, signal?: AbortSignal): Promise<VersionedDocument>;
+}

package/lib/types/store/traces.d.ts

@@ -0,0 +1,6 @@
+import { type Trace } from '../protocol/trace.js';
+import type { StoreContext } from './context.js';
+import { EntityStore } from './entities.js';
+export declare class TraceStore extends EntityStore<Trace> {
+    constructor(context: StoreContext);
+}

package/lib/types/store/uploads.d.ts

@@ -0,0 +1,312 @@
+import { z } from 'zod';
+import { type Claim } from '../protocol/claim.js';
+import { type Dispute } from '../protocol/dispute.js';
+import type { PolicyId } from '../protocol/ids.js';
+import type { ConsolidationDelivery } from '../upload/consolidation.js';
+import type { StoreContext } from './context.js';
+export declare const ConsolidationDeliverySchema: z.ZodObject<{
+    before: z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        name: z.ZodString;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        evidence_summary: z.ZodString;
+    }, z.core.$strip>;
+    retired: z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        name: z.ZodString;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        evidence_summary: z.ZodString;
+    }, z.core.$strip>;
+    carriers: z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        name: z.ZodString;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        evidence_summary: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const PendingUploadsSchema: z.ZodObject<{
+    consolidations: z.ZodPipe<z.ZodDefault<z.ZodArray<z.ZodObject<{
+        before: z.ZodObject<{
+            id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            name: z.ZodString;
+            statement: z.ZodString;
+            scope: z.ZodString;
+            holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+            confidence: z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>;
+            status: z.ZodEnum<{
+                active: "active";
+                stale: "stale";
+                deprecated: "deprecated";
+            }>;
+            created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+            updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+            source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            evidence_summary: z.ZodString;
+        }, z.core.$strip>;
+        retired: z.ZodObject<{
+            id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            name: z.ZodString;
+            statement: z.ZodString;
+            scope: z.ZodString;
+            holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+            confidence: z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>;
+            status: z.ZodEnum<{
+                active: "active";
+                stale: "stale";
+                deprecated: "deprecated";
+            }>;
+            created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+            updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+            source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            evidence_summary: z.ZodString;
+        }, z.core.$strip>;
+        carriers: z.ZodArray<z.ZodObject<{
+            id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+            name: z.ZodString;
+            statement: z.ZodString;
+            scope: z.ZodString;
+            holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+            confidence: z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>;
+            status: z.ZodEnum<{
+                active: "active";
+                stale: "stale";
+                deprecated: "deprecated";
+            }>;
+            created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+            updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+            source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+            evidence_summary: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>>, z.ZodTransform<{
+        before: {
+            id: string & z.core.$brand<"ClaimId">;
+            name: string;
+            statement: string;
+            scope: string;
+            holder: string & z.core.$brand<"AgentId">;
+            confidence: "high" | "medium" | "low";
+            status: "active" | "stale" | "deprecated";
+            created_at: string;
+            source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+            evidence_summary: string;
+            updated_at?: string | undefined;
+        };
+        retired: {
+            id: string & z.core.$brand<"ClaimId">;
+            name: string;
+            statement: string;
+            scope: string;
+            holder: string & z.core.$brand<"AgentId">;
+            confidence: "high" | "medium" | "low";
+            status: "active" | "stale" | "deprecated";
+            created_at: string;
+            source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+            evidence_summary: string;
+            updated_at?: string | undefined;
+        };
+        carriers: {
+            id: string & z.core.$brand<"ClaimId">;
+            name: string;
+            statement: string;
+            scope: string;
+            holder: string & z.core.$brand<"AgentId">;
+            confidence: "high" | "medium" | "low";
+            status: "active" | "stale" | "deprecated";
+            created_at: string;
+            source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+            evidence_summary: string;
+            updated_at?: string | undefined;
+        }[];
+    }[] | undefined, {
+        before: {
+            id: string & z.core.$brand<"ClaimId">;
+            name: string;
+            statement: string;
+            scope: string;
+            holder: string & z.core.$brand<"AgentId">;
+            confidence: "high" | "medium" | "low";
+            status: "active" | "stale" | "deprecated";
+            created_at: string;
+            source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+            evidence_summary: string;
+            updated_at?: string | undefined;
+        };
+        retired: {
+            id: string & z.core.$brand<"ClaimId">;
+            name: string;
+            statement: string;
+            scope: string;
+            holder: string & z.core.$brand<"AgentId">;
+            confidence: "high" | "medium" | "low";
+            status: "active" | "stale" | "deprecated";
+            created_at: string;
+            source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+            evidence_summary: string;
+            updated_at?: string | undefined;
+        };
+        carriers: {
+            id: string & z.core.$brand<"ClaimId">;
+            name: string;
+            statement: string;
+            scope: string;
+            holder: string & z.core.$brand<"AgentId">;
+            confidence: "high" | "medium" | "low";
+            status: "active" | "stale" | "deprecated";
+            created_at: string;
+            source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+            evidence_summary: string;
+            updated_at?: string | undefined;
+        }[];
+    }[]>>;
+    acknowledgements: z.ZodPipe<z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        name: z.ZodString;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        evidence_summary: z.ZodString;
+    }, z.core.$strip>>>, z.ZodTransform<{
+        id: string & z.core.$brand<"ClaimId">;
+        name: string;
+        statement: string;
+        scope: string;
+        holder: string & z.core.$brand<"AgentId">;
+        confidence: "high" | "medium" | "low";
+        status: "active" | "stale" | "deprecated";
+        created_at: string;
+        source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+        evidence_summary: string;
+        updated_at?: string | undefined;
+    }[] | undefined, {
+        id: string & z.core.$brand<"ClaimId">;
+        name: string;
+        statement: string;
+        scope: string;
+        holder: string & z.core.$brand<"AgentId">;
+        confidence: "high" | "medium" | "low";
+        status: "active" | "stale" | "deprecated";
+        created_at: string;
+        source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+        evidence_summary: string;
+        updated_at?: string | undefined;
+    }[]>>;
+    claims: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "ClaimId", "out">;
+        name: z.ZodString;
+        statement: z.ZodString;
+        scope: z.ZodString;
+        holder: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        status: z.ZodEnum<{
+            active: "active";
+            stale: "stale";
+            deprecated: "deprecated";
+        }>;
+        created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        updated_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+        source_claim_ids: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.core.$ZodBranded<z.ZodString, "ClaimId", "out">, z.core.$ZodBranded<z.ZodString, "PolicyId", "out">]>>>;
+        evidence_summary: z.ZodString;
+    }, z.core.$strip>>>;
+    durable_claim_ids: z.ZodPipe<z.ZodDefault<z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>>, z.ZodTransform<(string & z.core.$brand<"ClaimId">)[] | undefined, (string & z.core.$brand<"ClaimId">)[]>>;
+    disputes: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "DisputeId", "out">;
+        name: z.ZodString;
+        reporter_agent_id: z.ZodDefault<z.core.$ZodBranded<z.ZodString, "AgentId", "out">>;
+        claims: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ClaimId", "out">>;
+        summary: z.ZodString;
+        status: z.ZodEnum<{
+            open: "open";
+            resolved: "resolved";
+        }>;
+        created_at: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+        resolved_at: z.ZodPreprocess<z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export type PendingUploads = z.infer<typeof PendingUploadsSchema>;
+export declare class UploadStore {
+    readonly context: StoreContext;
+    constructor(context: StoreContext);
+    read(): Promise<PendingUploads>;
+    save(value: unknown): Promise<void>;
+    private persist;
+    modify(update: (current: PendingUploads) => PendingUploads | Promise<PendingUploads>): Promise<void>;
+    enqueue(claims: readonly Claim[], disputes: readonly Dispute[], durable?: boolean, dependencies?: readonly ConsolidationDelivery[]): Promise<void>;
+    removeDeliveredClaims(delivered: readonly Claim[]): Promise<void>;
+    rebind(previous: ConsolidationDelivery, revised: ConsolidationDelivery): Promise<void>;
+    removeDeliveredDisputes(delivered: readonly Dispute[]): Promise<void>;
+    withdrawPolicy(policyId: PolicyId): Promise<void>;
+}

package/lib/types/store/yaml.d.ts

@@ -0,0 +1,8 @@
+import type { z } from 'zod';
+import type { StoreLogger } from './context.js';
+export declare function encodeJson<T>(schema: z.ZodType<T>, value: unknown): string;
+export declare function encodeYaml<T>(schema: z.ZodType<T>, value: unknown): string;
+export declare function decodeYaml<T>(schema: z.ZodType<T>, text: string): T;
+export declare function readYaml<T>(path: string, schema: z.ZodType<T>): Promise<T>;
+export declare function readYamlOr<T, F>(path: string, schema: z.ZodType<T>, fallback: () => F): Promise<T | F>;
+export declare function writeYamlAtomic<T>(path: string, value: unknown, schema: z.ZodType<T>, logger: StoreLogger): Promise<void>;

package/lib/types/team/errors.d.ts

@@ -0,0 +1,10 @@
+export type TeamErrorKind = 'auth' | 'client' | 'legacy_route' | 'retryable' | 'protocol' | 'cancelled';
+export type ConnectionFailure = 'timeout' | 'dns' | 'unreachable' | 'network';
+export declare class TeamError extends Error {
+    readonly kind: TeamErrorKind;
+    readonly service: 'router' | 'maintainer';
+    readonly operation: string;
+    readonly status?: number | undefined;
+    readonly connectionFailure?: ConnectionFailure | undefined;
+    constructor(kind: TeamErrorKind, service: 'router' | 'maintainer', operation: string, status?: number | undefined, connectionFailure?: ConnectionFailure | undefined);
+}

package/lib/types/team/http.d.ts

@@ -0,0 +1,20 @@
+import type { z } from 'zod';
+import type { ResolvedConfig } from '../config.js';
+import type { AgentId } from '../protocol/ids.js';
+export type CredentialResolver = (reference: string) => Promise<string | undefined>;
+export declare function bypassProxy(endpoint: string): boolean;
+export declare function teamUrl(endpoint: string, path: string): string;
+export declare class TeamHttp {
+    readonly service: 'router' | 'maintainer';
+    readonly endpoint: string;
+    readonly agentId: AgentId;
+    readonly config: ResolvedConfig['team'];
+    private readonly credential;
+    private readonly dispatcher;
+    private readonly stop;
+    constructor(service: 'router' | 'maintainer', endpoint: string, agentId: AgentId, config: ResolvedConfig['team'], credential?: CredentialResolver);
+    credentialConfigured(): Promise<boolean>;
+    post<T>(path: string, data: unknown, schema: z.ZodType<T>, signal?: AbortSignal): Promise<T>;
+    post(path: string, data: unknown, schema?: undefined, signal?: AbortSignal): Promise<void>;
+    close(): Promise<void>;
+}

package/lib/types/team/index.d.ts

@@ -0,0 +1,5 @@
+export * from './errors.js';
+export * from './http.js';
+export * from './router-client.js';
+export * from './maintainer-client.js';
+export * from './service.js';

package/lib/types/team/maintainer-client.d.ts

@@ -0,0 +1,18 @@
+import type { InboxMessage } from '../protocol/inbox.js';
+import type { InboxId } from '../protocol/ids.js';
+import type { Claim } from '../protocol/claim.js';
+import type { Dispute } from '../protocol/dispute.js';
+import type { TeamHttp } from './http.js';
+export declare class MaintainerClient {
+    readonly http: TeamHttp;
+    constructor(http: TeamHttp);
+    pull(signal?: AbortSignal): Promise<InboxMessage[]>;
+    ack(ids: readonly InboxId[], signal?: AbortSignal): Promise<void>;
+    upload(claim: Claim, signal?: AbortSignal): Promise<void>;
+    report(dispute: Dispute, signal?: AbortSignal): Promise<void>;
+    health(signal?: AbortSignal): Promise<{
+        status: string;
+        team_auth_enabled: boolean;
+        auth_passed?: boolean | undefined;
+    }>;
+}

package/lib/types/team/router-client.d.ts

@@ -0,0 +1,14 @@
+import type { AgentQuery, RouterQueryResult, ScopesOverviewSnapshot } from '../protocol/router.js';
+import type { TeamHttp } from './http.js';
+export declare class RouterClient {
+    readonly http: TeamHttp;
+    constructor(http: TeamHttp);
+    private bounded;
+    query(query: AgentQuery, signal?: AbortSignal): Promise<RouterQueryResult>;
+    overview(signal?: AbortSignal): Promise<ScopesOverviewSnapshot>;
+    health(signal?: AbortSignal): Promise<{
+        status: string;
+        team_auth_enabled: boolean;
+        auth_passed?: boolean | undefined;
+    }>;
+}

package/lib/types/team/service.d.ts

@@ -0,0 +1,28 @@
+import type { ResolvedConfig } from '../config.js';
+import type { AgentId } from '../protocol/ids.js';
+import type { StoreLogger } from '../store/context.js';
+import type { CredentialResolver } from './http.js';
+import { RouterClient } from './router-client.js';
+import { MaintainerClient } from './maintainer-client.js';
+export interface ConnectionStatus {
+    state: 'unknown' | 'ok' | 'failed';
+    at?: string;
+    error?: string;
+}
+export interface TeamStatus {
+    mode: 'solo' | 'team';
+    router: ConnectionStatus;
+    maintainer: ConnectionStatus;
+}
+export declare class TeamFacade {
+    private readonly logger;
+    readonly router: RouterClient;
+    readonly maintainer: MaintainerClient;
+    private readonly states;
+    private readonly warned;
+    constructor(config: ResolvedConfig['team'], agentId: AgentId, logger: StoreLogger, credential?: CredentialResolver);
+    status(): TeamStatus;
+    request<T>(service: 'router' | 'maintainer', action: () => Promise<T>): Promise<T>;
+    health(signal?: AbortSignal): Promise<void>;
+    close(): Promise<void>;
+}

package/lib/types/team/system-proxy.d.ts

@@ -0,0 +1,9 @@
+export interface SystemProxy {
+    http?: string;
+    https?: string;
+    exceptions: string[];
+}
+export declare function parseMacProxy(output: string): SystemProxy;
+export declare function parseWindowsProxy(output: string): SystemProxy;
+export declare function bypassSystemProxy(endpoint: URL, exceptions: readonly string[]): boolean;
+export declare function systemProxyFor(endpoint: string): Promise<string | undefined>;

package/lib/types/tools/claim.d.ts

@@ -0,0 +1,63 @@
+import { z } from 'zod';
+import type { AcnKnowledge } from '../knowledge/service.js';
+export declare const ClaimToolArgsSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    action: z.ZodLiteral<"list">;
+    query: z.ZodOptional<z.ZodString>;
+    include_deprecated: z.ZodOptional<z.ZodBoolean>;
+    offset: z.ZodOptional<z.ZodNumber>;
+    limit: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>, z.ZodObject<{
+    action: z.ZodLiteral<"read">;
+    id: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    action: z.ZodLiteral<"update">;
+    id: z.ZodString;
+    expected_revision: z.ZodString;
+    name: z.ZodOptional<z.ZodString>;
+    statement: z.ZodOptional<z.ZodString>;
+    scope: z.ZodOptional<z.ZodString>;
+    evidence_summary: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodOptional<z.ZodEnum<{
+        high: "high";
+        medium: "medium";
+        low: "low";
+    }>>;
+    status: z.ZodOptional<z.ZodEnum<{
+        active: "active";
+        stale: "stale";
+        deprecated: "deprecated";
+    }>>;
+}, z.core.$strict>, z.ZodObject<{
+    action: z.ZodLiteral<"traces">;
+    claim_id: z.ZodOptional<z.ZodString>;
+    offset: z.ZodOptional<z.ZodNumber>;
+    limit: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>, z.ZodObject<{
+    action: z.ZodLiteral<"read_trace">;
+    id: z.ZodString;
+    task_offset: z.ZodOptional<z.ZodNumber>;
+    task_limit: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>], "action">;
+export type ClaimToolArgs = z.infer<typeof ClaimToolArgsSchema>;
+export declare const CLAIM_DESCRIPTION = "List, search, read, or CAS-update this agent's own claims, and inspect the original task traces connected to them. Updates require the revision returned by read and preserve claim identity, holder, creation time, and sources.";
+export declare function executeClaim(knowledge: AcnKnowledge, input: unknown, signal?: AbortSignal): Promise<import("../knowledge/types.js").ClaimListPage | import("../knowledge/types.js").ClaimDetail | import("../knowledge/types.js").TraceListPage | import("../knowledge/types.js").TraceDetail | {
+    error: {
+        kind: string;
+        message: string;
+        retryable: boolean;
+    };
+    conflict?: never;
+    current_revision?: never;
+} | {
+    conflict: true;
+    current_revision: string;
+    error?: never;
+} | {
+    error: {
+        kind: string;
+        message: string;
+        retryable?: never;
+    };
+    conflict?: never;
+    current_revision?: never;
+}>;

package/lib/types/tools/consult-router.d.ts

@@ -0,0 +1,11 @@
+import { z } from 'zod';
+import type { AcnKnowledge } from '../knowledge/service.js';
+export declare const CONSULT_ROUTER_DESCRIPTION = "Consult the team router. Use mode='overview' to list available team claim scopes before choosing a query boundary. Use mode='query' with a non-empty scope to retrieve candidate claims and related disputes. Overview is only a map of available scopes; query returns concrete claim content.";
+export declare const ConsultRouterArgsSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    mode: z.ZodLiteral<"overview">;
+}, z.core.$strict>, z.ZodObject<{
+    mode: z.ZodLiteral<"query">;
+    scope: z.ZodString;
+    semantic_query: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, z.core.$strict>], "mode">;
+export declare function executeConsultRouter(knowledge: AcnKnowledge, args: unknown, sessionId: string, signal?: AbortSignal): Promise<unknown>;

package/lib/types/tools/subagent.d.ts

@@ -0,0 +1,8 @@
+export declare function isSubagent(header: {
+    origin?: string;
+    delegationDepth?: number;
+}): boolean;
+export declare function isEvidenceAgent(header: {
+    origin?: string;
+    agentPreset?: string;
+}): boolean;

package/lib/types/tools/validation.d.ts

@@ -0,0 +1,2 @@
+import type { z } from 'zod';
+export declare function validationMessage(error: z.ZodError): string;

package/lib/types/upload/consolidation.d.ts

@@ -0,0 +1,63 @@
+import type { Claim } from '../protocol/claim.js';
+import type { ClaimId } from '../protocol/ids.js';
+import type { z } from 'zod';
+import type { ConsolidationDeliverySchema } from '../store/uploads.js';
+export type ConsolidationDelivery = z.infer<typeof ConsolidationDeliverySchema>;
+export declare function relatedIds(groups: readonly ConsolidationDelivery[]): Set<ClaimId>;
+export declare function consolidationReady(claim: Claim, groups: readonly ConsolidationDelivery[], acknowledged: readonly Claim[], current: readonly Claim[]): boolean;
+export declare function pruneDeliveries(groups: readonly ConsolidationDelivery[], acknowledgements: readonly Claim[], pending: readonly Claim[]): {
+    consolidations: {
+        before: {
+            id: string & z.core.$brand<"ClaimId">;
+            name: string;
+            statement: string;
+            scope: string;
+            holder: string & z.core.$brand<"AgentId">;
+            confidence: "high" | "medium" | "low";
+            status: "active" | "stale" | "deprecated";
+            created_at: string;
+            source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+            evidence_summary: string;
+            updated_at?: string | undefined;
+        };
+        retired: {
+            id: string & z.core.$brand<"ClaimId">;
+            name: string;
+            statement: string;
+            scope: string;
+            holder: string & z.core.$brand<"AgentId">;
+            confidence: "high" | "medium" | "low";
+            status: "active" | "stale" | "deprecated";
+            created_at: string;
+            source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+            evidence_summary: string;
+            updated_at?: string | undefined;
+        };
+        carriers: {
+            id: string & z.core.$brand<"ClaimId">;
+            name: string;
+            statement: string;
+            scope: string;
+            holder: string & z.core.$brand<"AgentId">;
+            confidence: "high" | "medium" | "low";
+            status: "active" | "stale" | "deprecated";
+            created_at: string;
+            source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+            evidence_summary: string;
+            updated_at?: string | undefined;
+        }[];
+    }[];
+    acknowledgements: {
+        id: string & z.core.$brand<"ClaimId">;
+        name: string;
+        statement: string;
+        scope: string;
+        holder: string & z.core.$brand<"AgentId">;
+        confidence: "high" | "medium" | "low";
+        status: "active" | "stale" | "deprecated";
+        created_at: string;
+        source_claim_ids: ((string & z.core.$brand<"ClaimId">) | (string & z.core.$brand<"PolicyId">))[];
+        evidence_summary: string;
+        updated_at?: string | undefined;
+    }[];
+};