Archived
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
218 lines
9.1 KiB
TypeScript
218 lines
9.1 KiB
TypeScript
/**
|
|
* 契约七件(编码规范 §8.1;语义出处 OS 4.1,AM 01)。
|
|
*
|
|
* 契约是活动对调用方暴露的全部真相,也是对 Agent 机制的全部授权;
|
|
* 两种范式同一契约格式 —— 这是「统一套执行契约」的锚点。
|
|
* 契约必须在活动启动前冻结;运行中不得变更 —— 变更即新版本。
|
|
*
|
|
* ADR-003:**声明层 = JSON Schema 2020-12 子集**(活动声明是运行时数据,可 diff 可版本),
|
|
* 代码层 = zod。本文件用 zod 描述「声明的形状」,声明里的 schema 字段本身是 JSON Schema。
|
|
*/
|
|
import { z } from 'zod';
|
|
/** JSON Schema 2020-12 子集的运行时形态 —— 由 ajv 校验,不在编译期展开 */
|
|
export declare const jsonSchemaSchema: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
export type JsonSchema = z.infer<typeof jsonSchemaSchema>;
|
|
export declare const contractInputSchema: z.ZodObject<{
|
|
data: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
messageAllowed: z.ZodDefault<z.ZodBoolean>;
|
|
messageHint: z.ZodOptional<z.ZodString>;
|
|
inboundComm: z.ZodOptional<z.ZodObject<{
|
|
channel: z.ZodDefault<z.ZodString>;
|
|
partyField: z.ZodString;
|
|
subjectField: z.ZodOptional<z.ZodString>;
|
|
bodyField: z.ZodOptional<z.ZodString>;
|
|
attachmentsField: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
export type ContractInput = z.infer<typeof contractInputSchema>;
|
|
export declare const outputPortSchema: z.ZodObject<{
|
|
name: z.ZodString;
|
|
payload: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
description: z.ZodOptional<z.ZodString>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>;
|
|
export type OutputPort = z.infer<typeof outputPortSchema>;
|
|
export declare const outputPortsSchema: z.ZodObject<{
|
|
mandatory: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
payload: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
description: z.ZodOptional<z.ZodString>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
selective: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
group: z.ZodString;
|
|
ports: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
payload: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
description: z.ZodOptional<z.ZodString>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>>>;
|
|
}, z.core.$strip>;
|
|
export type OutputPorts = z.infer<typeof outputPortsSchema>;
|
|
export declare const requiredDeliverableSchema: z.ZodObject<{
|
|
key: z.ZodString;
|
|
label: z.ZodString;
|
|
schema: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
|
|
ledger: z.ZodOptional<z.ZodString>;
|
|
ledgers: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
editableAtRelease: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
}, z.core.$strip>;
|
|
export type RequiredDeliverable = z.infer<typeof requiredDeliverableSchema>;
|
|
export declare const acceptanceCriterionSchema: z.ZodObject<{
|
|
key: z.ZodString;
|
|
label: z.ZodString;
|
|
level: z.ZodEnum<{
|
|
L1: "L1";
|
|
L2: "L2";
|
|
L3: "L3";
|
|
L4: "L4";
|
|
L5: "L5";
|
|
}>;
|
|
predicate: z.ZodOptional<z.ZodString>;
|
|
modelRef: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>;
|
|
export type AcceptanceCriterion = z.infer<typeof acceptanceCriterionSchema>;
|
|
export declare const prohibitionSchema: z.ZodObject<{
|
|
key: z.ZodString;
|
|
statement: z.ZodString;
|
|
}, z.core.$strip>;
|
|
export type Prohibition = z.infer<typeof prohibitionSchema>;
|
|
export declare const authorizationBoundarySchema: z.ZodObject<{
|
|
discretion: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
key: z.ZodString;
|
|
statement: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
preauthorizedActions: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
tool: z.ZodString;
|
|
operation: z.ZodString;
|
|
limit: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
humanCallBudget: z.ZodNumber;
|
|
}, z.core.$strip>;
|
|
export type AuthorizationBoundary = z.infer<typeof authorizationBoundarySchema>;
|
|
/** 预算四类上限 —— 由基座在环外强制,不得由活动代码自查自守(AM 10.1) */
|
|
export declare const budgetCapsSchema: z.ZodObject<{
|
|
steps: z.ZodNumber;
|
|
tokens: z.ZodNumber;
|
|
activeMinutes: z.ZodNumber;
|
|
humanCalls: z.ZodNumber;
|
|
}, z.core.$strip>;
|
|
export type BudgetCaps = z.infer<typeof budgetCapsSchema>;
|
|
export declare const resourceDeclarationSchema: z.ZodObject<{
|
|
tools: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
version: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
skills: z.ZodDefault<z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
|
|
models: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
roles: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
budget: z.ZodObject<{
|
|
steps: z.ZodNumber;
|
|
tokens: z.ZodNumber;
|
|
activeMinutes: z.ZodNumber;
|
|
humanCalls: z.ZodNumber;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>;
|
|
export type ResourceDeclaration = z.infer<typeof resourceDeclarationSchema>;
|
|
export declare const sevenPartContractSchema: z.ZodObject<{
|
|
activityId: z.core.$ZodBranded<z.ZodString, "ActivityId", "out">;
|
|
version: z.ZodString;
|
|
input: z.ZodObject<{
|
|
data: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
messageAllowed: z.ZodDefault<z.ZodBoolean>;
|
|
messageHint: z.ZodOptional<z.ZodString>;
|
|
inboundComm: z.ZodOptional<z.ZodObject<{
|
|
channel: z.ZodDefault<z.ZodString>;
|
|
partyField: z.ZodString;
|
|
subjectField: z.ZodOptional<z.ZodString>;
|
|
bodyField: z.ZodOptional<z.ZodString>;
|
|
attachmentsField: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
output: z.ZodObject<{
|
|
mandatory: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
payload: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
description: z.ZodOptional<z.ZodString>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
selective: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
group: z.ZodString;
|
|
ports: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
payload: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
description: z.ZodOptional<z.ZodString>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>>>;
|
|
}, z.core.$strip>;
|
|
requiredDeliverables: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
key: z.ZodString;
|
|
label: z.ZodString;
|
|
schema: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
|
|
ledger: z.ZodOptional<z.ZodString>;
|
|
ledgers: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
editableAtRelease: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
}, z.core.$strip>>>;
|
|
acceptanceCriteria: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
key: z.ZodString;
|
|
label: z.ZodString;
|
|
level: z.ZodEnum<{
|
|
L1: "L1";
|
|
L2: "L2";
|
|
L3: "L3";
|
|
L4: "L4";
|
|
L5: "L5";
|
|
}>;
|
|
predicate: z.ZodOptional<z.ZodString>;
|
|
modelRef: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
revisableAtRelease: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
key: z.ZodString;
|
|
label: z.ZodString;
|
|
ledger: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
prohibitions: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
key: z.ZodString;
|
|
statement: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
authorization: z.ZodObject<{
|
|
discretion: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
key: z.ZodString;
|
|
statement: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
preauthorizedActions: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
tool: z.ZodString;
|
|
operation: z.ZodString;
|
|
limit: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
humanCallBudget: z.ZodNumber;
|
|
}, z.core.$strip>;
|
|
resources: z.ZodObject<{
|
|
tools: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
version: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
skills: z.ZodDefault<z.ZodArray<z.core.$ZodBranded<z.ZodString, "SkillId", "out">>>;
|
|
models: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
roles: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
budget: z.ZodObject<{
|
|
steps: z.ZodNumber;
|
|
tokens: z.ZodNumber;
|
|
activeMinutes: z.ZodNumber;
|
|
humanCalls: z.ZodNumber;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>;
|
|
export type SevenPartContract = z.infer<typeof sevenPartContractSchema>;
|
|
/**
|
|
* 完成时的发射集合 = 全部必发口 + 每个选择组各一口(AM 1.2)。
|
|
* 纯函数,前后端同源:前端预演、后端裁决。
|
|
*/
|
|
export declare function emissionPortNames(ports: OutputPorts, selected: Readonly<Record<string, string>>): string[];
|
|
/** 选择组必须恰选一口 —— 未选或选了组外的口即非法 */
|
|
export declare function validateSelection(ports: OutputPorts, selected: Readonly<Record<string, string>>): string[];
|
|
/** 验收等级不得谎报:L4 不得标注为 L1–L3;生成者不得自评(AM 12.1) */
|
|
export declare function machineCheckable(criterion: AcceptanceCriterion): boolean;
|