This repository has been archived on 2026-09-13. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
BPOS-TMP-REPO/api-report/apps/api/src/modules/human-tool/contract.d.ts
T
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
2026-08-02 13:41:44 +08:00

126 lines
5.7 KiB
TypeScript

/**
* module: human-tool —— 对外类型(编码规范 §10.1)。
*
* **双层边界**(§9):范式只在引擎层;本模块是前端呈现协议的后端面 ——
* 工单两模式(执行 / 验收)+ 对话卡族(决策 / 补全 / 评价)。
* 落地失败卡是**执行工单的系统预置形态**,不构成第五种卡(OS 7.3)。
*/
import type { AcceptanceWorkOrder, ChatCard, ChatCardReply, ExecutionWorkOrder, StaffId, TaskId, WorkOrder, WorkOrderReply } from '@contracts';
import type { ArrivalSurface, CardViolation } from './internal/domain/card-rules.ts';
export type { AcceptanceWorkOrder, ArrivalSurface, CardViolation, ChatCard, ChatCardReply, ExecutionWorkOrder, WorkOrder, WorkOrderReply, };
export declare class BareCallError extends Error {
readonly violations: readonly CardViolation[];
constructor(violations: readonly CardViolation[]);
}
export declare class ReplyRejectedError extends Error {
readonly violations: readonly CardViolation[];
constructor(violations: readonly CardViolation[]);
}
export declare class HumanCallBudgetExceededError extends Error {
readonly taskId: TaskId;
readonly used: number;
readonly cap: number;
constructor(taskId: TaskId, used: number, cap: number);
}
/** 工单草稿:id / at 由基座补齐 —— ID 生成不外泄给调用方(domain 零随机) */
export type ExecutionWorkOrderDraft = Omit<ExecutionWorkOrder, 'mode' | 'done' | 'id' | 'at'> & {
readonly id?: ExecutionWorkOrder['id'] | undefined;
readonly at?: string | undefined;
};
export type AcceptanceWorkOrderDraft = Omit<AcceptanceWorkOrder, 'mode' | 'done' | 'id' | 'at'> & {
readonly id?: AcceptanceWorkOrder['id'] | undefined;
readonly at?: string | undefined;
};
/** 发卡的公共入参 */
export type IssueContext = {
readonly taskId: TaskId;
/** 任务负责人 —— 决定到达面两路 */
readonly ownerId: StaffId;
/** 收件人;缺省即负责人 */
readonly recipientId?: StaffId;
/** 契约的调人预算(打扰上限) */
readonly humanCallCap: number;
};
export type IssuedWorkOrder = {
readonly order: WorkOrder;
readonly arrival: ArrivalSurface;
/** 到达面 = system-message 时的消息 ID(跨人卡) */
readonly messageId?: string;
};
export type IssuedChatCard = {
readonly card: ChatCard;
readonly arrival: ArrivalSurface;
readonly messageId?: string;
};
export type ReplyOutcome = {
readonly order: WorkOrder;
/** 这张卡挂在哪一单 —— 装配层要拿它把「人就地改的那几行」写回草稿层 */
readonly taskId: TaskId;
/** 完成只出自放行通过 —— 这里为真,任务才可收敛终态 */
readonly producesCompletion: boolean;
/** 驳回:环内回转,任务继续 */
readonly rejection?: {
readonly kind: 'redo' | 'revise';
readonly comment: string;
};
/** 选择组的出口选择 —— 随放行一并确认(AM 1.2) */
readonly selectedPorts: Readonly<Record<string, string>>;
};
export type HumanToolService = {
/** 发执行工单;裸调用拒发,预算触顶熔断。id / at 留空即由基座生成 */
issueExecution(context: IssueContext, order: ExecutionWorkOrderDraft): Promise<IssuedWorkOrder>;
/** 发验收工单 —— 发卡**前**必须已过落地预检(由 release 保证,见其 CONTRACT) */
issueAcceptance(context: IssueContext, order: AcceptanceWorkOrderDraft): Promise<IssuedWorkOrder>;
/** 落地失败卡:执行工单的系统预置形态,不是第五种卡 */
issueLandingFailure(context: IssueContext, input: {
readonly failures: ReadonlyArray<{
label: string;
reason: string;
}>;
}): Promise<IssuedWorkOrder>;
issueChatCard(context: IssueContext, card: ChatCard): Promise<IssuedChatCard>;
replyWorkOrder(reply: WorkOrderReply, by: StaffId): Promise<ReplyOutcome>;
/**
* 回传带上 `taskId` —— **数据录入卡的确认要当场写草稿**,而写库要知道写给哪一单。
* 由本模块自己写会让 human-tool 依赖 ledger(越层),所以把事实交出去,由组装层落笔。
*/
replyChatCard(reply: ChatCardReply, by: StaffId): Promise<{
card: ChatCard;
taskId: TaskId;
}>;
/** 驳回重答:新卡实例,原卡闭合 —— 只增不改 */
rejectAndReask(cardId: string, reason: string): Promise<IssuedChatCard>;
/**
* 给已发出的验收工单补上选择组(AM 1.2 恰选一口)。
*
* 为什么分两步:卡由 `release.submitForRelease` 发 —— 它守的是预检那道门,
* 不该也不必知道「这个活动有哪些出口」。出口是契约的事实,由 app 从 manifest 现读后贴上。
*/
attachPortChoice(workOrderId: string, choice: {
group: string;
ports: ReadonlyArray<{
name: string;
label?: string | undefined;
}>;
}): Promise<void>;
/**
* **算出来的去向**上卡 —— 不给人选,只告诉他走哪一口、凭哪一条。
* 去向是台账那几个数的函数;摆成选择题,等于把可回放的判定换成一次手感。
*/
attachRoutedPort(workOrderId: string, routed: {
group: string;
name: string;
label?: string | undefined;
because: string;
}): Promise<void>;
openWorkOrders(taskId: TaskId): Promise<WorkOrder[]>;
/** 全部工单(含已办结)—— 工作成果要回看定稿的报告,只给 open 就永远是空的 */
allWorkOrders(taskId: TaskId): Promise<WorkOrder[]>;
chatCards(taskId: TaskId): Promise<ChatCard[]>;
/** org 停用前置检查要问的「待答卡」 */
openCardsOf(staffId: StaffId): Promise<Array<{
cardId: string;
title: string;
}>>;
};