@mawaru/sdk 0.5.0 → 0.9.0

package/dist/_schemas/graph.d.ts

@@ -23,6 +23,7 @@ export declare const graphNodeKindSchema: z.ZodEnum<{
     wait: "wait";
     start: "start";
     end: "end";
+    component: "component";
 }>;
 export type GraphNodeKind = z.infer<typeof graphNodeKindSchema>;
 export declare const waitConfigSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -46,7 +47,12 @@ export declare const aiConfigSchema: z.ZodObject<{
     ref: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>;
 export type AiConfig = z.infer<typeof aiConfigSchema>;
+export declare const RUN_STARTER = "run_starter";
+export declare const assignMemberSchema: z.ZodUnion<readonly [z.ZodUUID, z.ZodLiteral<"run_starter">]>;
+export type AssignMember = z.infer<typeof assignMemberSchema>;
 export declare const humanConfigSchema: z.ZodObject<{
+    view: z.ZodOptional<z.ZodString>;
+    view_config: z.ZodOptional<z.ZodNullable<z.ZodUnknown>>;
     assignment: z.ZodObject<{
         strategy: z.ZodDefault<z.ZodEnum<{
             fixed: "fixed";
@@ -56,10 +62,14 @@ export declare const humanConfigSchema: z.ZodObject<{
             any: "any";
             all: "all";
         }>>;
-        units: z.ZodDefault<z.ZodArray<z.ZodArray<z.ZodUUID>>>;
+        units: z.ZodDefault<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodUUID, z.ZodLiteral<"run_starter">]>>>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
 export type HumanConfig = z.infer<typeof humanConfigSchema>;
+export declare const componentConfigSchema: z.ZodObject<{
+    component_loop_id: z.ZodUUID;
+}, z.core.$strip>;
+export type ComponentConfig = z.infer<typeof componentConfigSchema>;
 export declare const graphNodeHookSchema: z.ZodObject<{
     hook_dir: z.ZodString;
     ref: z.ZodOptional<z.ZodString>;
@@ -77,6 +87,7 @@ export declare const graphNodeSchema: z.ZodObject<{
         wait: "wait";
         start: "start";
         end: "end";
+        component: "component";
     }>;
     name: z.ZodString;
     ports: z.ZodArray<z.ZodObject<{
@@ -124,6 +135,8 @@ export declare const graphNodeSchema: z.ZodObject<{
         ref: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>>;
     human: z.ZodOptional<z.ZodObject<{
+        view: z.ZodOptional<z.ZodString>;
+        view_config: z.ZodOptional<z.ZodNullable<z.ZodUnknown>>;
         assignment: z.ZodObject<{
             strategy: z.ZodDefault<z.ZodEnum<{
                 fixed: "fixed";
@@ -133,9 +146,12 @@ export declare const graphNodeSchema: z.ZodObject<{
                 any: "any";
                 all: "all";
             }>>;
-            units: z.ZodDefault<z.ZodArray<z.ZodArray<z.ZodUUID>>>;
+            units: z.ZodDefault<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodUUID, z.ZodLiteral<"run_starter">]>>>>;
         }, z.core.$strip>;
     }, z.core.$strip>>;
+    component: z.ZodOptional<z.ZodObject<{
+        component_loop_id: z.ZodUUID;
+    }, z.core.$strip>>;
 }, z.core.$strip>;
 export type GraphNode = z.infer<typeof graphNodeSchema>;
 export declare const graphConnectionSchema: z.ZodObject<{
@@ -153,6 +169,7 @@ export declare const saveGraphBodySchema: z.ZodObject<{
             wait: "wait";
             start: "start";
             end: "end";
+            component: "component";
         }>;
         name: z.ZodString;
         ports: z.ZodArray<z.ZodObject<{
@@ -200,6 +217,8 @@ export declare const saveGraphBodySchema: z.ZodObject<{
             ref: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         human: z.ZodOptional<z.ZodObject<{
+            view: z.ZodOptional<z.ZodString>;
+            view_config: z.ZodOptional<z.ZodNullable<z.ZodUnknown>>;
             assignment: z.ZodObject<{
                 strategy: z.ZodDefault<z.ZodEnum<{
                     fixed: "fixed";
@@ -209,9 +228,12 @@ export declare const saveGraphBodySchema: z.ZodObject<{
                     any: "any";
                     all: "all";
                 }>>;
-                units: z.ZodDefault<z.ZodArray<z.ZodArray<z.ZodUUID>>>;
+                units: z.ZodDefault<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodUUID, z.ZodLiteral<"run_starter">]>>>>;
             }, z.core.$strip>;
         }, z.core.$strip>>;
+        component: z.ZodOptional<z.ZodObject<{
+            component_loop_id: z.ZodUUID;
+        }, z.core.$strip>>;
     }, z.core.$strip>>;
     connections: z.ZodArray<z.ZodObject<{
         from_port_id: z.ZodUUID;

package/dist/_schemas/graph.js

@@ -1,6 +1,6 @@
 import { z } from "zod";
 import { graphPortSchema, jsonSchemaSchema, nodeKindSchema, portKeySchema, } from "./node.js";
-import { isAiEnvelopeSchema, isSchemaSubset, kindPortsViolation, resolvePortSchemas, } from "./port-spec.js";
+import { AI_INSTRUCTION_PORT_KEY, hasInboundConflict, isAiEnvelopeSchema, isSchemaSubset, kindPortsViolation, resolvePortSchemas, UNDECLARED_SCHEMA, } from "./port-spec.js";
 // refs＝ループ変数の袋（key→任意の JSON 値。上流出力の参照（refs）.md）。
 // run 開始時に定義から複製され、全 step に全量差し込まれる。
 // key はポート key と同じ規則（^[a-z][a-z0-9_]*$）。実行系ボディ
@@ -50,6 +50,7 @@ export const graphNodeKindSchema = nodeKindSchema.extract([
     "wait",
     "start",
     "end",
+    "component",
 ]);
 // Wait ノードの kind 別設定（node_waits の wait_type に対応する判別ユニオン）。
 // duration=経過秒、until=絶対時刻(ISO)、cron=cron 式（次回発火まで1回待つ）。
@@ -90,18 +91,29 @@ export const aiConfigSchema = z.object({
         .refine((v) => !v.includes("/") && !v.includes("\\") && v !== "." && v !== "..", "ai_dir は nodes/ai/ 直下のディレクトリ名で指定してください"),
     ref: z.string().min(1).optional(),
 });
+// 担当ユニットのメンバー：user_id の名指し、または動的な担当「ループを実行した人」
+// （run の起動者。実行時に runs.start_by で解決し、解決できなければその1人だけ落ちる。
+// docs/tasks/wip/Human担当に「ループを実行した人」を追加する.md）
+export const RUN_STARTER = "run_starter";
+export const assignMemberSchema = z.union([z.uuid(), z.literal(RUN_STARTER)]);
 // Human ノードの kind 別設定（node_humans ＋ node_human_assignees に対応）。
 // 担当 ＝ ユニット（1人以上のメンバー）の順序付きリスト ＋ 承認モード ＋ 選出戦略。
-// units[i] は user_id の配列（1人＝個人・複数＝グループ）。units 空 = tenant の誰でも。
+// units[i] はメンバーの配列（1人＝個人・複数＝グループ）。units 空 = tenant の誰でも。
 // approval_mode はノード単位（any=誰か1人 / all=全員。差し戻しは1人で成立＝veto）。
 // メンバーが tenant の membership であることの検証は保存 API 側で行う
 // （docs/tasks/backlog/Human担当者の高度化（複数人承認とラウンドロビン）.md）
 export const humanConfigSchema = z.object({
+    // 承認 UI（承認ビュー）の識別子。program_dir / ai_dir と同じ「不透明なキー」で、
+    // どのキーが実在するか・そのテナントが選べるかは保存時に mawaru 側が検証する
+    // （カタログは非公開。@mawaru/common の approval-view.ts）。省略時は標準ビュー
+    view: z.string().min(1).optional(),
+    // ビューに渡すパラメータ（列・ラベル・閾値など）。形はビューごとに違うので任意の JSON
+    view_config: z.unknown().nullish(),
     assignment: z
         .object({
         strategy: z.enum(["fixed", "round_robin"]).default("fixed"),
         approval_mode: z.enum(["any", "all"]).default("any"),
-        units: z.array(z.array(z.uuid()).min(1)).default([]),
+        units: z.array(z.array(assignMemberSchema).min(1)).default([]),
     })
         .superRefine((assignment, ctx) => {
         if (assignment.strategy === "fixed" && assignment.units.length > 1) {
@@ -119,18 +131,34 @@ export const humanConfigSchema = z.object({
                 message: "round_robin にはユニットが2つ以上必要です",
             });
         }
+        // 交代制と「ループを実行した人」は排他：どの回に誰が担当かが起動者と交代位置の
+        // 掛け算になって読めなくなるため、設定できる形の方を減らす
+        if (assignment.strategy === "round_robin" &&
+            assignment.units.some((unit) => unit.includes(RUN_STARTER))) {
+            ctx.addIssue({
+                code: "custom",
+                path: ["units"],
+                message: "round_robin の担当に「ループを実行した人」は入れられません",
+            });
+        }
         // ユニット内の重複は拒否（またぐ重複は「Aは毎回・相手が交代」の形があるので許す）
         assignment.units.forEach((unit, i) => {
             if (new Set(unit).size !== unit.length) {
                 ctx.addIssue({
                     code: "custom",
                     path: ["units", i],
-                    message: "ユニット内で user_id が重複しています",
+                    message: "ユニット内で担当が重複しています",
                 });
             }
         });
     }),
 });
+// コンポーネントノードの kind 別設定（node_components に対応）。呼ぶ先は
+// kind='component' の loop。同 tenant・kind の検証と自 loop 参照の禁止は保存 API 側で行う
+// （docs/tasks/wip/コンポーネント（ループの部品化と再利用）.md）
+export const componentConfigSchema = z.object({
+    component_loop_id: z.uuid(),
+});
 // ノードにアタッチされた IOHook（node_hooks に対応。アタッチできるのは program ノードのみ）。
 // on_input / on_output / on_signal はアタッチ時に repo の config.json（hookManifestSchema）から
 // エディタが焼き込むスナップショット。ref 省略時はデフォルトブランチ
@@ -161,6 +189,7 @@ export const graphNodeSchema = z.object({
     program: programConfigSchema.optional(),
     ai: aiConfigSchema.optional(),
     human: humanConfigSchema.optional(),
+    component: componentConfigSchema.optional(),
 });
 export const graphConnectionSchema = z.object({
     from_port_id: z.uuid(),
@@ -228,15 +257,18 @@ export const saveGraphBodySchema = z
             else
                 outCount++;
         });
-        // end だけ「in は1つ以上」（複数ルートを別々の in で集約する）。
-        // start・他 kind は従来どおり1つ固定
-        if (node.kind === "end" ? inCount < 1 : inCount !== 1) {
+        // end は「in は1つ以上」（複数ルートを別々の in で集約する）。
+        // ai は2つ（上流データの in ＋ 差し戻しの instruction）。他 kind は1つ固定。
+        // key の妥当性は kindPortsViolation が別途見る
+        const expectIn = node.kind === "ai" ? 2 : 1;
+        const inCountOk = node.kind === "end" ? inCount >= 1 : inCount === expectIn;
+        if (!inCountOk) {
             ctx.addIssue({
                 code: "custom",
                 path: ["nodes", i, "ports"],
                 message: node.kind === "end"
                     ? "in ポートが1つ以上必要です"
-                    : "in ポートはちょうど1つ必要です",
+                    : `in ポートはちょうど${expectIn}つ必要です`,
             });
         }
         if (outCount < 1) {
@@ -266,6 +298,15 @@ export const saveGraphBodySchema = z
             }
             hookDirs.add(hook.hook_dir);
         });
+        // component は参照先が無いと成立しない（他 kind の設定はデフォルトで補えるが
+        // component_loop_id は補えない）
+        if (node.kind === "component" && node.component === undefined) {
+            ctx.addIssue({
+                code: "custom",
+                path: ["nodes", i, "component"],
+                message: "component ノードには component_loop_id が必要です",
+            });
+        }
         // kind 別のポート構成（program 以外は数・key・io 固定。ポートのkind別仕様.md）
         const violation = kindPortsViolation(node.kind, node.ports);
         if (violation) {
@@ -295,7 +336,7 @@ export const saveGraphBodySchema = z
     const usedPairs = new Set();
     graph.connections.forEach((conn, i) => {
         const from = portById.get(conn.from_port_id);
-        if (!from || from.io !== "out") {
+        if (from?.io !== "out") {
             ctx.addIssue({
                 code: "custom",
                 path: ["connections", i, "from_port_id"],
@@ -303,7 +344,7 @@ export const saveGraphBodySchema = z
             });
         }
         const to = portById.get(conn.to_port_id);
-        if (!to || to.io !== "in") {
+        if (to?.io !== "in") {
             ctx.addIssue({
                 code: "custom",
                 path: ["connections", i, "to_port_id"],
@@ -323,6 +364,29 @@ export const saveGraphBodySchema = z
     // 型の接続バリデーション（ポートのkind別仕様.md §接続バリデーション）。
     // 導出ポートは接続から型を解決した上で判定する。ai の in・wait の in は常に許可
     const resolved = resolvePortSchemas(graph.nodes, graph.connections);
+    // fan-in（同じ in ポートへの流入が2本以上）は同じ型でなければならない。
+    // 型が割れていると伝播が未宣言に落ちて下流の型チェックが効かなくなる
+    // （docs/tasks/wip/ポートスキーマのany撲滅.md）
+    const inboundByPort = new Map();
+    for (const conn of graph.connections) {
+        const list = inboundByPort.get(conn.to_port_id) ?? [];
+        list.push(conn.from_port_id);
+        inboundByPort.set(conn.to_port_id, list);
+    }
+    for (const [toPortId, fromPortIds] of inboundByPort) {
+        if (fromPortIds.length < 2)
+            continue;
+        const schemas = fromPortIds.map((id) => resolved.get(id) ?? UNDECLARED_SCHEMA);
+        if (!hasInboundConflict(schemas))
+            continue;
+        const to = portById.get(toPortId);
+        const toNode = nodeByPortId.get(toPortId);
+        ctx.addIssue({
+            code: "custom",
+            path: ["connections"],
+            message: `同じ入力ポート（${toNode?.name ?? "?"}.${to?.key ?? "?"}）に異なる型を接続できません`,
+        });
+    }
     graph.connections.forEach((conn, i) => {
         const from = portById.get(conn.from_port_id);
         const to = portById.get(conn.to_port_id);
@@ -345,21 +409,34 @@ export const saveGraphBodySchema = z
                 message: "終了ノードからは接続できません",
             });
         }
-        // human の reject の接続先は ai ノードのみ（kind 制約）
+        // human の reject の接続先は AI の instruction ポートのみ。
+        // 差し戻しは「元のセッションに指示を与える」操作で、上流データの口（in）とは
+        // 意味が違う（docs/tasks/wip/ポートスキーマのany撲滅.md）
         if (fromNode.kind === "human" &&
             from.key === "reject" &&
-            toNode.kind !== "ai") {
+            !(toNode.kind === "ai" && to.key === AI_INSTRUCTION_PORT_KEY)) {
             ctx.addIssue({
                 code: "custom",
                 path: ["connections", i, "to_port_id"],
-                message: "差し戻し（reject）の接続先は AI ノードのみです",
+                message: "差し戻し（reject）の接続先は AI ノードの instruction ポートのみです",
+            });
+        }
+        // instruction ポートに繋げるのは human の reject だけ（データを流し込ませない）
+        if (toNode.kind === "ai" &&
+            to.key === AI_INSTRUCTION_PORT_KEY &&
+            !(fromNode.kind === "human" && from.key === "reject")) {
+            ctx.addIssue({
+                code: "custom",
+                path: ["connections", i, "to_port_id"],
+                message: "instruction ポートに接続できるのは human の差し戻し（reject）だけです",
             });
         }
         const fromSchema = resolved.get(conn.from_port_id) ?? from.schema;
         // human の in はどの型でも接続できる（上流が AI なら封筒 { data, description }、
         // それ以外は input 全体を data として表示する。型制約は課さない）
         // program の in への接続は 伝播型 ⊆ 宣言スキーマ。in は接続鏡映（sticky）なので
-        // 具体型の接続では自明に通り、接続元 any × 宣言維持のときだけ従来の意味を持つ
+        // 具体型の接続では自明に通り、接続元が未宣言 × 宣言維持のときだけ従来の意味を持つ
+        // （未宣言は unknown＝判断できないので通す。作りかけのグラフを保存できなくしない）
         const toSchema = resolved.get(conn.to_port_id) ?? to.schema;
         if (toNode.kind === "program" && !isSchemaSubset(fromSchema, toSchema)) {
             ctx.addIssue({
@@ -368,5 +445,14 @@ export const saveGraphBodySchema = z
                 message: "接続元の型が program の入力スキーマに適合しません（伝播型 ⊆ 宣言スキーマ）",
             });
         }
+        // component の in は子 loop の契約（焼き込み済み宣言）。program と同じ包含チェック
+        if (toNode.kind === "component" &&
+            !isSchemaSubset(fromSchema, toSchema)) {
+            ctx.addIssue({
+                code: "custom",
+                path: ["connections", i, "to_port_id"],
+                message: "接続元の型がコンポーネントの入力契約に適合しません（伝播型 ⊆ 契約）",
+            });
+        }
     });
 });

package/dist/_schemas/node.d.ts

@@ -7,6 +7,7 @@ export declare const nodeKindSchema: z.ZodEnum<{
     wait: "wait";
     start: "start";
     end: "end";
+    component: "component";
 }>;
 export type NodeKind = z.infer<typeof nodeKindSchema>;
 export declare const PORT_KEY_PATTERN: RegExp;

package/dist/_schemas/node.js

@@ -9,6 +9,9 @@ export const nodeKindSchema = z.enum([
     // docs/tasks/wip/開始・終了ノードの定義.md）
     "start",
     "end",
+    // コンポーネント（kind='component' の loop を配置して呼ぶ。子 run・戻り値あり。
+    // docs/tasks/wip/コンポーネント（ループの部品化と再利用）.md）
+    "component",
 ]);
 // ポート key（input/output 用の参照キー）の規則（db.md §2）。
 // name（ユーザーが見る表示名）は自由テキスト

package/dist/_schemas/port-spec.d.ts

@@ -1,11 +1,13 @@
 import { z } from "zod";
 import type { GraphPort, JsonSchema } from "./node.js";
-export declare const ANY_SCHEMA: JsonSchema;
-export declare const isAnySchema: (schema: JsonSchema) => boolean;
+export declare const UNDECLARED_SCHEMA: JsonSchema;
+export declare const isUndeclaredSchema: (schema: JsonSchema) => boolean;
 export declare const FILE_SCHEMA_MARKER = "x-mawaru-type";
 export declare const FILE_SCHEMA_TYPE = "file";
 export declare const fileSchema: () => JsonSchema;
 export declare const isFileSchema: (schema: JsonSchema) => boolean;
+export declare const AI_INSTRUCTION_PORT_KEY = "instruction";
+export declare const instructionSchema: () => JsonSchema;
 export declare const LIST_COLUMN_TYPES: readonly ["string", "number", "boolean", "date"];
 export declare const listColumnTypeSchema: z.ZodEnum<{
     string: "string";
@@ -46,7 +48,11 @@ export declare const dataFormatOf: (schema: JsonSchema) => DataFormat | null;
 export declare const envelopeSchemaOf: (dataSchema: JsonSchema) => JsonSchema;
 export declare const envelopeDataSchemaOf: (schema: JsonSchema) => JsonSchema | null;
 export declare const isAiEnvelopeSchema: (schema: JsonSchema) => boolean;
+export declare const fixedInKeysOf: (kind: string) => string[] | null;
+export declare const manifestInKeysViolation: (kind: string, keys: string[]) => string | null;
 export declare const kindPortsViolation: (kind: string, ports: Pick<GraphPort, "io" | "key">[]) => string | null;
+export declare const mergeInboundSchemas: (schemas: JsonSchema[]) => JsonSchema;
+export declare const hasInboundConflict: (schemas: JsonSchema[]) => boolean;
 type PropagationNode = {
     id: string;
     kind: string;
@@ -58,5 +64,7 @@ type PortLink = {
 };
 export declare const resolvePortSchemas: <N extends PropagationNode>(nodes: N[], connections: PortLink[]) => Map<string, JsonSchema>;
 export declare const propagateDerivedPorts: <N extends PropagationNode>(nodes: N[], connections: PortLink[]) => N[];
+export type SchemaFit = "ok" | "mismatch" | "unknown";
+export declare const schemaFit: (sub: JsonSchema, sup: JsonSchema) => SchemaFit;
 export declare const isSchemaSubset: (sub: JsonSchema, sup: JsonSchema) => boolean;
 export {};