mirror of
https://github.com/tradecatlabs/vibe-coding-cn.git
synced 2026-11-02 10:46:29 +00:00
docs: gongfa - order Lambda calculus before glue coding (#169)
This commit is contained in:
tradecatlabs
@@ -11,11 +11,11 @@
|
||||
|
||||
- 两者各只有`data.json`维护源；生成器输出轻量`README.md`导航页及天、地、玄、黄四阶Markdown正文，不新增并行登记、旧目录兼容树或活动Excel。
|
||||
- `data.json.explanations_v0`是逐对象说明载荷，与冻结原文档`documents`分开；每项绑定已登记模板SHA，必须按对象身份完整覆盖15个原名原序字段。未知内容在相应字段标`待核`，不得复制评级理由冒充动机、推断设计或把候选提升为正式对象。
|
||||
- 既有Extensions生成器读取该载荷更新README和四阶文档；有明确品级的对象进入对应阶，每个对象仍单独生成一张“序号／说明项／内容”三列表格。无明确品级的功法保留在黄阶文档的“暂不可判”附录并明确不归黄阶。README只提供分阶及原文档导航；冻结原文仍在data.json。严禁手改生成视图、把解释写入冻结来源或改动原身份、版本、来源和评级字段。
|
||||
- 既有Extensions生成器读取该载荷更新README和四阶文档；有明确品级的对象进入对应阶，每个对象仍单独生成一张“序号／说明项／内容”三列表格。同品级记录按`explanations_v0.items`顺序展示；调整该顺序只改变浏览顺序，不改变身份、初评或正式评级。无明确品级的功法保留在黄阶文档的“暂不可判”附录并明确不归黄阶。README只提供分阶及原文档导航；冻结原文仍在data.json。严禁手改生成视图、把解释写入冻结来源或改动原身份、版本、来源和评级字段。
|
||||
- 载荷`documents`以历史路径为身份。保存原字节、文件模式、SHA、ID、版本、选择器、来源修订、原分类、历史意见及排除项；不得全局改写历史路径。
|
||||
- `locations`、`live_sources`、`projections`分别描述当前位置、当前实现摘要与现有引用。当前实现绑定不替代原SHA、固定来源、选区或原初审，不自动表示新实现已受审。
|
||||
- 原始登记仍按载荷内既有Schema和检查器维护。修改原文后须更新其真实摘要；冻结来源、人工初评和正式评级分开，不自动合并语义身份、注册候选、恢复排除或赋级。
|
||||
- 功法当前80项登记、411条历史/当前总表记录；原迁移基线为79/410，不改历史候选或旧意见。用户新增Lambda演算并指定天级上品，对应`tian-advanced`；总表和原文文集紧随拼好码，正式效果记录仍为零。
|
||||
- 功法当前80项登记、411条历史/当前总表记录；原迁移基线为79/410，不改历史候选或旧意见。用户新增Lambda演算并指定天级上品，对应`tian-advanced`；总表及首页学习入口将其列在拼好码之前，冻结原文、原文文集与既有初评不变，正式效果记录仍为零。
|
||||
- 新整理正文可以直接加入JSON载荷的逻辑文档，不重新创建旧物理目录。先提交首发正文，再以该真实Git修订及JSON载荷选区冻结来源；不能用一个尚不存在正文的基线冒充来源版本。
|
||||
- 法器73个来源选区、10项来源限定实现、13条本地记录、9条排除、12项依赖对象、8类依赖、158条关联资源和30项重要性赋级各有分母，不能相加为独立产品数。
|
||||
- `independent_review`、`runtime_verified`、`effectiveness_verified`、`license_approved`未因迁移改变；源码初审不等于许可、身份语义、安装包完整语义或效果验证。
|
||||
|
||||
@@ -19,7 +19,7 @@ vibe-coding-cn是以Pi Agent与已授权OpenAI GPT为主体底座的Vibe Coding
|
||||
|
||||
本文件只维护项目摘要与导航；方法论、哲学、模型、准则和流程的冻结原文保存在 `.github/context/gongfa/data.json` 的 `documents` 中。`.github/context/gongfa/README.md#原文文集`只提供原文索引与历史锚点，逐对象说明见天、地、玄、黄分阶页。核心命题见 `.github/context/gongfa/README.md#doc-ai-core-propositions`：固定目标基线，允许策略变化，以有界尝试、验证和显式授权控制闭环。摘要不保证自动收敛或效果。
|
||||
|
||||
37 篇是归档的原文文集条目，不是37门已登记、已验证或已评级功法。身份、内容版本、来源与意见的唯一维护源是 `.github/context/gongfa/data.json`；总表保留411条记录，其中80登记、331候选，409初评、2条不可判，正式评级为0。新增Lambda演算按用户指定为天级上品（tian-advanced），紧随拼好码；旧内容版本、冻结来源与旧意见不变。
|
||||
37 篇是归档的原文文集条目，不是37门已登记、已验证或已评级功法。身份、内容版本、来源与意见的唯一维护源是 `.github/context/gongfa/data.json`；总表保留411条记录，其中80登记、331候选，409初评、2条不可判，正式评级为0。新增Lambda演算按用户指定为天级上品（tian-advanced），列在拼好码之前；旧内容版本、冻结来源与旧意见不变。
|
||||
|
||||
工具选用按问题、设计、实现、代价展开，再比较替代、共性与适用前提；Lambda记号只表达接口组合，不实现解释器或证明程序性质。功法、法器以各自`data.json`维护原始资料，`README.md`提供轻量导航，天、地、玄、黄四阶页承载对象说明；历史Excel保留原字节，不再生成第二视图。
|
||||
|
||||
@@ -89,7 +89,7 @@ GEOFlow 的关键启发是：GEO 不是关键词堆砌，而是内容工程链
|
||||
器灵、形态及材料转化先核对身份和实际变化；意向与章名不证明转化完成，未核验结果也不等于确认没有发生。
|
||||
未导入 OWL 或证明领域公理一致性；不推广为全仓 JSON IR。功法JSON的CLI只读输出词表与分类初评表，未建设独立数据库或网页应用。
|
||||
- .github/context/gongfa/README.md#doc-glue-coding：胶水原则的扩展，把复用成熟能力作为工程交付默认路径。
|
||||
- .github/context/gongfa/README.md#doc-lambda-calculus：Lambda演算；用户指定天级上品，紧随拼好码，解释变量绑定、抽象、应用、归约、组合及类型/副作用/终止边界。
|
||||
- .github/context/gongfa/README.md#doc-lambda-calculus：Lambda演算；用户指定天级上品，列在拼好码之前，解释变量绑定、抽象、应用、归约、组合及类型/副作用/终止边界。
|
||||
- .github/context/gongfa/README.md#doc-system-building：自顶向下、自底向上与分而治之的系统构建方法。
|
||||
- .github/context/gongfa/README.md#doc-development-paradigms：软件开发组织方式和 AI 编程范式的演进。
|
||||
- .github/context/gongfa/README.md#doc-language-layers：理解代码所需的语言层级、执行模型、类型系统和工程语义。
|
||||
|
||||
@@ -1919,10 +1919,10 @@
|
||||
|
||||
### 天阶
|
||||
|
||||
<a id="v0-registry-gongfa-glue-coding-r1-22977803"></a>
|
||||
- [拼好码](tian.md#v0-registry-gongfa-glue-coding-r1-22977803) — 天阶高级
|
||||
<a id="v0-registry-gongfa-lambda-calculus-r1-093b4490"></a>
|
||||
- [Lambda 演算](tian.md#v0-registry-gongfa-lambda-calculus-r1-093b4490) — 天阶高级
|
||||
<a id="v0-registry-gongfa-glue-coding-r1-22977803"></a>
|
||||
- [拼好码](tian.md#v0-registry-gongfa-glue-coding-r1-22977803) — 天阶高级
|
||||
|
||||
### 地阶
|
||||
|
||||
|
||||
@@ -634,6 +634,71 @@
|
||||
"explanations_v0": {
|
||||
"template_sha256": "dbf42e00297346d3032c4d597d47c9ba7a626d2d9d422a410fa3e688a0895db2",
|
||||
"items": [
|
||||
{
|
||||
"object_key": "registry:gongfa-lambda-calculus@r1",
|
||||
"fields": [
|
||||
{
|
||||
"name": "工具的名称",
|
||||
"content": "Lambda 演算"
|
||||
},
|
||||
{
|
||||
"name": "是什么",
|
||||
"content": "现有登记摘要：用户指定天级上品；用变量、抽象、应用和避免捕获的归约理解计算与函数组合。"
|
||||
},
|
||||
{
|
||||
"name": "为什么",
|
||||
"content": "待核：未单列采用动机；品级理由和摘要不能替代采用理由。须核第7项完整上下文。"
|
||||
},
|
||||
{
|
||||
"name": "怎么做",
|
||||
"content": "待核：缺少可复现步骤；须回查第7项，不把机制摘要当流程。"
|
||||
},
|
||||
{
|
||||
"name": "扩展",
|
||||
"content": "待核：未确认有据可查的变体/扩展；不按标题相似性推演。"
|
||||
},
|
||||
{
|
||||
"name": "关联信息",
|
||||
"content": "稳定ID：gongfa-lambda-calculus；内容版本：r1；本体类型：explanatory-content；身份状态：已登记。\n既有品级与初评记录：品级意见：天阶高级；意见状态：provisional；任务族：计算语义、函数抽象与组合边界判断；初评/上下文理由：用户明确指定天级上品，按现行十二级词表记录为天阶高级（tian-advanced）；旧展示顺序中位于拼好码之后，不据名气、抽象性或形式化本身宣称实际任务效果。；反证条件：若预先固定的理解、作用域替换及接口组合任务中，未相对合理基线改善正确性或维护成本，或形式化负担抵消收益，应重新讨论适用范围；本条未声称该验证已经发生。；置信标签：low；意见时间：2026-10-17T19:37:00.699915Z。此处为既有初评，不是正式效果评级。\n关联候选/既有关系列表：未记录逐条关系。\n关系登记不等于身份合并、比较结论或本体继承。"
|
||||
},
|
||||
{
|
||||
"name": "出处",
|
||||
"content": "固定来源记录与原文定位（正文仍保存在对应唯一登记源或冻结原始载荷中；此处列源记录、选择器与SHA，不改写原文）：\n{\n \"source_record\": {\n \"id\": \"repo-lambda-calculus-5b2cfb8f\",\n \"kind\": \"repository_document\",\n \"path\": \".github/context/gongfa/data.json\",\n \"git_revision\": \"5b2cfb8f83ee9260eb32bbbf74aebfef2191e119\",\n \"captured_at\": \"2026-10-17T19:37:00.699915Z\",\n \"snapshot_path\": \".github/metadata/gongfa/source-lambda-calculus-e8433b43fe8d.txt\",\n \"snapshot_sha256\": \"e8433b43fe8dbc1ccd53048c730739eccc65306ef4e589876c78735dbe310de6\",\n \"text_normalization\": \"markdown-section-trim-v1\",\n \"included_anchors\": [\n \"lambda-calculus\"\n ]\n },\n \"selection\": {\n \"source_id\": \"repo-lambda-calculus-5b2cfb8f\",\n \"heading_id\": \"lambda-calculus\",\n \"selection\": \"markdown-first-paragraph\",\n \"stop_before\": null\n },\n \"text_sha256\": \"0bb381ebd8b86149fe6d58e55cff3e4833f482f678e4d87e2b479bcb06ce1548\",\n \"source_note\": \"下列原文按当前登记载荷保留；路径、版本与选区是登记记录，不等于独立书目或原著核验。\",\n \"original_text_sha256\": \"0bb381ebd8b86149fe6d58e55cff3e4833f482f678e4d87e2b479bcb06ce1548\",\n \"original_text_storage\": \".github/metadata/gongfa/registry.json中的对应稳定ID与内容版本\"\n}"
|
||||
},
|
||||
{
|
||||
"name": "相关图书",
|
||||
"content": "待核：未提供逐条作者、书名、版本或章节；来源快照不构成书目。"
|
||||
},
|
||||
{
|
||||
"name": "它要解决什么问题？",
|
||||
"content": "怎样保持作用域含义、解释函数应用并澄清可组合与可替换的前提。"
|
||||
},
|
||||
{
|
||||
"name": "为什么这样设计？",
|
||||
"content": "待核：未记录设计理由；不把品级意见当作设计动机。"
|
||||
},
|
||||
{
|
||||
"name": "内部如何实现？",
|
||||
"content": "识别自由/绑定变量，通过α改名避免捕获，进行β替换；将函数作为参数或结果，显式区分求值策略、类型与现实副作用。"
|
||||
},
|
||||
{
|
||||
"name": "付出了什么代价？",
|
||||
"content": "待核：操作、时间、资源及维护成本未核实；限制不等于成本。"
|
||||
},
|
||||
{
|
||||
"name": "比较不同技术与方法。",
|
||||
"content": "待核：无同问题、同前提的方案比较；关联不等于优劣。"
|
||||
},
|
||||
{
|
||||
"name": "提炼共同规律。",
|
||||
"content": "待核：缺少同目标比较，暂不归纳共同规律。"
|
||||
},
|
||||
{
|
||||
"name": "明确这些规律成立的前提与适用条件。",
|
||||
"content": "登记适用条件（原登记字段）：先明确采用的演算及求值策略；工程应用须另核对类型、单位、错误、权限与副作用。\n登记限制（原登记字段）：纯项的等式不自动适用于带状态或I/O的程序；合流、固定点及形式化记号不保证终止、性能或业务正确性。\n登记预期结果（不是实际效果证据）：更清楚的绑定、依赖、函数接口与组合推导；相对实际工程基线的收益仍需任务验证。\n规律迁移条件与反例待核，不作普遍性推断。"
|
||||
}
|
||||
]
|
||||
},
|
||||
{
|
||||
"object_key": "registry:gongfa-glue-coding@r1",
|
||||
"fields": [
|
||||
@@ -699,71 +764,6 @@
|
||||
}
|
||||
]
|
||||
},
|
||||
{
|
||||
"object_key": "registry:gongfa-lambda-calculus@r1",
|
||||
"fields": [
|
||||
{
|
||||
"name": "工具的名称",
|
||||
"content": "Lambda 演算"
|
||||
},
|
||||
{
|
||||
"name": "是什么",
|
||||
"content": "现有登记摘要：用户指定天级上品；用变量、抽象、应用和避免捕获的归约理解计算与函数组合。"
|
||||
},
|
||||
{
|
||||
"name": "为什么",
|
||||
"content": "待核：未单列采用动机；品级理由和摘要不能替代采用理由。须核第7项完整上下文。"
|
||||
},
|
||||
{
|
||||
"name": "怎么做",
|
||||
"content": "待核：缺少可复现步骤；须回查第7项，不把机制摘要当流程。"
|
||||
},
|
||||
{
|
||||
"name": "扩展",
|
||||
"content": "待核：未确认有据可查的变体/扩展；不按标题相似性推演。"
|
||||
},
|
||||
{
|
||||
"name": "关联信息",
|
||||
"content": "稳定ID：gongfa-lambda-calculus；内容版本：r1；本体类型：explanatory-content；身份状态：已登记。\n既有品级与初评记录：品级意见：天阶高级；意见状态：provisional；任务族：计算语义、函数抽象与组合边界判断；初评/上下文理由：用户明确指定天级上品，按现行十二级词表记录为天阶高级（tian-advanced），排列在拼好码之后；不据名气、抽象性或形式化本身宣称实际任务效果。；反证条件：若预先固定的理解、作用域替换及接口组合任务中，未相对合理基线改善正确性或维护成本，或形式化负担抵消收益，应重新讨论适用范围；本条未声称该验证已经发生。；置信标签：low；意见时间：2026-10-17T19:37:00.699915Z。此处为既有初评，不是正式效果评级。\n关联候选/既有关系列表：未记录逐条关系。\n关系登记不等于身份合并、比较结论或本体继承。"
|
||||
},
|
||||
{
|
||||
"name": "出处",
|
||||
"content": "固定来源记录与原文定位（正文仍保存在对应唯一登记源或冻结原始载荷中；此处列源记录、选择器与SHA，不改写原文）：\n{\n \"source_record\": {\n \"id\": \"repo-lambda-calculus-5b2cfb8f\",\n \"kind\": \"repository_document\",\n \"path\": \".github/context/gongfa/data.json\",\n \"git_revision\": \"5b2cfb8f83ee9260eb32bbbf74aebfef2191e119\",\n \"captured_at\": \"2026-10-17T19:37:00.699915Z\",\n \"snapshot_path\": \".github/metadata/gongfa/source-lambda-calculus-e8433b43fe8d.txt\",\n \"snapshot_sha256\": \"e8433b43fe8dbc1ccd53048c730739eccc65306ef4e589876c78735dbe310de6\",\n \"text_normalization\": \"markdown-section-trim-v1\",\n \"included_anchors\": [\n \"lambda-calculus\"\n ]\n },\n \"selection\": {\n \"source_id\": \"repo-lambda-calculus-5b2cfb8f\",\n \"heading_id\": \"lambda-calculus\",\n \"selection\": \"markdown-first-paragraph\",\n \"stop_before\": null\n },\n \"text_sha256\": \"0bb381ebd8b86149fe6d58e55cff3e4833f482f678e4d87e2b479bcb06ce1548\",\n \"source_note\": \"下列原文按当前登记载荷保留；路径、版本与选区是登记记录，不等于独立书目或原著核验。\",\n \"original_text_sha256\": \"0bb381ebd8b86149fe6d58e55cff3e4833f482f678e4d87e2b479bcb06ce1548\",\n \"original_text_storage\": \".github/metadata/gongfa/registry.json中的对应稳定ID与内容版本\"\n}"
|
||||
},
|
||||
{
|
||||
"name": "相关图书",
|
||||
"content": "待核：未提供逐条作者、书名、版本或章节；来源快照不构成书目。"
|
||||
},
|
||||
{
|
||||
"name": "它要解决什么问题？",
|
||||
"content": "怎样保持作用域含义、解释函数应用并澄清可组合与可替换的前提。"
|
||||
},
|
||||
{
|
||||
"name": "为什么这样设计？",
|
||||
"content": "待核：未记录设计理由；不把品级意见当作设计动机。"
|
||||
},
|
||||
{
|
||||
"name": "内部如何实现？",
|
||||
"content": "识别自由/绑定变量，通过α改名避免捕获，进行β替换；将函数作为参数或结果，显式区分求值策略、类型与现实副作用。"
|
||||
},
|
||||
{
|
||||
"name": "付出了什么代价？",
|
||||
"content": "待核：操作、时间、资源及维护成本未核实；限制不等于成本。"
|
||||
},
|
||||
{
|
||||
"name": "比较不同技术与方法。",
|
||||
"content": "待核：无同问题、同前提的方案比较；关联不等于优劣。"
|
||||
},
|
||||
{
|
||||
"name": "提炼共同规律。",
|
||||
"content": "待核：缺少同目标比较，暂不归纳共同规律。"
|
||||
},
|
||||
{
|
||||
"name": "明确这些规律成立的前提与适用条件。",
|
||||
"content": "登记适用条件（原登记字段）：先明确采用的演算及求值策略；工程应用须另核对类型、单位、错误、权限与副作用。\n登记限制（原登记字段）：纯项的等式不自动适用于带状态或I/O的程序；合流、固定点及形式化记号不保证终止、性能或业务正确性。\n登记预期结果（不是实际效果证据）：更清楚的绑定、依赖、函数接口与组合推导；相对实际工程基线的收益仍需任务验证。\n规律迁移条件与反例待核，不作普遍性推断。"
|
||||
}
|
||||
]
|
||||
},
|
||||
{
|
||||
"object_key": "registry:gongfa-first-principles@r1",
|
||||
"fields": [
|
||||
|
||||
@@ -6,8 +6,29 @@
|
||||
|
||||
## 天阶记录
|
||||
|
||||
- [拼好码](#v0-registry-gongfa-glue-coding-r1-22977803)
|
||||
- [Lambda 演算](#v0-registry-gongfa-lambda-calculus-r1-093b4490)
|
||||
- [拼好码](#v0-registry-gongfa-glue-coding-r1-22977803)
|
||||
|
||||
<a id="v0-registry-gongfa-lambda-calculus-r1-093b4490"></a>
|
||||
### Lambda 演算
|
||||
|
||||
| 序号 | 说明项 | 内容 |
|
||||
|:---:|:---|:---|
|
||||
| 1 | 工具的名称 | Lambda 演算 |
|
||||
| 2 | 是什么 | 现有登记摘要：用户指定天级上品；用变量、抽象、应用和避免捕获的归约理解计算与函数组合。 |
|
||||
| 3 | 为什么 | 待核：未单列采用动机；品级理由和摘要不能替代采用理由。须核第7项完整上下文。 |
|
||||
| 4 | 怎么做 | 待核：缺少可复现步骤；须回查第7项，不把机制摘要当流程。 |
|
||||
| 5 | 扩展 | 待核：未确认有据可查的变体/扩展；不按标题相似性推演。 |
|
||||
| 6 | 关联信息 | 稳定ID：gongfa-lambda-calculus；内容版本：r1；本体类型：explanatory-content；身份状态：已登记。<br>既有品级与初评记录：品级意见：天阶高级；意见状态：provisional；任务族：计算语义、函数抽象与组合边界判断；初评/上下文理由：用户明确指定天级上品，按现行十二级词表记录为天阶高级（tian-advanced）；旧展示顺序中位于拼好码之后，不据名气、抽象性或形式化本身宣称实际任务效果。；反证条件：若预先固定的理解、作用域替换及接口组合任务中，未相对合理基线改善正确性或维护成本，或形式化负担抵消收益，应重新讨论适用范围；本条未声称该验证已经发生。；置信标签：low；意见时间：2026-10-17T19:37:00.699915Z。此处为既有初评，不是正式效果评级。<br>关联候选/既有关系列表：未记录逐条关系。<br>关系登记不等于身份合并、比较结论或本体继承。 |
|
||||
| 7 | 出处 | 固定来源记录与原文定位（正文仍保存在对应唯一登记源或冻结原始载荷中；此处列源记录、选择器与SHA，不改写原文）：<br>{<br> "source_record": {<br> "id": "repo-lambda-calculus-5b2cfb8f",<br> "kind": "repository_document",<br> "path": ".github/context/gongfa/data.json",<br> "git_revision": "5b2cfb8f83ee9260eb32bbbf74aebfef2191e119",<br> "captured_at": "2026-10-17T19:37:00.699915Z",<br> "snapshot_path": ".github/metadata/gongfa/source-lambda-calculus-e8433b43fe8d.txt",<br> "snapshot_sha256": "e8433b43fe8dbc1ccd53048c730739eccc65306ef4e589876c78735dbe310de6",<br> "text_normalization": "markdown-section-trim-v1",<br> "included_anchors": [<br> "lambda-calculus"<br> ]<br> },<br> "selection": {<br> "source_id": "repo-lambda-calculus-5b2cfb8f",<br> "heading_id": "lambda-calculus",<br> "selection": "markdown-first-paragraph",<br> "stop_before": null<br> },<br> "text_sha256": "0bb381ebd8b86149fe6d58e55cff3e4833f482f678e4d87e2b479bcb06ce1548",<br> "source_note": "下列原文按当前登记载荷保留；路径、版本与选区是登记记录，不等于独立书目或原著核验。",<br> "original_text_sha256": "0bb381ebd8b86149fe6d58e55cff3e4833f482f678e4d87e2b479bcb06ce1548",<br> "original_text_storage": ".github/metadata/gongfa/registry.json中的对应稳定ID与内容版本"<br>} |
|
||||
| 8 | 相关图书 | 待核：未提供逐条作者、书名、版本或章节；来源快照不构成书目。 |
|
||||
| 9 | 它要解决什么问题？ | 怎样保持作用域含义、解释函数应用并澄清可组合与可替换的前提。 |
|
||||
| 10 | 为什么这样设计？ | 待核：未记录设计理由；不把品级意见当作设计动机。 |
|
||||
| 11 | 内部如何实现？ | 识别自由/绑定变量，通过α改名避免捕获，进行β替换；将函数作为参数或结果，显式区分求值策略、类型与现实副作用。 |
|
||||
| 12 | 付出了什么代价？ | 待核：操作、时间、资源及维护成本未核实；限制不等于成本。 |
|
||||
| 13 | 比较不同技术与方法。 | 待核：无同问题、同前提的方案比较；关联不等于优劣。 |
|
||||
| 14 | 提炼共同规律。 | 待核：缺少同目标比较，暂不归纳共同规律。 |
|
||||
| 15 | 明确这些规律成立的前提与适用条件。 | 登记适用条件（原登记字段）：先明确采用的演算及求值策略；工程应用须另核对类型、单位、错误、权限与副作用。<br>登记限制（原登记字段）：纯项的等式不自动适用于带状态或I/O的程序；合流、固定点及形式化记号不保证终止、性能或业务正确性。<br>登记预期结果（不是实际效果证据）：更清楚的绑定、依赖、函数接口与组合推导；相对实际工程基线的收益仍需任务验证。<br>规律迁移条件与反例待核，不作普遍性推断。 |
|
||||
|
||||
<a id="v0-registry-gongfa-glue-coding-r1-22977803"></a>
|
||||
### 拼好码
|
||||
@@ -29,24 +50,3 @@
|
||||
| 13 | 比较不同技术与方法。 | 待核：无同问题、同前提的方案比较；关联不等于优劣。 |
|
||||
| 14 | 提炼共同规律。 | 待核：缺少同目标比较，暂不归纳共同规律。 |
|
||||
| 15 | 明确这些规律成立的前提与适用条件。 | 登记适用条件（原登记字段）：方案可识别、维护稳定、接口可隔离。<br>登记限制（原登记字段）：供应链不可观测、依赖锁定或关键约束超出现有能力时，复用可能转化为系统性风险。<br>登记预期结果（不是实际效果证据）：需求匹配、方案选择与业务编排，以及可验证、可替换、可回滚的系统。<br>规律迁移条件与反例待核，不作普遍性推断。 |
|
||||
|
||||
<a id="v0-registry-gongfa-lambda-calculus-r1-093b4490"></a>
|
||||
### Lambda 演算
|
||||
|
||||
| 序号 | 说明项 | 内容 |
|
||||
|:---:|:---|:---|
|
||||
| 1 | 工具的名称 | Lambda 演算 |
|
||||
| 2 | 是什么 | 现有登记摘要：用户指定天级上品；用变量、抽象、应用和避免捕获的归约理解计算与函数组合。 |
|
||||
| 3 | 为什么 | 待核：未单列采用动机；品级理由和摘要不能替代采用理由。须核第7项完整上下文。 |
|
||||
| 4 | 怎么做 | 待核：缺少可复现步骤；须回查第7项，不把机制摘要当流程。 |
|
||||
| 5 | 扩展 | 待核：未确认有据可查的变体/扩展；不按标题相似性推演。 |
|
||||
| 6 | 关联信息 | 稳定ID：gongfa-lambda-calculus；内容版本：r1；本体类型：explanatory-content；身份状态：已登记。<br>既有品级与初评记录：品级意见：天阶高级；意见状态：provisional；任务族：计算语义、函数抽象与组合边界判断；初评/上下文理由：用户明确指定天级上品，按现行十二级词表记录为天阶高级（tian-advanced），排列在拼好码之后；不据名气、抽象性或形式化本身宣称实际任务效果。；反证条件：若预先固定的理解、作用域替换及接口组合任务中，未相对合理基线改善正确性或维护成本，或形式化负担抵消收益，应重新讨论适用范围；本条未声称该验证已经发生。；置信标签：low；意见时间：2026-10-17T19:37:00.699915Z。此处为既有初评，不是正式效果评级。<br>关联候选/既有关系列表：未记录逐条关系。<br>关系登记不等于身份合并、比较结论或本体继承。 |
|
||||
| 7 | 出处 | 固定来源记录与原文定位（正文仍保存在对应唯一登记源或冻结原始载荷中；此处列源记录、选择器与SHA，不改写原文）：<br>{<br> "source_record": {<br> "id": "repo-lambda-calculus-5b2cfb8f",<br> "kind": "repository_document",<br> "path": ".github/context/gongfa/data.json",<br> "git_revision": "5b2cfb8f83ee9260eb32bbbf74aebfef2191e119",<br> "captured_at": "2026-10-17T19:37:00.699915Z",<br> "snapshot_path": ".github/metadata/gongfa/source-lambda-calculus-e8433b43fe8d.txt",<br> "snapshot_sha256": "e8433b43fe8dbc1ccd53048c730739eccc65306ef4e589876c78735dbe310de6",<br> "text_normalization": "markdown-section-trim-v1",<br> "included_anchors": [<br> "lambda-calculus"<br> ]<br> },<br> "selection": {<br> "source_id": "repo-lambda-calculus-5b2cfb8f",<br> "heading_id": "lambda-calculus",<br> "selection": "markdown-first-paragraph",<br> "stop_before": null<br> },<br> "text_sha256": "0bb381ebd8b86149fe6d58e55cff3e4833f482f678e4d87e2b479bcb06ce1548",<br> "source_note": "下列原文按当前登记载荷保留；路径、版本与选区是登记记录，不等于独立书目或原著核验。",<br> "original_text_sha256": "0bb381ebd8b86149fe6d58e55cff3e4833f482f678e4d87e2b479bcb06ce1548",<br> "original_text_storage": ".github/metadata/gongfa/registry.json中的对应稳定ID与内容版本"<br>} |
|
||||
| 8 | 相关图书 | 待核：未提供逐条作者、书名、版本或章节；来源快照不构成书目。 |
|
||||
| 9 | 它要解决什么问题？ | 怎样保持作用域含义、解释函数应用并澄清可组合与可替换的前提。 |
|
||||
| 10 | 为什么这样设计？ | 待核：未记录设计理由；不把品级意见当作设计动机。 |
|
||||
| 11 | 内部如何实现？ | 识别自由/绑定变量，通过α改名避免捕获，进行β替换；将函数作为参数或结果，显式区分求值策略、类型与现实副作用。 |
|
||||
| 12 | 付出了什么代价？ | 待核：操作、时间、资源及维护成本未核实；限制不等于成本。 |
|
||||
| 13 | 比较不同技术与方法。 | 待核：无同问题、同前提的方案比较；关联不等于优劣。 |
|
||||
| 14 | 提炼共同规律。 | 待核：缺少同目标比较，暂不归纳共同规律。 |
|
||||
| 15 | 明确这些规律成立的前提与适用条件。 | 登记适用条件（原登记字段）：先明确采用的演算及求值策略；工程应用须另核对类型、单位、错误、权限与副作用。<br>登记限制（原登记字段）：纯项的等式不自动适用于带状态或I/O的程序；合流、固定点及形式化记号不保证终止、性能或业务正确性。<br>登记预期结果（不是实际效果证据）：更清楚的绑定、依赖、函数接口与组合推导；相对实际工程基线的收益仍需任务验证。<br>规律迁移条件与反例待核，不作普遍性推断。 |
|
||||
|
||||
@@ -209,8 +209,17 @@ def merge_rows(documents):
|
||||
if others:
|
||||
row['relations'] += '\n同名限定内容未自动合并：' + '；'.join(others)
|
||||
rank = {grade: i for i, grade in enumerate(GRADES)}
|
||||
rows.sort(key=lambda row: rank.get(row['grade_id'], -1), reverse=True)
|
||||
payload = documents.get('explanations_v0', {})
|
||||
presentation_order = {
|
||||
item['object_key']: position
|
||||
for position, item in enumerate(payload.get('items', []))
|
||||
if isinstance(item, dict) and isinstance(item.get('object_key'), str)
|
||||
}
|
||||
source_order = {row['key']: position for position, row in enumerate(rows)}
|
||||
rows.sort(key=lambda row: (
|
||||
-rank.get(row['grade_id'], -1),
|
||||
presentation_order.get(row['key'], len(presentation_order) + source_order[row['key']]),
|
||||
))
|
||||
explanations = {item.get('object_key'): item.get('fields') for item in payload.get('items', [])
|
||||
if isinstance(item, dict)} if isinstance(payload, dict) else {}
|
||||
for row in rows:
|
||||
|
||||
@@ -90,10 +90,12 @@ class CatalogMaintenanceTest(unittest.TestCase):
|
||||
self.assertIn('一个分布式系统最多只能保证一致性、可用性和分区容错性中的两项。', by_id['html96', 'VC029']['original_text'])
|
||||
self.assertIn('失去50%容量时剩余单位需要承担2倍总流量。', by_id['html211', 'E001']['original_text'])
|
||||
self.assertEqual(sum(r['entry_status'] == '已登记' for r in rows), 80)
|
||||
lambda_index = next(index for index, row in enumerate(rows) if row['original_id'] == 'gongfa-lambda-calculus')
|
||||
glue_index = next(index for index, row in enumerate(rows) if row['original_id'] == 'gongfa-glue-coding')
|
||||
self.assertEqual(rows[glue_index + 1]['name'], 'Lambda 演算')
|
||||
self.assertEqual(rows[glue_index + 1]['grade_id'], 'tian-advanced')
|
||||
self.assertIn('天级上品', rows[glue_index + 1]['reason'])
|
||||
self.assertEqual(lambda_index + 1, glue_index)
|
||||
self.assertEqual(rows[lambda_index]['name'], 'Lambda 演算')
|
||||
self.assertEqual(rows[lambda_index]['grade_id'], 'tian-advanced')
|
||||
self.assertIn('天级上品', rows[lambda_index]['reason'])
|
||||
rendered = catalog.book_views.render_sources(ROOT, 'gongfa')
|
||||
chapters = [line for line in rendered.splitlines() if line.startswith('## ')]
|
||||
self.assertEqual(chapters[chapters.index('## 拼好码') + 1], '## Lambda 演算')
|
||||
|
||||
@@ -25,7 +25,7 @@
|
||||
Context的9个既有集合是`gongfa`、`faqi`、`getting-started`、`prompts`、`research`、`external-resources`、`ai-citation`、`metadata`、`assets`。
|
||||
当前2个自有Skill和现有Extensions清单分别在其README，不另建工具注册层；16个官方引用入口已按用户要求移除。
|
||||
用户点名的chat-vault、my-nvim、codex-config、MCPlayerTransfer、XHS-image-to-PDF-conversion、两个xhs图文HTML及html-tools-main说明已移除；当前入口和绑定清理，旧来源/初审/排除保留，历史链接不是安装授权。
|
||||
Lambda演算已按用户要求加入功法，品级天级上品（现行`tian-advanced`），总表、文集及首页学习入口均紧随拼好码；不新增解释器或执行器。
|
||||
Lambda演算已按用户要求加入功法，品级天级上品（现行`tian-advanced`），总表及首页学习入口列在拼好码之前；冻结原文与既有评级不变，不新增解释器或执行器。
|
||||
|
||||
## 原始数据与来源
|
||||
|
||||
|
||||
@@ -88,8 +88,8 @@ pi --skill .github/skills
|
||||
2. [第一个项目](.github/context/getting-started/first-project.md) - 用本地待办清单走通需求、实现、验收和 Git 保存
|
||||
3. [问题求解](.github/context/gongfa/README.md#doc-problem-solving) - “目标-现状-差距-标准”与“目标-约束-对象-路径”的极简框架
|
||||
4. [Vibe Coding 状态转移闭环](.github/context/gongfa/README.md#doc-vibe-coding-state-transition) - 用固定目标、可变策略和分层反馈统一理解 Vibe Coding
|
||||
5. [拼好码](.github/context/gongfa/README.md#doc-glue-coding) - 优先复用成熟能力，用胶水代码连接、编排、适配业务流程
|
||||
6. [Lambda演算](.github/context/gongfa/README.md#doc-lambda-calculus) - 天级上品；理解函数抽象、作用域、归约与组合边界
|
||||
5. [Lambda演算](.github/context/gongfa/README.md#doc-lambda-calculus) - 天级上品；理解函数抽象、作用域、归约与组合边界
|
||||
6. [拼好码](.github/context/gongfa/README.md#doc-glue-coding) - 优先复用成熟能力，用胶水代码连接、编排、适配业务流程
|
||||
7. [工程实践](.github/context/gongfa/README.md#doc-quality-gates-and-pitfalls) - 用项目架构、代码组织、开发经验和硬门禁约束 AI 输出
|
||||
|
||||
</details>
|
||||
|
||||
Reference in New Issue
Block a user