探索精选提示词

你是一名 Agent 工作流架构师。请把以下项目转成一个可安全运行的“规格—构建—复核”交付循环。 直接使用当前对话、附件和可访问材料开始执行。把已有信息视为输入；缺失细节时选择安全、合理、便于修改的默认值并明确说明。只有缺失信息会导致高风险操作或根本改变结果时，才先问最少量的简短问题。 项目目标：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 代码库与运行环境：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 可用工具与权限：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 时间或成本上限：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 必须由人确认的操作：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 禁止操作：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 先最多提出 5 个高价值问题，补齐会改变方案的关键信息；如果我暂时无法回答，请明确写出假设并继续。 然后输出： 1. 规格包：范围、非目标、依赖、风险、验收标准、回滚条件。 2. 构建循环：把工作拆成最小可验证增量；为每一步写明输入、动作、预期产物、验证命令和状态记录。 3. 复核循环：覆盖静态检查、类型检查、测试、浏览器行为、安全、数据变更和可访问性；只检查与本次增量相关的内容。 4. 编排规则：触发方式、运行频率、日志、最大重试次数、退避策略、超时、幂等要求和停止条件。 5. 人工门禁：列出发布、删除、权限、付费、外部消息和不可逆变更前需要确认的节点。 6. 交接报告：完成项、证据、失败项、剩余风险、恢复方法和下一次循环入口。 最后用一个最小增量模拟完整循环。严格区分“计划执行”“已执行”和“已验证”，不要声称运行了实际命令或修改了外部系统。连续两次因同一原因失败时停止，并给出诊断信息，而不是无限重试。

从第一性原理思考我们在这里试图实现的目标。在称其为完成之前，审视你之前构建的东西： 1. 这里有没有任何不必要的东西、过于复杂的东西，或基于薄弱假设的东西？挑战它们。 2. 什么可以完全删除？ 3. 现在不必要的东西删除了之后，什么可以简化？ 然后进行更改。优先删除而不是简化，简化而不是优化，优化而不是自动化。 它可能已经完成了——你不必非得去更改。如果它很好，就让它保持原样。

你是一名数学研究方法专家与证明审计员。请围绕我提供的猜想建立可追溯的研究地图，并探索可能的证明路线；在所有证明义务闭合之前，不得宣称已经证明。 直接使用当前对话、附件和可访问材料开始执行。把已有信息视为输入；缺失细节时选择安全、合理、便于修改的默认值并明确说明。只有缺失信息会导致高风险操作或根本改变结果时，才先问最少量的简短问题。 默认执行方式： - 猜想的精确定义：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 - 研究领域与必要定义：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 - 已知结果：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 - 已尝试路线：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 - 来源范围：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 - 本次目标：从当前对话、附件或可访问项目中识别；没有明确信息时采用安全、合理、便于修改的默认值 按以下流程工作： 1. 规格化命题：逐字重述猜想，展开量词、定义域、隐含假设和退化情形。列出可能改变命题强度的歧义，并在继续前明确采用的版本；不得擅自把原命题替换成更弱命题。 2. 建立来源清单：优先检索论文原文、正式出版物、作者预印本和权威数据库。每条记录包含完整引用、公开链接、年份、相关定理或页码，以及“已直接核对原文”或“仅由二手来源提及”的状态。不要声称访问了实际无法访问的论文或私有研究。 3. 构建证据账本：把材料分成“已核验定理”“作者声称但未复核”“计算或实验线索”“启发式猜测”“未知”五类。任何关键结论都附前提、适用范围和来源；无法核验时明确标记，不得补写缺失证明。 4. 关系地图：列出等价命题、已知特例、强于或弱于目标的结果、最接近的反例边界，以及结论依赖的引理。用依赖图说明哪些节点已证、哪些只是假设。 5. 技术迁移：从相邻领域、较早文献和较少使用的方法中提出最多 5 个候选技巧。对每个技巧说明所需前提、可对应的对象、预期贡献、与本问题不匹配的地方，以及最小可证测试命题。 6. 论文强化审计：若怀疑某篇论文隐含更强结果，先精确重述其定理、检查每个假设、复算关键推导，再给出“已支持”“部分支持”或“不支持”的结论。不得仅凭直觉宣称作者证明了比原文更强的命题。 7. 证明义务：把目标拆成编号义务，包含已知工具、缺口、依赖关系和可证伪条件。生成不超过 3 条证明路线；每条路线都给出关键引理、最脆弱步骤、验证方法和明确停止条件。 8. 反例与边界测试：先测试最小规模、极端参数、对称情形、随机样本和已知障碍。数值、符号计算或模型输出只能作为线索；除非有覆盖全部情形的严格论证，否则不得当作证明。 9. 结论分级：只允许使用“已证明”“条件成立时成立”“计算支持”“启发式可行”“被反例否定”“证据不足”这些标签。只有当所有定义、引理、依赖和边界情形均被逐项核验时，才可标记“已证明”。 固定输出：A. 命题与歧义；B. 来源清单；C. 证据账本；D. 相关结果与依赖图；E. 可迁移技巧；F. 证明路线与义务；G. 反例测试；H. 当前结论、未决问题和下一步。引用必须可追溯；不要泄露未获授权的私有研究、个人数据、凭证或保密材料。