@synapsor/runner 1.1.1 → 1.4.0

package/schemas/execution-receipt.v3.schema.json

@@ -0,0 +1,40 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.synapsor.ai/synapsor.execution-receipt.v3.schema.json",
+  "title": "Synapsor Bounded Execution Receipt v3",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "writeback_job_id", "proposal_id", "proposal_hash", "approval_id", "runner_id", "operation", "receipt_authority", "status", "target", "rows_affected", "idempotency_key", "member_effects", "source_database_mutated", "safe_outcome_code", "executed_at", "receipt_hash"],
+  "properties": {
+    "schema_version": { "const": "synapsor.execution-receipt.v3" },
+    "writeback_job_id": { "type": "string", "minLength": 1 },
+    "proposal_id": { "type": "string", "minLength": 1 },
+    "proposal_hash": { "$ref": "#/$defs/sha256" },
+    "approval_id": { "type": "string", "minLength": 1 },
+    "runner_id": { "type": "string", "minLength": 1 },
+    "operation": { "enum": ["set_update", "set_delete", "batch_insert"] },
+    "receipt_authority": { "enum": ["source_db", "runner_ledger"] },
+    "status": { "enum": ["applied", "conflict", "failed", "canceled", "already_applied", "reconciliation_required"] },
+    "target": { "type": "object", "additionalProperties": false, "required": ["source_id", "schema", "table", "identities", "set_digest"], "properties": { "source_id": { "type": "string", "minLength": 1 }, "schema": { "$ref": "#/$defs/safeIdentifier" }, "table": { "$ref": "#/$defs/safeIdentifier" }, "identities": { "type": "array", "items": { "$ref": "#/$defs/columnValue" }, "minItems": 1, "maxItems": 100 }, "set_digest": { "$ref": "#/$defs/sha256" } } },
+    "rows_affected": { "type": "integer", "minimum": 0, "maximum": 100 },
+    "idempotency_key": { "type": "string", "minLength": 1 },
+    "member_effects": { "type": "array", "maxItems": 100, "items": { "type": "object", "additionalProperties": false, "required": ["primary_key"], "properties": { "primary_key": { "$ref": "#/$defs/columnValue" }, "before_digest": { "$ref": "#/$defs/sha256" }, "after_digest": { "$ref": "#/$defs/sha256" }, "tombstone_digest": { "$ref": "#/$defs/sha256" } } } },
+    "source_database_mutated": { "type": "boolean" },
+    "safe_outcome_code": { "$ref": "#/$defs/code" },
+    "safe_error_code": { "$ref": "#/$defs/code" },
+    "executed_at": { "type": "string", "format": "date-time" },
+    "receipt_hash": { "$ref": "#/$defs/sha256" },
+    "reconciliation": { "type": "object", "additionalProperties": false, "required": ["intent_id", "reason"], "properties": { "intent_id": { "type": "string", "minLength": 1 }, "reason": { "type": "string", "minLength": 1 } } }
+  },
+  "allOf": [
+    { "if": { "properties": { "status": { "const": "reconciliation_required" } } }, "then": { "required": ["reconciliation"] } },
+    { "if": { "properties": { "rows_affected": { "minimum": 1 } } }, "then": { "properties": { "source_database_mutated": { "const": true } } } }
+  ],
+  "$defs": {
+    "safeIdentifier": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "sha256": { "type": "string", "pattern": "^sha256:.+" },
+    "code": { "type": "string", "pattern": "^[A-Z][A-Z0-9_]*$" },
+    "scalar": { "type": ["string", "number", "boolean", "null"] },
+    "columnValue": { "type": "object", "additionalProperties": false, "required": ["column", "value"], "properties": { "column": { "$ref": "#/$defs/safeIdentifier" }, "value": { "$ref": "#/$defs/scalar" } } }
+  }
+}

package/schemas/execution-receipt.v4.schema.json

@@ -0,0 +1,22 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.synapsor.ai/synapsor.execution-receipt.v4.schema.json",
+  "title": "Synapsor Compensation Execution Receipt v4",
+  "type": "object", "additionalProperties": false,
+  "required": ["schema_version", "writeback_job_id", "proposal_id", "proposal_hash", "approval_id", "runner_id", "operation", "receipt_authority", "status", "target", "rows_affected", "idempotency_key", "forward_receipt_hash", "member_effects", "source_database_mutated", "safe_outcome_code", "executed_at", "receipt_hash"],
+  "properties": {
+    "schema_version": { "const": "synapsor.execution-receipt.v4" }, "writeback_job_id": { "type": "string", "minLength": 1 }, "proposal_id": { "type": "string", "minLength": 1 }, "proposal_hash": { "$ref": "#/$defs/sha256" }, "approval_id": { "type": "string", "minLength": 1 }, "runner_id": { "type": "string", "minLength": 1 },
+    "operation": { "enum": ["restore_update", "remove_insert", "restore_insert"] }, "receipt_authority": { "enum": ["source_db", "runner_ledger"] }, "status": { "enum": ["applied", "conflict", "failed", "canceled", "already_applied", "reconciliation_required"] },
+    "target": { "type": "object", "additionalProperties": false, "required": ["source_id", "schema", "table", "identities"], "properties": { "source_id": { "type": "string", "minLength": 1 }, "schema": { "$ref": "#/$defs/identifier" }, "table": { "$ref": "#/$defs/identifier" }, "identities": { "type": "array", "minItems": 1, "maxItems": 100, "items": { "$ref": "#/$defs/columnValue" } } } },
+    "rows_affected": { "type": "integer", "minimum": 0, "maximum": 100 }, "idempotency_key": { "type": "string", "minLength": 1 }, "forward_receipt_hash": { "$ref": "#/$defs/sha256" },
+    "member_effects": { "type": "array", "maxItems": 100, "items": { "type": "object", "additionalProperties": false, "required": ["primary_key"], "properties": { "primary_key": { "$ref": "#/$defs/columnValue" }, "before_digest": { "$ref": "#/$defs/sha256" }, "after_digest": { "$ref": "#/$defs/sha256" }, "tombstone_digest": { "$ref": "#/$defs/sha256" } } } },
+    "inverse": { "$ref": "inverse-descriptor.v1.schema.json" }, "source_database_mutated": { "type": "boolean" }, "safe_outcome_code": { "$ref": "#/$defs/code" }, "safe_error_code": { "$ref": "#/$defs/code" }, "executed_at": { "type": "string", "format": "date-time" }, "receipt_hash": { "$ref": "#/$defs/sha256" },
+    "reconciliation": { "type": "object", "additionalProperties": false, "required": ["intent_id", "reason"], "properties": { "intent_id": { "type": "string", "minLength": 1 }, "reason": { "type": "string", "minLength": 1 } } }
+  },
+  "allOf": [
+    { "if": { "properties": { "status": { "enum": ["applied", "already_applied"] } } }, "then": { "required": ["inverse"] } },
+    { "if": { "properties": { "status": { "const": "reconciliation_required" } } }, "then": { "required": ["reconciliation"] } },
+    { "if": { "properties": { "rows_affected": { "minimum": 1 } } }, "then": { "properties": { "source_database_mutated": { "const": true } } } }
+  ],
+  "$defs": { "identifier": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" }, "sha256": { "type": "string", "pattern": "^sha256:.+" }, "code": { "type": "string", "pattern": "^[A-Z][A-Z0-9_]*$" }, "scalar": { "type": ["string", "number", "boolean", "null"] }, "columnValue": { "type": "object", "additionalProperties": false, "required": ["column", "value"], "properties": { "column": { "$ref": "#/$defs/identifier" }, "value": { "$ref": "#/$defs/scalar" } } } }
+}

package/schemas/inverse-descriptor.v1.schema.json

@@ -0,0 +1,46 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.synapsor.ai/synapsor.inverse-descriptor.v1.schema.json",
+  "title": "Synapsor Reviewed Inverse Descriptor v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "availability", "reason_codes", "operation", "cardinality", "forward_proposal_id", "forward_writeback_job_id", "target", "tenant_guard", "allowed_columns", "members", "max_rows", "aggregate_bounds", "lineage"],
+  "properties": {
+    "schema_version": { "const": "synapsor.inverse-descriptor.v1" },
+    "availability": { "enum": ["available", "best_effort_unavailable"] },
+    "reason_codes": { "type": "array", "items": { "$ref": "#/$defs/code" }, "maxItems": 8 },
+    "operation": { "enum": ["restore_update", "remove_insert", "restore_insert"] },
+    "cardinality": { "enum": ["single", "set"] },
+    "forward_proposal_id": { "type": "string", "minLength": 1 },
+    "forward_writeback_job_id": { "type": "string", "minLength": 1 },
+    "target": {
+      "type": "object", "additionalProperties": false,
+      "required": ["source_id", "schema", "table", "primary_key_column"],
+      "properties": { "source_id": { "type": "string", "minLength": 1 }, "schema": { "$ref": "#/$defs/identifier" }, "table": { "$ref": "#/$defs/identifier" }, "primary_key_column": { "$ref": "#/$defs/identifier" } }
+    },
+    "tenant_guard": { "$ref": "#/$defs/columnValue" },
+    "allowed_columns": { "type": "array", "items": { "$ref": "#/$defs/identifier" }, "maxItems": 256, "uniqueItems": true },
+    "members": { "type": "array", "minItems": 1, "maxItems": 100, "items": { "$ref": "#/$defs/member" } },
+    "max_rows": { "type": "integer", "minimum": 1, "maximum": 100 },
+    "aggregate_bounds": { "type": "array", "maxItems": 8, "items": { "$ref": "#/$defs/aggregateBound" } },
+    "version_advance": { "$ref": "#/$defs/versionAdvance" },
+    "lineage": { "$ref": "#/$defs/lineage" }
+  },
+  "allOf": [
+    { "if": { "properties": { "availability": { "const": "available" } } }, "then": { "properties": { "reason_codes": { "maxItems": 0 } } } },
+    { "if": { "properties": { "availability": { "const": "best_effort_unavailable" } } }, "then": { "properties": { "reason_codes": { "minItems": 1 } } } },
+    { "if": { "properties": { "operation": { "const": "restore_update" } } }, "then": { "required": ["version_advance"], "properties": { "version_advance": { "properties": { "strategy": { "const": "integer_increment" } } } } } },
+    { "if": { "properties": { "operation": { "enum": ["remove_insert", "restore_insert"] } } }, "then": { "not": { "required": ["version_advance"] } } }
+  ],
+  "$defs": {
+    "identifier": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "code": { "type": "string", "pattern": "^[A-Z][A-Z0-9_]*$" },
+    "scalar": { "type": ["string", "number", "boolean", "null"] },
+    "record": { "type": "object", "propertyNames": { "$ref": "#/$defs/identifier" }, "additionalProperties": { "$ref": "#/$defs/scalar" }, "maxProperties": 256 },
+    "columnValue": { "type": "object", "additionalProperties": false, "required": ["column", "value"], "properties": { "column": { "$ref": "#/$defs/identifier" }, "value": { "$ref": "#/$defs/scalar" } } },
+    "member": { "type": "object", "additionalProperties": false, "required": ["primary_key", "expected_state"], "properties": { "primary_key": { "$ref": "#/$defs/columnValue" }, "expected_state": { "$ref": "#/$defs/record" }, "restore_values": { "$ref": "#/$defs/record" } } },
+    "versionAdvance": { "type": "object", "additionalProperties": false, "required": ["column", "strategy"], "properties": { "column": { "$ref": "#/$defs/identifier" }, "strategy": { "enum": ["integer_increment", "database_generated"] } } },
+    "aggregateBound": { "type": "object", "additionalProperties": false, "required": ["column", "measure", "maximum", "actual"], "properties": { "column": { "$ref": "#/$defs/identifier" }, "measure": { "enum": ["before", "after", "absolute_delta"] }, "maximum": { "type": "number", "minimum": 0 }, "actual": { "type": "number", "minimum": 0 } } },
+    "lineage": { "type": "object", "additionalProperties": false, "required": ["root_proposal_id", "parent_proposal_id", "reverts_proposal_id", "depth"], "properties": { "root_proposal_id": { "type": "string", "minLength": 1 }, "parent_proposal_id": { "type": "string", "minLength": 1 }, "reverts_proposal_id": { "type": "string", "minLength": 1 }, "depth": { "type": "integer", "minimum": 1, "maximum": 16 } } }
+  }
+}

package/schemas/synapsor.runner.schema.json

@@ -340,7 +340,7 @@
           "type": "boolean"
         },
         "statement_timeout_ms": {
-          "description": "Per-read database statement timeout in milliseconds.",
+          "description": "Operator-controlled timeout for source reads and direct-write statement/lock waits, in milliseconds.",
           "type": "integer",
           "minimum": 1
         },
@@ -355,6 +355,17 @@
             "queue_limit": { "type": "integer", "minimum": 0, "maximum": 100000 }
           }
         },
+        "receipts": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["authority"],
+          "properties": {
+            "authority": { "enum": ["source_db", "runner_ledger"] },
+            "provisioning": { "enum": ["precreated", "auto_migrate"] },
+            "schema": { "$ref": "#/$defs/identifier" },
+            "table": { "$ref": "#/$defs/identifier" }
+          }
+        },
         "ssl": {
           "type": "object",
           "additionalProperties": true
@@ -505,6 +516,9 @@
             "$ref": "#/$defs/patch_binding"
           }
         },
+        "operation": {
+          "$ref": "#/$defs/proposal_operation"
+        },
         "allowed_columns": {
           "type": "array",
           "items": {
@@ -523,6 +537,16 @@
             "$ref": "#/$defs/transition_guard"
           }
         },
+        "reversibility": {
+          "type": "object",
+          "required": ["mode"],
+          "additionalProperties": false,
+          "properties": {
+            "mode": {
+              "const": "reviewed_inverse"
+            }
+          }
+        },
         "conflict_guard": {
           "type": "object",
           "additionalProperties": false,
@@ -593,7 +617,7 @@
       "properties": {
         "type": {
           "type": "string",
-          "enum": ["string", "number", "boolean"]
+          "enum": ["string", "number", "boolean", "object_array"]
         },
         "description": {
           "type": "string",
@@ -617,6 +641,19 @@
           "items": {
             "$ref": "#/$defs/scalar"
           }
+        },
+        "max_items": {
+          "type": "integer",
+          "minimum": 1,
+          "maximum": 100
+        },
+        "fields": {
+          "type": "object",
+          "minProperties": 1,
+          "maxProperties": 64,
+          "additionalProperties": {
+            "$ref": "#/$defs/arg"
+          }
         }
       }
     },
@@ -629,6 +666,9 @@
         },
         {
           "required": ["from_arg"]
+        },
+        {
+          "required": ["from_item"]
         }
       ],
       "properties": {
@@ -638,6 +678,96 @@
         "from_arg": {
           "type": "string",
           "minLength": 1
+        },
+        "from_item": {
+          "$ref": "#/$defs/identifier"
+        }
+      }
+    },
+    "proposal_operation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind"],
+      "properties": {
+        "kind": { "enum": ["update", "insert", "delete"] },
+        "cardinality": { "enum": ["single", "set"] },
+        "selection": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["all"],
+          "properties": {
+            "all": {
+              "type": "array",
+              "minItems": 1,
+              "maxItems": 8,
+              "items": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": ["column", "operator", "value"],
+                "properties": {
+                  "column": { "$ref": "#/$defs/identifier" },
+                  "operator": { "const": "eq" },
+                  "value": { "$ref": "#/$defs/scalar" }
+                }
+              }
+            }
+          }
+        },
+        "max_rows": { "type": "integer", "minimum": 1, "maximum": 100 },
+        "aggregate_bounds": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 8,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["column", "measure", "maximum"],
+            "properties": {
+              "column": { "$ref": "#/$defs/identifier" },
+              "measure": { "enum": ["before", "after", "absolute_delta"] },
+              "maximum": { "type": "number", "minimum": 0 }
+            }
+          }
+        },
+        "batch": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["items_from_arg"],
+          "properties": {
+            "items_from_arg": { "$ref": "#/$defs/identifier" }
+          }
+        },
+        "deduplication": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["components"],
+          "properties": {
+            "components": {
+              "type": "array",
+              "minItems": 1,
+              "maxItems": 8,
+              "items": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": ["column", "source"],
+                "properties": {
+                  "column": { "$ref": "#/$defs/identifier" },
+                  "source": { "enum": ["proposal_id", "trusted_tenant", "fixed", "item_field"] },
+                  "fixed": { "$ref": "#/$defs/scalar" },
+                  "item_field": { "$ref": "#/$defs/identifier" }
+                }
+              }
+            }
+          }
+        },
+        "version_advance": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["column", "strategy"],
+          "properties": {
+            "column": { "$ref": "#/$defs/identifier" },
+            "strategy": { "enum": ["integer_increment", "database_generated"] }
+          }
         }
       }
     },

package/schemas/writeback-job.v2.schema.json

@@ -0,0 +1,238 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.synapsor.ai/synapsor.writeback-job.v2.schema.json",
+  "title": "Synapsor Writeback Job v2",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version",
+    "writeback_job_id",
+    "proposal_id",
+    "proposal_version",
+    "proposal_hash",
+    "runner_scope",
+    "engine",
+    "target",
+    "tenant_guard",
+    "allowed_columns",
+    "mutation",
+    "idempotency_key",
+    "lease"
+  ],
+  "properties": {
+    "schema_version": { "const": "synapsor.writeback-job.v2" },
+    "writeback_job_id": { "type": "string", "minLength": 1 },
+    "proposal_id": { "type": "string", "minLength": 1 },
+    "proposal_version": { "type": "integer", "minimum": 1 },
+    "proposal_hash": { "$ref": "#/$defs/sha256" },
+    "runner_scope": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["project_id", "source_id"],
+      "properties": {
+        "project_id": { "type": "string", "minLength": 1 },
+        "source_id": { "type": "string", "minLength": 1 }
+      }
+    },
+    "engine": { "enum": ["postgres", "mysql"] },
+    "target": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schema", "table", "primary_key"],
+      "properties": {
+        "schema": { "$ref": "#/$defs/safeIdentifier" },
+        "table": { "$ref": "#/$defs/safeIdentifier" },
+        "primary_key": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["column"],
+          "properties": {
+            "column": { "$ref": "#/$defs/safeIdentifier" },
+            "value": { "$ref": "#/$defs/scalar" }
+          }
+        }
+      }
+    },
+    "tenant_guard": { "$ref": "#/$defs/columnValue" },
+    "allowed_columns": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/safeIdentifier" },
+      "maxItems": 256,
+      "uniqueItems": true
+    },
+    "mutation": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["kind", "values", "conflict_guard"],
+          "properties": {
+            "kind": { "const": "single_row_update" },
+            "values": { "$ref": "#/$defs/nonEmptyScalarRecord" },
+            "conflict_guard": { "$ref": "#/$defs/conflictGuard" },
+            "version_advance": { "$ref": "#/$defs/versionAdvance" }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["kind", "values", "deduplication"],
+          "properties": {
+            "kind": { "const": "single_row_insert" },
+            "values": { "$ref": "#/$defs/nonEmptyScalarRecord" },
+            "deduplication": {
+              "allOf": [
+                { "$ref": "#/$defs/deduplication" },
+                {
+                  "properties": {
+                    "components": {
+                      "allOf": [
+                        { "contains": { "properties": { "source": { "const": "proposal_id" } }, "required": ["source"] } },
+                        { "contains": { "properties": { "source": { "const": "trusted_tenant" } }, "required": ["source"] } }
+                      ]
+                    }
+                  }
+                }
+              ]
+            }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["kind", "conflict_guard"],
+          "properties": {
+            "kind": { "const": "single_row_delete" },
+            "conflict_guard": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["kind", "column", "expected_value"],
+              "properties": {
+                "kind": { "const": "column" },
+                "column": { "$ref": "#/$defs/safeIdentifier" },
+                "expected_value": { "$ref": "#/$defs/scalar" }
+              }
+            }
+          }
+        }
+      ]
+    },
+    "idempotency_key": { "type": "string", "minLength": 1 },
+    "lease": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["lease_id", "attempt", "expires_at"],
+      "properties": {
+        "lease_id": { "type": "string", "minLength": 1 },
+        "attempt": { "type": "integer", "minimum": 1 },
+        "expires_at": { "type": "string", "format": "date-time" }
+      }
+    }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "mutation": { "properties": { "kind": { "const": "single_row_update" } }, "required": ["kind"] } } },
+      "then": {
+        "properties": {
+          "target": { "properties": { "primary_key": { "required": ["value"] } } },
+          "allowed_columns": { "minItems": 1 }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "mutation": { "properties": { "kind": { "const": "single_row_insert" } }, "required": ["kind"] } } },
+      "then": { "properties": { "allowed_columns": { "minItems": 1 } } }
+    },
+    {
+      "if": { "properties": { "mutation": { "properties": { "kind": { "const": "single_row_delete" } }, "required": ["kind"] } } },
+      "then": {
+        "properties": {
+          "target": { "properties": { "primary_key": { "required": ["value"] } } },
+          "allowed_columns": { "maxItems": 0 }
+        }
+      }
+    }
+  ],
+  "$defs": {
+    "safeIdentifier": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "sha256": { "type": "string", "pattern": "^sha256:.+" },
+    "scalar": { "type": ["string", "number", "boolean", "null"] },
+    "nonEmptyScalarRecord": {
+      "type": "object",
+      "propertyNames": { "$ref": "#/$defs/safeIdentifier" },
+      "additionalProperties": { "$ref": "#/$defs/scalar" },
+      "minProperties": 1,
+      "maxProperties": 256
+    },
+    "columnValue": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["column", "value"],
+      "properties": {
+        "column": { "$ref": "#/$defs/safeIdentifier" },
+        "value": { "$ref": "#/$defs/scalar" }
+      }
+    },
+    "conflictGuard": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["kind", "column", "expected_value"],
+          "properties": {
+            "kind": { "const": "column" },
+            "column": { "$ref": "#/$defs/safeIdentifier" },
+            "expected_value": { "$ref": "#/$defs/scalar" }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["kind", "expected_hash"],
+          "properties": {
+            "kind": { "const": "row_hash" },
+            "expected_hash": { "type": "string", "minLength": 1 }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["kind"],
+          "properties": { "kind": { "const": "none" } }
+        }
+      ]
+    },
+    "versionAdvance": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["column", "strategy"],
+      "properties": {
+        "column": { "$ref": "#/$defs/safeIdentifier" },
+        "strategy": { "enum": ["integer_increment", "database_generated"] }
+      }
+    },
+    "deduplicationComponent": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["column", "value", "source"],
+      "properties": {
+        "column": { "$ref": "#/$defs/safeIdentifier" },
+        "value": { "$ref": "#/$defs/scalar" },
+        "source": { "enum": ["proposal_id", "trusted_tenant", "fixed"] }
+      }
+    },
+    "deduplication": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["components"],
+      "properties": {
+        "components": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/deduplicationComponent" },
+          "minItems": 1,
+          "maxItems": 8
+        }
+      }
+    }
+  }
+}

package/schemas/writeback-job.v3.schema.json

@@ -0,0 +1,53 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.synapsor.ai/synapsor.writeback-job.v3.schema.json",
+  "title": "Synapsor Bounded Writeback Job v3",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "writeback_job_id", "proposal_id", "proposal_version", "proposal_hash", "runner_scope", "engine", "operation", "target", "tenant_guard", "allowed_columns", "patch", "frozen_set", "idempotency_key", "lease"],
+  "properties": {
+    "schema_version": { "const": "synapsor.writeback-job.v3" },
+    "writeback_job_id": { "type": "string", "minLength": 1 },
+    "proposal_id": { "type": "string", "minLength": 1 },
+    "proposal_version": { "type": "integer", "minimum": 1 },
+    "proposal_hash": { "$ref": "#/$defs/sha256" },
+    "runner_scope": { "type": "object", "additionalProperties": false, "required": ["project_id", "source_id"], "properties": { "project_id": { "type": "string", "minLength": 1 }, "source_id": { "type": "string", "minLength": 1 } } },
+    "engine": { "enum": ["postgres", "mysql"] },
+    "operation": { "enum": ["set_update", "set_delete", "batch_insert"] },
+    "target": { "type": "object", "additionalProperties": false, "required": ["schema", "table", "primary_key"], "properties": { "schema": { "$ref": "#/$defs/safeIdentifier" }, "table": { "$ref": "#/$defs/safeIdentifier" }, "primary_key": { "type": "object", "additionalProperties": false, "required": ["column"], "properties": { "column": { "$ref": "#/$defs/safeIdentifier" } } } } },
+    "tenant_guard": { "$ref": "#/$defs/columnValue" },
+    "allowed_columns": { "type": "array", "items": { "$ref": "#/$defs/safeIdentifier" }, "maxItems": 256, "uniqueItems": true },
+    "patch": { "$ref": "#/$defs/scalarRecord" },
+    "version_advance": { "$ref": "#/$defs/versionAdvance" },
+    "frozen_set": { "$ref": "#/$defs/frozenSet" },
+    "idempotency_key": { "type": "string", "minLength": 1 },
+    "lease": { "type": "object", "additionalProperties": false, "required": ["lease_id", "attempt", "expires_at"], "properties": { "lease_id": { "type": "string", "minLength": 1 }, "attempt": { "type": "integer", "minimum": 1 }, "expires_at": { "type": "string", "format": "date-time" } } }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "operation": { "const": "set_update" } }, "required": ["operation"] },
+      "then": { "required": ["version_advance"], "properties": { "patch": { "minProperties": 1 }, "allowed_columns": { "minItems": 1 }, "version_advance": { "properties": { "strategy": { "const": "integer_increment" } }, "required": ["strategy"] }, "frozen_set": { "properties": { "members": { "items": { "required": ["expected_version", "before_digest", "after_digest"], "not": { "anyOf": [{ "required": ["tombstone_digest"] }, { "required": ["deduplication"] }] } } } } } } }
+    },
+    {
+      "if": { "properties": { "operation": { "const": "set_delete" } }, "required": ["operation"] },
+      "then": { "not": { "required": ["version_advance"] }, "properties": { "patch": { "maxProperties": 0 }, "allowed_columns": { "maxItems": 0 }, "frozen_set": { "properties": { "members": { "items": { "required": ["expected_version", "before_digest", "tombstone_digest"], "properties": { "after": { "maxProperties": 0 } }, "not": { "anyOf": [{ "required": ["after_digest"] }, { "required": ["deduplication"] }] } } } } } } }
+    },
+    {
+      "if": { "properties": { "operation": { "const": "batch_insert" } }, "required": ["operation"] },
+      "then": { "not": { "required": ["version_advance"] }, "properties": { "allowed_columns": { "minItems": 1 }, "frozen_set": { "properties": { "members": { "items": { "required": ["after_digest", "deduplication"], "properties": { "before": { "maxProperties": 0 }, "after": { "minProperties": 1 } }, "not": { "anyOf": [{ "required": ["expected_version"] }, { "required": ["before_digest"] }, { "required": ["tombstone_digest"] }] } } } } } } }
+    }
+  ],
+  "$defs": {
+    "safeIdentifier": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" },
+    "sha256": { "type": "string", "pattern": "^sha256:.+" },
+    "scalar": { "type": ["string", "number", "boolean", "null"] },
+    "scalarRecord": { "type": "object", "propertyNames": { "$ref": "#/$defs/safeIdentifier" }, "additionalProperties": { "$ref": "#/$defs/scalar" }, "maxProperties": 256 },
+    "columnValue": { "type": "object", "additionalProperties": false, "required": ["column", "value"], "properties": { "column": { "$ref": "#/$defs/safeIdentifier" }, "value": { "$ref": "#/$defs/scalar" } } },
+    "versionAdvance": { "type": "object", "additionalProperties": false, "required": ["column", "strategy"], "properties": { "column": { "$ref": "#/$defs/safeIdentifier" }, "strategy": { "enum": ["integer_increment", "database_generated"] } } },
+    "deduplicationComponent": { "type": "object", "additionalProperties": false, "required": ["column", "value", "source"], "properties": { "column": { "$ref": "#/$defs/safeIdentifier" }, "value": { "$ref": "#/$defs/scalar" }, "source": { "enum": ["proposal_id", "trusted_tenant", "fixed"] } } },
+    "deduplication": { "type": "object", "additionalProperties": false, "required": ["components"], "properties": { "components": { "type": "array", "items": { "$ref": "#/$defs/deduplicationComponent" }, "minItems": 1, "maxItems": 8 } } },
+    "aggregateBound": { "type": "object", "additionalProperties": false, "required": ["column", "measure", "maximum", "actual"], "properties": { "column": { "$ref": "#/$defs/safeIdentifier" }, "measure": { "enum": ["before", "after", "absolute_delta"] }, "maximum": { "type": "number", "minimum": 0 }, "actual": { "type": "number", "minimum": 0 } } },
+    "frozenMember": { "type": "object", "additionalProperties": false, "required": ["primary_key", "before", "after"], "properties": { "primary_key": { "$ref": "#/$defs/columnValue" }, "expected_version": { "$ref": "#/$defs/columnValue" }, "before": { "$ref": "#/$defs/scalarRecord" }, "after": { "$ref": "#/$defs/scalarRecord" }, "before_digest": { "$ref": "#/$defs/sha256" }, "after_digest": { "$ref": "#/$defs/sha256" }, "tombstone_digest": { "$ref": "#/$defs/sha256" }, "deduplication": { "$ref": "#/$defs/deduplication" } } },
+    "frozenSet": { "type": "object", "additionalProperties": false, "required": ["max_rows", "row_count", "aggregate_bounds", "members", "set_digest"], "properties": { "max_rows": { "type": "integer", "minimum": 1, "maximum": 100 }, "row_count": { "type": "integer", "minimum": 1, "maximum": 100 }, "aggregate_bounds": { "type": "array", "items": { "$ref": "#/$defs/aggregateBound" }, "minItems": 1, "maxItems": 8 }, "members": { "type": "array", "items": { "$ref": "#/$defs/frozenMember" }, "minItems": 1, "maxItems": 100 }, "set_digest": { "$ref": "#/$defs/sha256" } } }
+  }
+}

package/schemas/writeback-job.v4.schema.json

@@ -0,0 +1,17 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://schemas.synapsor.ai/synapsor.writeback-job.v4.schema.json",
+  "title": "Synapsor Compensation Writeback Job v4",
+  "type": "object", "additionalProperties": false,
+  "required": ["schema_version", "writeback_job_id", "proposal_id", "proposal_version", "proposal_hash", "runner_scope", "engine", "operation", "target", "tenant_guard", "allowed_columns", "patch", "compensation", "forward_receipt_hash", "idempotency_key", "lease"],
+  "properties": {
+    "schema_version": { "const": "synapsor.writeback-job.v4" }, "writeback_job_id": { "type": "string", "minLength": 1 }, "proposal_id": { "type": "string", "minLength": 1 }, "proposal_version": { "type": "integer", "minimum": 1 }, "proposal_hash": { "$ref": "#/$defs/sha256" },
+    "runner_scope": { "type": "object", "additionalProperties": false, "required": ["project_id", "source_id"], "properties": { "project_id": { "type": "string", "minLength": 1 }, "source_id": { "type": "string", "minLength": 1 } } },
+    "engine": { "enum": ["postgres", "mysql"] }, "operation": { "enum": ["restore_update", "remove_insert", "restore_insert"] },
+    "target": { "type": "object", "additionalProperties": false, "required": ["schema", "table", "primary_key"], "properties": { "schema": { "$ref": "#/$defs/identifier" }, "table": { "$ref": "#/$defs/identifier" }, "primary_key": { "type": "object", "additionalProperties": false, "required": ["column"], "properties": { "column": { "$ref": "#/$defs/identifier" }, "value": { "$ref": "#/$defs/scalar" } } } } },
+    "tenant_guard": { "$ref": "#/$defs/columnValue" }, "allowed_columns": { "type": "array", "items": { "$ref": "#/$defs/identifier" }, "maxItems": 256, "uniqueItems": true }, "patch": { "type": "object", "maxProperties": 0 },
+    "compensation": { "$ref": "inverse-descriptor.v1.schema.json" }, "forward_receipt_hash": { "$ref": "#/$defs/sha256" }, "idempotency_key": { "type": "string", "minLength": 1 },
+    "lease": { "type": "object", "additionalProperties": false, "required": ["lease_id", "attempt", "expires_at"], "properties": { "lease_id": { "type": "string", "minLength": 1 }, "attempt": { "type": "integer", "minimum": 1 }, "expires_at": { "type": "string", "format": "date-time" } } }
+  },
+  "$defs": { "identifier": { "type": "string", "pattern": "^[A-Za-z_][A-Za-z0-9_]*$" }, "sha256": { "type": "string", "pattern": "^sha256:.+" }, "scalar": { "type": ["string", "number", "boolean", "null"] }, "columnValue": { "type": "object", "additionalProperties": false, "required": ["column", "value"], "properties": { "column": { "$ref": "#/$defs/identifier" }, "value": { "$ref": "#/$defs/scalar" } } } }
+}