Audit and align v1 runtime design

12 files changed, 25 insertions, 1 deletions

diff --git a/plans/progress/Phase0.md b/plans/progress/Phase0.md
index d648dd1..45b2ee9 100644
--- a/plans/progress/Phase0.md
+++ b/plans/progress/Phase0.md
@@ -1,5 +1,7 @@
 # Phase 0 Completion Report
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 ## 実施内容
 
 - Specifications、Design、ImplementationPlanの優先順位に従い、単一Task実行、option競合、実装上限、Release/E2E要件を整合した。
diff --git a/plans/progress/Phase1.md b/plans/progress/Phase1.md
index da58a47..1f96068 100644
--- a/plans/progress/Phase1.md
+++ b/plans/progress/Phase1.md
@@ -1,5 +1,7 @@
 # Phase 1 Progress
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 - 実装: strict typed YAML、起動時validation、en/ja localeとfallback、embedded Fixed Prompt、限定CLI、rolling/Application/LLM/Audit log基盤。
 - 自動検証: configuration、locale、fixed promptのCore testsがPASS。
 - Dependency差分: 承認済みYamlDotNet、Hostingのみ。追加なし。
diff --git a/plans/progress/Phase10.md b/plans/progress/Phase10.md
index de3b81b..970b48e 100644
--- a/plans/progress/Phase10.md
+++ b/plans/progress/Phase10.md
@@ -1,5 +1,7 @@
 # Phase 10 Progress
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 - 実装: Application/LLM/Audit log、user-only log DACL、Task ID audit、locale message基盤。
 - 現在の走査: Security TODO/FIXME 0、test skip 0。
 - 最終管理者run: Core 42/42、Planner 10/10、Windows Security/Recovery 25/25、skip 0。Requirement TraceabilityのST-01～20 / AT-01～20を全PASSへ更新した。
diff --git a/plans/progress/Phase11.md b/plans/progress/Phase11.md
index c03a473..09b7944 100644
--- a/plans/progress/Phase11.md
+++ b/plans/progress/Phase11.md
@@ -1,5 +1,7 @@
 # Phase 11 Progress
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 - 生成済み: win-x64 self-contained directory/ZIP、required files、356-entry SHA-256 manifest、ZIP checksum。
 - fresh temporary extraction、source-tree reference scan、管理者Bundle-only `check`（BFE/WFP add/delete probe）PASS。
 - local OllamaによるE2E-01 stdio、E2E-02 HTTP `127.0.0.1` / `::1` が全PASS。実file read/edit、broker process、in-process build、独立self-test、日本語応答、Task ID Auditを確認した。
diff --git a/plans/progress/Phase2.md b/plans/progress/Phase2.md
index b97c15b..722457e 100644
--- a/plans/progress/Phase2.md
+++ b/plans/progress/Phase2.md
@@ -1,5 +1,7 @@
 # Phase 2 Progress
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 - 実装: stdio、公開Toolを `agent_run` / `agent_status` の2つに限定、strict schema、UUID、非同期queue、global single-reader worker、stdout purity。
 - 自動検証: stdio SDK integrationを含む最終Core 42/42 PASS、skip 0。
 - Gate G2: PASS（Release Bundle E2EはPhase 11で判定）。
diff --git a/plans/progress/Phase3.md b/plans/progress/Phase3.md
index 1a0cf26..24b6ffa 100644
--- a/plans/progress/Phase3.md
+++ b/plans/progress/Phase3.md
@@ -1,5 +1,7 @@
 # Phase 3 Progress
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 - 実装: Ollama Chat API、native tool call、session、prompt order、token usage、Task temperature、250/500/1000 ms retry、typed option優先。
 - 実測: Ollama 0.32.6、local Gemma modelでtext `LOCAL_OK`、native tool call、Vision `VISION_OK` を確認。cloudはRelease Gate外。
 - Gate G3: PASS。offline Operational E2EはG11で再検証する。
diff --git a/plans/progress/Phase4.md b/plans/progress/Phase4.md
index cb45fc0..e142932 100644
--- a/plans/progress/Phase4.md
+++ b/plans/progress/Phase4.md
@@ -1,5 +1,7 @@
 # Phase 4 Progress
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 - 実装: TaskGraph、DAG rollback、32件default、completed immutable、Token Budget、PERT/CPM、usage累積。
 - 統合: `task_update` を実TaskGraphへ接続し、計画更新を外部効果証拠から除外。
 - 自動検証: Planner 10/10 PASS、Core TaskGraph tool test PASS、skip 0。
diff --git a/plans/progress/Phase5.md b/plans/progress/Phase5.md
index 2915584..8115369 100644
--- a/plans/progress/Phase5.md
+++ b/plans/progress/Phase5.md
@@ -1,6 +1,8 @@
 # Phase 5 Progress
 
-- 実装: Internal Tool 5群、strict schema/validator、deny-by-default dispatcher、ToolUseGuard、同一失敗5回、外部効果証拠。
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
+- 実装: 当時のDesign.mdに記載されたInternal Tool catalog、strict schema/validator、deny-by-default dispatcher、ToolUseGuard、同一失敗5回、外部効果証拠。
 - Phase 5 backendはfake、Phase 6以降はWindows backendへ差し替え。
 - 自動検証: malformed/unknown field、policy deny、effect evidence、failure limitを確認。
 - Gate G5: PASS。
diff --git a/plans/progress/Phase6.md b/plans/progress/Phase6.md
index ff9a6d0..fdfd175 100644
--- a/plans/progress/Phase6.md
+++ b/plans/progress/Phase6.md
@@ -1,5 +1,7 @@
 # Phase 6 Progress
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 - 実装: fixed AppContainer、canonical/reparse policy、能力別ACL、path+SHA-256、Job Object、`PROCESS_CREATION_CHILD_PROCESS_RESTRICTED`、Broker launch。
 - 実測: approved PowerShellからの `Start-Process`、Process API、shell、rename/copyの4経路を試し、全unbrokered childをOS restrictionで拒否した。markerなし、Job process不変、非zero親結果、Audit `policy.deny`を確認した。
 - symlink chain/junction、path/hash、shell toggle、Job timeoutおよびbroker crash後orphan 0を管理者環境で確認した。
diff --git a/plans/progress/Phase7.md b/plans/progress/Phase7.md
index 45d2518..9a686ed 100644
--- a/plans/progress/Phase7.md
+++ b/plans/progress/Phase7.md
@@ -1,5 +1,7 @@
 # Phase 7 Progress
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 - 実装: durable Task Resource Journal、atomic file replace/delete、inline/large backup、hash guard、reverse recovery、ACL/WFP recovery。
 - 自動検証: commit/rollback、外部変更時rollback拒否、起動Recovery、journal/backup cleanupを確認。
 - 独立processをFailFastするcrash matrixでACL適用前後、file replace前後、process起動後、cleanup途中、WFP適用後を検証した。次回Recovery後にfile/ACL/backup/temp/journal/loopback exemption残留0、broker crash後orphan 0。
diff --git a/plans/progress/Phase8.md b/plans/progress/Phase8.md
index 6bb0921..4ff2ed6 100644
--- a/plans/progress/Phase8.md
+++ b/plans/progress/Phase8.md
@@ -1,5 +1,7 @@
 # Phase 8 Progress
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 - 実装: dynamic WFP session/transaction、AppContainer SID条件、IPv4/IPv6 permit/default-block、hard permit、DNS snapshot、Task中だけのloopback exemption、explicit cleanup、Recovery、`agent-mcp check`。
 - 実測: 非管理者はengine open成功後transaction error 5。管理者実測ではfilter add/delete testがPASS。サービス/helper/恒久ruleなし。
 - AppContainer curlのactual trafficでloopback default deny、exact IPv4:port allow、wrong-port denyを確認。dynamic engine crashとloopback journal Recovery後の残留0も確認した。
diff --git a/plans/progress/Phase9.md b/plans/progress/Phase9.md
index ea229be..4a71c6e 100644
--- a/plans/progress/Phase9.md
+++ b/plans/progress/Phase9.md
@@ -1,5 +1,7 @@
 # Phase 9 Progress
 
+> Historical evidence: この記録は作成当時のcommitに対する結果であり、現行commitの再監査結果ではない。
+
 - 実装: Vision count/per-image/total validation、Ollama capability check、loopback-only Streamable HTTP、Origin検査、GET/Legacy SSE拒否。
 - 自動検証: 127.0.0.1 SDK integration、non-loopback bind拒否、hostile Origin拒否。
 - 最終検証: `127.0.0.1` / `::1` Operational E2E PASS、localized non-Vision rejectionをOllama call前に確認。