archctx-contracts 0.1.5

package/src/index.ts

@@ -0,0 +1,9 @@
+export * from "./control-plane-routes";
+export * from "./external-docs";
+export * from "./github-governance";
+export * from "./ledger";
+export * from "./ports";
+export * from "./practices";
+export * from "./product-version";
+export * from "./schema";
+export * from "./validator";

package/src/ledger.ts

@@ -0,0 +1,649 @@
+import { digestJson, type Json } from "./schema";
+
+export const ARCHITECTURE_EVENT_SCHEMA_VERSION = "archcontext.architecture-event/v1" as const;
+export const ARCHITECTURE_SNAPSHOT_SCHEMA_VERSION = "archcontext.architecture-snapshot/v1" as const;
+export const EVIDENCE_ITEM_SCHEMA_VERSION = "archcontext.evidence-item/v2" as const;
+export const EVIDENCE_BINDING_SCHEMA_VERSION = "archcontext.evidence-binding/v1" as const;
+export const RECOMMENDATION_RUN_SCHEMA_VERSION = "archcontext.recommendation-run/v1" as const;
+export const RECOMMENDATION_SCHEMA_VERSION = "archcontext.recommendation/v2" as const;
+export const RECOMMENDATION_FEEDBACK_SCHEMA_VERSION = "archcontext.recommendation-feedback/v1" as const;
+export const AGENT_JOB_SCHEMA_VERSION = "archcontext.agent-job/v1" as const;
+export const INVESTIGATION_REPORT_SCHEMA_VERSION = "archcontext.investigation-report/v1" as const;
+export const ARCHITECTURE_SUBJECT_SELECTOR_SCHEMA_VERSION = "archcontext.architecture-subject-selector/v1" as const;
+export const ARCHITECTURE_CANDIDATE_DELTA_SCHEMA_VERSION = "archcontext.architecture-candidate-delta/v1" as const;
+export const ARCHITECTURE_CANDIDATE_DELTA_POLICY_SCHEMA_VERSION = "archcontext.architecture-candidate-delta-policy/v1" as const;
+export const PROJECTION_TARGET_SCHEMA_VERSION = "archcontext.projection-target/v1" as const;
+
+export type ArchitectureFactAuthority = "declared" | "observed" | "verified" | "proposed" | "projected";
+export type ArchitectureLedgerMode = "yaml" | "dual" | "dual-compare" | "ledger-shadow" | "ledger" | "ledger-authoritative";
+export type ArchitectureActorKind = "developer" | "daemon" | "hook" | "cli" | "mcp" | "subagent" | "migration" | "system";
+export type ArchitectureEventSource =
+  | "prepare_task"
+  | "checkpoint"
+  | "plan_update"
+  | "apply_update"
+  | "complete_task"
+  | "git_hook"
+  | "yaml_import"
+  | "projection_reconcile"
+  | "migration"
+  | "manual"
+  | "agent_audit";
+
+export type EvidenceStrengthV2 = "heuristic" | "declared" | "observed" | "verified";
+export type EvidencePolarityV2 = "positive" | "absence" | "declaration";
+export type EvidenceOriginV2 = "codegraph" | "model-store-yaml" | "checkpoint" | "runtime-daemon" | "user" | "subagent" | "external-doc";
+export type EvidenceCoverageLevelV2 = "complete" | "partial" | "unknown";
+export type EvidenceAuthorityEffect = "context-only" | "ranking" | "checkpoint-eligible" | "complete-eligible";
+export type ArchitectureSubjectSelectorKind =
+  | "repository"
+  | "path"
+  | "symbol"
+  | "node"
+  | "relation"
+  | "api"
+  | "datastore"
+  | "external-contract";
+export type ArchitectureCodeChangeKind = "added" | "removed" | "moved" | "renamed" | "materially_changed";
+export type ArchitectureDeltaRawFactKind = "git-path-change" | "codegraph-symbol" | "codegraph-relation";
+export type ArchitectureDeltaInterpretationKind =
+  | "code-subject-added"
+  | "code-subject-removed"
+  | "code-subject-moved"
+  | "code-subject-renamed"
+  | "code-subject-materially-changed";
+export type ArchitectureDeclaredTargetKind = "entity" | "relation" | "constraint";
+export type ArchitectureCandidateChangeTargetKind = "node" | "relation" | "constraint" | "owner" | "lifecycle" | "migration-state";
+export type ArchitectureCandidateStateDimension = "target-state" | "migration-state";
+export type ArchitectureDeltaMappingMatchReason =
+  | "declared-path-exact"
+  | "declared-path-prefix"
+  | "declared-name-match"
+  | "declared-relation-endpoints"
+  | "declared-constraint-subject";
+export type ArchitectureDeltaMappingAmbiguityReason =
+  | "declared-graph-unavailable"
+  | "no-declared-target"
+  | "multiple-declared-targets"
+  | "relation-endpoint-unmapped";
+export type ArchitectureCandidateChangeKind =
+  | "node-added"
+  | "node-removed"
+  | "node-moved"
+  | "node-renamed"
+  | "node-materially-changed"
+  | "relation-added"
+  | "relation-removed"
+  | "relation-moved"
+  | "relation-renamed"
+  | "relation-materially-changed"
+  | "constraint-added"
+  | "constraint-removed"
+  | "constraint-moved"
+  | "constraint-renamed"
+  | "constraint-materially-changed"
+  | "owner-added"
+  | "owner-removed"
+  | "owner-moved"
+  | "owner-renamed"
+  | "owner-materially-changed"
+  | "lifecycle-added"
+  | "lifecycle-removed"
+  | "lifecycle-moved"
+  | "lifecycle-renamed"
+  | "lifecycle-materially-changed"
+  | "migration-state-added"
+  | "migration-state-removed"
+  | "migration-state-moved"
+  | "migration-state-renamed"
+  | "migration-state-materially-changed";
+export type ArchitectureCandidateDeltaPolicyAction =
+  | "auto-accept"
+  | "require-checkpoint"
+  | "require-proof"
+  | "require-human-approval";
+export type ArchitectureCandidateDeltaPolicyReasonCode =
+  | "high-confidence-complete-evidence"
+  | "medium-confidence"
+  | "low-confidence"
+  | "partial-evidence"
+  | "missing-evidence"
+  | "mapping-ambiguity"
+  | "migration-state-progress"
+  | "target-state-removal"
+  | "relation-removal"
+  | "constraint-relaxation"
+  | "owner-authority-change";
+export type ProjectionTargetType =
+  | "architecture-index"
+  | "entity-summary"
+  | "relation-summary"
+  | "decision-index"
+  | "architecture-changelog"
+  | "diagram-mermaid"
+  | "diagram-structurizr"
+  | "diagram-likec4";
+export type ProjectionTargetScopeKind = "repository" | "entity" | "relation" | "decision" | "diagram" | "changelog";
+export type ProjectionTargetOwnership = "generated" | "mixed";
+export type ProjectionTargetFormat = "markdown" | "mermaid" | "structurizr-json" | "likec4";
+
+export interface ArchitectureRepositoryIdentityV1 {
+  repositoryId: string;
+  storageRepositoryId: string;
+}
+
+export interface ArchitectureWorktreeIdentityV1 {
+  workspaceId: string;
+  storageWorkspaceId: string;
+  branch: string;
+  headSha: string;
+  worktreeDigest: string;
+}
+
+export interface LedgerProvenanceV1 {
+  producer: string;
+  command: string;
+  inputDigest: string;
+  traceDigest?: string;
+}
+
+export interface ArchitectureEventV1 {
+  schemaVersion: typeof ARCHITECTURE_EVENT_SCHEMA_VERSION;
+  eventId: string;
+  eventType: string;
+  payloadVersion: string;
+  repository: ArchitectureRepositoryIdentityV1;
+  worktree: ArchitectureWorktreeIdentityV1;
+  baseDigest: string;
+  resultingDigest: string;
+  headSha: string;
+  actor: {
+    kind: ArchitectureActorKind;
+    id: string;
+  };
+  source: ArchitectureEventSource;
+  timestamp: string;
+  idempotencyKey: string;
+  provenance: LedgerProvenanceV1;
+  payload: Json;
+  previousEventHash?: string | null;
+  eventHash?: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface ArchitectureSnapshotV1 {
+  schemaVersion: typeof ARCHITECTURE_SNAPSHOT_SCHEMA_VERSION;
+  snapshotId: string;
+  repository: ArchitectureRepositoryIdentityV1;
+  worktree: ArchitectureWorktreeIdentityV1;
+  sourceMode: ArchitectureLedgerMode;
+  eventCursor: {
+    lastEventId: string;
+    lastEventHash: string;
+  };
+  graphDigest: string;
+  projectionDigest: string;
+  entityCount: number;
+  relationCount: number;
+  constraintCount: number;
+  inputDigests: {
+    modelDigest: string;
+    codeFactsDigest?: string;
+    policyDigest?: string;
+    catalogDigest?: string;
+  };
+  createdAt: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface EvidenceItemV2 {
+  schemaVersion: typeof EVIDENCE_ITEM_SCHEMA_VERSION;
+  evidenceId: string;
+  kind: string;
+  strength: EvidenceStrengthV2;
+  polarity: EvidencePolarityV2;
+  origin: EvidenceOriginV2;
+  subject: string;
+  selector: {
+    kind: "repository" | "path" | "symbol" | "relation" | "constraint" | "practice" | "event" | "snapshot";
+    id: string;
+    path?: string;
+    symbolId?: string;
+    startLine?: number;
+    endLine?: number;
+  };
+  summary: string;
+  coverage: {
+    level: EvidenceCoverageLevelV2;
+    scope: string;
+  };
+  supports: ("recommendation" | "checkpoint" | "complete")[];
+  provenance: LedgerProvenanceV1;
+  createdAt: string;
+  digest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface EvidenceBindingV1 {
+  schemaVersion: typeof EVIDENCE_BINDING_SCHEMA_VERSION;
+  bindingId: string;
+  evidenceId: string;
+  target: {
+    kind: "entity" | "relation" | "constraint" | "recommendation" | "practice" | "event" | "snapshot" | "subject" | "candidate-delta";
+    id: string;
+  };
+  bindingReason: "direct-selector" | "predicate-subject" | "change-cursor" | "human-attestation" | "deterministic-check" | "subagent-proposal";
+  authorityEffect: EvidenceAuthorityEffect;
+  createdAt: string;
+  provenance: LedgerProvenanceV1;
+  extensions?: Record<string, Json>;
+}
+
+export interface ArchitectureSubjectSelectorV1 {
+  schemaVersion: typeof ARCHITECTURE_SUBJECT_SELECTOR_SCHEMA_VERSION;
+  selectorId: string;
+  kind: ArchitectureSubjectSelectorKind;
+  repositoryId: string;
+  stableKey: string;
+  path?: string;
+  symbolId?: string;
+  name?: string;
+  relation?: {
+    source: string;
+    target: string;
+    kind: string;
+  };
+  externalId?: string;
+  digest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface ArchitectureDeltaRawFactV1 {
+  factId: string;
+  kind: ArchitectureDeltaRawFactKind;
+  subjectSelectorId: string;
+  source: "git" | "codegraph";
+  summary: string;
+  evidenceIds: string[];
+  digest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface ArchitectureDeltaChangedSubjectV1 {
+  subjectSelectorId: string;
+  changeKind: ArchitectureCodeChangeKind;
+  previousSelectorId?: string;
+  rawFactIds: string[];
+  evidenceIds: string[];
+  digest: string;
+}
+
+export interface ArchitectureDeltaInterpretationV1 {
+  interpretationId: string;
+  kind: ArchitectureDeltaInterpretationKind;
+  subjectSelectorId: string;
+  evidenceIds: string[];
+  confidence: "low" | "medium" | "high";
+  coverage: EvidenceCoverageLevelV2;
+  heuristic: true;
+  summary: string;
+  digest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface ArchitectureDeltaDeclaredSubjectMappingV1 {
+  mappingId: string;
+  subjectSelectorId: string;
+  target: {
+    kind: ArchitectureDeclaredTargetKind;
+    id: string;
+  };
+  matchReason: ArchitectureDeltaMappingMatchReason;
+  confidence: "low" | "medium" | "high";
+  evidenceIds: string[];
+  digest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface ArchitectureDeltaMappingCandidateV1 {
+  target: {
+    kind: ArchitectureDeclaredTargetKind;
+    id: string;
+  };
+  matchReason: ArchitectureDeltaMappingMatchReason;
+  confidence: "low" | "medium" | "high";
+}
+
+export interface ArchitectureDeltaMappingAmbiguityV1 {
+  ambiguityId: string;
+  subjectSelectorId: string;
+  reasonCode: ArchitectureDeltaMappingAmbiguityReason;
+  candidateTargets: ArchitectureDeltaMappingCandidateV1[];
+  evidenceIds: string[];
+  summary: string;
+  digest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface ArchitectureCandidateChangeV1 {
+  candidateChangeId: string;
+  kind: ArchitectureCandidateChangeKind;
+  target: {
+    kind: ArchitectureCandidateChangeTargetKind;
+    id: string;
+    parentId?: string;
+  };
+  stateDimension: ArchitectureCandidateStateDimension;
+  changeKind: ArchitectureCodeChangeKind;
+  subjectSelectorIds: string[];
+  mappingIds: string[];
+  ambiguityIds: string[];
+  evidenceIds: string[];
+  confidence: "low" | "medium" | "high";
+  heuristic: true;
+  summary: string;
+  digest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface ArchitectureCandidateDeltaV1 {
+  schemaVersion: typeof ARCHITECTURE_CANDIDATE_DELTA_SCHEMA_VERSION;
+  deltaId: string;
+  repository: ArchitectureRepositoryIdentityV1;
+  worktree: ArchitectureWorktreeIdentityV1;
+  changeCursor: {
+    source: "git";
+    changeSource: "commit" | "staged" | "worktree";
+    baseSha?: string;
+    headSha: string;
+    pathCount: number;
+    metadataDigest: string;
+    codeFactsDigest: string;
+  };
+  subjectSelectors: ArchitectureSubjectSelectorV1[];
+  changedSubjects: ArchitectureDeltaChangedSubjectV1[];
+  rawFacts: ArchitectureDeltaRawFactV1[];
+  interpretations: ArchitectureDeltaInterpretationV1[];
+  declaredSubjectMappings: ArchitectureDeltaDeclaredSubjectMappingV1[];
+  mappingAmbiguities: ArchitectureDeltaMappingAmbiguityV1[];
+  candidateChanges: ArchitectureCandidateChangeV1[];
+  evidenceItems: EvidenceItemV2[];
+  evidenceBindings: EvidenceBindingV1[];
+  summary: {
+    added: number;
+    removed: number;
+    moved: number;
+    renamed: number;
+    materiallyChanged: number;
+    unresolved: number;
+    mapped: number;
+    ambiguous: number;
+    candidateChanges: number;
+    targetStateChanges: number;
+    migrationStateProgress: number;
+    mappingCoverage: {
+      totalChangedSubjects: number;
+      mappedSubjects: number;
+      unresolvedSubjects: number;
+      ambiguousSubjects: number;
+      coveragePercent: number;
+    };
+    unresolvedSubjects: {
+      total: number;
+      byReason: Record<ArchitectureDeltaMappingAmbiguityReason, number>;
+      subjectSelectorIds: string[];
+    };
+    evidenceStrengthDistribution: Record<EvidenceStrengthV2, number>;
+  };
+  deltaDigest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface ArchitectureCandidateDeltaPolicyDecisionV1 {
+  decisionId: string;
+  candidateChangeId: string;
+  target: {
+    kind: ArchitectureCandidateChangeTargetKind;
+    id: string;
+    parentId?: string;
+  };
+  stateDimension: ArchitectureCandidateStateDimension;
+  changeKind: ArchitectureCodeChangeKind;
+  confidence: "low" | "medium" | "high";
+  action: ArchitectureCandidateDeltaPolicyAction;
+  reasonCodes: ArchitectureCandidateDeltaPolicyReasonCode[];
+  evidenceIds: string[];
+  digest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface ArchitectureCandidateDeltaPolicyEvaluationV1 {
+  schemaVersion: typeof ARCHITECTURE_CANDIDATE_DELTA_POLICY_SCHEMA_VERSION;
+  evaluationId: string;
+  deltaId: string;
+  repository: ArchitectureRepositoryIdentityV1;
+  worktree: ArchitectureWorktreeIdentityV1;
+  deltaDigest: string;
+  policyVersion: string;
+  evaluatedAt: string;
+  decisions: ArchitectureCandidateDeltaPolicyDecisionV1[];
+  summary: {
+    candidateChanges: number;
+    autoAccept: number;
+    requireCheckpoint: number;
+    requireProof: number;
+    requireHumanApproval: number;
+    mappingAmbiguities: number;
+  };
+  evaluationDigest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface ProjectionTargetGeneratedRegionV1 {
+  startMarker: string;
+  endMarker: string;
+}
+
+export interface ProjectionTargetScopeV1 {
+  kind: ProjectionTargetScopeKind;
+  id?: string;
+  entityKind?: string;
+}
+
+export interface ProjectionTargetV1 {
+  schemaVersion: typeof PROJECTION_TARGET_SCHEMA_VERSION;
+  targetId: string;
+  type: ProjectionTargetType;
+  scope: ProjectionTargetScopeV1;
+  path: string;
+  ownership: ProjectionTargetOwnership;
+  generatedRegion: ProjectionTargetGeneratedRegionV1;
+  rendererVersion: string;
+  format: ProjectionTargetFormat;
+  sourceDigest: string;
+  outputDigest: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface RecommendationRunV1 {
+  schemaVersion: typeof RECOMMENDATION_RUN_SCHEMA_VERSION;
+  runId: string;
+  repository: ArchitectureRepositoryIdentityV1;
+  worktree: ArchitectureWorktreeIdentityV1;
+  trigger: {
+    level: "L0" | "L1" | "L2" | "L3" | "L4";
+    source: ArchitectureEventSource;
+  };
+  engineVersion: string;
+  catalogDigest: string;
+  inputDigest: string;
+  outputDigest: string;
+  policyMode: "advisory" | "checkpoint" | "complete";
+  status: "queued" | "running" | "succeeded" | "failed" | "superseded";
+  startedAt: string;
+  completedAt?: string;
+  recommendationIds: string[];
+  metrics: {
+    matchCount: number;
+    evidenceBindingCount: number;
+    unboundEvidenceCount: number;
+  };
+  extensions?: Record<string, Json>;
+}
+
+export interface RecommendationV2 {
+  schemaVersion: typeof RECOMMENDATION_SCHEMA_VERSION;
+  recommendationId: string;
+  runId: string;
+  fingerprint: string;
+  subject: string;
+  practiceId?: string;
+  status: "open" | "acknowledged" | "accepted" | "rejected" | "deferred" | "waived" | "resolved" | "superseded" | "expired";
+  confidence: "low" | "medium" | "high";
+  enforcement: "advisory" | "checkpoint" | "complete";
+  risk: "low" | "medium" | "high";
+  uncertainty: "low" | "medium" | "high";
+  evidenceBindingIds: string[];
+  explanation: string[];
+  createdAt: string;
+  updatedAt: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface RecommendationFeedbackV1 {
+  schemaVersion: typeof RECOMMENDATION_FEEDBACK_SCHEMA_VERSION;
+  feedbackId: string;
+  recommendationId: string;
+  runId: string;
+  action: "acknowledge" | "accept" | "reject" | "defer" | "waive" | "resolve";
+  previousStatus: RecommendationV2["status"];
+  nextStatus: RecommendationV2["status"];
+  actor: {
+    kind: ArchitectureActorKind;
+    id: string;
+    source: "cli" | "mcp" | "manual" | "daemon" | "system" | "subagent";
+  };
+  reason: string;
+  explicit: true;
+  implicitAcceptance: false;
+  repository: ArchitectureRepositoryIdentityV1;
+  worktree: ArchitectureWorktreeIdentityV1;
+  createdAt: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface AgentJobV1 {
+  schemaVersion: typeof AGENT_JOB_SCHEMA_VERSION;
+  jobId: string;
+  status: "queued" | "running" | "succeeded" | "failed" | "cancelled" | "superseded" | "expired";
+  runnerPort: "claude-code" | "codex" | "fake-provider";
+  repository: ArchitectureRepositoryIdentityV1;
+  worktree: ArchitectureWorktreeIdentityV1;
+  fingerprint: string;
+  trigger: {
+    source: ArchitectureEventSource;
+    reason: string;
+  };
+  budget: {
+    maxRunsPerTask: number;
+    maxRunsPerRepositoryPerDay: number;
+    maxRunsPerDay?: number;
+  };
+  inputDigest: string;
+  promptTemplateDigest: string;
+  outputDigest?: string;
+  stalePolicy: "cancel-on-head-change" | "advisory-only-on-stale";
+  directMutationAllowed: false;
+  queuedAt: string;
+  updatedAt: string;
+  extensions?: Record<string, Json>;
+}
+
+export interface InvestigationReportV1 {
+  schemaVersion: typeof INVESTIGATION_REPORT_SCHEMA_VERSION;
+  reportId: string;
+  jobId: string;
+  status: "succeeded" | "failed" | "partial";
+  findings: {
+    findingId: string;
+    hypothesis: string;
+    evidenceBindingIds: string[];
+    unknowns: string[];
+    falsifier: string;
+    proposedDelta: ArchitectureCandidateChangeV1;
+    proposedDeltaDigest: string;
+    confidence: "low" | "medium" | "high";
+  }[];
+  outputDigest: string;
+  createdAt: string;
+  directMutationAllowed: false;
+  extensions?: Record<string, Json>;
+}
+
+export const LEDGER_AUTHORITY_MATRIX: Record<ArchitectureFactAuthority, {
+  writer: string;
+  canonicalIdRule: string;
+  conflictPolicy: string;
+}> = {
+  declared: {
+    writer: "ChangeSet-approved Git projection in .archcontext/",
+    canonicalIdRule: "stable declared architecture ID from repo model",
+    conflictPolicy: "Git conflict or projection drift blocks promotion until reconciled"
+  },
+  observed: {
+    writer: "CodeGraph adapter and deterministic runtime probes",
+    canonicalIdRule: "selector digest scoped by repository and worktree identity",
+    conflictPolicy: "Observed facts can support evidence but cannot overwrite declared facts"
+  },
+  verified: {
+    writer: "Deterministic checks, test/readback artifacts, and accepted attestations",
+    canonicalIdRule: "verification subject plus evidence digest",
+    conflictPolicy: "New verification supersedes older verification only at the same HEAD/worktree cursor"
+  },
+  proposed: {
+    writer: "ChangeSet drafts and subagent investigation proposals",
+    canonicalIdRule: "proposal ID plus idempotency key",
+    conflictPolicy: "Proposal remains non-authoritative until validated and approved"
+  },
+  projected: {
+    writer: "Renderer from accepted architecture state",
+    canonicalIdRule: "projection target path plus source snapshot digest",
+    conflictPolicy: "Human edits outside generated regions become drift requiring explicit reconcile"
+  }
+};
+
+export function architectureEventHash(event: ArchitectureEventV1): string {
+  const { eventHash: _eventHash, extensions: _extensions, ...hashable } = event;
+  return digestJson(hashable as unknown as Json);
+}
+
+export function architectureSnapshotDigest(snapshot: ArchitectureSnapshotV1): string {
+  const { snapshotId: _snapshotId, createdAt: _createdAt, extensions: _extensions, ...hashable } = snapshot;
+  return digestJson(hashable as unknown as Json);
+}
+
+export function architectureSubjectSelectorDigest(selector: ArchitectureSubjectSelectorV1): string {
+  const { digest: _digest, extensions: _extensions, ...hashable } = selector;
+  return digestJson(hashable as unknown as Json);
+}
+
+export function architectureCandidateDeltaDigest(delta: ArchitectureCandidateDeltaV1): string {
+  const { deltaDigest: _deltaDigest, extensions: _extensions, ...hashable } = delta;
+  return digestJson(hashable as unknown as Json);
+}
+
+export function architectureCandidateDeltaPolicyDecisionDigest(decision: ArchitectureCandidateDeltaPolicyDecisionV1): string {
+  const { digest: _digest, extensions: _extensions, ...hashable } = decision;
+  return digestJson(hashable as unknown as Json);
+}
+
+export function architectureCandidateDeltaPolicyEvaluationDigest(evaluation: ArchitectureCandidateDeltaPolicyEvaluationV1): string {
+  const {
+    evaluationId: _evaluationId,
+    evaluatedAt: _evaluatedAt,
+    evaluationDigest: _evaluationDigest,
+    extensions: _extensions,
+    ...hashable
+  } = evaluation;
+  return digestJson(hashable as unknown as Json);
+}