DSH 学习 · 类型与模式

类型抽成图，端点先验明正身。

typert-generator 把 TS 源抽成编译器无关的类型图（declarations + 节点，子边用图局部 id），renderer 只消费这张图。registry 用两阶段提交管理 invocation：prepare 全量校验端点与 id 唯一性，冲突在变更前抛错零残留；withdraw 只撤自己的并释放两端。loader 对导出 ./typert 的挂载包自动注册、卸载即撤销。

阅读配套课程 打开 MCP 客户端实验

先押一个注：owner-b 用不同端点 ep-b 但重用 owner-a 的 invocation id id-a——会发生什么？

当前选择写在地址栏 #state= 后面：刷新不丢。
图节点数
—
图边数
—
图最大深度
—
存活的端点
—
changes 事件
—
独立校验
—

面板一 · 类型图

declarations 与节点的父子结构

节点 × 子边

渲染文本按深度优先展开；切换形态看节点数、边数和深度的联动。face 只决定产物聚合去向，不改图结构。

—

面板二 · 注册表

两阶段提交与定向撤销

贡献方 × 端点

每行是一条 invocation：prepare 阶段全量校验（端点与 id 双唯一），commit 才绑定 owner；withdraw 按 owner 定向撤销并发 changes 事件。悬停行看细节。

    独立校验

    两个面板各自重算

    图 + 账目校验

    图侧核对边的存在性与无环性；账目侧核对零残留与定向撤销。两侧都不读渲染层中间量。

      证据边界

      哪些结论可以带走

      能证明什么

        不能证明什么