@quolu/lattice 0.35.0 → 0.36.1

package/docs/schemas/lattice.todo_revision_set.v3.schema.json

@@ -0,0 +1,363 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/kitepon-rgb/Lattice/blob/main/docs/schemas/lattice.todo_revision_set.v3.schema.json",
+  "title": "lattice.todo_revision_set.v3",
+  "description": "`lattice todo revise-set`が受理する最新契約。複数planへ跨がるrevisionを1つのatomic書込みへ束ねる。v3のmemberは`lattice.todo_revision.v1/v2`（非phase plan）と`lattice.phase_todo_revision.v1/v2`（phase-audited plan）のいずれかであり、`lattice.phase_todo_revision.v3`はmemberとして受理されない——v3固有のruntime_task_migration/source_cutover_batchはrevise-setの外で単独revise-phaseとして扱う契約になっている。",
+  "$comment": "Runtime validation (src/todo-revision.mjs validateTodoRevisionSet) additionally enforces: canonical JSON+LF bytes; revisions.length in [2, 64]; each member's own digest chain (validateTodoRevision / validatePhaseTodoRevision); every member.project_id === project_id; v3はrevisions内に最低1つphase_todo_revision memberを含む必要がある; revisionsが厳密にplan_key昇順でソートされている（重複plan_key禁止）; revision_set_digestは他の全top-level fieldへの正準self-digest。",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema", "project_id", "revisions", "revision_set_digest"],
+  "properties": {
+    "schema": { "const": "lattice.todo_revision_set.v3" },
+    "project_id": { "$ref": "#/$defs/identifier" },
+    "revisions": {
+      "type": "array", "minItems": 2, "maxItems": 64,
+      "items": {
+        "oneOf": [
+          { "$ref": "#/$defs/todoRevisionMember" },
+          { "$ref": "#/$defs/phaseTodoRevisionMember" }
+        ]
+      }
+    },
+    "revision_set_digest": { "$ref": "#/$defs/digest" }
+  },
+  "$defs": {
+    "identifier": { "type": "string", "pattern": "^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$" },
+    "digest": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+    "nullableDigest": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/digest" }] },
+    "gitSha": { "type": "string", "pattern": "^[0-9a-f]{40}$" },
+    "repoRef": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 1024,
+      "pattern": "^(?!/)(?!.*(?:^|/)\\.{1,2}(?:/|$))(?!.*\\\\)(?!.*[\\u0000-\\u001f\\u007f])[^/]+(?:/[^/]+)*$"
+    },
+    "sourceLineRef": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 1024,
+      "pattern": "^(?!/)(?!.*(?:^|/)\\.{1,2}(?:/|$))(?!.*\\\\)(?!.*[\\u0000-\\u001f\\u007f])[^/]+(?:/[^/]+)*#L[1-9][0-9]*$"
+    },
+    "nullableRepoRef": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/repoRef" }] },
+    "text": { "type": "string", "minLength": 1, "maxLength": 16384 },
+    "nullableText": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/text" }] },
+    "nodeRef": {
+      "type": "object", "additionalProperties": false,
+      "required": ["project_id", "plan_key", "task_id"],
+      "properties": {
+        "project_id": { "$ref": "#/$defs/identifier" },
+        "plan_key": { "$ref": "#/$defs/identifier" },
+        "task_id": { "$ref": "#/$defs/identifier" },
+        "expected_topology_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "phaseRef": {
+      "type": "object", "additionalProperties": false,
+      "required": ["project_id", "plan_key", "phase_id"],
+      "properties": {
+        "project_id": { "$ref": "#/$defs/identifier" },
+        "plan_key": { "$ref": "#/$defs/identifier" },
+        "phase_id": { "$ref": "#/$defs/identifier" },
+        "expected_topology_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "edge": {
+      "type": "object", "additionalProperties": false, "required": ["from", "to"],
+      "properties": { "from": { "$ref": "#/$defs/nodeRef" }, "to": { "$ref": "#/$defs/nodeRef" } }
+    },
+    "phaseAcceptDependency": {
+      "type": "object", "additionalProperties": false, "required": ["from", "to"],
+      "properties": { "from": { "$ref": "#/$defs/phaseRef" }, "to": { "$ref": "#/$defs/nodeRef" } }
+    },
+    "join": {
+      "type": "object", "additionalProperties": false, "required": ["id", "after", "before"],
+      "properties": {
+        "id": { "$ref": "#/$defs/identifier" },
+        "after": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/nodeRef" } },
+        "before": { "$ref": "#/$defs/nodeRef" }
+      }
+    },
+    "narrativeAnchor": {
+      "type": "object", "additionalProperties": false,
+      "required": ["origin_plan_ref", "origin_line", "source_commit", "source_line_digest"],
+      "properties": {
+        "origin_plan_ref": { "$ref": "#/$defs/repoRef" },
+        "origin_line": { "type": "integer", "minimum": 1 },
+        "source_commit": { "type": "string", "pattern": "^(?:[0-9a-f]{40}|[0-9a-f]{64})$" },
+        "source_line_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "compileBinding": {
+      "oneOf": [
+        { "type": "null" },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["boundary_manifest_digest", "compiled_plan_digest", "topology_digest", "base_sha"],
+          "properties": {
+            "boundary_manifest_digest": { "$ref": "#/$defs/digest" },
+            "compiled_plan_digest": { "$ref": "#/$defs/digest" },
+            "topology_digest": { "$ref": "#/$defs/digest" },
+            "base_sha": { "$ref": "#/$defs/gitSha" }
+          }
+        }
+      ]
+    },
+    "predecessor": {
+      "type": "object", "additionalProperties": false,
+      "required": ["plan_digest", "journal_head_digest", "plan_version"],
+      "properties": {
+        "plan_digest": { "$ref": "#/$defs/digest" },
+        "journal_head_digest": { "$ref": "#/$defs/digest" },
+        "plan_version": { "$ref": "#/$defs/identifier" }
+      }
+    },
+    "taskV3": {
+      "type": "object", "additionalProperties": false,
+      "required": [
+        "task_id", "title", "lane", "narrative_ref", "narrative_anchor", "compile_binding", "parent_task_id"
+      ],
+      "properties": {
+        "task_id": { "$ref": "#/$defs/identifier" },
+        "title": { "$ref": "#/$defs/nullableText" },
+        "lane": { "$ref": "#/$defs/identifier" },
+        "narrative_ref": { "$ref": "#/$defs/nullableRepoRef" },
+        "narrative_anchor": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/narrativeAnchor" }] },
+        "compile_binding": { "$ref": "#/$defs/compileBinding" },
+        "parent_task_id": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/identifier" }] }
+      }
+    },
+    "taskV4": {
+      "type": "object", "additionalProperties": false,
+      "required": [
+        "task_id", "title", "lane", "narrative_ref", "narrative_anchor", "compile_binding",
+        "parent_task_id", "phase_id"
+      ],
+      "properties": {
+        "task_id": { "$ref": "#/$defs/identifier" },
+        "title": { "$ref": "#/$defs/nullableText" },
+        "lane": { "$ref": "#/$defs/identifier" },
+        "narrative_ref": { "$ref": "#/$defs/nullableRepoRef" },
+        "narrative_anchor": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/narrativeAnchor" }] },
+        "compile_binding": { "$ref": "#/$defs/compileBinding" },
+        "parent_task_id": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/identifier" }] },
+        "phase_id": { "$ref": "#/$defs/identifier" }
+      }
+    },
+    "phase": {
+      "type": "object", "additionalProperties": false,
+      "required": ["phase_id", "title", "gate_policy", "predecessor_phase_ids", "required_evidence_slots"],
+      "properties": {
+        "phase_id": { "$ref": "#/$defs/identifier" },
+        "title": { "$ref": "#/$defs/nullableText" },
+        "gate_policy": { "$ref": "#/$defs/identifier" },
+        "predecessor_phase_ids": {
+          "type": "array", "items": { "$ref": "#/$defs/identifier" }, "uniqueItems": true
+        },
+        "required_evidence_slots": {
+          "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/identifier" }, "uniqueItems": true
+        }
+      }
+    },
+    "desiredPlanV3": {
+      "type": "object", "additionalProperties": false,
+      "required": [
+        "schema", "project_id", "plan_key", "plan_version", "predecessor_plan_digest",
+        "tasks", "hard_dependencies", "joins", "topology_digest", "plan_digest"
+      ],
+      "properties": {
+        "schema": { "const": "lattice.todo_plan.v3" },
+        "project_id": { "$ref": "#/$defs/identifier" },
+        "plan_key": { "$ref": "#/$defs/identifier" },
+        "plan_version": { "$ref": "#/$defs/identifier" },
+        "predecessor_plan_digest": { "$ref": "#/$defs/nullableDigest" },
+        "tasks": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/taskV3" } },
+        "hard_dependencies": { "type": "array", "maxItems": 2048, "items": { "$ref": "#/$defs/edge" } },
+        "joins": { "type": "array", "maxItems": 128, "items": { "$ref": "#/$defs/join" } },
+        "topology_digest": { "$ref": "#/$defs/digest" },
+        "plan_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "desiredPlanV4orV5": {
+      "type": "object", "additionalProperties": false,
+      "required": [
+        "schema", "project_id", "plan_key", "plan_version", "predecessor_plan_digest",
+        "tasks", "hard_dependencies", "joins", "phases", "topology_digest", "plan_digest"
+      ],
+      "$comment": "schemaがv5の時だけphase_accept_dependenciesも必須keyに加わる（runtime-only cross-check、oneOfでは表現しない）。",
+      "properties": {
+        "schema": { "enum": ["lattice.todo_plan.v4", "lattice.todo_plan.v5"] },
+        "project_id": { "$ref": "#/$defs/identifier" },
+        "plan_key": { "$ref": "#/$defs/identifier" },
+        "plan_version": { "$ref": "#/$defs/identifier" },
+        "predecessor_plan_digest": { "$ref": "#/$defs/nullableDigest" },
+        "tasks": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/taskV4" } },
+        "hard_dependencies": { "type": "array", "maxItems": 2048, "items": { "$ref": "#/$defs/edge" } },
+        "joins": { "type": "array", "maxItems": 128, "items": { "$ref": "#/$defs/join" } },
+        "phases": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/phase" } },
+        "phase_accept_dependencies": {
+          "type": "array", "maxItems": 2048, "items": { "$ref": "#/$defs/phaseAcceptDependency" }
+        },
+        "topology_digest": { "$ref": "#/$defs/digest" },
+        "plan_digest": { "$ref": "#/$defs/digest" }
+      },
+      "if": { "properties": { "schema": { "const": "lattice.todo_plan.v5" } }, "required": ["schema"] },
+      "then": { "required": ["phase_accept_dependencies"] }
+    },
+    "taskMigrationEntry": {
+      "type": "object", "additionalProperties": false,
+      "required": ["from_task_id", "to_task_id", "state_policy"],
+      "properties": {
+        "from_task_id": { "$ref": "#/$defs/identifier" },
+        "to_task_id": { "oneOf": [{ "const": "removed" }, { "$ref": "#/$defs/identifier" }] },
+        "state_policy": { "enum": ["carry", "carry_reconciled_metadata", "reset_pending", "removed"] }
+      }
+    },
+    "phaseMigrationEntry": {
+      "type": "object", "additionalProperties": false,
+      "required": ["from_phase_id", "to_phase_id", "state_policy"],
+      "properties": {
+        "from_phase_id": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/identifier" }] },
+        "to_phase_id": { "oneOf": [{ "const": "removed" }, { "$ref": "#/$defs/identifier" }] },
+        "state_policy": { "enum": ["carry", "reset", "removed"] }
+      }
+    },
+    "sourceInventoryActiveEntry": {
+      "type": "object", "additionalProperties": false,
+      "required": ["task_id", "source_ref", "source_digest"],
+      "properties": {
+        "task_id": { "$ref": "#/$defs/identifier" },
+        "source_ref": { "$ref": "#/$defs/sourceLineRef" },
+        "source_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "sourceInventoryTombstone": {
+      "type": "object", "additionalProperties": false,
+      "required": ["source_ref", "source_digest", "exclusion_reason"],
+      "properties": {
+        "source_ref": { "$ref": "#/$defs/sourceLineRef" },
+        "source_digest": { "$ref": "#/$defs/digest" },
+        "exclusion_reason": { "$ref": "#/$defs/text" }
+      }
+    },
+    "sourceInventory": {
+      "type": "object", "additionalProperties": false,
+      "required": ["active", "excluded_tombstones"],
+      "properties": {
+        "active": {
+          "type": "array", "maxItems": 512, "items": { "$ref": "#/$defs/sourceInventoryActiveEntry" }
+        },
+        "excluded_tombstones": {
+          "type": "array", "maxItems": 2048, "items": { "$ref": "#/$defs/sourceInventoryTombstone" }
+        }
+      }
+    },
+    "sourceCutoverOperation": {
+      "type": "object", "additionalProperties": false,
+      "required": ["task_id", "disposition", "source_ref", "source_digest", "live_replacement"],
+      "properties": {
+        "task_id": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/identifier" }] },
+        "disposition": { "enum": ["active", "excluded"] },
+        "source_ref": { "$ref": "#/$defs/sourceLineRef" },
+        "source_digest": { "$ref": "#/$defs/digest" },
+        "live_replacement": { "type": "string", "minLength": 1, "maxLength": 4096 }
+      }
+    },
+    "sourceCutoverBatch": {
+      "type": "object", "additionalProperties": false,
+      "required": ["batch_id", "archive_ref", "operations", "batch_digest"],
+      "properties": {
+        "batch_id": { "$ref": "#/$defs/identifier" },
+        "archive_ref": { "allOf": [{ "$ref": "#/$defs/repoRef" }, { "pattern": "\\.md$" }] },
+        "operations": {
+          "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/sourceCutoverOperation" }
+        },
+        "batch_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "todoRevisionMember": {
+      "description": "非phase planのrevision member。'lattice.todo_revision.v1'（source_cutover_batchなし）と'lattice.todo_revision.v2'（source_cutover_batchあり）のいずれか。",
+      "type": "object",
+      "if": { "properties": { "schema": { "const": "lattice.todo_revision.v2" } }, "required": ["schema"] },
+      "then": {
+        "additionalProperties": false,
+        "required": [
+          "schema", "project_id", "plan_key", "predecessor", "desired_plan", "task_migration",
+          "source_inventory", "reconciliation", "source_cutover_batch", "revision_digest"
+        ],
+        "properties": {
+          "schema": { "const": "lattice.todo_revision.v2" },
+          "project_id": { "$ref": "#/$defs/identifier" },
+          "plan_key": { "$ref": "#/$defs/identifier" },
+          "predecessor": { "$ref": "#/$defs/predecessor" },
+          "desired_plan": { "$ref": "#/$defs/desiredPlanV3" },
+          "task_migration": {
+            "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/taskMigrationEntry" }
+          },
+          "source_inventory": { "$ref": "#/$defs/sourceInventory" },
+          "reconciliation": {
+            "type": "object", "additionalProperties": false,
+            "required": ["predecessor_reconciliation_digest", "source_inventory_digest", "reconciliation_digest"],
+            "properties": {
+              "predecessor_reconciliation_digest": { "$ref": "#/$defs/digest" },
+              "source_inventory_digest": { "$ref": "#/$defs/digest" },
+              "reconciliation_digest": { "$ref": "#/$defs/digest" }
+            }
+          },
+          "source_cutover_batch": { "$ref": "#/$defs/sourceCutoverBatch" },
+          "revision_digest": { "$ref": "#/$defs/digest" }
+        }
+      },
+      "else": {
+        "additionalProperties": false,
+        "required": [
+          "schema", "project_id", "plan_key", "predecessor", "desired_plan", "task_migration",
+          "source_inventory", "reconciliation", "revision_digest"
+        ],
+        "properties": {
+          "schema": { "const": "lattice.todo_revision.v1" },
+          "project_id": { "$ref": "#/$defs/identifier" },
+          "plan_key": { "$ref": "#/$defs/identifier" },
+          "predecessor": { "$ref": "#/$defs/predecessor" },
+          "desired_plan": { "$ref": "#/$defs/desiredPlanV3" },
+          "task_migration": {
+            "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/taskMigrationEntry" }
+          },
+          "source_inventory": { "$ref": "#/$defs/sourceInventory" },
+          "reconciliation": {
+            "type": "object", "additionalProperties": false,
+            "required": ["predecessor_reconciliation_digest", "source_inventory_digest", "reconciliation_digest"],
+            "properties": {
+              "predecessor_reconciliation_digest": { "$ref": "#/$defs/digest" },
+              "source_inventory_digest": { "$ref": "#/$defs/digest" },
+              "reconciliation_digest": { "$ref": "#/$defs/digest" }
+            }
+          },
+          "revision_digest": { "$ref": "#/$defs/digest" }
+        }
+      }
+    },
+    "phaseTodoRevisionMember": {
+      "description": "phase-audited planのrevision member。'lattice.phase_todo_revision.v1'（desired_planはv4）と'v2'（desired_planはv5）のいずれかだけを受理する——'v3'（runtime_task_migration・source_cutover_batch付き）はrevise-set memberとしては受理されない。",
+      "type": "object", "additionalProperties": false,
+      "required": [
+        "schema", "project_id", "plan_key", "predecessor", "desired_plan",
+        "task_migration", "phase_migration", "revision_digest"
+      ],
+      "properties": {
+        "schema": { "enum": ["lattice.phase_todo_revision.v1", "lattice.phase_todo_revision.v2"] },
+        "project_id": { "$ref": "#/$defs/identifier" },
+        "plan_key": { "$ref": "#/$defs/identifier" },
+        "predecessor": { "$ref": "#/$defs/predecessor" },
+        "desired_plan": { "$ref": "#/$defs/desiredPlanV4orV5" },
+        "task_migration": {
+          "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/taskMigrationEntry" }
+        },
+        "phase_migration": {
+          "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/phaseMigrationEntry" }
+        },
+        "revision_digest": { "$ref": "#/$defs/digest" }
+      },
+      "$comment": "schemaが'lattice.phase_todo_revision.v1'ならdesired_plan.schemaは'lattice.todo_plan.v4'、'v2'なら'lattice.todo_plan.v5'（runtime cross-check）。"
+    }
+  }
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.35.0",
+  "version": "0.36.1",
   "description": "Schedulability compiler for multi-agent development: observe real code boundaries, refactor the conflicting seam, recompile the plan for parallel execution",
   "author": {
     "name": "Quo / クオ at kitepon.dev",
@@ -27,6 +27,10 @@
     "docs/schemas/lattice.plan_create_input.v1.schema.json",
     "docs/schemas/lattice.plan_create_input.v2.schema.json",
     "docs/schemas/lattice.plan_create_input.v3.schema.json",
+    "docs/schemas/lattice.todo_revision.v2.schema.json",
+    "docs/schemas/lattice.todo_revision_set.v3.schema.json",
+    "docs/schemas/lattice.phase_todo_revision.v3.schema.json",
+    "docs/schemas/lattice.todo_extraction.v2.schema.json",
     "docs/schemas/lattice.run_request.v1.schema.json",
     "docs/schemas/lattice.executor_packet.v1.schema.json",
     "docs/schemas/lattice.executor_receipt.v1.schema.json",

package/src/cli-help.mjs

@@ -26,8 +26,9 @@ Commands:
   create --input <file> [--serialization-reviewed]
       # 依存グラフがほぼ一直線（serialization_ratioが閾値超）なら一度突き返す。
       # 再考した上でなお直列でよいなら --serialization-reviewed を付けて再実行する
-  create --schema --json
-  create --schema-version <2|3> --json
+  create --schema --json             # 既定は最新版（v3）のJSON Schemaを返す
+  create --schema-version <1|2|3> --json
+  show <plan_key> --json             # task・依存・phase・状態をplan本体から1コマンドで投影する
   compile --request <request.json>
   compile --schema --json            # lattice.run_request.v1 の JSON Schema を出す
   verify --request <request.json> --plan <plan.json>
@@ -91,6 +92,9 @@ Write commands:
   revise --plan <key> --input <file>
   revise-phase --plan <key> --input <file>
   revise-set --input <file>
+  <revise|revise-phase|revise-set|migrate> --schema --json
+      # 実際に受理する最新契約のJSON Schemaを返す（storeを読まない）。
+      # 入力が契約に合わないときは、違反フィールドのpathがerror detailへ載る
   phase review --plan <key> --phase <id> --reason <text>
   phase <accept|reject> --plan <key> --phase <id> --input <file>
   phase reopen --plan <key> --phase <id> --reason <text> [--override-reason <text>]
@@ -135,7 +139,8 @@ registerはLATTICE_BRIDGE_REGISTRAR_SSH_HOSTとLATTICE_BRIDGE_REGISTRAR_SCRIPT
 const SUBCOMMAND_USAGE = Object.freeze({
   status: 'status --json',
   'session-context': 'session-context --json',
-  'plan create': 'plan create --input <file> [--serialization-reviewed] | --schema --json | --schema-version <2|3> --json',
+  'plan create': 'plan create --input <file> [--serialization-reviewed] | --schema --json | --schema-version <1|2|3> --json',
+  'plan show': 'plan show <plan_key> --json',
   'plan compile': 'plan compile --request <request.json> | --schema --json',
   'plan verify': 'plan verify --request <request.json> --plan <plan.json>',
   'run start': 'run start --request <request.json> --executor <adapter> | --schema --json',
@@ -177,10 +182,10 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'todo reopen': 'todo reopen --plan <key> --task <id> --reason <text> [--override-reason <text>]',
   'todo evidence': 'todo evidence promote --plan <key> --task <id> --evidence <file>',
   'todo evidence promote': 'todo evidence promote --plan <key> --task <id> --evidence <file>',
-  'todo revise': 'todo revise --plan <key> --input <file>',
-  'todo revise-phase': 'todo revise-phase --plan <key> --input <file>',
-  'todo revise-set': 'todo revise-set --input <file>',
-  'todo migrate': 'todo migrate --input <extraction.json> [--serialization-reviewed]',
+  'todo revise': 'todo revise --plan <key> --input <file> | --schema --json',
+  'todo revise-phase': 'todo revise-phase --plan <key> --input <file> | --schema --json',
+  'todo revise-set': 'todo revise-set --input <file> | --schema --json',
+  'todo migrate': 'todo migrate --input <extraction.json> [--serialization-reviewed] | --schema --json',
   'sensor init': 'sensor init [path] --json',
   'sensor sync': 'sensor sync [path] --json',
   'runtime-errors snapshot': 'runtime-errors snapshot [--after-cursor <n>] [--limit <n>] --json',

package/src/project-cli.mjs

@@ -22,6 +22,7 @@ import {
   buildTodoPlan,
   createTodoStoreWriter,
   initializeAuthoredTodoStore,
+  isPhaselessTodoPlanSchema,
   readTodoIndependenceArtifact,
   readTodoStore,
   TodoStoreError,
@@ -481,6 +482,9 @@ export async function runPlanCreate({ cwd, inputRef, stdout, serializationReview
       max_frontier_width: dispatchShape.max_frontier_width,
       serialization_ratio: dispatchShape.serialization_ratio,
     },
+    // ADR 0147裁定3: phase無し(v3)のplan createは拒否せず、終端監査が要ることを結果へ
+    // 明示するに留める。phase入力(v4/v5)ならfalse——既存のPhase gateがそのまま重監査を担う。
+    terminal_audit_required: isPhaselessTodoPlanSchema(member.plan.schema),
     result_digest: '',
   };
   result.result_digest = resultDigest(result);
@@ -488,7 +492,16 @@ export async function runPlanCreate({ cwd, inputRef, stdout, serializationReview
   return 0;
 }
 
-export async function runPlanCreateSchema({ stdout, version = 1 }) {
+/**
+ * `--schema --json`（版指定なし）の既定はCURRENT_CREATE_INPUT_SCHEMAと同じv3にする。
+ * 既定がv1のままだと、素の`--schema`を叩いたAIが古いv1（Phaseを表現できない）を
+ * 受け取り、実運用で通らない入力を作ってしまう（実際に踏んだ）。
+ * `--schema-version 1`は互換のため引き続き取得できる（bin/lattice.mjs側で許可）。
+ *
+ * 「どの版を返したか」は返すJSON Schema自身の`title`（例: `lattice.plan_create_input.v3`）が
+ * 既に機械可読に持っている。壊さずに追加のkeyを足す理由が無いので足さない。
+ */
+export async function runPlanCreateSchema({ stdout, version = 3 }) {
   if (![1, 2, 3].includes(version)) throw new TypeError('unsupported plan create schema version');
   const expected = version === 3 ? DECOUPLED_PHASE_CREATE_INPUT_SCHEMA
     : version === 2 ? PHASE_CREATE_INPUT_SCHEMA : CREATE_INPUT_SCHEMA;
@@ -504,6 +517,95 @@ export async function runPlanCreateSchema({ stdout, version = 1 }) {
   }
 }
 
+const PLAN_SHOW_RESULT_SCHEMA = 'lattice.plan_show_result.v1';
+
+/**
+ * `todo bindings`はcompile_binding付きtaskだけを投影するので、通常planでは空配列を返す。
+ * それを見て「planが空だ」と誤読された実績があるため、plan本体（task・依存・phase・状態）を
+ * 1コマンドで読める面を別に持つ。読み出しは既存store readerとtodo status projectionの
+ * 再利用に留め、journalを独自に再実装しない。
+ */
+export async function runPlanShow({ cwd, planKey, stdout }) {
+  const repoRoot = resolveRepoRoot(cwd);
+  if (repoRoot === null) throw new TodoStoreError('REPO_UNRESOLVED', 'git_toplevel_unresolved');
+  const store = await readTodoStore({ repoRoot });
+  const member = store.members.find(({ descriptor }) => descriptor.plan_key === planKey);
+  if (member === undefined) {
+    // 既存read commands（independence compile等）と同じcode/reasonを踏襲する。
+    // 未知のplan_keyを「store不整合」と同じ扱いにするのはこのCLI全体の既定であり、
+    // ここだけ別codeへ逸れると呼び出し側の分岐が増える。
+    throw new TodoStoreError('STORE_INCONSISTENT', 'plan_not_active', undefined, {
+      plan_key: planKey, next_action: 'check_active_plans_via_status',
+    });
+  }
+  const { plan, tasks, phases } = member;
+  const phaseInput = ['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(plan.schema);
+  const stateByTaskId = new Map(tasks.map((state) => [state.task_id, state]));
+  // snapshot artifactの形式(v1にはphasesキーが無い)には縛られない導出ビューを読む
+  // (readTodoStoreが常に member.phases として埋める。ADR 0147)。
+  const phaseStatusById = new Map((phases ?? []).map((phase) => [phase.phase_id, phase.status]));
+
+  // 依存の本数: このplanの中でそのtaskへ入ってくるhard_dependencies辺と、joinで
+  // 合流するafter辺の合計。cross-plan参照は数えない（plan showは単一planの投影のため）。
+  const dependsOnCount = new Map(plan.tasks.map((task) => [task.task_id, 0]));
+  for (const edge of plan.hard_dependencies) {
+    if (edge.to.plan_key === planKey && dependsOnCount.has(edge.to.task_id)) {
+      dependsOnCount.set(edge.to.task_id, dependsOnCount.get(edge.to.task_id) + 1);
+    }
+  }
+  for (const join of plan.joins) {
+    if (join.before.plan_key === planKey && dependsOnCount.has(join.before.task_id)) {
+      dependsOnCount.set(join.before.task_id, dependsOnCount.get(join.before.task_id) + join.after.length);
+    }
+  }
+
+  const taskList = plan.tasks.map((task) => ({
+    task_id: task.task_id,
+    title: task.title,
+    lane: task.lane,
+    phase_id: phaseInput ? task.phase_id : null,
+    state: stateByTaskId.get(task.task_id).status,
+    depends_on_count: dependsOnCount.get(task.task_id) ?? 0,
+  }));
+
+  const phaseList = phaseInput ? plan.phases.map((phase) => ({
+    phase_id: phase.phase_id,
+    title: phase.title,
+    gate_policy: phase.gate_policy,
+    predecessor_phase_ids: phase.predecessor_phase_ids,
+    status: phaseStatusById.get(phase.phase_id) ?? null,
+  })) : [];
+
+  // dispatch形状はplan create時に既に計算している同じ関数を再利用する。
+  // critical path長・frontier幅を独自に計算し直さない。
+  const dispatchShape = computeTodoDispatchShapeForPlan({
+    projectId: plan.project_id, planKey,
+    taskIds: plan.tasks.map(({ task_id: taskId }) => taskId),
+    hardDependencies: plan.hard_dependencies, joins: plan.joins,
+  });
+
+  const result = {
+    schema: PLAN_SHOW_RESULT_SCHEMA,
+    project_id: plan.project_id,
+    plan_key: plan.plan_key,
+    plan_version: plan.plan_version,
+    plan_schema: plan.schema,
+    has_phases: phaseInput,
+    phases: phaseList,
+    tasks: taskList,
+    topology: {
+      task_count: dispatchShape.task_count,
+      critical_path_length: dispatchShape.critical_path_length,
+      max_frontier_width: dispatchShape.max_frontier_width,
+      serialization_ratio: dispatchShape.serialization_ratio,
+    },
+    result_digest: '',
+  };
+  result.result_digest = resultDigest(result);
+  stdout.write(`${JSON.stringify(result)}\n`);
+  return 0;
+}
+
 export function projectStatusFailure({ cwd, stdout, cliVersion, error }) {
   const result = invalidStatus({
     cliVersion, repoRoot: resolveRepoRoot(cwd),