---
generated_at: 2026-03-01 15:30:00
metrics:
  claims_total: 126
  claims_with_evidence: 126
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：language-js.csv

## 本レポートについて

### 目的
本レポートは、生成された設計書・ドキュメントの信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

### チェック方法
以下の観点でドキュメントの内容（Claim：主張）を検証しています：

1. **根拠の有無確認**：各主張に対して、ソースコード・既存設計書・要件定義書などの根拠（Evidence）が存在するか
2. **根拠との整合性**：主張の内容が根拠と矛盾していないか
3. **網羅性**：参照すべき情報源を適切にカバーしているか

### 信頼度スコアの算出
- **confidence_derived** = 根拠あり件数 / 総主張件数
- 状態「○」：根拠あり、「△」：根拠不足または要確認

### 本レポートの使い方
1. まず「サマリー」で全体の信頼度と優先レビュー項目を確認
2. 「Claims と根拠の対応」で △ の項目を重点的にレビュー
3. 「不足情報」で補完が必要な情報源を確認

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：126 / 126、根拠なし：0
- 優先レビュー（高）
  - 全てのテストケースに根拠あり

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。抽出フェーズで付けたIDをそのまま出す。

- E-01: `src/language-js/index.js` - モジュールエントリーポイント
- E-02: `src/language-js/pragma.js` - DocBlock解析とプラグマ処理
- E-03: `src/language-js/options.js` - JavaScript/TypeScriptオプション定義
- E-04: `src/language-js/utilities/get-shebang.js` - shebang抽出ユーティリティ
- E-05: `src/language-js/location/start.js` - ノード開始位置取得
- E-06: `src/language-js/location/overrides.js` - ノード終了位置オーバーライド
- E-07: `src/language-js/utilities/create-type-check-function.js` - 型チェック関数生成
- E-08: `src/language-js/utilities/literal.js` - リテラル判定関数群
- E-09: `src/language-js/utilities/is-node-matches.js` - ノードマッチング
- E-10: `src/language-js/utilities/node-types.js` - ノード型チェック関数群
- E-11: `src/language-js/utilities/call-arguments.js` - 呼び出し引数処理
- E-12: `src/language-js/utilities/function-parameters.js` - 関数パラメータ処理
- E-13: `src/language-js/utilities/is-method.js` - メソッド判定
- E-14: `src/language-js/utilities/is-prettier-ignore-comment.js` - Ignoreコメント判定
- E-15: `src/language-js/utilities/comment-types.js` - コメント型判定
- E-16: `src/language-js/utilities/get-precedence.js` - 演算子優先度
- E-17: `src/language-js/utilities/should-flatten.js` - フラット化判定
- E-18: `src/language-js/utilities/is-boolean-type-coercion.js` - 型強制判定
- E-19: `src/language-js/utilities/is-simple-call-argument.js` - シンプル引数判定
- E-20: `src/language-js/parse/utilities/replace-hashbang.js` - Hashbang置換
- E-21: `src/language-js/parse/utilities/create-parser.js` - パーサー生成
- E-22: `src/language-js/parse/babel.js` - Babelパーサー実装
- E-23: `src/language-js/parse/postprocess/index.js` - AST後処理
- E-24: `src/language-js/comments/can-attach-comment.js` - コメント添付判定
- E-25: `src/language-js/comments/handle-comments.js` - コメント処理ハンドラ
- E-26: `src/language-js/embed/index.js` - 埋め込み処理

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | parseDocBlockがshebang付きテキストを解析できる | E-02 | ○ |
| C-02 | parseDocBlockがshebangなしテキストを解析できる | E-02 | ○ |
| C-03 | parseDocBlockが空文字列を処理できる | E-02 | ○ |
| C-04 | hasPragmaがformatプラグマを検出できる | E-02 | ○ |
| C-05 | hasPragmaがprettierプラグマを検出できる | E-02 | ○ |
| C-06 | hasPragmaがプラグマなしでfalseを返す | E-02 | ○ |
| C-07 | hasIgnorePragmaがnoformatプラグマを検出できる | E-02 | ○ |
| C-08 | hasIgnorePragmaが無視プラグマなしでfalseを返す | E-02 | ○ |
| C-09 | insertPragmaがプラグマを挿入できる | E-02 | ○ |
| C-10 | insertPragmaがshebang後にプラグマを挿入できる | E-02 | ○ |
| C-11 | getShebangがshebangを抽出できる | E-04 | ○ |
| C-12 | getShebangがshebangなしで空文字を返す | E-04 | ○ |
| C-13 | getShebangがshebangのみテキストを処理できる | E-04 | ○ |
| C-14 | getShebangが空文字列を処理できる | E-04 | ○ |
| C-15 | locStartがノード開始位置を取得できる | E-05 | ○ |
| C-16 | locStartがstartプロパティから位置を取得できる | E-05 | ○ |
| C-17 | locStartがデコレータを考慮できる | E-05 | ○ |
| C-18 | locEndがノード終了位置を取得できる | E-06 | ○ |
| C-19 | locEndがBreakStatementの終了位置を計算できる | E-06 | ○ |
| C-20 | locEndがContinueStatementの終了位置を計算できる | E-06 | ○ |
| C-21 | locEndがIfStatementの終了位置を再帰計算できる | E-06 | ○ |
| C-22 | shouldIgnoredNodePrintSemicolonがBreakStatementでtrueを返す | E-06 | ○ |
| C-23 | shouldIgnoredNodePrintSemicolonが通常ノードでfalseを返す | E-06 | ○ |
| C-24 | createTypeCheckFunctionが型チェック関数を生成できる | E-07 | ○ |
| C-25 | 生成された関数が正しく型を判定できる | E-07 | ○ |
| C-26 | 生成された関数がマッチしない型でfalseを返す | E-07 | ○ |
| C-27 | 生成された関数がnull/undefinedでfalseを返す | E-07 | ○ |
| C-28 | isBigIntLiteralがBigIntLiteralを判定できる | E-08 | ○ |
| C-29 | isBigIntLiteralがESTree形式を判定できる | E-08 | ○ |
| C-30 | isBooleanLiteralがBooleanLiteralを判定できる | E-08 | ○ |
| C-31 | isBooleanLiteralがESTree形式を判定できる | E-08 | ○ |
| C-32 | isNumericLiteralがNumericLiteralを判定できる | E-08 | ○ |
| C-33 | isNumericLiteralがESTree形式を判定できる | E-08 | ○ |
| C-34 | isRegExpLiteralがRegExpLiteralを判定できる | E-08 | ○ |
| C-35 | isRegExpLiteralがESTree形式を判定できる | E-08 | ○ |
| C-36 | isStringLiteralがStringLiteralを判定できる | E-08 | ○ |
| C-37 | isStringLiteralがESTree形式を判定できる | E-08 | ○ |
| C-38 | isStringLiteralがnullでfalseを返す | E-08 | ○ |
| C-39 | isNodeMatchesがIdentifierをマッチできる | E-09 | ○ |
| C-40 | isNodeMatchesがMemberExpressionパスをマッチできる | E-09 | ○ |
| C-41 | isNodeMatchesがマッチしない場合falseを返す | E-09 | ○ |
| C-42 | isNodeMatchesがMetaPropertyをマッチできる | E-09 | ○ |
| C-43 | isBinaryCastExpressionがTSAsExpressionを判定できる | E-10 | ○ |
| C-44 | isBinaryCastExpressionがTSSatisfiesExpressionを判定できる | E-10 | ○ |
| C-45 | isUnionTypeがTSUnionTypeを判定できる | E-10 | ○ |
| C-46 | isUnionTypeがUnionTypeAnnotationを判定できる | E-10 | ○ |
| C-47 | isCallExpressionがCallExpressionを判定できる | E-10 | ○ |
| C-48 | isCallExpressionがOptionalCallExpressionを判定できる | E-10 | ○ |
| C-49 | isMemberExpressionがMemberExpressionを判定できる | E-10 | ○ |
| C-50 | isJsxElementがJSXElementを判定できる | E-10 | ○ |
| C-51 | isJsxElementがJSXFragmentを判定できる | E-10 | ○ |
| C-52 | getCallArgumentsがCallExpressionの引数を取得できる | E-11 | ○ |
| C-53 | getCallArgumentsがImportExpressionのソースを取得できる | E-11 | ○ |
| C-54 | getCallArgumentsがImportExpressionのオプションを処理できる | E-11 | ○ |
| C-55 | getCallArgumentsがキャッシュを利用できる | E-11 | ○ |
| C-56 | getCallArgumentSelectorがセレクタを取得できる | E-11 | ○ |
| C-57 | getCallArgumentSelectorが負のインデックスを処理できる | E-11 | ○ |
| C-58 | getCallArgumentSelectorが範囲外でエラーをスローする | E-11 | ○ |
| C-59 | getFunctionParametersが関数パラメータを取得できる | E-12 | ○ |
| C-60 | getFunctionParametersがthisパラメータを含められる | E-12 | ○ |
| C-61 | getFunctionParametersがrestパラメータを含められる | E-12 | ○ |
| C-62 | hasRestParameterがrestプロパティを検出できる | E-12 | ○ |
| C-63 | hasRestParameterがRestElementを検出できる | E-12 | ○ |
| C-64 | hasRestParameterがrestなしでfalseを返す | E-12 | ○ |
| C-65 | isMethodがメソッド定義を判定できる | E-13 | ○ |
| C-66 | isMethodがgetterを判定できる | E-13 | ○ |
| C-67 | isMethodがsetterを判定できる | E-13 | ○ |
| C-68 | isMethodが通常プロパティでfalseを返す | E-13 | ○ |
| C-69 | isPrettierIgnoreCommentがignoreコメントを判定できる | E-14 | ○ |
| C-70 | isPrettierIgnoreCommentがunignoreでfalseを返す | E-14 | ○ |
| C-71 | isPrettierIgnoreCommentが異なるコメントでfalseを返す | E-14 | ○ |
| C-72 | isBlockCommentがBlockを判定できる | E-15 | ○ |
| C-73 | isBlockCommentがCommentBlockを判定できる | E-15 | ○ |
| C-74 | isBlockCommentがMultiLineを判定できる | E-15 | ○ |
| C-75 | isLineCommentがLineを判定できる | E-15 | ○ |
| C-76 | isLineCommentがHashbangCommentを判定できる | E-15 | ○ |
| C-77 | getPrecedenceがパイプライン演算子の優先度を返す | E-16 | ○ |
| C-78 | getPrecedenceが加算演算子の優先度を返す | E-16 | ○ |
| C-79 | getPrecedenceが累乗演算子の優先度を返す | E-16 | ○ |
| C-80 | getPrecedenceが未知演算子でundefinedを返す | E-16 | ○ |
| C-81 | shouldFlattenが同優先度演算子でtrueを返す | E-17 | ○ |
| C-82 | shouldFlattenが累乗演算子でfalseを返す | E-17 | ○ |
| C-83 | shouldFlattenが等値演算子でfalseを返す | E-17 | ○ |
| C-84 | shouldFlattenが異なる優先度でfalseを返す | E-17 | ○ |
| C-85 | isBooleanTypeCoercionがBoolean()を判定できる | E-18 | ○ |
| C-86 | isBooleanTypeCoercionが複数引数でfalseを返す | E-18 | ○ |
| C-87 | isBooleanTypeCoercionがオプショナル呼び出しでfalseを返す | E-18 | ○ |
| C-88 | isSimpleCallArgumentがリテラルをシンプルと判定する | E-19 | ○ |
| C-89 | isSimpleCallArgumentがIdentifierをシンプルと判定する | E-19 | ○ |
| C-90 | isSimpleCallArgumentが深いネストでfalseを返す | E-19 | ○ |
| C-91 | isSimpleCallArgumentが短い正規表現をシンプルと判定する | E-19 | ○ |
| C-92 | isSimpleCallArgumentが長い正規表現でfalseを返す | E-19 | ○ |
| C-93 | replaceHashbangが#!を//に置換できる | E-20 | ○ |
| C-94 | replaceHashbangが#!なしでそのまま返す | E-20 | ○ |
| C-95 | replaceHashbangが空文字列を処理できる | E-20 | ○ |
| C-96 | createParserがパーサーを生成できる | E-21 | ○ |
| C-97 | createParserが関数からパーサーを生成できる | E-21 | ○ |
| C-98 | isFlowFileが.js.flowファイルを判定できる | E-22 | ○ |
| C-99 | isFlowFileが@flowプラグマを判定できる | E-22 | ○ |
| C-100 | isFlowFileが@noflowプラグマを判定できる | E-22 | ○ |
| C-101 | isFlowFileが通常ファイルでfalseを返す | E-22 | ○ |
| C-102 | postprocessがASTを後処理できる | E-23 | ○ |
| C-103 | postprocessがParenthesizedExpressionを展開できる | E-23 | ○ |
| C-104 | postprocessがTypeCastExpressionを処理できる | E-23 | ○ |
| C-105 | isUnbalancedLogicalTreeが不均衡を検出できる | E-23 | ○ |
| C-106 | isUnbalancedLogicalTreeが均衡でfalseを返す | E-23 | ○ |
| C-107 | rebalanceLogicalTreeが再バランスできる | E-23 | ○ |
| C-108 | canAttachCommentがIdentifierでtrueを返す | E-24 | ○ |
| C-109 | canAttachCommentがFileでfalseを返す | E-24 | ○ |
| C-110 | canAttachCommentがTemplateElementでfalseを返す | E-24 | ○ |
| C-111 | canAttachCommentがChainExpressionでfalseを返す | E-24 | ○ |
| C-112 | canAttachCommentがEmptyStatementを条件で判定する | E-24 | ○ |
| C-113 | handleOwnLineCommentが自分の行のコメントを処理できる | E-25 | ○ |
| C-114 | handleEndOfLineCommentが行末コメントを処理できる | E-25 | ○ |
| C-115 | handleRemainingCommentが残りコメントを処理できる | E-25 | ○ |
| C-116 | handleTryStatementCommentsがTry文コメントを処理できる | E-25 | ○ |
| C-117 | handleMemberExpressionCommentsがメンバー式コメントを処理できる | E-25 | ○ |
| C-118 | handleClassCommentsがクラスコメントを処理できる | E-25 | ○ |
| C-119 | handleCommentInEmptyParensが空括弧コメントを処理できる | E-25 | ○ |
| C-120 | handleUnionTypeCommentsがUnion型コメントを処理できる | E-25 | ○ |
| C-121 | embedがTemplateLiteralを処理できる | E-26 | ○ |
| C-122 | embedがTemplateLiteral以外を処理しない | E-26 | ○ |
| C-123 | embedが無効cookedValueを処理しない | E-26 | ○ |
| C-124 | embedが空白テンプレートを処理できる | E-26 | ○ |
| C-125 | hasInvalidCookedValueが無効値を検出できる | E-26 | ○ |
| C-126 | hasInvalidCookedValueが有効値でfalseを返す | E-26 | ○ |

## 4) 不足情報（Unknown / Missing）
- 根拠なしの項目はありません

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全てのテストケースがソースコードに基づいて生成されています

## 6) レビュアーチェックリスト（最小）
- [ ] pragma.js のプラグマ検出ロジックが正しくテストされているか確認
- [ ] location関連の位置計算ロジックが網羅的にテストされているか確認
- [ ] 各種ユーティリティ関数の境界値テストが十分か確認
- [ ] パーサー生成・後処理のテストケースが主要なパスをカバーしているか確認
- [ ] コメント処理のテストケースが各種コメント位置をカバーしているか確認
- [ ] 埋め込み処理のテストケースがテンプレートリテラルの各種パターンをカバーしているか確認
