phasegate 0.254.0 → 0.283.0

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

@@ -4,36 +4,37 @@
  * @work-item-id WI-012
  * @work-item-id WI-212
  * @work-item-id WI-219
+ * @work-item-id WI-300
+ * @work-item-id WI-327
  */
-import { ConfigFoundationDomainError } from './errors/config-foundation-domain-error.js';
-import { ConfigValidationError } from './errors/config-validation-error.js';
-import { UnsupportedFeatureError } from './errors/unsupported-feature-error.js';
-import { LayersConfig } from './value-objects/layers-config.js';
-import { PathsConfig } from './value-objects/paths-config.js';
-import { PhaseDependenciesConfig } from './value-objects/phase-dependencies-config.js';
-import type { PhaseDependenciesPresetId } from './value-objects/phase-dependencies-config.js';
-import { PlanningModeConfig } from './value-objects/planning-mode-config.js';
-import { ProjectConfig } from './value-objects/project-config.js';
-import { QuickModeConfig } from './value-objects/quick-mode-config.js';
-import { ReportingConfig } from './value-objects/reporting-config.js';
-import { ValidateConfig } from './value-objects/validate-config.js';
-import { HarnessesConfig } from './value-objects/harnesses-config.js';
-import type { FeatureNameValue } from './value-objects/feature-name.js';
-import type { FeatureName } from './value-objects/feature-name.js';
-import type { L1Config } from './value-objects/l1-config.js';
-import type { L2Config } from './value-objects/l2-config.js';
-import type { L3Config } from './value-objects/l3-config.js';
-import type { L4Config } from './value-objects/l4-config.js';
-import type {
-  ArchitectureConfigDocument,
-  ArchitectureConfigSource,
-} from './value-objects/architecture-config.js';
-
-export type LayerId = 'L1' | 'L2' | 'L3' | 'L4';
-export type PresetId = 'minimal' | 'standard' | 'strict';
-export type PlanningModeValue = 'interactive' | 'embedded-qa' | 'manual';
-export type ModelDelegationPolicy = 'delegate-sonnet' | 'none';
+import { ConfigFoundationDomainError } from "./errors/config-foundation-domain-error.js";
+import { ConfigValidationError } from "./errors/config-validation-error.js";
+import { UnsupportedFeatureError } from "./errors/unsupported-feature-error.js";
+import type { ArchitectureConfigDocument, ArchitectureConfigSource } from "./value-objects/architecture-config.js";
+import type { FeatureName, FeatureNameValue } from "./value-objects/feature-name.js";
+import { HarnessesConfig } from "./value-objects/harnesses-config.js";
+import type { L1Config } from "./value-objects/l1-config.js";
+import type { L2Config } from "./value-objects/l2-config.js";
+import type { L3Config } from "./value-objects/l3-config.js";
+import type { L4Config } from "./value-objects/l4-config.js";
+import { LayersConfig } from "./value-objects/layers-config.js";
+import { PathsConfig } from "./value-objects/paths-config.js";
+import type { PhaseDependenciesPresetId } from "./value-objects/phase-dependencies-config.js";
+import { PhaseDependenciesConfig } from "./value-objects/phase-dependencies-config.js";
+import { PlanningModeConfig } from "./value-objects/planning-mode-config.js";
+import { ProjectConfig } from "./value-objects/project-config.js";
+import { QuickModeConfig } from "./value-objects/quick-mode-config.js";
+import { ReportingConfig } from "./value-objects/reporting-config.js";
+import { ValidateConfig } from "./value-objects/validate-config.js";
+import type { WorldConfigDocument, WorldConfigSourceDocument } from "./value-objects/world-config.js";
+import { WORLD_CONFIG_DEFAULTS, WorldConfig } from "./value-objects/world-config.js";
+
+export type LayerId = "L1" | "L2" | "L3" | "L4";
+export type PresetId = "minimal" | "standard" | "strict";
+export type PlanningModeValue = "interactive" | "embedded-qa" | "manual";
+export type ModelDelegationPolicy = "delegate-sonnet" | "none";
 export type { PhaseDependenciesPresetId };
+
 type DeepPartial<T> = {
   [K in keyof T]?: T[K] extends Array<infer TItem>
     ? Array<DeepPartial<TItem>>
@@ -48,19 +49,22 @@ export interface HarnessConfigSourceDocument {
     preset: PresetId;
     languages?: string[];
   };
-  layers: DeepPartial<HarnessConfigResolvedDocument['layers']>;
-  quickMode: Partial<HarnessConfigResolvedDocument['quickMode']>;
-  phaseDependencies: HarnessConfigResolvedDocument['phaseDependencies'];
-  planningMode: HarnessConfigResolvedDocument['planningMode'];
-  harnesses: Partial<HarnessConfigResolvedDocument['harnesses']>;
-  paths: HarnessConfigResolvedDocument['paths'];
-  reporting: HarnessConfigResolvedDocument['reporting'];
-  ci?: HarnessConfigResolvedDocument['ci'];
-  validate?: HarnessConfigResolvedDocument['validate'];
-  preCommit?: Partial<HarnessConfigResolvedDocument['preCommit']>;
-  modelRouting?: HarnessConfigResolvedDocument['modelRouting'];
-  phase2Extensions?: HarnessConfigResolvedDocument['phase2Extensions'];
+  // WI-327: project 以外の top-level セクションは手書き config で省略可。
+  // 省略時は PresetResolutionService が防御プリセット（project.preset）のデフォルト値で補完する。
+  layers?: DeepPartial<HarnessConfigResolvedDocument["layers"]>;
+  quickMode?: Partial<HarnessConfigResolvedDocument["quickMode"]>;
+  phaseDependencies?: HarnessConfigResolvedDocument["phaseDependencies"];
+  planningMode?: HarnessConfigResolvedDocument["planningMode"];
+  harnesses?: Partial<HarnessConfigResolvedDocument["harnesses"]>;
+  paths?: HarnessConfigResolvedDocument["paths"];
+  reporting?: HarnessConfigResolvedDocument["reporting"];
+  ci?: HarnessConfigResolvedDocument["ci"];
+  validate?: HarnessConfigResolvedDocument["validate"];
+  preCommit?: Partial<HarnessConfigResolvedDocument["preCommit"]>;
+  modelRouting?: HarnessConfigResolvedDocument["modelRouting"];
+  phase2Extensions?: HarnessConfigResolvedDocument["phase2Extensions"];
   architecture?: ArchitectureConfigSource;
+  world?: WorldConfigSourceDocument;
 }
 
 export interface HarnessConfigResolvedDocument {
@@ -142,11 +146,12 @@ export interface HarnessConfigResolvedDocument {
       documentPattern: string;
       daysThreshold: number;
       commitCountThreshold: number;
-      evaluationMode: 'or' | 'and';
+      evaluationMode: "or" | "and";
       enabled?: boolean;
     }>;
   };
   architecture?: ArchitectureConfigDocument;
+  world?: WorldConfigDocument;
 }
 
 export type HarnessConfigV2 = HarnessConfigResolvedDocument;
@@ -159,7 +164,7 @@ export interface HarnessConfigReconstitutionProps {
 }
 
 export interface FeatureToggled {
-  type: 'FeatureToggled';
+  type: "FeatureToggled";
   occurredAt: Date;
   projectName: string;
   featureName: FeatureNameValue | string;
@@ -168,7 +173,7 @@ export interface FeatureToggled {
 }
 
 export interface PresetApplied {
-  type: 'PresetApplied';
+  type: "PresetApplied";
   occurredAt: Date;
   projectName: string;
   preset: PresetId;
@@ -178,23 +183,23 @@ export interface PresetApplied {
 export type DomainEvent = FeatureToggled | PresetApplied;
 
 const SUPPORTED_FEATURE_NAMES = [
-  'agentLessonCollection',
-  'cascadeUpdate',
-  'bundleSizeLimit',
-  'deadCodeGC',
+  "agentLessonCollection",
+  "cascadeUpdate",
+  "bundleSizeLimit",
+  "deadCodeGC",
 ] as const satisfies readonly FeatureNameValue[];
 
 export class UnknownLayerError extends ConfigFoundationDomainError {
   constructor(layerId: string) {
-    super(`未知のレイヤーです: ${layerId} [L1-006]`, 'L1-006');
-    this.name = 'UnknownLayerError';
+    super(`未知のレイヤーです: ${layerId} [L1-006]`, "L1-006");
+    this.name = "UnknownLayerError";
   }
 }
 
 export class FeatureActivationRuleError extends ConfigFoundationDomainError {
   constructor(message: string) {
-    super(`${message} [L1-005]`, 'L1-005');
-    this.name = 'FeatureActivationRuleError';
+    super(`${message} [L1-005]`, "L1-005");
+    this.name = "FeatureActivationRuleError";
   }
 }
 
@@ -207,11 +212,8 @@ function deepClone<T>(value: T): T {
     return value.map((item) => deepClone(item)) as T;
   }
 
-  if (value !== null && typeof value === 'object') {
-    const clonedEntries = Object.entries(value).map(([key, entryValue]) => [
-      key,
-      deepClone(entryValue),
-    ]);
+  if (value !== null && typeof value === "object") {
+    const clonedEntries = Object.entries(value).map(([key, entryValue]) => [key, deepClone(entryValue)]);
 
     return Object.fromEntries(clonedEntries) as T;
   }
@@ -226,7 +228,7 @@ function createFeatureToggledEvent(
   currentState: boolean,
 ): FeatureToggled {
   return Object.freeze({
-    type: 'FeatureToggled',
+    type: "FeatureToggled",
     occurredAt: new Date(),
     projectName,
     featureName,
@@ -240,14 +242,14 @@ function assertSupportedFeature(name: FeatureName): FeatureNameValue {
 
   if (!SUPPORTED_FEATURE_NAMES.includes(raw as FeatureNameValue)) {
     throw new UnsupportedFeatureError(
-      `機能名 "${raw}" は利用できません。利用可能: ${SUPPORTED_FEATURE_NAMES.join(', ')}`,
+      `機能名 "${raw}" は利用できません。利用可能: ${SUPPORTED_FEATURE_NAMES.join(", ")}`,
     );
   }
 
   return raw as FeatureNameValue;
 }
 
-function toHarnessesDocument(harnesses: HarnessesConfig): HarnessConfigResolvedDocument['harnesses'] {
+function toHarnessesDocument(harnesses: HarnessesConfig): HarnessConfigResolvedDocument["harnesses"] {
   return {
     agentLessonCollection: harnesses.agentLessonCollection,
     cascadeUpdate: harnesses.cascadeUpdate,
@@ -303,22 +305,17 @@ export class HarnessConfig {
     const project = ProjectConfig.create(props.resolvedDocument.project);
     const layers = LayersConfig.create(props.resolvedDocument.layers);
     const quickMode = QuickModeConfig.create(props.resolvedDocument.quickMode);
-    const phaseDependencies = PhaseDependenciesConfig.create(
-      props.resolvedDocument.phaseDependencies,
-    );
-    const planningMode = PlanningModeConfig.create(
-      props.resolvedDocument.planningMode,
-    );
+    const phaseDependencies = PhaseDependenciesConfig.create(props.resolvedDocument.phaseDependencies);
+    const planningMode = PlanningModeConfig.create(props.resolvedDocument.planningMode);
     const harnesses = HarnessesConfig.create(props.resolvedDocument.harnesses);
     const paths = PathsConfig.create(props.resolvedDocument.paths);
     const reporting = ReportingConfig.create(props.resolvedDocument.reporting);
     const validate = ValidateConfig.create(props.resolvedDocument.validate);
+    const world = WorldConfig.create(props.resolvedDocument.world ?? WORLD_CONFIG_DEFAULTS).toDocument();
 
-    if (
-      props.sourceDocument.project.preset !== props.resolvedDocument.project.preset
-    ) {
+    if (props.sourceDocument.project.preset !== props.resolvedDocument.project.preset) {
       throw new ConfigValidationError(
-        'sourceDocument.project.preset と resolvedDocument.project.preset は一致しなければなりません',
+        "sourceDocument.project.preset と resolvedDocument.project.preset は一致しなければなりません",
       );
     }
 
@@ -333,7 +330,7 @@ export class HarnessConfig {
       reporting,
       validate,
       sourceDocument: props.sourceDocument,
-      resolvedDocument: props.resolvedDocument,
+      resolvedDocument: { ...props.resolvedDocument, world },
       pendingEvents: props.pendingEvents ?? [],
     });
   }
@@ -355,14 +352,7 @@ export class HarnessConfig {
       ...this.resolvedDocument,
       harnesses: toHarnessesDocument(nextHarnesses),
     };
-    this.pendingEvents.push(
-      createFeatureToggledEvent(
-        this.project.name,
-        featureName,
-        previousState,
-        true,
-      ),
-    );
+    this.pendingEvents.push(createFeatureToggledEvent(this.project.name, featureName, previousState, true));
   }
 
   disableFeature(name: FeatureName): void {
@@ -382,18 +372,11 @@ export class HarnessConfig {
       ...this.resolvedDocument,
       harnesses: toHarnessesDocument(nextHarnesses),
     };
-    this.pendingEvents.push(
-      createFeatureToggledEvent(
-        this.project.name,
-        featureName,
-        previousState,
-        false,
-      ),
-    );
+    this.pendingEvents.push(createFeatureToggledEvent(this.project.name, featureName, previousState, false));
   }
 
   getLayerConfig(layerId: LayerId): L1Config | L2Config | L3Config | L4Config {
-    if (!['L1', 'L2', 'L3', 'L4'].includes(layerId)) {
+    if (!["L1", "L2", "L3", "L4"].includes(layerId)) {
       throw new UnknownLayerError(layerId);
     }
 

package/scripts/harness/config-foundation/domain/services/preset-resolution-service.ts

@@ -2,43 +2,44 @@
  * @layer domain
  * @unit config-foundation
  * @work-item-id WI-212
+ * @work-item-id WI-300
+ * @work-item-id WI-320
  */
-import { ConfigFoundationDomainError } from '../errors/config-foundation-domain-error.js';
-import type {
-  HarnessConfigResolvedDocument,
-  HarnessConfigSourceDocument,
-} from '../harness-config.js';
-import { HarnessesConfig } from '../value-objects/harnesses-config.js';
-import type { FeatureToggle } from '../value-objects/feature-toggle.js';
+import { ConfigFoundationDomainError } from "../errors/config-foundation-domain-error.js";
+import type { HarnessConfigResolvedDocument, HarnessConfigSourceDocument } from "../harness-config.js";
+import type { FeatureToggle } from "../value-objects/feature-toggle.js";
+import { HarnessesConfig } from "../value-objects/harnesses-config.js";
+import { WORLD_CONFIG_DEFAULTS, WorldConfig, type WorldConfigDocument } from "../value-objects/world-config.js";
 
 export interface PresetDefinition {
-  layers: HarnessConfigResolvedDocument['layers'];
-  quickMode: HarnessConfigResolvedDocument['quickMode'];
-  phaseDependencies: HarnessConfigResolvedDocument['phaseDependencies'];
-  planningMode: HarnessConfigResolvedDocument['planningMode'];
-  harnesses: HarnessConfigResolvedDocument['harnesses'];
-  paths: HarnessConfigResolvedDocument['paths'];
-  reporting: HarnessConfigResolvedDocument['reporting'];
-  validate: HarnessConfigResolvedDocument['validate'];
-  preCommit?: HarnessConfigResolvedDocument['preCommit'];
+  layers: HarnessConfigResolvedDocument["layers"];
+  quickMode: HarnessConfigResolvedDocument["quickMode"];
+  phaseDependencies: HarnessConfigResolvedDocument["phaseDependencies"];
+  planningMode: HarnessConfigResolvedDocument["planningMode"];
+  harnesses: HarnessConfigResolvedDocument["harnesses"];
+  paths: HarnessConfigResolvedDocument["paths"];
+  reporting: HarnessConfigResolvedDocument["reporting"];
+  validate: HarnessConfigResolvedDocument["validate"];
+  preCommit?: HarnessConfigResolvedDocument["preCommit"];
+  world?: WorldConfigDocument;
 }
 
 export class InvalidPresetDefinitionError extends ConfigFoundationDomainError {
   constructor(message: string) {
-    super(`${message} [L1-007]`, 'L1-007');
-    this.name = 'InvalidPresetDefinitionError';
+    super(`${message} [L1-007]`, "L1-007");
+    this.name = "InvalidPresetDefinitionError";
   }
 }
 
 export class ConfigMergeError extends ConfigFoundationDomainError {
   constructor(message: string) {
-    super(`${message} [L1-008]`, 'L1-008');
-    this.name = 'ConfigMergeError';
+    super(`${message} [L1-008]`, "L1-008");
+    this.name = "ConfigMergeError";
   }
 }
 
 function isPlainObject(value: unknown): value is Record<string, unknown> {
-  return value !== null && typeof value === 'object' && !Array.isArray(value);
+  return value !== null && typeof value === "object" && !Array.isArray(value);
 }
 
 function deepClone<T>(value: T): T {
@@ -47,9 +48,7 @@ function deepClone<T>(value: T): T {
   }
 
   if (isPlainObject(value)) {
-    return Object.fromEntries(
-      Object.entries(value).map(([key, entryValue]) => [key, deepClone(entryValue)]),
-    ) as T;
+    return Object.fromEntries(Object.entries(value).map(([key, entryValue]) => [key, deepClone(entryValue)])) as T;
   }
 
   return value;
@@ -74,10 +73,7 @@ function deepMerge<T>(baseValue: T, overrideValue: unknown, path: string): T {
     }
 
     const merged: Record<string, unknown> = {};
-    const keys = new Set([
-      ...Object.keys(baseValue),
-      ...Object.keys(overrideValue),
-    ]);
+    const keys = new Set([...Object.keys(baseValue), ...Object.keys(overrideValue)]);
 
     for (const key of keys) {
       const nestedBaseValue = (baseValue as Record<string, unknown>)[key];
@@ -88,11 +84,7 @@ function deepMerge<T>(baseValue: T, overrideValue: unknown, path: string): T {
         continue;
       }
 
-      merged[key] = deepMerge(
-        nestedBaseValue,
-        nestedOverrideValue,
-        `${path}.${key}`,
-      );
+      merged[key] = deepMerge(nestedBaseValue, nestedOverrideValue, `${path}.${key}`);
     }
 
     return merged as T;
@@ -105,35 +97,26 @@ function deepMerge<T>(baseValue: T, overrideValue: unknown, path: string): T {
   return deepClone(overrideValue as T);
 }
 
-function assertValidPresetDefinition(
-  presetDefinition: PresetDefinition,
-): void {
+function assertValidPresetDefinition(presetDefinition: PresetDefinition): void {
   const requiredKeys: Array<keyof PresetDefinition> = [
-    'layers',
-    'quickMode',
-    'phaseDependencies',
-    'planningMode',
-    'harnesses',
-    'paths',
-    'reporting',
-    'validate',
+    "layers",
+    "quickMode",
+    "phaseDependencies",
+    "planningMode",
+    "harnesses",
+    "paths",
+    "reporting",
+    "validate",
   ];
 
   for (const key of requiredKeys) {
-    if (
-      !(key in presetDefinition) ||
-      (presetDefinition as unknown as Record<string, unknown>)[key] === undefined
-    ) {
-      throw new InvalidPresetDefinitionError(
-        `presetDefinition.${key} は必須です`,
-      );
+    if (!(key in presetDefinition) || (presetDefinition as unknown as Record<string, unknown>)[key] === undefined) {
+      throw new InvalidPresetDefinitionError(`presetDefinition.${key} は必須です`);
     }
   }
 }
 
-function toHarnessesDocument(
-  harnesses: HarnessesConfig,
-): HarnessConfigResolvedDocument['harnesses'] {
+function toHarnessesDocument(harnesses: HarnessesConfig): HarnessConfigResolvedDocument["harnesses"] {
   return {
     agentLessonCollection: harnesses.agentLessonCollection,
     cascadeUpdate: harnesses.cascadeUpdate,
@@ -149,49 +132,60 @@ export class PresetResolutionService {
   ): HarnessConfigResolvedDocument {
     assertValidPresetDefinition(presetDefinition);
 
+    const layers = deepMerge(presetDefinition.layers, sourceDocument.layers, "layers");
+    const paths = deepMerge(presetDefinition.paths, sourceDocument.paths, "paths");
+    const world = deepMerge(presetDefinition.world ?? WORLD_CONFIG_DEFAULTS, sourceDocument.world, "world");
+    const explicitCorpus = sourceDocument.world?.corpus;
+    const explicitInputs = sourceDocument.world?.inputs;
+    const derivedProductRoot = paths.designDocs.endsWith("/construction")
+      ? paths.designDocs.slice(0, -"/construction".length)
+      : paths.designDocs;
+    const resolvedWorld: WorldConfigDocument = {
+      ...world,
+      corpus: {
+        ...world.corpus,
+        productRoots:
+          explicitCorpus?.productRoots === undefined && !world.corpus.productRoots.includes(derivedProductRoot)
+            ? [...world.corpus.productRoots, derivedProductRoot]
+            : world.corpus.productRoots,
+        inceptionRoots:
+          explicitCorpus?.inceptionRoots === undefined ? [paths.inceptionDocs] : world.corpus.inceptionRoots,
+      },
+      inputs: {
+        ...world.inputs,
+        matrixPath:
+          explicitInputs?.matrixPath === undefined
+            ? (layers.L3.requirementMatrixPath ?? world.inputs.matrixPath)
+            : world.inputs.matrixPath,
+      },
+    };
+
     return {
       project: {
         name: sourceDocument.project.name,
         preset: sourceDocument.project.preset,
-        languages: sourceDocument.project.languages ?? ['typescript'],
+        // WI-320 (github#39): 未宣言時に ["typescript"] を注入しない。「未宣言」を resolved config まで
+        // 生存させ、validator-system adapter のファイルシステム言語検出（WI-319）を実 CLI 経路で有効にする。
+        ...(sourceDocument.project.languages === undefined ? {} : { languages: sourceDocument.project.languages }),
       },
-      layers: deepMerge(presetDefinition.layers, sourceDocument.layers, 'layers'),
-      quickMode: deepMerge(
-        presetDefinition.quickMode,
-        sourceDocument.quickMode,
-        'quickMode',
-      ),
+      layers,
+      quickMode: deepMerge(presetDefinition.quickMode, sourceDocument.quickMode, "quickMode"),
       phaseDependencies: deepMerge(
         presetDefinition.phaseDependencies,
         sourceDocument.phaseDependencies,
-        'phaseDependencies',
-      ),
-      planningMode: deepMerge(
-        presetDefinition.planningMode,
-        sourceDocument.planningMode,
-        'planningMode',
-      ),
-      harnesses: deepMerge(
-        presetDefinition.harnesses,
-        sourceDocument.harnesses,
-        'harnesses',
-      ),
-      paths: deepMerge(presetDefinition.paths, sourceDocument.paths, 'paths'),
-      reporting: deepMerge(
-        presetDefinition.reporting,
-        sourceDocument.reporting,
-        'reporting',
-      ),
-      validate: deepMerge(
-        presetDefinition.validate,
-        sourceDocument.validate,
-        'validate',
+        "phaseDependencies",
       ),
+      planningMode: deepMerge(presetDefinition.planningMode, sourceDocument.planningMode, "planningMode"),
+      harnesses: deepMerge(presetDefinition.harnesses, sourceDocument.harnesses, "harnesses"),
+      paths,
+      reporting: deepMerge(presetDefinition.reporting, sourceDocument.reporting, "reporting"),
+      validate: deepMerge(presetDefinition.validate, sourceDocument.validate, "validate"),
       preCommit: deepMerge(
-        presetDefinition.preCommit ?? { implementationExtensions: ['.ts'] },
+        presetDefinition.preCommit ?? { implementationExtensions: [".ts"] },
         sourceDocument.preCommit,
-        'preCommit',
+        "preCommit",
       ),
+      world: WorldConfig.create(resolvedWorld).toDocument(),
     };
   }
 
@@ -200,9 +194,7 @@ export class PresetResolutionService {
     override: FeatureToggle,
   ): HarnessConfigResolvedDocument {
     const harnesses = HarnessesConfig.create(document.harnesses);
-    const nextHarnesses = override.enabled
-      ? harnesses.enable(override.name)
-      : harnesses.disable(override.name);
+    const nextHarnesses = override.enabled ? harnesses.enable(override.name) : harnesses.disable(override.name);
 
     return {
       ...deepClone(document),

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

@@ -2,11 +2,12 @@
  * @layer domain
  * @unit config-foundation
  * @work-item-id WI-212
+ * @work-item-id WI-320
  *
  * ProjectConfig値オブジェクト - プロジェクト名とPresetを保持する
  */
-import { ConfigValidationError } from '../errors/config-validation-error.js';
-import { Preset } from './preset.js';
+import { ConfigValidationError } from "../errors/config-validation-error.js";
+import { Preset } from "./preset.js";
 
 interface ProjectConfigProps {
   readonly name: string;
@@ -17,29 +18,37 @@ interface ProjectConfigProps {
 export class ProjectConfig {
   readonly name: string;
   readonly preset: Preset;
-  readonly languages: readonly string[];
+  /**
+   * WI-320 (github#39): 宣言があった場合のみ保持する（undefined = 未宣言）。
+   * default `['typescript']` の注入をやめ、「未宣言」シグナルを下流
+   * （validator-system のファイルシステム言語検出、WI-319）まで生存させる。
+   */
+  readonly languages?: readonly string[];
 
   constructor(props: ProjectConfigProps) {
-    if (!props.name || props.name.trim() === '') {
-      throw new ConfigValidationError('ProjectConfig: name must not be empty');
-    }
-    const sourceLanguages = props.languages ?? ['typescript'];
-    if (sourceLanguages.length === 0) {
-      throw new ConfigValidationError('ProjectConfig: languages must not be empty');
+    if (!props.name || props.name.trim() === "") {
+      throw new ConfigValidationError("ProjectConfig: name must not be empty");
     }
-    const normalizedLanguages = sourceLanguages.map((language) => language.trim()).filter((language) => language.length > 0);
-    if (normalizedLanguages.length !== sourceLanguages.length) {
-      throw new ConfigValidationError('ProjectConfig: languages must contain non-empty strings');
+    if (props.languages !== undefined) {
+      if (props.languages.length === 0) {
+        throw new ConfigValidationError("ProjectConfig: languages must not be empty");
+      }
+      const normalizedLanguages = props.languages
+        .map((language) => language.trim())
+        .filter((language) => language.length > 0);
+      if (normalizedLanguages.length !== props.languages.length) {
+        throw new ConfigValidationError("ProjectConfig: languages must contain non-empty strings");
+      }
+      this.languages = Object.freeze([...normalizedLanguages]);
     }
     this.name = props.name;
     this.preset = props.preset;
-    this.languages = Object.freeze([...normalizedLanguages]);
     Object.freeze(this);
   }
 
   static create(raw: { name: string; preset: string; languages?: readonly string[] }): ProjectConfig {
     const preset = Preset.create(raw.preset);
-    return new ProjectConfig({ name: raw.name, preset, languages: raw.languages ?? ['typescript'] });
+    return new ProjectConfig({ name: raw.name, preset, languages: raw.languages });
   }
 
   rename(name: string): ProjectConfig {
@@ -51,9 +60,16 @@ export class ProjectConfig {
   }
 
   equals(other: ProjectConfig): boolean {
-    return this.name === other.name
-      && this.preset.equals(other.preset)
-      && this.languages.length === other.languages.length
-      && this.languages.every((language, index) => language === other.languages[index]);
+    return this.name === other.name && this.preset.equals(other.preset) && this.languagesEqual(other.languages);
+  }
+
+  private languagesEqual(otherLanguages: readonly string[] | undefined): boolean {
+    if (this.languages === undefined || otherLanguages === undefined) {
+      return this.languages === otherLanguages;
+    }
+    return (
+      this.languages.length === otherLanguages.length &&
+      this.languages.every((language, index) => language === otherLanguages[index])
+    );
   }
 }