@mawaru/sdk 0.38.0 → 0.40.0

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

@@ -1,4 +1,5 @@
 import { z } from "zod";
+import type { HumanDeclaration } from "./human-manifest.js";
 import type { GraphPort, JsonSchema } from "./node.js";
 export declare const UNDECLARED_SCHEMA: JsonSchema;
 export declare const isUndeclaredSchema: (schema: JsonSchema) => boolean;
@@ -55,6 +56,9 @@ type PropagationNode = {
     id: string;
     kind: string;
     ports: GraphPort[];
+    human?: {
+        declaration?: HumanDeclaration;
+    } | null;
 };
 type PortLink = {
     from_port_id: string;
@@ -62,15 +66,10 @@ type PortLink = {
 };
 export declare const COPY_UPSTREAM_SCHEMA = "T";
 export type DeclaredPortSchema = JsonSchema | typeof COPY_UPSTREAM_SCHEMA;
-export type PropagationOptions<N> = {
-    viewPortSchemasOf?: (node: N) => {
-        in: DeclaredPortSchema;
-        approve: DeclaredPortSchema;
-        reject: JsonSchema;
-    } | null | undefined;
-};
-export declare const resolvePortSchemas: <N extends PropagationNode>(nodes: N[], connections: PortLink[], options?: PropagationOptions<N>) => Map<string, JsonSchema>;
-export declare const propagateDerivedPorts: <N extends PropagationNode>(nodes: N[], connections: PortLink[], options?: PropagationOptions<N>) => N[];
+export declare const resolvePortSchemas: <N extends PropagationNode>(nodes: N[], connections: PortLink[]) => Map<string, JsonSchema>;
+export declare const resolveFlexiblePorts: (nodes: PropagationNode[], connections: PortLink[]) => Set<string>;
+export declare const connectionAccepted: (from: JsonSchema, to: Pick<GraphPort, "schema" | "flexible">) => boolean;
+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;

package/dist/_schemas/port-spec.js

@@ -1,6 +1,6 @@
 import { z } from "zod";
 // ポートの kind 別型システム（docs/tasks/done/ポートのkind別仕様.md）。
-// 型の決まり方は2分類：宣言（program / ai の in・out。human はビューの宣言を転写）／
+// 型の決まり方は2分類：宣言（program / ai の in・out。human は実装（nodes/human/）の宣言を転写）／
 // 導出（それ以外。接続元から伝播し、結果は ports.schema にキャッシュする）。
 // mawaru がコードで型を固定するポートは無い
 // （docs/tasks/done/ポート型固定の撤去とセッション再開のポート属性化.md）
@@ -222,7 +222,7 @@ export const kindPortsViolation = (kind, ports) => {
 // ---- 型伝播（導出ポートの解決） ----
 // 接続の両端は同じスキーマになる（値入力フォームのSchemaForm統一.md）。
 // wait は素通し（パラメトリック）ノード：in は接続元の out、out は in と同型。
-// human はビューの宣言を転写（"T" は素通しと同じ挙動。reject もビューの宣言）。
+// human は実装（nodes/human/）の宣言を転写（"T" は素通しと同じ挙動。reject もビューの宣言）。
 // 宣言 out（program / ai）は触らない。
 // program / ai の in は**全ての口が**接続鏡映（sticky）：接続元 out が具体型のときだけ
 // 上書きし、未接続・型割れ・未宣言は現スキーマ（宣言）を維持する（鏡映結果は repo の
@@ -294,7 +294,7 @@ const isDerivedPort = (kind, port) => DERIVED_KINDS.has(kind) &&
 // ai の in は nodes/ai/<dir>/config.json の inputs[key].schema 由来の宣言型が初期値で、
 // 接続時は program と同じ鏡映で接続元と同値に同期される（どの in も対等。
 // instruction への型の焼き込みは廃止）
-export const resolvePortSchemas = (nodes, connections, options) => {
+export const resolvePortSchemas = (nodes, connections) => {
     const resolved = new Map();
     const kindByPortId = new Map();
     for (const node of nodes) {
@@ -382,6 +382,9 @@ export const resolvePortSchemas = (nodes, connections, options) => {
                 for (const port of node.ports) {
                     if (port.io !== "in")
                         continue;
+                    // flexible な in は宣言（推奨型）を維持する（接続の型を問わない口）
+                    if (port.flexible === true)
+                        continue;
                     const sources = inbound.get(port.id) ?? [];
                     const inSchema = mergeInboundSchemas(sources.map((id) => resolved.get(id) ?? UNDECLARED_SCHEMA));
                     if (!isUndeclaredSchema(inSchema))
@@ -395,13 +398,13 @@ export const resolvePortSchemas = (nodes, connections, options) => {
                 continue;
             const sources = inbound.get(inPort.id) ?? [];
             const inSchema = mergeInboundSchemas(sources.map((id) => resolved.get(id) ?? UNDECLARED_SCHEMA));
-            // 承認ビューの宣言を human のポートへそのまま転写する（上流ノードの kind は見ない）。
+            // 実装（nodes/human/<dir>/）の宣言を human のポートへそのまま転写する（上流ノードの kind は見ない）。
             // "T" は「上流の out をコピー」（in）／「in と同型」（approve）。reject は具体型の宣言
             // のみで、宣言が無ければ未宣言のまま（mawaru が型を焼き込むことはしない）。
             // 上流の out は書き換えない：逆伝播すると fan-out 先のビューが食い違ったとき
             // 型割れが config.json へ write-through され、元の出力宣言を黙って壊す。
             // ズレは接続の型エラーで見せてユーザーの [修正する] で直す
-            const declared = options?.viewPortSchemasOf?.(node);
+            const declared = node.kind === "human" ? node.human?.declaration : undefined;
             const effectiveIn = declared && declared.in !== COPY_UPSTREAM_SCHEMA
                 ? declared.in
                 : inSchema;
@@ -426,16 +429,68 @@ export const resolvePortSchemas = (nodes, connections, options) => {
 };
 // ノード配列へ伝播結果を書き戻す（接続変更時のポートデータ自動更新）。
 // schema が変わらないポート・ノードは同じ参照を返す
-export const propagateDerivedPorts = (nodes, connections, options) => {
-    const resolved = resolvePortSchemas(nodes, connections, options);
+// flexible の導出：start の in / out main は、接続先の in が1つ以上あり**全て** flexible
+// （AI の宣言 in・契約で焼き込まれた component の in）のときだけ flexible。
+// 非 flexible の接続先（program 等）が1つでも混ざれば型どおりの入力が要るので false。
+// 直結のみ（wait 等の素通し経由は型と同じく流さない）。戻りは flexible になる port_id の集合
+export const resolveFlexiblePorts = (nodes, connections) => {
+    const flexibleByPortId = new Map();
+    for (const node of nodes) {
+        if (node.kind === "start")
+            continue;
+        for (const port of node.ports) {
+            if (port.io === "in")
+                flexibleByPortId.set(port.id, port.flexible === true);
+        }
+    }
+    const outbound = new Map();
+    for (const conn of connections) {
+        const outs = outbound.get(conn.from_port_id) ?? [];
+        outs.push(conn.to_port_id);
+        outbound.set(conn.from_port_id, outs);
+    }
+    const flexible = new Set();
+    for (const node of nodes) {
+        if (node.kind !== "start")
+            continue;
+        const inPort = node.ports.find((p) => p.io === "in");
+        const outMain = node.ports.find((p) => p.io === "out" && p.key === "main");
+        if (!inPort || !outMain)
+            continue;
+        const targets = outbound.get(outMain.id) ?? [];
+        if (targets.length > 0 &&
+            targets.every((id) => flexibleByPortId.get(id) === true)) {
+            flexible.add(inPort.id);
+            flexible.add(outMain.id);
+        }
+    }
+    return flexible;
+};
+// 接続の型が受け入れられるか：受け側が flexible なら常に可、それ以外は 伝播型 ⊆ 宣言。
+// sdk の保存契約・backend の保存時チェック・エディタの表示はすべてこれを使う
+// （判定が散ると表示と保存がズレる）
+export const connectionAccepted = (from, to) => to.flexible === true || isSchemaSubset(from, to.schema);
+export const propagateDerivedPorts = (nodes, connections) => {
+    const resolved = resolvePortSchemas(nodes, connections);
+    const flexiblePorts = resolveFlexiblePorts(nodes, connections);
     return nodes.map((node) => {
         let touched = false;
         const ports = node.ports.map((port) => {
             const schema = resolved.get(port.id) ?? port.schema;
-            if (JSON.stringify(schema) === JSON.stringify(port.schema))
+            // start の flexible は導出結果で置き換える（false は省略＝キー無し）
+            const flexible = node.kind === "start"
+                ? flexiblePorts.has(port.id) || undefined
+                : port.flexible;
+            if (JSON.stringify(schema) === JSON.stringify(port.schema) &&
+                flexible === port.flexible)
                 return port;
             touched = true;
-            return { ...port, schema };
+            const { flexible: _dropped, ...rest } = port;
+            return {
+                ...rest,
+                schema,
+                ...(flexible ? { flexible } : {}),
+            };
         });
         return touched ? { ...node, ports } : node;
     });

package/dist/cli.js

@@ -12,14 +12,15 @@ const USAGE = `使い方: mawaru <command> [引数]
 
 コマンド:
   init       repo を mawaru 実行用に初期化する（runner yml・nodes/ 骨組み・スキルポインタ等。再実行は冪等）
-  typegen    nodes/program/<dir>/config.json から types.d.ts（Input / Outputs / Output 型）を生成する
+  typegen    nodes/program/<dir>/・nodes/human/<dir>/ の config.json から types.d.ts を生成する
   validate   リポジトリ規約を検証する（error があれば exit 1。CI 向け）
   login      ブラウザで承認して mawaru にログインする（~/.mawaru/credentials.json）
   logout     保存した資格情報を消す
   session resume <step URL>
              AI ノードのセッションを手元に復元して CLI（claude / codex）の resume で再開する
   preview <種類>/<名前> [--case <ケース名>] [--surface running|completed] [--channel <#名前|ID>]
-             views/ のビューを push せずに手元のファイルで確かめる（slack：cases.ts のケースを Slack に送る）`;
+             push せずに手元のファイルで確かめる（human：nodes/human/ の承認画面をブラウザで開く／
+             slack：views/slack/ のビューで cases.ts のケースを Slack に送る）`;
 const [command, ...rest] = process.argv.slice(2);
 // init / typegen / validate は repo ルートを任意で受ける（省略時はカレント）
 const root = rest[0] ?? process.cwd();

package/dist/index.d.ts

@@ -3,6 +3,7 @@ export * from "./_schemas/duplicate-selection.js";
 export * from "./_schemas/extract-component.js";
 export * from "./_schemas/graph.js";
 export * from "./_schemas/hook-manifest.js";
+export * from "./_schemas/human-manifest.js";
 export * from "./_schemas/node.js";
 export * from "./_schemas/port-spec.js";
 export * from "./_schemas/program-manifest.js";

package/dist/index.js

@@ -6,6 +6,7 @@ export * from "./_schemas/duplicate-selection.js";
 export * from "./_schemas/extract-component.js";
 export * from "./_schemas/graph.js";
 export * from "./_schemas/hook-manifest.js";
+export * from "./_schemas/human-manifest.js";
 export * from "./_schemas/node.js";
 export * from "./_schemas/port-spec.js";
 export * from "./_schemas/program-manifest.js";

package/dist/init.js

@@ -68,13 +68,32 @@ export const runInit = (root) => {
     // 作用してしまうため、ドット無しの "gitignore" で持つ
     writeIfAbsent(".gitignore", template("gitignore"));
     // package.json：@mawaru/sdk を devDependencies に（ポインタ・docs の参照解決と
-    // typegen / validate CLI のため）。バージョンはこのパッケージ自身から取る
-    const sdkVersion = JSON.parse(readFileSync(join(packageRoot(), "package.json"), "utf-8")).version;
+    // typegen / validate CLI のため）。承認ビュー（TSX）の型のために @types/react も。
+    // バージョンはこのパッケージ自身から取る
+    const sdkPackage = JSON.parse(readFileSync(join(packageRoot(), "package.json"), "utf-8"));
     writeIfAbsent("package.json", `${JSON.stringify({
         name: "mawaru",
         private: true,
         type: "module",
-        devDependencies: { "@mawaru/sdk": `^${sdkVersion}` },
+        devDependencies: {
+            "@mawaru/sdk": `^${sdkPackage.version}`,
+            "@types/react": sdkPackage.devDependencies["@types/react"],
+        },
+    }, null, 2)}\n`);
+    // tsconfig.json：エディタで human ノードの実装（nodes/human/）と Slack ビュー（views/）を型検査するための設定。
+    // ビルドはしない（mawaru がまとめる）。import の解決は mawaru のまとめ方（esbuild）に揃える
+    writeIfAbsent("tsconfig.json", `${JSON.stringify({
+        compilerOptions: {
+            target: "ES2022",
+            module: "ESNext",
+            moduleResolution: "Bundler",
+            jsx: "react-jsx",
+            lib: ["ES2023", "DOM", "DOM.Iterable"],
+            strict: true,
+            noEmit: true,
+            skipLibCheck: true,
+        },
+        include: ["nodes/human", "views"],
     }, null, 2)}\n`);
     // runner yml の `npm ci` とポインタの参照解決は node_modules / lockfile が前提
     if (!existsSync(join(root, "package-lock.json"))) {

package/dist/typegen.d.ts

@@ -1,9 +1,11 @@
+import { type HumanDeclaration } from "./_schemas/human-manifest.js";
 import type { JsonSchema } from "./_schemas/node.js";
 import { type ProgramManifest } from "./_schemas/program-manifest.js";
 export declare const CONFIG_HASH_PREFIX = "// mawaru:config-hash=";
 export declare const configHash: (rawConfig: string) => string;
-export declare const tsTypeFromJsonSchema: (schema: JsonSchema, indent?: number) => string;
+export declare const tsTypeFromJsonSchema: (schema: JsonSchema, indent?: number, fileAs?: string) => string;
 export declare const renderTypesFile: (manifest: ProgramManifest, rawConfig: string) => string;
+export declare const renderApprovalViewTypesFile: (declaration: HumanDeclaration, rawConfig: string) => string;
 export type TypegenResult = {
     written: string[];
     errors: {

package/dist/typegen.js

@@ -2,6 +2,7 @@ import { createHash } from "node:crypto";
 import { existsSync, readdirSync, readFileSync, writeFileSync } from "node:fs";
 import { join } from "node:path";
 import { REFS_INPUT_KEY } from "./_schemas/graph.js";
+import { humanDeclarationOfManifest, humanManifestSchema, } from "./_schemas/human-manifest.js";
 import { programManifestSchema, } from "./_schemas/program-manifest.js";
 // 生成ファイルに刻む config.json 内容のハッシュ。validate が drift（config を変えて
 // typegen し忘れ）の検出に使う
@@ -12,14 +13,14 @@ const propertyKey = (key) => IDENTIFIER_RE.test(key) ? key : JSON.stringify(key)
 const literalType = (value) => value === null ? "null" : (JSON.stringify(value) ?? "unknown");
 // union / tuple の要素は結合子と混ざらないよう括弧で包む
 const wrapIfUnion = (type) => type.includes(" | ") || type.includes(" & ") ? `(${type})` : type;
-const objectType = (schema, indent) => {
+const objectType = (schema, indent, fileAs) => {
     const properties = schema.properties;
     if (typeof properties !== "object" ||
         properties === null ||
         Array.isArray(properties)) {
         const additional = schema.additionalProperties;
         if (typeof additional === "object" && additional !== null) {
-            return `Record<string, ${tsTypeFromJsonSchema(additional, indent)}>`;
+            return `Record<string, ${tsTypeFromJsonSchema(additional, indent, fileAs)}>`;
         }
         if (additional === false) {
             return "Record<string, never>";
@@ -39,14 +40,14 @@ const objectType = (schema, indent) => {
             lines.push(`${inner}/** ${description} */`);
         }
         const optional = required.has(key) ? "" : "?";
-        lines.push(`${inner}${propertyKey(key)}${optional}: ${tsTypeFromJsonSchema(propSchema, indent + 1)}`);
+        lines.push(`${inner}${propertyKey(key)}${optional}: ${tsTypeFromJsonSchema(propSchema, indent + 1, fileAs)}`);
     }
     if (lines.length === 0) {
         return "Record<string, unknown>";
     }
     return `{\n${lines.join("\n")}\n${"  ".repeat(indent)}}`;
 };
-const namedType = (typeName, schema, indent) => {
+const namedType = (typeName, schema, indent, fileAs) => {
     switch (typeName) {
         case "string":
             return "string";
@@ -60,22 +61,24 @@ const namedType = (typeName, schema, indent) => {
         case "array": {
             const items = schema.items;
             if (Array.isArray(items)) {
-                return `[${items.map((i) => tsTypeFromJsonSchema(i, indent)).join(", ")}]`;
+                return `[${items.map((i) => tsTypeFromJsonSchema(i, indent, fileAs)).join(", ")}]`;
             }
             if (typeof items === "object" && items !== null) {
-                return `${wrapIfUnion(tsTypeFromJsonSchema(items, indent))}[]`;
+                return `${wrapIfUnion(tsTypeFromJsonSchema(items, indent, fileAs))}[]`;
             }
             return "unknown[]";
         }
         case "object":
-            return objectType(schema, indent);
+            return objectType(schema, indent, fileAs);
         default:
             return "unknown";
     }
 };
 // JSON Schema（zodFromJsonSchema が扱うサブセット）を TS 型の文字列に写す。
 // 解釈できない形は unknown に落とす（型が付かないだけで、実行時検証は ports 側が担う）
-export const tsTypeFromJsonSchema = (schema, indent = 0) => {
+// fileAs＝file 型の TS 型。program の handler は手元のパス（string）を受ける。承認ビューは参照
+// （FileRef）のまま受ける
+export const tsTypeFromJsonSchema = (schema, indent = 0, fileAs = "string") => {
     if (typeof schema !== "object" || schema === null || Array.isArray(schema)) {
         return "unknown";
     }
@@ -84,7 +87,7 @@ export const tsTypeFromJsonSchema = (schema, indent = 0) => {
     // 出力にローカルパスを書く契約なので、参照 object ではなく string を生成する
     // （AI 側の schemaWithFilesAsPath と同じ規約）
     if (schema["x-mawaru-type"] === "file") {
-        return "string";
+        return fileAs;
     }
     if ("const" in schema) {
         return literalType(schema.const);
@@ -97,22 +100,24 @@ export const tsTypeFromJsonSchema = (schema, indent = 0) => {
     const variants = schema.oneOf ?? schema.anyOf;
     if (Array.isArray(variants) && variants.length > 0) {
         return variants
-            .map((v) => tsTypeFromJsonSchema(v, indent))
+            .map((v) => tsTypeFromJsonSchema(v, indent, fileAs))
             .join(" | ");
     }
     if (Array.isArray(schema.allOf) && schema.allOf.length > 0) {
         return schema.allOf
-            .map((v) => wrapIfUnion(tsTypeFromJsonSchema(v, indent)))
+            .map((v) => wrapIfUnion(tsTypeFromJsonSchema(v, indent, fileAs)))
             .join(" & ");
     }
     const type = schema.type;
     if (Array.isArray(type)) {
         return type.length > 0
-            ? type.map((t) => namedType(String(t), schema, indent)).join(" | ")
+            ? type
+                .map((t) => namedType(String(t), schema, indent, fileAs))
+                .join(" | ")
             : "unknown";
     }
     if (typeof type === "string") {
-        return namedType(type, schema, indent);
+        return namedType(type, schema, indent, fileAs);
     }
     return "unknown";
 };
@@ -166,8 +171,85 @@ export const renderTypesFile = (manifest, rawConfig) => {
         "",
     ].join("\n");
 };
-// nodes/program/ 直下の各 dir の config.json から types.d.ts を生成する
+// human ノードの実装（nodes/human/<dir>/config.json）の型。ビューの ctx の型（defineApprovalView<In>）と、
+// 承認バーで approve に流す値の型（<ApprovalBar<Approve> output={…} />）に使う。
+// file は参照（FileRef）のまま届く（program の handler と違って実体化しない）
+export const renderApprovalViewTypesFile = (declaration, rawConfig) => {
+    const typeOf = (schema) => tsTypeFromJsonSchema(schema, 0, "FileRef");
+    const inType = declaration.in === "T" ? "unknown" : typeOf(declaration.in);
+    const approveType = declaration.approve === "T" ? "In" : typeOf(declaration.approve);
+    const rejectType = typeOf(declaration.reject);
+    const usesFileRef = [inType, approveType, rejectType].some((t) => t.includes("FileRef"));
+    return [
+        "// このファイルは mawaru typegen が config.json から自動生成した（手で編集しない）",
+        `${CONFIG_HASH_PREFIX}${configHash(rawConfig)}`,
+        "",
+        ...(usesFileRef
+            ? ['import type { FileRef } from "@mawaru/sdk/human"', ""]
+            : []),
+        "// 承認待ちの値（ctx.output）。inputs.in を省略した（上流の型をそのまま受ける）なら unknown",
+        `export type In = ${inType}`,
+        "",
+        "// 承認で approve に載せる値（ApprovalBar の output）。省略したなら In と同じ",
+        `export type Approve = ${approveType}`,
+        "",
+        "// 差し戻しで reject に載せる値",
+        `export type Reject = ${rejectType}`,
+        "",
+    ].join("\n");
+};
+// nodes/human/ 直下の各 human ノードの実装（`_` 始まりは部品の置き場なので除く）の config.json から types.d.ts を生成する
+const runHumanTypegen = (root) => {
+    const viewsDir = join(root, "nodes", "human");
+    const written = [];
+    const errors = [];
+    if (!existsSync(viewsDir))
+        return { written, errors };
+    for (const entry of readdirSync(viewsDir, { withFileTypes: true })) {
+        if (!entry.isDirectory() ||
+            entry.name.startsWith("_") ||
+            entry.name.startsWith(".")) {
+            continue;
+        }
+        const dir = `nodes/human/${entry.name}`;
+        const configPath = join(viewsDir, entry.name, "config.json");
+        if (!existsSync(configPath)) {
+            errors.push({ dir, message: "config.json がありません" });
+            continue;
+        }
+        const rawConfig = readFileSync(configPath, "utf8");
+        let parsed;
+        try {
+            parsed = JSON.parse(rawConfig);
+        }
+        catch {
+            errors.push({ dir, message: "config.json が JSON として不正です" });
+            continue;
+        }
+        const config = humanManifestSchema.safeParse(parsed);
+        if (!config.success) {
+            errors.push({
+                dir,
+                message: `config.json が規約に合いません（${config.error.issues.map((i) => `${i.path.join(".")}: ${i.message}`).join(" / ")}）`,
+            });
+            continue;
+        }
+        const typesPath = join(viewsDir, entry.name, "types.d.ts");
+        writeFileSync(typesPath, renderApprovalViewTypesFile(humanDeclarationOfManifest(config.data), rawConfig));
+        written.push(typesPath);
+    }
+    return { written, errors };
+};
+// nodes/program/ 直下の各 dir と、nodes/human/ 直下の各実装の config.json から types.d.ts を生成する
 export const runTypegen = (root) => {
+    const programs = runProgramTypegen(root);
+    const views = runHumanTypegen(root);
+    return {
+        written: [...programs.written, ...views.written],
+        errors: [...programs.errors, ...views.errors],
+    };
+};
+const runProgramTypegen = (root) => {
     const programsDir = join(root, "nodes", "program");
     if (!existsSync(programsDir)) {
         return {

package/dist/validate.js

@@ -2,6 +2,7 @@ import { existsSync, readdirSync, readFileSync } from "node:fs";
 import { join, relative } from "node:path";
 import { z } from "zod";
 import { convertJsonSchemaToZod } from "zod-from-json-schema";
+import { humanManifestSchema } from "./_schemas/human-manifest.js";
 import { programManifestSchema } from "./_schemas/program-manifest.js";
 import { CONFIG_HASH_PREFIX, configHash } from "./typegen.js";
 // エディタ・オーケストレータは zod-from-json-schema（common の zodFromJsonSchema）で
@@ -101,6 +102,59 @@ const validateProgram = (programsDir, dir, root) => {
     checkTypegenDrift(programDir, rawConfig, path, issues);
     return issues;
 };
+// human ノードの実装（nodes/human/<dir>/）：config.json（宣言の検査）・index.tsx・types.d.ts の drift。
+// `_` 始まりは部品の置き場なので見ない
+const validateHumans = (root) => {
+    const issues = [];
+    const viewsDir = join(root, "nodes", "human");
+    if (!existsSync(viewsDir))
+        return issues;
+    for (const entry of readdirSync(viewsDir, { withFileTypes: true })) {
+        if (!entry.isDirectory() ||
+            entry.name.startsWith("_") ||
+            entry.name.startsWith(".")) {
+            continue;
+        }
+        const viewDir = join(viewsDir, entry.name);
+        const path = relative(root, viewDir);
+        if (!existsSync(join(viewDir, "index.tsx"))) {
+            issues.push({ level: "error", path, message: "index.tsx がありません" });
+        }
+        const configPath = join(viewDir, "config.json");
+        if (!existsSync(configPath)) {
+            issues.push({ level: "error", path, message: "config.json がありません" });
+            continue;
+        }
+        const rawConfig = readFileSync(configPath, "utf8");
+        let parsed;
+        try {
+            parsed = JSON.parse(rawConfig);
+        }
+        catch {
+            issues.push({
+                level: "error",
+                path: `${path}/config.json`,
+                message: "JSON として不正です",
+            });
+            continue;
+        }
+        const config = humanManifestSchema.safeParse(parsed);
+        if (!config.success) {
+            for (const issue of config.error.issues) {
+                issues.push({
+                    level: "error",
+                    path: `${path}/config.json`,
+                    message: `${issue.path.join(".")}: ${issue.message}`,
+                });
+            }
+            continue;
+        }
+        if (existsSync(join(viewDir, "types.d.ts"))) {
+            checkTypegenDrift(viewDir, rawConfig, path, issues);
+        }
+    }
+    return issues;
+};
 // リポジトリ規約の構造検証。error が1つでもあれば CI を落とす想定（cli.ts が exit 1）
 export const validateRepo = (root) => {
     const issues = [];
@@ -119,6 +173,7 @@ export const validateRepo = (root) => {
             }
         }
     }
+    issues.push(...validateHumans(root));
     if (!existsSync(join(root, ".github", "workflows", "mawaru-runner.yml"))) {
         issues.push({
             level: "warning",

package/dist/views/_approval/ApprovalBar.d.ts

@@ -0,0 +1,20 @@
+import { type ReactNode } from "react";
+import type { ApprovalViewContext } from "../human.js";
+/**
+ * 承認バー。書類の領域の下に貼り付く（`position: sticky; bottom: 0`）。外側を `minHeight: 100%` の縦の flex にして
+ * 中身を `flex: 1` にすると、中身が短くても下端に来る。
+ */
+export declare const ApprovalBar: <TOut = unknown>({ ctx, label, disabled, output, value, children, }: {
+    /** ビューが受け取った ctx */
+    ctx: ApprovalViewContext<unknown>;
+    /** 承認ボタンの文言（省略時は「承認して〈次のノード〉へ」） */
+    label?: string;
+    /** 承認ボタンを押せない */
+    disabled?: boolean;
+    /** 承認したとき approve に流す値（宣言の outputs.approve の形。省略時は value）。`<ApprovalBar<Approve> …>` で型を検査できる */
+    output?: TOut;
+    /** 今の値（ビューで直した値。in の形。省略時は ctx.output）。型の合う追加の出口にはこれが流れる */
+    value?: unknown;
+    /** バーの左側に足すもの */
+    children?: ReactNode;
+}) => import("react").JSX.Element;

package/dist/views/_approval/ApprovalBar.js

@@ -0,0 +1,74 @@
+import { jsx as _jsx, jsxs as _jsxs, Fragment as _Fragment } from "react/jsx-runtime";
+import { useState } from "react";
+import { useApprovalActions } from "../_approvalActions.js";
+// 承認バー（承認画面の下の帯）。ビューが自分で置く部品で、内蔵の標準ビューも同じものを使う
+// （docs/tasks/wip/承認ビューの顧客repo配置.md の「承認バーもビューが描く」）。
+// 材料は ctx.decision、操作は useApprovalActions()。送信中とエラーは decide の結果からここで持つ
+const errorMessage = (err) => err instanceof Error ? err.message : "送信に失敗しました";
+/**
+ * 承認バー。書類の領域の下に貼り付く（`position: sticky; bottom: 0`）。外側を `minHeight: 100%` の縦の flex にして
+ * 中身を `flex: 1` にすると、中身が短くても下端に来る。
+ */
+export const ApprovalBar = ({ ctx, label, disabled = false, output, value, children, }) => {
+    const actions = useApprovalActions();
+    const [sending, setSending] = useState(false);
+    const [error, setError] = useState(null);
+    const { phase, decision } = ctx;
+    const current = value === undefined ? ctx.output : value;
+    const approveValue = output === undefined ? current : output;
+    const send = (request) => {
+        setSending(true);
+        setError(null);
+        request
+            .catch((err) => setError(errorMessage(err)))
+            .finally(() => setSending(false));
+    };
+    const open = (request) => request.catch((err) => setError(errorMessage(err)));
+    return (_jsx("div", { style: {
+            position: "sticky",
+            bottom: 0,
+            zIndex: 1,
+            flex: "none",
+            display: "flex",
+            alignItems: "center",
+            gap: "var(--space-3)",
+            padding: "var(--space-3) var(--space-6)",
+            borderTop: phase === "waiting"
+                ? "var(--border-w-strong) solid var(--human)"
+                : "var(--border-w) solid var(--border)",
+            background: "var(--surface)",
+        }, children: phase === "waiting" ? (_jsxs(_Fragment, { children: [decision.otherAssignees && (_jsxs("span", { style: { fontSize: "var(--text-sm)", color: "var(--muted)" }, children: [_jsx("span", { style: { color: "var(--ink)" }, children: decision.otherAssignees.join("・") }), " さんの担当です — あなたは承認・差し戻しができません"] })), children, _jsx("div", { style: { flex: 1 } }), decision.progress && (_jsxs("span", { style: {
+                        fontFamily: "var(--font-mono)",
+                        fontSize: "var(--text-xs)",
+                        color: "var(--muted)",
+                        whiteSpace: "nowrap",
+                    }, children: [decision.progress.done, "/", decision.progress.total, "\u4EBA \u627F\u8A8D\u6E08\u307F"] })), error && (_jsx("span", { role: "alert", style: { color: "var(--fail)" }, children: error })), decision.exits.map((exit) => (_jsx("button", { type: "button", className: "ghost", disabled: !decision.canDecide || sending, onClick: () => exit.needsInput
+                        ? open(actions.openExitDialog(exit.key, current))
+                        : send(actions.decide(exit.key, current)), style: { fontSize: "var(--text-sm)", whiteSpace: "nowrap" }, children: exit.name }, exit.key))), decision.rejectTargetName && (_jsx("button", { type: "button", className: "ghost", disabled: !decision.canDecide || sending, onClick: () => open(actions.openRejectDialog()), style: { fontSize: "var(--text-sm)", whiteSpace: "nowrap" }, children: "AI\u3078\u5DEE\u3057\u623B\u3059\uFF08reject\uFF09" })), _jsxs("button", { type: "button", className: "primary", disabled: !decision.canDecide || sending || disabled, onClick: () => send(actions.decide("approve", approveValue)), style: {
+                        display: "flex",
+                        alignItems: "center",
+                        gap: "var(--space-2)",
+                        paddingLeft: "var(--space-5)",
+                        paddingRight: "var(--space-5)",
+                        whiteSpace: "nowrap",
+                    }, children: [sending
+                            ? "承認しています…"
+                            : decision.progress?.approvedByMe
+                                ? "承認済み — 全員の承認待ち"
+                                : (label ?? `承認して${decision.approveTargetName ?? "次"}へ`), _jsx("svg", { width: "12", height: "12", viewBox: "0 0 16 16", "aria-hidden": "true", children: _jsx("path", { d: "M4.5 3L12.5 8L4.5 13V3Z", style: { fill: "var(--on-accent)" } }) })] })] })) : phase === "rejected" ? (_jsxs(_Fragment, { children: [_jsxs("svg", { width: "14", height: "14", viewBox: "0 0 16 16", style: { flex: "none" }, "aria-hidden": "true", children: [_jsx("rect", { x: "3.5", y: "7", width: "9", height: "6", rx: "1.5", style: { fill: "none", stroke: "var(--muted)", strokeWidth: 1.5 } }), _jsx("path", { d: "M5.5 7V5.5C5.5 4 6.5 3 8 3C9.5 3 10.5 4 10.5 5.5V7", style: { fill: "none", stroke: "var(--muted)", strokeWidth: 1.5 } })] }), _jsx("span", { style: { fontSize: "var(--text-xs)", color: "var(--muted)" }, children: "\u518D\u5B9F\u884C\u304C\u5B8C\u4E86\u3057\u3066\u65B0\u3057\u3044\u4E0B\u66F8\u304D\u304C\u5C4A\u304F\u3068\u3001\u627F\u8A8D\u5F85\u3061\u306B\u623B\u308A\u901A\u77E5\u3055\u308C\u307E\u3059" }), _jsx("div", { style: { flex: 1 } }), _jsx("button", { type: "button", className: "ghost", disabled: true, style: {
+                        fontSize: "var(--text-sm)",
+                        opacity: 0.5,
+                        whiteSpace: "nowrap",
+                    }, children: "\u5DEE\u3057\u623B\u3059\uFF08reject\uFF09" }), _jsx("button", { type: "button", className: "primary", disabled: true, style: { opacity: 0.5, whiteSpace: "nowrap" }, children: "\u627F\u8A8D\u3057\u3066\u6B21\u3078" })] })) : (_jsxs(_Fragment, { children: [_jsx("span", { style: {
+                        color: phase === "failed"
+                            ? "var(--fail)"
+                            : phase === "cancelled"
+                                ? "var(--muted)"
+                                : "var(--ok)",
+                        fontSize: "var(--text-sm)",
+                    }, children: phase === "failed" ? "✕" : phase === "cancelled" ? "◼" : "✓" }), _jsx("span", { style: { fontSize: "var(--text-sm)", color: "var(--muted)" }, children: phase === "failed"
+                        ? (decision.failedReason ?? "この step は失敗しました")
+                        : phase === "cancelled"
+                            ? "キャンセル済み — この run は中断されました"
+                            : "対応済み — 承認して次のノードへ渡しました" }), _jsx("div", { style: { flex: 1 } }), _jsx("button", { type: "button", className: "ghost", onClick: () => open(actions.close()), style: { fontSize: "var(--text-sm)", whiteSpace: "nowrap" }, children: "run \u306E\u9032\u884C\u3092\u898B\u308B \u2192" })] })) }));
+};

package/dist/views/_approvalActions.d.ts

@@ -0,0 +1,18 @@
+/**
+ * ビューから承認画面の操作を頼む口。決定の送信はホストが行う。
+ * ホストは、この step で・見ている人が決定できる（`ctx.decision.canDecide`）ときだけ受け、
+ * `decide` はさらに人がビューの中で押した直後のときだけ受ける（開いただけで決定するビューは書けない）。
+ */
+export type ApprovalActions = {
+    /** 決定する。`port` は `approve` / `reject` / 追加の出口の key。送り終わると承認画面は run の画面へ戻る */
+    decide: (port: string, value: unknown) => Promise<void>;
+    /** ホストの差し戻しダイアログを開く（理由と参考ファイルを入れて差し戻す） */
+    openRejectDialog: () => Promise<void>;
+    /** 追加の出口に流す値を入れるダイアログを開く（`value` が初期値）。値の型が出口と合わないときに使う */
+    openExitDialog: (key: string, value: unknown) => Promise<void>;
+    /** 承認画面を閉じて run の画面へ戻る（右上の × と同じ） */
+    close: () => Promise<void>;
+};
+export declare const ApprovalActionsProvider: import("react").Provider<ApprovalActions | null>;
+/** 承認画面の操作を頼む口（承認画面の中でだけ使える） */
+export declare const useApprovalActions: () => ApprovalActions;