Vibe Coding 数据库查询审查:用真实计划抓住 N+1 与基数误判
ORM 代码简洁不代表查询次数有界,单条 SQL 快也不代表整页快。本文从请求级 SQL 清单、数据分布和执行计划验证 AI 生成的数据访问路径。
Articles
沉淀 AI、Web、云原生和独立开发经验。
ORM 代码简洁不代表查询次数有界,单条 SQL 快也不代表整页快。本文从请求级 SQL 清单、数据分布和执行计划验证 AI 生成的数据访问路径。
加一个缓存命中分支很容易,证明命中值仍有资格返回很难。本文围绕真相来源、完整键空间、变更事件、并发重建和降级建立缓存正确性矩阵。
包体积变大不一定是下载瓶颈,瀑布变长也不一定靠 preload 修复。本文把构建模块图、路由入口、资源时序和主线程使用连接成可复现诊断。
README 写着安装命令不代表新人能启动项目。本文把读者前提、依赖身份、最小成功、清理路径和全新环境执行收据组成可持续验证的冷启动合同。
一页命令清单在真实事故中可能扩大损害。本文从症状入口、安全不变量、只读诊断、止损分支、恢复验证和非作者演练构建可执行 Runbook。
Git diff 能列出改动,却不知道兼容承诺、迁移动作和用户价值。本文让 AI 生成可追溯候选,再由责任人核对制品、行为、受众与版本,发布可信变更记录。
AI 可以迅速补出架构理由,也会把事后解释写成当时事实。本文用不可回写历史的 ADR 保存决策上下文、证据、后果和复审触发器,让实现与选择保持可追溯。
手写 API reference 会漂移,自动生成也可能忠实展示错误规范。本文把规范、实现、发布路由、示例和文档页面绑定到同一代制品,并用独立探针发现假同步。
Agent 连续执行命令不等于形成反馈闭环。本文把 Shell、构建和测试结果分类为调用、环境、编译、行为与稳定性证据,每轮只验证一个假设,并用进展判据阻止随机重跑和为绿改测。
MCP 搜索或资源读取成功,不代表返回内容就是适用版本的权威事实。本文从问题、能力发现、资源身份、原文 claim、内容摘要到本地 API 验证建立证据链,并把服务端内容视为不可信输入。
只要还有 token 就继续尝试,会让 Agent 在同一错误上循环、扩大 diff 或越过授权边界。本文为时间、轮次、工具、改动和风险设置预算,用信息增益判断收敛,并生成可行动的人工升级包。
ORM 模型和迁移文件不一定等于目标数据库现场。本文用最小权限、只读事务、系统目录、聚合统计和非执行计划核对 Schema 与数据形状,同时避开敏感正文、写函数和 EXPLAIN ANALYZE 的隐含执行。