docs(plan): the measurements that overturned the plan, written back into it - #497
Merged
Merged
Conversation
三份计划文档停在动手之前,而落地推翻了其中几处判断。**不回填的文档
在说谎**,于是补一节 §17,只记录被推翻或修正的部分。
⭐ **17.1 §4.1 的窄改法阈值定错了方向。** 上文写「命中点超过 ~30 处就
改为窄改法」,实测命中 22 处 —— 按本文的规则应走宽改法,而正确的仍然是
窄改法,理由与数量无关:`x86_64-linux-gnu` 是 `mcpp toolchain list` 打印
的东西,因此也是人们照抄的东西。判据从来不是「要改多少处」,而是
「哪一个是身份、哪一个是请求」。用改动面大小选设计,选出的是省事的那个。
**17.3 §12.3「二进制分发不能声明 provides」已被实验否掉。** 手写一个
`sources = []` + `provides` + `std-module` 的无源码包,零引擎改动即可
占住 c++-abi 层 —— 而上文据这个错误前提推出了一整套需要引擎改动的方案。
⭐ **17.4 新层名的发布门槛,本文完全没有涉及。** 一个键有三种结局,
其中两种都是 exit 0:
provides = ["mcpp:compiler-runtime=…"] 19.4 exit 0 **未校验**
24.1 exit 2 拒绝
24.3 exit 0 解析
两个零不是同一种成功。19.4 早于层词表,整个数组被忽略 —— 它既不拒绝
也不读。CI 停在那里会在一份中心主张从未被检查过的清单上报绿。
⚠️ **17.5 一次撤回:把规范的机制当成了缺陷。** `kal_fs_props` 未定义
是 openkal SPEC 6.1 在工作(不提供的接口 = 链接期缺席),我补了那个符号、
发了 0.1.3、进了索引,然后全部撤回。**报错信息告诉你什么坏了,它不是规范。**
17.1 / 17.3 / 17.5 是同一族错误:用「做不到」或「什么坏了」当推理的前提,
而没有去读那份写着答案的文件。
design 定稿加一行落地状态并指向 §17;architecture 工作稿早已标注被取代。
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
三份计划文档停在动手之前。落地过程推翻了其中几处判断,而不回填的文档在说谎。§17 只记录被推翻或修正的部分,做成了的事不在此列。
四条,其中三条是同一族错误。
kal_fs_props未定义是 openkal SPEC 6.1 在工作,我把机制当缺陷修了,发布并进索引后撤回。1/2/4 同族:用「做不到」或「什么坏了」当推理的前提,而没有去读那份写着答案的文件。
design 定稿加一行落地状态并指向 §17。⚠️ 本 PR 不动
.xlings.json的 bootstrap pin。