把你的系统交给面试官追问
用不变量与证据说明系统,而不是列框架名称。
合成教学数据 · 未运行真实模型静态推演与完整规格
I23 把你的系统交给面试官追问
关联章节:M11 · 交互类型:architecture-defense · 状态:提供完整状态/验收规格,UI待实现
教学目标
用不变量与证据说明系统,而不是列框架名称。
初始状态
{
"chosen_track": "Backend",
"constraints": [
"多租户",
"可能重试",
"等待人工批准",
"外部响应可能丢失"
],
"design": {},
"evidence": []
}
操作控件
选Application/Backend/Runtime
填写责任矩阵
随机抽取固定故障卡
写修正方案
对照rubric自评
导出Markdown
状态变化规则
故障卡从固定集合选取,可固定seed;不调用LLM打分。
硬约束按清单检查;架构优劣显示人工rubric而非伪精确分数。
导出用户回答与未覆盖项,参考答案独立折叠。
黄金案例与反馈
lost-response
输入:
"退款后响应丢失,Checkpoint没写"
期望:
{
"must_mention": [
"stable operation_id",
"business idempotency/query",
"unknown state",
"no new intent on retry"
]
}
只说重试或加锁不足以回答。
cancellation
输入:
"用户取消,Shell子进程仍运行"
期望:
{
"must_mention": [
"stop dispatch",
"process tree lifecycle",
"resource cleanup",
"external effects reconciliation"
]
}
取消标记不是进程回收,更不是业务回滚。
完成条件
提交责任矩阵和至少一条故障推演
给每项保证指出证据或明确未验证
反馈层次
提交预测后显示结果;允许跳过预测但记录跳过,不阻止阅读
结果同时显示状态变化、原因与被拒绝动作;不是只给红绿灯
第一次错误给边界提示,第二次提供最小反例;参考推导始终可主动打开
重置恢复固定初始状态并保留历史尝试供用户手动清除
无障碍与静态替代
全部操作有原生button/input/select替代,不依赖拖拽
图与动画提供同步文字状态表;支持prefers-reduced-motion
状态改变用aria-live=polite摘要,不逐字朗读长日志
焦点不跳走;错误提示关联输入;颜色不是唯一编码
无JavaScript时直接展示初始输入、规则和黄金案例表,读者仍能完成纸面推演。状态动画仅作解释,不能成为获取答案的唯一途径。
持久化与重置
使用版本化键agent-course:1:I23,仅保存本地学习状态。支持单卡重置和全站清除;存储失败时以内存模式继续,不阻断阅读。
必须避免的误导
评分不能只做关键词匹配;关键词只提示遗漏,由学习者/教师按论证判断。
执行边界
纯本地教学状态机;不执行任意代码,不连接真实资金/模型/宿主Shell。