8.2 KiB
8.2 KiB
CASAN — Backlog & Handoff Status (single source of truth for "what's left")
Mục đích: liệt kê MỌI hạng mục còn tồn đọng theo ưu tiên, kèm trạng thái + bước tiếp theo cụ thể + cờ phụ-thuộc-hạ-tầng, để bất kỳ AI/người nào tiếp quản cũng làm tiếp được ngay. Cập nhật mỗi khi hoàn thành một mục.
Cập nhật lần cuối: 2026-07-06 · Nhánh làm tiếp từ handoff Claude. Test hiện tại: 218 PASS / 0 FAIL trên 13 core harness suite; local-prod Docker infra lab 2 PASS / 0 FAIL (
infra-lab verify: 7/0 internal checks);phase3-model-routerriêng 11 PASS / 0 FAIL;phase2-sourcegenriêng 3 PASS / 0 FAIL; frontend Vitest 16 PASS / 0 FAIL. Backendnpm testcòn bị chặn bởi test-infra cũ (schema.prismaMySQL nhưngsetup-sqlite.mjschạy SQLite). Điểm công tâm vẫn quanh ~81/100, harness thấp nhất 80; TIER 2 infra thật vẫn là trần Strong. Nguồn liên quan:CASAN_HARDENING_STATUS.md(chi tiết control) ·evidence/scoring-run-report.md(điểm).
Quy ước
- Nhãn: ✅ done+test · 🟡 MVP done (bản prod cần hạ tầng) · 🟦 deliverable-now (làm được offline) · 🔌 needs-infra (cần key/dịch vụ ngoài) · 📋 handoff-only (platform lớn, cần nhiều phiên).
- Nguyên tắc bàn giao: mỗi mục 🔌/📋 phải có "Bước tiếp theo" đủ cụ thể để người khác bắt tay ngay.
- Bất biến an toàn: giữ 218/0 core harness; mọi control mới phải có test đối kháng fail-able; không hardcode verdict, không bypass.
TIER 1 — Làm được ngay (deterministic/mock, đóng nốt Plan-07) 🟦
| # | Hạng mục | Plan | Trạng thái | Bước tiếp theo |
|---|---|---|---|---|
| T1.1 | Model-digest pinning (chống model bị tráo/poison) | 07 B4 / V16 | ✅ done+test | .specify/security/model-digest.pin pin ornith:9b; model-call.py gọi model-digest-check.sh verify trước Ollama; mismatch mặc định BLOCK, rollout mode WARN. Test: phase3-model-router pin→OK, đổi→WARN/BLOCK. |
| T1.2 | IdP/OIDC cho approval (thay registry pubkey tĩnh) | 07 C4 / V20 | ✅ MVP done+test | approval-verify.sh chấp nhận CASAN_APPROVAL_JWT RS256 ký bởi mock IdP, verify chữ ký bằng pubkey, check sub/role/exp + bind action/actor/input_sha256. Test: JWT hợp lệ→APPROVED, hết hạn/sai role/chữ ký giả→DENY. Prod còn cần IdP/JWKS thật. |
| T1.3 | Traceability REQ→code→test (khác biệt nhất) | 10 | ✅ MVP done+test | traceability-matrix.py parse FR-xx từ requirement, dùng .specify/traceability-map.json, gate mọi FR có ≥1 code + ≥1 test; Evidence Pack thêm traceability-matrix.json. Test: FR đủ→PASS, FR thiếu test→FAIL. |
TIER 2 — Plan-07 gaps cần hạ tầng (Docker local-prod lab đã có; prod managed thật vẫn cần) 🔌
| # | Hạng mục | Trạng thái | Bước tiếp theo (bản production) |
|---|---|---|---|
| T2.1 | KMS mặc định + HSM | 🟡 Docker lab ✅ (Vault Transit) | infra/local-prod dựng Vault dev @ :18200; infra-lab verify chứng minh sign+verify. Prod: Vault/AWS-KMS/CloudHSM + token ngắn hạn qua IdP; bỏ fallback khoá local ở môi trường prod. |
| T2.2 | WORM store thật (S3 Object Lock) | 🟡 Docker lab ✅ (MinIO Object Lock) | MinIO bucket casan-worm bật Object Lock COMPLIANCE 1d. Prod: S3 Object Lock/QLDB + trusted timestamp; cần AWS creds + bucket Object-Lock. |
| T2.3 | Dashboard deploy + auth | 🟡 Docker lab ✅ (nginx basic auth + /healthz) | Dashboard container + nginx reverse-proxy @ :18080, user/pass lab casan/casan; /healthz exposed. Prod: host/TLS/OIDC or enterprise auth. |
| T2.4 | Kênh alert managed + on-call | 🟡 Docker lab ✅ (webhook emulator) | alert-webhook @ :19092 nhận live POST. Prod: trỏ CASAN_ALERT_WEBHOOK tới Slack/PagerDuty + rota/on-call thật. |
| T2.5 | Billing-API telemetry thật | 🟡 Docker lab ✅ (billing API mock) | billing-api @ :19093/usage; provider-usage-fetch.sh import được provider telemetry. Prod: OpenAI/Anthropic usage API thật + key. |
| T2.6 | Sandbox: rootless/nsjail + base image CI | 🟡 (container isolation live via Docker) | Thêm profile nsjail/bubblewrap cho Linux CI (không cần Docker daemon); hardened base image tối thiểu. sandbox-container.sh đã có bản Docker. |
TIER 3 — Platform plans (INDEX 01–12, việc lớn nhiều phiên) 📋
| Plan | Trạng thái | Lõi cần làm (bước tiếp theo cho AI kế) |
|---|---|---|
| 10 Traceability + H3 Eval | ✅ MVP done+test | Đã nối traceability vào Evidence Pack. Sau MVP: line/symbol-level traceability + H3 eval-set độc lập (nhiều model). |
| 03 Cloud patch | 🟡 MVP done+test | model-call.py đã hỗ trợ openai:<model> và anthropic:<model> qua endpoint hard-pin + API key env; parser token usage và malformed payload có deterministic test. Còn live smoke với key thật + billing usage API ground truth. |
| 02 LLM source-gen | 🟡 đợt A MVP done+test | 01-srs và 02-bd hỗ trợ CASAN_GEN_MODE=model: gọi model-router.sh --role generate, scan H4 draft bằng artifact-scan.sh, validate token bắt buộc, fallback template nếu lỗi. Test phase2-sourcegen 3/0. Còn đợt B/C/D + full live pipeline smoke. |
| 04 Self-improve | 📋 chưa bắt đầu | Khép vòng casan improve: đọc metrics/drift/hallucination → đề xuất vá → chạy lại gate. Phụ thuộc 02, 05. Bước 1: script đọc metrics.jsonl + drift-report.json → sinh backlog vá tự động. |
| 05 CI/CD | 🟡 CI gate MVP done | .specify/scripts/bash/ci-harness-gate.sh chạy các suite harness/hardening/sourcegen/traceability/frontend theo thứ tự an toàn, có timeout/filter; .gitea/workflows/harness-ci.yml gọi gate trên push/PR. Filtered local verify PASS=2/0. Còn: full gate xanh trên runner thật, xử lý A6 nếu còn chậm/treo, bật Docker infra lab nếu runner hỗ trợ, package/release artifact fpt-casan-sdd-harness. |
| 06 Onboard dự án 2 | 📋 chưa bắt đầu | Chứng minh reuse: cắm 1 repo khác + golden/corpus/input, đăng ký qua verify-harness-reuse.sh, không sửa gate. Phụ thuộc 01. |
| 08 Context compression | 📋 chưa bắt đầu | Nén prompt/context giảm token (H1.5). Làm SAU khi core ổn (nén thêm bề mặt rủi ro → cần quét lại). Bước 1: đo token baseline mỗi step, thử tóm tắt có kiểm chứng (H3 judge so sánh). |
| 12 Domain Pack SDK | 📋 chưa bắt đầu | Onboard bằng khai báo (golden/corpus/policy theo domain). Phụ thuộc 01, 06. |
| 01 Restructure | 📋 chưa bắt đầu | Tái cấu trúc thư mục Phase 0→6. Nền cho 06/12. Rủi ro cao (đụng nhiều path) → làm trên nhánh riêng, giữ 218/0. |
| Future B1–B6 | 💤 vision | CASAN_PLAN_FUTURE_PHASES.md — approval workflow nâng cao · state machine · model benchmark · governed memory · auto-remediation · platform KPI. |
Trần điểm & điều kiện lên "Strong (81+)"
Harness thấp nhất = 80 (H5, H6). Docker local-prod lab đã chứng minh luồng infra production-like chạy được trên Mac, nhưng để CẢ pipeline vào Strong vẫn cần bản managed thật (enterprise IdP/JWKS, WORM-S3/QLDB, KMS default/HSM, dashboard deploy TLS/OIDC, managed alert/on-call, billing-API thật). Các mục này cần key/dịch vụ ngoài nên chưa nên claim production Strong.
Cách kiểm chứng nhanh (bất kỳ AI kế nào)
cd AINative_OKR_CASAN5
for s in run-casan4-harness adversarial-harness phase1-track-a phase2-track-c \
phase3-evidence-pack phase-h5-approval phase-h5-infra phase-h6-agentops \
phase-c7-incident phase-h4-multilingual phase-c6-sandbox phase-h4-split-inject \
phase10-traceability; do
bash .specify/tests/$s-tests.sh >/dev/null 2>&1 && echo "$s OK" || echo "$s FAIL"; done
# KMS live cần Vault dev; C6 live cần Docker (không có thì SKIP, không fail).
bash .specify/tests/phase-prod-infra-lab-tests.sh # starts/verifies local-prod Docker lab