phasegate 0.191.0 → 0.222.0

package/scripts/harness/validator-system/domain/services/injection-pattern-scan-service.ts

@@ -0,0 +1,118 @@
+// @unit validator-system
+// @layer domain
+// @work-item-id WI-259
+
+/**
+ * WI-259 / ADR-030 §Decision.3.④ — advisory インジェクションスキャナ（L3-006）の判定ドメインサービス。
+ *
+ * 指示搭載ファイル群に対し既知のインジェクションパターンを行単位で照合する純粋サービス。
+ * INV-A: 生成する finding は必ず severity='warning'（error / violation を一切生成しない — §4.(b)）。
+ * INV-B: HTML コメント内の指示上書きは html-comment-instruction に一本化し instruction-override として二重報告しない。
+ * INV-C: どのパターンにも該当しない対象は finding を生成しない（無音 → pass）。
+ *
+ * パターンは narrow に設計し、自リポジトリの正当な文書（散文）に誤検知しないことを実 corpus で実証する。
+ */
+
+import {
+  type InjectionFinding,
+  InjectionScanReport,
+  type InjectionScanTarget,
+} from "../value-objects/injection-scan-report.js";
+
+/** 指示上書きフレーズ（英/日）。narrow な定型のみ。 */
+const OVERRIDE_PATTERNS: readonly RegExp[] = [
+  /ignore\s+(?:all\s+|any\s+)?(?:previous|prior|above)\s+(?:instructions|rules)/i,
+  /disregard\s+(?:your|all)\s+(?:instructions|training)/i,
+  /これまでの指示を無視/,
+  /以前の指示を無視/,
+  /上記の指示を無視/,
+  /指示を(?:全て|すべて)無視/,
+  /システムプロンプトを無視/,
+];
+
+/** HTML コメントを含む行か（`<!--` の存在で判定。行内コメント・複数行コメント開始のいずれも拾う）。 */
+const HTML_COMMENT_LINE = /<!--/;
+
+/** 不可視 Unicode: zero-width (U+200B-U+200D, U+FEFF) + bidi 制御 (U+202A-U+202E, U+2066-U+2069)。 */
+// biome-ignore lint/suspicious/noControlCharactersInRegex: bidi/zero-width 制御文字の検出が目的
+const INVISIBLE_UNICODE = /[​-‍‪-‮⁦-⁩]/;
+
+/** 連続 200 文字以上の base64 文字列塊。 */
+const BASE64_BLOB = /[A-Za-z0-9+/]{200,}={0,2}/;
+
+export class InjectionPatternScanService {
+  scan(targets: readonly InjectionScanTarget[]): InjectionScanReport {
+    const findings: InjectionFinding[] = [];
+
+    for (const target of targets) {
+      const lines = target.content.split(/\r?\n/);
+      for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        const lineNumber = i + 1;
+
+        const hasOverride = OVERRIDE_PATTERNS.some((pattern) => pattern.test(line));
+        if (hasOverride) {
+          // INV-B: HTML コメント内の指示上書きは html-comment-instruction に一本化する。
+          if (HTML_COMMENT_LINE.test(line)) {
+            findings.push(
+              this.finding(
+                "html-comment-instruction",
+                target.path,
+                lineNumber,
+                "HTML コメント内にエージェント宛ての指示上書きフレーズが埋め込まれています。",
+                "隠蔽された指示の可能性があります。人間レビューで意図を確認してください（advisory）。",
+              ),
+            );
+          } else {
+            findings.push(
+              this.finding(
+                "instruction-override",
+                target.path,
+                lineNumber,
+                "指示上書きフレーズ（例: ignore previous instructions / これまでの指示を無視）を検出しました。",
+                "インジェクションの可能性があります。人間レビューで意図を確認してください（advisory）。",
+              ),
+            );
+          }
+        }
+
+        if (INVISIBLE_UNICODE.test(line)) {
+          findings.push(
+            this.finding(
+              "invisible-unicode",
+              target.path,
+              lineNumber,
+              "不可視 Unicode 文字（zero-width / bidi 制御）を検出しました。",
+              "見えない文字で指示を隠蔽している可能性があります。人間レビューで確認してください（advisory）。",
+            ),
+          );
+        }
+
+        if (BASE64_BLOB.test(line)) {
+          findings.push(
+            this.finding(
+              "base64-blob",
+              target.path,
+              lineNumber,
+              "連続 200 文字以上の base64 らしき塊を検出しました。",
+              "エンコードされた指示・ペイロードの可能性があります。人間レビューで確認してください（advisory）。",
+            ),
+          );
+        }
+      }
+    }
+
+    return InjectionScanReport.create(findings);
+  }
+
+  private finding(
+    kind: InjectionFinding["kind"],
+    sourcePath: string,
+    lineNumber: number,
+    message: string,
+    suggestion: string,
+  ): InjectionFinding {
+    // INV-A: severity は必ず 'warning'。
+    return { kind, severity: "warning", sourcePath, lineNumber, message, suggestion };
+  }
+}

package/scripts/harness/validator-system/domain/value-objects/attestation-verification-report.ts

@@ -0,0 +1,59 @@
+// @unit validator-system
+// @layer domain
+// @work-item-id WI-268
+
+/**
+ * WI-268 / ADR-030 §Decision.1・§Decision.3.②（第2段） — coverage_report の attestation
+ * 参照を requirement-test-matrix に対して authoritative に突合する L3-007 用ドメインモデル。
+ *
+ * L2-016（bare ✅ の遮断＝参照の形状のみ）の authoritative 相棒。参照 id が本ランのテスト
+ * corpus から再生成された matrix 上に実在し、テスト参照を持つことを機械検証する。解決不能な
+ * 参照（空手形の attestation）は fail-closed の error として遮断する。
+ */
+
+/** coverage_report 内の 1 件の `<!-- @attestation <id> -->` 参照。 */
+export interface AttestationReference {
+  /** 参照 id（story-id 形式を期待。例 `H05-02`）。 */
+  readonly id: string;
+  /** 参照を含む coverage_report の project-relative パス。 */
+  readonly sourcePath: string;
+  /** 参照行（1 起点）。 */
+  readonly lineNumber: number;
+}
+
+/**
+ * matrix 由来の「解決可能なスコープ」集合。
+ * resolvableScopeIds = matrix 上に存在し、かつ testReferences を 1 件以上持つ story-id 集合。
+ */
+export interface AttestationScopeEvidence {
+  readonly resolvableScopeIds: ReadonlySet<string>;
+}
+
+/** 1 件の突合違反（解決不能な参照）。severity は常に 'error'（fail-closed / blocking tier）。 */
+export interface AttestationVerificationFinding {
+  readonly severity: "error";
+  readonly sourcePath: string;
+  readonly lineNumber: number;
+  readonly message: string;
+  readonly suggestion: string;
+}
+
+/**
+ * 突合判定レポート。findings はすべて error（fail-closed）。
+ */
+export class AttestationVerificationReport {
+  readonly findings: readonly AttestationVerificationFinding[];
+
+  private constructor(findings: readonly AttestationVerificationFinding[]) {
+    this.findings = Object.freeze([...findings]);
+    Object.freeze(this);
+  }
+
+  static create(findings: readonly AttestationVerificationFinding[]): AttestationVerificationReport {
+    return new AttestationVerificationReport(findings);
+  }
+
+  hasFindings(): boolean {
+    return this.findings.length > 0;
+  }
+}

package/scripts/harness/validator-system/domain/value-objects/coverage-gating-report.ts

@@ -0,0 +1,67 @@
+// @unit validator-system
+// @layer domain
+// @work-item-id WI-258
+
+/**
+ * WI-258 / ADR-030 §Decision.3.② — coverage_report の attestation ゲート（L2-016）用ドメインモデル。
+ *
+ * coverage_report.md の ✅ 主張に attestation 参照（`<!-- @attestation <id> -->`）を要求する
+ * anti-laundering の value-object 群。L2 は参照の存在・形状のみを検証し（bare ✅ を fail-closed で遮断）、
+ * attestation レコードとの authoritative 突合は L3 が担う（ADR-030）。
+ */
+
+/** 1 件の ✅ 主張（AC が「達成」と主張する行）。 */
+export interface CoverageClaim {
+  /** ✅ を含む行番号（1 起点）。 */
+  readonly lineNumber: number;
+  /** 同一行 or 直前の連続コメント行に `@attestation` 参照があるか。 */
+  readonly hasAttestationRef: boolean;
+}
+
+/** 1 coverage_report ファイルの走査結果。 */
+export interface CoverageReportGatingModel {
+  readonly path: string;
+  /** `<!-- @coverage-gating: ungated-legacy -->` マーカー（ファイル全体免除）の有無。 */
+  readonly hasLegacyMarker: boolean;
+  readonly claims: readonly CoverageClaim[];
+}
+
+/** ゲート判定の 1 finding。 */
+export interface CoverageGatingFinding {
+  readonly severity: "error" | "warning";
+  readonly sourcePath: string;
+  readonly message: string;
+  readonly suggestion: string;
+}
+
+/**
+ * ゲート判定レポート。violations は fail-closed の error、warnings は legacy 可視化。
+ */
+export class CoverageGatingReport {
+  readonly violations: readonly CoverageGatingFinding[];
+  readonly warnings: readonly CoverageGatingFinding[];
+  readonly legacyCount: number;
+
+  private constructor(
+    violations: readonly CoverageGatingFinding[],
+    warnings: readonly CoverageGatingFinding[],
+    legacyCount: number,
+  ) {
+    this.violations = Object.freeze([...violations]);
+    this.warnings = Object.freeze([...warnings]);
+    this.legacyCount = legacyCount;
+    Object.freeze(this);
+  }
+
+  static create(
+    violations: readonly CoverageGatingFinding[],
+    warnings: readonly CoverageGatingFinding[],
+    legacyCount: number,
+  ): CoverageGatingReport {
+    return new CoverageGatingReport(violations, warnings, legacyCount);
+  }
+
+  hasViolations(): boolean {
+    return this.violations.length > 0;
+  }
+}

package/scripts/harness/validator-system/domain/value-objects/injection-scan-report.ts

@@ -0,0 +1,55 @@
+// @unit validator-system
+// @layer domain
+// @work-item-id WI-259
+
+/**
+ * WI-259 / ADR-030 §Decision.3.④ — advisory インジェクションスキャナ（L3-006）用ドメインモデル。
+ *
+ * 指示搭載ファイルに対する既知インジェクションパターンの検出結果を表す value-object 群。
+ * 全 finding は severity='warning'（advisory）。error / violation は構造上生成しない（§4.(b)）。
+ */
+
+/** 検出種別。 */
+export type InjectionFindingKind =
+  | "instruction-override"
+  | "invisible-unicode"
+  | "base64-blob"
+  | "html-comment-instruction";
+
+/** 1 走査対象ファイル（infra が解決）。 */
+export interface InjectionScanTarget {
+  /** project-relative パス（報告用）。 */
+  readonly path: string;
+  readonly content: string;
+}
+
+/** 1 件の検出。severity は常に 'warning'。 */
+export interface InjectionFinding {
+  readonly kind: InjectionFindingKind;
+  readonly severity: "warning";
+  readonly sourcePath: string;
+  /** 1 起点の行番号。 */
+  readonly lineNumber: number;
+  readonly message: string;
+  readonly suggestion: string;
+}
+
+/**
+ * スキャン判定レポート。findings はすべて warning（advisory）。
+ */
+export class InjectionScanReport {
+  readonly findings: readonly InjectionFinding[];
+
+  private constructor(findings: readonly InjectionFinding[]) {
+    this.findings = Object.freeze([...findings]);
+    Object.freeze(this);
+  }
+
+  static create(findings: readonly InjectionFinding[]): InjectionScanReport {
+    return new InjectionScanReport(findings);
+  }
+
+  hasFindings(): boolean {
+    return this.findings.length > 0;
+  }
+}

package/scripts/harness/validator-system/domain/value-objects/validator-id.ts

@@ -11,13 +11,16 @@
  * WI-156 で L4-006 を追加
  * WI-222 (HF2-05) で L4-007（ac-level-traceability, default-OFF advisory）を追加
  * WI-227 (H16-03) で L3-005（ac-bound-coverage, default-OFF fail-closed）を追加
+ * WI-258 (ADR-030 §Decision.3.②) で L2-016（coverage-attestation-gating, fail-closed）を追加
+ * WI-259 (ADR-030 §Decision.3.④) で L3-006（injection-scan, advisory warning-only）を追加
+ * WI-268 (ADR-030 §Decision.1・§Decision.3.② 第2段) で L3-007（coverage-attestation-verification, fail-closed）を追加
  */
 
 export class InvalidValidatorIdError extends Error {
   readonly invalidValue: string;
   constructor(raw: string) {
     super(`Invalid validator ID: "${raw}". Must be one of the registered valid IDs.`);
-    this.name = 'InvalidValidatorIdError';
+    this.name = "InvalidValidatorIdError";
     this.invalidValue = raw;
   }
 }
@@ -26,38 +29,41 @@ const VALIDATOR_ID_PATTERN = /^L[0-4]-\d{3}$/;
 
 /** バリデータID -> バリデータ名のマップ */
 const VALIDATOR_NAME_MAP: Record<string, string> = {
-  'L1-017': 'it-test-mock-detection',
-  'L1-018': 'stub-comment-detection',
-  'L2-001': 'phase-gate',
-  'L2-002': 'metadata',
-  'L2-003': 'test-quality',
-  'L2-013': 'cli-e2e-test-existence',
-  'L2-014': 'work-item-status-staleness',
-  'L2-015': 'contract-traceability-coverage',
-  'L3-001': 'security',
-  'L3-002': 'performance',
-  'L3-003': 'coverage',
-  'L3-004': 'nyquist',
-  'L3-005': 'ac-bound-coverage',
-  'L4-001': 'drift-detect',
-  'L4-002': 'consistency-check',
-  'L4-003': 'dead-code',
-  'L4-004': 'doc-freshness',
-  'L4-005': 'pointer-validation',
-  'L4-006': 'skill-catalog-drift',
-  'L4-007': 'ac-level-traceability',
+  "L1-017": "it-test-mock-detection",
+  "L1-018": "stub-comment-detection",
+  "L2-001": "phase-gate",
+  "L2-002": "metadata",
+  "L2-003": "test-quality",
+  "L2-013": "cli-e2e-test-existence",
+  "L2-014": "work-item-status-staleness",
+  "L2-015": "contract-traceability-coverage",
+  "L2-016": "coverage-attestation-gating",
+  "L3-001": "security",
+  "L3-002": "performance",
+  "L3-003": "coverage",
+  "L3-004": "nyquist",
+  "L3-005": "ac-bound-coverage",
+  "L3-006": "injection-scan",
+  "L3-007": "coverage-attestation-verification",
+  "L4-001": "drift-detect",
+  "L4-002": "consistency-check",
+  "L4-003": "dead-code",
+  "L4-004": "doc-freshness",
+  "L4-005": "pointer-validation",
+  "L4-006": "skill-catalog-drift",
+  "L4-007": "ac-level-traceability",
 };
 
 /** バリデータ名 -> バリデータID の逆引きマップ */
 const NAME_TO_ID_MAP: Record<string, string> = {
   ...Object.fromEntries(Object.entries(VALIDATOR_NAME_MAP).map(([id, name]) => [name, id])),
-  'drift-detector': 'L4-001',
-  'consistency-checker': 'L4-002',
-  'dead-code-detector': 'L4-003',
-  'doc-freshness-checker': 'L4-004',
-  'pointer-validator': 'L4-005',
-  'skill-catalog-drift': 'L4-006',
-  'ac-level-traceability': 'L4-007',
+  "drift-detector": "L4-001",
+  "consistency-checker": "L4-002",
+  "dead-code-detector": "L4-003",
+  "doc-freshness-checker": "L4-004",
+  "pointer-validator": "L4-005",
+  "skill-catalog-drift": "L4-006",
+  "ac-level-traceability": "L4-007",
 };
 
 /** 有効なValidatorID集合 */
@@ -65,12 +71,12 @@ const VALID_IDS = new Set(Object.keys(VALIDATOR_NAME_MAP));
 
 export class ValidatorId {
   readonly value: string;
-  readonly layer: 'L0' | 'L1' | 'L2' | 'L3' | 'L4';
+  readonly layer: "L0" | "L1" | "L2" | "L3" | "L4";
   readonly sequence: string;
 
   private constructor(value: string) {
     this.value = value;
-    this.layer = value.substring(0, 2) as 'L0' | 'L1' | 'L2' | 'L3' | 'L4';
+    this.layer = value.substring(0, 2) as "L0" | "L1" | "L2" | "L3" | "L4";
     this.sequence = value.substring(3);
     Object.freeze(this);
   }
@@ -93,7 +99,7 @@ export class ValidatorId {
     return new ValidatorId(id);
   }
 
-  getLayer(): 'L0' | 'L1' | 'L2' | 'L3' | 'L4' {
+  getLayer(): "L0" | "L1" | "L2" | "L3" | "L4" {
     return this.layer;
   }
 

package/scripts/harness/validator-system/infrastructure/adapters/adr-foundation-reference-adapter.ts

@@ -4,9 +4,12 @@
  *
  * AdrFoundationReferenceAdapter — AdrReferencePort実装
  */
-import type { AdrReferencePort, AdrMetadata } from '../../domain/ports/adr-reference-port.js';
+import * as path from "node:path";
+import type { AdrMetadata, AdrReferencePort } from "../../domain/ports/adr-reference-port.js";
 
 export class AdrFoundationReferenceAdapter implements AdrReferencePort {
+  constructor(private readonly rootDir: string = process.cwd()) {}
+
   async exists(adrRef: string): Promise<boolean> {
     try {
       const adr = await this.findAdr(adrRef);
@@ -35,19 +38,22 @@ export class AdrFoundationReferenceAdapter implements AdrReferencePort {
   }
 
   private async findAdr(adrRef: string): Promise<{
-    readonly getFrontmatter: () => { readonly title: string; readonly status: { readonly value: AdrMetadata['status'] } };
+    readonly getFrontmatter: () => {
+      readonly title: string;
+      readonly status: { readonly value: AdrMetadata["status"] };
+    };
     readonly toAdrRef: () => string;
   } | null> {
-    const { createAdrFoundationModule } = await import('../../../adr-foundation/composition-root.js');
-    const { AdrId } = await import('../../../adr-foundation/domain/value-objects/adr-id.js');
-    const mod = createAdrFoundationModule(process.cwd());
+    const { createAdrFoundationModule } = await import("../../../adr-foundation/composition-root.js");
+    const { AdrId } = await import("../../../adr-foundation/domain/value-objects/adr-id.js");
+    const mod = createAdrFoundationModule(path.join(this.rootDir, "docs", "ADR"));
     const repository = mod.adrRepository;
 
-    if ('findById' in repository && typeof repository.findById === 'function') {
+    if ("findById" in repository && typeof repository.findById === "function") {
       return repository.findById(AdrId.create(adrRef));
     }
 
-    if ('findAll' in repository && typeof repository.findAll === 'function') {
+    if ("findAll" in repository && typeof repository.findAll === "function") {
       const adrs = await repository.findAll();
       return adrs.find((adr) => adr.toAdrRef() === adrRef) ?? null;
     }

package/scripts/harness/validator-system/infrastructure/adapters/file-system-coverage-attestation-gating-adapter.ts

@@ -0,0 +1,87 @@
+// @unit validator-system
+// @layer infrastructure
+// @work-item-id WI-258
+
+import { readdir, readFile } from "node:fs/promises";
+import { join } from "node:path";
+import type { CoverageAttestationGatingPolicyPort } from "../../domain/ports/coverage-attestation-gating-policy-port.js";
+import type { CoverageClaim, CoverageReportGatingModel } from "../../domain/value-objects/coverage-gating-report.js";
+
+const COVERAGE_REPORT_FILE = "coverage_report.md";
+const CONSTRUCTION_REL = join("docs", "product", "construction");
+const LEGACY_MARKER = /<!--\s*@coverage-gating:\s*ungated-legacy\s*-->/;
+const ATTESTATION_REF = /<!--\s*@attestation\b/;
+const CHECKMARK = "✅"; // ✅
+const COMMENT_LINE = /^\s*<!--/;
+
+/**
+ * WI-258 / ADR-030 §Decision.3.② — coverage-attestation-gating (L2-016) の走査アダプタ。
+ *
+ * `docs/product/construction/*​/coverage_report.md` を cwd 起点で走査し（targetPaths 非依存の
+ * corpus 走査。L2-014 と同様に自前でファイル探索する）、各ファイルを CoverageReportGatingModel 化する。
+ *
+ * - legacy マーカー: `<!-- @coverage-gating: ungated-legacy -->` の有無。
+ * - ✅ claim: `✅` を含む行。同一行に `<!-- @attestation ... -->` があるか、
+ *   直前の連続コメント行に `@attestation` があれば hasAttestationRef=true。
+ */
+export class FileSystemCoverageAttestationGatingAdapter implements CoverageAttestationGatingPolicyPort {
+  constructor(private readonly projectRoot: string) {}
+
+  async collect(): Promise<readonly CoverageReportGatingModel[]> {
+    const constructionRoot = join(this.projectRoot, CONSTRUCTION_REL);
+    let unitDirs: string[];
+    try {
+      const entries = await readdir(constructionRoot, { withFileTypes: true });
+      unitDirs = entries.filter((e) => e.isDirectory()).map((e) => e.name);
+    } catch {
+      return Object.freeze([]);
+    }
+
+    const models: CoverageReportGatingModel[] = [];
+    for (const unitDir of unitDirs) {
+      const filePath = join(constructionRoot, unitDir, COVERAGE_REPORT_FILE);
+      let content: string;
+      try {
+        content = await readFile(filePath, "utf-8");
+      } catch {
+        continue;
+      }
+      // path は project-relative で報告する（メッセージの可搬性のため）。
+      const relPath = `${CONSTRUCTION_REL.replace(/\\/g, "/")}/${unitDir}/${COVERAGE_REPORT_FILE}`;
+      models.push(this.parse(relPath, content));
+    }
+    return Object.freeze(models);
+  }
+
+  private parse(path: string, content: string): CoverageReportGatingModel {
+    const lines = content.split(/\r?\n/);
+    const hasLegacyMarker = lines.some((line) => LEGACY_MARKER.test(line));
+
+    const claims: CoverageClaim[] = [];
+    for (let i = 0; i < lines.length; i++) {
+      const line = lines[i];
+      if (!line.includes(CHECKMARK)) continue;
+      claims.push({
+        lineNumber: i + 1,
+        hasAttestationRef: this.hasAttestationRef(lines, i),
+      });
+    }
+
+    return { path, hasLegacyMarker, claims };
+  }
+
+  /**
+   * ✅ 行 index について attestation 参照があるか判定する。
+   * (1) 同一行にコメント参照、または
+   * (2) 直前の連続するコメント行のいずれかに `@attestation` 参照がある。
+   */
+  private hasAttestationRef(lines: readonly string[], index: number): boolean {
+    if (ATTESTATION_REF.test(lines[index])) return true;
+    for (let j = index - 1; j >= 0; j--) {
+      const prev = lines[j];
+      if (!COMMENT_LINE.test(prev)) break;
+      if (ATTESTATION_REF.test(prev)) return true;
+    }
+    return false;
+  }
+}