@mawaru/sdk 0.9.0 → 0.13.0

package/dist/_schemas/graph.js

@@ -107,8 +107,6 @@ export const humanConfigSchema = z.object({
     // どのキーが実在するか・そのテナントが選べるかは保存時に 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"),
@@ -409,49 +407,23 @@ export const saveGraphBodySchema = z
                 message: "終了ノードからは接続できません",
             });
         }
-        // human の reject の接続先は AI の instruction ポートのみ。
-        // 差し戻しは「元のセッションに指示を与える」操作で、上流データの口（in）とは
-        // 意味が違う（docs/tasks/wip/ポートスキーマのany撲滅.md）
-        if (fromNode.kind === "human" &&
-            from.key === "reject" &&
-            !(toNode.kind === "ai" && to.key === AI_INSTRUCTION_PORT_KEY)) {
-            ctx.addIssue({
-                code: "custom",
-                path: ["connections", i, "to_port_id"],
-                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）だけです",
-            });
-        }
+        // 差し戻し（reject）と instruction の組み合わせは kind で縛らない：両端とも
+        // instructionSchema()（{ prompt, files }）で型が固定されているので、下の型検証だけで
+        // 「型が合う口にしか繋がらない」が成立する。差し戻し先が AI である必要はない
+        // （{ prompt, files } を受ける program へも繋げる）
+        // 型検証は kind によらず常に 伝播型（out） ⊆ 伝播型（in）。
+        // 未宣言は unknown＝判断できないので通す（作りかけのグラフを保存できなくしない）。
+        // 接続鏡映する口（program / ai の in）とコピー宣言のビューは接続元の型を採用する
+        // ので自明に通り、実質の検証対象は宣言で固定された口
+        // （component の契約・ai の instruction・宣言のあるビューの human.in）になる
+        // → docs/tasks/wip/Humanの入出力を承認ビューの宣言に一本化する.md
         const fromSchema = resolved.get(conn.from_port_id) ?? from.schema;
-        // human の in はどの型でも接続できる（上流が AI なら封筒 { data, description }、
-        // それ以外は input 全体を data として表示する。型制約は課さない）
-        // program の in への接続は 伝播型 ⊆ 宣言スキーマ。in は接続鏡映（sticky）なので
-        // 具体型の接続では自明に通り、接続元が未宣言 × 宣言維持のときだけ従来の意味を持つ
-        // （未宣言は unknown＝判断できないので通す。作りかけのグラフを保存できなくしない）
         const toSchema = resolved.get(conn.to_port_id) ?? to.schema;
-        if (toNode.kind === "program" && !isSchemaSubset(fromSchema, toSchema)) {
-            ctx.addIssue({
-                code: "custom",
-                path: ["connections", i, "to_port_id"],
-                message: "接続元の型が program の入力スキーマに適合しません（伝播型 ⊆ 宣言スキーマ）",
-            });
-        }
-        // component の in は子 loop の契約（焼き込み済み宣言）。program と同じ包含チェック
-        if (toNode.kind === "component" &&
-            !isSchemaSubset(fromSchema, toSchema)) {
+        if (!isSchemaSubset(fromSchema, toSchema)) {
             ctx.addIssue({
                 code: "custom",
                 path: ["connections", i, "to_port_id"],
-                message: "接続元の型がコンポーネントの入力契約に適合しません（伝播型 ⊆ 契約）",
+                message: `「${fromNode.name}」の出力が「${toNode.name}」の入力スキーマに適合しません`,
             });
         }
     });

package/dist/_schemas/hook-manifest.d.ts

@@ -1,7 +1,7 @@
 import { z } from "zod";
 export declare const hookEventSchema: z.ZodEnum<{
-    output: "output";
     input: "input";
+    output: "output";
     signal: "signal";
 }>;
 export type HookEvent = z.infer<typeof hookEventSchema>;
@@ -9,8 +9,8 @@ export declare const hookManifestSchema: z.ZodObject<{
     name: z.ZodOptional<z.ZodString>;
     description: z.ZodOptional<z.ZodString>;
     on: z.ZodArray<z.ZodEnum<{
-        output: "output";
         input: "input";
+        output: "output";
         signal: "signal";
     }>>;
     env: z.ZodDefault<z.ZodArray<z.ZodString>>;

package/dist/_schemas/node.d.ts

@@ -1,12 +1,12 @@
 import { z } from "zod";
 export declare const nodeKindSchema: z.ZodEnum<{
+    start: "start";
+    end: "end";
     ai: "ai";
     human: "human";
     program: "program";
     guardrail: "guardrail";
     wait: "wait";
-    start: "start";
-    end: "end";
     component: "component";
 }>;
 export type NodeKind = z.infer<typeof nodeKindSchema>;

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

@@ -62,8 +62,16 @@ type PortLink = {
     from_port_id: string;
     to_port_id: string;
 };
-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 declare const COPY_UPSTREAM_SCHEMA = "T";
+export type DeclaredPortSchema = JsonSchema | typeof COPY_UPSTREAM_SCHEMA;
+export type PropagationOptions<N> = {
+    viewPortSchemasOf?: (node: N) => {
+        in: DeclaredPortSchema;
+        out: DeclaredPortSchema;
+    } | 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 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

@@ -247,6 +247,9 @@ export const mergeInboundSchemas = (schemas) => {
 };
 // 流入の具体型が2種類以上あるか（＝同じポートに違う型を流し込んでいる）
 export const hasInboundConflict = (schemas) => new Set(schemas.filter((s) => !isUndeclaredSchema(s)).map((s) => JSON.stringify(s))).size > 1;
+// 「上流の out をそのままコピーする」（in）／「in と同型」（approve）を表す指示。
+// 承認ビューのカタログ（@mawaru/common）の COPY_UPSTREAM と同じ値
+export const COPY_UPSTREAM_SCHEMA = "T";
 // end も導出ノード（各 in は上流から、out main は未宣言）。個別処理は
 // resolvePortSchemas 内で行うが、初期スキーマを未宣言にするためここに含める。
 // start も導出ノード：out main は接続先の in から逆向きに転写し、in は out と同型
@@ -274,7 +277,7 @@ const constSchemaOf = (kind, port) => {
 };
 // port_id → 解決済みスキーマ。導出は接続を遡って固定点まで反復し、
 // 未接続・純パラメトリック閉路・fan-in の型割れは未宣言に落とす
-export const resolvePortSchemas = (nodes, connections) => {
+export const resolvePortSchemas = (nodes, connections, options) => {
     const resolved = new Map();
     const kindByPortId = new Map();
     for (const node of nodes) {
@@ -346,17 +349,21 @@ export const resolvePortSchemas = (nodes, connections) => {
                     assign(inPort.id, inSchema);
                 continue;
             }
-            assign(inPort.id, inSchema);
-            // human の approve：接続元が AI ノードなら封筒 { data, description } を剥がして
-            // data 型を流す（承認は data だけを下流へ渡す）。それ以外の上流は従来どおり素通し
-            const fromAiNode = sources.length === 1 &&
-                sources[0] !== undefined &&
-                kindByPortId.get(sources[0]) === "ai";
+            // 承認ビューの宣言を human のポートへそのまま転写する（上流ノードの kind は見ない）。
+            // "T" は「上流の out をコピー」（in）／「in と同型」（approve）。
+            // 上流の out は書き換えない：逆伝播すると fan-out 先のビューが食い違ったとき
+            // 型割れが config.json へ write-through され、元の出力宣言を黙って壊す。
+            // ズレは接続の型エラーで見せてユーザーの [修正する] で直す
+            const declared = options?.viewPortSchemasOf?.(node);
+            const effectiveIn = declared && declared.in !== COPY_UPSTREAM_SCHEMA
+                ? declared.in
+                : inSchema;
+            assign(inPort.id, effectiveIn);
             for (const port of node.ports) {
                 if (port.io === "out" && isDerivedPort(node.kind, port)) {
-                    assign(port.id, node.kind === "human" && port.key === "approve" && fromAiNode
-                        ? (envelopeDataSchemaOf(inSchema) ?? UNDECLARED_SCHEMA)
-                        : inSchema);
+                    assign(port.id, declared && declared.out !== COPY_UPSTREAM_SCHEMA
+                        ? declared.out
+                        : effectiveIn);
                 }
             }
         }
@@ -367,8 +374,8 @@ export const resolvePortSchemas = (nodes, connections) => {
 };
 // ノード配列へ伝播結果を書き戻す（接続変更時のポートデータ自動更新）。
 // schema が変わらないポート・ノードは同じ参照を返す
-export const propagateDerivedPorts = (nodes, connections) => {
-    const resolved = resolvePortSchemas(nodes, connections);
+export const propagateDerivedPorts = (nodes, connections, options) => {
+    const resolved = resolvePortSchemas(nodes, connections, options);
     return nodes.map((node) => {
         let touched = false;
         const ports = node.ports.map((port) => {

package/dist/cli.js

@@ -1,17 +1,29 @@
 #!/usr/bin/env node
 import { relative } from "node:path";
+import { clearCredentials, loadCredentials } from "./_cli/credentials.js";
+import { runLogin } from "./_cli/login.js";
+import { runSessionResume } from "./_cli/sessionCommand.js";
 import { runInit } from "./init.js";
 import { runTypegen } from "./typegen.js";
 import { validateRepo } from "./validate.js";
-// 使い方: mawaru <init|typegen|validate> [repoルート]（省略時はカレントディレクトリ）
-const USAGE = `使い方: mawaru <command> [repoルート]
+// 使い方: mawaru <init|typegen|validate|login|logout|session> [引数]
+const USAGE = `使い方: mawaru <command> [引数]
 
 コマンド:
   init       repo を mawaru 実行用に初期化する（runner yml・nodes/ 骨組み・スキルポインタ等。再実行は冪等）
   typegen    nodes/program/<dir>/config.json から types.d.ts（Input / Outputs / Output 型）を生成する
-  validate   リポジトリ規約を検証する（error があれば exit 1。CI 向け）`;
-const [command, rootArg] = process.argv.slice(2);
-const root = rootArg ?? process.cwd();
+  validate   リポジトリ規約を検証する（error があれば exit 1。CI 向け）
+  login      ブラウザで承認して mawaru にログインする（~/.mawaru/credentials.json）
+  logout     保存した資格情報を消す
+  session resume <step URL> [--yes]
+             AI ノードのセッションを手元に復元して claude --resume で再開する`;
+const [command, ...rest] = process.argv.slice(2);
+// init / typegen / validate は repo ルートを任意で受ける（省略時はカレント）
+const root = rest[0] ?? process.cwd();
+const fail = (message) => {
+    console.error(message);
+    process.exit(1);
+};
 switch (command) {
     case "init": {
         const result = runInit(root);
@@ -47,6 +59,39 @@ switch (command) {
         process.exit(errorCount > 0 ? 1 : 0);
         break;
     }
+    case "login": {
+        const existing = loadCredentials();
+        if (existing)
+            console.log(`現在: ${existing.email}（上書きされます）`);
+        try {
+            const { email, path } = await runLogin();
+            console.log(`✔ ${email} としてログインしました（${path}）`);
+        }
+        catch (e) {
+            fail(e instanceof Error ? e.message : String(e));
+        }
+        break;
+    }
+    case "logout": {
+        console.log(clearCredentials()
+            ? "ログアウトしました"
+            : "ログインしていません（消すものはありません）");
+        break;
+    }
+    case "session": {
+        const [subcommand, ...args] = rest;
+        if (subcommand !== "resume") {
+            fail("使い方: mawaru session resume <step URL> [--yes]");
+        }
+        try {
+            const code = await runSessionResume(args.find((a) => !a.startsWith("-")), { yes: args.includes("--yes") || args.includes("-y") });
+            process.exit(code);
+        }
+        catch (e) {
+            fail(e instanceof Error ? e.message : String(e));
+        }
+        break;
+    }
     default: {
         console.error(USAGE);
         process.exit(command === undefined || command === "--help" ? 0 : 1);

package/dist/index.d.ts

@@ -1,4 +1,5 @@
 export * from "./_schemas/ai-manifest.js";
+export * from "./_schemas/duplicate-selection.js";
 export * from "./_schemas/extract-component.js";
 export * from "./_schemas/graph.js";
 export * from "./_schemas/hook-manifest.js";

package/dist/index.js

@@ -2,6 +2,7 @@
 // 正はここ（npm 公開）で、@mawaru/common（private）が re-export して
 // backend / frontend が使う。CLI（typegen / validate）の実装は export しない
 export * from "./_schemas/ai-manifest.js";
+export * from "./_schemas/duplicate-selection.js";
 export * from "./_schemas/extract-component.js";
 export * from "./_schemas/graph.js";
 export * from "./_schemas/hook-manifest.js";

package/dist/init.js

@@ -1,7 +1,7 @@
 import { existsSync, mkdirSync, readdirSync, readFileSync, writeFileSync, } from "node:fs";
 import { dirname, join } from "node:path";
 import { fileURLToPath } from "node:url";
-// このファイルは dev では src/sdk/init.ts・配布物では dist/init.js に居る。
+// このファイルは dev では src/packages/sdk/init.ts・配布物では dist/init.js に居る。
 // templates/ 等は package root 直下なので、package.json まで遡って解決する
 const packageRoot = () => {
     let dir = dirname(fileURLToPath(import.meta.url));

package/index.ts

@@ -2,6 +2,7 @@
 // 正はここ（npm 公開）で、@mawaru/common（private）が re-export して
 // backend / frontend が使う。CLI（typegen / validate）の実装は export しない
 export * from "./_schemas/ai-manifest.js"
+export * from "./_schemas/duplicate-selection.js"
 export * from "./_schemas/extract-component.js"
 export * from "./_schemas/graph.js"
 export * from "./_schemas/hook-manifest.js"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mawaru/sdk",
-  "version": "0.9.0",
+  "version": "0.13.0",
   "description": "mawaru 実行 repo の開発 SDK。契約スキーマ（config.json 規約・ループ graph API）の正 ＋ typegen / validate CLI",
   "type": "module",
   "bin": {
@@ -36,6 +36,7 @@
     "build": "tsc -p tsconfig.build.json",
     "typecheck": "tsc --noEmit",
     "test": "vitest run",
-    "test:watch": "vitest"
+    "test:watch": "vitest",
+    "release": "sh -c 'pnpm typecheck && pnpm test && npm version --no-git-tag-version ${1:-minor} && pnpm publish --access public --no-git-checks' release"
   }
 }

package/skills/create-loop/SKILL.md

@@ -14,19 +14,33 @@ repo ルートの `.env` に以下の4変数が揃っているか確認する。
 セットアップまで面倒を見る**（ユーザーに手作業のセットアップを求めない）：
 
 1. `.gitignore` に `.env` が入っていることを確認する。無ければ追加する（API キーをコミットさせない）。
-2. `.env` を作成・追記する：
+2. `.env` を作成・追記する。**足りない変数は推測で埋めず、その場でユーザーに聞く**（下の
+   「環境変数が足りないとき」の原則に従う）：
    - `MAWARU_API_URL` — API のベース URL（例: `https://api.mawaru.ai`。ローカル開発は `http://localhost:9000`）
    - `MAWARU_APP_URL` — フロントの URL（例: `https://app.mawaru.ai`。ローカル開発は `http://localhost:3000`）
    - `MAWARU_TENANT_ID` — tenant の ID
    - `MAWARU_API_KEY` — tenant の API キー
-   接続先が本番かローカルかはユーザーに確認する。API キーは mawaru のテナント設定画面
-   （`{MAWARU_APP_URL}/settings` の「API キー」。admin のみ）で発行・コピーできるので、
-   ユーザーに案内して値を入力してもらう。**キーの値をチャット・ログ・コミットに出さない。**
+   接続先が本番かローカルかはユーザーに確認する（URL 2つはこれで決まる）。API キーは mawaru の
+   テナント設定画面（`{MAWARU_APP_URL}/settings` の「API キー」。admin のみ）で発行・コピーできるので、
+   発行手順を案内したうえで `.env` に入れてもらう。**キーの値をチャット・ログ・コミットに出さない。**
 3. 疎通確認：`GET {MAWARU_API_URL}/tenants/{MAWARU_TENANT_ID}/loops` が 200 を返せば完了。
    401 なら API キー、404 なら tenant ID を疑う。
 
 認証は全リクエスト共通でヘッダ `x-api-key: $MAWARU_API_KEY`。
 
+## 環境変数が足りないとき（全体の原則）
+
+このスキルの `.env` でも、ノードの `env` 宣言（program / ai の handler・setup.sh・prompt が使う
+secret）でも、**足りない値を推測・生成・空文字で代用しない。作業を止めてユーザーに対話的に聞く。**
+
+- 足りないものは**まとめて1回で聞く**：変数名・何に使う値か・どこで取れるか（画面・発行手順）・
+  形式の例を添える。答えを待ってから作業を再開する（タイムアウトを承認扱いにしない）。
+- **秘密の値はチャットに書かせない・出力しない**。`.env` へはユーザー自身の手で追記してもらう
+  （例: `echo 'MAWARU_API_KEY=xxxx' >> .env` を実行してもらう）。ノードの `env` 宣言分は
+  実行 repo の Settings → Secrets and variables → Actions に登録してもらい、こちらは**名前だけ**扱う。
+- 受け取ったら「効いていること」まで確かめてから次へ進む（`.env` なら疎通確認、
+  Actions secrets なら名前が config.json の `env` と一致していること）。
+
 ## 契約の読み方（最重要）
 
 **API のボディ形をこの文書は説明しない。正はこのパッケージ内の Zod スキーマなので、必ずソースを読むこと**：
@@ -62,6 +76,7 @@ repo との矛盾・使用中ノードの削除は 409。**graph PUT は冪等
 1. **設計**：要件から必要なノード（program / ai / human / wait）と流れを決め、ユーザーに一言で確認する。
 2. **repo 側の準備**：足りない program / ai は `nodes/program/<dir>/` / `nodes/ai/<dir>/` に作る
    （config.json → `npx mawaru typegen` → main.ts 実装 → `npx mawaru validate`）。
+   **AI ノードの決定論的な処理は prompt ではなく `setup.sh` に書く**（下記）。
    **作った・変えたものは GitHub へ push してから次へ進む**（mawaru は repo を GitHub 経由で
    読むため、未 push だと graph 保存の検証・書き戻しと食い違って 409 になる）。
 3. **ループ作成**：`POST loops`。
@@ -78,6 +93,35 @@ repo との矛盾・使用中ノードの削除は 409。**graph PUT は冪等
 6. **報告**：エディタ URL `{MAWARU_APP_URL}/loops/{loopId}/edit` をユーザーに渡し、
    見た目の確認と run はユーザーに委ねる。
 
+## AI ノード：決定論的な処理は prompt でなく setup.sh に書く
+
+やることが決まっている準備＝**外部 repo の clone / skill の持ち込み / 認証キーのファイル化 /
+ツールの用意**は、prompt で AI にやらせず `nodes/ai/<dir>/setup.sh` に書く。prompt には
+「どこに何が置いてあるか」と、そこから先の判断だけを書く。
+
+理由：LLM にやらせるとトークンを食い flaky で、失敗が「セットアップの失敗」として明瞭に出ない。
+skill の配置は Claude Code 起動前に完了している必要もある。
+
+規約（実行 repo 側。config.json への宣言は不要、ファイルの存在が正）：
+
+```bash
+# nodes/ai/<dir>/setup.sh
+set -euo pipefail
+git clone --depth 1 "https://x-access-token:${SOME_REPO_TOKEN}@github.com/owner/repo.git" workspace/repo
+cp -r workspace/repo/.claude/skills/some-skill skills/   # copySkills の前に走るので自動発見に乗る
+printf '%s' "$SOME_SA_KEY" > workspace/key.json
+```
+
+- 実行順は `env 注入 → input.json 書き出し → setup.sh → copySkills → 本体（Claude Code）`。
+  `bash nodes/ai/<dir>/setup.sh "$INPUT_JSON"`（実行ビット不要）、cwd は checkout ルート。
+- **入力は `$1`（JSON 文字列）か `input.json`** で参照できる（`jq` はランナー同梱）。
+- **環境変数は config.json の `env` 宣言分だけ**が注入される。必要な secret は `env` に宣言し、
+  実行 repo の Actions secrets に登録してもらう（→「環境変数が足りないとき」）。
+- **受け渡しはファイルで**。別プロセスなので `export` は本体に引き継がれない。clone 先・キーは
+  ワークスペース内の既知パス（`workspace/` 配下を推奨）に置き、prompt / skill はそのパスを参照する。
+- **非 0 exit は step failed**（本体は実行されない）。`set -euo pipefail` を付ける。
+- program ノードにも同じ規約が効く（`nodes/program/<dir>/setup.sh`）。
+
 ## 注意
 
 - **graph PUT は全量置換**。既存ループを更新するときは、必ず先に `GET loops/{loopId}` で