{
  "schema": 1,
  "sqlstate": "27000",
  "condition_name": "triggered_data_change_violation",
  "runner": "scripts/verify_cases.py",
  "targets": {
    "latest": {
      "binary": "Homebrew PostgreSQL 18.6",
      "required": true
    },
    "pg10": {
      "image": "postgres:10",
      "required": true
    }
  },
  "cases": [
    {
      "id": "triggered_data_change_boundary",
      "versions": [
        "10",
        "18"
      ],
      "preconditions": [
        "A runner-owned disposable target is provisioned."
      ],
      "trigger": "No artificial trigger is executed; the page records the fixed source path and its safe-case boundary.",
      "assertions": [],
      "repair": "Use the source-confirmed trigger design and test it separately when the application can control the affected-row semantics.",
      "cleanup": "Drop the case schema with an owner connection."
    }
  ],
  "evidence_status": "authored",
  "snippets": [],
  "runtime": []
}