chore: consolidate eslint config under configs

[ootakazuhiko]

背景

• 📦 Project Complexity Management - Simplification and Organization #1006（Project Complexity Management）の Phase 2（設定ファイルの集約）の一環として、ESLint 設定の配置を整理します。

変更

• 実体の ESLint 設定を configs/eslint.config.js に集約
• ルートの eslint.config.js は configs/eslint.config.js を re-export する薄いエントリに変更
• scripts/quality/check-lint-summary.mjs の configHash は configs/eslint.config.js を優先してハッシュ化（存在しない場合は従来通り eslint.config.js）

テスト

• pnpm -s exec eslint --print-config src/utils/enhanced-state-manager.ts（config load の確認）

影響

• ESLint の挙動は維持（読み込み経路のみ整理）。

ロールバック

• 本PRのコミットを revert。

関連

• 📦 Project Complexity Management - Simplification and Organization #1006

[github-actions]

❓ Code Generation Drift Detection

Status:
Regeneration needed: No

---

Automated by AE-Framework Codegen

[github-actions]

Quality Summary

• Adapters:

• Formal: n/a

• Replay: n/a

• Trace IDs:

[github-actions]

Generate Artifacts Preview

Generated at: 2026-01-23T22:45:11.417Z

• tests/api/generated: clean
• artifacts/codex: clean
• artifacts/spec: clean

[github-actions]

🔍 Verification Summary

• Traceability: 6 scenarios
  • Tests: 3 (50%)
  • Impl: 3 (50%)
  • Formal: 3 (50%)

Unlinked (top 5)

- Device registration publishes enough pre-keys and emits audit log (id: device-registration-publishes-enough-pre-keys-and-emits-audit-log) test:N/A impl:N/A formal:N/A - Invalid auth tag triggers audit violation for AES-GCM envelopes (id: invalid-auth-tag-triggers-audit-violation-for-aes-gcm-envelopes) test:N/A impl:N/A formal:N/A - Session rotation stays within forward secrecy thresholds (id: session-rotation-stays-within-forward-secrecy-thresholds) test:N/A impl:N/A formal:N/A

Linked examples (up to 3)

- Successful reservation (id: successful-reservation) test: [traceability/inventory.trace.test.ts](https://github.com/itdojp/ae-framework/blob/65989f9ceffb1bf8c113c9ea170cabc82a8c394e/tests/traceability/inventory.trace.test.ts) impl: [domain/inventory.ts](https://github.com/itdojp/ae-framework/blob/65989f9ceffb1bf8c113c9ea170cabc82a8c394e/src/domain/inventory.ts) formal: [tla+/Inventory.tla](https://github.com/itdojp/ae-framework/blob/65989f9ceffb1bf8c113c9ea170cabc82a8c394e/specs/formal/tla+/Inventory.tla) - Prevent negative stock (id: prevent-negative-stock) test: [traceability/inventory.trace.test.ts](https://github.com/itdojp/ae-framework/blob/65989f9ceffb1bf8c113c9ea170cabc82a8c394e/tests/traceability/inventory.trace.test.ts) impl: [domain/inventory.ts](https://github.com/itdojp/ae-framework/blob/65989f9ceffb1bf8c113c9ea170cabc82a8c394e/src/domain/inventory.ts) formal: [tla+/Inventory.tla](https://github.com/itdojp/ae-framework/blob/65989f9ceffb1bf8c113c9ea170cabc82a8c394e/specs/formal/tla+/Inventory.tla) - Idempotent by order id (id: idempotent-by-order-id) test: [traceability/inventory.trace.test.ts](https://github.com/itdojp/ae-framework/blob/65989f9ceffb1bf8c113c9ea170cabc82a8c394e/tests/traceability/inventory.trace.test.ts) impl: [domain/inventory.ts](https://github.com/itdojp/ae-framework/blob/65989f9ceffb1bf8c113c9ea170cabc82a8c394e/src/domain/inventory.ts) formal: [tla+/Inventory.tla](https://github.com/itdojp/ae-framework/blob/65989f9ceffb1bf8c113c9ea170cabc82a8c394e/specs/formal/tla+/Inventory.tla)

Hit basis (tests/formal)

- Test hits: title=3 id=0 tag=0 - Formal hits: title=0 id=3 tag=0

- Model Check (TLC): 2/8 (25%) modules ok

Non-OK modules (top 5)

- KvOnce (log: artifacts/codex/KvOnce.tlc.log.txt) - KvOnceRefinement (log: artifacts/codex/KvOnceRefinement.tlc.log.txt) - KvOnceImpl (log: artifacts/codex/KvOnceImpl.tlc.log.txt) - KvOnce (log: artifacts/codex/KvOnce.tlc.log.txt) - KvOnceRefinement (log: artifacts/codex/KvOnceRefinement.tlc.log.txt)

- Alloy: detected 2 specs (execution skipped) - Contracts: schemas=true conditions=true machine=true - Contracts exec: parseIn=false pre=false post=false parseOut=false

[github-actions]

CodeX Artifacts Summary

• • Contract/E2E templates: 1 files (dir: tests/api/generated)
• • Tests: PBT files=122, BDD features=0
• • Formal specs: TLA=1, Alloy=1

[github-actions]

KvOnce Trace Validation

• OTLP: ✅ Success (Issues: 0)
• NDJSON: ✅ Success (Issues: 0)

[Copilot]

Pull request overview

This PR consolidates the repository’s ESLint flat config into configs/ while keeping the root-level eslint.config.js as a thin compatibility entrypoint.

Changes:

• Move the full ESLint flat config into configs/eslint.config.js.
• Replace the root eslint.config.js with a re-export wrapper.
• Update the lint summary script to hash configs/eslint.config.js first (fallback to root).

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File	Description
scripts/quality/check-lint-summary.mjs	Prefer hashing configs/eslint.config.js when computing configHash for lint summaries.
eslint.config.js	Convert to a small wrapper that re-exports the consolidated config under configs/.
configs/eslint.config.js	Host the full ESLint v9 flat configuration (previously in the root config).

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.