{
  "schema": 1,
  "sqlstate": "42883",
  "condition_name": "undefined_function",
  "sources": [
    {
      "id": "src.errcodes.REL_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.undefined-function.18.6",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/backend/parser/parse_func.c",
      "sha256": "48314eab022297478ac4e49786afaff2621ab7b1d7b50e156668cf477961384f",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/parser/parse_func.c#L629-L636"
    },
    {
      "id": "src.undefined-function.10.23",
      "kind": "upstream_source",
      "source_role": "source_call",
      "tag": "REL_10_23",
      "commit": "02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4",
      "path": "src/backend/parser/parse_func.c",
      "sha256": "f1b4af88565ca01dbad2b244cd26b42f34764b3f1343b22a9231e271fb0742f2",
      "url": "https://github.com/postgres/postgres/blob/02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4/src/backend/parser/parse_func.c#L521-L528"
    },
    {
      "id": "src.undefined-operator.18.6",
      "kind": "upstream_source",
      "source_role": "source_context",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/backend/parser/parse_oper.c",
      "sha256": "3866ce3302c2a4bd22d0f1d113a4bbc627278a618d5e7b83660e36240cbdd0a8",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/parser/parse_oper.c#L619-L644"
    },
    {
      "id": "src.undefined-operator.10.23",
      "kind": "upstream_source",
      "source_role": "source_context",
      "tag": "REL_10_23",
      "commit": "02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4",
      "path": "src/backend/parser/parse_oper.c",
      "sha256": "5802db6d55bdb41f9cad4957384fa2c2ddbb4dc902c33f5f57e8a07760761d10",
      "url": "https://github.com/postgres/postgres/blob/02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4/src/backend/parser/parse_oper.c#L706-L728"
    },
    {
      "id": "manifest.42883",
      "kind": "local_artifact",
      "source_role": "case_manifest",
      "sha256": "93525c5a0711f2feb9107b0b42d678bcb93ea48221f10894788c3b27568f3178"
    },
    {
      "id": "snippet-registry.42883",
      "kind": "local_artifact",
      "source_role": "snippet_registry",
      "sha256": "9b85f7d06d85ecf0a5389f6f507c1b62bbd9c94ab183cb26c0f29d015f90cecc"
    }
  ],
  "claims": [
    {
      "id": "identity.class-and-condition",
      "statement": "42883 is the undefined_function condition in Class 42.",
      "method": "Read fixed errcodes.txt and locked catalogue metadata.",
      "limits": "Identity does not identify every backend call that can reuse this SQLSTATE.",
      "sources": [
        "src.errcodes.REL_18_6"
      ]
    },
    {
      "id": "mechanism.selected-source-path",
      "statement": "The selected missing_function_resolution follows a resolved PostgreSQL source-call group; other branches can use different dynamic fields.",
      "method": "Trace the REL_18_6 and REL_10_23 source-call records at the locked commits.",
      "limits": "This is one mechanism boundary, not an exhaustive inventory of the code.",
      "sources": [
        "src.undefined-function.18.6",
        "src.undefined-function.10.23"
      ]
    },
    {
      "id": "mechanism.reader-boundary",
      "statement": "Resolve function or operator name, schema visibility, exact argument types, overloads, and extension/server feature availability before changing search_path or casts.",
      "method": "Combine the selected source call, registry SQL, and passed structured assertions.",
      "limits": "The claim describes the selected path and does not generalize to every branch sharing this SQLSTATE.",
      "sources": [
        "src.undefined-function.18.6",
        "src.undefined-function.10.23",
        "src.undefined-operator.18.6",
        "src.undefined-operator.10.23",
        "snippet-registry.42883"
      ]
    },
    {
      "id": "mechanism.operator-resolution",
      "statement": "parse_oper.c reuses 42883 for an unresolved operator and formats the operator signature with a plural or singular operand-type hint depending on which argument types are known.",
      "method": "Read the complete fixed op_error branch in both locked parse_oper.c snapshots.",
      "limits": "The selected runtime exercises the function producer; operator resolution and extension/version availability remain source-only here.",
      "sources": [
        "src.undefined-operator.18.6",
        "src.undefined-operator.10.23"
      ]
    },
    {
      "id": "runtime.representative-case",
      "statement": "The selected missing_function_resolution passed on isolated PostgreSQL 18.6 and 10.21 targets.",
      "method": "Run the shared SQL registry and inspect SQLSTATE, severity, state, repair, cleanup, and target stop.",
      "limits": "Scope is limited to these statements, psycopg, and two versions.",
      "sources": [
        "manifest.42883",
        "snippet-registry.42883"
      ],
      "runtime": [
        "runtime.syntax2-42883-latest.latest",
        "runtime.syntax2-42883-pg10.pg10"
      ]
    },
    {
      "id": "versions.catalogue-boundary",
      "statement": "The locked catalogue records 42883 from the 7.4 presence bound through the listed snapshots; runtime scope is 18.6 and 10.21.",
      "method": "Read generated facts, fixed calls, and selected summaries.",
      "limits": "Definition presence is not an exact behavioral introduction; two runtime versions do not prove every intermediate behavior.",
      "sources": [
        "src.errcodes.REL_18_6",
        "src.calls.REL_18_6",
        "src.calls.REL_10_23"
      ]
    }
  ],
  "messages": [
    {
      "id": "message.missing_function_resolution",
      "primary_template": "function %s does not exist",
      "severity_source": "explicit ERROR",
      "sqlstate": "42883",
      "sources": [
        "src.undefined-function.18.6",
        "src.undefined-function.10.23"
      ],
      "hint_template": "No function matches the given name and argument types. You might need to add explicit type casts."
    },
    {
      "id": "message.missing_operator_resolution",
      "primary_template": "operator does not exist: %s",
      "severity_source": "explicit ERROR",
      "sqlstate": "42883",
      "hint_variants": [
        {
          "template": "No operator matches the given name and argument types. You might need to add explicit type casts.",
          "condition": "both operand types are known"
        },
        {
          "template": "No operator matches the given name and argument type. You might need to add an explicit type cast.",
          "condition": "one operand type is unknown"
        }
      ],
      "sources": [
        "src.undefined-operator.18.6",
        "src.undefined-operator.10.23"
      ]
    }
  ],
  "usage_evidence": [
    {
      "scope": "selected-source-path",
      "status": "source_path_confirmed",
      "evidence_ids": [
        "claim.mechanism.selected-source-path",
        "message.missing_function_resolution"
      ]
    },
    {
      "scope": "selected-case-18.6-and-10.21",
      "status": "observed_runtime",
      "evidence_ids": [
        "runtime.syntax2-42883-latest.latest",
        "runtime.syntax2-42883-pg10.pg10",
        "claim.runtime.representative-case"
      ]
    }
  ],
  "runtime": [
    {
      "id": "runtime.syntax2-42883-latest.latest",
      "run_id": "syntax2-42883-latest",
      "target": "latest",
      "status": "passed",
      "server_version": "18.6 (Homebrew)",
      "server_version_num": 180006,
      "summary_sha256": "cf925fb0bb74077a48829156d677b2da804f9f12307524991e293765ea70da1e",
      "raw_sha256": "05d9c68eedf0bf0cbdce86869d7037172b39f1e671883b6e1d69d95ddd882b32",
      "case_manifest": {
        "id": "manifest.42883",
        "kind": "local_artifact",
        "source_role": "case_manifest",
        "sha256": "93525c5a0711f2feb9107b0b42d678bcb93ea48221f10894788c3b27568f3178"
      },
      "snippet_registry": {
        "id": "snippet-registry.42883",
        "kind": "local_artifact",
        "source_role": "snippet_registry",
        "sha256": "9b85f7d06d85ecf0a5389f6f507c1b62bbd9c94ab183cb26c0f29d015f90cecc"
      },
      "environment": {
        "TimeZone": "Asia/Shanghai",
        "backend_pid": 29899,
        "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": "C.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"
      },
      "cases": [
        "missing_function_resolution"
      ],
      "observed": {
        "connection_autocommit": true,
        "diagnostic": {
          "column_name": null,
          "constraint_name": null,
          "context": null,
          "datatype_name": null,
          "exception_type": "UndefinedFunction",
          "internal_position": null,
          "internal_query": null,
          "message_detail": null,
          "message_hint": "No function matches the given name and argument types. You might need to add explicit type casts.",
          "message_primary": "function c42883_missing_function_resolution.missing_function(integer) does not exist",
          "schema_name": null,
          "severity": "ERROR",
          "severity_nonlocalized": "ERROR",
          "source_file": "parse_func.c",
          "source_function": "ParseFuncOrColumn",
          "source_line": "636",
          "sqlstate": "42883",
          "statement_position": "8",
          "table_name": null,
          "text": "function c42883_missing_function_resolution.missing_function(integer) does not exist\nLINE 1: SELECT \"c42883_missing_function_resolution\".missing_function...\n               ^\nHINT:  No function matches the given name and argument types. You might need to add explicit type casts."
        },
        "failed_status": "IDLE",
        "repair_status": "IDLE",
        "repair_value": 42
      },
      "assertions": [
        {
          "expected": "42883",
          "name": "42883 SQLSTATE",
          "observed": "42883",
          "passed": true
        },
        {
          "expected": "ERROR",
          "name": "42883 ERROR severity",
          "observed": "ERROR",
          "passed": true
        },
        {
          "expected": "missing_function(integer) does not exist",
          "name": "undefined function diagnostic includes name and signature",
          "observed": "function c42883_missing_function_resolution.missing_function(integer) does not exist",
          "passed": true
        },
        {
          "expected": "IDLE",
          "name": "undefined function leaves autocommit session usable",
          "observed": "IDLE",
          "passed": true
        },
        {
          "expected": {
            "status": "IDLE",
            "value": 42
          },
          "name": "creating the exact integer signature repairs lookup",
          "observed": {
            "error": true,
            "status": "IDLE",
            "value": 42
          },
          "passed": true
        }
      ],
      "cleanup": {
        "errors": [],
        "passed": true
      },
      "target_stop": {
        "argv": [
          "/opt/homebrew/Cellar/postgresql@18/18.6/bin/pg_ctl",
          "-D",
          "<local runtime artifact>",
          "-m",
          "fast",
          "-w",
          "stop"
        ],
        "elapsed_seconds": 0.111,
        "returncode": 0,
        "stderr": "",
        "stdout": "waiting for server to shut down.... done\nserver stopped\n"
      }
    },
    {
      "id": "runtime.syntax2-42883-pg10.pg10",
      "run_id": "syntax2-42883-pg10",
      "target": "pg10",
      "status": "passed",
      "server_version": "10.21 (Debian 10.21-1.pgdg90+1)",
      "server_version_num": 100021,
      "summary_sha256": "9bbf9a4f3ea09105a2419552ea3d117bf5c87bd255e82b5851c60d0256b6fbcf",
      "raw_sha256": "25a6a146fe2e7f8817e7de1146163ad2a3160930ff323b2ec73c09c91ba792e3",
      "case_manifest": {
        "id": "manifest.42883",
        "kind": "local_artifact",
        "source_role": "case_manifest",
        "sha256": "93525c5a0711f2feb9107b0b42d678bcb93ea48221f10894788c3b27568f3178"
      },
      "snippet_registry": {
        "id": "snippet-registry.42883",
        "kind": "local_artifact",
        "source_role": "snippet_registry",
        "sha256": "9b85f7d06d85ecf0a5389f6f507c1b62bbd9c94ab183cb26c0f29d015f90cecc"
      },
      "environment": {
        "TimeZone": "Etc/UTC",
        "backend_pid": 79,
        "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": "C.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"
      },
      "cases": [
        "missing_function_resolution"
      ],
      "observed": {
        "connection_autocommit": true,
        "diagnostic": {
          "column_name": null,
          "constraint_name": null,
          "context": null,
          "datatype_name": null,
          "exception_type": "UndefinedFunction",
          "internal_position": null,
          "internal_query": null,
          "message_detail": null,
          "message_hint": "No function matches the given name and argument types. You might need to add explicit type casts.",
          "message_primary": "function c42883_missing_function_resolution.missing_function(integer) does not exist",
          "schema_name": null,
          "severity": "ERROR",
          "severity_nonlocalized": "ERROR",
          "source_file": "parse_func.c",
          "source_function": "ParseFuncOrColumn",
          "source_line": "528",
          "sqlstate": "42883",
          "statement_position": "8",
          "table_name": null,
          "text": "function c42883_missing_function_resolution.missing_function(integer) does not exist\nLINE 1: SELECT \"c42883_missing_function_resolution\".missing_function...\n               ^\nHINT:  No function matches the given name and argument types. You might need to add explicit type casts."
        },
        "failed_status": "IDLE",
        "repair_status": "IDLE",
        "repair_value": 42
      },
      "assertions": [
        {
          "expected": "42883",
          "name": "42883 SQLSTATE",
          "observed": "42883",
          "passed": true
        },
        {
          "expected": "ERROR",
          "name": "42883 ERROR severity",
          "observed": "ERROR",
          "passed": true
        },
        {
          "expected": "missing_function(integer) does not exist",
          "name": "undefined function diagnostic includes name and signature",
          "observed": "function c42883_missing_function_resolution.missing_function(integer) does not exist",
          "passed": true
        },
        {
          "expected": "IDLE",
          "name": "undefined function leaves autocommit session usable",
          "observed": "IDLE",
          "passed": true
        },
        {
          "expected": {
            "status": "IDLE",
            "value": 42
          },
          "name": "creating the exact integer signature repairs lookup",
          "observed": {
            "error": true,
            "status": "IDLE",
            "value": 42
          },
          "passed": true
        }
      ],
      "cleanup": {
        "errors": [],
        "passed": true
      },
      "target_stop": {
        "cleanup": {
          "argv": [
            "/usr/local/bin/docker",
            "rm",
            "-f",
            "-v",
            "sqlstate42883_syntax242883pg10_pg10"
          ],
          "elapsed_seconds": 0.306,
          "returncode": 0,
          "stderr": "",
          "stdout": "sqlstate42883_syntax242883pg10_pg10\n"
        },
        "inspect": {
          "argv": [
            "/usr/local/bin/docker",
            "inspect",
            "sqlstate42883_syntax242883pg10_pg10"
          ],
          "elapsed_seconds": 0.027,
          "returncode": 0,
          "stderr": "",
          "stdout": "[\n    {\n        \"Id\": \"15ffa60d9f5a929d02b4f4abf0cce5477969d5a3f18109046e30a3a2a4654f7c\",\n        \"Created\": \"2026-09-09T16:40:18.918149127Z\",\n        \"Path\": \"docker-entrypoint.sh\",\n        \"Args\": [\n            \"postgres\",\n            \"-c\",\n            \"listen_addresses=*\",\n            \"-c\",\n            \"log_destination=csvlog\",\n            \"-c\",\n            \"logging_collector=on\",\n            \"-c\",\n            \"log_directory=log\",\n            \"-c\",\n            \"log_filename=postgresql-%Y%m%d%H%M%S.log\",\n            \"-c\",\n            \"log_min_messages=error\",\n            \"-c\",\n            \"log_min_error_statement=error\",\n            \"-c\",\n            \"log_error_verbosity=verbose\",\n            \"-c\",\n            \"wal_level=logical\",\n            \"-c\",\n            \"max_wal_senders=10\",\n            \"-c\",\n            \"max_replication_slots=10\"\n        ],\n        \"State\": {\n            \"Status\": \"running\",\n            \"Running\": true,\n            \"Paused\": false,\n            \"Restarting\": false,\n            \"OOMKilled\": false,\n            \"Dead\": false,\n            \"Pid\": 63564,\n            \"ExitCode\": 0,\n            \"Error\": \"\",\n            \"StartedAt\": \"2026-09-09T16:40:18.98895921Z\",\n            \"FinishedAt\": \"0001-01-01T00:00:00Z\"\n        },\n        \"Image\": \"sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc\",\n        \"ResolvConfPath\": \"/var/lib/docker/containers/15ffa60d9f5a929d02b4f4abf0cce5477969d5a3f18109046e30a3a2a4654f7c/resolv.conf\",\n        \"HostnamePath\": \"/var/lib/docker/containers/15ffa60d9f5a929d02b4f4abf0cce5477969d5a3f18109046e30a3a2a4654f7c/hostname\",\n        \"HostsPath\": \"/var/lib/docker/containers/15ffa60d9f5a929d02b4f4abf0cce5477969d5a3f18109046e30a3a2a4654f7c/hosts\",\n        \"LogPath\": \"/var/lib/docker/containers/15ffa60d9f5a929d02b4f4abf0cce5477969d5a3f18109046e30a3a2a4654f7c/15ffa60d9f5a929d02b4f4abf0cce5477969d5a3f18109046e30a3a2a4654f7c-json.log\",\n        \"Name\": \"/sqlstate42883_syntax242883pg10_pg10\",\n        \"RestartCount\": 0,\n        \"Driver\": \"overlayfs\",\n        \"Platform\": \"linux\",\n        \"MountLabel\": \"\",\n        \"ProcessLabel\": \"\",\n        \"AppArmorProfile\": \"\",\n        \"ExecIDs\": null,\n        \"HostConfig\": {\n            \"Binds\": null,\n            \"ContainerIDFile\": \"\",\n            \"LogConfig\": {\n                \"Type\": \"json-file\",\n                \"Config\": {}\n            },\n            \"NetworkMode\": \"bridge\",\n            \"PortBindings\": {\n                \"5432/tcp\": [\n                    {\n                        \"HostIp\": \"127.0.0.1\",\n                        \"HostPort\": \"\"\n                    }\n                ]\n            },\n            \"RestartPolicy\": {\n                \"Name\": \"no\",\n                \"MaximumRetryCount\": 0\n            },\n            \"AutoRemove\": false,\n            \"VolumeDriver\": \"\",\n            \"VolumesFrom\": null,\n            \"ConsoleSize\": [\n                0,\n                0\n            ],\n            \"CapAdd\": null,\n            \"CapDrop\": null,\n            \"CgroupnsMode\": \"private\",\n            \"Dns\": null,\n            \"DnsOptions\": [],\n            \"DnsSearch\": [],\n            \"ExtraHosts\": null,\n            \"GroupAdd\": null,\n            \"IpcMode\": \"private\",\n            \"Cgroup\": \"\",\n            \"Links\": null,\n            \"OomScoreAdj\": 0,\n            \"PidMode\": \"\",\n            \"Privileged\": false,\n            \"PublishAllPorts\": false,\n            \"ReadonlyRootfs\": false,\n            \"SecurityOpt\": null,\n            \"UTSMode\": \"\",\n            \"UsernsMode\": \"\",\n            \"ShmSize\": 67108864,\n            \"Runtime\": \"runc\",\n            \"Isolation\": \"\",\n            \"CpuShares\": 0,\n            \"Memory\": 0,\n            \"NanoCpus\": 0,\n            \"CgroupParent\": \"\",\n            \"BlkioWeight\": 0,\n            \"BlkioWeightDevice\": [],\n            \"BlkioDeviceReadBps\": [],\n            \"BlkioDeviceWriteBps\": [],\n            \"BlkioDeviceReadIOps\": [],\n            \"BlkioDeviceWriteIOps\": [],\n            \"CpuPeriod\": 0,\n            \"CpuQuota\": 0,\n            \"CpuRealtimePeriod\": 0,\n            \"CpuRealtimeRuntime\": 0,\n            \"CpusetCpus\": \"\",\n            \"CpusetMems\": \"\",\n            \"Devices\": [],\n            \"DeviceCgroupRules\": null,\n            \"DeviceRequests\": null,\n            \"MemoryReservation\": 0,\n            \"MemorySwap\": 0,\n            \"MemorySwappiness\": null,\n            \"OomKillDisable\": null,\n            \"PidsLimit\": null,\n            \"Ulimits\": [],\n            \"CpuCount\": 0,\n            \"CpuPercent\": 0,\n            \"IOMaximumIOps\": 0,\n            \"IOMaximumBandwidth\": 0,\n            \"MaskedPaths\": [\n                \"/proc/acpi\",\n                \"/proc/asound\",\n                \"/proc/interrupts\",\n                \"/proc/kcore\",\n                \"/proc/keys\",\n                \"/proc/latency_stats\",\n                \"/proc/sched_debug\",\n                \"/proc/scsi\",\n                \"/proc/timer_list\",\n                \"/proc/timer_stats\",\n                \"/sys/devices/virtual/powercap\",\n                \"/sys/firmware\"\n            ],\n            \"ReadonlyPaths\": [\n                \"/proc/bus\",\n                \"/proc/fs\",\n                \"/proc/irq\",\n                \"/proc/sys\",\n                \"/proc/sysrq-trigger\"\n            ]\n        },\n        \"Storage\": {\n            \"RootFS\": {\n                \"Snapshot\": {\n                    \"Name\": \"overlayfs\"\n                }\n            }\n        },\n        \"Mounts\": [\n            {\n                \"Type\": \"volume\",\n                \"Name\": \"42ef8ca21d1480e7df35b45cd92dc9c343255f5017d77574afbbb8ab321e1cc7\",\n                \"Source\": \"/var/lib/docker/volumes/42ef8ca21d1480e7df35b45cd92dc9c343255f5017d77574afbbb8ab321e1cc7/_data\",\n                \"Destination\": \"/var/lib/postgresql/data\",\n                \"Driver\": \"local\",\n                \"Mode\": \"\",\n                \"RW\": true,\n                \"Propagation\": \"\"\n            }\n        ],\n        \"Config\": {\n            \"Hostname\": \"15ffa60d9f5a\",\n            \"Domainname\": \"\",\n            \"User\": \"\",\n            \"AttachStdin\": false,\n            \"AttachStdout\": false,\n            \"AttachStderr\": false,\n            \"ExposedPorts\": {\n                \"5432/tcp\": {}\n            },\n            \"Tty\": false,\n            \"OpenStdin\": false,\n            \"StdinOnce\": false,\n            \"Env\": [\n                \"POSTGRES_HOST_AUTH_METHOD=trust\",\n                \"PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/lib/postgresql/10/bin\",\n                \"GOSU_VERSION=1.14\",\n                \"LANG=en_US.utf8\",\n                \"PG_MAJOR=10\",\n                \"PG_VERSION=10.21-1.pgdg90+1\",\n                \"PGDATA=/var/lib/postgresql/data\"\n            ],\n            \"Cmd\": [\n                \"postgres\",\n                \"-c\",\n                \"listen_addresses=*\",\n                \"-c\",\n                \"log_destination=csvlog\",\n                \"-c\",\n                \"logging_collector=on\",\n                \"-c\",\n                \"log_directory=log\",\n                \"-c\",\n                \"log_filename=postgresql-%Y%m%d%H%M%S.log\",\n                \"-c\",\n                \"log_min_messages=error\",\n                \"-c\",\n                \"log_min_error_statement=error\",\n                \"-c\",\n                \"log_error_verbosity=verbose\",\n                \"-c\",\n                \"wal_level=logical\",\n                \"-c\",\n                \"max_wal_senders=10\",\n                \"-c\",\n                \"max_replication_slots=10\"\n            ],\n            \"Image\": \"postgres@sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc\",\n            \"Volumes\": {\n                \"/var/lib/postgresql/data\": {}\n            },\n            \"WorkingDir\": \"\",\n            \"Entrypoint\": [\n                \"docker-entrypoint.sh\"\n            ],\n            \"Labels\": {},\n            \"StopSignal\": \"SIGINT\",\n            \"StopTimeout\": 1\n        },\n        \"NetworkSettings\": {\n            \"SandboxID\": \"1218f9a4d8d184d51175e7e16a981cddf8ec1a3b19c2381fe8bb261b5974ea56\",\n            \"SandboxKey\": \"/var/run/docker/netns/1218f9a4d8d1\",\n            \"Ports\": {\n                \"5432/tcp\": [\n                    {\n                        \"HostIp\": \"127.0.0.1\",\n                        \"HostPort\": \"54206\"\n                    }\n                ]\n            },\n            \"Networks\": {\n                \"bridge\": {\n                    \"IPAMConfig\": null,\n                    \"Links\": null,\n                    \"Aliases\": null,\n                    \"DriverOpts\": null,\n                    \"GwPriority\": 0,\n                    \"NetworkID\": \"aed51554f8cd8bac69ecd4f073e41e147fda7b458e9d95be2af472651f2e825c\",\n                    \"EndpointID\": \"725ba9a6e763e9f9497e03d31936819fbde0ec034bad0708e951bd54715a2bd8\",\n                    \"Gateway\": \"172.17.0.1\",\n                    \"IPAddress\": \"172.17.0.53\",\n                    \"MacAddress\": \"86:92:85:2b:c9:88\",\n                    \"IPPrefixLen\": 16,\n                    \"IPv6Gateway\": \"\",\n                    \"GlobalIPv6Address\": \"\",\n                    \"GlobalIPv6PrefixLen\": 0,\n                    \"DNSNames\": null\n                }\n            }\n        },\n        \"ImageManifestDescriptor\": {\n            \"mediaType\": \"application/vnd.docker.distribution.manifest.v2+json\",\n            \"digest\": \"sha256:52aada7978f1eef3b6b52a51afb7a3defd69254d00c946cb90d2ceb32b8ffce7\",\n            \"size\": 3246,\n            \"platform\": {\n                \"architecture\": \"arm64\",\n                \"os\": \"linux\",\n                \"variant\": \"v8\"\n            }\n        }\n    }\n]\n"
        }
      }
    }
  ]
}
