{
  "schema": 1,
  "sqlstate": "42704",
  "condition_name": "undefined_object",
  "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"
    },
    {
      "id": "src.calls.REL_18_6",
      "kind": "local_artifact",
      "source_role": "source_call_scan",
      "sha256": "9ee8a0e81d8f0825c5c1ae45583439859a26e602bdd4ce2f2a62aa278867ccbf"
    },
    {
      "id": "src.calls.REL_10_23",
      "kind": "local_artifact",
      "source_role": "source_call_scan",
      "sha256": "00d16d3eb01b71ccf1b245c8f3102f9d0ec9f36fb02777b8dd1b99fcb263040c"
    },
    {
      "id": "src.missing-trigger.18.6",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/backend/commands/trigger.c",
      "sha256": "0a539af85b0de1a04779f92202e7bfc77d85ae6da1747ea32527c67f39084fbd",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/commands/trigger.c#L1406-L1409"
    },
    {
      "id": "src.missing-trigger.10.23",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_10_23",
      "commit": "02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4",
      "path": "src/backend/commands/trigger.c",
      "sha256": "dac7cdcbe2df1a1bbc77daa23e808b0c81ba8891c9895f10e8b270a15316e225",
      "url": "https://github.com/postgres/postgres/blob/02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4/src/backend/commands/trigger.c#L1383-L1386"
    },
    {
      "id": "src.undefined-type.18.6",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/backend/catalog/objectaddress.c",
      "sha256": "fe4670d2401141761096077c6495dd1b7d6a0baf33c9b903f25baee2f88ffd1e",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/catalog/objectaddress.c#L1618-L1624"
    },
    {
      "id": "src.undefined-type.10.23",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_10_23",
      "commit": "02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4",
      "path": "src/backend/catalog/objectaddress.c",
      "sha256": "729d30e50cea059ccfe13491fdc5f997ff98c227795693bf166a163925beb663",
      "url": "https://github.com/postgres/postgres/blob/02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4/src/backend/catalog/objectaddress.c#L1493-L1509"
    },
    {
      "id": "src.undefined-role.18.6",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/backend/commands/user.c",
      "sha256": "aa8769a2577fff287301d6c82169262cca328515ae940d5a2be4b3e8c21617ed",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/commands/user.c#L1129-L1135"
    },
    {
      "id": "src.undefined-role.10.23",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_10_23",
      "commit": "02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4",
      "path": "src/backend/commands/user.c",
      "sha256": "9fc68a5a18c4bb5388cc817d2f3f2fcdc64f2752eaa429f78f54b0b443fb59ec",
      "url": "https://github.com/postgres/postgres/blob/02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4/src/backend/commands/user.c#L1017-L1023"
    },
    {
      "id": "src.undefined-constraint.18.6",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/backend/catalog/pg_constraint.c",
      "sha256": "0aa324acd355da955f8eb6cec17f1a0138277a8bebd2c6e999cd2a603d3bfa01",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/catalog/pg_constraint.c#L1218-L1238"
    },
    {
      "id": "src.undefined-constraint.10.23",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_10_23",
      "commit": "02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4",
      "path": "src/backend/catalog/pg_constraint.c",
      "sha256": "c90dff2d1d863e6b43102d762cec6e08b6c4ba40458045b525a14b49865d8a65",
      "url": "https://github.com/postgres/postgres/blob/02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4/src/backend/catalog/pg_constraint.c#L781-L801"
    },
    {
      "id": "src.undefined-opclass.18.6",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/backend/commands/opclasscmds.c",
      "sha256": "f28ac0580c805553724dc623dd4e20f32de1a84db637e6ac3c6e3d296bd2fae5",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/commands/opclasscmds.c#L145-L207"
    },
    {
      "id": "src.undefined-opclass.10.23",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_10_23",
      "commit": "02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4",
      "path": "src/backend/commands/opclasscmds.c",
      "sha256": "85c646706908d13dc449bcffa6690d6ead8d326498051fef6b08f817347fa947",
      "url": "https://github.com/postgres/postgres/blob/02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4/src/backend/commands/opclasscmds.c#L145-L207"
    },
    {
      "id": "manifest.42704",
      "kind": "local_artifact",
      "source_role": "case_manifest",
      "sha256": "ac45b2c35a40efef31fd9dbf6bf283723aec24fcf5ad58841b9684a3b3412b89"
    },
    {
      "id": "snippet-registry.42704",
      "kind": "local_artifact",
      "source_role": "snippet_registry",
      "sha256": "a75d3b1e067ecb419473d902d0eeae84591441a616b12fbfd796f6c4e3feb336"
    }
  ],
  "claims": [
    {
      "id": "identity.class-and-condition",
      "statement": "42704 is the undefined_object condition in Class 42.",
      "method": "Read fixed errcodes.txt and the locked catalogue metadata.",
      "limits": "Directory identity does not identify every backend path.",
      "sources": [
        "src.errcodes.18.6"
      ]
    },
    {
      "id": "mechanism.backend-path",
      "statement": "The fixed source calls for 42704 include the mechanism and message boundary selected for this page.",
      "method": "Trace the resolved REL_18_6 and REL_10_23 source call records at the locked commits.",
      "limits": "Other calls can use the same SQLSTATE with different context or dynamic fields.",
      "sources": [
        "src.missing-trigger.18.6",
        "src.missing-trigger.10.23",
        "src.undefined-type.18.6",
        "src.undefined-type.10.23",
        "src.undefined-role.18.6",
        "src.undefined-role.10.23",
        "src.undefined-constraint.18.6",
        "src.undefined-constraint.10.23",
        "src.undefined-opclass.18.6",
        "src.undefined-opclass.10.23"
      ]
    },
    {
      "id": "mechanism.object-resolution-branches",
      "statement": "Fixed 42704 producers resolve different object categories at different lookup points, including type, role, relation constraint, and access-method operator class; the selected runtime covers only the relation-scoped trigger branch.",
      "method": "Read the complete fixed lookup functions and their undefined-object error branches at REL_18_6 and REL_10_23.",
      "limits": "Only missing_trigger has an accepted natural runtime in this batch; the other messages are source-confirmed boundaries.",
      "sources": [
        "src.undefined-type.18.6",
        "src.undefined-type.10.23",
        "src.undefined-role.18.6",
        "src.undefined-role.10.23",
        "src.undefined-constraint.18.6",
        "src.undefined-constraint.10.23",
        "src.undefined-opclass.18.6",
        "src.undefined-opclass.10.23"
      ]
    },
    {
      "id": "runtime.representative-case",
      "statement": "The selected missing_trigger case passed on isolated PostgreSQL 18.6 and 10.21 targets.",
      "method": "Run the shared registry case and inspect structured diagnostics, state/recovery assertions, and cleanup.",
      "limits": "This covers the selected case and targets only; it does not generalize to all drivers or intermediate releases.",
      "sources": [
        "manifest.42704",
        "snippet-registry.42704"
      ],
      "runtime": [
        "runtime.42704-syntax-latest1.latest",
        "runtime.42704-syntax-pg10.pg10"
      ]
    },
    {
      "id": "versions.catalogue-boundary",
      "statement": "The locked catalogue records 42704; runtime scope is limited to the selected targets.",
      "method": "Read generated facts and selected summaries.",
      "limits": "Definition presence is not an exact behavioral introduction.",
      "sources": [
        "src.errcodes.18.6",
        "src.calls.REL_18_6",
        "src.calls.REL_10_23"
      ]
    }
  ],
  "messages": [
    {
      "id": "message.missing-trigger",
      "primary_template": "trigger \"%s\" for table \"%s\" does not exist",
      "severity_source": "explicit ERROR",
      "sqlstate": "42704",
      "sources": [
        "src.missing-trigger.18.6",
        "src.missing-trigger.10.23"
      ]
    },
    {
      "id": "message.undefined-type",
      "primary_template": "type \"%s\" does not exist",
      "severity_source": "explicit ERROR",
      "sqlstate": "42704",
      "limits": "Source-only type lookup branch; no natural runtime is claimed.",
      "sources": [
        "src.undefined-type.18.6",
        "src.undefined-type.10.23"
      ]
    },
    {
      "id": "message.undefined-role",
      "primary_template": "role \"%s\" does not exist",
      "severity_source": "explicit ERROR",
      "sqlstate": "42704",
      "limits": "Source-only DROP ROLE lookup branch; NOTICE missing_ok paths are not selected here.",
      "sources": [
        "src.undefined-role.18.6",
        "src.undefined-role.10.23"
      ]
    },
    {
      "id": "message.undefined-constraint",
      "primary_template": "constraint \"%s\" for table \"%s\" does not exist",
      "severity_source": "explicit ERROR",
      "sqlstate": "42704",
      "limits": "Source-only relation constraint lookup branch; no natural runtime is claimed.",
      "sources": [
        "src.undefined-constraint.18.6",
        "src.undefined-constraint.10.23"
      ]
    },
    {
      "id": "message.undefined-opclass",
      "primary_template": "operator class \"%s\" does not exist for access method \"%s\"",
      "severity_source": "explicit ERROR",
      "sqlstate": "42704",
      "limits": "Source-only access-method/operator-class lookup branch; no natural runtime is claimed.",
      "sources": [
        "src.undefined-opclass.18.6",
        "src.undefined-opclass.10.23"
      ]
    }
  ],
  "usage_evidence": [
    {
      "scope": "SQLSTATE directory identity",
      "status": "definition_only",
      "evidence_ids": [
        "identity.class-and-condition",
        "src.errcodes.18.6"
      ]
    },
    {
      "scope": "Fixed source message/mechanism",
      "status": "source_path_confirmed",
      "evidence_ids": [
        "mechanism.backend-path",
        "src.missing-trigger.18.6",
        "src.missing-trigger.10.23"
      ]
    },
    {
      "scope": "Observed missing_trigger on isolated targets",
      "status": "observed_runtime",
      "evidence_ids": [
        "runtime.representative-case",
        "snippet-registry.42704",
        "runtime.42704-syntax-latest1.latest",
        "runtime.42704-syntax-pg10.pg10"
      ]
    },
    {
      "scope": "Locked release presence and bounded version comparison",
      "status": "definition_only",
      "evidence_ids": [
        "versions.catalogue-boundary",
        "src.errcodes.18.6"
      ]
    }
  ],
  "runtime": [
    {
      "id": "runtime.42704-syntax-latest1.latest",
      "run_id": "42704-syntax-latest1",
      "target": "latest",
      "status": "passed",
      "server_version": "18.6 (Homebrew)",
      "server_version_num": 180006,
      "summary_sha256": "e1789ad68db707a3ed5682ba37713a958186953de2dce5ade696f5120abace9e",
      "raw_sha256": "fba087ee2fedf564f2e7302b3c293bc31d4846b6a40a07872156c4dc9b0cdbba",
      "case_manifest": {
        "id": "manifest.42704",
        "kind": "local_artifact",
        "source_role": "case_manifest",
        "sha256": "ac45b2c35a40efef31fd9dbf6bf283723aec24fcf5ad58841b9684a3b3412b89"
      },
      "snippet_registry": {
        "id": "snippet-registry.42704",
        "kind": "local_artifact",
        "source_role": "snippet_registry",
        "sha256": "a75d3b1e067ecb419473d902d0eeae84591441a616b12fbfd796f6c4e3feb336"
      },
      "environment": {
        "TimeZone": "Asia/Shanghai",
        "backend_pid": 1721,
        "binary": {
          "bindir": "/opt/homebrew/Cellar/postgresql@18/18.6/bin",
          "pg_config": "/opt/homebrew/bin/pg_config",
          "pg_config_version": "PostgreSQL 18.6 (Homebrew)",
          "postgres": "/opt/homebrew/Cellar/postgresql@18/18.6/bin/postgres"
        },
        "connection_scope": "runner-owned localhost port",
        "current_user": "runner",
        "docker": {},
        "lc_messages": "C",
        "libpq_version": "18.6",
        "locale": "en_US.UTF-8",
        "log_destination": "csvlog,jsonlog",
        "log_error_verbosity": "verbose",
        "log_min_error_statement": "error",
        "log_min_messages": "error",
        "logging_collector": "on",
        "machine": "arm64",
        "max_connections": "100",
        "platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O",
        "psycopg_version": "3.3.5",
        "python_version": "3.14.6 (main, Jun 10 2026, 10:03:53) [Clang 21.0.0 (clang-2100.0.123.102)]",
        "server_encoding": "UTF8",
        "server_version": "18.6 (Homebrew)",
        "server_version_num": "180006",
        "target_kind": "latest",
        "wal_level": "logical"
      },
      "observed": {
        "connection_autocommit": true,
        "diagnostic": {
          "column_name": null,
          "constraint_name": null,
          "context": null,
          "datatype_name": null,
          "exception_type": "UndefinedObject",
          "internal_position": null,
          "internal_query": null,
          "message_detail": null,
          "message_hint": null,
          "message_primary": "trigger \"missing_trigger\" for table \"trigger_table\" does not exist",
          "schema_name": null,
          "severity": "ERROR",
          "severity_nonlocalized": "ERROR",
          "source_file": "trigger.c",
          "source_function": "get_trigger_oid",
          "source_line": "1409",
          "sqlstate": "42704",
          "statement_position": null,
          "table_name": null,
          "text": "trigger \"missing_trigger\" for table \"trigger_table\" does not exist"
        },
        "failed_status": "IDLE",
        "repair_status": "IDLE",
        "trigger_count": 0
      },
      "assertions": [
        {
          "expected": "42704",
          "name": "42704 SQLSTATE",
          "observed": "42704",
          "passed": true
        },
        {
          "expected": "ERROR",
          "name": "42704 ERROR severity",
          "observed": "ERROR",
          "passed": true
        },
        {
          "expected": "trigger ... does not exist",
          "name": "missing-trigger diagnostic names trigger",
          "observed": "trigger \"missing_trigger\" for table \"trigger_table\" does not exist",
          "passed": true
        },
        {
          "expected": "IDLE",
          "name": "missing trigger leaves session usable",
          "observed": "IDLE",
          "passed": true
        },
        {
          "expected": {
            "status": "IDLE",
            "triggers": 0
          },
          "name": "real trigger lifecycle repairs object path",
          "observed": {
            "status": "IDLE",
            "triggers": 0
          },
          "passed": true
        }
      ],
      "cleanup": {
        "errors": [],
        "passed": true
      }
    },
    {
      "id": "runtime.42704-syntax-pg10.pg10",
      "run_id": "42704-syntax-pg10",
      "target": "pg10",
      "status": "passed",
      "server_version": "10.21 (Debian 10.21-1.pgdg90+1)",
      "server_version_num": 100021,
      "summary_sha256": "03a259238ea17215a8bec2bee755e4389e863b75dcb0cd25474122c61e7241de",
      "raw_sha256": "509e72e6a18b1718654b791618f6b2f91f0aa2aed8800ecf797e6c4157846c80",
      "case_manifest": {
        "id": "manifest.42704",
        "kind": "local_artifact",
        "source_role": "case_manifest",
        "sha256": "ac45b2c35a40efef31fd9dbf6bf283723aec24fcf5ad58841b9684a3b3412b89"
      },
      "snippet_registry": {
        "id": "snippet-registry.42704",
        "kind": "local_artifact",
        "source_role": "snippet_registry",
        "sha256": "a75d3b1e067ecb419473d902d0eeae84591441a616b12fbfd796f6c4e3feb336"
      },
      "environment": {
        "TimeZone": "Etc/UTC",
        "backend_pid": 78,
        "binary": {},
        "connection_scope": "runner-owned localhost port",
        "current_user": "postgres",
        "docker": {
          "architecture": "arm64",
          "command": "/usr/local/bin/docker",
          "digest": "sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc",
          "id": "sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc",
          "image": "postgres:10",
          "image_created": "2022-06-23T09:11:18.374607054Z",
          "image_ref": "postgres@sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc",
          "log_destination": "csvlog",
          "os": "linux",
          "repo_digests": [
            "postgres@sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc"
          ]
        },
        "lc_messages": "en_US.utf8",
        "libpq_version": "18.6",
        "locale": "en_US.UTF-8",
        "log_destination": "csvlog",
        "log_error_verbosity": "verbose",
        "log_min_error_statement": "error",
        "log_min_messages": "error",
        "logging_collector": "on",
        "machine": "arm64",
        "max_connections": "100",
        "platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O",
        "psycopg_version": "3.3.5",
        "python_version": "3.14.6 (main, Jun 10 2026, 10:03:53) [Clang 21.0.0 (clang-2100.0.123.102)]",
        "server_encoding": "UTF8",
        "server_version": "10.21 (Debian 10.21-1.pgdg90+1)",
        "server_version_num": "100021",
        "target_kind": "pg10",
        "wal_level": "logical"
      },
      "observed": {
        "connection_autocommit": true,
        "diagnostic": {
          "column_name": null,
          "constraint_name": null,
          "context": null,
          "datatype_name": null,
          "exception_type": "UndefinedObject",
          "internal_position": null,
          "internal_query": null,
          "message_detail": null,
          "message_hint": null,
          "message_primary": "trigger \"missing_trigger\" for table \"trigger_table\" does not exist",
          "schema_name": null,
          "severity": "ERROR",
          "severity_nonlocalized": "ERROR",
          "source_file": "trigger.c",
          "source_function": "get_trigger_oid",
          "source_line": "1386",
          "sqlstate": "42704",
          "statement_position": null,
          "table_name": null,
          "text": "trigger \"missing_trigger\" for table \"trigger_table\" does not exist"
        },
        "failed_status": "IDLE",
        "repair_status": "IDLE",
        "trigger_count": 0
      },
      "assertions": [
        {
          "expected": "42704",
          "name": "42704 SQLSTATE",
          "observed": "42704",
          "passed": true
        },
        {
          "expected": "ERROR",
          "name": "42704 ERROR severity",
          "observed": "ERROR",
          "passed": true
        },
        {
          "expected": "trigger ... does not exist",
          "name": "missing-trigger diagnostic names trigger",
          "observed": "trigger \"missing_trigger\" for table \"trigger_table\" does not exist",
          "passed": true
        },
        {
          "expected": "IDLE",
          "name": "missing trigger leaves session usable",
          "observed": "IDLE",
          "passed": true
        },
        {
          "expected": {
            "status": "IDLE",
            "triggers": 0
          },
          "name": "real trigger lifecycle repairs object path",
          "observed": {
            "status": "IDLE",
            "triggers": 0
          },
          "passed": true
        }
      ],
      "cleanup": {
        "errors": [],
        "passed": true
      }
    }
  ]
}