{
  "tool_id": "art-484-regrpt-editcheck-runner",
  "kernel_id": "art-484-regrpt-editcheck-runner",
  "display_name": "Published Regulatory Report Edit-Check Runner",
  "tool_version": "1.0.0",
  "mandate_type": "regulatory_reporting",
  "purpose": "Evaluates a caller-supplied report instance against a caller-supplied published edit-check rule set -- FFIEC Call Report validity and quality edits (Excel/PDF, published ahead of each quarter-end, latest 2026-01-22) or the EBA ITS validation-rules list -- across seven rule shapes: intra-schedule arithmetic identity, cross-schedule tie-out, sign/domain constraint, mandatory-field completeness, closed-domain membership, conditional presence, and conditional prohibition. The three conditional shapes take a when predicate over other cells in the same row. Returns per-rule pass/fail/suppressed status keyed by the published edit id, with failing cell references and computed-vs-reported values. Accepts a deactivation/suppression list as a first-class policy input (the EBA publishes rules deactivated for inaccuracies or IT issues; this kernel never reports a failure on a stood-down rule, and records exactly which suppressions were applied plus any that are stale). Distinct from art-434-call-report-edit-check-gate, which runs a CURATED, HARDCODED battery of checks against a specific art-432/art-433 Schedule RC/RC-R output shape: this kernel bakes in no rule content at all, and evaluates whatever rule set the caller supplies against whatever report instance the caller supplies. Nothing access-gated is required to get a result.",
  "control_description": "Evaluates a caller-supplied report instance against a caller-supplied published edit-check rule set -- FFIEC Call Report validity and quality edits (Excel/PDF, published ahead of each quarter-end, latest 2026-01-22) or the EBA ITS validation-rules list -- across seven rule shapes: intra-schedule arithmetic identity, cross-schedule tie-out, sign/domain constraint, mandatory-field completeness, closed-domain membership, conditional presence, and conditional prohibition. The three conditional shapes take a when predicate over other cells in the same row. Returns per-rule pass/fail/suppressed status keyed by the published edit id, with failing cell references and computed-vs-reported values. Accepts a deactivation/suppression list as a first-class policy input (the EBA publishes rules deactivated for inaccuracies or IT issues; this kernel never reports a failure on a stood-down rule, and records exactly which suppressions were applied plus any that are stale). Distinct from art-434-call-report-edit-check-gate, which runs a CURATED, HARDCODED battery of checks against a specific art-432/art-433 Schedule RC/RC-R output shape: this kernel bakes in no rule content at all, and evaluates whatever rule set the caller supplies against whatever report instance the caller supplies. Nothing access-gated is required to get a result.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:ccd3d4cba38af7145df90e543cf9b928f90949437da3a54ad4eb4e812bffcab4",
  "trust_label": "independently verified: zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-07-10",
  "last_validated": "2026-07-10",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 77,
  "source_url": "https://ainumbers.co/chaingraph/art-484-regrpt-editcheck-runner.html",
  "generated_at": "2026-08-15T11:12:17.704Z"
}