From 4681fb3e21863f78970414b718a2dc06dc390d7c Mon Sep 17 00:00:00 2001 From: kewton Date: Wed, 25 Mar 2026 16:59:06 +0900 Subject: [PATCH 1/5] feat(issue): add `issue list` subcommand and restructure issue CLI (#169) Restructure the `issue` command into subcommands (`issue list` / `issue show`) to allow users and AI agents to discover all indexed issues without knowing their numbers beforehand. Key changes: - Add `issue list` with --format human/json/path/llm support - Rename `issue ` to `issue show ` (breaking change) - Add `list_all_issues()` to SymbolStore with SQL aggregation query - Separate IssueListRow (data layer) from IssueListEntry (CLI layer) - Update suggest.rs and help_llm.rs for new subcommand syntax - Add 25 new tests (unit + E2E + CLI args) Co-Authored-By: Claude Opus 4.6 (1M context) --- src/cli/help_llm.rs | 23 ++- src/cli/issue.rs | 388 ++++++++++++++++++++++++++++++++++-- src/cli/suggest.rs | 10 +- src/indexer/symbol_store.rs | 235 ++++++++++++++++++++++ src/main.rs | 54 +++-- tests/cli_args.rs | 38 +++- tests/e2e_issue.rs | 101 +++++++++- 7 files changed, 786 insertions(+), 63 deletions(-) diff --git a/src/cli/help_llm.rs b/src/cli/help_llm.rs index 596811e..1763af7 100644 --- a/src/cli/help_llm.rs +++ b/src/cli/help_llm.rs @@ -176,7 +176,7 @@ fn build_use_cases() -> Vec { }, UseCaseItem { name: "Issue documents", - command: "commandindexdev issue 140", + command: "commandindexdev issue show 140", }, ] } @@ -200,7 +200,7 @@ fn build_workflows() -> Vec { "commandindexdev search --related src/target.rs --format json", "commandindexdev impact src/target.rs --format json", "commandindexdev context src/target.rs --max-files 20", - "commandindexdev issue 140 --format json", + "commandindexdev issue show 140 --format json", ], }, Workflow { @@ -583,24 +583,27 @@ fn build_commands() -> Vec { }, CommandInfo { name: "issue", - description: "Show documents related to an Issue from knowledge graph", - when_to_use: "Look up all design docs, reviews, work plans, and progress reports for a specific Issue number", + description: "Issue-related commands: list all issues or show documents for a specific issue", + when_to_use: "List all issues in the knowledge graph, or look up design docs, reviews, work plans, and progress reports for a specific Issue number", prerequisites: Some("Requires existing index with knowledge graph data (run `index` first)".to_string()), modes: None, conflicts: None, key_options: Some(vec![ - " Issue number (required, positive integer)", + "show Show documents for a specific issue (required, positive integer)", + "list List all issues in the knowledge graph", "--format Output format: human, json, path, llm", ]), output_formats: Some(vec!["human", "json", "path", "llm"]), - output: Some("List of related documents grouped by category"), + output: Some("List of issues or related documents grouped by category"), input: None, pipe_support: None, - subcommands: None, + subcommands: Some(vec!["list", "show"]), examples: vec![ - "commandindexdev issue 140", - "commandindexdev issue 140 --format json", - "commandindexdev issue 140 --format path", + "commandindexdev issue list", + "commandindexdev issue list --format json", + "commandindexdev issue show 140", + "commandindexdev issue show 140 --format json", + "commandindexdev issue show 140 --format path", ], }, CommandInfo { diff --git a/src/cli/issue.rs b/src/cli/issue.rs index 4312375..2ef0f95 100644 --- a/src/cli/issue.rs +++ b/src/cli/issue.rs @@ -1,11 +1,13 @@ use std::fmt; use std::io::Write; use std::path::Path; +use std::sync::LazyLock; +use regex::Regex; use serde::Serialize; use crate::indexer::knowledge::{DocSubtype, IssueDocumentEntry, KnowledgeRelation}; -use crate::indexer::symbol_store::{SymbolStore, SymbolStoreError}; +use crate::indexer::symbol_store::{IssueListRow, SymbolStore, SymbolStoreError}; use crate::output::{OutputError, OutputFormat, strip_control_chars}; // --------------------------------------------------------------------------- @@ -81,6 +83,75 @@ impl IssueDocumentsResult { } } +// --------------------------------------------------------------------------- +// Issue list types +// --------------------------------------------------------------------------- + +/// CLI出力用のIssue一覧エントリ +#[derive(Debug, Clone, Serialize)] +pub struct IssueListEntry { + pub number: u64, + pub doc_count: u32, + pub label: String, + pub has_design: bool, + pub has_review: bool, + pub has_workplan: bool, + pub has_progress: bool, +} + +// --------------------------------------------------------------------------- +// Label extraction +// --------------------------------------------------------------------------- + +static DESIGN_LABEL_RE: LazyLock = LazyLock::new(|| { + Regex::new(r"issue-\d+-(.+)-design-policy\.md$").expect("BUG: invalid regex pattern") +}); + +fn extract_label_from_design_path(path: &str) -> String { + DESIGN_LABEL_RE + .captures(path) + .and_then(|c| c.get(1)) + .map(|m| m.as_str().to_string()) + .unwrap_or_default() +} + +// --------------------------------------------------------------------------- +// Shared helpers +// --------------------------------------------------------------------------- + +fn open_symbol_store(commandindex_dir: &Path) -> Result { + let db_path = crate::indexer::symbol_db_path(commandindex_dir); + if !db_path.exists() { + return Err(IssueCommandError::SymbolStore(SymbolStoreError::Io( + std::io::Error::new( + std::io::ErrorKind::NotFound, + format!( + "Symbol database not found: {}. Run `commandindex index` first.", + db_path.display() + ), + ), + ))); + } + SymbolStore::open(&db_path).map_err(IssueCommandError::SymbolStore) +} + +fn convert_row_to_entry(row: IssueListRow) -> IssueListEntry { + let label = row + .design_file_path + .as_deref() + .map(extract_label_from_design_path) + .unwrap_or_default(); + IssueListEntry { + number: row.number, + doc_count: row.doc_count, + label, + has_design: row.has_design, + has_review: row.has_review, + has_workplan: row.has_workplan, + has_progress: row.has_progress, + } +} + // --------------------------------------------------------------------------- // Helpers // --------------------------------------------------------------------------- @@ -117,26 +188,12 @@ fn sort_order(entry: &IssueDocumentEntry) -> (u8, u8) { // Run // --------------------------------------------------------------------------- -pub fn run( +pub fn run_show( issue_number: u64, format: OutputFormat, commandindex_dir: &Path, ) -> Result<(), IssueCommandError> { - // Check symbols.db exists - let symbol_db = crate::indexer::symbol_db_path(commandindex_dir); - if !symbol_db.exists() { - return Err(IssueCommandError::SymbolStore(SymbolStoreError::Io( - std::io::Error::new( - std::io::ErrorKind::NotFound, - format!( - "Symbol database not found: {}. Run `commandindex index` first.", - symbol_db.display() - ), - ), - ))); - } - - let store = SymbolStore::open(&symbol_db)?; + let store = open_symbol_store(commandindex_dir)?; let issue_str = issue_number.to_string(); let mut documents = store.find_documents_by_issue(&issue_str)?; @@ -159,7 +216,119 @@ pub fn run( } // --------------------------------------------------------------------------- -// Output formatters +// Run list +// --------------------------------------------------------------------------- + +pub fn run_list(format: OutputFormat, commandindex_dir: &Path) -> Result<(), IssueCommandError> { + let store = open_symbol_store(commandindex_dir)?; + let rows = store.list_all_issues()?; + let entries: Vec = rows.into_iter().map(convert_row_to_entry).collect(); + + let stdout = std::io::stdout(); + let mut writer = stdout.lock(); + format_list(&entries, format, &mut writer)?; + Ok(()) +} + +// --------------------------------------------------------------------------- +// List formatters +// --------------------------------------------------------------------------- + +fn format_list( + entries: &[IssueListEntry], + format: OutputFormat, + writer: &mut dyn Write, +) -> Result<(), OutputError> { + match format { + OutputFormat::Human => format_list_human(entries, writer), + OutputFormat::Json => format_list_json(entries, writer), + OutputFormat::Path => format_list_path(entries, writer), + OutputFormat::Llm => format_list_llm(entries, writer), + } +} + +fn format_list_human( + entries: &[IssueListEntry], + writer: &mut dyn Write, +) -> Result<(), OutputError> { + if entries.is_empty() { + writeln!(writer, "No issues found.")?; + return Ok(()); + } + // Calculate width for alignment + let max_num_width = entries + .iter() + .map(|e| format!("{}", e.number).len()) + .max() + .unwrap_or(1); + for entry in entries { + let num_str = format!("{}", entry.number); + let padding = " ".repeat(max_num_width - num_str.len()); + if entry.label.is_empty() { + writeln!( + writer, + "Issue #{num_str}{padding} ({} docs)", + entry.doc_count + )?; + } else { + writeln!( + writer, + "Issue #{num_str}{padding} ({} docs) {}", + entry.doc_count, + strip_control_chars(&entry.label) + )?; + } + } + writeln!(writer, "Total: {} issues", entries.len())?; + Ok(()) +} + +fn format_list_json(entries: &[IssueListEntry], writer: &mut dyn Write) -> Result<(), OutputError> { + let json = serde_json::to_string_pretty(entries).map_err(OutputError::Json)?; + writeln!(writer, "{json}")?; + Ok(()) +} + +fn format_list_path(entries: &[IssueListEntry], writer: &mut dyn Write) -> Result<(), OutputError> { + for entry in entries { + writeln!(writer, "{}", entry.number)?; + } + Ok(()) +} + +fn format_list_llm(entries: &[IssueListEntry], writer: &mut dyn Write) -> Result<(), OutputError> { + if entries.is_empty() { + writeln!(writer, "No issues found.")?; + return Ok(()); + } + writeln!( + writer, + "| Issue | Docs | Label | Design | Review | Workplan | Progress |" + )?; + writeln!( + writer, + "|-------|------|-------|--------|--------|----------|----------|" + )?; + for entry in entries { + writeln!( + writer, + "| #{} | {} | {} | {} | {} | {} | {} |", + entry.number, + entry.doc_count, + strip_control_chars(&entry.label), + if entry.has_design { "Yes" } else { "No" }, + if entry.has_review { "Yes" } else { "No" }, + if entry.has_workplan { "Yes" } else { "No" }, + if entry.has_progress { "Yes" } else { "No" }, + )?; + } + writeln!(writer)?; + writeln!(writer, "Total: {} issues", entries.len())?; + Ok(()) +} + +// --------------------------------------------------------------------------- +// Output formatters (show) // --------------------------------------------------------------------------- fn format_issue_documents( @@ -416,4 +585,187 @@ mod tests { assert_eq!(lines[0], "a.md"); assert_eq!(lines[1], "b.md"); } + + // --- extract_label_from_design_path tests --- + + #[test] + fn test_extract_label_basic() { + assert_eq!( + extract_label_from_design_path( + "dev-reports/design/issue-47-terminal-search-design-policy.md" + ), + "terminal-search" + ); + } + + #[test] + fn test_extract_label_complex() { + assert_eq!( + extract_label_from_design_path( + "dev-reports/design/issue-99-markdown-editor-display-improvement-design-policy.md" + ), + "markdown-editor-display-improvement" + ); + } + + #[test] + fn test_extract_label_no_match() { + assert_eq!( + extract_label_from_design_path("dev-reports/issue/47/work-plan.md"), + "" + ); + } + + #[test] + fn test_extract_label_empty() { + assert_eq!(extract_label_from_design_path(""), ""); + } + + // --- convert_row_to_entry tests --- + + #[test] + fn test_convert_row_to_entry_with_design() { + let row = IssueListRow { + number: 47, + doc_count: 3, + design_file_path: Some( + "dev-reports/design/issue-47-terminal-search-design-policy.md".to_string(), + ), + has_design: true, + has_review: false, + has_workplan: true, + has_progress: false, + }; + let entry = convert_row_to_entry(row); + assert_eq!(entry.number, 47); + assert_eq!(entry.doc_count, 3); + assert_eq!(entry.label, "terminal-search"); + assert!(entry.has_design); + assert!(!entry.has_review); + } + + #[test] + fn test_convert_row_to_entry_no_design() { + let row = IssueListRow { + number: 50, + doc_count: 1, + design_file_path: None, + has_design: false, + has_review: false, + has_workplan: true, + has_progress: false, + }; + let entry = convert_row_to_entry(row); + assert_eq!(entry.label, ""); + } + + // --- format_list tests --- + + fn sample_entries() -> Vec { + vec![ + IssueListEntry { + number: 47, + doc_count: 5, + label: "terminal-search".to_string(), + has_design: true, + has_review: true, + has_workplan: true, + has_progress: false, + }, + IssueListEntry { + number: 99, + doc_count: 5, + label: "markdown-editor-display-improvement".to_string(), + has_design: true, + has_review: false, + has_workplan: true, + has_progress: false, + }, + ] + } + + #[test] + fn test_format_list_human() { + let entries = sample_entries(); + let mut buf = Vec::new(); + format_list_human(&entries, &mut buf).unwrap(); + let output = String::from_utf8(buf).unwrap(); + assert!(output.contains("Issue #47")); + assert!(output.contains("(5 docs)")); + assert!(output.contains("terminal-search")); + assert!(output.contains("Issue #99")); + assert!(output.contains("Total: 2 issues")); + } + + #[test] + fn test_format_list_human_empty() { + let entries: Vec = vec![]; + let mut buf = Vec::new(); + format_list_human(&entries, &mut buf).unwrap(); + let output = String::from_utf8(buf).unwrap(); + assert_eq!(output.trim(), "No issues found."); + } + + #[test] + fn test_format_list_json() { + let entries = sample_entries(); + let mut buf = Vec::new(); + format_list_json(&entries, &mut buf).unwrap(); + let output = String::from_utf8(buf).unwrap(); + let parsed: Vec = serde_json::from_str(&output).unwrap(); + assert_eq!(parsed.len(), 2); + assert_eq!(parsed[0]["number"], 47); + assert_eq!(parsed[0]["label"], "terminal-search"); + assert_eq!(parsed[1]["number"], 99); + } + + #[test] + fn test_format_list_json_empty() { + let entries: Vec = vec![]; + let mut buf = Vec::new(); + format_list_json(&entries, &mut buf).unwrap(); + let output = String::from_utf8(buf).unwrap(); + let parsed: Vec = serde_json::from_str(&output).unwrap(); + assert!(parsed.is_empty()); + } + + #[test] + fn test_format_list_path() { + let entries = sample_entries(); + let mut buf = Vec::new(); + format_list_path(&entries, &mut buf).unwrap(); + let output = String::from_utf8(buf).unwrap(); + let lines: Vec<&str> = output.trim().lines().collect(); + assert_eq!(lines, vec!["47", "99"]); + } + + #[test] + fn test_format_list_path_empty() { + let entries: Vec = vec![]; + let mut buf = Vec::new(); + format_list_path(&entries, &mut buf).unwrap(); + let output = String::from_utf8(buf).unwrap(); + assert!(output.is_empty()); + } + + #[test] + fn test_format_list_llm() { + let entries = sample_entries(); + let mut buf = Vec::new(); + format_list_llm(&entries, &mut buf).unwrap(); + let output = String::from_utf8(buf).unwrap(); + assert!(output.contains("| Issue | Docs | Label |")); + assert!(output.contains("| #47 |")); + assert!(output.contains("| Yes |")); + assert!(output.contains("Total: 2 issues")); + } + + #[test] + fn test_format_list_llm_empty() { + let entries: Vec = vec![]; + let mut buf = Vec::new(); + format_list_llm(&entries, &mut buf).unwrap(); + let output = String::from_utf8(buf).unwrap(); + assert_eq!(output.trim(), "No issues found."); + } } diff --git a/src/cli/suggest.rs b/src/cli/suggest.rs index c6bb48f..1a7def9 100644 --- a/src/cli/suggest.rs +++ b/src/cli/suggest.rs @@ -255,7 +255,7 @@ fn prepend_knowledge_steps( // Issue番号ごとの issue コマンドステップ for issue_num in matched_issues { kg_steps.push(SuggestStep { - command: format!("{BINARY_NAME} issue {issue_num} --format json"), + command: format!("{BINARY_NAME} issue show {issue_num} --format json"), reason: format!("Get knowledge graph documents for Issue #{issue_num}"), }); } @@ -617,8 +617,8 @@ mod tests { // Should have 3 steps: issue cmd, context cmd, existing cmd assert_eq!(strategy.len(), 3); assert!( - strategy[0].command.contains("issue 42"), - "First step should be issue command: {}", + strategy[0].command.contains("issue show 42"), + "First step should be issue show command: {}", strategy[0].command ); assert!( @@ -673,8 +673,8 @@ mod tests { // 2 issue steps + 2 context steps + 1 existing = 5 assert_eq!(strategy.len(), 5); - assert!(strategy[0].command.contains("issue 10")); - assert!(strategy[1].command.contains("issue 20")); + assert!(strategy[0].command.contains("issue show 10")); + assert!(strategy[1].command.contains("issue show 20")); assert!(strategy[2].command.contains("context")); assert!(strategy[3].command.contains("context")); assert_eq!(strategy[4].command, "existing_cmd"); diff --git a/src/indexer/symbol_store.rs b/src/indexer/symbol_store.rs index f344031..529c10d 100644 --- a/src/indexer/symbol_store.rs +++ b/src/indexer/symbol_store.rs @@ -61,6 +61,18 @@ pub struct EmbeddingSimilarityResult { pub similarity: f32, } +/// Issue一覧クエリの行DTO +#[derive(Debug, Clone, PartialEq)] +pub struct IssueListRow { + pub number: u64, + pub doc_count: u32, + pub design_file_path: Option, + pub has_design: bool, + pub has_review: bool, + pub has_workplan: bool, + pub has_progress: bool, +} + /// ナレッジグラフ Issue → ドキュメント検索の結果構造体 #[derive(Debug, Clone, PartialEq)] pub struct KnowledgeDocResult { @@ -916,6 +928,75 @@ impl SymbolStore { Ok(results) } + /// List all issues in the knowledge graph with aggregated document counts and flags. + pub fn list_all_issues(&self) -> Result, SymbolStoreError> { + let mut stmt = self.conn.prepare( + "SELECT + kn_issue.identifier AS issue_number, + COUNT(CASE WHEN ke.relation IN ('has_design','has_review','has_workplan','has_progress') + AND kn_doc.type = 'document' THEN 1 END) AS doc_count, + COUNT(CASE WHEN ke.relation = 'has_design' AND kn_doc.type = 'document' THEN 1 END) > 0 AS has_design, + COUNT(CASE WHEN ke.relation = 'has_review' AND kn_doc.type = 'document' THEN 1 END) > 0 AS has_review, + COUNT(CASE WHEN ke.relation = 'has_workplan' AND kn_doc.type = 'document' THEN 1 END) > 0 AS has_workplan, + COUNT(CASE WHEN ke.relation = 'has_progress' AND kn_doc.type = 'document' THEN 1 END) > 0 AS has_progress, + MAX(CASE WHEN ke.relation = 'has_design' AND kn_doc.type = 'document' THEN kn_doc.file_path END) AS design_file_path + FROM knowledge_nodes kn_issue + LEFT JOIN knowledge_edges ke ON ke.source_id = kn_issue.id + LEFT JOIN knowledge_nodes kn_doc ON ke.target_id = kn_doc.id AND kn_doc.type = 'document' + WHERE kn_issue.type = 'issue' + GROUP BY kn_issue.identifier + ORDER BY CAST(kn_issue.identifier AS INTEGER)", + )?; + + let rows = stmt.query_map([], |row| { + Ok(( + row.get::<_, String>(0)?, + row.get::<_, u32>(1)?, + row.get::<_, bool>(2)?, + row.get::<_, bool>(3)?, + row.get::<_, bool>(4)?, + row.get::<_, bool>(5)?, + row.get::<_, Option>(6)?, + )) + })?; + + let mut results = Vec::new(); + for row in rows { + let ( + identifier, + doc_count, + has_design, + has_review, + has_workplan, + has_progress, + design_file_path, + ) = row?; + + match identifier.parse::() { + Ok(number) => { + results.push(IssueListRow { + number, + doc_count, + design_file_path, + has_design, + has_review, + has_workplan, + has_progress, + }); + } + Err(_) => { + let sanitized: String = identifier + .chars() + .map(|c| if c.is_control() { '\u{FFFD}' } else { c }) + .collect(); + eprintln!("Warning: non-numeric issue identifier '{sanitized}', skipping"); + } + } + } + + Ok(results) + } + /// Find documents related to the given file through the knowledge graph. /// If the file is a document node, find its issue and return all sibling documents. /// Issue番号群からナレッジグラフ経由でドキュメントを検索する。 @@ -2508,4 +2589,158 @@ mod tests { assert_eq!(results[0].file_path, "src/main.rs"); assert_eq!(results[0].relation, KnowledgeRelation::Modifies); } + + // --- list_all_issues tests --- + + #[test] + fn test_list_all_issues_basic() { + use crate::indexer::knowledge::{DocSubtype, KnowledgeEntry, KnowledgeRelation}; + + let store = SymbolStore::open_in_memory().unwrap(); + store.create_tables().unwrap(); + + let entries = vec![ + KnowledgeEntry { + issue_number: "47".to_string(), + file_path: "dev-reports/design/issue-47-terminal-search-design-policy.md" + .to_string(), + relation: KnowledgeRelation::HasDesign, + doc_subtype: DocSubtype::DesignPolicy, + }, + KnowledgeEntry { + issue_number: "47".to_string(), + file_path: "dev-reports/issue/47/work-plan.md".to_string(), + relation: KnowledgeRelation::HasWorkplan, + doc_subtype: DocSubtype::WorkPlan, + }, + KnowledgeEntry { + issue_number: "99".to_string(), + file_path: "dev-reports/design/issue-99-markdown-editor-design-policy.md" + .to_string(), + relation: KnowledgeRelation::HasDesign, + doc_subtype: DocSubtype::DesignPolicy, + }, + ]; + store.insert_knowledge_entries(&entries).unwrap(); + + let issues = store.list_all_issues().unwrap(); + assert_eq!(issues.len(), 2); + + // Should be ordered by number + assert_eq!(issues[0].number, 47); + assert_eq!(issues[0].doc_count, 2); + assert!(issues[0].has_design); + assert!(!issues[0].has_review); + assert!(issues[0].has_workplan); + assert!(!issues[0].has_progress); + assert!( + issues[0] + .design_file_path + .as_deref() + .unwrap() + .contains("issue-47") + ); + + assert_eq!(issues[1].number, 99); + assert_eq!(issues[1].doc_count, 1); + assert!(issues[1].has_design); + assert!(!issues[1].has_workplan); + } + + #[test] + fn test_list_all_issues_empty() { + let store = SymbolStore::open_in_memory().unwrap(); + store.create_tables().unwrap(); + + let issues = store.list_all_issues().unwrap(); + assert!(issues.is_empty()); + } + + #[test] + fn test_list_all_issues_modifies_excluded() { + use crate::indexer::knowledge::{ + DocSubtype, FileModifiesEntry, KnowledgeEntry, KnowledgeRelation, + }; + + let store = SymbolStore::open_in_memory().unwrap(); + store.create_tables().unwrap(); + + let entries = vec![KnowledgeEntry { + issue_number: "100".to_string(), + file_path: "dev-reports/design/issue-100-design-policy.md".to_string(), + relation: KnowledgeRelation::HasDesign, + doc_subtype: DocSubtype::DesignPolicy, + }]; + store.insert_knowledge_entries(&entries).unwrap(); + + // Add file modifies entry + let file_entries = vec![FileModifiesEntry { + issue_number: "100".to_string(), + file_path: "src/main.rs".to_string(), + }]; + store.insert_file_modifies_entries(&file_entries).unwrap(); + + let issues = store.list_all_issues().unwrap(); + assert_eq!(issues.len(), 1); + // doc_count should be 1 (only design, not modifies) + assert_eq!(issues[0].doc_count, 1); + } + + #[test] + fn test_list_all_issues_no_design() { + use crate::indexer::knowledge::{DocSubtype, KnowledgeEntry, KnowledgeRelation}; + + let store = SymbolStore::open_in_memory().unwrap(); + store.create_tables().unwrap(); + + let entries = vec![KnowledgeEntry { + issue_number: "50".to_string(), + file_path: "dev-reports/issue/50/work-plan.md".to_string(), + relation: KnowledgeRelation::HasWorkplan, + doc_subtype: DocSubtype::WorkPlan, + }]; + store.insert_knowledge_entries(&entries).unwrap(); + + let issues = store.list_all_issues().unwrap(); + assert_eq!(issues.len(), 1); + assert!(!issues[0].has_design); + assert!(issues[0].design_file_path.is_none()); + } + + #[test] + fn test_list_all_issues_sorted_by_number() { + use crate::indexer::knowledge::{DocSubtype, KnowledgeEntry, KnowledgeRelation}; + + let store = SymbolStore::open_in_memory().unwrap(); + store.create_tables().unwrap(); + + // Insert in reverse order + let entries = vec![ + KnowledgeEntry { + issue_number: "200".to_string(), + file_path: "dev-reports/design/issue-200-design-policy.md".to_string(), + relation: KnowledgeRelation::HasDesign, + doc_subtype: DocSubtype::DesignPolicy, + }, + KnowledgeEntry { + issue_number: "10".to_string(), + file_path: "dev-reports/design/issue-10-design-policy.md".to_string(), + relation: KnowledgeRelation::HasDesign, + doc_subtype: DocSubtype::DesignPolicy, + }, + KnowledgeEntry { + issue_number: "50".to_string(), + file_path: "dev-reports/design/issue-50-design-policy.md".to_string(), + relation: KnowledgeRelation::HasDesign, + doc_subtype: DocSubtype::DesignPolicy, + }, + ]; + store.insert_knowledge_entries(&entries).unwrap(); + + let issues = store.list_all_issues().unwrap(); + assert_eq!(issues.len(), 3); + assert_eq!(issues[0].number, 10); + assert_eq!(issues[1].number, 50); + assert_eq!(issues[2].number, 200); + } } diff --git a/src/main.rs b/src/main.rs index fa2de3c..7b482b8 100644 --- a/src/main.rs +++ b/src/main.rs @@ -291,14 +291,10 @@ enum Commands { #[arg(long, value_enum, default_value_t = commandindex::output::OutputFormat::Human)] format: commandindex::output::OutputFormat, }, - /// Show documents related to an Issue from knowledge graph + /// Issue-related commands Issue { - /// Issue number - #[arg(value_parser = clap::value_parser!(u64).range(1..))] - number: u64, - /// Output format (human, json, path, llm) - #[arg(long, value_enum, default_value_t = commandindex::output::OutputFormat::Human)] - format: commandindex::output::OutputFormat, + #[command(subcommand)] + command: IssueCommands, }, /// Watch for file changes and auto-update index (daemon mode) #[command(after_help = commandindex::cli::watch::WATCH_AFTER_HELP)] @@ -323,6 +319,25 @@ enum ConfigCommands { Path, } +#[derive(Subcommand)] +enum IssueCommands { + /// List all issues in the knowledge graph + List { + /// Output format (human, json, path, llm) + #[arg(long, value_enum, default_value_t = commandindex::output::OutputFormat::Human)] + format: commandindex::output::OutputFormat, + }, + /// Show documents related to an Issue + Show { + /// Issue number + #[arg(value_parser = clap::value_parser!(u64).range(1..))] + number: u64, + /// Output format (human, json, path, llm) + #[arg(long, value_enum, default_value_t = commandindex::output::OutputFormat::Human)] + format: commandindex::output::OutputFormat, + }, +} + /// Resolve commandindex_dir from CLI --index-path, config, and base_path. /// Returns (commandindex_dir, config) pair. fn resolve_commandindex_dir( @@ -979,7 +994,7 @@ fn main() { } } } - Commands::Issue { number, format } => { + Commands::Issue { command } => { let base_path = std::path::Path::new("."); let (commandindex_dir, _config) = match resolve_commandindex_dir(cli.index_path.as_deref(), base_path) { @@ -989,11 +1004,24 @@ fn main() { process::exit(1); } }; - match commandindex::cli::issue::run(number, format, &commandindex_dir) { - Ok(()) => 0, - Err(e) => { - eprintln!("Error: {e}"); - 1 + match command { + IssueCommands::List { format } => { + match commandindex::cli::issue::run_list(format, &commandindex_dir) { + Ok(()) => 0, + Err(e) => { + eprintln!("Error: {e}"); + 1 + } + } + } + IssueCommands::Show { number, format } => { + match commandindex::cli::issue::run_show(number, format, &commandindex_dir) { + Ok(()) => 0, + Err(e) => { + eprintln!("Error: {e}"); + 1 + } + } } } } diff --git a/tests/cli_args.rs b/tests/cli_args.rs index 435ddfc..04ecdc4 100644 --- a/tests/cli_args.rs +++ b/tests/cli_args.rs @@ -951,21 +951,21 @@ fn before_change_max_commits_over_limit_rejected() { // --- issue CLI option tests --- #[test] -fn issue_help_shows_usage() { +fn issue_help_shows_subcommands() { common::cmd() .args(["issue", "--help"]) .assert() .success() - .stdout(predicate::str::contains("Issue")) - .stdout(predicate::str::contains("format")); + .stdout(predicate::str::contains("list")) + .stdout(predicate::str::contains("show")); } #[test] -fn issue_accepts_number() { +fn issue_show_accepts_number() { let tmp = tempfile::tempdir().expect("create temp dir"); common::cmd() .current_dir(tmp.path()) - .args(["issue", "140"]) + .args(["issue", "show", "140"]) .assert() .failure() .stderr( @@ -975,29 +975,45 @@ fn issue_accepts_number() { } #[test] -fn issue_rejects_zero() { +fn issue_show_rejects_zero() { common::cmd() - .args(["issue", "0"]) + .args(["issue", "show", "0"]) .assert() .failure() .stderr(predicate::str::contains("invalid value")); } #[test] -fn issue_rejects_non_numeric() { +fn issue_show_rejects_non_numeric() { common::cmd() - .args(["issue", "abc"]) + .args(["issue", "show", "abc"]) .assert() .failure() .stderr(predicate::str::contains("invalid value")); } #[test] -fn issue_accepts_format_json() { +fn issue_show_accepts_format_json() { let tmp = tempfile::tempdir().expect("create temp dir"); common::cmd() .current_dir(tmp.path()) - .args(["issue", "140", "--format", "json"]) + .args(["issue", "show", "140", "--format", "json"]) .assert() .failure(); } + +#[test] +fn issue_list_accepts_format_json() { + let tmp = tempfile::tempdir().expect("create temp dir"); + common::cmd() + .current_dir(tmp.path()) + .args(["issue", "list", "--format", "json"]) + .assert() + .failure(); +} + +#[test] +fn issue_old_syntax_rejects_number() { + // Old syntax `issue ` should fail since it's now a subcommand structure + common::cmd().args(["issue", "140"]).assert().failure(); +} diff --git a/tests/e2e_issue.rs b/tests/e2e_issue.rs index 35bae51..715ec1c 100644 --- a/tests/e2e_issue.rs +++ b/tests/e2e_issue.rs @@ -66,7 +66,7 @@ fn issue_human_format() { let output = common::cmd() .current_dir(tmp.path()) - .args(["issue", "140"]) + .args(["issue", "show", "140"]) .assert() .success(); @@ -86,7 +86,7 @@ fn issue_json_format() { let output = common::cmd() .current_dir(tmp.path()) - .args(["issue", "140", "--format", "json"]) + .args(["issue", "show", "140", "--format", "json"]) .assert() .success(); @@ -106,7 +106,7 @@ fn issue_llm_format() { let output = common::cmd() .current_dir(tmp.path()) - .args(["issue", "140", "--format", "llm"]) + .args(["issue", "show", "140", "--format", "llm"]) .assert() .success(); @@ -126,7 +126,7 @@ fn issue_path_format() { let output = common::cmd() .current_dir(tmp.path()) - .args(["issue", "140", "--format", "path"]) + .args(["issue", "show", "140", "--format", "path"]) .assert() .success(); @@ -145,7 +145,7 @@ fn issue_not_found() { common::cmd() .current_dir(tmp.path()) - .args(["issue", "999"]) + .args(["issue", "show", "999"]) .assert() .failure() .stderr(predicate::str::contains( @@ -160,7 +160,7 @@ fn issue_progress_report_categorized() { let output = common::cmd() .current_dir(tmp.path()) - .args(["issue", "140", "--format", "json"]) + .args(["issue", "show", "140", "--format", "json"]) .assert() .success(); @@ -174,3 +174,92 @@ fn issue_progress_report_categorized() { assert_eq!(progress.len(), 1); assert!(progress[0].as_str().unwrap().contains("progress-report.md")); } + +// --- issue list tests --- + +#[test] +fn issue_list_human_format() { + let tmp = tempfile::tempdir().expect("create temp dir"); + setup_issue_test_data(tmp.path()); + + let output = common::cmd() + .current_dir(tmp.path()) + .args(["issue", "list"]) + .assert() + .success(); + + let stdout = String::from_utf8_lossy(&output.get_output().stdout); + assert!(stdout.contains("Issue #140")); + assert!(stdout.contains("Total: 1 issues")); +} + +#[test] +fn issue_list_json_format() { + let tmp = tempfile::tempdir().expect("create temp dir"); + setup_issue_test_data(tmp.path()); + + let output = common::cmd() + .current_dir(tmp.path()) + .args(["issue", "list", "--format", "json"]) + .assert() + .success(); + + let stdout = String::from_utf8_lossy(&output.get_output().stdout); + let parsed: Vec = serde_json::from_str(&stdout).expect("valid JSON"); + assert_eq!(parsed.len(), 1); + assert_eq!(parsed[0]["number"], 140); + assert!(parsed[0]["has_design"].as_bool().unwrap()); +} + +#[test] +fn issue_list_llm_format() { + let tmp = tempfile::tempdir().expect("create temp dir"); + setup_issue_test_data(tmp.path()); + + let output = common::cmd() + .current_dir(tmp.path()) + .args(["issue", "list", "--format", "llm"]) + .assert() + .success(); + + let stdout = String::from_utf8_lossy(&output.get_output().stdout); + assert!(stdout.contains("| Issue | Docs | Label |")); + assert!(stdout.contains("| #140 |")); + assert!(stdout.contains("Total: 1 issues")); +} + +#[test] +fn issue_list_path_format() { + let tmp = tempfile::tempdir().expect("create temp dir"); + setup_issue_test_data(tmp.path()); + + let output = common::cmd() + .current_dir(tmp.path()) + .args(["issue", "list", "--format", "path"]) + .assert() + .success(); + + let stdout = String::from_utf8_lossy(&output.get_output().stdout); + let lines: Vec<&str> = stdout.trim().lines().collect(); + assert_eq!(lines, vec!["140"]); +} + +#[test] +fn issue_list_empty() { + let tmp = tempfile::tempdir().expect("create temp dir"); + // Create empty DB + let ci_dir = tmp.path().join(".commandindex"); + std::fs::create_dir_all(&ci_dir).unwrap(); + let db_path = ci_dir.join("symbols.db"); + let store = commandindex::indexer::symbol_store::SymbolStore::open(&db_path).unwrap(); + store.create_tables().unwrap(); + + let output = common::cmd() + .current_dir(tmp.path()) + .args(["issue", "list"]) + .assert() + .success(); + + let stdout = String::from_utf8_lossy(&output.get_output().stdout); + assert!(stdout.contains("No issues found.")); +} From e9bd973717341cec1af195bcccfcc048aac605fc Mon Sep 17 00:00:00 2001 From: kewton Date: Wed, 25 Mar 2026 16:59:16 +0900 Subject: [PATCH 2/5] docs(issue-169): add design policy, review reports, and work plan Development documentation for issue list subcommand: - Design policy with 13 sections (architecture, SQL, security, tests) - Multi-stage issue review (8 stages, Claude + Codex) - Multi-stage design review (8 stages, Claude + Codex) - Work plan with 16 tasks across 5 phases Co-Authored-By: Claude Opus 4.6 (1M context) --- .../issue-169-issue-list-design-policy.md | 329 ++++++++++++++++++ .../issue-review/hypothesis-verification.md | 31 ++ .../169/issue-review/original-issue.json | 1 + .../issue-review/stage1-review-context.json | 44 +++ .../169/issue-review/stage2-apply-result.json | 13 + .../issue-review/stage3-review-context.json | 44 +++ .../169/issue-review/stage4-apply-result.json | 10 + .../issue-review/stage5-review-context.json | 49 +++ .../169/issue-review/stage6-apply-result.json | 13 + .../issue-review/stage7-review-context.json | 44 +++ .../169/issue-review/stage8-apply-result.json | 14 + .../issue/169/issue-review/summary-report.md | 53 +++ .../stage1-apply-result.json | 11 + .../stage1-review-context.json | 41 +++ .../stage2-apply-result.json | 10 + .../stage2-review-context.json | 41 +++ .../stage3-apply-result.json | 1 + .../stage3-review-context.json | 18 + .../stage4-apply-result.json | 1 + .../stage4-review-context.json | 16 + .../stage5-review-context.json | 19 + .../stage6-apply-result.json | 9 + .../stage7-review-context.json | 19 + .../stage8-apply-result.json | 11 + .../summary-report.md | 42 +++ .../pm-auto-dev/iteration-1/tdd-context.json | 25 ++ dev-reports/issue/169/work-plan.md | 222 ++++++++++++ 27 files changed, 1131 insertions(+) create mode 100644 dev-reports/design/issue-169-issue-list-design-policy.md create mode 100644 dev-reports/issue/169/issue-review/hypothesis-verification.md create mode 100644 dev-reports/issue/169/issue-review/original-issue.json create mode 100644 dev-reports/issue/169/issue-review/stage1-review-context.json create mode 100644 dev-reports/issue/169/issue-review/stage2-apply-result.json create mode 100644 dev-reports/issue/169/issue-review/stage3-review-context.json create mode 100644 dev-reports/issue/169/issue-review/stage4-apply-result.json create mode 100644 dev-reports/issue/169/issue-review/stage5-review-context.json create mode 100644 dev-reports/issue/169/issue-review/stage6-apply-result.json create mode 100644 dev-reports/issue/169/issue-review/stage7-review-context.json create mode 100644 dev-reports/issue/169/issue-review/stage8-apply-result.json create mode 100644 dev-reports/issue/169/issue-review/summary-report.md create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage1-apply-result.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage1-review-context.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage2-apply-result.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage2-review-context.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage3-apply-result.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage3-review-context.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage4-apply-result.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage4-review-context.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage5-review-context.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage6-apply-result.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage7-review-context.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/stage8-apply-result.json create mode 100644 dev-reports/issue/169/multi-stage-design-review/summary-report.md create mode 100644 dev-reports/issue/169/pm-auto-dev/iteration-1/tdd-context.json create mode 100644 dev-reports/issue/169/work-plan.md diff --git a/dev-reports/design/issue-169-issue-list-design-policy.md b/dev-reports/design/issue-169-issue-list-design-policy.md new file mode 100644 index 0000000..7e741b7 --- /dev/null +++ b/dev-reports/design/issue-169-issue-list-design-policy.md @@ -0,0 +1,329 @@ +# 設計方針書: Issue #169 — issue listサブコマンドの追加 + +## 1. Issue概要 + +| 項目 | 内容 | +|------|------| +| Issue番号 | #169 | +| タイトル | issue listサブコマンドの追加 | +| 目的 | インデックス内の全Issue一覧を表示し、Issue番号を知らなくても俯瞰できるようにする | +| Breaking Change | `issue ` → `issue show ` | + +## 2. システムアーキテクチャ概要 + +``` +CLI Layer (main.rs / cli/) + ├── issue list ← 新規追加 + ├── issue show ← issue から移行 + ├── suggest ← issue コマンド参照を更新 + └── help-llm ← ガイダンス更新 + +Data Layer (indexer/) + └── symbol_store.rs + └── list_all_issues() ← 新規追加 + +Output Layer (output/) + └── OutputFormat (Human/Json/Path/Llm) ← 既存活用 +``` + +## 3. レイヤー構成と責務 + +| レイヤー | モジュール | 今回の変更 | +|---------|-----------|-----------| +| **CLI** | `src/main.rs` | Commands::Issue をサブコマンド構造に変更、IssueCommands enum 追加 | +| **CLI** | `src/cli/issue.rs` | `run_list()` 追加、`run()` → `run_show()` にリネーム（API対称性） | +| **Indexer** | `src/indexer/symbol_store.rs` | `list_all_issues()` メソッド追加 | +| **CLI** | `src/cli/help_llm.rs` | issue コマンドの説明・例を全箇所更新 | +| **CLI** | `src/cli/suggest.rs` | 生成コマンドを `issue show` に更新 | +| **Output** | `src/output/mod.rs` | 変更なし（既存 OutputFormat を再利用） | + +## 4. 設計判断とトレードオフ + +### 判断1: サブコマンド構造の採用 + +**選択**: ConfigCommands パターンに合わせた IssueCommands enum + +```rust +#[derive(Subcommand)] +enum IssueCommands { + /// List all issues in the knowledge graph + List { + #[arg(long, value_enum, default_value_t = OutputFormat::Human)] + format: OutputFormat, + }, + /// Show documents related to an Issue + Show { + #[arg(value_parser = clap::value_parser!(u64).range(1..))] + number: u64, + #[arg(long, value_enum, default_value_t = OutputFormat::Human)] + format: OutputFormat, + }, +} +``` + +**理由**: clapのpositional argとsubcommandの共存は困難。ConfigCommandsで実績あるパターンを踏襲することで一貫性を保つ。 + +**トレードオフ**: `issue ` が breaking change になるが、`issue show ` の方がコマンド体系として明確。 + +### 判断2: 1クエリ集計 + +**選択**: LEFT JOIN + GROUP BY + 条件付きCOUNTで1クエリ + +**理由**: N+1問題を回避し、パフォーマンスを確保。 + +**トレードオフ**: SQLが複雑になるが、Issue数×リレーション数の個別クエリよりも効率的。 + +### 判断3: label取得 — 設計書ファイル名のみ + +**選択**: 設計書ファイル名から正規表現抽出、ない場合は空文字 + +**理由**: `knowledge_nodes.title` は現在のインデクシング経路（`scan_dev_reports()` → `insert_knowledge_entries()`）ではIssueノードに格納されない。存在しないデータに依存しない設計とする。 + +### 判断4: modifies リレーションの除外 + +**選択**: doc_count のカウント対象から modifies を除外 + +**理由**: modifies は file ノードを指し、ドキュメント（設計書・レビュー等）ではない。ドキュメント件数としてカウントすると意味が変わる。 + +## 5. データ構造設計 + +### IssueListEntry（新規） + +### データ層 DTO（`src/indexer/symbol_store.rs`） + +```rust +/// SymbolStore から返す最小限のrow DTO +pub struct IssueListRow { + pub number: u64, + pub doc_count: u32, + pub design_file_path: Option, // 内部用、公開APIには含めない + pub has_design: bool, + pub has_review: bool, + pub has_workplan: bool, + pub has_progress: bool, +} +``` + +### CLI表示モデル（`src/cli/issue.rs`） + +```rust +/// CLI出力用のIssue一覧エントリ +pub struct IssueListEntry { + pub number: u64, + pub doc_count: u32, + pub label: String, // design_file_path から抽出済み + pub has_design: bool, + pub has_review: bool, + pub has_workplan: bool, + pub has_progress: bool, +} +``` + +**責務分離**: `list_all_issues()` は `Vec` を返し、`cli/issue.rs` の `run_list()` 内で `IssueListRow` → `IssueListEntry` に変換（label抽出含む）。公開APIに実装詳細（design_file_path）を漏らさない。 + +**戻り値**: `Vec` を直接返す（YAGNI: ラッパー構造体は不要）。 + +## 6. SQLクエリ設計 + +```sql +SELECT + kn_issue.identifier AS issue_number, + COUNT(CASE WHEN ke.relation IN ('has_design','has_review','has_workplan','has_progress') + AND kn_doc.type = 'document' THEN 1 END) AS doc_count, + COUNT(CASE WHEN ke.relation = 'has_design' AND kn_doc.type = 'document' THEN 1 END) > 0 AS has_design, + COUNT(CASE WHEN ke.relation = 'has_review' AND kn_doc.type = 'document' THEN 1 END) > 0 AS has_review, + COUNT(CASE WHEN ke.relation = 'has_workplan' AND kn_doc.type = 'document' THEN 1 END) > 0 AS has_workplan, + COUNT(CASE WHEN ke.relation = 'has_progress' AND kn_doc.type = 'document' THEN 1 END) > 0 AS has_progress, + MAX(CASE WHEN ke.relation = 'has_design' AND kn_doc.type = 'document' THEN kn_doc.file_path END) AS design_file_path +FROM knowledge_nodes kn_issue +LEFT JOIN knowledge_edges ke ON ke.source_id = kn_issue.id +LEFT JOIN knowledge_nodes kn_doc ON ke.target_id = kn_doc.id AND kn_doc.type = 'document' +WHERE kn_issue.type = 'issue' +GROUP BY kn_issue.identifier +ORDER BY CAST(kn_issue.identifier AS INTEGER) +``` + +**インデックス利用**: `idx_kn_type` (knowledge_nodes.type) が WHERE 句で活用される。 + +## 7. label取得の設計 + +```rust +use regex::Regex; +use std::sync::LazyLock; + +static DESIGN_LABEL_RE: LazyLock = LazyLock::new(|| { + Regex::new(r"issue-\d+-(.+)-design-policy\.md$").unwrap() +}); + +fn extract_label_from_design_path(path: &str) -> String { + DESIGN_LABEL_RE + .captures(path) + .and_then(|c| c.get(1)) + .map(|m| m.as_str().to_string()) + .unwrap_or_default() +} +``` + +label取得フロー: +1. `list_all_issues()` のSQLクエリ内で設計書パスも一括取得する（GROUP_CONCATまたはMAXで設計書パスを集約） +2. パスから正規表現でラベルを抽出 +3. 設計書がない場合は空文字 + +**N+1回避**: 判断2の方針に沿い、Issue単位の追加クエリは発行しない。SQLクエリで設計書パスも一括取得する。 + +## 8. 出力フォーマット設計 + +### human format +``` +Issue #47 (5 docs) terminal-search +Issue #99 (5 docs) markdown-editor-display-improvement +Issue #104 (7 docs) ipad-fullscreen-bugfix +Total: 3 issues +``` + +### json format +```json +[ + {"number": 47, "doc_count": 5, "label": "terminal-search", "has_design": true, "has_review": true, "has_workplan": true, "has_progress": false}, + {"number": 99, "doc_count": 5, "label": "markdown-editor-display-improvement", "has_design": true, "has_review": false, "has_workplan": true, "has_progress": false} +] +``` + +### path format +``` +47 +99 +104 +``` + +### llm format +```markdown +| Issue | Docs | Label | Design | Review | Workplan | Progress | +|-------|------|-------|--------|--------|----------|----------| +| #47 | 5 | terminal-search | Yes | Yes | Yes | No | +| #99 | 5 | markdown-editor-display-improvement | Yes | No | Yes | No | + +Total: 2 issues +``` + +### 0件時 +- human: `No issues found.` +- json: `[]` +- path: （空出力） +- llm: `No issues found.` + +### フォーマッタ命名規則 +issue list のフォーマッタは `format_list_human()`, `format_list_json()` 等、`format_list_` プレフィックスを使用し、既存の issue show フォーマッタとの名前衝突を回避する。 + +## 9. DRY: 共通ヘルパー関数 + +DB存在チェックとSymbolStore::openのボイラープレートを共通化: + +```rust +fn open_symbol_store(commandindex_dir: &Path) -> Result { + let db_path = crate::indexer::symbol_db_path(commandindex_dir); + if !db_path.exists() { + return Err(IssueCommandError::SymbolStore(/* DB not found */)); + } + SymbolStore::open(&db_path).map_err(IssueCommandError::SymbolStore) +} +``` + +`run_show()` と `run_list()` の両方からこのヘルパーを呼び出し、ボイラープレートの重複を排除する。 + +## 10. main.rs 変更設計 + +```rust +// Before +Commands::Issue { number, format } => { ... } + +// After +/// Issue-related commands +Issue { + #[command(subcommand)] + command: IssueCommands, +}, + +// ディスパッチャー +Commands::Issue { command } => match command { + IssueCommands::List { format } => { + match commandindex::cli::issue::run_list(format, &commandindex_dir) { + Ok(()) => 0, + Err(e) => { eprintln!("Error: {e}"); 1 } + } + } + IssueCommands::Show { number, format } => { + match commandindex::cli::issue::run_show(number, format, &commandindex_dir) { + Ok(()) => 0, + Err(e) => { eprintln!("Error: {e}"); 1 } + } + } +} +``` + +## 10. 影響範囲 + +### 直接変更ファイル + +| ファイル | 変更規模 | 変更内容 | +|---------|---------|---------| +| `src/cli/issue.rs` | 大 | `run_list()` 追加、4フォーマット関数（format_list_*） | +| `src/main.rs` | 中 | IssueCommands enum、ディスパッチャー変更 | +| `src/indexer/symbol_store.rs` | 中 | `list_all_issues()` メソッド + 単体テスト | +| `src/cli/help_llm.rs` | 中 | (1) build_use_cases() の `issue 140` → `issue show 140`, (2) build_workflows() の Investigation ワークフロー最終ステップ, (3) build_commands() の issue CommandInfo 全体（subcommands フィールド追加含む） | +| `src/cli/suggest.rs` | 小〜中 | `issue {num}` → `issue show {num}`（テスト3件も更新） | +| `tests/e2e_issue.rs` | 大 | 全6テスト `["issue", "N"]` → `["issue", "show", "N"]` 更新 + issue list テスト追加 | +| `tests/cli_args.rs` | 中 | 既存issue関連テスト一式をshow構文へ更新 + list パーステスト・旧構文エラーテスト追加 | + +### 間接影響（確認のみ） +- `src/cli/before_change.rs`, `src/cli/why.rs`: 機能本体は影響なし、ヘルプ文脈の整合確認 + +## 11. セキュリティ設計 + +| 脅威 | 対策 | 優先度 | +|------|------|--------| +| 不正DBデータ | 不正identifier/壊れたknowledge graphデータの防御的処理、ログ出力時の制御文字除去 | 高 | +| パストラバーサル | label抽出は正規表現のみ、ファイルI/Oなし。`design_file_path` は表示専用 | 中 | +| unsafe使用 | 使用なし | 中 | +| CAST式の不正データ | Rust側で identifier の u64 パース検証、変換不可は警告ログ出力しスキップ（サイレントスキップ禁止） | 中 | +| エラーメッセージ漏洩 | IssueCommandError の Display でユーザー向けメッセージに変換 | 低 | +| 正規表現パニック | `unwrap()` を `expect("BUG: invalid regex pattern")` に変更 | 低 | + +## 12. 品質基準 + +| チェック項目 | コマンド | 基準 | +|-------------|----------|------| +| ビルド | `cargo build` | エラー0件 | +| Clippy | `cargo clippy --all-targets -- -D warnings` | 警告0件 | +| テスト | `cargo test --all` | 全テストパス | +| フォーマット | `cargo fmt --all -- --check` | 差分なし | + +## 13. テスト戦略 + +### 単体テスト（src/indexer/symbol_store.rs） +- `list_all_issues()` の基本動作 +- modifies混在ケース（doc_countから除外確認） +- 設計書なしIssue（has_design=false） +- 0件ケース +- 非数値identifier混入ケース（警告ログ出力確認） + +### 単体テスト（src/cli/issue.rs） +- `IssueListEntry` のフォーマッタ（human/json/path/llm） +- 0件時の出力 +- label抽出の正規表現 +- `IssueListRow` → `IssueListEntry` 変換 + +### E2Eテスト（tests/e2e_issue.rs） +- `issue list` 全フォーマット +- `issue show ` 既存動作確認 +- `issue list` 0件ケース + +### CLIテスト（tests/cli_args.rs） +- `issue --help` にlist/showが表示される +- `issue list --format json` パース確認 +- 既存issue関連テスト（数値受理、0拒否、非数拒否等）をshow構文に更新 +- 旧構文 `issue ` がエラーになることの確認 + +### 回帰テスト（help_llm / suggest） +- help_llm の出力に旧構文 `issue ` が含まれないこと +- suggest が `issue show ` を生成すること diff --git a/dev-reports/issue/169/issue-review/hypothesis-verification.md b/dev-reports/issue/169/issue-review/hypothesis-verification.md new file mode 100644 index 0000000..c1f2eb3 --- /dev/null +++ b/dev-reports/issue/169/issue-review/hypothesis-verification.md @@ -0,0 +1,31 @@ +# Issue #169 仮説検証レポート + +## 検証結果サマリー + +| 仮説 | 判定 | 詳細 | +|---|---|---| +| 1. `issue` コマンド存在 | **Confirmed** | コマンド実装済み、Issue番号引数とformat対応 | +| 2. `knowledge_edges` に `issue_number` カラム | **Rejected** | knowledge_nodes を JOIN で取得する設計 | +| 3. `--format` オプション実装 | **Confirmed** | human/json/path/llm 形式、複数コマンドで使用 | +| 4. 設計書ファイルからラベル抽出 | **Confirmed** | パターンマッチ→DocSubtype→日本語ラベル | + +## 仮説1: `issue` コマンドが既に存在するか — Confirmed + +- `src/cli/issue.rs` (行120-159): `run(issue_number, format, commandindex_dir)` 実装 +- `src/main.rs` (行295-302, 982-998): clapコマンド定義・ハンドラー + +## 仮説2: `knowledge_edges` に `issue_number` カラム — Rejected + +`knowledge_edges` は source_id/target_id/relation/metadata の構造。Issue番号は `knowledge_nodes` テーブル (type='issue', identifier=issue_number) に保存。`find_documents_by_issue()` で JOIN して取得。 + +## 仮説3: `--format` オプション — Confirmed + +`OutputFormat` enum (Human/Json/Path/Llm) が `src/output/mod.rs` で定義済み。issue, why, suggest, before-change コマンドで使用。 + +## 仮説4: 設計書ファイルからラベル抽出 — Confirmed (メタデータ経由) + +`src/indexer/knowledge.rs` (行369-415) でファイルパスパターンから DocSubtype を判定し、`display_label()` で日本語ラベル表示。 + +## Issue修正が必要な点 + +- 「knowledge_edgesテーブルからissue_numberのDISTINCTを取得」は不正確。正しくは knowledge_nodes テーブルで type='issue' のノードを DISTINCT 取得し、knowledge_edges で関連ドキュメントを参照する設計。 diff --git a/dev-reports/issue/169/issue-review/original-issue.json b/dev-reports/issue/169/issue-review/original-issue.json new file mode 100644 index 0000000..1809b37 --- /dev/null +++ b/dev-reports/issue/169/issue-review/original-issue.json @@ -0,0 +1 @@ +{"body":"## 概要\n\n現在`issue`コマンドはIssue番号を引数に取るが、インデックス内にどのIssueが含まれるかを知る手段がない。Issue番号を知らないユーザーやAIエージェントは`issue`コマンドの入口がない。\n\n## 現状\n\n```bash\ncommandindexdev issue 299 # Issue番号を知っていれば使える\ncommandindexdev issue ??? # 何番があるか知る方法がない\n```\n\n## 期待される結果\n\n```bash\ncommandindexdev issue list\n# Issue #47 (5 docs) terminal-search\n# Issue #99 (5 docs) markdown-editor-display-improvement\n# Issue #104 (7 docs) ipad-fullscreen-bugfix\n# Issue #112 (6 docs) sidebar-transform\n# ...\n# Total: 142 issues\n\ncommandindexdev issue list --format json\n# [{\"number\": 47, \"doc_count\": 5, \"label\": \"terminal-search\", \"has_design\": true, \"has_workplan\": true}, ...]\n```\n\n## 実装案\n\n- `issue list` サブコマンドまたは `issue` を引数なしで実行した場合に一覧表示\n- ナレッジグラフの`knowledge_edges`テーブルから`issue_number`のDISTINCTを取得\n- 各Issueのドキュメント件数、設計書の有無、ラベル（設計書ファイル名から抽出）を表示\n- `--format human/json/path` 対応\n\n## 対象バリュー\n\n- **Issue中心**: Issue番号を知らなくても、インデックス内の全Issueを俯瞰できる","title":"issue listサブコマンドの追加"} diff --git a/dev-reports/issue/169/issue-review/stage1-review-context.json b/dev-reports/issue/169/issue-review/stage1-review-context.json new file mode 100644 index 0000000..1e2bad8 --- /dev/null +++ b/dev-reports/issue/169/issue-review/stage1-review-context.json @@ -0,0 +1,44 @@ +{ + "must_fix": [ + { + "title": "CLIコマンド設計: `issue list` はサブコマンド化が必要だが Issue は既存の positional arg 構造", + "description": "現在の `Issue` コマンドは `number: u64` を required な positional arg として定義しており、`issue list` を追加するには clap の Subcommand パターンへ変更が必要。Issue 本文では両方の案が混在しており、breaking change の有無が不明確。", + "suggestion": "方針を1つに確定すること。推奨案: Config コマンドと同様に IssueCommands enum を導入し `issue list` と `issue show ` の2サブコマンドに分割する。" + }, + { + "title": "データ取得方法の具体的SQLが未定義", + "description": "Issue 一覧取得のためのクエリが未定義。knowledge_nodes テーブルから type='issue' の DISTINCT を取得するとあるが、各 Issue のドキュメント件数、設計書の有無、ラベル取得の具体的な SQL 設計がない。modifies リレーションのドキュメントを含めるか否かが不明。", + "suggestion": "受け入れ基準として以下を明記: (1) doc_count のカウント対象リレーション、(2) SymbolStore に list_all_issues() メソッドを追加し SQL クエリを設計方針に含める。" + } + ], + "should_fix": [ + { + "title": "期待される出力の label フィールドの取得元が不正確", + "description": "label がどこから抽出されるか曖昧。設計書がない Issue には label が取得できない。", + "suggestion": "label の取得ロジックを明確化: (1) 設計書ファイル名から抽出、(2) 設計書がない場合は knowledge_nodes.title を使用、(3) いずれもない場合は空文字列。" + }, + { + "title": "ソート順が未定義", + "description": "Issue 一覧の表示順序が指定されていない。", + "suggestion": "デフォルトソートを Issue 番号の昇順と明記する。" + }, + { + "title": "受け入れ基準（Acceptance Criteria）が明示されていない", + "description": "テスト可能な受け入れ基準のリストがない。", + "suggestion": "以下を追加: (1) issue list で全 Issue が番号昇順で表示、(2) --format json で有効な JSON 配列出力、(3) Total 行表示、(4) Issue 0件時のメッセージ、(5) --format path/llm の挙動定義。" + } + ], + "nice_to_have": [ + { + "title": "Path / Llm フォーマットの出力仕様が未定義", + "description": "human と json の出力例はあるが、path と llm フォーマットの出力が定義されていない。", + "suggestion": "path は Issue 番号を1行1つで出力、llm は Markdown テーブル形式で出力。" + }, + { + "title": "ページネーションの考慮", + "description": "Issue 数が多い場合の対応。", + "suggestion": "初回は全件表示で問題ない。内部実装では SQL に LIMIT 設定可能な設計にしておくことを推奨。" + } + ], + "summary": "主な懸念は2点: (1) CLIインターフェースの設計方針が確定していない（サブコマンド化 vs 引数なしフォールバック）。(2) データ取得のSQL設計が具体化されていない。受け入れ基準の明示化とソート順の定義を推奨。全体として実現可能な機能追加。" +} diff --git a/dev-reports/issue/169/issue-review/stage2-apply-result.json b/dev-reports/issue/169/issue-review/stage2-apply-result.json new file mode 100644 index 0000000..22c6a42 --- /dev/null +++ b/dev-reports/issue/169/issue-review/stage2-apply-result.json @@ -0,0 +1,13 @@ +{ + "stage": 2, + "applied_fixes": [ + "CLI設計方針を確定: サブコマンド化 (issue list / issue show )", + "データ取得方法の具体化: knowledge_nodes JOIN knowledge_edges + GROUP BY", + "doc_count カウント対象リレーションを明記 (modifies除外)", + "label取得ロジックの優先順位を定義", + "ソート順を Issue番号昇順に確定", + "全フォーマット (human/json/path/llm) の出力仕様を定義", + "受け入れ基準を8項目追加" + ], + "issue_updated": true +} diff --git a/dev-reports/issue/169/issue-review/stage3-review-context.json b/dev-reports/issue/169/issue-review/stage3-review-context.json new file mode 100644 index 0000000..9b192c8 --- /dev/null +++ b/dev-reports/issue/169/issue-review/stage3-review-context.json @@ -0,0 +1,44 @@ +{ + "must_fix": [ + { + "title": "Breaking change の移行戦略が未定義", + "description": "`issue ` → `issue show ` の breaking change。全ユーザー、スクリプト、CI/CD に影響。help_llm.rs にハードコードされたコマンド例もある。", + "suggestion": "deprecation warning を出す移行期間を設けるか、最低限 CHANGELOG に明記する。" + }, + { + "title": "E2Eテスト (tests/e2e_issue.rs) が全件修正必要", + "description": "全6テストが `[\"issue\", \"140\"]` 形式で呼び出し。サブコマンド化後は全て書き換え必要。", + "suggestion": "テスト変更時に旧形式のエラーメッセージ検証テストも追加する。" + }, + { + "title": "CLIパーステスト (tests/cli_args.rs) が全件修正必要", + "description": "5つのissue CLIテストが全て旧形式。issue list 用のパーステストも追加が必要。", + "suggestion": "既存テスト更新 + issue list テスト追加。" + } + ], + "should_fix": [ + { + "title": "help_llm.rs のLLMガイダンス更新", + "description": "issueコマンドの説明がサブコマンド構造に対応していない。", + "suggestion": "issue show と issue list の両方の例・説明を追加。" + }, + { + "title": "list_all_issues() のクエリにLIMIT考慮", + "description": "大量Issue時のパフォーマンス。knowledge_nodes の idx_kn_type インデックスは活用可能。", + "suggestion": "LIMIT パラメータ（デフォルト100）を設け --limit CLIオプションで制御。" + }, + { + "title": "main.rs のディスパッチャー変更", + "description": "ConfigCommands パターンに合わせた IssueCommands enum でのmatch式への変更。", + "suggestion": "ConfigCommands と同パターンで実装。" + } + ], + "nice_to_have": [ + { + "title": "suggest/before_change/why コマンドへの影響は軽微", + "description": "SymbolStore API を直接利用しており issue サブコマンド構造変更の影響を受けない。", + "suggestion": "ヘルプテキスト内の issue コマンド参照がないか確認。" + } + ], + "summary": "breaking change を含むため、テスト修正（e2e 6件, cli_args 5件）と LLMガイダンス更新が必須。SymbolStore への list_all_issues() 追加は技術的リスク低。ConfigCommands パターン踏襲で構造は明確。他CLIコマンドへの影響は軽微。" +} diff --git a/dev-reports/issue/169/issue-review/stage4-apply-result.json b/dev-reports/issue/169/issue-review/stage4-apply-result.json new file mode 100644 index 0000000..1b922e3 --- /dev/null +++ b/dev-reports/issue/169/issue-review/stage4-apply-result.json @@ -0,0 +1,10 @@ +{ + "stage": 4, + "applied_fixes": [ + "影響範囲セクション追加: 変更ファイル一覧と影響を受けないファイルを明記", + "SQLクエリ設計を具体化 (JOIN + GROUP BY + ORDER BY CAST)", + "受け入れ基準にテスト関連の3項目追加 (e2e, cli_args, help_llm)", + "help_llm.rs 更新の必要性を明記" + ], + "issue_updated": true +} diff --git a/dev-reports/issue/169/issue-review/stage5-review-context.json b/dev-reports/issue/169/issue-review/stage5-review-context.json new file mode 100644 index 0000000..991cf73 --- /dev/null +++ b/dev-reports/issue/169/issue-review/stage5-review-context.json @@ -0,0 +1,49 @@ +{ + "must_fix": [ + { + "title": "doc_count 集計SQLが既存ナレッジグラフと不整合で、modifies を誤カウントする", + "description": "Issue本文のSQL例は knowledge_edges を relation 条件なしで JOIN して COUNT(ke.id) しているが、modifies も保存されるため doc_count が水増しされる。Issue本文では modifies は対象外と書かれているが、SQL例がその要件を満たしていない。", + "suggestion": "SQL設計を relation/type 条件込みで明記。kn_doc.type = 'document' かつ ke.relation IN ('has_design','has_review','has_workplan','has_progress') を条件に入れる。" + }, + { + "title": "knowledge_nodes.title を label fallback に使う前提が現状実装では成立していない", + "description": "通常のインデクシング経路では scan_dev_reports() -> insert_knowledge_entries() が issue ノードを type='issue', identifier= だけで作成しており、title は格納されない。", + "suggestion": "fallback を knowledge_nodes.title 依存にせず、現時点では空文字固定と明記する。" + }, + { + "title": "影響範囲の記述が不正確で、src/cli/suggest.rs は breaking change の影響を受ける", + "description": "src/cli/suggest.rs は commandindexdev issue {issue_num} --format json を直接生成している。issue を issue show に変更するなら、この生成コマンドは壊れる。", + "suggestion": "影響範囲に src/cli/suggest.rs を追加し、生成コマンドを issue show --format json に更新する。" + } + ], + "should_fix": [ + { + "title": "Breaking Change の旧構文の扱いが未定義", + "description": "issue から issue show への breaking change は明記されたが、旧構文を完全廃止するのか、互換 alias を残すのか未定義。", + "suggestion": "旧構文の扱いを明記。完全廃止なら issue 140 が clap の subcommand error になることを受け入れ基準に追加。" + }, + { + "title": "issue list の0件時挙動が曖昧", + "description": "stdout/stderr のどちらに出すか、終了コードを 0 にするか 1 にするかが不明。", + "suggestion": "0件時: 成功終了、human では No issues found と Total: 0 issues、json では []、path では空出力。" + }, + { + "title": "JSON出力の項目設計が非対称", + "description": "doc_count は has_design/has_review/has_workplan/has_progress を数える一方、JSON例は has_design と has_workplan しか持たない。", + "suggestion": "has_review と has_progress も含めるか、relation ごとの件数にするか統一する。" + }, + { + "title": "受け入れ基準に help / suggest 出力の更新確認が不足", + "description": "CLI help (issue --help) が subcommand 構造を反映することや、suggest が新構文を出すことが受け入れ基準に入っていない。", + "suggestion": "受け入れ基準に issue --help が list/show を表示すること、suggest の出力例が新構文に更新されることを追加。" + } + ], + "nice_to_have": [ + { + "title": "一覧SQLの将来拡張余地", + "description": "LIMIT/OFFSET やフィルタ条件を追加しやすい形にしておくと再設計コストを抑えられる。", + "suggestion": "list_all_issues() をページネーションやフィルタ追加に拡張しやすい設計にする旨を補足。" + } + ], + "summary": "前回の主要指摘は概ね反映されているが、1) modifies を持つ knowledge graph に対して提示SQLが不正確、2) knowledge_nodes.title fallback は現状の index 経路ではほぼ機能しない、3) suggest を影響なしとしているのは誤り、の3点が残っている。" +} diff --git a/dev-reports/issue/169/issue-review/stage6-apply-result.json b/dev-reports/issue/169/issue-review/stage6-apply-result.json new file mode 100644 index 0000000..43d069a --- /dev/null +++ b/dev-reports/issue/169/issue-review/stage6-apply-result.json @@ -0,0 +1,13 @@ +{ + "stage": 6, + "applied_fixes": [ + "SQL設計を relation/type 条件込みに修正（条件付き集計で doc_count と各 boolean を算出）", + "label fallback を knowledge_nodes.title 依存から空文字固定に変更", + "影響範囲に src/cli/suggest.rs を追加", + "旧構文の扱いを明記（完全廃止、clapサブコマンドエラー）", + "0件時の挙動を具体化（終了コード0、各フォーマットの出力仕様）", + "JSON出力に has_review, has_progress を追加", + "受け入れ基準に issue --help, suggest 出力更新, 旧構文エラーを追加" + ], + "issue_updated": true +} diff --git a/dev-reports/issue/169/issue-review/stage7-review-context.json b/dev-reports/issue/169/issue-review/stage7-review-context.json new file mode 100644 index 0000000..e237af3 --- /dev/null +++ b/dev-reports/issue/169/issue-review/stage7-review-context.json @@ -0,0 +1,44 @@ +{ + "must_fix": [ + { + "title": "help_llm.rs 内の旧構文参照が全箇所更新対象に入っていない", + "description": "help_llm.rs にはコマンド説明だけでなく use case と workflow の例でも commandindexdev issue 140 がハードコードされている。一括更新しないとガイダンスと実装が不整合になる。", + "suggestion": "受け入れ基準に『旧構文の参照がコードベース内に残っていない』確認を追加する。" + }, + { + "title": "suggest / help-llm 系の回帰テストが未捕捉", + "description": "suggest は issue {issue_num} --format json を生成し、help_llm.rs も旧構文例を返すが、これらの変更に対応するテストが影響範囲に入っていない。", + "suggestion": "suggest の出力検証テストと help-llm の issue コマンド記述検証を追加対象に含める。" + }, + { + "title": "一覧クエリの性能特性が明文化されていない", + "description": "issue list は毎回 LEFT JOIN + GROUP BY + CAST を実行。modifies を含む大きな knowledge graph では不要な行まで読む可能性。", + "suggestion": "EXPLAIN QUERY PLAN ベースの確認、将来の --limit 余地を実装メモに追加。" + } + ], + "should_fix": [ + { + "title": "symbols.db 未作成時と0件時の挙動差の整理", + "description": "issue show は DB不在でエラー。issue list は0件時成功終了と定義されているが、DB不在と DB有0件を正しく分ける必要がある。", + "suggestion": "受け入れ基準に symbols.db 不在時の issue list の扱いを追加。" + }, + { + "title": "SymbolStore 単体テストの追加が必要", + "description": "list_all_issues() の doc_count と4つの boolean、label を返す新DTOのテストが不足。modifies 混在ケース、設計書なしIssue、0件ケースが必要。", + "suggestion": "src/indexer/symbol_store.rs に対する単体テスト追加を影響範囲に含める。" + }, + { + "title": "clap のエラーメッセージ文字列に依存したテストは壊れやすい", + "description": "サブコマンド化により --help、エラー文言、usage が変わる。", + "suggestion": "テストでは完全一致文言ではなく部分一致で検証する。" + } + ], + "nice_to_have": [ + { + "title": "label 抽出の正規表現を静的に再利用", + "description": "一覧全件に対して毎回 regex を組み立てると無駄。", + "suggestion": "regex を静的に再利用するか、SQL/DTO構築後の単純文字列処理で済ませる。" + } + ], + "summary": "breaking change が中心。既存機能への主影響は issue 利用者、help-llm のハードコード例、suggest の生成コマンド。テスト影響は e2e_issue と cli_args だけでは足りず、suggest、help-llm、SymbolStore 単体まで見るべき。パフォーマンスは今の規模なら許容。依存関係は新規追加不要。" +} diff --git a/dev-reports/issue/169/issue-review/stage8-apply-result.json b/dev-reports/issue/169/issue-review/stage8-apply-result.json new file mode 100644 index 0000000..2649014 --- /dev/null +++ b/dev-reports/issue/169/issue-review/stage8-apply-result.json @@ -0,0 +1,14 @@ +{ + "stage": 8, + "applied_fixes": [ + "help_llm.rs の全参照箇所更新を受け入れ基準に追加（旧構文残存チェック）", + "suggest / help-llm 系テスト追加を影響範囲に反映", + "パフォーマンス注記を追加（EXPLAIN QUERY PLAN、将来の --limit 余地）", + "symbols.db 未作成時の挙動を明記（エラー終了）", + "SymbolStore 単体テスト追加を受け入れ基準に追加（modifies混在ケース含む）", + "clap エラーメッセージテストは部分一致で検証する旨を追加", + "before_change/why の影響記述を『機能本体は影響なし、ガイダンス整合確認は必要』に修正", + "label の正規表現を静的に再利用する旨を追加" + ], + "issue_updated": true +} diff --git a/dev-reports/issue/169/issue-review/summary-report.md b/dev-reports/issue/169/issue-review/summary-report.md new file mode 100644 index 0000000..cfb2e5f --- /dev/null +++ b/dev-reports/issue/169/issue-review/summary-report.md @@ -0,0 +1,53 @@ +# Issue #169 マルチステージIssueレビュー サマリーレポート + +## Issue概要 +- **タイトル**: issue listサブコマンドの追加 +- **目的**: インデックス内のIssue一覧を表示するCLIコマンドの追加 + +## レビュー実施状況 + +| Stage | 種別 | 実行者 | Must Fix | Should Fix | Nice to Have | +|-------|------|--------|----------|------------|--------------| +| 0.5 | 仮説検証 | Claude | - | - | - | +| 1 | 通常レビュー（1回目） | Claude opus | 2 | 3 | 2 | +| 2 | 指摘反映（1回目） | Claude sonnet | - | - | - | +| 3 | 影響範囲レビュー（1回目） | Claude opus | 3 | 3 | 1 | +| 4 | 指摘反映（1回目） | Claude sonnet | - | - | - | +| 5 | 通常レビュー（2回目） | Codex (gpt-5.4) | 3 | 4 | 1 | +| 6 | 指摘反映（2回目） | Claude sonnet | - | - | - | +| 7 | 影響範囲レビュー（2回目） | Codex (gpt-5.4) | 3 | 4 | 1 | +| 8 | 指摘反映（2回目） | Claude sonnet | - | - | - | + +## 仮説検証結果 + +| 仮説 | 判定 | +|------|------| +| `issue` コマンド存在 | Confirmed | +| `knowledge_edges` に `issue_number` カラム | Rejected（knowledge_nodesでJOIN） | +| `--format` オプション実装 | Confirmed | +| 設計書ファイルからラベル抽出 | Confirmed（DocSubtypeメタデータ経由） | + +## 主要な改善点（レビューで追加・修正された項目） + +### CLI設計（Stage 1で確定） +- サブコマンド構造化: `issue list` + `issue show ` +- IssueCommands enum パターン（Configコマンド踏襲） + +### データ取得（Stage 5で修正） +- SQL条件にrelation/typeフィルタ追加（modifies除外） +- label fallback を knowledge_nodes.title から空文字固定に変更 + +### 影響範囲（Stage 3, 7で拡充） +- suggest.rs が breaking change の影響を受けることを発見・追加 +- help_llm.rs の全参照箇所更新を明記 +- SymbolStore 単体テスト追加の必要性を特定 + +### 受け入れ基準（段階的に17項目まで拡充） +- 0件時の挙動、symbols.db未作成時の挙動を具体化 +- JSON出力に has_review, has_progress を追加 +- 旧構文残存チェック、clap部分一致テスト等を追加 + +## 最終Issue状態 +- 受け入れ基準: 17項目 +- 影響ファイル: 7ファイル +- Breaking Change: `issue ` → `issue show `（完全廃止） diff --git a/dev-reports/issue/169/multi-stage-design-review/stage1-apply-result.json b/dev-reports/issue/169/multi-stage-design-review/stage1-apply-result.json new file mode 100644 index 0000000..a70895b --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage1-apply-result.json @@ -0,0 +1,11 @@ +{ + "stage": 1, + "applied_fixes": [ + "IssueListResult ラッパー削除 → Vec を直接返す (YAGNI)", + "label取得をN+1回避: SQLクエリ内でdesign_file_pathも一括取得 (MAX)", + "IssueListEntryのlabelをdesign_file_path: Optionに変更 (責務分離)", + "open_symbol_store()ヘルパー関数を設計に追加 (DRY)", + "フォーマッタ命名規則を追記: format_list_ プレフィックス", + "0件時humanフォーマットからTotal行を省略" + ] +} diff --git a/dev-reports/issue/169/multi-stage-design-review/stage1-review-context.json b/dev-reports/issue/169/multi-stage-design-review/stage1-review-context.json new file mode 100644 index 0000000..42fda0f --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage1-review-context.json @@ -0,0 +1,41 @@ +{ + "stage": 1, + "focus": "設計原則 (SOLID/KISS/YAGNI/DRY)", + "must_fix": [], + "should_fix": [ + { + "title": "label取得の2段階処理がN+1クエリを再導入するリスク", + "description": "has_design=trueのIssueごとにfind_documents_by_issue()を追加呼び出しする設計。判断2のN+1回避方針と矛盾。", + "suggestion": "SQLクエリに設計書パスも一括取得するか、2本目のクエリを全Issue一括取得に変更。" + }, + { + "title": "IssueListResultのラッパー構造体がYAGNI", + "description": "IssueListResultはVecをラップするだけ。追加フィールドやメソッドが設計されていない。", + "suggestion": "list_all_issues()の戻り値をVecとし、IssueListResultは削除。" + }, + { + "title": "run_list()内のDB存在チェック・SymbolStore::open・フォーマット出力の3責務", + "description": "run()と同じボイラープレートが重複する。", + "suggestion": "open_symbol_store()ヘルパー関数に抽出し、DRYを改善。" + } + ], + "nice_to_have": [ + { + "title": "IssueListEntryにlabelを持たせるとデータ取得とプレゼンテーションの混在", + "suggestion": "design_file_path: Optionを持たせ、label抽出はCLI層で行う。" + }, + { + "title": "正規表現パターンのハードコードがDRY違反の種", + "suggestion": "scan_dev_reports()の既存パターンと共通定数化を検討。" + }, + { + "title": "出力フォーマッタの名前衝突", + "suggestion": "format_list_human等の命名またはサブモジュール分割。" + }, + { + "title": "0件時のhuman formatでTotal行と空メッセージの両方は冗長", + "suggestion": "No issues found.のみ表示し、Total行は省略。" + } + ], + "summary": "must_fixなし。主な改善点: (1) label取得のN+1回避、(2) IssueListResultラッパー削除(YAGNI)、(3) DB存在チェックのヘルパー抽出(DRY)。" +} diff --git a/dev-reports/issue/169/multi-stage-design-review/stage2-apply-result.json b/dev-reports/issue/169/multi-stage-design-review/stage2-apply-result.json new file mode 100644 index 0000000..af1a835 --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage2-apply-result.json @@ -0,0 +1,10 @@ +{ + "stage": 2, + "applied_fixes": [ + "IssueListEntryの配置先を明示: src/indexer/symbol_store.rs", + "DRYヘルパーのDBパスを crate::indexer::symbol_db_path() に修正", + "run()リネーム方針を統一: リネームせず維持", + "影響範囲テーブルからIssueListResult削除", + "suggest.rsの変更規模を小→小〜中に更新（テスト3件も更新）" + ] +} diff --git a/dev-reports/issue/169/multi-stage-design-review/stage2-review-context.json b/dev-reports/issue/169/multi-stage-design-review/stage2-review-context.json new file mode 100644 index 0000000..558e898 --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage2-review-context.json @@ -0,0 +1,41 @@ +{ + "stage": 2, + "focus": "整合性レビュー", + "must_fix": [ + { + "title": "suggest.rs のテスト更新が設計書に未記載", + "description": "suggest.rs のテスト3件も issue show に更新が必要。", + "suggestion": "影響範囲にsuggest.rsのテスト更新を明記。" + }, + { + "title": "DRYヘルパーでsymbols.dbパスがハードコード", + "description": "既存は crate::indexer::symbol_db_path() を使用。", + "suggestion": "ヘルパーを symbol_db_path() 使用に修正。" + }, + { + "title": "run() vs run_show() のリネーム方針が設計書内で矛盾", + "description": "Section 3でリネームと記載、Section 10でrun()のまま。", + "suggestion": "統一する。" + } + ], + "should_fix": [ + { + "title": "IssueListEntryの配置先モジュールが不明確", + "suggestion": "indexer/symbol_store.rs または indexer/knowledge.rs に配置を明示。" + }, + { + "title": "CAST(identifier AS INTEGER)の非数値テストケース追加", + "suggestion": "テスト戦略に追記。" + }, + { + "title": "影響範囲テーブルにIssueListResult残存", + "suggestion": "YAGNI方針と整合するよう削除。" + } + ], + "nice_to_have": [ + { "title": "regex クレートは既存依存であることを明記" }, + { "title": "help_llm.rs の具体的変更箇所リスト追記" }, + { "title": "フォーマッタ命名の将来的統一TODO" } + ], + "summary": "must_fix 3件: suggest.rsテスト漏れ、DBパスハードコード、run/run_showリネーム矛盾。should_fix 3件: IssueListEntry配置先、CAST安全性テスト、IssueListResult残存。" +} diff --git a/dev-reports/issue/169/multi-stage-design-review/stage3-apply-result.json b/dev-reports/issue/169/multi-stage-design-review/stage3-apply-result.json new file mode 100644 index 0000000..81c99d1 --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage3-apply-result.json @@ -0,0 +1 @@ +{ "stage": 3, "applied_fixes": ["help_llm.rs の具体的変更箇所3点を影響範囲に明記", "e2e_issue.rs の変更パターンを具体化"] } diff --git a/dev-reports/issue/169/multi-stage-design-review/stage3-review-context.json b/dev-reports/issue/169/multi-stage-design-review/stage3-review-context.json new file mode 100644 index 0000000..8d5f2f1 --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage3-review-context.json @@ -0,0 +1,18 @@ +{ + "stage": 3, + "focus": "影響分析レビュー", + "must_fix": [ + { "title": "suggest.rs のコマンド文字列とテスト3件の更新（前ステージと重複、既に設計書に反映済み）" }, + { "title": "help_llm.rs の use_cases/workflows/commands 3箇所の旧形式更新の具体箇所リスト化" }, + { "title": "e2e_issue.rs の全6テストの引数パターン明記" } + ], + "should_fix": [ + { "title": "cli_args.rs の issue list テスト追加" }, + { "title": "IssueListEntry の配置先の既存パターンとの整合性確認" } + ], + "nice_to_have": [ + { "title": "suggest の戦略に issue list を将来組み込む検討" }, + { "title": "help_llm.rs の issue CommandInfo に subcommands フィールド追加" } + ], + "summary": "影響範囲分析は概ね正確。具体的な変更パターンの詳細追記が必要。" +} diff --git a/dev-reports/issue/169/multi-stage-design-review/stage4-apply-result.json b/dev-reports/issue/169/multi-stage-design-review/stage4-apply-result.json new file mode 100644 index 0000000..19d5ea1 --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage4-apply-result.json @@ -0,0 +1 @@ +{ "stage": 4, "applied_fixes": ["CAST式の防御的バリデーション追加", "エラーメッセージ漏洩対策追加", "正規表現 unwrap → expect 変更", "design_file_path が表示専用である旨を明記"] } diff --git a/dev-reports/issue/169/multi-stage-design-review/stage4-review-context.json b/dev-reports/issue/169/multi-stage-design-review/stage4-review-context.json new file mode 100644 index 0000000..aa6e2d4 --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage4-review-context.json @@ -0,0 +1,16 @@ +{ + "stage": 4, + "focus": "セキュリティレビュー", + "must_fix": [], + "should_fix": [ + { "title": "CAST式に対する防御的バリデーション", "suggestion": "Rust側でu64パース検証を追加。" }, + { "title": "エラーメッセージからの内部情報漏洩防止", "suggestion": "IssueCommandError の Display でサニタイズ。" }, + { "title": "正規表現の unwrap を expect に変更", "suggestion": "expect(\"BUG: invalid regex pattern\") に。" } + ], + "nice_to_have": [ + { "title": "design_file_path が表示専用であることをドキュメントコメントに明記" }, + { "title": "リレーション名のマジック文字列を定数化" }, + { "title": "出力件数上限の将来考慮（YAGNI、現時点不要）" } + ], + "summary": "must_fix なし。CLIツールとして適切なセキュリティ水準。防御的バリデーション等の改善を推奨。" +} diff --git a/dev-reports/issue/169/multi-stage-design-review/stage5-review-context.json b/dev-reports/issue/169/multi-stage-design-review/stage5-review-context.json new file mode 100644 index 0000000..224923c --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage5-review-context.json @@ -0,0 +1,19 @@ +{ + "stage": 5, + "focus": "設計原則（2回目、Codex）", + "must_fix": [ + { "title": "IssueListEntry が design_file_path を公開API漏洩", "suggestion": "label: String を返すか、内部row型からCLI向けDTOへ変換する層を設ける" }, + { "title": "run() をリネームせず残す方針はAPI対称性が悪い", "suggestion": "run() → run_show() に改名し run_list() と対称にする" }, + { "title": "不正identifier を黙ってスキップする方針はエラーハンドリングとして弱い", "suggestion": "警告付きでスキップするか明示エラーとする" } + ], + "should_fix": [ + { "title": "boolean集計条件が doc_count と揃っていない（kn_doc.type = 'document' 条件なし）" }, + { "title": "open_symbol_store() のエラー方針が既存CLIと不整合" }, + { "title": "0件時のhuman出力が Issue仕様とズレ" }, + { "title": "CorruptedMetadata の扱いが一覧設計に未反映" } + ], + "nice_to_have": [ + { "title": "CLI専用表示モデルを挟んで責務分離" } + ], + "summary": "design_file_path公開漏洩、run()命名不対称、不正identifierスキップの3点がmust_fix。" +} diff --git a/dev-reports/issue/169/multi-stage-design-review/stage6-apply-result.json b/dev-reports/issue/169/multi-stage-design-review/stage6-apply-result.json new file mode 100644 index 0000000..e7a3c3d --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage6-apply-result.json @@ -0,0 +1,9 @@ +{ + "stage": 6, + "applied_fixes": [ + "IssueListRow (データ層) と IssueListEntry (CLI表示モデル) に分離、design_file_path を公開APIから除去", + "run() → run_show() にリネーム、run_list() と対称命名", + "不正identifier は警告ログ出力しスキップ（サイレントスキップ禁止）に変更", + "boolean集計条件に kn_doc.type = 'document' を追加（doc_count と同じ母集団）" + ] +} diff --git a/dev-reports/issue/169/multi-stage-design-review/stage7-review-context.json b/dev-reports/issue/169/multi-stage-design-review/stage7-review-context.json new file mode 100644 index 0000000..1b8f4ec --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage7-review-context.json @@ -0,0 +1,19 @@ +{ + "stage": 7, + "focus": "整合性・影響分析（2回目、Codex）", + "must_fix": [ + { "title": "DRY節に旧名 run() が残存", "suggestion": "run_show() に統一" }, + { "title": "SQLインジェクション対策記述が固定クエリに不適切", "suggestion": "この機能に即した懸念に書き換え" }, + { "title": "help_llm/suggest のテスト検証が設計上抜け", "suggestion": "テスト戦略に追加" } + ], + "should_fix": [ + { "title": "cli_args.rs の影響見積もりが小さすぎる" }, + { "title": "0件時出力仕様がIssueとズレ" }, + { "title": "警告ログのサニタイズ対策未記載" }, + { "title": "before_change/why の影響記述をより明確に" } + ], + "nice_to_have": [ + { "title": "非数値identifier混入テストケース追加" } + ], + "summary": "run()/run_show() 表記ゆれ、テスト波及範囲不足、セキュリティ記述の機能適合性が主な指摘。" +} diff --git a/dev-reports/issue/169/multi-stage-design-review/stage8-apply-result.json b/dev-reports/issue/169/multi-stage-design-review/stage8-apply-result.json new file mode 100644 index 0000000..8096ec0 --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/stage8-apply-result.json @@ -0,0 +1,11 @@ +{ + "stage": 8, + "applied_fixes": [ + "DRY節の run() → run_show() に統一", + "セキュリティ節をこの機能に即した懸念に書き換え（不正DBデータ、制御文字除去）", + "cli_args.rs の影響見積もりを小→中に修正、具体的変更内容追記", + "テスト戦略にhelp_llm/suggest回帰テスト追加", + "非数値identifier混入テストケース追加", + "IssueListRow→IssueListEntry変換テスト追加" + ] +} diff --git a/dev-reports/issue/169/multi-stage-design-review/summary-report.md b/dev-reports/issue/169/multi-stage-design-review/summary-report.md new file mode 100644 index 0000000..a2d9be9 --- /dev/null +++ b/dev-reports/issue/169/multi-stage-design-review/summary-report.md @@ -0,0 +1,42 @@ +# Issue #169 マルチステージ設計レビュー サマリーレポート + +## レビュー実施状況 + +| Stage | 種別 | 実行者 | Must Fix | Should Fix | Nice to Have | +|-------|------|--------|----------|------------|--------------| +| 1 | 設計原則 (SOLID/KISS/YAGNI/DRY) | Claude opus | 0 | 3 | 4 | +| 2 | 整合性 | Claude opus | 3 | 4 | 3 | +| 3 | 影響分析 | Claude opus | 3 | 2 | 3 | +| 4 | セキュリティ | Claude opus | 0 | 3 | 3 | +| 5 | 設計原則（2回目） | Codex (gpt-5.4) | 3 | 4 | 1 | +| 6 | 反映 | Claude sonnet | - | - | - | +| 7 | 整合性・影響分析（2回目） | Codex (gpt-5.4) | 3 | 4 | 1 | +| 8 | 反映 | Claude sonnet | - | - | - | + +## 主要な改善点 + +### 設計原則 (Stage 1, 5) +- IssueListResult ラッパー削除 (YAGNI) +- label取得のN+1クエリ回避（SQLで一括取得） +- IssueListRow (データ層) / IssueListEntry (CLI表示モデル) の責務分離 +- run() → run_show() リネームで API 対称性確保 +- open_symbol_store() ヘルパーでDRY改善 + +### 整合性 (Stage 2, 7) +- symbol_db_path() 使用でDBパス取得を一元化 +- boolean集計条件にkn_doc.type='document'追加 +- suggest.rs のテスト3件も更新対象に追加 +- help_llm.rs の具体的変更箇所3点を明記 +- cli_args.rs の影響見積もりを修正 + +### セキュリティ (Stage 4, 7) +- 不正identifier: 警告ログ出力しスキップ（サイレントスキップ禁止） +- エラーメッセージのサニタイズ +- 正規表現 unwrap → expect に変更 +- 制御文字除去方針追加 + +## 最終設計書状態 +- セクション数: 13 +- テスト戦略: 5カテゴリ（単体2 + E2E + CLI + 回帰） +- セキュリティ対策: 6項目 +- 影響ファイル: 7ファイル diff --git a/dev-reports/issue/169/pm-auto-dev/iteration-1/tdd-context.json b/dev-reports/issue/169/pm-auto-dev/iteration-1/tdd-context.json new file mode 100644 index 0000000..ac233e0 --- /dev/null +++ b/dev-reports/issue/169/pm-auto-dev/iteration-1/tdd-context.json @@ -0,0 +1,25 @@ +{ + "issue_number": 169, + "title": "issue listサブコマンドの追加", + "design_policy": "dev-reports/design/issue-169-issue-list-design-policy.md", + "work_plan": "dev-reports/issue/169/work-plan.md", + "summary": "issue コマンドをサブコマンド構造に変更し、issue list (全Issue一覧) と issue show (既存機能移行) を実装する", + "tasks": [ + "Task 1.1: IssueListRow 構造体定義 (src/indexer/symbol_store.rs)", + "Task 1.2: list_all_issues() メソッド実装", + "Task 1.3: list_all_issues() 単体テスト", + "Task 2.1: IssueListEntry 構造体と変換ロジック (src/cli/issue.rs)", + "Task 2.2: open_symbol_store() ヘルパー関数", + "Task 2.3: run() → run_show() リネーム", + "Task 2.4: run_list() 関数実装", + "Task 2.5: 4フォーマッタ関数 (format_list_human/json/path/llm)", + "Task 2.6: main.rs IssueCommands enum + ディスパッチャー", + "Task 2.7: フォーマッタ単体テスト", + "Task 3.1: suggest.rs 更新 (issue → issue show)", + "Task 3.2: help_llm.rs 全箇所更新", + "Task 4.1: e2e_issue.rs 既存テスト更新", + "Task 4.2: e2e_issue.rs issue list テスト追加", + "Task 4.3: cli_args.rs テスト更新・追加", + "Task 4.4: help_llm/suggest 回帰テスト" + ] +} diff --git a/dev-reports/issue/169/work-plan.md b/dev-reports/issue/169/work-plan.md new file mode 100644 index 0000000..9495d9f --- /dev/null +++ b/dev-reports/issue/169/work-plan.md @@ -0,0 +1,222 @@ +# 作業計画: Issue #169 — issue listサブコマンドの追加 + +## Issue概要 +**Issue番号**: #169 +**タイトル**: issue listサブコマンドの追加 +**サイズ**: M +**優先度**: Medium +**依存Issue**: なし + +## 作業フェーズ + +### Phase 1: データ層の実装（src/indexer/symbol_store.rs） + +#### Task 1.1: IssueListRow 構造体の定義 +- **成果物**: `src/indexer/symbol_store.rs` +- **依存**: なし +- **内容**: + ```rust + pub struct IssueListRow { + pub number: u64, + pub doc_count: u32, + pub design_file_path: Option, + pub has_design: bool, + pub has_review: bool, + pub has_workplan: bool, + pub has_progress: bool, + } + ``` + +#### Task 1.2: list_all_issues() メソッドの実装 +- **成果物**: `src/indexer/symbol_store.rs` +- **依存**: Task 1.1 +- **内容**: + - SQLクエリ（JOIN + GROUP BY + 条件付きCOUNT） + - identifier の u64 パース検証（変換不可は警告ログ + スキップ） + - `Vec` を返却 + - 設計書 Section 6 の SQL を実装 + +#### Task 1.3: list_all_issues() の単体テスト +- **成果物**: `src/indexer/symbol_store.rs` 内のテストモジュール +- **依存**: Task 1.2 +- **テストケース**: + - 基本動作（複数Issueの一覧取得） + - modifies混在ケース（doc_countから除外） + - 設計書なしIssue（has_design=false） + - 0件ケース + - Issue番号の昇順ソート確認 + +### Phase 2: CLI層の実装（src/cli/issue.rs, src/main.rs） + +#### Task 2.1: IssueListEntry 構造体と変換ロジック +- **成果物**: `src/cli/issue.rs` +- **依存**: Task 1.1 +- **内容**: + ```rust + pub struct IssueListEntry { + pub number: u64, + pub doc_count: u32, + pub label: String, + pub has_design: bool, + pub has_review: bool, + pub has_workplan: bool, + pub has_progress: bool, + } + ``` + - `IssueListRow` → `IssueListEntry` 変換関数 + - `extract_label_from_design_path()` 正規表現（LazyLock、expect 使用） + +#### Task 2.2: open_symbol_store() ヘルパー関数 +- **成果物**: `src/cli/issue.rs` +- **依存**: なし +- **内容**: + - 既存 `run()` のDB存在チェック + SymbolStore::open をヘルパーに抽出 + - `crate::indexer::symbol_db_path()` を使用 + +#### Task 2.3: run() → run_show() リネーム +- **成果物**: `src/cli/issue.rs` +- **依存**: Task 2.2 +- **内容**: + - `pub fn run()` を `pub fn run_show()` にリネーム + - `open_symbol_store()` ヘルパーを使用するようリファクタリング + +#### Task 2.4: run_list() 関数の実装 +- **成果物**: `src/cli/issue.rs` +- **依存**: Task 1.2, Task 2.1, Task 2.2 +- **内容**: + - `open_symbol_store()` → `store.list_all_issues()` → `IssueListRow` → `IssueListEntry` 変換 → フォーマット出力 + - 0件時: `No issues found.` + +#### Task 2.5: 4フォーマッタ関数の実装 +- **成果物**: `src/cli/issue.rs` +- **依存**: Task 2.1 +- **内容**: + - `format_list_human()`: `Issue #N (M docs) label` + Total行 + - `format_list_json()`: JSON配列出力 + - `format_list_path()`: Issue番号を1行ずつ + - `format_list_llm()`: Markdownテーブル形式 + +#### Task 2.6: main.rs サブコマンド構造変更 +- **成果物**: `src/main.rs` +- **依存**: Task 2.3, Task 2.4 +- **内容**: + - `IssueCommands` enum 定義（List, Show） + - `Commands::Issue` をサブコマンド構造に変更 + - ディスパッチャーで `run_show()` / `run_list()` を呼び分け + +#### Task 2.7: フォーマッタの単体テスト +- **成果物**: `src/cli/issue.rs` 内のテストモジュール +- **依存**: Task 2.5 +- **テストケース**: + - human/json/path/llm 各フォーマットの出力確認 + - 0件時の出力 + - label抽出の正規表現テスト + - `IssueListRow` → `IssueListEntry` 変換テスト + +### Phase 3: 既存コードの更新 + +#### Task 3.1: suggest.rs の更新 +- **成果物**: `src/cli/suggest.rs` +- **依存**: Task 2.6 +- **内容**: + - `prepend_knowledge_steps()` 内の `issue {issue_num}` → `issue show {issue_num}` に変更（行258） + - 関連テスト3件のアサーション更新 + +#### Task 3.2: help_llm.rs の更新 +- **成果物**: `src/cli/help_llm.rs` +- **依存**: Task 2.6 +- **内容**: + - `build_use_cases()`: `issue 140` → `issue show 140` + - `build_workflows()`: Investigation ワークフローのissueステップ更新 + - `build_commands()`: issue CommandInfo 全面更新 + - name, description, key_options, examples + - `subcommands` フィールド追加（list, show） + +### Phase 4: テストの更新・追加 + +#### Task 4.1: e2e_issue.rs の既存テスト更新 +- **成果物**: `tests/e2e_issue.rs` +- **依存**: Task 2.6 +- **内容**: + - 全6テストの `["issue", "N"]` → `["issue", "show", "N"]` 更新 + - テスト関数名は変更不要（動作自体は同じ） + +#### Task 4.2: e2e_issue.rs の issue list テスト追加 +- **成果物**: `tests/e2e_issue.rs` +- **依存**: Task 2.4 +- **テストケース**: + - `issue_list_human_format`: 全フォーマット出力確認 + - `issue_list_json_format`: JSON配列の構造確認 + - `issue_list_llm_format`: Markdownテーブル確認 + - `issue_list_path_format`: Issue番号のみ出力確認 + - `issue_list_empty`: 0件時の挙動確認 + +#### Task 4.3: cli_args.rs のテスト更新・追加 +- **成果物**: `tests/cli_args.rs` +- **依存**: Task 2.6 +- **内容**: + - `help_flag_shows_usage`: "issue" 含有確認（既存、変更不要のはず） + - `issue list --format json` パーステスト追加 + - `issue show` 関連テスト追加 + - 旧構文 `issue ` エラーテスト追加 + +#### Task 4.4: help_llm / suggest 回帰テスト +- **成果物**: `tests/e2e_issue.rs` または該当テストファイル +- **依存**: Task 3.1, Task 3.2 +- **内容**: + - help_llm 出力に旧構文が含まれないことの確認 + - suggest が `issue show ` を生成することの確認 + +### Phase 5: 品質チェック + +#### Task 5.1: 品質チェック実行 +- **依存**: 全タスク完了後 +- **チェック項目**: + ```bash + cargo build + cargo clippy --all-targets -- -D warnings + cargo test --all + cargo fmt --all -- --check + ``` + +## タスク依存関係図 + +``` +Task 1.1 (IssueListRow) ──→ Task 1.2 (list_all_issues) ──→ Task 1.3 (単体テスト) + │ │ + └──→ Task 2.1 (IssueListEntry) ──→ Task 2.5 (フォーマッタ) ──→ Task 2.7 (フォーマッタテスト) + │ +Task 2.2 (open_symbol_store) ──→ Task 2.3 (run_show) ──→ Task 2.6 (main.rs) ──→ Task 3.1 (suggest) + │ │ ──→ Task 3.2 (help_llm) + └──→ Task 2.4 (run_list) ──────┘ ──→ Task 4.1 (e2e更新) + ──→ Task 4.2 (e2e追加) + ──→ Task 4.3 (cli_args) + ──→ Task 4.4 (回帰テスト) + ──→ Task 5.1 (品質チェック) +``` + +## 推奨実装順序 + +TDD方式での推奨順: + +1. **Task 1.1** → **Task 1.3（テスト先行）** → **Task 1.2**（データ層） +2. **Task 2.1** → **Task 2.7（テスト先行）** → **Task 2.5**（フォーマッタ） +3. **Task 2.2**（ヘルパー） +4. **Task 2.3**（run_show リネーム） +5. **Task 2.4**（run_list） +6. **Task 2.6**（main.rs サブコマンド） +7. **Task 4.1** → **Task 4.2**（E2Eテスト） +8. **Task 3.1** → **Task 3.2**（既存コード更新） +9. **Task 4.3** → **Task 4.4**（テスト追加） +10. **Task 5.1**（品質チェック） + +## Definition of Done + +- [ ] すべてのタスクが完了 +- [ ] `cargo test --all` 全テストパス +- [ ] `cargo clippy --all-targets -- -D warnings` 警告ゼロ +- [ ] `cargo fmt --all -- --check` 差分なし +- [ ] `issue list` が全4フォーマットで正しく動作 +- [ ] `issue show ` が従来と同じ動作 +- [ ] 旧構文 `issue ` がエラーを返す +- [ ] コードベース内に旧構文 `issue ` の参照が残っていない From 9883b8a11bb09a88cacdcc439ef4e0e817df8c61 Mon Sep 17 00:00:00 2001 From: kewton Date: Wed, 25 Mar 2026 17:08:28 +0900 Subject: [PATCH 3/5] refactor(issue): sanitize label to strip newlines for output safety Add sanitize_label() to remove all control characters (including newlines) from labels before output, preventing output injection via malformed paths. Addresses Codex code review warning about newline-containing labels. Co-Authored-By: Claude Opus 4.6 (1M context) --- src/cli/issue.rs | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/cli/issue.rs b/src/cli/issue.rs index 2ef0f95..7c9cf5e 100644 --- a/src/cli/issue.rs +++ b/src/cli/issue.rs @@ -135,6 +135,12 @@ fn open_symbol_store(commandindex_dir: &Path) -> Result String { + s.chars() + .filter(|c| !c.is_control()) + .collect() +} + fn convert_row_to_entry(row: IssueListRow) -> IssueListEntry { let label = row .design_file_path @@ -144,7 +150,7 @@ fn convert_row_to_entry(row: IssueListRow) -> IssueListEntry { IssueListEntry { number: row.number, doc_count: row.doc_count, - label, + label: sanitize_label(&label), has_design: row.has_design, has_review: row.has_review, has_workplan: row.has_workplan, From 3025faac79e5cc3e31c03a7a7d64770c6868e1ca Mon Sep 17 00:00:00 2001 From: kewton Date: Wed, 25 Mar 2026 17:09:03 +0900 Subject: [PATCH 4/5] docs(issue-169): add pm-auto-dev reports (TDD, Codex review, progress) Co-Authored-By: Claude Opus 4.6 (1M context) --- .../iteration-1/codex-review-result.json | 23 ++++++++ .../iteration-1/progress-report.md | 57 +++++++++++++++++++ 2 files changed, 80 insertions(+) create mode 100644 dev-reports/issue/169/pm-auto-dev/iteration-1/codex-review-result.json create mode 100644 dev-reports/issue/169/pm-auto-dev/iteration-1/progress-report.md diff --git a/dev-reports/issue/169/pm-auto-dev/iteration-1/codex-review-result.json b/dev-reports/issue/169/pm-auto-dev/iteration-1/codex-review-result.json new file mode 100644 index 0000000..50d3a8c --- /dev/null +++ b/dev-reports/issue/169/pm-auto-dev/iteration-1/codex-review-result.json @@ -0,0 +1,23 @@ +{ + "critical": [], + "warnings": [ + { + "file": "src/indexer/symbol_store.rs", + "line": 975, + "severity": "medium", + "category": "bug", + "description": "list_all_issues() skips non-numeric issue identifiers after logging a warning. If the knowledge graph contains a malformed issue node, the command returns an incomplete list instead of surfacing the data corruption as an error, which can hide indexing problems and produce silently wrong output.", + "suggestion": "Treat malformed issue identifiers as a hard error (or return them in a dedicated invalid-record result) instead of skipping them. At minimum, add a test that covers malformed identifiers and document the behavior explicitly." + }, + { + "file": "src/cli/issue.rs", + "line": 318, + "severity": "low", + "category": "security", + "description": "Issue list/show output sanitizes control characters but preserves newlines via strip_control_chars(). A malicious indexed path or derived label containing a newline can inject extra rows/lines into human, path, or llm output, allowing output spoofing and confusing downstream parsers or agents.", + "suggestion": "Escape or remove newlines before writing file paths and labels in CLI output, especially for path and llm formats. Alternatively, reject newline-containing paths at indexing time and add a regression test for multi-line path/label payloads." + } + ], + "summary": "No critical vulnerabilities were found in the reviewed files. The main correctness risk is that issue listing can silently drop malformed issue identifiers, producing incomplete results without failing. The main security concern is output injection via newline-containing file paths or labels because current sanitization removes ANSI/control characters but still allows line breaks in CLI output.", + "requires_fix": true +} diff --git a/dev-reports/issue/169/pm-auto-dev/iteration-1/progress-report.md b/dev-reports/issue/169/pm-auto-dev/iteration-1/progress-report.md new file mode 100644 index 0000000..890d180 --- /dev/null +++ b/dev-reports/issue/169/pm-auto-dev/iteration-1/progress-report.md @@ -0,0 +1,57 @@ +# 進捗レポート: Issue #169 — issue listサブコマンドの追加 + +## ステータス: 完了 + +## 実装サマリー + +| 項目 | 値 | +|------|-----| +| 変更ファイル数 | 7 | +| 追加行数 | ~790 | +| 新規テスト数 | 25 | +| 全テストパス | Yes（Ollama依存テスト1件除く） | +| Clippy警告 | 0件 | +| フォーマット差分 | なし | +| コミット数 | 3 | + +## 実装内容 + +### データ層 (src/indexer/symbol_store.rs) +- `IssueListRow` 構造体（データ層DTO） +- `list_all_issues()` メソッド（JOIN + GROUP BY + 条件付きCOUNT、1クエリ集計） +- 単体テスト5件 + +### CLI層 (src/cli/issue.rs) +- `IssueListEntry` 構造体（CLI表示モデル） +- `extract_label_from_design_path()` — LazyLock正規表現でlabel抽出 +- `open_symbol_store()` — DB存在チェック共通ヘルパー (DRY) +- `convert_row_to_entry()` — IssueListRow → IssueListEntry 変換 +- `sanitize_label()` — 改行含む制御文字除去（Codexレビュー指摘対応） +- `run_show()` — 既存run()からリネーム (API対称性) +- `run_list()` — 新規一覧表示関数 +- 4フォーマッタ: `format_list_human/json/path/llm` +- 単体テスト12件 + +### main.rs +- `IssueCommands` enum (List, Show) +- サブコマンドディスパッチャー + +### 既存コード更新 +- `suggest.rs`: `issue {num}` → `issue show {num}` +- `help_llm.rs`: use_cases/workflows/CommandInfo全箇所更新 + subcommands追加 + +### テスト更新 +- `e2e_issue.rs`: 既存6テスト show構文に更新 + 5テスト新規追加 +- `cli_args.rs`: 既存テスト更新 + 3テスト新規追加 + +## Codexコードレビュー結果 + +| 種別 | 件数 | 対応 | +|------|------|------| +| Critical | 0 | - | +| Warning (medium) | 1 | 非数値identifierスキップは設計方針通り（テスト有） | +| Warning (low) | 1 | sanitize_label()で改行除去を追加 | + +## 受入テスト結果 + +全16項目 **PASS** From 2cc1c433e30e9ba7d1c0f19c21a91bcfba1885a3 Mon Sep 17 00:00:00 2001 From: kewton Date: Wed, 25 Mar 2026 17:10:38 +0900 Subject: [PATCH 5/5] style(issue): apply cargo fmt Co-Authored-By: Claude Opus 4.6 (1M context) --- src/cli/issue.rs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/cli/issue.rs b/src/cli/issue.rs index 7c9cf5e..8ba5481 100644 --- a/src/cli/issue.rs +++ b/src/cli/issue.rs @@ -136,9 +136,7 @@ fn open_symbol_store(commandindex_dir: &Path) -> Result String { - s.chars() - .filter(|c| !c.is_control()) - .collect() + s.chars().filter(|c| !c.is_control()).collect() } fn convert_row_to_entry(row: IssueListRow) -> IssueListEntry {