prompt-programming

Prompt Programming

目标

当用户明确要求“把 prompt 改写成伪代码”“将提示词翻译成可编程自然语言”“输出具有程序结构的人类语言指令”或直接提到 prompt-programming 时使用。将用户原始 prompt 翻译为一种简洁、严谨、可组合的 Prompt Program 方言：形式上像假代码，语义上仍是人类自然语言。

流程

输入

适用与不适用

适用：

• 把普通 prompt 变成研究论文式假代码
• 把散乱任务说明重构成统一结构
• 把长 prompt 压缩成可组合、可讨论、可评审的逻辑骨架

不适用：

• 用户只想润色语气，不想改变表达结构
• 用户只想执行任务，不关心 prompt 的架构
• 原始输入不是 prompt，而是完整代码实现请求

执行步骤

核心模型

• 单一真相来源是 config.yaml。
• 底层只使用 config.yaml:kernel.semantic_atoms 定义的 6 个原子：
  • Entity：对象、角色、输入、输出、工具、状态
  • Intent：目标、交付物、成功条件
  • Operation：分析、生成、转换、比较、总结、规划
  • Constraint：必须、禁止、偏好、格式、长度、风格
  • Control：条件、分支、循环、顺序、回退、优先级
  • Check：自检、验收、异常处理、结束条件
• 不新增原子；复杂任务靠组合表达。
• 详细定义与块映射见 references/primitives.md。

渲染方言

• 块顺序、必需块、可选块、块语义与句式模板，以 config.yaml:rendering.* 为准。
• 必守规则：
  • 输出 只定义目标产物、目标格式或目标效果。
  • 返回 只定义对 输出 的交付动作，不能引入新产物。
  • 程序、定义、缺口处理 属于可选块；为空就省略。
  • 若 config.yaml:rendering.omit_empty_blocks=true，禁止为了“看起来完整”补空块。

工作流

输入验证

先按 config.yaml:translation.input_validation 检查输入：

• 空输入：拒绝翻译，并要求提供原始 prompt。
• 过短输入：说明信息不足，不输出伪完整结构。
• 非 prompt 型输入：说明本 skill 不适用。

理解原始 prompt

恢复以下信息：

• 真实目标与交付物
• 输入对象与隐含上下文
• 输出契约与验收口径
• 强约束与软偏好
• 控制逻辑：条件、分支、迭代、失败回退

映射为 6 个原子

• Entity：关键对象是什么
• Intent：最终要得到什么
• Operation：核心动作链是什么
• Constraint：哪些条件不能丢
• Control：是否存在 if / for each / until / fallback
• Check：如何判断结果合格

若原 prompt 混乱，先重建逻辑，再翻译；不要保留混乱结构。若没有显式控制逻辑，只能在“显式或强隐含”时补出最小控制结构，不凭空发明分支或循环。

组织为 Prompt Program

• 默认按 config.yaml:rendering.block_order 输出。
• 组织顺序：
  • 先边界，后执行
  • 先主流程，后异常路径
  • 先硬约束，后风格偏好
• 若用户原 prompt 缺少显式校验，必须补出最小可执行校验。
• 若存在显式格式契约，必须保留到 输出 或 约束。
• 若用户指定字段、章节或步骤顺序，默认按原顺序保留。
• 若存在关键术语、变量名或实体名，默认保留原词，不擅自改名。

冲突时严格遵循 config.yaml:translation.conflict_resolution_order：

1. 核心意图
2. 硬约束
3. 输出契约
4. 校验要求
5. 风格偏好

压缩表达

• 保留逻辑，不保留冗余修辞。
• 保留可执行约束，不保留客套表达。
• 能通过结构表达的，不重复解释。
• 句子预算以 config.yaml:quality_bar.soft_sentence_budget 为软上限；复杂任务可放宽，但不能丢逻辑。

最小自检

输出前确认：

• 仍然等价于原 prompt 的真实意图
• 具备清晰的输入、输出、流程和校验
• 关键分支与缺口处理已显式表达
• 足够像“程序”，但仍是自然语言