vibe-coding-cn/.github/context/gongfa/tian.md

功法总表：天阶

本页包含2条天阶记录。品级沿用已有前瞻初评，不是正式效果评级。

• 返回总索引；其他阶：天阶、地阶、玄阶、黄阶。

天阶记录

• Lambda 演算
• 拼好码

Lambda 演算

序号	说明项	内容
1	工具的名称	Lambda 演算
2	是什么	以变量、抽象和应用构造项，并用避免变量捕获的替换与归约研究函数和计算的形式系统。依登记原文，工程用途限于澄清作用域、组合与接口，不自动覆盖宿主语言的类型、状态、权限、I/O或资源语义。
3	为什么	原文提出函数替换是否改变绑定、函数能否组合、化简是否终止等问题；该演算提供一组可逐步检查的规则。此处说明的是原文给出的学习/分析理由，不是实际工程收益证明。
4	怎么做	按原文顺序：先识别自由变量和绑定变量，再做α改名、满足前提的β替换；明确采用的求值策略；对工程组合再核对类型之外的单位、错误、权限和副作用，最后以独立测试验证。
5	扩展	原文展示η规则、Church布尔编码、固定点组合子及简单类型Lambda演算；它们属于不同扩展/体系，须保留各自前提。无类型演算、严格求值语言与简单类型演算不能互换结论。
6	关联信息	稳定ID：gongfa-lambda-calculus；内容版本：r1；本体类型：explanatory-content；身份状态：已登记。 既有品级与初评记录：品级意见：天阶高级；意见状态：provisional；任务族：计算语义、函数抽象与组合边界判断；初评/上下文理由：用户明确指定天级上品，按现行十二级词表记录为天阶高级（tian-advanced）；旧展示顺序中位于拼好码之后，不据名气、抽象性或形式化本身宣称实际任务效果。；反证条件：若预先固定的理解、作用域替换及接口组合任务中，未相对合理基线改善正确性或维护成本，或形式化负担抵消收益，应重新讨论适用范围；本条未声称该验证已经发生。；置信标签：low；意见时间：2026-10-17T19:37:00.699915Z。此处为既有初评，不是正式效果评级。 关联候选/既有关系列表：未记录逐条关系。 关系登记不等于身份合并、比较结论或本体继承。 原文将Lambda演算与函数式抽象、Python匿名函数、类型系统、工作流/API和拼好码作边界比较；这里只建立概念关联，不新增功法身份关系。
7	出处	登记身份仍绑定source_record `repo-lambda-calculus-5b2cfb8f`及原首段选择器。其冻结文件`.github/docs/gongfa/lambda-calculus.md`（SHA-256 `e8433b43fe8dbc1ccd53048c730739eccc65306ef4e589876c78735dbe310de6`）其余章节支持本说明中的问题、归约、终止、应用和比较内容；Stanford Encyclopedia of Philosophy, “The Lambda Calculus” https://plato.stanford.edu/entries/lambda-calculus/ 支持基本抽象、应用、β归约和绑定/替换概念（2026-10-19读取）。登记来源选择器与本文外部学术参考分开。
8	相关图书	当前固定正文引用的是SEP网页百科条目而非相关图书；本条登记没有绑定作者、书名、版次或章节，故不列图书，不把网页改称图书。
9	它要解决什么问题？	如何形式化表达函数抽象、应用和替换，并判断变量作用域、函数组合及归约策略带来的语义差异；它不单独解决软件需求、授权或业务验收。
10	为什么这样设计？	原文用变量、λ抽象和应用三种构造给出稀疏语法，再以捕获避免替换定义β归约，使函数应用可以按规则展开；这是文本可见的模型结构，不对历史设计者动机作额外推断。
11	内部如何实现？	变量有自由/绑定之分；α转换更换绑定名但保持绑定关系；β归约将参数代入函数体且须避免捕获；η等式另有自由变量前提。求值次序决定哪些项先计算，纯项的规则不直接包含宿主I/O。
12	付出了什么代价？	学习和核对作用域、替换、求值策略及演算体系需要形式化成本；把工程行为映射为纯项还可能遗漏错误、状态、权限和副作用。现有材料没有运行时开销或生产收益测量。
13	比较不同技术与方法。	原文将纯Lambda项与宿主语言匿名函数、函数式编程、类型系统及工作流/API作分工比较：共享函数/组合表达，但宿主系统还包含数据类型、异常、权限、并发或外部副作用。该比较不构成性能排名。
14	提炼共同规律。	编辑归纳：替换、组合和简化都必须保持变量绑定与可观察语义；表面相似的函数形式不保证等价，必须陈述求值、类型和副作用前提。此规律仅总结本条展示的形式规则与工程边界。
15	明确这些规律成立的前提与适用条件。	纯Lambda演算的α/β规则适用于相应形式项；η化简要求变量不在函数中自由出现。强正规化结论只适用于满足条件的简单类型体系；无类型演算可不终止。工程迁移另须核验宿主语言语义、类型、错误、权限、状态、I/O及资源。

拼好码

序号	说明项	内容
1	工具的名称	拼好码
2	是什么	来源把拼好码定义为复用优先的工程方法：从需求出发发现、评估成熟能力，设计边界，以必要的连接/适配/编排和业务逻辑形成可验证、可替换、可回滚的系统；它不等于少写代码或单纯胶水编程。
3	为什么	原文针对从零重造通用能力、复杂性扩散和AI臆造接口等工程问题，主张把资源转向业务差异和能力组合。该理由是方法文本的论证，不是已测得的成本、稳定性或缺陷率结论。
4	怎么做	按来源的七步流程：明确输入/输出/验收；搜索官方、平台、标准及成熟项目；检查维护、许可、安全、生产案例、可替换/回滚；设计接口与失败边界；只写必要胶水；设置测试/类型/schema等门禁；留下替换与回滚路径。
5	扩展	来源将胶水编程扩展为前端的能力发现/评估，以及后端的业务闭环、门禁、替换与回滚；也列出自研偏离协议。它们是同一方法的阶段和例外条件，不是另立功法或自动适用所有项目。
6	关联信息	稳定ID：gongfa-glue-coding；内容版本：r1；本体类型：dao-content；身份状态：已登记。 既有品级与初评记录：品级意见：天阶高级；意见状态：provisional；任务族：复用主导的软件系统组装与演化；初评/上下文理由：用户要求将拼好码提升至天阶上品，按项目词表映射为天阶高级（tian-advanced）。与组块理论的关联作为结构类比：把成熟能力组织为可识别、可复用、可组合的单元，再由拼好码完成需求匹配、边界适配和编排，可能使复杂问题的处理转向更高层次的系统组合与业务表达。该机制假设支持用户指定的最高档暂定判断，但并非受控任务结果，尚未证明相对固定合理基线突破了明确能力缺口。；反证条件：若预先固定的组块化软件组合任务中，相比合理基线未达到预定正确性、可靠性、成本与可维护性阈值，或组件边界/接口错配、供应链与依赖风险抵消收益，则应下调；若组块化并未带来可重复的高层组合优势，该机制假设亦被推翻。；置信标签：low；意见时间：2026-10-07T07:47:52.872364Z。此处为既有初评，不是正式效果评级。 关联候选/既有关系列表：未记录逐条关系。 关系登记不等于身份合并、比较结论或本体继承。 来源区分拼好码与胶水编程、低代码、微服务和自研平台化；同源相邻概念不构成身份合并。与已登记“胶水原则”有概念依赖，但registry未登记逐条关系，本次不改关系字段。
7	出处	登记身份来源仍为项目公开页`tradecatlabs-vibe-coding-methodology-page`的“拼好码”段落及其既有SHA/选择器。全篇补充说明取自冻结文档`.github/docs/gongfa/glue-coding.md`（SHA-256 `3c537bbdb5dc4027d3c03b487193aa5f896e645ad57c734e108a677393cbb105`），包含定义、流程、偏离协议及相近概念；补充章节不替换原登记来源绑定。
8	相关图书	当前绑定正文及冻结的拼好码章节未列出与本条直接对应的作者/书名/版次/章节；成熟工具清单和网页入口不是本条书目，故不列相关图书。
9	它要解决什么问题？	如何从模糊业务需求到可交付系统选择恰当的既有能力，避免无依据重写通用设施，同时控制边界错配、供应链、依赖锁定和失败恢复风险。
10	为什么这样设计？	来源把通用复杂度交给成熟生态、把项目差异留在薄胶水与业务规则中，并将候选评估、边界隔离、门禁和回滚放在实现前后；这解释了文本中的结构，不证明所有成熟组件都可靠。
11	内部如何实现？	来源架构是需求/决策层→能力搜索与评估→适配/编排层→成熟组件→测试与业务系统；决策顺序先官方/平台/事实标准，再成熟库/服务，再配置/适配，最后才在关键约束无法满足时考虑自研核心。
12	付出了什么代价？	需要花时间核查维护状态、许可证、安全、兼容、观测、替换和回滚，并承担集成及供应链风险；来源没有给出成本节省或性能数据，不能把“复用”直接写成更便宜或更稳定。
13	比较不同技术与方法。	冻结文档明确比较胶水编程、低代码、微服务、自研平台化：拼好码包含能力发现/评估/交付治理；其他概念分别强调组件连接、平台快速搭建、系统拆分或公共能力沉淀。来源不提供对同一工作负载的量化胜负。
14	提炼共同规律。	编辑归纳：先确认需求与约束，再选择可验证、可隔离的能力；让自研集中在不可替代的业务差异，并保留验证、替换和回滚路径。遇到成熟方案不满足关键约束时，复用优先规则允许有理由地偏离。
15	明确这些规律成立的前提与适用条件。	来源的默认选择以成熟方案能可靠满足关键约束，且成本、风险、复杂度可接受为前提；成熟度需看维护、文档、测试、安全更新、真实使用、兼容、观测及替换能力。供应链不可观测、约束不满足或集成代价过高时不得盲目复用。