{
  "tool_id": "art-647-record-index-correction",
  "human_sign_off": "sonnet-2026-08-17",
  "vectors": [
    {
      "name": "basic-correction",
      "policy_parameters": {
        "index_id": "IDX-DEMO-100",
        "original_value_ref": {
          "execution_hash": "sha256:eee555",
          "tool_id": "art-645-compute-index-weights",
          "field_path": "output_payload.weights[0].weight"
        },
        "corrected_value": 0.62,
        "reason_code": "input data error",
        "correction_date": "2026-08-10",
        "affected_period": "2026-08-05"
      },
      "output_payload": {
        "index_id": "IDX-DEMO-100",
        "structural_error": null,
        "original_value_ref": {
          "execution_hash": "sha256:eee555",
          "tool_id": "art-645-compute-index-weights",
          "field_path": "output_payload.weights[0].weight"
        },
        "corrected_value": 0.62,
        "reason_code": "input data error",
        "correction_date": "2026-08-10",
        "affected_period": "2026-08-05",
        "not_proven": [
          {
            "item": "Corrected-value re-verification",
            "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": "Original-artifact accuracy",
            "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": "Reverse-link / status registry",
            "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": "Regulatory benchmark-administrator compliance",
            "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."
          }
        ],
        "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.",
        "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."
      },
      "golden_hash": "35764b51548911be308ebc56408b0b170545636ed80a3a38b105b7555b29b81e"
    },
    {
      "name": "structural-error-missing-reason-code",
      "policy_parameters": {
        "index_id": "IDX-DEMO-100",
        "original_value_ref": {
          "execution_hash": "sha256:eee555",
          "tool_id": "art-645-compute-index-weights",
          "field_path": "output_payload.weights[0].weight"
        },
        "corrected_value": 0.62,
        "correction_date": "2026-08-10",
        "affected_period": "2026-08-05"
      },
      "output_payload": {
        "index_id": "IDX-DEMO-100",
        "structural_error": "reason_code is required.",
        "original_value_ref": {
          "execution_hash": "sha256:eee555",
          "tool_id": "art-645-compute-index-weights",
          "field_path": "output_payload.weights[0].weight"
        },
        "corrected_value": 0.62,
        "reason_code": null,
        "correction_date": "2026-08-10",
        "affected_period": "2026-08-05",
        "not_proven": [
          {
            "item": "Corrected-value re-verification",
            "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": "Original-artifact accuracy",
            "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": "Reverse-link / status registry",
            "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": "Regulatory benchmark-administrator compliance",
            "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."
          }
        ],
        "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.",
        "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."
      },
      "golden_hash": "02570b22dbbbcb114c421764941eaa7f782b83a5a72f9fff63ccee9d2ff8d80a"
    },
    {
      "name": "structural-error-incomplete-ref",
      "policy_parameters": {
        "index_id": "IDX-DEMO-100",
        "original_value_ref": {
          "execution_hash": "sha256:eee555"
        },
        "corrected_value": 0.62,
        "reason_code": "vendor restatement",
        "correction_date": "2026-08-10",
        "affected_period": "2026-08-05"
      },
      "output_payload": {
        "index_id": "IDX-DEMO-100",
        "structural_error": "original_value_ref is missing required field(s): tool_id, field_path.",
        "original_value_ref": {
          "execution_hash": "sha256:eee555",
          "tool_id": null,
          "field_path": null
        },
        "corrected_value": 0.62,
        "reason_code": "vendor restatement",
        "correction_date": "2026-08-10",
        "affected_period": "2026-08-05",
        "not_proven": [
          {
            "item": "Corrected-value re-verification",
            "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": "Original-artifact accuracy",
            "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": "Reverse-link / status registry",
            "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": "Regulatory benchmark-administrator compliance",
            "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."
          }
        ],
        "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.",
        "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."
      },
      "golden_hash": "c3bffe42444b98d6666e1adcc99973e0b616df8af662e981ff5ca2be43514458"
    }
  ]
}
