@odingard/guardian-sdk 0.0.0-stage → 0.2.0

package/dist-dts/contracts/authority-graph.d.ts

@@ -0,0 +1,294 @@
+import { z } from "zod";
+/**
+ * WO-010 — the authority graph: principal → agent → task → tool/resource
+ * nodes with bounded delegated edges. This is a read model over the same
+ * authority state the kernel evaluates; it never carries a second policy
+ * path (GUA-UNIVERSAL-001 K15).
+ */
+export declare const AuthorityGraphNodeKindSchema: z.ZodEnum<{
+    tool: "tool";
+    agent: "agent";
+    task: "task";
+    principal: "principal";
+    resource: "resource";
+    connection: "connection";
+}>;
+export declare const AuthorityGraphNodeSchema: z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        tool: "tool";
+        agent: "agent";
+        task: "task";
+        principal: "principal";
+        resource: "resource";
+        connection: "connection";
+    }>;
+    label: z.ZodString;
+    status: z.ZodOptional<z.ZodEnum<{
+        active: "active";
+        revoked: "revoked";
+        expired: "expired";
+        paused: "paused";
+    }>>;
+}, z.core.$strict>;
+/**
+ * A writ edge: one emitted version of a grant, dated and bounded. The edge's
+ * ceiling is the grant's constraints at that version — a delegated edge may
+ * only carry a ceiling equal to or narrower than its parent edge's.
+ */
+export declare const AuthorityWritSchema: z.ZodObject<{
+    grantId: z.core.$ZodBranded<z.ZodString, "GrantId", "out">;
+    version: z.ZodNumber;
+    issuedAtEpochMs: z.ZodNumber;
+    change: z.ZodEnum<{
+        revoked: "revoked";
+        issued: "issued";
+        paused: "paused";
+        amended: "amended";
+        resumed: "resumed";
+    }>;
+    ceiling: z.ZodObject<{
+        actions: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "ActionType", "out">>, z.ZodTransform<(string & z.core.$brand<"ActionType">)[], (string & z.core.$brand<"ActionType">)[]>>;
+        resources: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "ResourceRef", "out">>, z.ZodTransform<(string & z.core.$brand<"ResourceRef">)[], (string & z.core.$brand<"ResourceRef">)[]>>;
+        adapterIds: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "AdapterId", "out">>, z.ZodTransform<(string & z.core.$brand<"AdapterId">)[], (string & z.core.$brand<"AdapterId">)[]>>;
+        maxValueCents: z.ZodOptional<z.ZodNumber>;
+        maxUsesPerRequest: z.ZodNumber;
+        notBeforeEpochMs: z.ZodOptional<z.ZodNumber>;
+        expiresAtEpochMs: z.ZodNumber;
+        approvalRequired: z.ZodBoolean;
+        askAboveValueCents: z.ZodOptional<z.ZodNumber>;
+        merchantAllowlist: z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<string[], string[]>>>;
+        categoryAllowlist: z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<string[], string[]>>>;
+        recurrence: z.ZodOptional<z.ZodEnum<{
+            never: "never";
+            allowed: "allowed";
+        }>>;
+        budgetIds: z.ZodOptional<z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "BudgetId", "out">>, z.ZodTransform<(string & z.core.$brand<"BudgetId">)[], (string & z.core.$brand<"BudgetId">)[]>>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const AuthorityGraphEdgeSchema: z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        contains: "contains";
+        writ: "writ";
+        coverage: "coverage";
+    }>;
+    from: z.ZodString;
+    to: z.ZodString;
+    writ: z.ZodOptional<z.ZodObject<{
+        grantId: z.core.$ZodBranded<z.ZodString, "GrantId", "out">;
+        version: z.ZodNumber;
+        issuedAtEpochMs: z.ZodNumber;
+        change: z.ZodEnum<{
+            revoked: "revoked";
+            issued: "issued";
+            paused: "paused";
+            amended: "amended";
+            resumed: "resumed";
+        }>;
+        ceiling: z.ZodObject<{
+            actions: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "ActionType", "out">>, z.ZodTransform<(string & z.core.$brand<"ActionType">)[], (string & z.core.$brand<"ActionType">)[]>>;
+            resources: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "ResourceRef", "out">>, z.ZodTransform<(string & z.core.$brand<"ResourceRef">)[], (string & z.core.$brand<"ResourceRef">)[]>>;
+            adapterIds: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "AdapterId", "out">>, z.ZodTransform<(string & z.core.$brand<"AdapterId">)[], (string & z.core.$brand<"AdapterId">)[]>>;
+            maxValueCents: z.ZodOptional<z.ZodNumber>;
+            maxUsesPerRequest: z.ZodNumber;
+            notBeforeEpochMs: z.ZodOptional<z.ZodNumber>;
+            expiresAtEpochMs: z.ZodNumber;
+            approvalRequired: z.ZodBoolean;
+            askAboveValueCents: z.ZodOptional<z.ZodNumber>;
+            merchantAllowlist: z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<string[], string[]>>>;
+            categoryAllowlist: z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<string[], string[]>>>;
+            recurrence: z.ZodOptional<z.ZodEnum<{
+                never: "never";
+                allowed: "allowed";
+            }>>;
+            budgetIds: z.ZodOptional<z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "BudgetId", "out">>, z.ZodTransform<(string & z.core.$brand<"BudgetId">)[], (string & z.core.$brand<"BudgetId">)[]>>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    parentEdgeId: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodEnum<{
+        active: "active";
+        revoked: "revoked";
+        paused: "paused";
+    }>>;
+}, z.core.$strict>;
+/**
+ * The kernel's effective constraints: the restrictive intersection of a
+ * chain's ceilings. Unlike the issuance schema, computed intersections may
+ * leave a set empty — an empty actions/resources/adapterIds set means the
+ * chain can satisfy nothing, which is itself a truthful answer.
+ */
+export declare const EffectiveConstraintsSchema: z.ZodObject<{
+    actions: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ActionType", "out">>;
+    resources: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ResourceRef", "out">>;
+    adapterIds: z.ZodArray<z.core.$ZodBranded<z.ZodString, "AdapterId", "out">>;
+    maxValueCents: z.ZodOptional<z.ZodNumber>;
+    maxUsesPerRequest: z.ZodNumber;
+    notBeforeEpochMs: z.ZodOptional<z.ZodNumber>;
+    expiresAtEpochMs: z.ZodNumber;
+    approvalRequired: z.ZodBoolean;
+    askAboveValueCents: z.ZodOptional<z.ZodNumber>;
+    merchantAllowlist: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    categoryAllowlist: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    recurrence: z.ZodOptional<z.ZodEnum<{
+        never: "never";
+        allowed: "allowed";
+    }>>;
+    budgetIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+/**
+ * Effective authority for one agent: the per-chain result of the kernel's
+ * own chain evaluation — the same computation the decision path runs, so the
+ * Authority Map can never drift from what the kernel enforces.
+ */
+export declare const EffectiveAuthoritySchema: z.ZodObject<{
+    agentId: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+    suspended: z.ZodBoolean;
+    chains: z.ZodArray<z.ZodObject<{
+        grantIds: z.ZodArray<z.core.$ZodBranded<z.ZodString, "GrantId", "out">>;
+        outcome: z.ZodEnum<{
+            denied: "denied";
+            effective: "effective";
+        }>;
+        reasonCode: z.ZodOptional<z.ZodString>;
+        effective: z.ZodOptional<z.ZodObject<{
+            actions: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ActionType", "out">>;
+            resources: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ResourceRef", "out">>;
+            adapterIds: z.ZodArray<z.core.$ZodBranded<z.ZodString, "AdapterId", "out">>;
+            maxValueCents: z.ZodOptional<z.ZodNumber>;
+            maxUsesPerRequest: z.ZodNumber;
+            notBeforeEpochMs: z.ZodOptional<z.ZodNumber>;
+            expiresAtEpochMs: z.ZodNumber;
+            approvalRequired: z.ZodBoolean;
+            askAboveValueCents: z.ZodOptional<z.ZodNumber>;
+            merchantAllowlist: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            categoryAllowlist: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            recurrence: z.ZodOptional<z.ZodEnum<{
+                never: "never";
+                allowed: "allowed";
+            }>>;
+            budgetIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const AuthorityGraphSchema: z.ZodObject<{
+    tenantId: z.core.$ZodBranded<z.ZodString, "TenantId", "out">;
+    principalId: z.core.$ZodBranded<z.ZodString, "PrincipalId", "out">;
+    computedAtEpochMs: z.ZodNumber;
+    nodes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            tool: "tool";
+            agent: "agent";
+            task: "task";
+            principal: "principal";
+            resource: "resource";
+            connection: "connection";
+        }>;
+        label: z.ZodString;
+        status: z.ZodOptional<z.ZodEnum<{
+            active: "active";
+            revoked: "revoked";
+            expired: "expired";
+            paused: "paused";
+        }>>;
+    }, z.core.$strict>>;
+    edges: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            contains: "contains";
+            writ: "writ";
+            coverage: "coverage";
+        }>;
+        from: z.ZodString;
+        to: z.ZodString;
+        writ: z.ZodOptional<z.ZodObject<{
+            grantId: z.core.$ZodBranded<z.ZodString, "GrantId", "out">;
+            version: z.ZodNumber;
+            issuedAtEpochMs: z.ZodNumber;
+            change: z.ZodEnum<{
+                revoked: "revoked";
+                issued: "issued";
+                paused: "paused";
+                amended: "amended";
+                resumed: "resumed";
+            }>;
+            ceiling: z.ZodObject<{
+                actions: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "ActionType", "out">>, z.ZodTransform<(string & z.core.$brand<"ActionType">)[], (string & z.core.$brand<"ActionType">)[]>>;
+                resources: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "ResourceRef", "out">>, z.ZodTransform<(string & z.core.$brand<"ResourceRef">)[], (string & z.core.$brand<"ResourceRef">)[]>>;
+                adapterIds: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "AdapterId", "out">>, z.ZodTransform<(string & z.core.$brand<"AdapterId">)[], (string & z.core.$brand<"AdapterId">)[]>>;
+                maxValueCents: z.ZodOptional<z.ZodNumber>;
+                maxUsesPerRequest: z.ZodNumber;
+                notBeforeEpochMs: z.ZodOptional<z.ZodNumber>;
+                expiresAtEpochMs: z.ZodNumber;
+                approvalRequired: z.ZodBoolean;
+                askAboveValueCents: z.ZodOptional<z.ZodNumber>;
+                merchantAllowlist: z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<string[], string[]>>>;
+                categoryAllowlist: z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<string[], string[]>>>;
+                recurrence: z.ZodOptional<z.ZodEnum<{
+                    never: "never";
+                    allowed: "allowed";
+                }>>;
+                budgetIds: z.ZodOptional<z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "BudgetId", "out">>, z.ZodTransform<(string & z.core.$brand<"BudgetId">)[], (string & z.core.$brand<"BudgetId">)[]>>>;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+        parentEdgeId: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodEnum<{
+            active: "active";
+            revoked: "revoked";
+            paused: "paused";
+        }>>;
+    }, z.core.$strict>>;
+    effectiveAuthority: z.ZodArray<z.ZodObject<{
+        agentId: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        suspended: z.ZodBoolean;
+        chains: z.ZodArray<z.ZodObject<{
+            grantIds: z.ZodArray<z.core.$ZodBranded<z.ZodString, "GrantId", "out">>;
+            outcome: z.ZodEnum<{
+                denied: "denied";
+                effective: "effective";
+            }>;
+            reasonCode: z.ZodOptional<z.ZodString>;
+            effective: z.ZodOptional<z.ZodObject<{
+                actions: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ActionType", "out">>;
+                resources: z.ZodArray<z.core.$ZodBranded<z.ZodString, "ResourceRef", "out">>;
+                adapterIds: z.ZodArray<z.core.$ZodBranded<z.ZodString, "AdapterId", "out">>;
+                maxValueCents: z.ZodOptional<z.ZodNumber>;
+                maxUsesPerRequest: z.ZodNumber;
+                notBeforeEpochMs: z.ZodOptional<z.ZodNumber>;
+                expiresAtEpochMs: z.ZodNumber;
+                approvalRequired: z.ZodBoolean;
+                askAboveValueCents: z.ZodOptional<z.ZodNumber>;
+                merchantAllowlist: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                categoryAllowlist: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                recurrence: z.ZodOptional<z.ZodEnum<{
+                    never: "never";
+                    allowed: "allowed";
+                }>>;
+                budgetIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    activePauses: z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "PauseId", "out">;
+        scope: z.ZodEnum<{
+            agent: "agent";
+            principal: "principal";
+            grant: "grant";
+            connection: "connection";
+        }>;
+        agentId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "AgentId", "out">>;
+        grantId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "GrantId", "out">>;
+        connectionId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "ConnectionId", "out">>;
+        adapterId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "AdapterId", "out">>;
+        taskId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "TaskId", "out">>;
+        createdAtEpochMs: z.ZodNumber;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type EffectiveConstraints = z.infer<typeof EffectiveConstraintsSchema>;
+export type AuthorityGraphNodeKind = z.infer<typeof AuthorityGraphNodeKindSchema>;
+export type AuthorityGraphNode = z.infer<typeof AuthorityGraphNodeSchema>;
+export type AuthorityWrit = z.infer<typeof AuthorityWritSchema>;
+export type AuthorityGraphEdge = z.infer<typeof AuthorityGraphEdgeSchema>;
+export type EffectiveAuthority = z.infer<typeof EffectiveAuthoritySchema>;
+export type AuthorityGraph = z.infer<typeof AuthorityGraphSchema>;

package/dist-dts/contracts/authority-state.d.ts

@@ -0,0 +1,108 @@
+import { z } from "zod";
+import { type CanonicalAction, type RecordedAuthorityEvaluationInput } from "./action.js";
+export declare const AuthorityStateSnapshotSchema: z.ZodObject<{
+    principal: z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "PrincipalId", "out">;
+        tenantId: z.core.$ZodBranded<z.ZodString, "TenantId", "out">;
+        status: z.ZodEnum<{
+            active: "active";
+            disabled: "disabled";
+        }>;
+    }, z.core.$strict>;
+    agent: z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        tenantId: z.core.$ZodBranded<z.ZodString, "TenantId", "out">;
+        ownerPrincipalId: z.core.$ZodBranded<z.ZodString, "PrincipalId", "out">;
+        status: z.ZodEnum<{
+            active: "active";
+            disabled: "disabled";
+            revoked: "revoked";
+        }>;
+        allowedInterfaces: z.ZodPipe<z.ZodArray<z.ZodEnum<{
+            mcp: "mcp";
+            rest: "rest";
+            internal: "internal";
+        }>>, z.ZodTransform<("mcp" | "rest" | "internal")[], ("mcp" | "rest" | "internal")[]>>;
+        boundRuntime: z.ZodOptional<z.ZodString>;
+        boundModel: z.ZodOptional<z.ZodString>;
+        parentAgentId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "AgentId", "out">>;
+    }, z.core.$strict>;
+    policy: z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "PolicyId", "out">;
+        version: z.ZodNumber;
+    }, z.core.$strict>;
+    authorityChain: z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "GrantId", "out">;
+        tenantId: z.core.$ZodBranded<z.ZodString, "TenantId", "out">;
+        principalId: z.core.$ZodBranded<z.ZodString, "PrincipalId", "out">;
+        agentId: z.core.$ZodBranded<z.ZodString, "AgentId", "out">;
+        parentGrantId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "GrantId", "out">>;
+        issuedBy: z.ZodObject<{
+            type: z.ZodLiteral<"principal">;
+            principalId: z.core.$ZodBranded<z.ZodString, "PrincipalId", "out">;
+        }, z.core.$strict>;
+        status: z.ZodEnum<{
+            active: "active";
+            disabled: "disabled";
+            revoked: "revoked";
+        }>;
+        version: z.ZodNumber;
+        delegable: z.ZodDefault<z.ZodBoolean>;
+        constraints: z.ZodObject<{
+            actions: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "ActionType", "out">>, z.ZodTransform<(string & z.core.$brand<"ActionType">)[], (string & z.core.$brand<"ActionType">)[]>>;
+            resources: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "ResourceRef", "out">>, z.ZodTransform<(string & z.core.$brand<"ResourceRef">)[], (string & z.core.$brand<"ResourceRef">)[]>>;
+            adapterIds: z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "AdapterId", "out">>, z.ZodTransform<(string & z.core.$brand<"AdapterId">)[], (string & z.core.$brand<"AdapterId">)[]>>;
+            maxValueCents: z.ZodOptional<z.ZodNumber>;
+            maxUsesPerRequest: z.ZodNumber;
+            notBeforeEpochMs: z.ZodOptional<z.ZodNumber>;
+            expiresAtEpochMs: z.ZodNumber;
+            approvalRequired: z.ZodBoolean;
+            askAboveValueCents: z.ZodOptional<z.ZodNumber>;
+            merchantAllowlist: z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<string[], string[]>>>;
+            categoryAllowlist: z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodString>, z.ZodTransform<string[], string[]>>>;
+            recurrence: z.ZodOptional<z.ZodEnum<{
+                never: "never";
+                allowed: "allowed";
+            }>>;
+            budgetIds: z.ZodOptional<z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "BudgetId", "out">>, z.ZodTransform<(string & z.core.$brand<"BudgetId">)[], (string & z.core.$brand<"BudgetId">)[]>>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    revocations: z.ZodArray<z.ZodObject<{
+        grantId: z.core.$ZodBranded<z.ZodString, "GrantId", "out">;
+        revokedAtEpochMs: z.ZodNumber;
+        reasonCode: z.ZodString;
+    }, z.core.$strict>>;
+    pauses: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "PauseId", "out">;
+        scope: z.ZodEnum<{
+            agent: "agent";
+            principal: "principal";
+            grant: "grant";
+            connection: "connection";
+        }>;
+        agentId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "AgentId", "out">>;
+        grantIds: z.ZodOptional<z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "GrantId", "out">>, z.ZodTransform<(string & z.core.$brand<"GrantId">)[], (string & z.core.$brand<"GrantId">)[]>>>;
+        adapterIds: z.ZodOptional<z.ZodPipe<z.ZodArray<z.core.$ZodBranded<z.ZodString, "AdapterId", "out">>, z.ZodTransform<(string & z.core.$brand<"AdapterId">)[], (string & z.core.$brand<"AdapterId">)[]>>>;
+    }, z.core.$strict>>>;
+    allowedAdapterIds: z.ZodArray<z.core.$ZodBranded<z.ZodString, "AdapterId", "out">>;
+    budgets: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.core.$ZodBranded<z.ZodString, "BudgetId", "out">;
+        scope: z.ZodEnum<{
+            agent: "agent";
+            task: "task";
+        }>;
+        taskId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "TaskId", "out">>;
+        limitCents: z.ZodNumber;
+        consumedCents: z.ZodNumber;
+        transactionLimit: z.ZodNumber;
+        consumedTransactions: z.ZodNumber;
+        expiresAtEpochMs: z.ZodOptional<z.ZodNumber>;
+        status: z.ZodEnum<{
+            active: "active";
+            exhausted: "exhausted";
+            revoked: "revoked";
+        }>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type AuthorityStateSnapshot = z.infer<typeof AuthorityStateSnapshotSchema>;
+export declare function buildRecordedEvaluationInput(actionInput: CanonicalAction, stateInput: AuthorityStateSnapshot, nowEpochMs: number): RecordedAuthorityEvaluationInput;