菜单
Synthesizes the outputs of pg-bnf-source-mapper, pg-write-trace-skill, and pg-read-trace-skill into a master PG_SEMANTIC_INVENTORY.json. It maps statements to regression tests (pg_regress) to provide a complete coverage plan.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | pg-inventory-synthesizer |
| description | Synthesizes the outputs of pg-bnf-source-mapper, pg-write-trace-skill, and pg-read-trace-skill into a master PG_SEMANTIC_INVENTORY.json. It maps statements to regression tests (pg_regress) to provide a complete coverage plan. |
You are the project manager and architect of the PostgreSQL Semantic Fidelity Pipeline. Your task is to synthesize all audit results into a master inventory.
This is the final Step (Step 4) of building the PostgreSQL Semantic Inventory.
pg-bnf-source-mapper (Syntax to Source)pg-write-trace-skill (Side-effects)pg-read-trace-skill (Dependencies)pg_regress test files (search for SQL statements in src/test/regress/sql/).PG_SEMANTIC_INVENTORY.json that represents the "Ground Truth" for full semantic coverage.PROGRESS.json for the pg/catalog implementation.CREATE TABLE, ALTER TABLE).{
"statement": "CREATE TABLE",
"bnf_slug": "create-table-stmt",
"pg_source": "src/backend/commands/tablecmds.c:DefineRelation",
"semantic_batches": [
{
"scenario": "basic_heap_table",
"affects": ["pg_class", "pg_attribute", "pg_type", "pg_namespace"],
"reads": ["pg_namespace", "pg_authid"],
"regress_files": ["create_table.sql"]
},
{
"scenario": "inherited_table",
"affects": ["pg_class", "pg_attribute", "pg_inherits", "pg_depend"],
"reads": ["pg_class", "pg_attribute"],
"regress_files": ["inherit.sql"]
}
]
}
regress_files field contains enough tests to trigger all identified affects and reads.Maps PostgreSQL parser BNF grammar statements to their corresponding PostgreSQL C source code entry points (e.g., in utility.c). Use this to find which C function handles a specific parsed SQL statement.
Traces the PostgreSQL Analyzer (analyze.go/analyze.c) to identify which system catalogs (e.g., pg_operator, pg_type, pg_proc) are queried to resolve a specific SQL statement or semantic element. Use this to identify dependencies.
Traces PostgreSQL C source code to identify which system catalogs (e.g., pg_class, pg_attribute) are modified (inserted, updated, or deleted) by a specific handler function. Use this to find the side-effects of a DDL statement.
Maps PostgreSQL parser BNF grammar statements to their corresponding PostgreSQL C source code entry points (e.g., in utility.c). Use this to find which C function handles a specific parsed SQL statement.
Synthesizes the outputs of pg-bnf-source-mapper, pg-write-trace-skill, and pg-read-trace-skill into a master PG_SEMANTIC_INVENTORY.json. It maps statements to regression tests (pg_regress) to provide a complete coverage plan.
Traces the PostgreSQL Analyzer (analyze.go/analyze.c) to identify which system catalogs (e.g., pg_operator, pg_type, pg_proc) are queried to resolve a specific SQL statement or semantic element. Use this to identify dependencies.