diff options
Diffstat (limited to 'plans/RequirementTraceability.md')
| -rw-r--r-- | plans/RequirementTraceability.md | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/plans/RequirementTraceability.md b/plans/RequirementTraceability.md new file mode 100644 index 0000000..aec82a2 --- /dev/null +++ b/plans/RequirementTraceability.md @@ -0,0 +1,66 @@ +# Requirement Traceability + +`PASS` は2026-08-09のRelease buildおよび管理者権限の最終実行で、実行可能なtest/evidenceが確認できたことを示す。最終証跡は `artifacts/evidence/final-elevated/` に保存する。 + +## Acceptance Tests + +| ID | Implementation / evidence | Status | +|---|---|---| +| AT-01 | `McpStdioTests.InitializeListAndCallExposeOnlyTwoStrictTools` | PASS | +| AT-02 | `McpHttpTests`、E2E-02 `127.0.0.1` / `::1` | PASS | +| AT-03 | HTTP GET `/mcp`, `/sse`, `/message` assertions | PASS | +| AT-04 | `TaskRegistryTests`, MCP stdio integration | PASS | +| AT-05 | `OllamaClientTests.Chat_sends_expected_request_and_returns_usage` | PASS | +| AT-06 | `Non_vision_model_rejects_images_with_selected_locale_message_before_chat` | PASS | +| AT-07 | Windows backend実効果試験、E2E Audit | PASS | +| AT-08 | junction / symlink chain escape試験 | PASS | +| AT-09 | path/hash一致・不一致試験 | PASS | +| AT-10 | AppContainer loopback actual traffic default deny | PASS | +| AT-11 | exact host:port allowおよびwrong-port actual deny | PASS | +| AT-12 | child-process restriction 4経路、Job timeout/orphan 0 | PASS | +| AT-13 | ACL/WFP/loopback journal crash recovery試験 | PASS | +| AT-14 | `TaskGraphTests.Cycle_is_rejected_without_mutating_graph` | PASS | +| AT-15 | `TaskGraphTests.Completed_task_is_immutable` | PASS | +| AT-16 | deterministic PERT/CPM tests | PASS | +| AT-17 | runtime and graph usage accumulation tests | PASS | +| AT-18 | en/ja locale、3経路の日本語Operational E2E | PASS | +| AT-19 | `LocaleCatalogTests.AdditionalLocaleLoadsWithoutCodeChange` | PASS | +| AT-20 | malformed/unknown locale tests | PASS | + +## Security Tests + +| ID | Implementation / evidence | Status | +|---|---|---| +| ST-01 | E2E `file_read`実行、capability試験 | PASS | +| ST-02 | outside-root deny、副作用なし | PASS | +| ST-03 | backend `file_edit`実効果、ACL復旧 | PASS | +| ST-04 | delete capability独立試験 | PASS | +| ST-05 | junction escape拒否 | PASS | +| ST-06 | two-link symlink chain escape拒否 | PASS | +| ST-07 | approved canonical path/hash process成功 | PASS | +| ST-08 | hash mismatch拒否 | PASS | +| ST-09 | shell disabled拒否 | PASS | +| ST-10 | `Start-Process`、Process API、shell、rename/copyの4経路をOS child restrictionで拒否、marker/PIDなし、Audit deny | PASS | +| ST-11 | Job timeout後PID不存在、Operational E2E orphan 0 | PASS | +| ST-12 | AppContainer actual loopback default deny | PASS | +| ST-13 | IPv4/IPv6 filter生成、IPv4 exact allow actual traffic | PASS | +| ST-14 | actual wrong-port deny | PASS | +| ST-15 | public MCP exposes only two strict tools | PASS | +| ST-16 | strict tool schema、path policy deny時backend call 0 | PASS | +| ST-17 | applied ACL journalのcrash recovery、descriptor一致 | PASS | +| ST-18 | dynamic WFP engine close+loopback exemption journal recovery、残留0 | PASS | +| ST-19 | malformed locale fatal tests | PASS | +| ST-20 | non-loopback bind rejection test | PASS | + +## Operational / Release + +| Requirement | Evidence | Status | +|---|---|---| +| Release build | Release build warning 0/error 0 | PASS | +| Unit/integration | Planner 10/10, Core 40/40, skip 0 | PASS | +| win-x64 self-contained Bundle | publish directory, ZIP, manifest, checksum | PASS | +| Bundle-only elevated startup | `bundle-check.log`: administrator/BFE/WFP probe PASS | PASS | +| E2E-01 stdio | `e2e-01-stdio.log`: local Ollama、read/edit/build/test、日本語、Audit、cleanup | PASS | +| E2E-02 HTTP (`127.0.0.1`, `::1`) | `e2e-02-http-ipv4.log` / `e2e-02-http-ipv6.log` | PASS | +| clean resource state | process/ACL/WFP/loopback/temp/journal/backup残留0 | PASS | +| README-only fresh setup | ZIP fresh extraction、source参照0、README手順による最終runner | PASS | |
