@acpus/core 0.6.0 → 0.7.0-alpha.1

package/dist/ir/types.d.ts

@@ -0,0 +1,218 @@
+import type { ExprIR, JsonPrimitive, JsonValue, TemplateIR } from "@acpus/expression/ir";
+export type { ExprIR, JsonArray, JsonObject, JsonPrimitive, JsonValue, TemplateIR, TemplatePartIR, TypeIR } from "@acpus/expression/ir";
+export type SchemaTypeIR = {
+    kind: "unknown";
+} | {
+    kind: "string";
+} | {
+    kind: "number";
+} | {
+    kind: "boolean";
+} | {
+    kind: "null";
+} | {
+    kind: "array";
+    item: SchemaIR;
+} | {
+    kind: "object";
+    fields: Record<string, SchemaIR>;
+    required: string[];
+    additionalProperties: boolean;
+} | {
+    kind: "record";
+    value: SchemaIR;
+} | {
+    kind: "union";
+    variants: SchemaIR[];
+} | {
+    kind: "path";
+} | {
+    kind: "literal";
+    value: JsonPrimitive;
+} | {
+    kind: "enum";
+    values: JsonPrimitive[];
+};
+export type SchemaIR = SchemaTypeIR & {
+    description?: string;
+    default?: JsonValue;
+    optional?: boolean;
+    nullable?: boolean;
+};
+export type DurationIR = string;
+export type RetryIR = {
+    max?: number;
+};
+export type SecretRefIR = {
+    kind: "secret";
+    name: string;
+};
+export type AgentDefinitionIR = {
+    kind: "agent_definition";
+    use: string;
+    model?: string;
+    permissionMode?: "approve-reads" | "approve-all" | "deny-all";
+    agentMode?: string;
+    cwd?: ExprIR;
+    env?: Record<string, ExprIR | SecretRefIR>;
+} | {
+    kind: "agent_command";
+    command: string;
+    model?: string;
+    permissionMode?: "approve-reads" | "approve-all" | "deny-all";
+    agentMode?: string;
+    cwd?: ExprIR;
+    env?: Record<string, ExprIR | SecretRefIR>;
+};
+export type NodeIR = AgentNodeIR | TaskNodeIR | SignalNodeIR | AssertNodeIR | IfNodeIR | SwitchNodeIR | ParallelNodeIR | FanoutNodeIR | LoopNodeIR;
+export type BaseNodeIR = {
+    id: string;
+    source?: SourceLocationIR;
+};
+export type AgentNodeIR = BaseNodeIR & {
+    kind: "agent";
+    outputSchema?: SchemaIR;
+    run: AgentRunIR;
+    timeout?: DurationIR;
+    retry?: RetryIR;
+};
+export type AgentRunIR = {
+    kind: "agent_run";
+    agent: string;
+    prompt: TemplateIR;
+    permissionMode?: "approve-reads" | "approve-all" | "deny-all";
+    sessionKey?: TemplateIR;
+    cwd?: ExprIR;
+    env?: Record<string, ExprIR | SecretRefIR>;
+};
+export type TaskNodeIR = BaseNodeIR & {
+    kind: "task";
+    run: TaskRunIR;
+    timeout?: DurationIR;
+};
+export type TaskRunIR = {
+    kind: "task_run";
+    input: Record<string, ExprIR>;
+    target: TaskExecutionTargetIR;
+    cwd?: ExprIR;
+    env?: Record<string, ExprIR | SecretRefIR>;
+    execution?: {
+        shell?: "bash" | "powershell" | "pwsh";
+        defaultCommandTimeout?: DurationIR;
+        commandRunner?: "acpus-zx-core" | "custom";
+    };
+};
+export type TaskExecutionTargetIR = {
+    kind: "inline";
+    runtime: "node";
+    source: string;
+} | {
+    kind: "module";
+    runtime: "node";
+    specifier: string;
+    exportName: string;
+    referrer: {
+        kind: "workflow";
+        path: string;
+    };
+};
+export type SignalNodeIR = BaseNodeIR & {
+    kind: "signal";
+    outputSchema?: SchemaIR;
+    run: SignalRunIR;
+    timeout?: DurationIR;
+    onTimeout?: {
+        action: "fail";
+        message?: string;
+    };
+};
+export type SignalRunIR = {
+    kind: "signal_run";
+    prompt: TemplateIR;
+};
+export type AssertNodeIR = BaseNodeIR & {
+    kind: "assert";
+    condition: ExprIR;
+    message?: TemplateIR;
+};
+export type ScopeIR = {
+    nodes: NodeIR[];
+    outputs?: Record<string, ExprIR>;
+};
+export type IfNodeIR = BaseNodeIR & {
+    kind: "if";
+    condition: ExprIR;
+    then: ScopeIR;
+    else: ScopeIR;
+};
+export type SwitchNodeIR = BaseNodeIR & {
+    kind: "switch";
+    cases: Array<{
+        when: ExprIR;
+        then: ScopeIR;
+    }>;
+    default: ScopeIR;
+};
+export type ParallelBranchIR = {
+    scope: ScopeIR;
+};
+export type ParallelNodeIR = BaseNodeIR & {
+    kind: "parallel";
+    branches: Record<string, ParallelBranchIR>;
+    strategy: "all" | "race";
+    maxConcurrency?: number;
+};
+type BaseFanoutNodeIR = BaseNodeIR & {
+    kind: "fanout";
+    over: ExprIR;
+    key?: TemplateIR;
+    do: ScopeIR;
+    maxConcurrency?: number;
+};
+export type FanoutNodeIR = (BaseFanoutNodeIR & {
+    strategy: "all";
+    count?: never;
+}) | (BaseFanoutNodeIR & {
+    strategy: "quorum";
+    count: number;
+});
+export type LoopNodeIR = BaseNodeIR & {
+    kind: "loop";
+    initial: ExprIR;
+    maxIterations: ExprIR;
+    do: ScopeIR;
+    stopWhen: ExprIR;
+    onExhausted?: "fail" | "returnLast";
+};
+export type SourceLocationIR = {
+    file?: string;
+    line?: number;
+    column?: number;
+};
+export type WorkflowLockIR = {
+    acpusCoreVersion: string;
+    workflowSource?: string;
+    workflowSourceDigest?: string;
+    generatedAt: string;
+    notes: string[];
+};
+export type WorkflowIR = {
+    irVersion: 2;
+    name: string;
+    description?: string;
+    inputSchema?: SchemaIR;
+    agents: Record<string, AgentDefinitionIR>;
+    root: ScopeIR;
+    outputs: Record<string, ExprIR>;
+    lock: WorkflowLockIR;
+    diagnostics: DiagnosticIR[];
+};
+export type DiagnosticIR = {
+    code: string;
+    severity: "error" | "warning" | "info";
+    message: string;
+    path?: string;
+    source?: SourceLocationIR;
+    hint?: string;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/ir/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ir/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAc,aAAa,EAAE,SAAS,EAAE,UAAU,EAAU,MAAM,sBAAsB,CAAC;AAC7G,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAExI,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,oBAAoB,EAAE,OAAO,CAAA;CAAE,GACvG;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,QAAQ,EAAE,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,aAAa,EAAE,CAAA;CAAE,CAAC;AAE9C,MAAM,MAAM,QAAQ,GAAG,YAAY,GAAG;IACpC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,SAAS,CAAC;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC;AAEhC,MAAM,MAAM,OAAO,GAAG;IACpB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB;IACE,IAAI,EAAE,kBAAkB,CAAC;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,cAAc,CAAC,EAAE,eAAe,GAAG,aAAa,GAAG,UAAU,CAAC;IAC9D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC;CAC5C,GACD;IACE,IAAI,EAAE,eAAe,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,cAAc,CAAC,EAAE,eAAe,GAAG,aAAa,GAAG,UAAU,CAAC;IAC9D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC;CAC5C,CAAC;AAEN,MAAM,MAAM,MAAM,GACd,WAAW,GACX,UAAU,GACV,YAAY,GACZ,YAAY,GACZ,QAAQ,GACR,YAAY,GACZ,cAAc,GACd,YAAY,GACZ,UAAU,CAAC;AAEf,MAAM,MAAM,UAAU,GAAG;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,gBAAgB,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IACrC,IAAI,EAAE,OAAO,CAAC;IACd,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB,GAAG,EAAE,UAAU,CAAC;IAChB,OAAO,CAAC,EAAE,UAAU,CAAC;IACrB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,UAAU,CAAC;IACnB,cAAc,CAAC,EAAE,eAAe,GAAG,aAAa,GAAG,UAAU,CAAC;IAC9D,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC;CAC5C,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,SAAS,CAAC;IACf,OAAO,CAAC,EAAE,UAAU,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,MAAM,EAAE,qBAAqB,CAAC;IAC9B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC;IAC3C,SAAS,CAAC,EAAE;QACV,KAAK,CAAC,EAAE,MAAM,GAAG,YAAY,GAAG,MAAM,CAAC;QACvC,qBAAqB,CAAC,EAAE,UAAU,CAAC;QACnC,aAAa,CAAC,EAAE,eAAe,GAAG,QAAQ,CAAC;KAC5C,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAC7B;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE;QACR,IAAI,EAAE,UAAU,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;CACH,CAAC;AAEN,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG;IACtC,IAAI,EAAE,QAAQ,CAAC;IACf,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB,GAAG,EAAE,WAAW,CAAC;IACjB,OAAO,CAAC,EAAE,UAAU,CAAC;IACrB,SAAS,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,UAAU,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG;IACtC,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,UAAU,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAClC,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,OAAO,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG;IACtC,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC9C,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG;IACxC,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC3C,QAAQ,EAAE,KAAK,GAAG,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,gBAAgB,GAAG,UAAU,GAAG;IACnC,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,UAAU,CAAC;IACjB,EAAE,EAAE,OAAO,CAAC;IACZ,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,YAAY,GACpB,CAAC,gBAAgB,GAAG;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,GACvD,CAAC,gBAAgB,GAAG;IAAE,QAAQ,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE/D,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,SAAS,EAAE,CAAC,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,QAAQ,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC1C,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,EAAE,YAAY,EAAE,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC"}

package/dist/ir/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/ir/types.ts"],"names":[],"mappings":""}

package/dist/ir/validator.d.ts

@@ -0,0 +1,3 @@
+import type { DiagnosticIR, WorkflowIR } from "./types.js";
+export declare function validateWorkflowIR(ir: WorkflowIR): DiagnosticIR[];
+//# sourceMappingURL=validator.d.ts.map

package/dist/ir/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/ir/validator.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAqD,UAAU,EAAE,MAAM,YAAY,CAAC;AAE9G,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,UAAU,GAAG,YAAY,EAAE,CA4BjE"}