---
type: Attested Computation
title: "Deposit Insurance Coverage Determination — attested computation"
runtime: server
computation: "Kernel-backed evaluation for the compliance_control decision, producing a hash-anchored OpenChainGraph artifact."
executor:
  resource: https://ainumbers.co/chaingraph/kernels/art-507-determine-deposit-insurance-coverage.kernel.mjs
  receipt: ["type", "system", "receiptFormat", "imageId", "seal", "journal"]
attester:
  resource: https://ainumbers.co/chaingraph/graph/nodes/art-507-determine-deposit-insurance-coverage.json#compute_images
timestamp: 2026-07-14
generated: { by: "ainumbers/generate-okf", at: "2026-07-14" }
status: stable
---

# Deposit Insurance Coverage Determination — attested computation

> §10.2 Attested Computation binding for [Deposit Insurance Coverage Determination](../tools/art-507-determine-deposit-insurance-coverage.md).

## Executor

Kernel source: `chaingraph/kernels/art-507-determine-deposit-insurance-coverage.kernel.mjs`. A §18 zkVM compute-integrity
proof, when attached to an artifact this kernel produced, carries these receipt fields:
`type`, `system`, `receiptFormat`, `imageId`, `seal`, `journal` (SPEC.md §18.0).

## Attester

Kernel identity: `sha256:af6ead608e9e4066d16c80dc91534582c71e82ff5d9fc556cb6c9444a00b15d1` (SPEC.md §17.1 `compute_images`) — a
content-addressed digest of this node's deployed kernel source, already published in the
Graph Index. Static and dereferenceable; nothing in OpenChainGraph verification depends on
this OKF bundle, and this concept asserts no execution event or `verified:` status.