{
  "schema": 1,
  "sqlstate": "09000",
  "condition_name": "triggered_action_exception",
  "sources": [
    {
      "id": "src.errcodes.18.6",
      "kind": "upstream_source",
      "source_role": "condition_definition",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/backend/utils/errcodes.txt",
      "sha256": "6e8de346643ba84aa3c9c6a73360acfc7b2dfb89162c06c08ce9bf5bcd5bbcba",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/utils/errcodes.txt#L115"
    },
    {
      "id": "src.spi.autoinc.18.6",
      "kind": "upstream_source",
      "source_role": "resolved_report_context",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "contrib/spi/autoinc.c",
      "sha256": "154ac91833a2edbfb64f0d9845bff10db45b9bd9ee02e703e52650b2b1fecbf1",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/contrib/spi/autoinc.c",
      "lines": "74-90"
    },
    {
      "id": "src.spi.insert_username.18.6",
      "kind": "upstream_source",
      "source_role": "resolved_report_context",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "contrib/spi/insert_username.c",
      "sha256": "f4102a2487bfcc89d1dd821928bf9a4b9fe31abddd5ff14e8a6e75737c39e9ee",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/contrib/spi/insert_username.c",
      "lines": "74-82"
    },
    {
      "id": "src.spi.moddatetime.18.6",
      "kind": "upstream_source",
      "source_role": "resolved_report_context",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "contrib/spi/moddatetime.c",
      "sha256": "d73f1ba56e2fa74b9cfdf7b1bfa3722d242fdab08988276fc1126936c2cda4e8",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/contrib/spi/moddatetime.c",
      "lines": "95-120"
    },
    {
      "id": "src.spi.refint.18.6",
      "kind": "upstream_source",
      "source_role": "resolved_report_context",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "contrib/spi/refint.c",
      "sha256": "4197aab0853558bac9db814363b7e294e7e3d079b95f32489fb003a8b5d2d498",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/contrib/spi/refint.c",
      "lines": "181-184,504-516"
    },
    {
      "id": "src.calls.REL_18_6",
      "kind": "local_artifact",
      "source_role": "source_call_scan",
      "sha256": "9ee8a0e81d8f0825c5c1ae45583439859a26e602bdd4ce2f2a62aa278867ccbf"
    }
  ],
  "claims": [
    {
      "id": "identity",
      "statement": "09000 is triggered_action_exception in SQLSTATE Class 09.",
      "sources": [
        "src.errcodes.18.6"
      ],
      "method": "Read the fixed errcodes definition row, severity, and macro."
    },
    {
      "id": "resolved-path",
      "statement": "The fixed PostgreSQL 18.6 source contains the report path and message context described on the page.",
      "sources": [
        "src.spi.autoinc.18.6",
        "src.spi.insert_username.18.6",
        "src.spi.moddatetime.18.6",
        "src.spi.refint.18.6"
      ],
      "method": "Read the complete source context around the resolved report group.",
      "limits": "This is source confirmation, not a runtime observation in this batch."
    },
    {
      "id": "history-boundary",
      "statement": "The locked release definitions establish catalogue presence from the known 7.4 boundary; they do not establish a precise introducing release or runtime use.",
      "sources": [
        "src.errcodes.18.6"
      ],
      "method": "Compare canonical release-definition facts with the available history boundary.",
      "limits": "Definition presence is not an emitting-path observation."
    }
  ],
  "messages": [
    {
      "id": "message.autoinc-missing-attribute",
      "sqlstate": "09000",
      "primary_template": "\"%s\" has no attribute \"%s\"",
      "severity_source": "ERROR",
      "sources": [
        "src.spi.autoinc.18.6"
      ],
      "limits": "Relation and attribute names are dynamic."
    },
    {
      "id": "message.autoinc-invalid-type",
      "sqlstate": "09000",
      "primary_template": "attribute \"%s\" of \"%s\" must be type INT4",
      "severity_source": "ERROR",
      "sources": [
        "src.spi.autoinc.18.6"
      ],
      "limits": "Attribute and relation names are dynamic."
    },
    {
      "id": "message.insert-username-missing-attribute",
      "sqlstate": "09000",
      "primary_template": "\"%s\" has no attribute \"%s\"",
      "severity_source": "ERROR",
      "sources": [
        "src.spi.insert_username.18.6"
      ],
      "limits": "Relation and attribute names are dynamic."
    },
    {
      "id": "message.insert-username-invalid-type",
      "sqlstate": "09000",
      "primary_template": "attribute \"%s\" of \"%s\" must be type TEXT",
      "severity_source": "ERROR",
      "sources": [
        "src.spi.insert_username.18.6"
      ],
      "limits": "Attribute and relation names are dynamic."
    },
    {
      "id": "message.moddatetime-missing-attribute",
      "sqlstate": "09000",
      "primary_template": "\"%s\" has no attribute \"%s\"",
      "severity_source": "ERROR",
      "sources": [
        "src.spi.moddatetime.18.6"
      ],
      "limits": "Relation and attribute names are dynamic."
    },
    {
      "id": "message.moddatetime-invalid-type",
      "sqlstate": "09000",
      "primary_template": "attribute \"%s\" of \"%s\" must be type TIMESTAMP or TIMESTAMPTZ",
      "severity_source": "ERROR",
      "sources": [
        "src.spi.moddatetime.18.6"
      ],
      "limits": "Attribute and relation names are dynamic."
    },
    {
      "id": "message.refint-missing-key",
      "sqlstate": "09000",
      "primary_template": "tuple references non-existent key",
      "detail_template": "Trigger \"%s\" found tuple referencing non-existent key in \"%s\".",
      "severity_source": "ERROR",
      "sources": [
        "src.spi.refint.18.6"
      ],
      "limits": "Trigger and relation names in DETAIL are dynamic."
    },
    {
      "id": "message.refint-spi-status",
      "sqlstate": "09000",
      "primary_template": "SPI_execp returned %d",
      "severity_source": "ERROR",
      "sources": [
        "src.spi.refint.18.6"
      ],
      "limits": "The SPI status code is dynamic."
    },
    {
      "id": "message.refint-restrictive",
      "sqlstate": "09000",
      "primary_template": "\"%s\": tuple is referenced in \"%s\"",
      "severity_source": "ERROR",
      "sources": [
        "src.spi.refint.18.6"
      ],
      "limits": "Referencing relation names are dynamic; this is the restrictive action path."
    }
  ],
  "usage_evidence": [
    {
      "scope": "definition",
      "status": "definition_only",
      "evidence_ids": [
        "identity"
      ]
    },
    {
      "scope": "fixed-source-path",
      "status": "source_path_confirmed",
      "evidence_ids": [
        "resolved-path"
      ]
    },
    {
      "scope": "history",
      "status": "unknown",
      "evidence_ids": [
        "history-boundary"
      ]
    },
    {
      "scope": "natural-runtime",
      "status": "unknown",
      "evidence_ids": [
        "resolved-path"
      ]
    }
  ],
  "runtime": []
}