docs(adr-0122): D6 点明同构 pin 的编译期证明落在 check:test-typecheck 一步 - #6263

docs(adr-0122): D6 点明同构 pin 的编译期证明落在 check:test-typecheck 一步#6263

os-zhuang merged 1 commit into

mainobjectstack-ai/objectstack:mainfrom

claude/issue-6183-adr-0122-d6-proof-stepobjectstack-ai/objectstack:claude/issue-6183-adr-0122-d6-proof-stepCopy head branch name to clipboard