48 个能上手拆的实验。

• Turn 流程与日志对应

  一次 Turn 展开成 20 步、4 次模型请求、9 条日志事件。滑杆停在哪一步，都能对上这一步写进了日志哪一行。沙盒区五个旋钮连续可调：改消息长度、工具次数、失败位、被拒开关和中止红线，看轨迹当场分叉。

  • 步进滑杆
  • 场景切换
  • 可调沙盒

  打开实验 配套课 · Agent 与 Turn

• Session 日志重放

  拖动重放位置，看状态怎么从日志逐条折叠出来。往下还有 SQLite 物理行面板：连续增量怎么折成一条打包行，多大的 data 才走压缩？

  • 重放拖杆
  • SQLite 行布局

  打开实验 配套课 · Session 日志与恢复

• LLM 流式拼装

  chunk 按到达顺序进 BlockAssembler；finish 之后才到的重复增量必须被丢掉，否则同一段话出现两遍。逐步推进序列，看着消息拼完。

  • 单步推进
  • 播放连推

  打开实验 配套课 · LLM 与工具执行

• 提示词装配与缓存边界

  系统提示词按 order 升序拼成一条；变化点之前的前缀照旧命中缓存，之后的字节全部重算。换 persona、改策略、动工具表，当场看账单怎么分。

  • 预测门控
  • 字节地形图
  • 状态链复制

  打开实验 配套课 · LLM 与工具执行

• 上下文压缩

  拉「保留轮数」，看 surface 折成摘要、最近几轮原样留下；原始日志一条不少，摘要逐条引用它们。两层怎么算账，当场对。

  • 保留轮数滑杆
  • 前后对照

  打开实验 配套课 · Session 日志与恢复

• 包依赖图证据

  横轴是一个包 src 的行数，纵轴是多少个包在 peerDependencies 里指向它。最被依赖的包往往最小：右下角和左上角各讲一个故事。

  • 散点筛选
  • 可选 3D 场景
  • 表格回退

  打开实验 配套课 · Cordis 与插件树

• 文件编辑管线

  old_str 必须逐字且唯一：零次与多次匹配都在写入前停下并报出行号；沙箱在写入一步执法。改输入看管线停在哪格、diff 卡载荷怎么生成。

  • 六格流水线
  • 上游原文报错
  • diff 呈现

  打开实验 配套课 · 工具插件完整契约

• Web 工具管线

  HTML 转 GFM 时 script/style 整体剔除，嵌套超 512 层就原文透传；provider 截断、源码切割、超帽任一为真即追加脚注。搜索侧：多查询轮转合并、URL 去重、封顶即停。

  • 深度守卫
  • 截断脚注
  • 轮转合并

  打开实验 配套课 · 工具插件完整契约

• 工具可见性三层集合

  已注册、模型可见、允许执行是三层嵌套的收窄，各由不同的东西负责。开关任意一层，另外两层的计数跟着变；点任意工具，高亮它被哪道收窄挡下。

  • 集合开关
  • 计数联动

  打开实验 配套课 · 工具可见性

• Profile 解析顺序

  同一组 Bundle，把「严格上限」拖到前面，maxTurns 就从 4 变 12：决定结果的是最后一个写它的步骤。overlay 永远叠在最后。滑杆能逐步回放每一步写入后的中间配置。

  • 上下移排序
  • 装配对照

  打开实验 配套课 · Bundle 与 Profile

• 插件订阅与日志

  只观察 tools/result 的最小插件摆在三层时间线上：关掉订阅，执行照常广播、宿主照常写日志，少的只有它的预览。「中途订阅」场景反过来：登记前的广播照样错过。滑杆逐步推进时间线。

  • 订阅开关
  • 时间线单步

  打开实验 配套课 · 写合规插件

• Code Mode 权限管线

  子调用也要过完整管线。改策略和 seed，逐帧检查四个子调用：默认场景拒绝一次写入，「全部放行」后写入仍先过 policy lane。

  • 策略切换
  • 逐帧检查

  打开实验 配套课 · 可视化协议

• Hook 瀑布短路

  三个监听器挂在同一条瀑布事件上。策略监听器直接 return 而不调用 next 时，「默认放行」还会执行吗？最终结果由谁写出？

  • 预测门控
  • 时间线单步

  进实验室 配套课 · Hook Bridge

• Session fork 与修复

  三种崩溃形态 × fork 开关共八种组合：工具缺结果补 unknown，流式中断补 interrupted 消息，Turn 未开步补写 turn/end。子会话继承哪段前缀，滑杆逐步看。

  • 预测门控
  • 时间线单步

  进实验室 配套课 · 日志与恢复

• 审批流

  一次 ask 只有四种结局：allowed-once、rejected、cancelled、unavailable。把应答者拿走会落到哪个词？策略 never 又由谁裁决？

  • 预测门控
  • fail closed

  进实验室 配套课 · 工具插件契约

• subagent 委派

  子深度是父深度加一，默认上限 3。超限的报错原文长什么样？被拒的委派会留下什么？失败回报算不算完整结算？

  • 深度上限
  • 泳道隔离

  进实验室 配套课 · 核心文件精读

• 循环卫生

  同一个调用被连续发出：提醒在第几次出现？只换参数键序算不算新调用？用户插一句嘴之后，链条从几重新数起？

  • 阈值 [3, 5, 8]
  • 只提醒不拦截

  进实验室 配套课 · 工具可见性

• Shell 解析缝隙

  resolve(request) 把省略值补成可执行的 Spec：workdir、超时补默认、封顶，沙箱执行器给 policy 盖章而本地执行器惰性透传。run/start 只收这份 Spec。

  • 来源徽章表
  • 封顶演示
  • 退出码往返

  打开实验 配套课 · Cordis 与插件树

• Trajectory 投影

  UI 不是另一份真相：拖动重放滑杆，看用户气泡、打字中的助手块和工具卡（generic / terminal / diff）怎样从事件流一张张折叠出来。grep 的等待态为什么保持 generic？

  • 重放滑杆
  • 双栏对照
  • 呈现契约

  打开实验 配套课 · Session 日志与恢复

• 技能目录渐进加载

  目录只含一行 name+description 摘要；digest 变了才追加完整替换信封。改描述、增删技能、切工具可见性，看 initial → replacement → retired 与 skill 工具的三种结局。

  • 逐字信封
  • digest 驱动
  • 三种探测结局

  打开实验 配套课 · 工具可见性

• 后台任务生命周期

  kill 返回 requested 并认领 reported；结算先到先得，迟到的 resolved(completed) 被忽略；teardown 排空后零通知。三个剧本 × 三种结局逐步推。

  • 先到先得
  • reported 认领
  • 时间线单步

  打开实验 配套课 · 工具插件完整契约

• 定时与工作流编排

  after/at/every 三种触发器：冷会话错过 3 个锚点也只投最新一次、然后一步推进。工作流侧：meta 先校验，agent 按 seq 配对，取消走有界宽限强结算。

  • 追投语义
  • seq 配对
  • 有界宽限

  打开实验 配套课 · 工具插件完整契约

• 工作流节点折叠

  四条 log-only 记录折成一个聊天节点：相位只认启动过的成员、空串与省略分列；截断日志是合法前缀，按 interrupted 呈现且工具卡一字不改。

  • 四折一
  • 合法前缀
  • 披露初始态

  打开实验 配套课 · Session 日志与恢复

• 客户端三面镜

  ui-tool 的卡片状态机、ui-conversation 的折叠引擎、ui-user-questions 的提问接管——三个组件族各配一个可推演面板，契约原文落在每个格子里。

  • 三面镜
  • 切片状态机
  • 接管规则

  打开实验 配套课 · Host/Client/发布

• Web 提供者矩阵

  同一缝隙三种搜索实现：DeepSeek 整轮调用走严格模式、Exa 纯检索、Perplexity 答案+引用。选择表六种情形各有专属错误码；fetch 卫生规则逐条校验。

  • 选择策略
  • 归一化矩阵
  • fetch 卫生

  打开实验 配套课 · Cordis 与插件树

• Worker 协议

  Ready/Go 握手、ChildStart RPC 配对、Cancel 后 hooks 抛出——workflow-worker-thread 的每条消息逐步推演，验证握手顺序与终局唯一性。

  • 双向协议
  • RPC 配对
  • 取消路径

  打开实验 配套课 · 计划栈

• 计划栈

  Todo 为什么只能整表替换、Plan 的四态状态机怎样落日志、Goal 从创建到结算走哪几个相位——三个面板共用同一份「状态即日志」的底座。

  • 整表替换
  • 状态机
  • 生命周期

  打开实验 配套课 · 计划栈

• 凭据解析

  配置声明了一个凭据引用，来源链上一级都缺席时会发生什么？fail-closed 在解析处拒绝，而不是把空值递给工具主体。

  • 引用解析
  • fail-closed

  打开实验 配套课 · 工具插件契约

• 文件设置热发布

  另一个进程直接改了 settings.yaml：本进程靠 fs 监听器把它汇入同一条热发布路径，写入锁保证同一时刻只有一个写者。

  • 热发布
  • 写入锁

  打开实验 配套课 · Host/Client/发布

• 溢出转储

  工具结果超过 maxInlineBytes 之后：完整文本进会话工件，模型拿到预算内的 head/tail 预览加定位符——read 豁免、无后端放行、未配置即 no-op。

  • 字节预算
  • read 豁免
  • 尽力而为

  打开实验 配套课 · LLM 与工具执行

• 终端会话

  cd /tmp 之后再 pwd 读到哪里？持久会话跨发送延续 cwd 与环境变量；一次性模式每条命令都是新世界。并发第二次发送被拒，kill 等整棵进程树停稳。

  • 状态延续
  • 单发送位
  • 进程树停稳

  打开实验 配套课 · 工具插件契约

• MCP 客户端

  外部服务器的工具以 mcp__server__tool 限定名进场；断线后指数退避重连、预算耗尽即放弃；卸载时注销全部工具并释放命名空间，同名热替换公开名不变。

  • 限定命名
  • 指数退避
  • 命名空间释放

  打开实验 配套课 · 生态检索与核验

• 自我修改

  模型用 cordis_define/run/stop/undefine 给自己装插件：能力随 run 进入 schema、随 stop 消失；坏定义 fail loud 零挂载；动态工具照样过权限管线。

  • 动态包
  • fail loud
  • 同一条管线

  打开实验 配套课 · Cordis 与插件树

• 子进程

  输出超限时留下的是 TAIL：诊断价值最高的最后一段永远在内存里；spill 要么完整可恢复要么明确丢弃。受管环境变量一律带 DSH_ 前缀。

  • TAIL 保留
  • spill 三态
  • 环境隔离

  打开实验配套课 · LLM 与工具执行

• 语言服务

  Provider 原子预留扩展名：冲突或非法注册零残留；查询按文件最终扩展名路由，与注册顺序无关。缝只暴露四个操作。

  • 独占预留
  • 原子注册
  • 顺序无关路由

  打开实验配套课 · LLM 与工具执行

• 线协议

  按行分隔的 JSON-RPC：request 带 id、response 认领同一 id、notification 单向不等待。服务端错误走 response 通道，initialize 必须是第一句。

  • id 配对
  • 通知单向
  • 带内错误

  打开实验配套课 · Host/Client/发布

• Token 计量

  读数从日志重放推导：measured 把已有表面记进基线、estimated 记进增量——总账恒等。压力只是读数，跨阈值不截断。

  • 双口径基线
  • 压力只报数

  打开实验配套课 · LLM 与工具执行

• Agent 预设

  常驻挂载装载一次，N 个 agent 经作用域加入而非复制；重复装载被拒。

  • 常驻挂载
  • 作用域加入

  打开实验

• 检查点策略

  三个持久化时刻钉住请求、调用与步骤；拖动崩溃位置，看能恢复到哪一拍。

  • 三时刻
  • 崩溃推演

  打开实验

• 匿名身份

  home 作用域随机 id：删除即重铸，进程内记忆，永不从机器指纹派生。

  • 隐私设计
  • 进程记忆

  打开实验

• 时间上下文

  选择性加入的带归因时间读数：durable 入册，重放原样回来。

  • opt-in
  • 来源归因

  打开实验

• 图片附件

  尺寸限制在保存处强制执行，拒收零引用；取回另受策略管辖。

  • 保存门槛
  • 取回策略

  打开实验

• 消息反馈

  按消息 id upsert 绑定已定稿消息：重复评价是更新不是追加。

  • upsert
  • 生命周期

  打开实验

• 研究 ↔ Debug 离线桥

  课程网站和独立 Debug 工具之间只靠显式文件交接：这边生成 request 文件，那边回填结果文件，页面逐项核对结论。

  • 文件导入导出
  • 结论回填核对

  打开实验 配套课 · 研究与 Debug 协作

• Code 运行结果分类

  程序失败时 run() 照常 resolve：error 是结果上的字段。六种失败类彼此正交——exception、timeout、abort、worker-exit、invalid-output、output-limit；binding 命名空间要过三道检查，$tools 这类 JS 拼写在任何后端都被拒。

  • error 字段
  • 六类正交
  • 三道检查

  打开实验配套课 · 可视化协议与 Code Mode

• 宿主路由与接缝

  webserver 是唯一的 HTTP 载体：请求先扫已注册路由，全部未命中才轮到 frontend-static 的回退座位。目录选择走 ctx.directoryPicker 接缝——native 与 browse 互换后端，消费方的契约一个字不改。

  • 回退座位
  • 接缝替换

  打开实验配套课 · Host/Client/发布

• 运行时不变量

  每个包从自己的 ./invariant 伴生插件注册检查：包名第一步就被保留——关掉检查也占住名字；fail() 抛出的错误带完整包名归属；失败的子 fiber 被销毁、保留位释放。

  • 名字保留
  • 包归属报错
  • 失败释放

  打开实验配套课 · 测试卸载与证据

• 存储后端契约

  一个后端独占一种介质，kv 切面缺位就大声失败。单元名同时当文件名和 SQL 标识符，大写连字符直接被拒；版本戳对不上按 version-mismatch 拒开；写完即持久，删缺失键幂等，close 之后一切报 closed。

  • 切面可选
  • 名字门
  • resolve 即持久

  打开实验配套课 · Session 日志与恢复

这一组暂时没有实验。换一个筛选条件看看。