@mawaru/sdk 0.39.0 → 0.40.0

package/_schemas/graph.test.ts

@@ -174,20 +174,26 @@ describe("humanConfigSchema", () => {
     ).toThrow(/担当/)
   })
 
-  // 承認ビューは不透明なキー（program_dir / ai_dir と同じ）。実在するか・そのテナントが
-  // 選べるかは mawaru 側のカタログ（非公開）と保存 API が見るので、ここは形だけ
-  it("承認ビューを受け付ける", () => {
+  // 実装は nodes/human/ 直下のディレクトリ名（program_dir / ai_dir と同じ）。repo にあるかは保存 API が見る
+  it("実装（human_dir・ref）を受け付ける", () => {
     const parsed = humanConfigSchema.parse({
       assignment: { units: [[uuid()]] },
-      view: "acme/invoice",
+      human_dir: "invoice-review",
+      ref: "try-view",
     })
-    expect(parsed.view).toBe("acme/invoice")
+    expect(parsed.human_dir).toBe("invoice-review")
+    expect(parsed.ref).toBe("try-view")
   })
 
-  it("空のビューキーは拒否する", () => {
-    expect(() =>
-      humanConfigSchema.parse({ assignment: { units: [[uuid()]] }, view: "" }),
-    ).toThrow()
+  it("空・パスの human_dir は拒否する", () => {
+    for (const human_dir of ["", "a/b", "..", "a\\b"]) {
+      expect(() =>
+        humanConfigSchema.parse({
+          assignment: { units: [[uuid()]] },
+          human_dir,
+        }),
+      ).toThrow()
+    }
   })
 
   it("fixed：1ユニット（複数人の and/or）を受け付ける", () => {

package/_schemas/graph.ts

@@ -1,4 +1,5 @@
 import { z } from "zod"
+import { humanDeclarationSchema } from "./human-manifest.js"
 import {
   graphPortSchema,
   jsonSchemaSchema,
@@ -156,10 +157,23 @@ export type AssignMember = z.infer<typeof assignMemberSchema>
 // メンバーが 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(),
+  // 実装（承認画面と入出力の宣言）の置き場所：実行 repo の nodes/human/ 直下のディレクトリ名。
+  // program_dir / ai_dir と同じ。省略時は mawaru 内蔵の標準の承認画面
+  // （docs/tasks/wip/承認ビューの顧客repo配置.md の「human ノードの実装として置く」）
+  human_dir: z
+    .string()
+    .min(1)
+    .refine(
+      (v) => !v.includes("/") && !v.includes("\\") && v !== "." && v !== "..",
+      "human_dir は nodes/human/ 直下のディレクトリ名で指定してください",
+    )
+    .optional(),
+  // 読むブランチ（省略時はデフォルトブランチ）。publish でその先頭の commit に固定する
+  ref: z.string().min(1).optional(),
+  // 宣言の写し（in / approve / reject の型）。伝播はこれを読む。human_dir を選んだときに
+  // 一覧 API（GET /tenants/:id/github/humans）の宣言を入れる。省略すると保存時に mawaru が repo の
+  // config.json から読む（下書きに同じ human_dir の同じノードがあればその写しを保つ）
+  declaration: humanDeclarationSchema.optional(),
   assignment: z
     .object({
       strategy: z.enum(["fixed", "round_robin"]).default("fixed"),
@@ -293,8 +307,8 @@ export const graphNodeSchema = z.object({
   // 表示アイコン（全 kind 共通の任意設定。human はフロントが担当から導出するので通常設定しない）
   icon: nodeIconSchema.optional(),
   // Slack ビュー（全 kind 共通の任意設定。実行中（human は承認待ち）・完了メッセージの見せ方）。
-  // human の view と同じ「不透明なキー」で、選べる key は GET slack-views が返す。
-  // <slug>/<name> は実行 repo の views/slack/<name>/（@mawaru/sdk/slack-view の契約で書く）。
+  // human の view と同じ「不透明なキー」で、選べる key は GET views/slack が返す。
+  // <slug>/<name> は実行 repo の views/slack/<name>/（@mawaru/sdk/views/slack の契約で書く）。
   // 保存時に mawaru が見るのは common/* の実在と <slug>/* の可視性だけ。
   // 省略＝承認待ちは承認ボタンだけ・完了は ✅ の1行（データは出さない）。
   // ポートの型には一切影響しない

package/_schemas/human-manifest.test.ts

@@ -0,0 +1,129 @@
+import { describe, expect, it } from "vitest"
+import {
+  humanDeclarationOfManifest,
+  humanDeclarationSchema,
+  humanManifestSchema,
+  STANDARD_HUMAN_DECLARATION,
+} from "./human-manifest.js"
+import { fileSchema, instructionSchema } from "./port-spec.js"
+
+const pr = {
+  type: "object",
+  properties: {
+    title: { type: "string", description: "PR のタイトル" },
+    gifs: { type: "array", items: fileSchema() },
+    count: { type: "integer" },
+  },
+  required: ["title"],
+}
+
+const issuesOf = (value: unknown) => {
+  const parsed = humanDeclarationSchema.safeParse(value)
+  return parsed.success
+    ? []
+    : parsed.error.issues.map((i) => `${i.path.join(".")}: ${i.message}`)
+}
+
+describe("humanDeclarationSchema（宣言の検査）", () => {
+  it("標準ビューの宣言と具体型の宣言を通す", () => {
+    expect(issuesOf(STANDARD_HUMAN_DECLARATION)).toEqual([])
+    expect(
+      issuesOf({ in: pr, approve: pr, reject: instructionSchema() }),
+    ).toEqual([])
+    // 未宣言（{}）も宣言の1つ（スキーマ未定義）
+    expect(issuesOf({ in: {}, approve: "T", reject: {} })).toEqual([])
+  })
+
+  it("type の配列（nullable）は場所つきで弾く", () => {
+    expect(
+      issuesOf({
+        in: {
+          type: "object",
+          properties: { summary: { type: ["string", "null"] } },
+        },
+        approve: "T",
+        reject: instructionSchema(),
+      }),
+    ).toEqual([
+      "in.properties.summary.type: 配列（nullable）は使えません。任意の値は required から外してください",
+    ])
+  })
+
+  it("知らない type・形の崩れた properties / required / items を弾く", () => {
+    expect(
+      issuesOf({
+        in: { type: "strin" },
+        approve: { type: "object", properties: [] },
+        reject: {
+          type: "object",
+          required: [1],
+          properties: { list: { type: "array", items: "x" } },
+        },
+      }),
+    ).toEqual([
+      "in.type: type は object / array / string / number / integer / boolean のどれかにしてください（strin）",
+      "approve.properties: properties はオブジェクトで書いてください",
+      "reject.properties.list.items: items はスキーマ（オブジェクト）で書いてください",
+      "reject.required: required は文字列の配列で書いてください",
+    ])
+  })
+
+  it("type の無い構造（properties / items だけ）を弾く", () => {
+    expect(
+      issuesOf({
+        in: { properties: { a: { type: "string" } } },
+        approve: "T",
+        reject: instructionSchema(),
+      }),
+    ).toEqual([
+      "in.type: properties / items を書くときは type も書いてください",
+    ])
+  })
+
+  it('reject は上流のコピー（"T"）にできない', () => {
+    expect(issuesOf({ in: "T", approve: "T", reject: "T" })).not.toEqual([])
+  })
+})
+
+describe("humanManifestSchema（nodes/human/<dir>/config.json）", () => {
+  it("省略した口は上流のコピー（in）・in と同型（approve）・標準の差し戻し（reject）になる", () => {
+    const config = humanManifestSchema.parse({})
+    expect(humanDeclarationOfManifest(config)).toEqual(
+      STANDARD_HUMAN_DECLARATION,
+    )
+  })
+
+  it("書いた口の型をそのまま宣言にする", () => {
+    const config = humanManifestSchema.parse({
+      inputs: { in: { schema: pr } },
+      outputs: { approve: { type: "array", items: pr }, reject: pr },
+    })
+    expect(humanDeclarationOfManifest(config)).toEqual({
+      in: pr,
+      approve: { type: "array", items: pr },
+      reject: pr,
+    })
+  })
+
+  it("in / approve / reject 以外の口・知らないキーは弾く", () => {
+    expect(
+      humanManifestSchema.safeParse({ inputs: { instruction: {} } }).success,
+    ).toBe(false)
+    expect(
+      humanManifestSchema.safeParse({ outputs: { notion: {} } }).success,
+    ).toBe(false)
+    expect(humanManifestSchema.safeParse({ name: "x" }).success).toBe(false)
+  })
+
+  it("中の型も宣言の検査を通す", () => {
+    const parsed = humanManifestSchema.safeParse({
+      inputs: { in: { schema: { type: ["string", "null"] } } },
+    })
+    expect(parsed.success).toBe(false)
+    expect(
+      parsed.error?.issues.map((i) => `${i.path.join(".")}: ${i.message}`),
+    ).toEqual([
+      "inputs.in.schema.type: 配列（nullable）は使えません。任意の値は required から外してください",
+    ])
+  })
+})

package/_schemas/human-manifest.ts

@@ -0,0 +1,158 @@
+import { z } from "zod"
+import { type JsonSchema, jsonSchemaSchema } from "./node.js"
+import {
+  COPY_UPSTREAM_SCHEMA,
+  type DeclaredPortSchema,
+  instructionSchema,
+} from "./port-spec.js"
+
+// ---- human ノードの宣言（in / approve / reject の型） ----
+// 正は実装を持つ側（顧客 repo の nodes/human/<dir>/config.json。実装を指さないノードは標準の宣言）。
+// human ノードは実装を選んだ時点の写し（node_humans.declaration）を持ち、伝播はそれを読む
+// （docs/tasks/wip/承認ビューの顧客repo配置.md の「宣言（ポート型）」）。
+// "T"（COPY_UPSTREAM_SCHEMA）は「上流の out をそのまま受ける」（in）／「in と同型」（approve）。
+// reject は具体型だけ（上流のコピーは意味を持たない）
+
+export type HumanDeclaration = {
+  in: DeclaredPortSchema
+  approve: DeclaredPortSchema
+  reject: JsonSchema
+}
+
+// 宣言に書ける type。file は x-mawaru-type マーカー付きの object
+const DECLARED_TYPES = [
+  "object",
+  "array",
+  "string",
+  "number",
+  "integer",
+  "boolean",
+] as const
+
+const isPlainObject = (value: unknown): value is Record<string, unknown> =>
+  typeof value === "object" && value !== null && !Array.isArray(value)
+
+// JSON Schema の形の崩れを場所つきで返す。接続の比較（schemaFit）が扱える形だけを通す：
+// 顧客 repo の宣言は mawaru のレビューを通らないので、壊れた型がノードに写る前に止める
+const schemaIssues = (
+  schema: Record<string, unknown>,
+  path: (string | number)[],
+): { path: (string | number)[]; message: string }[] => {
+  const issues: { path: (string | number)[]; message: string }[] = []
+  const { type, properties, required, items } = schema
+  if (Array.isArray(type)) {
+    issues.push({
+      path: [...path, "type"],
+      message:
+        "配列（nullable）は使えません。任意の値は required から外してください",
+    })
+  } else if (
+    type !== undefined &&
+    !DECLARED_TYPES.includes(type as (typeof DECLARED_TYPES)[number])
+  ) {
+    issues.push({
+      path: [...path, "type"],
+      message: `type は ${DECLARED_TYPES.join(" / ")} のどれかにしてください（${String(type)}）`,
+    })
+  } else if (
+    type === undefined &&
+    (properties !== undefined || items !== undefined)
+  ) {
+    issues.push({
+      path: [...path, "type"],
+      message: "properties / items を書くときは type も書いてください",
+    })
+  }
+  if (properties !== undefined) {
+    if (!isPlainObject(properties)) {
+      issues.push({
+        path: [...path, "properties"],
+        message: "properties はオブジェクトで書いてください",
+      })
+    } else {
+      for (const [key, child] of Object.entries(properties)) {
+        if (!isPlainObject(child)) {
+          issues.push({
+            path: [...path, "properties", key],
+            message: "スキーマはオブジェクトで書いてください",
+          })
+          continue
+        }
+        issues.push(...schemaIssues(child, [...path, "properties", key]))
+      }
+    }
+  }
+  if (
+    required !== undefined &&
+    !(Array.isArray(required) && required.every((r) => typeof r === "string"))
+  ) {
+    issues.push({
+      path: [...path, "required"],
+      message: "required は文字列の配列で書いてください",
+    })
+  }
+  if (items !== undefined) {
+    if (!isPlainObject(items)) {
+      issues.push({
+        path: [...path, "items"],
+        message: "items はスキーマ（オブジェクト）で書いてください",
+      })
+    } else {
+      issues.push(...schemaIssues(items, [...path, "items"]))
+    }
+  }
+  return issues
+}
+
+// 宣言に書く1つの型（検査つき）
+const checkedSchema = jsonSchemaSchema.superRefine((schema, ctx) => {
+  for (const issue of schemaIssues(schema, []))
+    ctx.addIssue({ code: "custom", ...issue })
+})
+
+const declaredPortSchema = z.union([
+  z.literal(COPY_UPSTREAM_SCHEMA),
+  checkedSchema,
+])
+
+export const humanDeclarationSchema = z.object({
+  in: declaredPortSchema,
+  approve: declaredPortSchema,
+  reject: checkedSchema,
+}) satisfies z.ZodType<HumanDeclaration>
+
+// 標準ビュー（common/standard）の宣言：上流の型をそのまま受けて出し、差し戻しは標準の指示フォーム
+export const STANDARD_HUMAN_DECLARATION: HumanDeclaration = {
+  in: COPY_UPSTREAM_SCHEMA,
+  approve: COPY_UPSTREAM_SCHEMA,
+  reject: instructionSchema(),
+}
+
+// ---- 顧客 repo の nodes/human/<dir>/config.json ----
+// 形は AI の config.json に揃える（inputs の値は { schema }、outputs の値は素の JSON Schema）。
+// 口は in / approve / reject 固定。省略した口は STANDARD_HUMAN_DECLARATION と同じ扱い
+export const humanManifestSchema = z
+  .object({
+    inputs: z
+      .object({ in: z.object({ schema: checkedSchema }).strict().optional() })
+      .strict()
+      .optional(),
+    outputs: z
+      .object({
+        approve: checkedSchema.optional(),
+        reject: checkedSchema.optional(),
+      })
+      .strict()
+      .optional(),
+  })
+  .strict()
+
+export type HumanManifest = z.infer<typeof humanManifestSchema>
+
+export const humanDeclarationOfManifest = (
+  config: HumanManifest,
+): HumanDeclaration => ({
+  in: config.inputs?.in?.schema ?? COPY_UPSTREAM_SCHEMA,
+  approve: config.outputs?.approve ?? COPY_UPSTREAM_SCHEMA,
+  reject: config.outputs?.reject ?? instructionSchema(),
+})

package/_schemas/port-spec.test.ts

@@ -1,4 +1,5 @@
 import { describe, expect, it } from "vitest"
+import type { HumanDeclaration } from "./human-manifest.js"
 import type { GraphPort, JsonSchema } from "./node.js"
 import {
   arrayOf,
@@ -153,6 +154,15 @@ describe("kindPortsViolation（kind 別ポート構成）", () => {
   })
 })
 
+// human ノードに実装の宣言の写し（node_humans.declaration）を持たせる
+const withViewDeclaration = <N extends { kind: string }>(
+  nodes: N[],
+  declaration: HumanDeclaration,
+) =>
+  nodes.map((node) =>
+    node.kind === "human" ? { ...node, human: { declaration } } : node,
+  )
+
 describe("型伝播（導出ポートの解決）", () => {
   it.each([
     "notion_task",
@@ -173,13 +183,14 @@ describe("型伝播（導出ポートの解決）", () => {
         extra,
       ],
     }
-    const resolved = resolvePortSchemas([human], [], {
-      viewPortSchemasOf: () => ({
+    const resolved = resolvePortSchemas(
+      withViewDeclaration([human], {
         in: { type: "string" },
         approve: { type: "string" },
         reject: { type: "string" },
       }),
-    })
+      [],
+    )
     expect(resolved.get(extra.id)).toEqual(extra.schema)
   })
 
@@ -191,7 +202,7 @@ describe("型伝播（導出ポートの解決）", () => {
   }
 
   // human の in / approve / reject はビューの宣言をそのまま転写する（上流の kind は見ない）。
-  // sdk はカタログを知らないので、呼び出し元が viewPortSchemasOf で解決して渡す
+  // 宣言はノードの写し（declaration）を読む（sdk はカタログを知らない）
   // → docs/tasks/done/ポート型固定の撤去とセッション再開のポート属性化.md
   it("ai → human 直結（コピー宣言）：in も approve も上流の out と同型、reject はビューの宣言型", () => {
     const aiOut = port("out", "main", declaredOut)
@@ -209,15 +220,12 @@ describe("型伝播（導出ポートの解決）", () => {
       ports: [humanIn, approve, reject],
     }
     const resolved = resolvePortSchemas(
-      [ai, human],
+      withViewDeclaration([ai, human], {
+        in: "T",
+        approve: "T",
+        reject: instructionSchema(),
+      }),
       [{ from_port_id: aiOut.id, to_port_id: humanIn.id }],
-      {
-        viewPortSchemasOf: () => ({
-          in: "T",
-          approve: "T",
-          reject: instructionSchema(),
-        }),
-      },
     )
     // 上流が AI でも中身を取り出さない：AI の出力形式がそのまま下流へ流れる
     expect(resolved.get(humanIn.id)).toEqual(declaredOut)
@@ -225,7 +233,7 @@ describe("型伝播（導出ポートの解決）", () => {
     expect(resolved.get(reject.id)).toEqual(instructionSchema())
   })
 
-  describe("承認ビューの宣言を human のポートへ転写する", () => {
+  describe("実装の宣言を human のポートへ転写する", () => {
     const viewIn = {
       type: "object",
       properties: {
@@ -274,15 +282,12 @@ describe("型伝播（導出ポートの解決）", () => {
           declaredOut,
         )
         const resolved = resolvePortSchemas(
-          [upstream, human],
+          withViewDeclaration([upstream, human], {
+            in: viewIn,
+            approve: viewOut,
+            reject: viewReject,
+          }),
           [{ from_port_id: out.id, to_port_id: humanIn.id }],
-          {
-            viewPortSchemasOf: () => ({
-              in: viewIn,
-              approve: viewOut,
-              reject: viewReject,
-            }),
-          },
         )
         expect(resolved.get(humanIn.id)).toEqual(viewIn)
         expect(resolved.get(approve.id)).toEqual(viewOut)
@@ -293,15 +298,12 @@ describe("型伝播（導出ポートの解決）", () => {
     it("上流の out は書き換えない（逆伝播しない）", () => {
       const { upstream, human, out, humanIn } = build("ai", declaredOut)
       const resolved = resolvePortSchemas(
-        [upstream, human],
+        withViewDeclaration([upstream, human], {
+          in: viewIn,
+          approve: viewOut,
+          reject: viewReject,
+        }),
         [{ from_port_id: out.id, to_port_id: humanIn.id }],
-        {
-          viewPortSchemasOf: () => ({
-            in: viewIn,
-            approve: viewOut,
-            reject: viewReject,
-          }),
-        },
       )
       expect(resolved.get(out.id)).toEqual(declaredOut)
     })
@@ -312,15 +314,12 @@ describe("型伝播（導出ポートの解決）", () => {
         declaredOut,
       )
       const resolved = resolvePortSchemas(
-        [upstream, human],
+        withViewDeclaration([upstream, human], {
+          in: "T",
+          approve: "T",
+          reject: viewReject,
+        }),
         [{ from_port_id: out.id, to_port_id: humanIn.id }],
-        {
-          viewPortSchemasOf: () => ({
-            in: "T",
-            approve: "T",
-            reject: viewReject,
-          }),
-        },
       )
       expect(resolved.get(humanIn.id)).toEqual(declaredOut)
       expect(resolved.get(approve.id)).toEqual(declaredOut)
@@ -335,13 +334,14 @@ describe("型伝播（導出ポートの解決）", () => {
         kind: "human",
         ports: [humanIn, approve, reject],
       }
-      const resolved = resolvePortSchemas([human], [], {
-        viewPortSchemasOf: () => ({
+      const resolved = resolvePortSchemas(
+        withViewDeclaration([human], {
           in: viewIn,
           approve: viewOut,
           reject: viewReject,
         }),
-      })
+        [],
+      )
       expect(resolved.get(humanIn.id)).toEqual(viewIn)
       expect(resolved.get(approve.id)).toEqual(viewOut)
       expect(resolved.get(reject.id)).toEqual(viewReject)

package/_schemas/port-spec.ts

@@ -1,8 +1,9 @@
 import { z } from "zod"
+import type { HumanDeclaration } from "./human-manifest.js"
 import type { GraphPort, JsonSchema, PortIo } from "./node.js"
 
 // ポートの 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）
@@ -265,7 +266,7 @@ export const kindPortsViolation = (
 // ---- 型伝播（導出ポートの解決） ----
 // 接続の両端は同じスキーマになる（値入力フォームのSchemaForm統一.md）。
 // wait は素通し（パラメトリック）ノード：in は接続元の out、out は in と同型。
-// human はビューの宣言を転写（"T" は素通しと同じ挙動。reject もビューの宣言）。
+// human は実装（nodes/human/）の宣言を転写（"T" は素通しと同じ挙動。reject もビューの宣言）。
 // 宣言 out（program / ai）は触らない。
 // program / ai の in は**全ての口が**接続鏡映（sticky）：接続元 out が具体型のときだけ
 // 上書きし、未接続・型割れ・未宣言は現スキーマ（宣言）を維持する（鏡映結果は repo の
@@ -328,6 +329,9 @@ type PropagationNode = {
   id: string
   kind: string
   ports: GraphPort[]
+  // human のときだけ意味を持つ：実装（nodes/human/<dir>/）の宣言の写し（node_humans.declaration）。
+  // 無ければ in・approve は上流のコピー、reject は触らない
+  human?: { declaration?: HumanDeclaration } | null
 }
 type PortLink = { from_port_id: string; to_port_id: string }
 
@@ -338,23 +342,6 @@ export const COPY_UPSTREAM_SCHEMA = "T"
 // ポートの型宣言：具体型か、上流からのコピー指示か
 export type DeclaredPortSchema = JsonSchema | typeof COPY_UPSTREAM_SCHEMA
 
-// 伝播のオプション。sdk は承認ビューのカタログを知らない（非公開。企業向けビューの
-// キーが npm 公開物に載るのを避ける）ので、呼び出し元が解決して渡す
-// → docs/tasks/done/ポート型固定の撤去とセッション再開のポート属性化.md
-export type PropagationOptions<N> = {
-  // human の in / approve / reject に転写する型（承認ビューの宣言）。null / undefined
-  // ならその node は対象外（human 以外）。上流ノードの kind は一切見ない。
-  // reject は具体型のみ（上流からのコピー指示は意味を持たない）
-  viewPortSchemasOf?: (node: N) =>
-    | {
-        in: DeclaredPortSchema
-        approve: DeclaredPortSchema
-        reject: JsonSchema
-      }
-    | null
-    | undefined
-}
-
 // end も導出ノード（各 in は上流から、out main は未宣言）。個別処理は
 // resolvePortSchemas 内で行うが、初期スキーマを未宣言にするためここに含める。
 // start も導出ノード：out main は接続先の in から逆向きに転写し、in は out と同型
@@ -380,7 +367,6 @@ const isDerivedPort = (kind: string, port: Pick<GraphPort, "io" | "key">) =>
 export const resolvePortSchemas = <N extends PropagationNode>(
   nodes: N[],
   connections: PortLink[],
-  options?: PropagationOptions<N>,
 ): Map<string, JsonSchema> => {
   const resolved = new Map<string, JsonSchema>()
   const kindByPortId = new Map<string, string>()
@@ -504,13 +490,14 @@ export const resolvePortSchemas = <N extends PropagationNode>(
       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
@@ -588,9 +575,8 @@ export const connectionAccepted = (
 export const propagateDerivedPorts = <N extends PropagationNode>(
   nodes: N[],
   connections: PortLink[],
-  options?: PropagationOptions<N>,
 ): N[] => {
-  const resolved = resolvePortSchemas(nodes, connections, options)
+  const resolved = resolvePortSchemas(nodes, connections)
   const flexiblePorts = resolveFlexiblePorts(nodes, connections)
   return nodes.map((node) => {
     let touched = false

package/dist/_cli/login.js

@@ -1,7 +1,7 @@
-import { spawn } from "node:child_process";
 import { randomUUID } from "node:crypto";
 import { createServer } from "node:http";
 import { saveCredentials } from "./credentials.js";
+import { openBrowser } from "./openBrowser.js";
 // `gh auth login` と同じループバック方式（RFC 8252）。
 // CLI が 127.0.0.1 の一時ポートで待ち受け、ブラウザで mawaru の /cli-auth を開く。
 // 承認するとブラウザがループバック URL へ**遷移**してトークンを渡す
@@ -11,20 +11,6 @@ const page = (title, message) => `<!doctype html><meta charset="utf-8"><title>${
     `<body style="font-family:system-ui;display:grid;place-items:center;height:100vh;margin:0">` +
     `<div style="text-align:center"><h1 style="font-size:1.25rem">${title}</h1>` +
     `<p style="color:#666">${message}</p></div></body>`;
-// ブラウザを開く（開けなければ URL を出して手で開いてもらう。依存は足さない）
-const openBrowser = (url) => {
-    const [command, args] = process.platform === "darwin"
-        ? ["open", [url]]
-        : process.platform === "win32"
-            ? ["cmd", ["/c", "start", "", url]]
-            : ["xdg-open", [url]];
-    try {
-        spawn(command, args, { stdio: "ignore", detached: true }).unref();
-    }
-    catch {
-        // 何もしない（URL は既に印字済み）
-    }
-};
 export const runLogin = async (timeoutMs = 5 * 60 * 1000) => {
     // 別のローカルプロセスが投げ込んだ応答を受け付けないための照合値
     const state = randomUUID();

package/dist/_cli/openBrowser.d.ts

@@ -0,0 +1 @@
+export declare const openBrowser: (url: string) => void;

package/dist/_cli/openBrowser.js

@@ -0,0 +1,15 @@
+import { spawn } from "node:child_process";
+// ブラウザを開く（開けなければ URL を出して手で開いてもらう。依存は足さない）
+export const openBrowser = (url) => {
+    const [command, args] = process.platform === "darwin"
+        ? ["open", [url]]
+        : process.platform === "win32"
+            ? ["cmd", ["/c", "start", "", url]]
+            : ["xdg-open", [url]];
+    try {
+        spawn(command, args, { stdio: "ignore", detached: true }).unref();
+    }
+    catch {
+        // 何もしない（URL は既に印字済み）
+    }
+};

package/dist/_cli/previewApi.d.ts

@@ -1,5 +1,5 @@
 import { type Credentials } from "./credentials.js";
-export type MawaruApi = (method: "GET" | "POST", path: string, body?: unknown) => Promise<{
+export type MawaruApi = (method: "GET" | "POST" | "PUT", path: string, body?: unknown) => Promise<{
     status: number;
     body: unknown;
 }>;