{
  "tool_id": "art-647-record-index-correction",
  "tool_version": "1.0.0",
  "display_name": "Record Index Correction",
  "mcp_name": "record_index_correction",
  "mandate_type": "attestation_mandate",
  "wave": 106,
  "gpu": false,
  "url": "https://ainumbers.co/chaingraph/art-647-record-index-correction.html",
  "description": "art-557 already covers constituent-set corrections via the SPEC.md top-level supersedes field; this node adds the equivalent for a published index level or weight-set value, the case BMR calls an index restatement: a level or weight was published, then found wrong, and corrected. HARD FENCE: this kernel attests THAT a correction was declared, by whom (the caller-supplied original_value_ref), and why (reason_code); it does not itself verify the corrected value against a third-party recomputation, and it creates no reverse link or status registry, SPEC.md §1 is explicit that supersession is discoverable only from the newer artifact or a log scan. Fourth entry of the Financial Index/Benchmark Administrator Lineage family. Two separate regimes, cited separately: EU Benchmark Regulation (BMR, Regulation (EU) 2016/1011) Art 12(1)(e) (traceable and verifiable) is the cited traceability rationale; SEBI (Index Providers) Regulations, 2024 was searched and has no located provision governing correction or restatement of a published index value, recorded here as an explicit N/A, not silently inherited. This kernel makes no compliance claim under either regime.",
  "input_schema_ref": "chaingraph/art-647-record-index-correction.html#manifest",
  "consumes": [],
  "feeds": [],
  "status": "live",
  "conformance_fixtures": true,
  "compute_capability": "server",
  "compute_images": [
    {
      "system": "sha256-source",
      "image_id": "sha256:b2e5b57d770e2f357434539c6d70b7271e7f0bafbfc71e5b9e07f11e9dbb83e8",
      "valid_from": "2026-08-17"
    },
    {
      "system": "risc0",
      "image_id": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
      "valid_from": "2026-08-21"
    }
  ],
  "export_capability": [
    "json"
  ],
  "standards_basis": "implements_standard",
  "cited_clause_digest": [
    {
      "digest": "sha256:bb9943b66e58b982d5de1473a1cb924a61b960a86b5a5c935ec09b956de0e770",
      "source_url": "https://eur-lex.europa.eu/eli/reg/2016/1011/2024-01-09/eng",
      "retrieved_at": "2026-08-17",
      "clause_path": "Art 12(1)(e)",
      "scheme": "eu-regulation",
      "id": "Regulation (EU) 2016/1011 Art 12(1)(e)"
    }
  ],
  "compute_proof_ready": "ready",
  "compute_proof": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "CYGIxu0BVNPm+4OVfcPj1UftCONyiHeYTl2YzA31DFUdldaEpixmkdU/2RJr113zaRPw2MoTnkYprh0+UvVJmRN5Ci7wOpL8q2Q06KuTEDTFYLJ63iO75FG8ceCDgpnuG+20tJVtRqdOXTdilnh9igBCG5Ng11h/jdzxiDKFTT4TXFtJD9BFpWwOjF4B6B7z6uQaAi4oZtvAiLJJK8z72Q0yRQviShgW26N9kWcsO7q8I0AjhblGKbCFm09lci6rLypgZ3jaBSdm3WtoHdiq0NV8KxFx1fdJBHHSr+0pSzMdIWqUUmOuQG+BRJ+/roiYf7YoD5mNvf1AhvmFiU5laA==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:b2e5b57d770e2f357434539c6d70b7271e7f0bafbfc71e5b9e07f11e9dbb83e8",
      "output": {
        "affected_period": "2026-08-05",
        "corrected_value": 0.62,
        "correction_date": "2026-08-10",
        "fence": "original_value_ref, corrected_value, reason_code and the correction/affected-period dates are SUPPLIED, asserted, and digested into this receipt. This kernel attests THAT a correction was declared, by whom, and why -- never a verification of the corrected value against a third-party recomputation, and it creates no reverse link or status registry.",
        "index_id": "IDX-DEMO-100",
        "not_proven": [
          {
            "detail": "This kernel attests that a correction was declared, by whom (the cited original_value_ref), and why (reason_code). It does not itself verify the corrected_value against a third-party recomputation.",
            "item": "Corrected-value re-verification"
          },
          {
            "detail": "original_value_ref (execution_hash, tool_id, field_path) is caller-supplied and asserted; this kernel performs no lookup of the referenced artifact and does not verify the reference resolves to a real prior artifact.",
            "item": "Original-artifact accuracy"
          },
          {
            "detail": "This kernel creates no reverse link or status registry. Per SPEC.md §1, a supersession is discoverable only from the newer artifact (via its top-level supersedes field) or a log scan, never a lookup from the original artifact forward.",
            "item": "Reverse-link / status registry"
          },
          {
            "detail": "EU Benchmark Regulation (BMR, Regulation (EU) 2016/1011) Art 12(1)(e) (traceable and verifiable) is cited as the traceability rationale for this attestation; SEBI (Index Providers) Regulations, 2024 has no located provision governing correction/restatement of a published index value (confirmed absent on retrieval -- N/A, not silently inherited). This kernel makes no claim of compliance under either regime.",
            "item": "Regulatory benchmark-administrator compliance"
          }
        ],
        "original_value_ref": {
          "execution_hash": "sha256:eee555",
          "field_path": null,
          "tool_id": null
        },
        "reason_code": "vendor restatement",
        "regulatory_framework": "EU Benchmark Regulation (BMR, Regulation (EU) 2016/1011) Art 12(1)(e) (traceable and verifiable) is the cited traceability rationale; SEBI (Index Providers) Regulations, 2024 has no located provision on correction/restatement of a published index value. This kernel makes no compliance claim under either regime.",
        "structural_error": "original_value_ref is missing required field(s): tool_id, field_path."
      }
    }
  }
}