phasegate 0.167.0 → 0.172.0

package/scripts/harness/config-foundation/application/mappers/validator-system-config-mapper.ts

@@ -15,6 +15,7 @@ export function toValidatorSystemConfig(resolvedConfig: HarnessConfigV2 | undefi
     performance: 'L3-002',
     coverage: 'L3-003',
     nyquist: 'L3-004',
+    'ac-bound-coverage': 'L3-005',
   }, /^L3-\d{3}$/);
   const l4Validators = normalizeValidators(resolvedConfig.layers.L4.validators, {
     'drift-detect': 'L4-001',
@@ -49,6 +50,8 @@ export function toValidatorSystemConfig(resolvedConfig: HarnessConfigV2 | undefi
         validators: l3Validators.length > 0 ? l3Validators : ['L3-001', 'L3-002', 'L3-003', 'L3-004'],
         coverageThreshold: resolvedConfig.layers.L3.coverageThreshold,
         requirementMatrixPath: resolvedConfig.layers.L3.requirementMatrixPath,
+        // WI-227 / H16-03: L3-005 のスコープ（additive-safe。未設定は []）
+        acBoundStories: resolvedConfig.layers.L3.acBoundStories ?? [],
       },
       L4: {
         enabled: resolvedConfig.layers.L4.enabled,

package/scripts/harness/config-foundation/domain/harness-config.ts

@@ -83,6 +83,7 @@ export interface HarnessConfigResolvedDocument {
       validators: string[];
       coverageThreshold: number;
       requirementMatrixPath?: string;
+      acBoundStories?: readonly string[];
     };
     L4: {
       enabled: boolean;

package/scripts/harness/config-foundation/domain/value-objects/l3-config.ts

@@ -11,6 +11,7 @@ interface L3ConfigProps {
   readonly validators: string[];
   readonly coverageThreshold: number;
   readonly requirementMatrixPath?: string;
+  readonly acBoundStories?: readonly string[];
 }
 
 export class L3Config {
@@ -18,6 +19,7 @@ export class L3Config {
   readonly validators: readonly string[];
   readonly coverageThreshold: number;
   readonly requirementMatrixPath?: string;
+  readonly acBoundStories?: readonly string[];
 
   constructor(props: L3ConfigProps) {
     if (props.coverageThreshold < 0) {
@@ -40,6 +42,7 @@ export class L3Config {
     this.validators = Object.freeze([...props.validators]);
     this.coverageThreshold = props.coverageThreshold;
     this.requirementMatrixPath = props.requirementMatrixPath;
+    this.acBoundStories = props.acBoundStories ? Object.freeze([...props.acBoundStories]) : undefined;
     Object.freeze(this);
   }
 
@@ -48,6 +51,7 @@ export class L3Config {
     validators: string[];
     coverageThreshold: number;
     requirementMatrixPath?: string;
+    acBoundStories?: readonly string[];
   }): L3Config {
     return new L3Config(raw);
   }

package/scripts/harness/config-foundation/domain/value-objects/layers-config.ts

@@ -13,7 +13,7 @@ import { L4Config } from './l4-config.js';
 interface ResolvedLayersDocument {
   L1: { enabled: boolean; rules: Record<string, string> };
   L2: { enabled: boolean; validators: string[] };
-  L3: { enabled: boolean; validators: string[]; coverageThreshold: number; requirementMatrixPath?: string };
+  L3: { enabled: boolean; validators: string[]; coverageThreshold: number; requirementMatrixPath?: string; acBoundStories?: readonly string[] };
   L4: { enabled: boolean; validators: string[]; schedule: string };
 }
 

package/scripts/harness/config-foundation/infrastructure/schemas/harness-config-v2.schema.json

@@ -130,6 +130,13 @@
             "requirementMatrixPath": {
               "type": "string",
               "minLength": 1
+            },
+            "acBoundStories": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              },
+              "uniqueItems": true
             }
           }
         },

package/scripts/harness/config-foundation/infrastructure/schemas/harness-config-v3.schema.json

@@ -140,6 +140,13 @@
             "requirementMatrixPath": {
               "type": "string",
               "minLength": 1
+            },
+            "acBoundStories": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              },
+              "uniqueItems": true
             }
           }
         },

package/scripts/harness/harness-error/domain/errors/severity-downgrade-violation-error.ts

@@ -6,7 +6,7 @@ import { HarnessErrorDomainError } from './harness-error-domain-error.js';
 export class SeverityDowngradeViolationError extends HarnessErrorDomainError {
   constructor(requested: string, defaultSeverity: string) {
     super(
-      `severity の格下げは禁止されています: default="${defaultSeverity}" に対して "${requested}" が要求されました。`
+      `severity の格下げは禁止されています: default="${defaultSeverity}" に対して "${requested}" が要求されました。根拠: ADR-021`
     );
     this.name = 'SeverityDowngradeViolationError';
   }

package/scripts/harness/nyquist-validation/application/mappers/coverage-result-mapper.ts

@@ -7,19 +7,17 @@
 import type { CoverageResult } from '../../domain/value-objects/coverage-result.js';
 import type { CalculateCoverageOutput } from '../dto/calculate-coverage-output.js';
 
-export class CoverageResultMapper {
-  static toOutput(
-    result: CoverageResult,
-    threshold: { active: number } | null
-  ): CalculateCoverageOutput {
-    return {
-      coveredAcCount: result.coveredAcCount,
-      totalAcCount: result.totalAcCount,
-      ratePercent: result.toPercentage(),
-      uncoveredAcIds: result.uncoveredAcIds,
-      threshold: threshold?.active ?? null,
-      meetsThreshold:
-        threshold !== null ? result.meetsThreshold(threshold.active) : null,
-    };
-  }
+export function toCalculateCoverageOutput(
+  result: CoverageResult,
+  threshold: { active: number } | null
+): CalculateCoverageOutput {
+  return {
+    coveredAcCount: result.coveredAcCount,
+    totalAcCount: result.totalAcCount,
+    ratePercent: result.toPercentage(),
+    uncoveredAcIds: result.uncoveredAcIds,
+    threshold: threshold?.active ?? null,
+    meetsThreshold:
+      threshold !== null ? result.meetsThreshold(threshold.active) : null,
+  };
 }

package/scripts/harness/nyquist-validation/application/mappers/impact-analysis-result-mapper.ts

@@ -7,16 +7,16 @@
 import type { ImpactAnalysisResult } from '../../domain/value-objects/impact-analysis-result.js';
 import type { AnalyzeImpactOutput } from '../dto/analyze-impact-output.js';
 
-export class ImpactAnalysisResultMapper {
-  static toOutput(result: ImpactAnalysisResult): AnalyzeImpactOutput {
-    return {
-      storyId: result.storyId,
-      directTests: result.directTests.map((ref) => ({
-        filePath: ref.filePath,
-        testType: ref.testType,
-      })),
-      directMappingOnly: true,
-      found: !result.isEmpty(),
-    };
-  }
+export function toAnalyzeImpactOutput(
+  result: ImpactAnalysisResult
+): AnalyzeImpactOutput {
+  return {
+    storyId: result.storyId,
+    directTests: result.directTests.map((ref) => ({
+      filePath: ref.filePath,
+      testType: ref.testType,
+    })),
+    directMappingOnly: true,
+    found: !result.isEmpty(),
+  };
 }

package/scripts/harness/nyquist-validation/application/usecases/analyze-impact-usecase.ts

@@ -12,7 +12,7 @@ import { RequirementTestMatrix } from '../../domain/aggregates/requirement-test-
 import { StoryMapping } from '../../domain/entities/story-mapping.js';
 import { AcMapping } from '../../domain/value-objects/ac-mapping.js';
 import { TestReference } from '../../domain/value-objects/test-reference.js';
-import { ImpactAnalysisResultMapper } from '../mappers/impact-analysis-result-mapper.js';
+import { toAnalyzeImpactOutput } from '../mappers/impact-analysis-result-mapper.js';
 import type { AnalyzeImpactInput } from '../dto/analyze-impact-input.js';
 import type { AnalyzeImpactOutput } from '../dto/analyze-impact-output.js';
 
@@ -25,29 +25,29 @@ export interface AnalyzeImpactUseCaseDeps {
 
 function buildMatrix(data: unknown): RequirementTestMatrix {
   const obj = data as Record<string, unknown>;
-  const rawStories = Array.isArray(obj['stories']) ? obj['stories'] : (Array.isArray(obj['storyMappings']) ? obj['storyMappings'] : []);
+  const rawStories = Array.isArray(obj.stories) ? obj.stories : (Array.isArray(obj.storyMappings) ? obj.storyMappings : []);
 
   const storyMappings = (rawStories as unknown[]).map((s) => {
     const story = s as Record<string, unknown>;
-    const rawAcMappings = Array.isArray(story['storyMappings'])
-      ? story['storyMappings']
-      : (Array.isArray(story['acMappings']) ? story['acMappings'] : []);
+    const rawAcMappings = Array.isArray(story.storyMappings)
+      ? story.storyMappings
+      : (Array.isArray(story.acMappings) ? story.acMappings : []);
 
     const acMappings = (rawAcMappings as unknown[]).map((a) => {
       const acm = a as Record<string, unknown>;
-      const rawRefs = Array.isArray(acm['testReferences']) ? acm['testReferences'] : [];
+      const rawRefs = Array.isArray(acm.testReferences) ? acm.testReferences : [];
       const testReferences = (rawRefs as unknown[]).map((r) => {
         const ref = r as Record<string, unknown>;
         return TestReference.create({
-          filePath: String(ref['filePath'] ?? ''),
-          testType: String(ref['testType'] ?? ''),
+          filePath: String(ref.filePath ?? ''),
+          testType: String(ref.testType ?? ''),
         });
       });
-      return AcMapping.create({ acId: String(acm['acId'] ?? ''), testReferences });
+      return AcMapping.create({ acId: String(acm.acId ?? ''), testReferences });
     });
 
     return StoryMapping.create({
-      storyId: String(story['storyId'] ?? ''),
+      storyId: String(story.storyId ?? ''),
       acMappings,
     });
   });
@@ -77,6 +77,6 @@ export class AnalyzeImpactUseCase {
     const matrix = buildMatrix(rawData);
     const result = this.impactAnalysisService.analyze(matrix, input.storyId);
 
-    return ImpactAnalysisResultMapper.toOutput(result);
+    return toAnalyzeImpactOutput(result);
   }
 }

package/scripts/harness/nyquist-validation/application/usecases/calculate-coverage-usecase.ts

@@ -13,7 +13,7 @@ import { RequirementTestMatrix } from '../../domain/aggregates/requirement-test-
 import { StoryMapping } from '../../domain/entities/story-mapping.js';
 import { AcMapping } from '../../domain/value-objects/ac-mapping.js';
 import { TestReference } from '../../domain/value-objects/test-reference.js';
-import { CoverageResultMapper } from '../mappers/coverage-result-mapper.js';
+import { toCalculateCoverageOutput } from '../mappers/coverage-result-mapper.js';
 import type { CalculateCoverageInput } from '../dto/calculate-coverage-input.js';
 import type { CalculateCoverageOutput } from '../dto/calculate-coverage-output.js';
 
@@ -27,29 +27,29 @@ export interface CalculateCoverageUseCaseDeps {
 
 function buildMatrix(data: unknown): RequirementTestMatrix {
   const obj = data as Record<string, unknown>;
-  const rawStories = Array.isArray(obj['stories']) ? obj['stories'] : (Array.isArray(obj['storyMappings']) ? obj['storyMappings'] : []);
+  const rawStories = Array.isArray(obj.stories) ? obj.stories : (Array.isArray(obj.storyMappings) ? obj.storyMappings : []);
 
   const storyMappings = (rawStories as unknown[]).map((s) => {
     const story = s as Record<string, unknown>;
-    const rawAcMappings = Array.isArray(story['storyMappings'])
-      ? story['storyMappings']
-      : (Array.isArray(story['acMappings']) ? story['acMappings'] : []);
+    const rawAcMappings = Array.isArray(story.storyMappings)
+      ? story.storyMappings
+      : (Array.isArray(story.acMappings) ? story.acMappings : []);
 
     const acMappings = (rawAcMappings as unknown[]).map((a) => {
       const acm = a as Record<string, unknown>;
-      const rawRefs = Array.isArray(acm['testReferences']) ? acm['testReferences'] : [];
+      const rawRefs = Array.isArray(acm.testReferences) ? acm.testReferences : [];
       const testReferences = (rawRefs as unknown[]).map((r) => {
         const ref = r as Record<string, unknown>;
         return TestReference.create({
-          filePath: String(ref['filePath'] ?? ''),
-          testType: String(ref['testType'] ?? ''),
+          filePath: String(ref.filePath ?? ''),
+          testType: String(ref.testType ?? ''),
         });
       });
-      return AcMapping.create({ acId: String(acm['acId'] ?? ''), testReferences });
+      return AcMapping.create({ acId: String(acm.acId ?? ''), testReferences });
     });
 
     return StoryMapping.create({
-      storyId: String(story['storyId'] ?? ''),
+      storyId: String(story.storyId ?? ''),
       acMappings,
     });
   });
@@ -86,6 +86,6 @@ export class CalculateCoverageUseCase {
       threshold = await this.coverageThresholdPort.getThreshold();
     }
 
-    return CoverageResultMapper.toOutput(coverageResult, threshold);
+    return toCalculateCoverageOutput(coverageResult, threshold);
   }
 }

package/scripts/harness/nyquist-validation/application/usecases/check-ac-coverage-gate-usecase.ts

@@ -24,29 +24,29 @@ export interface CheckAcCoverageGateUseCaseDeps {
 
 function buildMatrix(data: unknown): RequirementTestMatrix {
   const obj = data as Record<string, unknown>;
-  const rawStories = Array.isArray(obj['stories']) ? obj['stories'] : (Array.isArray(obj['storyMappings']) ? obj['storyMappings'] : []);
+  const rawStories = Array.isArray(obj.stories) ? obj.stories : (Array.isArray(obj.storyMappings) ? obj.storyMappings : []);
 
   const storyMappings = (rawStories as unknown[]).map((s) => {
     const story = s as Record<string, unknown>;
-    const rawAcMappings = Array.isArray(story['storyMappings'])
-      ? story['storyMappings']
-      : (Array.isArray(story['acMappings']) ? story['acMappings'] : []);
+    const rawAcMappings = Array.isArray(story.storyMappings)
+      ? story.storyMappings
+      : (Array.isArray(story.acMappings) ? story.acMappings : []);
 
     const acMappings = (rawAcMappings as unknown[]).map((a) => {
       const acm = a as Record<string, unknown>;
-      const rawRefs = Array.isArray(acm['testReferences']) ? acm['testReferences'] : [];
+      const rawRefs = Array.isArray(acm.testReferences) ? acm.testReferences : [];
       const testReferences = (rawRefs as unknown[]).map((r) => {
         const ref = r as Record<string, unknown>;
         return TestReference.create({
-          filePath: String(ref['filePath'] ?? ''),
-          testType: String(ref['testType'] ?? ''),
+          filePath: String(ref.filePath ?? ''),
+          testType: String(ref.testType ?? ''),
         });
       });
-      return AcMapping.create({ acId: String(acm['acId'] ?? ''), testReferences });
+      return AcMapping.create({ acId: String(acm.acId ?? ''), testReferences });
     });
 
     return StoryMapping.create({
-      storyId: String(story['storyId'] ?? ''),
+      storyId: String(story.storyId ?? ''),
       acMappings,
     });
   });

package/scripts/harness/nyquist-validation/domain/aggregates/requirement-test-matrix.ts

@@ -5,7 +5,7 @@
  * requirement-test-matrix の集約ルート
  */
 import { DuplicateStoryMappingError } from '../errors/duplicate-story-mapping-error.js';
-import { StoryMapping } from '../entities/story-mapping.js';
+import type { StoryMapping } from '../entities/story-mapping.js';
 
 export interface RequirementTestMatrixCreateProps {
   readonly storyMappings: readonly StoryMapping[];

package/scripts/harness/nyquist-validation/domain/entities/story-mapping.ts

@@ -4,7 +4,7 @@
  *
  * ストーリー単位のAC→テスト参照マッピングエンティティ
  */
-import { AcMapping, type RawAcMapping } from '../value-objects/ac-mapping.js';
+import type { AcMapping, RawAcMapping } from '../value-objects/ac-mapping.js';
 
 export interface StoryMappingCreateProps {
   readonly storyId: string;

package/scripts/harness/nyquist-validation/domain/services/ac-coverage-gate-policy.ts

@@ -5,7 +5,7 @@
  * AC網羅ゲート判定ポリシー
  * validator-system の L3-004 が実行主体として呼び出す公開ポリシー
  */
-import { RequirementTestMatrix } from '../aggregates/requirement-test-matrix.js';
+import type { RequirementTestMatrix } from '../aggregates/requirement-test-matrix.js';
 
 export interface NyquistHarnessError {
   readonly code: string;

package/scripts/harness/nyquist-validation/domain/services/coverage-calculation-service.ts

@@ -4,7 +4,7 @@
  *
  * AC網羅率算出サービス（純粋な算出ロジック）
  */
-import { RequirementTestMatrix } from '../aggregates/requirement-test-matrix.js';
+import type { RequirementTestMatrix } from '../aggregates/requirement-test-matrix.js';
 import { CoverageResult } from '../value-objects/coverage-result.js';
 
 export class CoverageCalculationService {

package/scripts/harness/nyquist-validation/domain/services/impact-analysis-service.ts

@@ -4,9 +4,9 @@
  *
  * テストケース逆引きサービス（v1: 直接マッピングのみ）
  */
-import { RequirementTestMatrix } from '../aggregates/requirement-test-matrix.js';
+import type { RequirementTestMatrix } from '../aggregates/requirement-test-matrix.js';
 import { ImpactAnalysisResult } from '../value-objects/impact-analysis-result.js';
-import { TestReference } from '../value-objects/test-reference.js';
+import type { TestReference } from '../value-objects/test-reference.js';
 
 export class ImpactAnalysisService {
   analyze(matrix: RequirementTestMatrix, storyId: string): ImpactAnalysisResult {

package/scripts/harness/nyquist-validation/domain/services/matrix-validation-service.ts

@@ -35,15 +35,15 @@ function extractStoryMappings(rawData: unknown): RawStoryMappingEntry[] {
   if (rawData === null || typeof rawData !== 'object') return [];
   const obj = rawData as Record<string, unknown>;
 
-  const source = Array.isArray(obj['stories'])
-    ? (obj['stories'] as unknown[])
-    : Array.isArray(obj['storyMappings'])
-      ? (obj['storyMappings'] as unknown[])
+  const source = Array.isArray(obj.stories)
+    ? (obj.stories as unknown[])
+    : Array.isArray(obj.storyMappings)
+      ? (obj.storyMappings as unknown[])
       : [];
 
   return source.map((item) => {
     const entry = item as Record<string, unknown>;
-    return { storyId: String(entry['storyId'] ?? '') };
+    return { storyId: String(entry.storyId ?? '') };
   });
 }
 

package/scripts/harness/nyquist-validation/domain/value-objects/impact-analysis-result.ts

@@ -4,7 +4,7 @@
  *
  * テストケース逆引き結果を表す値オブジェクト
  */
-import { TestReference } from './test-reference.js';
+import type { TestReference } from './test-reference.js';
 
 export interface ImpactAnalysisResultProps {
   readonly storyId: string;

package/scripts/harness/nyquist-validation/infrastructure/adapters/ajv-json-schema-validator-adapter.ts

@@ -15,13 +15,13 @@ function convertAjvError(err: ErrorObject): NyquistHarnessError {
 
   switch (err.keyword) {
     case 'required':
-      message = `${err.instancePath || '(root)'} に必須フィールド '${String(err.params['missingProperty'] ?? '')}' がありません`;
+      message = `${err.instancePath || '(root)'} に必須フィールド '${String(err.params.missingProperty ?? '')}' がありません`;
       break;
     case 'type':
-      message = `${err.instancePath} の型が不正です。期待: ${String(err.params['type'] ?? '')}`;
+      message = `${err.instancePath} の型が不正です。期待: ${String(err.params.type ?? '')}`;
       break;
     case 'pattern':
-      message = `${err.instancePath} の値が形式 '${String(err.params['pattern'] ?? '')}' に一致しません`;
+      message = `${err.instancePath} の値が形式 '${String(err.params.pattern ?? '')}' に一致しません`;
       break;
     case 'enum':
       message = `${err.instancePath} の値は許容値のいずれでもありません`;

package/scripts/harness/nyquist-validation/infrastructure/adapters/config-foundation-coverage-threshold-adapter.ts

@@ -35,10 +35,10 @@ export class ConfigFoundationCoverageThresholdAdapter implements CoverageThresho
       preset = 'standard';
     }
 
-    const active = THRESHOLDS[preset] ?? THRESHOLDS['standard'];
+    const active = THRESHOLDS[preset] ?? THRESHOLDS.standard;
     return {
-      standard: THRESHOLDS['standard'] ?? 0.90,
-      strict: THRESHOLDS['strict'] ?? 0.95,
+      standard: THRESHOLDS.standard ?? 0.90,
+      strict: THRESHOLDS.strict ?? 0.95,
       active: active ?? 0.90,
     };
   }

package/scripts/harness/validator-system/application/dto/run-l3-validators-input.ts

@@ -9,4 +9,6 @@ export interface RunL3ValidatorsInput {
   readonly targetPaths: readonly string[];
   readonly coverageReportPath?: string;
   readonly requirementMatrixPath?: string;
+  /** L3-005（AC-bound coverage）のスコープ対象 story-id 配列。省略時 []。 */
+  readonly acBoundStories?: readonly string[];
 }

package/scripts/harness/validator-system/application/use-cases/run-l1-validators-usecase.ts

@@ -10,7 +10,7 @@ import { ValidatorId } from '../../domain/value-objects/validator-id.js';
 import { ValidationResult } from '../../domain/value-objects/validation-result.js';
 import { ItTestMockDetectionService } from '../../domain/services/it-test-mock-detection-service.js';
 import { StubCommentDetectionService } from '../../domain/services/stub-comment-detection-service.js';
-import { ValidationResultContractMapper } from '../mappers/validation-result-contract-mapper.js';
+import type { ValidationResultContractMapper } from '../mappers/validation-result-contract-mapper.js';
 import type { ValidationResultContract } from '../dto/validation-result-contract.js';
 import type { RunL1ValidatorsInput } from '../dto/run-l1-validators-input.js';
 import type { ItTestFileAnalyzerPort } from '../../domain/ports/it-test-file-analyzer-port.js';

package/scripts/harness/validator-system/application/use-cases/run-l2-validators-usecase.ts

@@ -8,9 +8,9 @@
 import { readFile } from 'node:fs/promises';
 import { ValidatorId, InvalidValidatorIdError } from '../../domain/value-objects/validator-id.js';
 import { ValidationResult, type HarnessErrorLike } from '../../domain/value-objects/validation-result.js';
-import { ValidatorRegistry } from '../../domain/services/validator-registry.js';
-import { ValidatorExecutionService, ValidatorExecutionError } from '../../domain/services/validator-execution-service.js';
-import { ValidationResultContractMapper } from '../mappers/validation-result-contract-mapper.js';
+import type { ValidatorRegistry } from '../../domain/services/validator-registry.js';
+import { type ValidatorExecutionService, ValidatorExecutionError } from '../../domain/services/validator-execution-service.js';
+import type { ValidationResultContractMapper } from '../mappers/validation-result-contract-mapper.js';
 import type { ValidationResultContract } from '../dto/validation-result-contract.js';
 import type { RunL2ValidatorsInput } from '../dto/run-l2-validators-input.js';
 import type { ValidatorConfigPort } from '../../domain/ports/validator-config-port.js';

package/scripts/harness/validator-system/application/use-cases/run-l3-validators-usecase.ts

@@ -7,14 +7,15 @@
  */
 import { ValidatorId } from '../../domain/value-objects/validator-id.js';
 import { ValidationResult } from '../../domain/value-objects/validation-result.js';
-import { ValidatorRegistry } from '../../domain/services/validator-registry.js';
-import { ValidatorExecutionService, ValidatorExecutionError } from '../../domain/services/validator-execution-service.js';
+import type { ValidatorRegistry } from '../../domain/services/validator-registry.js';
+import { type ValidatorExecutionService, ValidatorExecutionError } from '../../domain/services/validator-execution-service.js';
 import { ValidatorLanguageCapabilityService } from '../../domain/services/validator-language-capability-service.js';
-import { ValidationResultContractMapper } from '../mappers/validation-result-contract-mapper.js';
+import type { ValidationResultContractMapper } from '../mappers/validation-result-contract-mapper.js';
 import type { ValidationResultContract } from '../dto/validation-result-contract.js';
 import type { RunL3ValidatorsInput } from '../dto/run-l3-validators-input.js';
 import type { ValidatorConfigPort } from '../../domain/ports/validator-config-port.js';
 import type { AcCoveragePolicyPort } from '../../domain/ports/ac-coverage-policy-port.js';
+import type { AcBoundCoveragePolicyPort } from '../../domain/ports/ac-bound-coverage-policy-port.js';
 import type { SecurityPatternScannerPort } from '../../domain/ports/security-pattern-scanner-port.js';
 import type { PerformanceScannerPort } from '../../domain/ports/performance-scanner-port.js';
 
@@ -31,9 +32,12 @@ export interface RunL3ValidatorsUseCaseDeps {
   validatorConfigPort: ValidatorConfigPort;
   contractMapper: ValidationResultContractMapper;
   acCoveragePolicyPort?: AcCoveragePolicyPort;
+  acBoundCoveragePolicyPort?: AcBoundCoveragePolicyPort;
   coverageReportPort?: { getCoverage(): Promise<{ overallCoverage: number; perFileCoverage: readonly { filePath: string; coverage: number }[] }> };
   securityScannerPort?: SecurityPatternScannerPort;
   performanceScannerPort?: PerformanceScannerPort;
+  /** L3-005 のスコープ対象 story-id（config layers.L3.acBoundStories 由来。既定 []）。 */
+  acBoundStories?: readonly string[];
 }
 
 export class RunL3ValidatorsUseCase {
@@ -42,9 +46,11 @@ export class RunL3ValidatorsUseCase {
   private readonly configPort: ValidatorConfigPort;
   private readonly mapper: ValidationResultContractMapper;
   private readonly acCoveragePolicyPort?: AcCoveragePolicyPort;
+  private readonly acBoundCoveragePolicyPort?: AcBoundCoveragePolicyPort;
   private readonly coverageReportPort?: RunL3ValidatorsUseCaseDeps['coverageReportPort'];
   private readonly securityScannerPort?: SecurityPatternScannerPort;
   private readonly performanceScannerPort?: PerformanceScannerPort;
+  private readonly acBoundStories: readonly string[];
   private readonly languageCapabilityService = new ValidatorLanguageCapabilityService();
 
   constructor(deps: RunL3ValidatorsUseCaseDeps) {
@@ -53,9 +59,11 @@ export class RunL3ValidatorsUseCase {
     this.configPort = deps.validatorConfigPort;
     this.mapper = deps.contractMapper;
     this.acCoveragePolicyPort = deps.acCoveragePolicyPort;
+    this.acBoundCoveragePolicyPort = deps.acBoundCoveragePolicyPort;
     this.coverageReportPort = deps.coverageReportPort;
     this.securityScannerPort = deps.securityScannerPort;
     this.performanceScannerPort = deps.performanceScannerPort;
+    this.acBoundStories = deps.acBoundStories ?? [];
   }
 
   async execute(input: RunL3ValidatorsInput): Promise<readonly ValidationResultContract[]> {
@@ -195,6 +203,28 @@ export class RunL3ValidatorsUseCase {
       }
     }
 
+    // L3-005: AC-bound coverage（fail-closed, default-OFF）。
+    // override map に unskipped な L3-005 がある場合のみ policy を呼ぶ（L3-004 と同じ方式）。
+    if (this.acBoundCoveragePolicyPort) {
+      const l3005Result = overrideMap.get('L3-005');
+      if (l3005Result && !l3005Result.skipped) {
+        const policyResult = await this.acBoundCoveragePolicyPort.checkAcBoundCoverage({
+          matrixFilePath: input.requirementMatrixPath,
+          acBoundStories: input.acBoundStories ?? this.acBoundStories,
+        });
+        if (!policyResult.passed) {
+          overrideMap.set(
+            'L3-005',
+            ValidationResult.fail(
+              ValidatorId.create('L3-005'),
+              [...policyResult.errors],
+              0,
+            ),
+          );
+        }
+      }
+    }
+
     const finalResults = definitions.map(
       (definition) => overrideMap.get(definition.validatorId.value) ?? ValidationResult.skip(definition.validatorId),
     );

package/scripts/harness/validator-system/application/use-cases/run-l4-validators-usecase.ts

@@ -10,10 +10,10 @@
 import { ValidatorId } from '../../domain/value-objects/validator-id.js';
 import { ValidationResult } from '../../domain/value-objects/validation-result.js';
 import { LayerConfig } from '../../domain/value-objects/layer-config.js';
-import { ValidatorRegistry } from '../../domain/services/validator-registry.js';
-import { ValidatorExecutionService, ValidatorExecutionError } from '../../domain/services/validator-execution-service.js';
+import type { ValidatorRegistry } from '../../domain/services/validator-registry.js';
+import { type ValidatorExecutionService, ValidatorExecutionError } from '../../domain/services/validator-execution-service.js';
 import { ValidatorLanguageCapabilityService } from '../../domain/services/validator-language-capability-service.js';
-import { ValidationResultContractMapper } from '../mappers/validation-result-contract-mapper.js';
+import type { ValidationResultContractMapper } from '../mappers/validation-result-contract-mapper.js';
 import type { ValidationResultContract } from '../dto/validation-result-contract.js';
 import type { RunL4ValidatorsInput } from '../dto/run-l4-validators-input.js';
 import type { ValidatorConfigPort } from '../../domain/ports/validator-config-port.js';

package/scripts/harness/validator-system/application/use-cases/run-quick-mode-usecase.ts

@@ -5,9 +5,9 @@
  * RunQuickModeUseCase — H08-04: Quickモード緩和実行
  */
 import { ValidatorId } from '../../domain/value-objects/validator-id.js';
-import { ValidatorRegistry } from '../../domain/services/validator-registry.js';
-import { ValidatorExecutionService, ValidatorExecutionError } from '../../domain/services/validator-execution-service.js';
-import { ValidationResultContractMapper } from '../mappers/validation-result-contract-mapper.js';
+import type { ValidatorRegistry } from '../../domain/services/validator-registry.js';
+import { type ValidatorExecutionService, ValidatorExecutionError } from '../../domain/services/validator-execution-service.js';
+import type { ValidationResultContractMapper } from '../mappers/validation-result-contract-mapper.js';
 import type { ValidationResultContract } from '../dto/validation-result-contract.js';
 import type { RunQuickModeInput } from '../dto/run-quick-mode-input.js';
 import type { ValidatorConfigPort } from '../../domain/ports/validator-config-port.js';