工作流 · Workflow
由代码预先决定步骤、分支和停止条件的执行路径。
首次出现时采用“中文术语(English term)”,后续根据语境使用更自然的简称。定义只提供本课程需要的最小边界,具体协议和算法仍以对应模块与来源为准。
由代码预先决定步骤、分支和停止条件的执行路径。
在程序边界内,由模型根据当前状态选择下一步动作的系统。
模型提出结构化动作,程序完成校验、授权和实际执行。
用有限状态和明确转换规则描述系统如何变化。
让模型按可解析、可验证的数据结构返回结果,而不是只给自然语言。
对数据字段、类型、必填项和取值范围的机器可检查约束。
先检索外部材料,再把相关证据放进模型上下文中生成答案。
服务器通过一个持续的 HTTP 连接向浏览器单向发送文本事件。
下游处理不过来时,限制上游继续生产数据的流量控制机制。
操作超过明确期限后主动停止等待,并进入可分类的失败路径。
调用方明确通知正在执行的工作尽快停止,并释放相关资源。
一个绝对时间点;到达后,整条调用链都不应再为本次操作启动新工作。
在可分类的临时失败后再次尝试;是否安全取决于副作用、幂等性和剩余时间。
标识事件在一个有序事件流中的位置,用于断线续传、去重和回放。
同一个业务意图重复提交时,不会额外产生新的业务副作用。
模型处理文本时使用的离散单位;它不一定等于一个字或一个单词。
把离散对象映射成连续向量,使相似性或后续模型能够进行数值运算。
模型在计算当前位置表示时,对上下文中不同位置分配关联权重的机制。
由输入表示经过不同线性投影得到的三组向量:Q与K计算权重,权重再组合V。
在自回归生成中屏蔽当前位置之后的Token,防止预测时读取未来答案。
用多组独立投影并行计算注意力,再拼接和投影回模型维度。
向Token表示加入顺序或相对距离信息,因为单独的注意力运算并不知道输入排列。
一次推理中模型能够读取和生成的 Token 总预算。
推理的两个阶段:先并行处理已有输入,再逐Token生成后续输出。
自回归解码时保存历史Token各层的K/V,避免每生成一步都重复计算整段前缀。
使用记录的输入、状态、事件和版本重新执行,或在不执行副作用的情况下重新计算判定。
跨步骤记录一次任务的时间、公开状态、调用、结果和关联身份。
一次执行产生并可被验证、保存、读取或比较的输出对象。
使用固定输入和审核过的预期结果检查行为是否发生意外变化的测试。
描述一次执行所需输入、配置、版本身份和预期产物的结构化记录。
把运行清单、结构化结果、Trace、副作用记录、产物及其验证结果关联在一起的最小可检查集合。
在已声明的输入、配置和版本身份相同时,执行产生相同可观察结果的约束。
记录外部写入的意图、幂等身份、执行结果、验证状态和补偿状态的结构化账本。
在所有合法状态与状态转换中都必须成立、可以被程序检查的条件。
提交写入时检查读取版本是否仍然有效,冲突时拒绝并要求重新计算。
某个已知版本上的完整状态副本,用于缩短恢复路径,但不能替代增量事件和校验。
把一组数据库读写作为一个提交或回滚边界处理的机制。
规定并发事务能够观察哪些中间结果,以及哪些冲突由数据库或应用处理。
由调用方为同一业务意图稳定复用的身份,用于查找首次执行结果并阻止重复副作用。
把业务写入与待发布消息写进同一数据库事务,再由独立发布器可靠转发。
为已提交且无法直接回滚的业务副作用执行一个新的、可审计的纠正动作。
应用先查缓存,未命中时读取权威存储并回填,写入时显式更新或失效缓存。
隔离超过有限重试或无法处理消息的队列,便于诊断和受控重放。
描述消息在故障和重试下可能不送达、送达一次或重复送达的协议边界。
训练或调参路径使用了真实预测时不可获得的信息,使评测结果被高估。
分别用于拟合参数、选择配置和最终核验泛化能力的数据边界。
按真实类别和预测类别统计计数,用于展开准确率背后的错误结构。
精确率衡量预测为正的样本中有多少正确,召回率衡量真实为正的样本中有多少被找到。
检查预测概率与实际发生频率是否对应,而不是只比较排序或分类正确率。
把来源文档切成可索引、可检索且仍能定位回原文的证据单元。
对第一阶段召回的候选使用更精细但通常更昂贵的模型重新排序。
对每个查询检查前K个候选是否覆盖全部或所需相关项的检索指标。
对每个查询取第一个相关结果排名的倒数,再在查询集合上求平均。
要求输出中的可核查结论能够绑定到当前允许使用的外部证据。
把一个可核查结论连接到具体来源身份和原文位置的可验证指针。
当证据不足、冲突或越过授权边界时,系统明确拒绝生成无依据结论的终态。
定义工具输入、输出、权限、副作用、超时、幂等和错误分类的可执行边界。
把可执行动作限制在明确资源、范围、期限和调用次数内的授权对象。
只服务于当前运行、可以丢弃或重建的有限上下文视图。
跨运行持久保存、需要来源、作用域、保留期和删除规则的信息。
明确资产、信任边界、攻击者能力、滥用路径和缓解措施的结构化分析。
只授予完成当前动作所需的最小资源范围、操作集合和有效期限。
不可信内容试图改变系统指令、越过权限或诱导执行非预期动作的输入攻击。
包含初始状态、输入、夹具、预算和机器断言的一次可执行检查。
限制代码、文件、网络和进程能力的隔离执行边界。
从攻击者视角主动构造滥用和越界路径,并把有效案例转成回归评测。
在一个时间窗口内,对用户可感知可靠性指标设定的明确目标。
由可靠性目标允许的失败量,用于决定发布、降级和修复优先级。
比较期望状态与实际状态,并通过幂等动作持续缩小差异的恢复循环。
自动化在证据不足、风险过高或预算耗尽时,把状态与证据交给人工继续处理。
对单次任务或时间窗口内允许消耗的模型、检索、工具和基础设施资源设定上限。
用层级控制节点组合可复用动作,并根据成功、失败或运行中状态选择行为。
用更低精度数值表示权重或激活,以换取更小模型或更低推理成本,并重新测量质量损失。