phasegate 0.142.0 → 0.144.0

package/scripts/harness/main.ts

@@ -46,6 +46,7 @@ import {
   deployHookScripts,
   deployHuskyCommitMsgHook,
   deployHuskyHook,
+  deployHuskyPrePushHook,
   deploySkills,
   getCategoryForSkill,
   getDeployedVersion,
@@ -154,6 +155,7 @@ Commands:
   hook <pre-tool-use|post-tool-use|stop|session-start|user-prompt-submit>  Run agent hook (reads JSON from stdin; writes JSON to stdout for session-start/user-prompt-submit)
   pre-commit                              Run L2 pre-commit validators on staged files
   commit-msg <message-file>               Validate commit message trailers against staged files
+  bypass:audit --base <ref> [--head <ref>] Audit bypass evidence for a push/CI commit range
   delegate-sonnet [...args]               Delegate task to Sonnet 4.6 (forwards args to scripts/delegate-sonnet.sh)
 
 Skills:
@@ -316,6 +318,8 @@ Options:
   --apply           Update only the status line in each stale description.md frontmatter.
   --id <WI-XXX>     Limit report/apply to one work item.
   --fail-on-stale   Return exit code 1 when dry-run finds stale status.
+  --allow-downgrade Allow apply to lower a frontmatter status.
+  --changed-only    Reserve apply scope for changed WI files; currently accepted as a no-op policy flag.
   --json            Output machine-readable JSON.
   --help, -h        Show this help`,
   "phasegate:detect-drift": `Usage: phasegate phasegate:detect-drift [options]
@@ -716,6 +720,7 @@ async function main(): Promise<void> {
         const withHusky = hasFlag(args, "--with-husky");
         const huskyResult = withHusky ? await deployHuskyHook(harnessRoot, rootDir) : null;
         const huskyCommitMsgResult = withHusky ? await deployHuskyCommitMsgHook(harnessRoot, rootDir) : null;
+        const huskyPrePushResult = withHusky ? await deployHuskyPrePushHook(harnessRoot, rootDir) : null;
         const ciWorkflowResult = withCi ? await deployCiWorkflows(harnessRoot, rootDir) : null;
         console.log(
           `✓ Skills deployed to ${result.targetDir} (${result.deployedSkills.length} skills, set: ${skillSet})`,
@@ -781,6 +786,13 @@ async function main(): Promise<void> {
             console.log(`  .husky/commit-msg already exists, skipped`);
           }
         }
+        if (huskyPrePushResult !== null) {
+          if (huskyPrePushResult.created) {
+            console.log(`✓ .husky/pre-push deployed`);
+          } else {
+            console.log(`  .husky/pre-push already exists, skipped`);
+          }
+        }
         if (ciWorkflowResult !== null) {
           if (ciWorkflowResult.copiedFiles.length > 0) {
             console.log(`✓ CI workflows deployed (${ciWorkflowResult.copiedFiles.length} files)`);
@@ -983,6 +995,8 @@ async function main(): Promise<void> {
           dryRun: hasFlag(args, "--dry-run"),
           apply: hasFlag(args, "--apply"),
           failOnStale: hasFlag(args, "--fail-on-stale"),
+          allowDowngrade: hasFlag(args, "--allow-downgrade"),
+          changedOnly: hasFlag(args, "--changed-only"),
           id: parseFlag(args, "--id"),
           json,
         });
@@ -1583,6 +1597,15 @@ Examples:
         break;
       }
 
+      case "bypass:audit": {
+        const preCommitPath = join(harnessRoot, "scripts/harness/integrations/pre-commit.js");
+        const preCommitMod = (await import(preCommitPath)) as {
+          runBypassAuditCli: (args: readonly string[]) => Promise<void>;
+        };
+        await preCommitMod.runBypassAuditCli(args.slice(1));
+        break;
+      }
+
       case "delegate-sonnet": {
         const { spawn } = await import("node:child_process");
         const scriptPath = join(harnessRoot, "scripts/delegate-sonnet.sh");

package/scripts/harness/quick-mode/domain/value-objects/validator-relaxation-profile.ts

@@ -1,11 +1,12 @@
 /**
  * @layer domain
  * @unit quick-mode
+ * @work-item-id WI-140
  *
  * Quick Mode時のバリデータ実行構成を表す値オブジェクト
  */
 
-const L2_IDS = ['L2-001', 'L2-002', 'L2-003'] as const;
+const L2_IDS = ['L2-001', 'L2-002', 'L2-003', 'L2-014'] as const;
 const L3_IDS = ['L3-001', 'L3-002', 'L3-003', 'L3-004'] as const;
 
 type L2Id = (typeof L2_IDS)[number];
@@ -48,7 +49,7 @@ export class ValidatorRelaxationProfile {
     return new ValidatorRelaxationProfile({
       levelDependencyRelaxed: false,
       l1: { all: true },
-      l2: { maintained: ['L2-002', 'L2-003'], skipped: ['L2-001'] },
+      l2: { maintained: ['L2-002', 'L2-003', 'L2-014'], skipped: ['L2-001'] },
       l3: { maintained: ['L3-001'], skipped: ['L3-002', 'L3-003', 'L3-004'] },
       l4: { all: false },
       phaseExecution: { twoPhaseRequired: false },
@@ -65,7 +66,7 @@ export class ValidatorRelaxationProfile {
   }): ValidatorRelaxationProfile {
     const { l2, l3 } = params;
 
-    // INV-P5: l2.maintained ∪ l2.skipped = {L2-001, L2-002, L2-003}
+    // INV-P5: l2.maintained ∪ l2.skipped = {L2-001, L2-002, L2-003, L2-014}
     const l2Union = [...l2.maintained, ...l2.skipped].sort();
     const l2Expected = [...L2_IDS].sort();
     if (JSON.stringify(l2Union) !== JSON.stringify(l2Expected)) {

package/scripts/harness/quick-mode/infrastructure/adapters/harness-config-quick-mode-config-adapter.ts

@@ -1,6 +1,7 @@
 /**
  * @layer infrastructure
  * @unit quick-mode
+ * @work-item-id WI-140
  *
  * phasegate.config.json から QuickModeConfig を取得する Adapter
  */
@@ -25,7 +26,7 @@ export class HarnessConfigParseError extends Error {
 
 const DEFAULT_QUICK_MODE_CONFIG = {
   allowedCategories: ['bugfix', 'docs', 'test', 'config'],
-  maintainedLayers: ['L1', 'L2-002', 'L2-003', 'L3-001'],
+  maintainedLayers: ['L1', 'L2-002', 'L2-003', 'L2-014', 'L3-001'],
   relaxedGates: ['L2-001', 'L3-002', 'L3-003', 'L3-004', 'L4'],
 };
 

package/scripts/harness/quick-mode/infrastructure/adapters/validator-system-validator-id-registry-adapter.ts

@@ -1,13 +1,14 @@
 /**
  * @layer infrastructure
  * @unit quick-mode
+ * @work-item-id WI-140
  *
  * integration_contract.md §9 の確定ID一覧を静的定義で保持する ValidatorIdRegistry Adapter
  */
 
 const STATIC_VALIDATOR_IDS: readonly string[] = Object.freeze([
   'L1-001', 'L1-002', 'L1-003', 'L1-004', 'L1-005', 'L1-006', 'L1-007', 'L1-008',
-  'L2-001', 'L2-002', 'L2-003',
+  'L2-001', 'L2-002', 'L2-003', 'L2-014',
   'L3-001', 'L3-002', 'L3-003', 'L3-004',
   'L4-001', 'L4-002', 'L4-003', 'L4-004', 'L4-005',
 ]);

package/scripts/harness/setup/skill-deployer.ts

@@ -617,6 +617,25 @@ export async function deployHuskyCommitMsgHook(
   return { created: true, path: targetPath };
 }
 
+export async function deployHuskyPrePushHook(
+  harnessRoot: string,
+  projectRoot: string,
+): Promise<DeployHuskyHookResult> {
+  const targetPath = join(projectRoot, ".husky", "pre-push");
+
+  try {
+    await fs.access(targetPath);
+    return { created: false, path: targetPath };
+  } catch {}
+
+  const sourcePath = join(harnessRoot, "docs", "templates", "hooks", "pre-push");
+  await fs.mkdir(join(projectRoot, ".husky"), { recursive: true });
+  await fs.copyFile(sourcePath, targetPath);
+  await fs.chmod(targetPath, 0o755);
+
+  return { created: true, path: targetPath };
+}
+
 export interface DeployCodexHooksResult {
   created: boolean;
   path: string;

package/scripts/harness/traceability-model/application/usecases/apply-work-item-status-usecase.ts

@@ -1,10 +1,11 @@
 // @unit traceability-model
 // @layer application
-// @work-item-id WI-126
+// @work-item-id WI-126 / WI-140
 
 import type { WorkItemStatusPort } from "../../domain/ports/work-item-status-port.js";
-import type { WorkItemStatusApplyResult } from "../../domain/value-objects/work-item-status-report.js";
+import type { WorkItemStatusApplyResult, WorkItemStatusReport } from "../../domain/value-objects/work-item-status-report.js";
 import type { DeriveWorkItemStatusUseCase } from "./derive-work-item-status-usecase.js";
+import type { WorkItemStatus } from "../../domain/value-objects/work-item-frontmatter.js";
 
 export interface ApplyWorkItemStatusUseCaseDeps {
   readonly deriveWorkItemStatusUseCase: Pick<DeriveWorkItemStatusUseCase, "execute">;
@@ -20,11 +21,35 @@ export class ApplyWorkItemStatusUseCase {
     this.workItemStatusPort = deps.workItemStatusPort;
   }
 
-  async execute(input: { readonly id?: string } = {}): Promise<WorkItemStatusApplyResult> {
+  async execute(input: { readonly id?: string; readonly allowDowngrade?: boolean; readonly changedOnly?: boolean } = {}): Promise<WorkItemStatusApplyResult> {
     const reports = await this.deriveWorkItemStatusUseCase.execute();
     const targetReports = input.id
       ? reports.filter((report) => report.id === input.id)
       : reports;
-    return this.workItemStatusPort.applyDerivedStatuses(targetReports);
+    const blocked = input.allowDowngrade ? [] : targetReports.filter((report) => this.isDowngrade(report));
+    const allowed = input.allowDowngrade ? targetReports : targetReports.filter((report) => !this.isDowngrade(report));
+    const result = await this.workItemStatusPort.applyDerivedStatuses(allowed);
+    return Object.freeze({
+      updated: result.updated,
+      unchanged: result.unchanged,
+      blocked: Object.freeze([...result.blocked, ...blocked]),
+    });
   }
+
+  private isDowngrade(report: WorkItemStatusReport): boolean {
+    if (!report.stale) return false;
+    return statusOrder(report.derivedStatus) < statusOrder(report.currentStatus);
+  }
+}
+
+const STATUS_ORDER: Record<WorkItemStatus, number> = {
+  drafted: 0,
+  reflected: 1,
+  implemented: 2,
+  tested: 3,
+  completed: 3,
+};
+
+function statusOrder(status: WorkItemStatus): number {
+  return STATUS_ORDER[status];
 }

package/scripts/harness/traceability-model/domain/services/work-item-status-derivation-service.ts

@@ -1,6 +1,6 @@
 // @unit traceability-model
 // @layer domain
-// @work-item-id WI-126
+// @work-item-id WI-126 / WI-140
 
 import type { WorkItemStatus } from "../value-objects/work-item-frontmatter.js";
 import type {
@@ -34,10 +34,18 @@ export class WorkItemStatusDerivationService {
       nextAction,
       evidence: Object.freeze({
         hasRequiredInceptionArtifacts: this.hasRequiredInceptionArtifacts(input),
+        missingInceptionArtifacts: Object.freeze([...this.missingInceptionArtifacts(input)]),
         reflectedUnits: Object.freeze([...this.reflectedUnits(input)]),
         missingReflectionUnits: Object.freeze([...this.missingReflectionUnits(input)]),
         implementationPaths: Object.freeze([...input.implementationPaths]),
         testPaths: Object.freeze([...input.testPaths]),
+        missingImplementation: this.missingImplementation(input),
+        missingTests: this.missingTests(input),
+        validation: Object.freeze({
+          state: "not-run" as const,
+          source: "work-items:status",
+          blockingValidation: Object.freeze([]),
+        }),
       }),
     });
   }
@@ -56,10 +64,10 @@ export class WorkItemStatusDerivationService {
       return "drafted";
     }
 
+    if (!reflected) return "drafted";
+    if (!implemented) return "reflected";
     if (tested) return "tested";
-    if (implemented) return "implemented";
-    if (reflected) return "reflected";
-    return "drafted";
+    return "implemented";
   }
 
   private reasonFor(input: WorkItemStatusInput, status: WorkItemStatus): string {
@@ -114,6 +122,14 @@ export class WorkItemStatusDerivationService {
     return input.affectedUnits.filter((unit) => !reflected.has(unit));
   }
 
+  private missingImplementation(input: WorkItemStatusInput): boolean {
+    return input.frontmatter.type !== "chore" && this.missingReflectionUnits(input).length === 0 && input.implementationPaths.length === 0;
+  }
+
+  private missingTests(input: WorkItemStatusInput): boolean {
+    return input.frontmatter.type !== "chore" && input.frontmatter.type !== "fix" && input.implementationPaths.length > 0 && input.testPaths.length === 0;
+  }
+
   private extractConstructionUnit(filePath: string): string | null {
     const match = /^docs\/product\/construction\/([^/]+)\//.exec(filePath);
     return match?.[1] ?? null;

package/scripts/harness/traceability-model/domain/value-objects/work-item-status-report.ts

@@ -1,6 +1,6 @@
 // @unit traceability-model
 // @layer domain
-// @work-item-id WI-126
+// @work-item-id WI-126 / WI-140
 
 import type {
   WorkItemFrontmatter,
@@ -10,10 +10,18 @@ import type {
 
 export interface WorkItemStatusEvidence {
   readonly hasRequiredInceptionArtifacts: boolean;
+  readonly missingInceptionArtifacts: readonly string[];
   readonly reflectedUnits: readonly string[];
   readonly missingReflectionUnits: readonly string[];
   readonly implementationPaths: readonly string[];
   readonly testPaths: readonly string[];
+  readonly missingImplementation: boolean;
+  readonly missingTests: boolean;
+  readonly validation: {
+    readonly state: "passed" | "failed" | "not-run";
+    readonly source: string;
+    readonly blockingValidation: readonly string[];
+  };
 }
 
 export interface WorkItemStatusInput {
@@ -44,4 +52,5 @@ export interface WorkItemStatusReport {
 export interface WorkItemStatusApplyResult {
   readonly updated: readonly WorkItemStatusReport[];
   readonly unchanged: readonly WorkItemStatusReport[];
+  readonly blocked: readonly WorkItemStatusReport[];
 }

package/scripts/harness/traceability-model/infrastructure/gateways/file-system-work-item-status-gateway.ts

@@ -1,6 +1,6 @@
 // @unit traceability-model
 // @layer infrastructure
-// @work-item-id WI-126
+// @work-item-id WI-126 / WI-140
 
 import { readdir, readFile, writeFile } from "node:fs/promises";
 import * as path from "node:path";
@@ -97,6 +97,7 @@ export class FileSystemWorkItemStatusGateway implements WorkItemStatusPort {
     return Object.freeze({
       updated: Object.freeze(updated),
       unchanged: Object.freeze(unchanged),
+      blocked: Object.freeze([]),
     });
   }
 

package/scripts/harness/traceability-model/presentation/cli/work-item-status-command-handler.ts

@@ -1,6 +1,6 @@
 // @unit traceability-model
 // @layer presentation
-// @work-item-id WI-126
+// @work-item-id WI-126 / WI-140
 
 import type { ApplyWorkItemStatusUseCase } from "../../application/usecases/apply-work-item-status-usecase.js";
 import type { DeriveWorkItemStatusUseCase } from "../../application/usecases/derive-work-item-status-usecase.js";
@@ -14,6 +14,8 @@ export interface WorkItemStatusCommandInput {
   readonly apply?: boolean;
   readonly json?: boolean;
   readonly failOnStale?: boolean;
+  readonly allowDowngrade?: boolean;
+  readonly changedOnly?: boolean;
   readonly id?: string;
 }
 
@@ -54,10 +56,14 @@ export class WorkItemStatusCommandHandler {
     }
 
     if (input.apply) {
-      const result = await this.applyWorkItemStatusUseCase.execute({ id: input.id });
-      const reports = Object.freeze([...result.updated, ...result.unchanged]);
+      const result = await this.applyWorkItemStatusUseCase.execute({
+        id: input.id,
+        allowDowngrade: input.allowDowngrade,
+        changedOnly: input.changedOnly,
+      });
+      const reports = Object.freeze([...result.updated, ...result.unchanged, ...result.blocked]);
       return Object.freeze({
-        exitCode: 0,
+        exitCode: result.blocked.length > 0 ? 1 : 0,
         text: input.json ? JSON.stringify(result, null, 2) : this.formatApply(result),
         reports,
       });
@@ -97,6 +103,9 @@ export class WorkItemStatusCommandHandler {
     if (result.updated.length === 0) {
       lines.push("no updates required");
     }
+    for (const report of result.blocked) {
+      lines.push(`blocked ${report.id}: ${report.currentStatus} -> ${report.derivedStatus} requires --allow-downgrade`);
+    }
     lines.push(`unchanged: ${result.unchanged.length}`);
     return lines.join("\n");
   }

package/scripts/harness/validator-system/application/mappers/validation-result-contract-mapper.ts

@@ -12,12 +12,16 @@ export class ValidationResultContractMapper {
     return {
       validatorId: result.validatorId.value,
       passed: result.passed,
-      errors: result.errors.map((e) => ({
-        code: typeof e.code === 'string' ? e.code : e.code.toString(),
-        severity: typeof e.severity === 'string' ? e.severity : e.severity.toString(),
+      errors: result.errors.map((e) => {
+        const { code, severity, message, suggestion, ...details } = e;
+        return {
+        ...details,
+        code: typeof code === 'string' ? code : code.toString(),
+        severity: typeof severity === 'string' ? severity : severity.toString(),
         message: e.message,
         suggestion: e.suggestion,
-      })),
+        };
+      }),
       durationMs: result.durationMs,
       skipped: result.skipped,
     };

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

@@ -3,6 +3,7 @@
  * @unit validator-system
  *
  * RunL2ValidatorsUseCase — H08-01: L2バリデータ実行
+ * @work-item-id WI-140
  */
 import { readFile } from 'node:fs/promises';
 import { ValidatorId, InvalidValidatorIdError } from '../../domain/value-objects/validator-id.js';
@@ -19,6 +20,7 @@ import type { TestQualityAnalyzerPort } from '../../domain/ports/test-quality-an
 import type { CliCommandRegistryPort } from '../../domain/ports/cli-command-registry-port.js';
 import type { E2eTestFileRegistryPort } from '../../domain/ports/e2e-test-file-registry-port.js';
 import { CliE2eTestExistenceService } from '../../domain/services/cli-e2e-test-existence-service.js';
+import type { WorkItemStatusPolicyPort } from '../../domain/ports/work-item-status-policy-port.js';
 
 export interface RunL2ValidatorsUseCaseDeps {
   validatorRegistry: ValidatorRegistry;
@@ -30,6 +32,7 @@ export interface RunL2ValidatorsUseCaseDeps {
   testQualityAnalyzerPort?: TestQualityAnalyzerPort;
   cliCommandRegistryPort?: CliCommandRegistryPort;
   e2eTestFileRegistryPort?: E2eTestFileRegistryPort;
+  workItemStatusPolicyPort?: WorkItemStatusPolicyPort;
 }
 
 export class RunL2ValidatorsUseCase {
@@ -42,6 +45,7 @@ export class RunL2ValidatorsUseCase {
   private readonly testQualityAnalyzerPort?: TestQualityAnalyzerPort;
   private readonly cliCommandRegistryPort?: CliCommandRegistryPort;
   private readonly e2eTestFileRegistryPort?: E2eTestFileRegistryPort;
+  private readonly workItemStatusPolicyPort?: WorkItemStatusPolicyPort;
   private readonly cliE2eTestExistenceService = new CliE2eTestExistenceService();
 
   constructor(deps: RunL2ValidatorsUseCaseDeps) {
@@ -54,6 +58,7 @@ export class RunL2ValidatorsUseCase {
     this.testQualityAnalyzerPort = deps.testQualityAnalyzerPort;
     this.cliCommandRegistryPort = deps.cliCommandRegistryPort;
     this.e2eTestFileRegistryPort = deps.e2eTestFileRegistryPort;
+    this.workItemStatusPolicyPort = deps.workItemStatusPolicyPort;
   }
 
   async execute(input: RunL2ValidatorsInput): Promise<readonly ValidationResultContract[]> {
@@ -152,6 +157,29 @@ export class RunL2ValidatorsUseCase {
       }
     }
 
+    if (this.workItemStatusPolicyPort) {
+      const l2014Result = overrideMap.get('L2-014');
+      if (l2014Result && !l2014Result.skipped) {
+        const staleReports = await this.workItemStatusPolicyPort.findStaleReports(input.targetPaths);
+        if (staleReports.length > 0) {
+          const errors = staleReports.map((report) => ({
+            code: { value: 'L2-014', toString: () => 'L2-014' },
+            severity: { value: 'error', toString: () => 'error' },
+            message: `${report.id} status is stale: current=${report.currentStatus}, derived=${report.derivedStatus}`,
+            suggestion: report.nextAction,
+            workItemId: report.id,
+            descriptionPath: report.descriptionPath,
+            currentStatus: report.currentStatus,
+            derivedStatus: report.derivedStatus,
+            evidence: report.evidence,
+          }));
+          overrideMap.set('L2-014', ValidationResult.fail(ValidatorId.create('L2-014'), errors, 0));
+        } else {
+          overrideMap.set('L2-014', ValidationResult.pass(ValidatorId.create('L2-014'), 0));
+        }
+      }
+    }
+
     const finalResults = definitions.map(
       (definition) => overrideMap.get(definition.validatorId.value) ?? ValidationResult.skip(definition.validatorId),
     );

package/scripts/harness/validator-system/composition-root.ts

@@ -22,6 +22,7 @@ import { ItTestFileAnalyzerAdapter } from './infrastructure/adapters/it-test-fil
 import { SourceFileTextScannerAdapter } from './infrastructure/adapters/source-file-text-scanner-adapter.js';
 import { E2eTestFileRegistryAdapter } from './infrastructure/adapters/e2e-test-file-registry-adapter.js';
 import { CliCommandRegistryAdapter } from './infrastructure/adapters/cli-command-registry-adapter.js';
+import { TraceabilityWorkItemStatusPolicyAdapter } from './infrastructure/adapters/traceability-work-item-status-policy-adapter.js';
 import { PhaseDependencyPhaseGatePolicyAdapter } from './infrastructure/adapters/phase-dependency-phase-gate-policy-adapter.js';
 import { TraceabilityMetadataPolicyAdapter } from './infrastructure/adapters/traceability-metadata-policy-adapter.js';
 import { NyquistAcCoveragePolicyAdapter } from './infrastructure/adapters/nyquist-ac-coverage-policy-adapter.js';
@@ -45,7 +46,7 @@ import { join } from 'node:path';
 const DEFAULT_CONFIG = {
   preset: 'standard' as const,
   layers: {
-    L2: { enabled: true, validators: ['L2-001', 'L2-002', 'L2-003', 'L2-013'] },
+    L2: { enabled: true, validators: ['L2-001', 'L2-002', 'L2-003', 'L2-013', 'L2-014'] },
     L3: { enabled: true, validators: ['L3-001', 'L3-002', 'L3-003', 'L3-004'], coverageThreshold: 90, bundleSizeLimit: 512000 },
     L4: { enabled: true, validators: ['L4-001', 'L4-002', 'L4-003', 'L4-004', 'L4-005'] },
   },
@@ -78,6 +79,7 @@ function buildDefaultRegistry(): ValidatorRegistry {
     createDef('L2-002', 'L2', 'always', 'MetadataPolicyPort'),
     createDef('L2-003', 'L2', 'always'),
     createDef('L2-013', 'L2', 'always', 'CliE2eTestExistenceService'),
+    createDef('L2-014', 'L2', 'always', 'WorkItemStatusPolicyPort'),
     createDef('L3-001', 'L3', 'always'),
     createDef('L3-002', 'L3', 'strictOnly'),
     createDef('L3-003', 'L3', 'always'),
@@ -123,6 +125,7 @@ export function createValidatorSystemModule(config?: object): ValidatorSystemMod
   const testQualityAnalyzerPort = new BiomeAstTestQualityAnalyzerAdapter();
   const securityScannerPort = new FileSystemSecurityPatternScannerAdapter();
   const performanceScannerPort = new AstPerformanceScannerAdapter();
+  const workItemStatusPolicyPort = new TraceabilityWorkItemStatusPolicyAdapter(process.cwd());
 
   const docsRoot = join(process.cwd(), 'docs/product/construction');
   const cwd = process.cwd();
@@ -146,6 +149,7 @@ export function createValidatorSystemModule(config?: object): ValidatorSystemMod
     testQualityAnalyzerPort,
     e2eTestFileRegistryPort,
     cliCommandRegistryPort,
+    workItemStatusPolicyPort,
   });
 
   const runL3ValidatorsUseCase = new RunL3ValidatorsUseCase({

package/scripts/harness/validator-system/domain/ports/work-item-status-policy-port.ts

@@ -0,0 +1,11 @@
+/**
+ * @layer domain
+ * @unit validator-system
+ * @work-item-id WI-140
+ */
+
+import type { WorkItemStatusReport } from "../../../traceability-model/domain/value-objects/work-item-status-report.js";
+
+export interface WorkItemStatusPolicyPort {
+  findStaleReports(targetPaths?: readonly string[]): Promise<readonly WorkItemStatusReport[]>;
+}

package/scripts/harness/validator-system/domain/value-objects/test-quality-semantics.ts

@@ -0,0 +1,58 @@
+// @unit validator-system
+// @layer domain
+// @work-item-id WI-129
+// @work-item-id WI-130
+
+export type TestCaseKind = 'unit' | 'integration' | 'e2e' | 'lifecycle';
+
+export type TestStepKind = 'arrange' | 'act' | 'assert';
+
+export type AssertionTarget =
+  | 'observed-output'
+  | 'state'
+  | 'emitted-event'
+  | 'persisted-effect'
+  | 'error-contract'
+  | 'interaction';
+
+export type AssertionStrength =
+  | 'exact-value'
+  | 'shape'
+  | 'invariant'
+  | 'range'
+  | 'weak-truthiness'
+  | 'snapshot-only'
+  | 'interaction-only'
+  | 'length-only';
+
+export interface SemanticAssertion {
+  readonly target: AssertionTarget;
+  readonly strength: AssertionStrength;
+  readonly subject: string;
+  readonly line: number;
+}
+
+export interface TestStep {
+  readonly kind: TestStepKind;
+  readonly expression: string;
+  readonly line: number;
+  readonly observedName?: string;
+  readonly assertion?: SemanticAssertion;
+}
+
+export interface TestDoubleReplacement {
+  readonly target: string;
+  readonly line: number;
+  readonly dependencyKind: 'external' | 'domain-internal';
+}
+
+export interface TestCaseStructure {
+  readonly filePath: string;
+  readonly name: string;
+  readonly line: number;
+  readonly kind: TestCaseKind;
+  readonly steps: readonly TestStep[];
+  readonly assertions: readonly SemanticAssertion[];
+  readonly mocks: readonly TestDoubleReplacement[];
+  readonly allowsMultipleActs: boolean;
+}

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

@@ -5,6 +5,7 @@
  * ValidatorId 値オブジェクト
  * L1-001〜L4-005 のバリデータを識別する不変値オブジェクト
  * Wave 2A で L1-017, L1-018, L2-013 を追加
+ * WI-140 で L2-014 を追加
  */
 
 export class InvalidValidatorIdError extends Error {
@@ -26,6 +27,7 @@ const VALIDATOR_NAME_MAP: Record<string, string> = {
   'L2-002': 'metadata',
   'L2-003': 'test-quality',
   'L2-013': 'cli-e2e-test-existence',
+  'L2-014': 'work-item-status-staleness',
   'L3-001': 'security',
   'L3-002': 'performance',
   'L3-003': 'coverage',