forked from ChaiHao/BPOS-MVP
skill-engine(L4):载方法不载权力(白名单外工具即拒)、结晶片段经 ToolInvoker 留痕、 装配入信封、技能目录渐进披露 flow-engine(L5):四种步型、确定性谓词跳步、重试与声明给定的兜底、 异步步即监听(时限必配)、写类工具登记动作意向、步序位置持久 loop-engine(L5):自研 CMMN 子集解析器(表外构件直接报错,子集封顶可机器证明)、 两副标准生命周期与迁移拓扑(引擎不得私改)、Enabled ≠ Active、 语义性前提标待裁量评估(引擎不代裁量)、DMN 确定性求值 + 命中行留痕、 DRD 缺口演绎与拓扑序、双向驱动与交集导航(断点即人环)、三型行动、 终局唯放行与 Harness task(L6):终态五名裁定(released 唯一成功)、Harness 预算环外强制与停滞熔断 (监听中是健康态)、控制三语义(叫停不是终态,记最重档纠正)、改派留痕通知双方、 断点续跑三份持久状态、封卷触发蒸馏钩子 301 个测试通过,门禁五道全绿 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KeDBx2PHLavbURXB8LJJ7m
40 lines
1.4 KiB
SQL
40 lines
1.4 KiB
SQL
CREATE TABLE "sys"."flow_state" (
|
|
"task_id" text PRIMARY KEY NOT NULL,
|
|
"model" jsonb NOT NULL,
|
|
"position" jsonb NOT NULL,
|
|
"updated_at" timestamp with time zone DEFAULT now() NOT NULL
|
|
);
|
|
--> statement-breakpoint
|
|
CREATE TABLE "sys"."loop_state" (
|
|
"task_id" text PRIMARY KEY NOT NULL,
|
|
"model" jsonb NOT NULL,
|
|
"parsed" jsonb NOT NULL,
|
|
"runtime" jsonb NOT NULL,
|
|
"updated_at" timestamp with time zone DEFAULT now() NOT NULL
|
|
);
|
|
--> statement-breakpoint
|
|
CREATE TABLE "sys"."task" (
|
|
"id" text PRIMARY KEY NOT NULL,
|
|
"activity_id" text NOT NULL,
|
|
"paradigm" text NOT NULL,
|
|
"workflow_id" text,
|
|
"node_id" text,
|
|
"owner_id" text NOT NULL,
|
|
"title" text NOT NULL,
|
|
"runtime" text DEFAULT 'running' NOT NULL,
|
|
"terminal" text,
|
|
"reason" text,
|
|
"envelope" jsonb NOT NULL,
|
|
"caps" jsonb NOT NULL,
|
|
"used_steps" integer DEFAULT 0 NOT NULL,
|
|
"used_tokens" integer DEFAULT 0 NOT NULL,
|
|
"used_active_ms" integer DEFAULT 0 NOT NULL,
|
|
"used_human_calls" integer DEFAULT 0 NOT NULL,
|
|
"last_progress_at" timestamp with time zone,
|
|
"started_at" timestamp with time zone DEFAULT now() NOT NULL,
|
|
"finished_at" timestamp with time zone
|
|
);
|
|
--> statement-breakpoint
|
|
CREATE INDEX "task_owner_idx" ON "sys"."task" USING btree ("owner_id","runtime");--> statement-breakpoint
|
|
CREATE INDEX "task_workflow_idx" ON "sys"."task" USING btree ("workflow_id");--> statement-breakpoint
|
|
CREATE INDEX "task_terminal_idx" ON "sys"."task" USING btree ("terminal"); |