目的:整合 RTM + V&V + UQ + Regression Gates + Repro Pack(含容器),形成單一工程可交付物,可供審查與第三方復現。
| 區塊 | 內容 | 審查對應 |
|---|---|---|
| 01_RTM | 需求可追溯矩陣(REQ-### → 驗證方式 / Case ID / 門檻 / 產物) | 「保證了什麼」 |
| 02_VV | V&V 報告(驗算、收斂、ISA、基準案例) | 證據鏈 |
| 03_UQ | UQ 與敏感度(多 KPI、Bootstrap、模型不確定度) | 誤差帶、敏感度 |
| 04_Regression_Gates | 回歸閘門規格(硬 / 軟 / 預期變動) | 分層回歸 |
| 05_Repro_Pack | 可重現包(config、hash、manifest、determinism) | 可重現性 |
| 06_External_Validation | 外部驗證基準規格(ISA、阻力落體、再入、風洞示例) | 外部可置信 |
| 07_Container | 於容器內實際執行專案(Dockerfile.sap、README_CONTAINER.md) | 一鍵凍結環境、預設 CMD=test_governance_features |
另含:
-
SAP_Test_Report_1_to_7.md:區塊 01–07 測試結果彙整
-
artifact_manifest.json:包內各檔案 SHA256
-
README.md:用途聲明、適用域、不提供武器化用途
python build_system_assurance_package.py產出目錄:System_Assurance_Package_v1.0/。07_Container 的 Docker 建置與執行方式見 07_Container/README_CONTAINER.md。
- 教育與概念驗證;概念設計階段;非製造級。
- 不提供武器化用途(風控必備)。
- 速度:0–10 Mach(部分模型更窄)
- 高度:0–100 km(ISA 至 86 km)
- 熱 / 結構:簡化模型,需專業工具交叉驗證
本包提供:
- 需求 → 測試 → 證據 的 RTM,可回答「保證了什麼」。
- 外部基準 與誤差 KPI(最大相對誤差、RMSE、分段)。
- 模型不確定度(誤差項 / 集成)與參數 UQ 分開。
- 分層回歸閘門,避免一刀切。
- Artifact manifest + determinism checklist,便於排查「跑出來不一樣」。
- 容器內可執行(Dockerfile.sap),支援環境凍結與預設 CMD 測試。
此包作為 System Assurance Package v1.0 可交付物,用於工程審查與交接。
| 項目 | 數值/出處 |
|---|---|
| REQ-001 門檻 | 50 kPa = 50_000 Pa(threshold_unit=Pa);合規由 UQ-REQ-001 從 UQ 報告讀 max_q P90 判定 |
| VV-004 | max_relative_error、threshold_used(0.01)、n_reference_points 見 V_V_Report;metric_value 取自 max(max_relative_errors) |
| External Validation | n_points_compared、threshold_used(0.05)、fail_reason(no_data / metric_exceeded) 見 compare_with_benchmark 回傳 |
| max_q 輸出單位 | Pa(UQ 報告 kpi_units.max_q = Pa) |
Coverage ≠ Compliance:覆蓋率 100% 僅表有對應案例;合規需門檻達標(compliance_status=passed)。07 未建置/執行=NOT VERIFIED。