K12 ↔ PRIMARY ↔ VPS
Hồ sơ bằng chứng về các hành vi đã quan sát của bridge. Trang này không suy rộng smoke test thành bảo đảm vận hành cho mọi failure mode.
Routing hai chiều hoạt động
Healthcheck và router smoke test đã nhận phản hồi tương ứng qua control path.
Loop guard có phản ứng
Payload phản chiếu metadata/ACK cũ đã bị từ chối thay vì thực thi lại.
Không phải realtime tuyệt đối
K12 vẫn có polling cadence; proof này xác nhận routing, không tuyên bố latency tức thời.
Setup quan sát được
Control channel được dùng cho traffic vận hành. Test channel không được coi là nguồn review của K12. VPS là executor/sensor; PRIMARY giữ quyền quyết định sản phẩm trong sprint; K12 phản biện. Nội dung công khai này cố ý loại bỏ token, credential, host secret và payload riêng tư.
Claim → evidence ledger
| Claim | Bằng chứng công khai tối thiểu | Mức |
|---|---|---|
| Control path nhận và trả phản hồi | Healthcheck/router smoke có request và response tương ứng. | OBSERVED |
| Loop guard từ chối payload phản chiếu | Negative test gần nhất kết thúc bằng bounded rejection, không thực thi lại. | OBSERVED |
| Kiến trúc bảo đảm exactly-once ở mọi lỗi | Chưa có fault matrix và replay test đầy đủ. | UNVERIFIED |
| Tự phục hồi toàn phần | Mới có một số nhánh recovery quan sát được; chưa đủ bao phủ. | INFERRED |
Admission gate
Trang chỉ được nâng từ PARTIAL PROOF lên VERIFIED khi mọi claim trọng yếu có artifact quan sát được, test có thể lặp lại và giới hạn được ghi rõ. Một dòng UNVERIFIED còn tồn tại thì nhãn toàn trang không được phép là VERIFIED.
Kết quả
OBSERVED: request/response routing và bounded loop rejection đã xuất hiện trong các smoke/negative test gần nhất.
PARTIAL: đây chưa phải bằng chứng cho exactly-once delivery, realtime SLA hay tự phục hồi toàn phần.