forge remember 事实、已验证的 reuse
产物 —— 都以按内容寻址的声明形式落到一份 git 原生的账本(.forge/ledger/)里,
它被设计成合并时不会有冲突。没有服务器,也没有同步服务;只是 git 里的
文件。
团队记忆三条命令
1
初始化一次
.gitattributes union-merge 规则等内容。2
正常干活
Cortex 经验和
forge remember 事实会在你干活时把声明影子写进账本 ——
不用额外跑什么。3
把队友的账本合进来
为什么它不会冲突
一个声明的字节内容是(kind, body, scope) 的纯函数,所以每个副本对
同一份知识都算出同一个身份。合并是一个 join-semilattice —— 已用
性质测试证明是可交换、可结合、幂等的 —— 所以两个队友的
账本无论谁先同步都会收敛到相同的状态。
同一份知识被独立地铸造两次,会收敛到一个声明,
并在它的出处里保留每一位作者。
信任与出处
置信度只能被独立裁决者移动 —— 测试、CI、人的接受/回退 —— 所以 导入一份队友的账本并不会盲目相信他们的笔记;它导入的是他们的 证据。跨团队复用
一旦队友已验证的代码进入了合并后的账本,你就可以带着它的证据来复用它:forge ledger blame —— 复用它,而不是重新生成。