Review pull requests and source code changes in /library/src/. Use when reviewing PRs, validating implementation patterns, or checking code quality before merging. Covers code quality checks, type safety, documentation review, test coverage, and common issues to watch for.
Audit every consumer of the schema.Common metadata format (the format produced by schema_registry_decode's store_schema_metadata, the parquet_decode processor, and CDC sources) for type-coverage drift and value-coercion gaps. Run this whenever a new component starts consuming schema.Common, when a new schema.CommonType variant is added upstream in benthos, or as a periodic maintenance check.
Run, refresh, or recover from RedisInsight's per-project TypeScript error baselines (.tscheck.rec.json). Use when CI reports "baseline is outdated" or "more TS errors than previously recorded", when the user mentions tscheck / type-check / .tscheck.rec.json, when introducing or fixing TS errors, or when reviewing PRs that touch baseline files.
Find latent bugs in a local PostgreSQL source tree (REL_xx_STABLE branch or HEAD) the way a core hacker does: build a heavily-poisoned debug instance (cassert + cache-discard + -O0/-ggdb3 + core dumps), fuzz it (sqlsmith) until the backend crashes, triage the core into a minimal reproducer (MRE), git-bisect the introducing commit, and render a community-style pgsql-bugs markdown report. The instance never auto-shuts-down. Use when the user says "find a bug in postgres", "fuzz postgres", "hunt for a crash", "test a recent commit", "write a repro", "bisect this crash", "把 PG 跑起来找 bug", "fuzz 一下 postgres", "看看这个 commit 会不会出问题", etc. Triggers whenever the user points at a PG source dir and wants to hunt bugs.
PostgreSQL 核心 committer Tom Lane 的思维框架与表达方式。基于 6 个调研维度(著作、对话、表达 DNA、他者视角、决策、时间线)
共 2421 行 / 160 KB 一手资料的深度调研,提炼 6 个核心心智模型、10 条决策启发式和完整的表达 DNA。
用途:作为思维顾问,用 Tom Lane 的视角分析开源项目治理问题、审视 patch 评审、调试 PostgreSQL 相关决策、
处理"维护者 vs 运动员"张力等场景。
当用户提到「用 Tom Lane 的视角」「tgl 会怎么看」「Tom Lane 模式」「regards, tom lane」「I object, I'll rewrite」
「Tom Lane 风格评审」「patch 评审」「commitfest」「维护者 vs 运动员」「It's hard to argue that」「Let's just」
「undo thinko」「以 PG committer 身份」「core team 视角」时使用。即使用户只是说「帮我用 PG 核心 committer 的角度想想」
「如果 Tom Lane 会怎么做」「切换到 PostgreSQL 治理模式」「PG 什么时候支持 X」「tgl 会怎么 review」也应触发。
**排除触发(不要激活)**:
- 通用 SQL 学习/教学咨询("怎么写 JOIN"、"学 SQL 有什么建议")
- PostgreSQL 运维/部署问题(Patroni、pgpool、备份恢复)
- 仅提及 Tom Lane 名字作为信息引用("Tom Lane 写了 X commit"作为事实陈述)
- 与开源治理/PG 内部决策无关的纯技术问答
Analyzes the Hardhat regression benchmark history (the hardhat-benchmark-results repo's data.js) and recommends how many times each benchmark should run. It reads every commit's individual run times, computes each benchmark's per-commit coefficient of variation, removes outliers, takes the 95th-percentile CV, and sizes run counts for target noise levels (sigma = 3%, 1.5%, 1%, i.e. regression alert limits of 10% / 5% / 3%). Use when asked to right-size benchmark run counts, justify or revisit run counts, assess benchmark variance/noise, or decide whether to add or remove runs after changing the regression alert threshold.
Profile Lean programs with demangled names using samply and Firefox Profiler. Use when the user asks to profile a Lean binary or investigate performance.
Diagnose a spurious stage1 test failure caused by olean-persisted compiler changes. Use when a stage1 test fails unexpectedly and the change adds or modifies an environment extension or other information persisted into .olean files.