{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://fablepool.org/schemas/fpcf/v1/body.correction.schema.json",
  "title": "Body: correction",
  "type": "object",
  "required": ["target", "corrected_object"],
  "additionalProperties": false,
  "properties": {
    "target": {
      "$ref": "defs.schema.json#/$defs/opId",
      "description": "The claim-assert being corrected. Downstream claims whose basis includes the target are invalidated and must be re-derived."
    },
    "corrected_object": {
      "$ref": "defs.schema.json#/$defs/claimObject",
      "description": "The user-supplied replacement value for the claim's object."
    },
    "reason": { "$ref": "defs.schema.json#/$defs/nonEmptyString" }
  }
}