ChaiHaoandClaude Opus 5
ac2fecd005
「flow:按**步序位置**推送声明的模版」(AM 07)。原先这条链只有写面没有读面,
活动的 viewTemplates 是一行占位字符串,工作台视图区永远只显示一份硬编码概览。
补齐整条链:
· 步声明新增 `view`:这一步呈现哪张模版 —— 推什么由声明给定,不由临场决定。
· 新增模版填数的纯函数(interaction/domain):`data-slot` 取值、`data-rows` 逐条展开。
**填数只做取值与转义**,没有表达式、没有分支、没有循环 —— 一旦模版能算,
它就成了代码,容器的「无脚本执行权」也就形同虚设。填充**消费槽位**,
交出去的是干净 HTML,不是带模板属性的半成品。
· interaction 补读面 `viewOf`;desk 路由把推送的 HTML 交给前端;
ViewRegion 经 `@ui` 的 ViewContainer(sandbox="" 的 iframe)渲染 —— feature 不碰 innerHTML。
· A1 写了三张真模版(事态全景 / 打标判据 / 成果预览),内联自带样式
(沙箱页面不继承工作台 CSS),按步序位置挂在 S3 / S5 / S6 上。
沿路两处修:
① 取值路径遇到**本身带点号的键**(台账地址 `域.对象`)会被拆成两级、永远取不到。
改为整键优先、找不到再下行;`view-render` 与 `step-sequence` 两处同修。
② 「本单交付」不能画成台账全表:任务视图是正式版 + 我的草稿的合并结果,
直接拿来列会把**别单**放行过的记录一并列出。本单自己写下的行单独放在
`mine:域.对象` 下(整键,取值不歧义)。
另:视图推送失败原先静默吞掉 —— 会让「视图区一直空着」变成查不出原因的怪事;
改为留痕(仍不影响步序推进,呈现是投影)。
实测:一封 RFQ 入站 → 放行前那一屏列出本单交付 LM358DR / TI / 12000 / 8.2 / 10周,
以及 Type A「直接快答」的分类结论与四项打标判据。
gates: tsc / eslint / depcruise(321 模块)/ api-report / 423 测试 全绿
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KeDBx2PHLavbURXB8LJJ7m
1304 lines
52 KiB
TypeScript
1304 lines
52 KiB
TypeScript
/**
|
|
* 活动包清单六区与资产形状(编码规范 §8.1;语义出处 OS 11.1,AM 11)。
|
|
*
|
|
* 清单机器可读,系统**不执行代码即知包为何物** —— 导入登记、安装静态审、编排装配读的都是清单。
|
|
* 资产与包分离版本化(OS 11.3):包版本管代码 / 契约 / 交互模版 / Harness;
|
|
* 资产版本管业务模型 / DMN / 技能 —— 包只携初始版,此后由进化管线在系统内产生。
|
|
*/
|
|
import { z } from 'zod';
|
|
/** 范式只存在于**引擎层**;交互层不可区分(编码规范 §9 双层边界) */
|
|
export declare const PARADIGMS: readonly ["loop", "flow"];
|
|
export declare const paradigmSchema: z.ZodEnum<{
|
|
loop: "loop";
|
|
flow: "flow";
|
|
}>;
|
|
export type Paradigm = z.infer<typeof paradigmSchema>;
|
|
/** 活动类型两维分类之一(治理台活动库):标准活动 = flow,案例活动 = loop */
|
|
export declare const ACTIVITY_TYPE_LABEL: Readonly<Record<Paradigm, string>>;
|
|
export declare const manifestIdentitySchema: z.ZodObject<{
|
|
activityId: z.core.$ZodBranded<z.ZodString, "ActivityId", "out">;
|
|
name: z.ZodString;
|
|
packageVersion: z.ZodString;
|
|
category: z.ZodString;
|
|
paradigm: z.ZodEnum<{
|
|
loop: "loop";
|
|
flow: "flow";
|
|
}>;
|
|
sdkVersion: z.ZodString;
|
|
checksum: z.ZodString;
|
|
signature: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>;
|
|
export type ManifestIdentity = z.infer<typeof manifestIdentitySchema>;
|
|
export declare const harnessConfigSchema: z.ZodObject<{
|
|
memoryWindow: z.ZodDefault<z.ZodNumber>;
|
|
stallAfter: z.ZodDefault<z.ZodString>;
|
|
nudge: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
after: z.ZodString;
|
|
action: z.ZodEnum<{
|
|
nudge: "nudge";
|
|
escalate: "escalate";
|
|
}>;
|
|
}, z.core.$strip>>>;
|
|
retry: z.ZodDefault<z.ZodObject<{
|
|
times: z.ZodDefault<z.ZodNumber>;
|
|
backoff: z.ZodDefault<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
export type HarnessConfig = z.infer<typeof harnessConfigSchema>;
|
|
export declare const manifestDeclarationsSchema: z.ZodObject<{
|
|
models: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
tools: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
version: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
ledger: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
label: z.ZodOptional<z.ZodString>;
|
|
fields: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
type: z.ZodEnum<{
|
|
number: "number";
|
|
boolean: "boolean";
|
|
json: "json";
|
|
text: "text";
|
|
date: "date";
|
|
integer: "integer";
|
|
timestamp: "timestamp";
|
|
}>;
|
|
label: z.ZodOptional<z.ZodString>;
|
|
primaryKey: z.ZodDefault<z.ZodBoolean>;
|
|
masked: z.ZodDefault<z.ZodBoolean>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>>>;
|
|
listeners: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
origin: z.ZodEnum<{
|
|
static: "static";
|
|
dynamic: "dynamic";
|
|
}>;
|
|
eventType: z.ZodEnum<{
|
|
human: "human";
|
|
data: "data";
|
|
time: "time";
|
|
control: "control";
|
|
}>;
|
|
keyFilter: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
condition: z.ZodOptional<z.ZodString>;
|
|
semantic: z.ZodEnum<{
|
|
observe: "observe";
|
|
"complete-step": "complete-step";
|
|
}>;
|
|
deadline: z.ZodString;
|
|
escalation: z.ZodDefault<z.ZodArray<z.ZodEnum<{
|
|
nudge: "nudge";
|
|
reroute: "reroute";
|
|
escalate: "escalate";
|
|
}>>>;
|
|
}, z.core.$strip>>>;
|
|
harness: z.ZodObject<{
|
|
memoryWindow: z.ZodDefault<z.ZodNumber>;
|
|
stallAfter: z.ZodDefault<z.ZodString>;
|
|
nudge: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
after: z.ZodString;
|
|
action: z.ZodEnum<{
|
|
nudge: "nudge";
|
|
escalate: "escalate";
|
|
}>;
|
|
}, z.core.$strip>>>;
|
|
retry: z.ZodDefault<z.ZodObject<{
|
|
times: z.ZodDefault<z.ZodNumber>;
|
|
backoff: z.ZodDefault<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>;
|
|
export type ManifestDeclarations = z.infer<typeof manifestDeclarationsSchema>;
|
|
export declare const STEP_KINDS: readonly ["tool", "llm", "human", "pure-tool"];
|
|
export declare const stepKindSchema: z.ZodEnum<{
|
|
human: "human";
|
|
tool: "tool";
|
|
llm: "llm";
|
|
"pure-tool": "pure-tool";
|
|
}>;
|
|
export type StepKind = z.infer<typeof stepKindSchema>;
|
|
/** 失败策略:声明给定,不临场(AM 5.3) */
|
|
export declare const stepFailurePolicySchema: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
export type StepFailurePolicy = z.infer<typeof stepFailurePolicySchema>;
|
|
export declare const flowStepSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"tool">;
|
|
tool: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"llm">;
|
|
model: z.ZodString;
|
|
template: z.ZodString;
|
|
outputSchema: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
card: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
deadline: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"pure-tool">;
|
|
tool: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>], "kind">;
|
|
export type FlowStep = z.infer<typeof flowStepSchema>;
|
|
export declare const flowModelSchema: z.ZodObject<{
|
|
paradigm: z.ZodLiteral<"flow">;
|
|
steps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"tool">;
|
|
tool: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"llm">;
|
|
model: z.ZodString;
|
|
template: z.ZodString;
|
|
outputSchema: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
card: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
deadline: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"pure-tool">;
|
|
tool: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>], "kind">>;
|
|
parallelGroups: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
steps: z.ZodArray<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
}, z.core.$strip>;
|
|
export type FlowModel = z.infer<typeof flowModelSchema>;
|
|
export declare const dmnDecisionTableSchema: z.ZodObject<{
|
|
id: z.ZodString;
|
|
label: z.ZodString;
|
|
hitPolicy: z.ZodDefault<z.ZodEnum<{
|
|
UNIQUE: "UNIQUE";
|
|
FIRST: "FIRST";
|
|
PRIORITY: "PRIORITY";
|
|
COLLECT: "COLLECT";
|
|
}>>;
|
|
inputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
expression: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
outputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
rules: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
when: z.ZodArray<z.ZodString>;
|
|
then: z.ZodArray<z.ZodUnknown>;
|
|
annotation: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
export type DmnDecisionTable = z.infer<typeof dmnDecisionTableSchema>;
|
|
export declare const dmnModelSchema: z.ZodObject<{
|
|
drd: z.ZodArray<z.ZodObject<{
|
|
decision: z.ZodString;
|
|
requires: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
inputs: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
}, z.core.$strip>>;
|
|
tables: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
label: z.ZodString;
|
|
hitPolicy: z.ZodDefault<z.ZodEnum<{
|
|
UNIQUE: "UNIQUE";
|
|
FIRST: "FIRST";
|
|
PRIORITY: "PRIORITY";
|
|
COLLECT: "COLLECT";
|
|
}>>;
|
|
inputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
expression: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
outputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
rules: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
when: z.ZodArray<z.ZodString>;
|
|
then: z.ZodArray<z.ZodUnknown>;
|
|
annotation: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
export type DmnModel = z.infer<typeof dmnModelSchema>;
|
|
export declare const loopModelSchema: z.ZodObject<{
|
|
paradigm: z.ZodLiteral<"loop">;
|
|
cmmnXml: z.ZodString;
|
|
narrative: z.ZodString;
|
|
dmn: z.ZodObject<{
|
|
drd: z.ZodArray<z.ZodObject<{
|
|
decision: z.ZodString;
|
|
requires: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
inputs: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
}, z.core.$strip>>;
|
|
tables: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
label: z.ZodString;
|
|
hitPolicy: z.ZodDefault<z.ZodEnum<{
|
|
UNIQUE: "UNIQUE";
|
|
FIRST: "FIRST";
|
|
PRIORITY: "PRIORITY";
|
|
COLLECT: "COLLECT";
|
|
}>>;
|
|
inputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
expression: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
outputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
rules: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
when: z.ZodArray<z.ZodString>;
|
|
then: z.ZodArray<z.ZodUnknown>;
|
|
annotation: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>;
|
|
export type LoopModel = z.infer<typeof loopModelSchema>;
|
|
export declare const businessModelSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
paradigm: z.ZodLiteral<"loop">;
|
|
cmmnXml: z.ZodString;
|
|
narrative: z.ZodString;
|
|
dmn: z.ZodObject<{
|
|
drd: z.ZodArray<z.ZodObject<{
|
|
decision: z.ZodString;
|
|
requires: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
inputs: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
}, z.core.$strip>>;
|
|
tables: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
label: z.ZodString;
|
|
hitPolicy: z.ZodDefault<z.ZodEnum<{
|
|
UNIQUE: "UNIQUE";
|
|
FIRST: "FIRST";
|
|
PRIORITY: "PRIORITY";
|
|
COLLECT: "COLLECT";
|
|
}>>;
|
|
inputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
expression: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
outputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
rules: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
when: z.ZodArray<z.ZodString>;
|
|
then: z.ZodArray<z.ZodUnknown>;
|
|
annotation: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
paradigm: z.ZodLiteral<"flow">;
|
|
steps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"tool">;
|
|
tool: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"llm">;
|
|
model: z.ZodString;
|
|
template: z.ZodString;
|
|
outputSchema: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
card: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
deadline: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"pure-tool">;
|
|
tool: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>], "kind">>;
|
|
parallelGroups: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
steps: z.ZodArray<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
}, z.core.$strip>], "paradigm">;
|
|
export type BusinessModel = z.infer<typeof businessModelSchema>;
|
|
export declare const skillSchema: z.ZodObject<{
|
|
id: z.core.$ZodBranded<z.ZodString, "SkillId", "out">;
|
|
label: z.ZodString;
|
|
applicability: z.ZodString;
|
|
method: z.ZodString;
|
|
crystallized: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
tool: z.ZodString;
|
|
input: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
knowledgeRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
version: z.ZodString;
|
|
}, z.core.$strip>;
|
|
export type Skill = z.infer<typeof skillSchema>;
|
|
export declare const manifestAssetsSchema: z.ZodObject<{
|
|
businessModel: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
paradigm: z.ZodLiteral<"loop">;
|
|
cmmnXml: z.ZodString;
|
|
narrative: z.ZodString;
|
|
dmn: z.ZodObject<{
|
|
drd: z.ZodArray<z.ZodObject<{
|
|
decision: z.ZodString;
|
|
requires: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
inputs: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
}, z.core.$strip>>;
|
|
tables: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
label: z.ZodString;
|
|
hitPolicy: z.ZodDefault<z.ZodEnum<{
|
|
UNIQUE: "UNIQUE";
|
|
FIRST: "FIRST";
|
|
PRIORITY: "PRIORITY";
|
|
COLLECT: "COLLECT";
|
|
}>>;
|
|
inputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
expression: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
outputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
rules: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
when: z.ZodArray<z.ZodString>;
|
|
then: z.ZodArray<z.ZodUnknown>;
|
|
annotation: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
paradigm: z.ZodLiteral<"flow">;
|
|
steps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"tool">;
|
|
tool: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"llm">;
|
|
model: z.ZodString;
|
|
template: z.ZodString;
|
|
outputSchema: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
card: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
deadline: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"pure-tool">;
|
|
tool: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>], "kind">>;
|
|
parallelGroups: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
steps: z.ZodArray<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
}, z.core.$strip>], "paradigm">;
|
|
skills: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
id: z.core.$ZodBranded<z.ZodString, "SkillId", "out">;
|
|
label: z.ZodString;
|
|
applicability: z.ZodString;
|
|
method: z.ZodString;
|
|
crystallized: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
tool: z.ZodString;
|
|
input: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
knowledgeRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
version: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
viewTemplates: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
html: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
cardSchemas: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
|
|
distillHooks: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
on: z.ZodEnum<{
|
|
terminal: "terminal";
|
|
milestone: "milestone";
|
|
}>;
|
|
milestone: z.ZodOptional<z.ZodString>;
|
|
prompt: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
}, z.core.$strip>;
|
|
export type ManifestAssets = z.infer<typeof manifestAssetsSchema>;
|
|
export declare const sampleCaseSchema: z.ZodObject<{
|
|
name: z.ZodString;
|
|
input: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
message: z.ZodOptional<z.ZodString>;
|
|
expect: z.ZodObject<{
|
|
ports: z.ZodArray<z.ZodString>;
|
|
payloadShape: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>;
|
|
export type SampleCase = z.infer<typeof sampleCaseSchema>;
|
|
export declare const activityManifestSchema: z.ZodObject<{
|
|
identity: z.ZodObject<{
|
|
activityId: z.core.$ZodBranded<z.ZodString, "ActivityId", "out">;
|
|
name: z.ZodString;
|
|
packageVersion: z.ZodString;
|
|
category: z.ZodString;
|
|
paradigm: z.ZodEnum<{
|
|
loop: "loop";
|
|
flow: "flow";
|
|
}>;
|
|
sdkVersion: z.ZodString;
|
|
checksum: z.ZodString;
|
|
signature: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>;
|
|
contract: 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>;
|
|
}, 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>;
|
|
}, 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>;
|
|
}, 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>>;
|
|
}, 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>>>;
|
|
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>;
|
|
declarations: z.ZodObject<{
|
|
models: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
tools: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
version: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
ledger: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
label: z.ZodOptional<z.ZodString>;
|
|
fields: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
type: z.ZodEnum<{
|
|
number: "number";
|
|
boolean: "boolean";
|
|
json: "json";
|
|
text: "text";
|
|
date: "date";
|
|
integer: "integer";
|
|
timestamp: "timestamp";
|
|
}>;
|
|
label: z.ZodOptional<z.ZodString>;
|
|
primaryKey: z.ZodDefault<z.ZodBoolean>;
|
|
masked: z.ZodDefault<z.ZodBoolean>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>>>;
|
|
listeners: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
origin: z.ZodEnum<{
|
|
static: "static";
|
|
dynamic: "dynamic";
|
|
}>;
|
|
eventType: z.ZodEnum<{
|
|
human: "human";
|
|
data: "data";
|
|
time: "time";
|
|
control: "control";
|
|
}>;
|
|
keyFilter: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
condition: z.ZodOptional<z.ZodString>;
|
|
semantic: z.ZodEnum<{
|
|
observe: "observe";
|
|
"complete-step": "complete-step";
|
|
}>;
|
|
deadline: z.ZodString;
|
|
escalation: z.ZodDefault<z.ZodArray<z.ZodEnum<{
|
|
nudge: "nudge";
|
|
reroute: "reroute";
|
|
escalate: "escalate";
|
|
}>>>;
|
|
}, z.core.$strip>>>;
|
|
harness: z.ZodObject<{
|
|
memoryWindow: z.ZodDefault<z.ZodNumber>;
|
|
stallAfter: z.ZodDefault<z.ZodString>;
|
|
nudge: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
after: z.ZodString;
|
|
action: z.ZodEnum<{
|
|
nudge: "nudge";
|
|
escalate: "escalate";
|
|
}>;
|
|
}, z.core.$strip>>>;
|
|
retry: z.ZodDefault<z.ZodObject<{
|
|
times: z.ZodDefault<z.ZodNumber>;
|
|
backoff: z.ZodDefault<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>;
|
|
assets: z.ZodObject<{
|
|
businessModel: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
paradigm: z.ZodLiteral<"loop">;
|
|
cmmnXml: z.ZodString;
|
|
narrative: z.ZodString;
|
|
dmn: z.ZodObject<{
|
|
drd: z.ZodArray<z.ZodObject<{
|
|
decision: z.ZodString;
|
|
requires: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
inputs: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
}, z.core.$strip>>;
|
|
tables: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
label: z.ZodString;
|
|
hitPolicy: z.ZodDefault<z.ZodEnum<{
|
|
UNIQUE: "UNIQUE";
|
|
FIRST: "FIRST";
|
|
PRIORITY: "PRIORITY";
|
|
COLLECT: "COLLECT";
|
|
}>>;
|
|
inputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
expression: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
outputs: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
}, z.core.$strip>>;
|
|
rules: z.ZodArray<z.ZodObject<{
|
|
id: z.ZodString;
|
|
when: z.ZodArray<z.ZodString>;
|
|
then: z.ZodArray<z.ZodUnknown>;
|
|
annotation: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>>;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
paradigm: z.ZodLiteral<"flow">;
|
|
steps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"tool">;
|
|
tool: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"llm">;
|
|
model: z.ZodString;
|
|
template: z.ZodString;
|
|
outputSchema: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
card: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
deadline: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"pure-tool">;
|
|
tool: z.ZodString;
|
|
name: z.ZodString;
|
|
label: z.ZodString;
|
|
input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
output: z.ZodOptional<z.ZodObject<{
|
|
domain: z.ZodString;
|
|
object: z.ZodString;
|
|
key: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
|
|
fields: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
when: z.ZodOptional<z.ZodString>;
|
|
view: z.ZodOptional<z.ZodString>;
|
|
failure: z.ZodObject<{
|
|
retry: z.ZodObject<{
|
|
times: z.ZodNumber;
|
|
backoff: z.ZodString;
|
|
}, z.core.$strip>;
|
|
fallback: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
kind: z.ZodLiteral<"human">;
|
|
workOrder: z.ZodEnum<{
|
|
execution: "execution";
|
|
acceptance: "acceptance";
|
|
}>;
|
|
}, z.core.$strip>, z.ZodObject<{
|
|
kind: z.ZodLiteral<"blocked">;
|
|
}, z.core.$strip>], "kind">;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>], "kind">>;
|
|
parallelGroups: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
steps: z.ZodArray<z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
}, z.core.$strip>], "paradigm">;
|
|
skills: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
id: z.core.$ZodBranded<z.ZodString, "SkillId", "out">;
|
|
label: z.ZodString;
|
|
applicability: z.ZodString;
|
|
method: z.ZodString;
|
|
crystallized: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
tool: z.ZodString;
|
|
input: z.ZodRecord<z.ZodString, z.ZodString>;
|
|
}, z.core.$strip>>>;
|
|
knowledgeRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
version: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
viewTemplates: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
html: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
cardSchemas: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
|
|
distillHooks: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
on: z.ZodEnum<{
|
|
terminal: "terminal";
|
|
milestone: "milestone";
|
|
}>;
|
|
milestone: z.ZodOptional<z.ZodString>;
|
|
prompt: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
}, z.core.$strip>;
|
|
samples: z.ZodArray<z.ZodObject<{
|
|
name: z.ZodString;
|
|
input: z.ZodRecord<z.ZodString, z.ZodUnknown>;
|
|
message: z.ZodOptional<z.ZodString>;
|
|
expect: z.ZodObject<{
|
|
ports: z.ZodArray<z.ZodString>;
|
|
payloadShape: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>>;
|
|
entry: z.ZodObject<{
|
|
file: z.ZodString;
|
|
checksum: z.ZodString;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>;
|
|
export type ActivityManifest = z.infer<typeof activityManifestSchema>;
|
|
export declare const staticAuditFindingSchema: z.ZodObject<{
|
|
code: z.ZodEnum<{
|
|
"signature-invalid": "signature-invalid";
|
|
"sdk-incompatible": "sdk-incompatible";
|
|
"schema-invalid": "schema-invalid";
|
|
"tool-contract-missing": "tool-contract-missing";
|
|
"model-name-unbound": "model-name-unbound";
|
|
"dangling-listener": "dangling-listener";
|
|
"template-has-script": "template-has-script";
|
|
"environment-capability": "environment-capability";
|
|
"dynamic-eval": "dynamic-eval";
|
|
"ledger-type-conflict": "ledger-type-conflict";
|
|
"acceptance-level-misreported": "acceptance-level-misreported";
|
|
}>;
|
|
severity: z.ZodEnum<{
|
|
error: "error";
|
|
warn: "warn";
|
|
}>;
|
|
message: z.ZodString;
|
|
at: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>;
|
|
export type StaticAuditFinding = z.infer<typeof staticAuditFindingSchema>;
|
|
export declare const replayAuditReportSchema: z.ZodObject<{
|
|
oldPassStillPass: z.ZodBoolean;
|
|
checked: z.ZodNumber;
|
|
regressions: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
taskId: z.ZodString;
|
|
detail: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
newlyBlocked: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
taskId: z.ZodString;
|
|
detail: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
skippedNoHistory: z.ZodDefault<z.ZodBoolean>;
|
|
}, z.core.$strip>;
|
|
export type ReplayAuditReport = z.infer<typeof replayAuditReportSchema>;
|
|
export declare const installVerdictSchema: z.ZodObject<{
|
|
accepted: z.ZodBoolean;
|
|
staticFindings: z.ZodArray<z.ZodObject<{
|
|
code: z.ZodEnum<{
|
|
"signature-invalid": "signature-invalid";
|
|
"sdk-incompatible": "sdk-incompatible";
|
|
"schema-invalid": "schema-invalid";
|
|
"tool-contract-missing": "tool-contract-missing";
|
|
"model-name-unbound": "model-name-unbound";
|
|
"dangling-listener": "dangling-listener";
|
|
"template-has-script": "template-has-script";
|
|
"environment-capability": "environment-capability";
|
|
"dynamic-eval": "dynamic-eval";
|
|
"ledger-type-conflict": "ledger-type-conflict";
|
|
"acceptance-level-misreported": "acceptance-level-misreported";
|
|
}>;
|
|
severity: z.ZodEnum<{
|
|
error: "error";
|
|
warn: "warn";
|
|
}>;
|
|
message: z.ZodString;
|
|
at: z.ZodOptional<z.ZodString>;
|
|
}, z.core.$strip>>;
|
|
replay: z.ZodObject<{
|
|
oldPassStillPass: z.ZodBoolean;
|
|
checked: z.ZodNumber;
|
|
regressions: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
taskId: z.ZodString;
|
|
detail: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
newlyBlocked: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
taskId: z.ZodString;
|
|
detail: z.ZodString;
|
|
}, z.core.$strip>>>;
|
|
skippedNoHistory: z.ZodDefault<z.ZodBoolean>;
|
|
}, z.core.$strip>;
|
|
}, z.core.$strip>;
|
|
export type InstallVerdict = z.infer<typeof installVerdictSchema>;
|