Roadmap: Podman & Conformance follow-up

[ootakazuhiko]

背景

Podman 互換と暗号化チャット向けコンフォーマンス整備は完了したものの、CI 運用・計測まわりに派生タスクが残存しています。ここでは当面のロードマップを整理し、優先度順に既存 Issue を束ねます。

フェーズA: 即時優先 (今週中)

• ci(mutation): publish quick summary and avoid timeout exits #1157 ci(mutation): publish quick summary and avoid timeout exits
• infra(podman): document shared runner setup #1154 infra(podman): document shared runner setup
• feat(conformance): expose violation metrics CLI #1155 feat(conformance): expose violation metrics CLI
• test(encrypted-chat): add BDD + pact coverage #1156 test(encrypted-chat): add BDD + pact coverage
• ops(podman): clean up pipeline artifacts #1158 ops(podman): clean up pipeline artifacts

フェーズB: Verify Lite / CI 強化 (完了)

• Verify Lite lint backlog (no-unused-vars / require-await / no-explicit-any cleanup) #1019 Verify Lite lint backlog (no-unused-vars / require-await / no-explicit-any cleanup)
• Verify Lite: strict TSエラー (CircuitBreaker / EnhancedStateManager / TokenOptimizer) #1018 Verify Lite: strict TSエラー (CircuitBreaker / EnhancedStateManager / TokenOptimizer)
• Quality policy: Code Linting / TDD gate missing definitions #1017 Quality policy: Code Linting / TDD gate missing definitions

フェーズC: Podman ランタイム整備と Week トラッカー

• ネイティブ podman compose 移行チェック（podman-plugins バージョン検証） #1015 ネイティブ podman compose 移行チェック（podman-plugins バージョン検証）
• Week4: Verify Lite強化とE2Eデモ統合 #1003 Week4: Verify Lite強化とE2Eデモ統合
• [Full pipeline revival] Week3 tracker #1002 [Full pipeline revival] Week3 tracker
• [Full pipeline revival] Week2 progress tracker #1001 [Full pipeline revival] Week2 tracker

フェーズD: 中長期ロードマップ

• 🧩 Feature Proposal: Integrate ae-framework with Agent Builder for Intent→Formal→Tests→Code→Verify→Operate pipeline #1047 🧩 Feature Proposal: Integrate ae-framework with Agent Builder for Intent→Formal→Tests→Code→Verify→Operate pipeline （PR chore: add flow/envelope schemas with validation #1184/feat: add verify lite envelope conversion utilities #1186/feat: add agent builder flow runner skeleton #1189 で Flow/Envelope 基盤を整備)（CLOSED）
• #1047 Action Plan — Agent Builder Integration #1053 🧩 Feature Proposal: Integrate ae-framework with Agent Builder for Intent→Formal→Tests→Code→Verify→Operate pipeline #1047 Action Plan — Agent Builder Integration（Flow/Envelope/PoC を整備: PR chore: add flow/envelope schemas with validation #1184/feat: add verify lite envelope conversion utilities #1186/chore: align envelope schema usage #1187/feat: add agent builder flow runner skeleton #1189/chore: add agent builder PoC scripts #1394/chore: add agent builder fixture #1397/docs: add agent builder poc guide #1398、メモ更新: docs: update #1053 agent builder plan status #1751）（CLOSED）
• 📦 Project Complexity Management - Simplification and Organization #1006 📦 Project Complexity Management - Simplification and Organization（Phase 1: runner flags/pnpm run統一: PR chore: standardize runner flags (Phase 1) #1752/chore: standardize script chaining to pnpm run #1753; Phase 2: ESLint config consolidation: PR chore: consolidate eslint config under configs #1756; Phase 2: tsconfig consolidation: PR chore: move root tsconfig into configs #1757; ESLint inclusion roadmap: PR docs: add ESLint inclusion roadmap #1764; docs reference updates: PR docs: update config reference notes (#1006) #1766; flake schedule consolidation: PR ci: consolidate flake schedule workflow #1769; Month2/Month3 drafts: PR docs: add issue 1006 month2/month3 drafts #1770 (merged); PR maintenance schedule: PR ci: consolidate pr maintenance schedule #1771 (merged); auto-merge eligibility: PR ci: consolidate auto-merge eligibility #1772 (merged); PR annotations: PR ci: consolidate pr annotations workflow #1773 (merged); branch protection docs: PR docs: clarify branch protection checklist #1774 (merged); nightly monitoring consolidation: PR ci: consolidate nightly monitoring into nightly workflow #1775 (merged); script alias wiring: PR dx: wire script alias runner #1776 (merged); flake retry dispatch consolidation: PR chore(ci): fold flake retry into flake detect #1777 (merged); manual model checking consolidation: PR chore(ci): fold manual model checking into formal verify #1778 (merged); parallel coordinator consolidation: PR chore(ci): fold parallel coordinator into parallel execution #1779 (merged); pr auto-update consolidation: PR chore(ci): fold auto-update into PR maintenance #1780 (merged); pr summary consolidation: PR chore(ci): fold PR summary into PR maintenance #1781 (merged); consolidation draft update: PR docs(ci): update consolidation draft status #1782 (merged); security schedule consolidation: PR ci(security): consolidate SBOM schedule #1785 (merged); ci-extended schedule consolidation: PR ci: consolidate ci-extended schedule #1786 (merged); release quality artifacts consolidation: PR ci(release): consolidate quality artifacts #1787 (merged); formal aggregate consolidation: PR ci(formal): consolidate formal aggregate entry #1788 (merged); spec validation entry consolidation: PR ci(spec): consolidate spec validation entry #1789 (merged); full CI spec validation entry: PR ci(spec): call spec-validation entry from full CI #1790 (merged); ci entry workflow_call modes: PR ci: add workflow_call entry modes #1791 (merged); ci consolidation draft update: PR docs: update CI consolidation progress #1792 (merged); ci consolidation status refresh: PR docs: refresh ci consolidation status for issue 1006 #1808 (merged); workflow trigger map update: PR docs: refresh workflow trigger map #1793 (merged); workflow overlap candidates update: PR docs: refresh workflow overlap candidates #1794 (merged); workflow inventory update: PR docs: refresh workflow inventory #1795 (merged); workflow trigger profiles update: PR docs: refresh workflow trigger profiles #1796 (merged); ci-fast entry consolidation: PR chore(ci): move ci-fast entry into ci.yml #1797 (merged); ci-extended entry consolidation: PR chore(ci): route ci-extended entry via ci.yml #1798 (merged); hermetic entry consolidation: PR chore(ci): route hermetic entry via ci.yml #1799 (merged); parallel tests entry consolidation: PR chore(ci): route parallel tests via ci.yml #1800 (merged); podman smoke entry consolidation: PR chore(ci): route podman smoke via ci.yml #1801 (merged); entry runner CLI routing: PR feat(cli): add entry runner routing #1802 (merged); CLI migration guide: PR docs: add CLI entry migration guide #1803 (merged); ae help command: PR feat(cli): add ae help command #1804 (merged); setup guide CLI discovery: PR docs(setup): add cli discovery section #1805 (merged); setup wizard draft: PR docs: add setup wizard draft for issue 1006 #1806 (merged); setup wizard CLI: PR feat: add ae setup command for installer templates #1807 (merged); setup wizard interactive: PR feat: add interactive setup wizard #1809 (merged); setup CLI reference: PR docs: add setup command to CLI reference #1810 (merged); setup guide wizard mention: PR docs: mention ae setup wizard in setup guide #1811 (merged); ci-fast/extended dispatch cleanup: PR chore(ci): limit ci-fast/extended to workflow_call #1812 (merged); QA bench entry consolidation: PR chore(ci): route QA bench via ci.yml #1813 (merged); workflow dispatch dependencies note: PR docs: note workflow dispatch dependencies #1814 (merged); pr-verify entry consolidation: PR chore(ci): route pr-verify via ci.yml #1815 (merged); verify entry consolidation: PR chore(ci): route verify entry via ci.yml #1816 (merged)）（CLOSED）
• 🔧 Test Stability Issues - Flaky Test Resolution and CI Hardening #1005 🔧 Test Stability Issues - Flaky Test Resolution and CI Hardening — Docker Tests(schedule/手動) を復旧 (PR ci: stabilize docker tests schedule #1748) し、Phase 3（Hermetic containers / Advanced parallel execution / Mocking strategy）を完了 (PR ci: add selectable parallel test coordinator (Phase 3) #1749/test: prevent global stub leaks (Phase 3) #1750)（CLOSED）
• 🚨 Critical Security Issues - Code Scanning Alerts Resolution #1004 🚨 Critical Security Issues - Code Scanning Alerts Resolution (PR chore: update security dependencies #1466 で対応)
• 🧭 Issue — Autoformalize‑TLA+: Planning→Coding→ModelCheck→Repair #1066 🧭 Autoformalize-TLA+: Planning→Coding→ModelCheck→Repair（formal plan schema: PR feat: add formal plan schema scaffold #1758; formalize-planner: PR feat: add formalize-planner scaffold #1765; formalize-coder: PR feat: add formalize-coder scaffold (#1066) #1767）
• 🧪 Issue — Test‑Driven Intent Mode: TiCoder + TestPilot #1067 🧪 Test‑Driven Intent Mode: TiCoder + TestPilot（tests-first docs/prompts: PR docs: add tests-first guide and prompts #1759; tests:suggest default: PR feat: add tests:suggest default route (#1067) #1768）
• 🧰 Issue — Verifier Adapter Layer: TLC / Apalache / Conformance #1068 🧰 Verifier Adapter Layer: TLC / Apalache / Conformance（summary normalization: PR feat: add verifier adapter summary normalization #1760）
• 📊 Issue — req2run: cost/tokens/memory/turns metrics #1069 📊 req2run metrics（agentic metrics scaffold: PR feat: add agentic metrics scaffold #1755）
• 🛡️ Issue — Operate: Runtime Conformance Monitor #1070 🛡️ Runtime Conformance Monitor（trace-map schema/docs: PR feat: add trace-map schema for operate monitor #1761）
• Evaluate Codex SDK Integration into ae-framework #1071 Evaluate Codex SDK Integration into ae-framework（evaluation note: PR docs: add Codex SDK evaluation note #1762）
• EnhancedStateManager mutation backlog #1080 EnhancedStateManager mutation backlog（CLOSED: fix(EnhancedStateManager): importStateで圧縮データのByte表現を許容 #1742/test: harden EnhancedStateManager import versionIndex #1744）
• 🧭 Research papers informing the ae‑framework improvement #1062 🧭 Research papers informing the ae-framework improvement（survey doc: PR docs: add research survey summary for #1062 #1763）
• E2E demo: Property/MBT/BDD/Pact 連動シナリオの実装 #1819 E2E demo: Property/MBT/BDD/Pact 連動シナリオの実装（PR feat: add inventory e2e demo pipeline #1821 merged）
• Mutation: EnhancedStateManager スコア 60% 以上への改善 #1820 Mutation: EnhancedStateManager スコア 60% 以上への改善（PR test: cover EnhancedStateManager mutation survivors #1822 merged）

次のアクション

1. 📦 Project Complexity Management - Simplification and Organization #1006 Month2: CI統合設計ドラフトを確定し、低リスク統合PRを順次作成する（docs/notes/issue-1006-ci-consolidation-draft.md、更新: PR docs(ci): update consolidation draft status #1782 (merged), 更新: PR docs(ci): finalize issue 1006 consolidation strategy #1783 (merged), 更新: PR ci(security): consolidate SBOM schedule #1785 (merged), 更新: PR ci: consolidate ci-extended schedule #1786 (merged), 更新: PR ci(release): consolidate quality artifacts #1787 (merged), 更新: PR ci(formal): consolidate formal aggregate entry #1788 (merged), 更新: PR ci(spec): consolidate spec validation entry #1789 (merged), 更新: PR ci(spec): call spec-validation entry from full CI #1790 (merged), 更新: PR ci: add workflow_call entry modes #1791 (merged), 更新: PR docs: update CI consolidation progress #1792 (merged), 更新: PR docs: refresh workflow trigger map #1793 (merged), 更新: PR docs: refresh workflow overlap candidates #1794 (merged), 更新: PR docs: refresh workflow inventory #1795 (merged), 更新: PR docs: refresh workflow trigger profiles #1796 (merged), 更新: PR chore(ci): move ci-fast entry into ci.yml #1797 (merged), 更新: PR chore(ci): route ci-extended entry via ci.yml #1798 (merged), 更新: PR chore(ci): route hermetic entry via ci.yml #1799 (merged), 更新: PR chore(ci): route parallel tests via ci.yml #1800 (merged), 更新: PR chore(ci): route podman smoke via ci.yml #1801 (merged), 更新: PR docs: refresh ci consolidation status for issue 1006 #1808 (merged), 更新: PR chore(ci): route QA bench via ci.yml #1813 (merged), 更新: PR docs: note workflow dispatch dependencies #1814 (merged), 更新: PR chore(ci): route pr-verify via ci.yml #1815 (merged), 更新: PR chore(ci): route verify entry via ci.yml #1816 (merged)（完了）。
2. 📦 Project Complexity Management - Simplification and Organization #1006 Month3: DX改善（統一 entry / alias / help）の実装計画を確定し、段階導入を開始する（docs/notes/issue-1006-dx-roadmap.md、直近: PR dx: wire script alias runner #1776 (merged), 更新: PR docs(dx): finalize issue 1006 DX roadmap #1784 (merged)）（完了）。
3. 📦 Project Complexity Management - Simplification and Organization #1006 の残タスクを優先度順に整理し、チェックリストへ反映する（継続）（完了）。

[ootakazuhiko]

• ci(mutation): publish quick summary and avoid timeout exits #1157 ci(mutation): publish quick summary and avoid timeout exits\n- [ ] infra(podman): document shared runner setup #1154 infra(podman): document shared runner setup\n- [ ] feat(conformance): expose violation metrics CLI #1155 feat(conformance): expose violation metrics CLI\n- [ ] test(encrypted-chat): add BDD + pact coverage #1156 test(encrypted-chat): add BDD + pact coverage\n- [ ] ops(podman): clean up pipeline artifacts #1158 ops(podman): clean up pipeline artifacts\n\n優先順のトップ5は上記の通りです。別途 Verify Lite lint backlog (no-unused-vars / require-await / no-explicit-any cleanup) #1019/Verify Lite: strict TSエラー (CircuitBreaker / EnhancedStateManager / TokenOptimizer) #1018/Quality policy: Code Linting / TDD gate missing definitions #1017 をまとめて Verify Lite backlog とし、ネイティブ podman compose 移行チェック（podman-plugins バージョン検証） #1015 以降はフェーズC/D に分類したまま据え置きます。

[ootakazuhiko]

フェーズBの3件 (#1019/#1018/#1017) は以下PRで完了しました。

• docs: Verify Lite lint backlog plan (#1019) #1167 docs: Verify Lite lint backlog plan (Verify Lite lint backlog (no-unused-vars / require-await / no-explicit-any cleanup) #1019)
• refactor: tighten circuit breaker strict types (#1018) #1168 refactor: tighten circuit breaker strict types (Verify Lite: strict TSエラー (CircuitBreaker / EnhancedStateManager / TokenOptimizer) #1018)
• fix: align quality gate keys with policy (#1017) #1169 fix: align quality gate keys with policy (Quality policy: Code Linting / TDD gate missing definitions #1017)

次ステップとしてフェーズCの Podman/Week tracker 群（#1015/#1003/#1002/#1001）の調査・ブランチ切り出しを進めます。

[ootakazuhiko]

Flow/Envelope スキーマ初期実装 (PR #1184) を作成し、フェーズDの #1047/#1053 に向けた基盤を追加しました。次は Verify Lite → Envelope 変換ステップに着手します。