ChaiHaoandClaude Opus 5
259192f736
手改是**兜 AI 的错**的那一手 —— 这一轮把它从「摆在那儿但落不了地」做成真的: 件上就地改 · 保存**按地址收**,不看当下那张卡:载荷从前借道工单的 `blocks[i]` 取列名, 于是熔断卡(没有 blocks)在屏上时,人补的那一格一个字都送不出去 —— 而他要补的恰恰是把这一单卡住的那个必填格。授权面改由活动清单的台账声明把关。 · **能增删行**:错不止「这一格填错了」,还有「这一行不该在」与「漏了一行」。 删挂记号不当场抹掉(看得见、可后悔),且**删要说出来**(`drops`)—— 「没回传就是删了」会把一次不完整的回传变成一次删表。 · **必填没填按不下提交**:与放行门 L1 同一个数同一套算法;闸上摆出差在哪一行哪一格。 · 只写真改了的那几行 —— 改一格却留「修订 4 行」的痕,那句话是假的。 判据与门 · 裁量判据带谓词时**谓词说了算**:「选填缺口已补齐」基座数得出来, 人填好的目标价它照样判「客户未提供」的毛病由此消掉。 · 验收卡判据**读时现算** —— 人在成果件上补一格,判据跟着变。 · 放行门认「**办完了没有**」不认「有人写过」:从前写个 `false` 就把门推开, 于是一单没打标就进了放行门。三个数全由基座现数。 · 拒回把「活没干完」说成「数或行对不上」的毛病:判据点名的表一行都没写时直说那一步没办。 **指向两扇打不开的门,比不指还糟。** 界面不撒谎 · 日志只有三色:负责人绿 · 智能体蓝 · 系统灰(归侧五种是度量的分法,不是给人看的)。 · 验收收口答两件事:落了什么(按**交付物**点名,一份成果的几张表并成一行)、 往哪儿去(转出哪一口、带过去哪些字段);一个口都没发就直说到此为止。 · 签完到收尾之间那一段有自己的话「字已签下,正在落地」—— 中间态本来就该说出来,只是要说对。 · 消息不再被内部事件刷屏:只有从通道进来的件才谈得上「无人认领」。 · 建客户公司与联系人**一次确认落两行**;联系人编码自增不问人;卡面摆表的人读名。 A1 三案例端到端全 released:全 A 类直通 12 拍 / 客户点名跳一条 10 拍 / 新客户缺必填 14 拍。 五道门禁全绿(971 passed)。 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01JsTDjoHovERXyy6Wmw1ALp
86 lines
4.0 KiB
TypeScript
86 lines
4.0 KiB
TypeScript
/**
|
|
* module: interaction —— 对外类型(编码规范 §10.1;语义出处 OS 02 / 09,AM 07)。
|
|
*
|
|
* 交互的**结构**归基座,**内容**归活动:
|
|
* 对话流 = 任务的人机时间线、**一切回环输入的唯一入口**;
|
|
* 视图区 = 只读呈现容器,内容由后端流控推送。
|
|
*/
|
|
import type { ChatMessage, StaffId, TaskId, ViewBlock } from '@contracts';
|
|
import type { ControlHolder, InteractionPhase, TemplateViolation } from './internal/domain/control-handover.ts';
|
|
export type { ChatMessage, ControlHolder, InteractionPhase, TemplateViolation, ViewBlock };
|
|
export declare class TemplateRejectedError extends Error {
|
|
readonly violations: readonly TemplateViolation[];
|
|
constructor(violations: readonly TemplateViolation[]);
|
|
}
|
|
/** SSE 推送的信封 —— 前端按目标失效对应缓存(§9.2) */
|
|
export type PushEnvelope = {
|
|
readonly kind: 'chat';
|
|
readonly taskId: TaskId;
|
|
readonly message: ChatMessage;
|
|
} | {
|
|
readonly kind: 'view';
|
|
readonly taskId: TaskId;
|
|
readonly blocks: readonly ViewBlock[];
|
|
} | {
|
|
readonly kind: 'view-html';
|
|
readonly taskId: TaskId;
|
|
readonly html: string;
|
|
} | {
|
|
readonly kind: 'control';
|
|
readonly taskId: TaskId;
|
|
readonly phase: InteractionPhase;
|
|
readonly output: ControlHolder;
|
|
} | {
|
|
readonly kind: 'invalidate';
|
|
readonly target: 'task' | 'workflow' | 'desk';
|
|
readonly id: string;
|
|
};
|
|
export type Subscription = {
|
|
close(): void;
|
|
};
|
|
export type InteractionService = {
|
|
/** 对话流:任务的人机时间线 —— 与任务记忆同源、不同筛选 */
|
|
timeline(taskId: TaskId): Promise<ChatMessage[]>;
|
|
/**
|
|
* 负责人的自由输入 —— 人事件的第二形态(卡回传之外):
|
|
* 写入任务记忆,loop 作为观察进入后续窗口;**不驱动 flow 步**。
|
|
* 叫停等指令走控制事件,不经自由输入。
|
|
*/
|
|
say(taskId: TaskId, by: StaffId, text: string): Promise<ChatMessage>;
|
|
/** 视图流控:活动按局面推结构化块 */
|
|
pushView(taskId: TaskId, blocks: readonly ViewBlock[]): Promise<void>;
|
|
/** 视图流控:活动推 HTML 模版 —— 过净化门,不过即抛 */
|
|
/**
|
|
* 推一帧 HTML。`template` **要一起存下来** —— 件是投影,而投影得能按当下数据**重渲**。
|
|
*
|
|
* 只存渲染好的 HTML,那一帧就成了快照:人在件上改完几格,由数据算出来的东西
|
|
* (类徽 A/B/C、分布条、结论横幅那条去向)全停在渲染那一刻 ——
|
|
* 屏上一半新一半旧,那不是没更新,是界面在撒谎。记住模版名,才重得出来。
|
|
*/
|
|
pushViewHtml(taskId: TaskId, html: string, template?: string): Promise<void>;
|
|
/** 视图区当前呈现什么 —— 只读投影,刷新即重建(前端零过程状态) */
|
|
viewOf(taskId: TaskId): Promise<{
|
|
blocks?: readonly ViewBlock[];
|
|
html?: string;
|
|
template?: string;
|
|
} | undefined>;
|
|
/** 控制权转交 —— 随引擎的激活 / 完成事件自动发生 */
|
|
setPhase(taskId: TaskId, phase: InteractionPhase): Promise<ControlHolder>;
|
|
phaseOf(taskId: TaskId): Promise<InteractionPhase>;
|
|
/** SSE:单连接、按信封目标失效缓存 */
|
|
subscribe(staffId: StaffId, onPush: (envelope: PushEnvelope) => void): Subscription;
|
|
/**
|
|
* **系统级转接**:装配层把所有推送接出去(转给前端的 SSE 广播),不按人筛。
|
|
*
|
|
* 为什么不复用 `subscribe`:那个要一个收件人,而转接是系统的事 ——
|
|
* 为它编一个假员工 id 是撒谎。不按人筛也不漏:推送**不带业务载荷**
|
|
* (只说「哪个任务动了」),谁该看见由前端自己那几把查询决定(§9.2 前端零过程状态)。
|
|
*
|
|
* 没有这个口子的后果实测过:AI 说的每一句、推的每一帧画面都广播给了空气 ——
|
|
* `subscribe` 一个订阅者都没有,前端只好靠人点刷新。
|
|
*/
|
|
onPush(listener: (envelope: PushEnvelope) => void): Subscription;
|
|
/** 供上层广播失效信号 */
|
|
invalidate(target: 'task' | 'workflow' | 'desk', id: string): void;
|
|
};
|