{
  "status": "PUBLIC_PROOF",
  "claim": "Semwright edited and confirmed text in an app without a dedicated driver using Linux AT-SPI semantics.",
  "product_sha": "1dd88c815cb43986f1ab5f9d00776c233fa09396",
  "semwright_version": "0.9.0-dev.1",
  "app": { "name": "Zenity", "version": "4.0.1" },
  "route": [
    "semwright-cli",
    "semwrightd",
    "broker-policy",
    "linux-atspi",
    "zenity"
  ],
  "setup": {
    "application_launch": "external setup-only",
    "reason": "app.launch requires trusted foreground operator approval"
  },
  "operations": [
    { "capability": "ui.find", "result": "one editable text-box" },
    {
      "capability": "ui.set_text",
      "result": "changed=true",
      "backend": "atspi",
      "policy": "allow"
    },
    { "capability": "ui.find", "result": "one _OK button with click action" },
    {
      "capability": "ui.invoke",
      "result": "invoked=true",
      "backend": "atspi",
      "policy": "allow"
    }
  ],
  "fallbacks": { "coordinates": 0, "ocr": 0, "keyboard_replay": 0 },
  "verification": {
    "bytes_expected": 194,
    "bytes_returned": 194,
    "sha256": "3bd8e09f4268fe76879fc75af0484dccedb3365905f5d018ed217c4762fb3fb3",
    "byte_for_byte": "PASS",
    "process_exit_after_ok": "PASS"
  },
  "capture": {
    "screenshot": "NOT_AVAILABLE",
    "reason": "GNOME ScreenshotWindow denied silent capture"
  },
  "known_non_claim": "An exploratory Unicode arrow was returned as ?; Unicode fidelity is not part of this proof."
}