Skip to content

docs: 2026-07 语言设计收敛 — 总纲 + D1–D27 封盘 + 作品包格式 + roadmap 同步#7

Merged
inu-tsuki merged 3 commits into
mainfrom
docs/2026-07-language-convergence
Jul 7, 2026
Merged

docs: 2026-07 语言设计收敛 — 总纲 + D1–D27 封盘 + 作品包格式 + roadmap 同步#7
inu-tsuki merged 3 commits into
mainfrom
docs/2026-07-language-convergence

Conversation

@inu-tsuki

Copy link
Copy Markdown
Owner

概要

2026-07 两轮语言设计收敛讨论的全部产出,按依赖顺序分三个 commit 提交。纯文档变更,无测试门禁要求。

Commit 组成

1. docs(language): 2026-07 语言设计收敛 — 总纲 + D1–D27 封盘 + 分章

knowledge/language/ 重组为总-分结构:

  • design.md 重写为总纲(定位、五公理、词性总览、章节索引、封盘决议清单 D1–D27)
  • 新增 6 个分章:chain-model.md / selection-model.md / scope-and-lifetime.md / control-flow.md / frontmatter-schema.md / migration.md
  • README.md 索引、brainstorm.md 补 7 月讨论同步更新

2. docs(architecture): .kmdwork 作品包格式骨架草案

  • 新增 work-bundle-format.md(容器形态、三层结构、B1–B9 决议、revision 模型)
  • 前置依赖:commit 1 的 frontmatter-schema.md

3. docs(roadmap): 同步语言收敛完成状态 — roadmap + Phase B 计划重写 + graph 草案映射

  • implementation-roadmap.md:标记语言收敛已完成,Phase B 恢复条件更新
  • 1.6-phase-b-plan.md:按 D 编号重写工作包(B0.1–B0.4 / B1 两级作用域 / B2 三高度 if)
  • segment-graph-runtime-draft.md:补表面语法映射表,占位记法对齐封盘语法

验证

  • git status 干净,13 个文件无遗漏
  • 每个 commit 只含对应主题文件,无串包

inu-tsuki added 3 commits July 8, 2026 06:51
把 knowledge/language/ 重组为总-分结构:

- design.md 重写为总纲:定位与参照系、五公理、词性总览、章节索引、
  封盘决议清单 D1–D27(主谓模型、值/引用语义、卫生宏、$() 取值展开、
  选择器双类型、围栏、作用域链、生命周期、选项级联、三高度控制流、
  量词字面量、loop/wait 不存在等)。
- README.md 入口索引更新为总-分文档列表。
- brainstorm.md 补 7 月讨论:Pharo/Smalltalk 参照(不接进运行时)、
  裸文本匹配二期、期望 demo 验收样例、控制流特性缺口清单、
  游戏 TS Segment 宿主契约草图。
- 新增分章 chain-model.md(主谓/拍/从句/粒度/字面量/$())。
- 新增分章 selection-model.md(点/域双类型、选择器家族、围栏、flow)。
- 新增分章 scope-and-lifetime.md(作用域链、两级作用域、生命周期、选项级联)。
- 新增分章 control-flow.md(三高度 if、# 锚点、行内表达式、特效控制流)。
- 新增分章 frontmatter-schema.md(效力分层、字段 schema v1、解析与写回,
  D22 展开)。
- 新增分章 migration.md(历史形态 → 新形态对照 + 解析器工程债清单)。

分章纪律:决议只在 design.md 封盘清单记一次,分章只写'是什么'。
新增 work-bundle-format.md:.kmdwork 宿主导入/导出容器骨架。

- 容器 = zip 单文件(B1);runtime 热路径只消费展开后的 work + 资源,
  不直接读 bundle(B2)。
- 三层结构:source(脚本+资产)/ metadata(manifest+投影快照)/
  history(revision manifest+origin)(B3)。
- 身份 = bundleId(UUID),跨设备稳定;云端 workId 仅作 origin mapping,
  contentHash 仅作内容寻址/去重(B8)。
- revision 走提交模型;export snapshot ≡ 最新提交,导出时自动提交(B6/B7)。
- 前置依赖:frontmatter-schema.md(效力分层先收敛,避免把三端 drift
  固化进文件)。
- 多脚本方向(runtime/host 直接消费受控多脚本图)未定稿,v1 只消费单 entry。
按 2026-07-08 语言设计收敛(D1–D27)更新 roadmap:

- implementation-roadmap.md:标记语言收敛审查已完成,Phase B 恢复条件
  更新为'Android smoke + artifact 链路稳定',按封盘规范重述 Phase B 范围。
- 1.6-phase-b-plan.md:按 D 编号重写工作包——B0 拆为 B0.1–B0.4
  (新链解析器/作用域链+选择器/连接符拍从句粒度/宏对象围栏),B1 重述为
  两级作用域 + StateStore + 表达式(D19–D22),B2 按三高度 if 重述
  (D23、D25–D27),引用 migration.md 作为迁移路径。
- segment-graph-runtime-draft.md:补'0. 表面语法映射'表,把本文占位记法
  (@ tag/@ jump/@ if/@ loop/@ wait)对齐到封盘表面语法(#锚点/->结构行/
  [if -> #标签]/后向导向即循环/pause(click)),运行时形状不变。
@inu-tsuki inu-tsuki merged commit f040d3c into main Jul 7, 2026
1 check passed
@inu-tsuki inu-tsuki deleted the docs/2026-07-language-convergence branch July 7, 2026 22:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant