跳到內容

首次準入與歷史信任

MWP-ADM-001MUSTMUST NOT

First-Admission Record 是 Signed Document Verification Profile 之外的權威追加中繼資料。它 MUST 符合 schemas/first-admission-record.schema.json,並且恰好包含以下九個必填欄位: protocolVersion、admissionRecordId、organizationId、documentKind、 signingHash、keyId、principal、trustedAcceptedAt 和 acceptedBy。 trustedAcceptedAt 是由 Organization 指定的可信接受時刻。該記錄不是 Signed Document,MUST NOT 包含 signature,不能自證其真實性,也 MUST NOT 僅憑自身位元組被接受。

字段約束為:

欄位 約束
protocolVersion v0.1 protocolVersion 常數
admissionRecordId 絕對協議標識符
organizationId 絕對協議標識符
documentKind 之一 agent-card, approval, artifact, command, context-package, event, evidence, extension-profile, 或者 group-snapshot
signingHash sha256: 後面跟著 64 個小寫十六進位數字
keyId 絕對協議標識符
principal 精確的通用 actor 結構
trustedAcceptedAt 符合協定時間戳記設定的 RFC 3339
acceptedBy type: service 的通用 actor 結構
MWP-ADM-002MUST

trustedAcceptedAt 的詞法表示 MUST 原樣保留。與 Signed Document 中兩個受保護的時間戳記不同,它不要求使用大寫 Z;比較時按精確時刻處理。

MWP-ADM-003MUSTMUST NOT

在同一 Organization 的 Admission Log 中,邏輯查找與追加鍵是 (organizationId, signingHash)。日誌 MUST 對接受服務進行身分驗證、把寫入限制在 Organization 授權的服務、維持僅追加完整性、提供能區分「已找到」與「權威確認不存在」的權威查找,並為該邏輯鍵提供單一的原子追加或傳回既有記錄操作。對於不可用、不確定、未驗證、完整性失敗、衝突或提交失敗的結果,系統 MUST 以失敗關閉。呼叫端提供的信任、驗證或完整性布林值 MUST NOT 取代適配器的型別化結果。

MWP-ADM-004MUST NOTMUST

每個邏輯鍵最多只能存在一筆權威記錄。一個 admissionRecordId MUST NOT 識別屬於不同邏輯鍵的記錄。重試時找到有效且相容的記錄屬於冪等成功,該記錄 MUST 在不追加新記錄的情況下傳回。同一邏輯鍵下,如果記錄的文件類型、key ID 或 Principal 不同,便構成衝突;該記錄 MUST NOT 被替換、修復或靜默調和。

MWP-ADM-005MUST

Admission 是六個密碼學階段之後的獨立語意層。其受保護診斷階段為 admission;它不是第七個密碼學階段,也不改變簽名字節、簽章雜湊、key resolution 或簽章結果。每條準入或歷史信任路徑 MUST 先完成全部六個階段,並保留所得的 Organization、文件類型、簽章雜湊、已解析 key ID、綁定的 Principal 與有效 key validity interval。

MWP-ADM-006MUST

對於首次準入,提供給第 4 階段的 Registry 證據 MUST 是目前證據,並且適用於新的準入決定, 如前述要求。完成六階段驗證後,實作 MUST 查找 (organizationId, signingHash)。如果找到記錄,該記錄 MUST 按下文要求驗證。只有「權威確認不存在」才允許實作取得可信接受上下文、準備候選 First-Admission Record,並呼叫 append-or-return-existing。該操作傳回的已驗證記錄——無論是新提交的記錄,還是並行時已存在的記錄——在其本身通過驗證之前,首次準入都不算完成。只驗證候選位元組並不充分。

MWP-ADM-007MUST NOTMAY

候選記錄的準備過程 MUST NOT 追加 Event、執行狀態轉換,或暗示準入已經成功。並行獲勝者傳回的 admissionRecordId 或 trustedAcceptedAt MAY 與失敗方的候選值不同;只有下文每項綁定規則與區間規則都通過時,傳回的記錄才能被接受。

MWP-ADM-008MUSTMUST NOT

歷史重播 MUST 使用權威的歷史 Registry 證據重新執行六個密碼學階段;該證據必須包含受保護簽章時刻所需的完整保留有效期歷史。隨後,歷史重播 MUST 要求存在 First-Admission Record,並驗證該記錄。歷史重播 MUST NOT 簽發新的可信接受上下文、追加缺失記錄,或把該文件視為新的準入。當受保護簽章時刻與 trustedAcceptedAt 都位於所選 key 的有效區間內時,之後發生的到期或撤銷本身不會使已錨定的歷史簽章失效。

MWP-ADM-009MUSTMUST NOT

記錄驗證 MUST 嚴格解析恰好一個 UTF-8 JSON 值,套用規範 Schema,並要求記錄中的 organizationId、documentKind、signingHash、keyId 和 principal 與六階段證據完全相等。記錄的 acceptedBy MUST 與 Admission Log 結果所驗證的服務身分完全相等。對於同一未簽名內容,屬於另一 Organization、文件類型、key ID 或 Principal 的記錄 MUST NOT 被重用。記錄的僅追加完整性和已驗證服務身分,是成功 Admission Log 適配器結果給出的部署斷言;記錄本身不能證明這兩項屬性。

MWP-ADM-010MUST NOT

對於可信接受時刻 t,只有滿足 validFrom <= t,並且 validUntil 不存在或 t < validUntil,同時 revokedAt 不存在或 t < revokedAt 時,準入才有效。這些條件與受保護簽章時刻使用相同的半開邊界,但要在 trustedAcceptedAt 上獨立評估,並採用保留歷史中最早生效的 validUntil 與 revokedAt 邊界。新提交的文件 MUST NOT 僅因簽署者把受保護時刻回填到到期或撤銷之前而被接受。

MWP-ADM-011MUST NOTMAY

對於 Signed Event,該 Event 文件無論透過查找還是 append-or-return-existing,MUST NOT 充當自身的 First-Admission Record;其簽章也 MUST NOT 被視為驗證該記錄或其準入錨。之後的 Signed Event MAY 發布或引用一筆獨立記錄;該簽章只驗證 Event 中的引用。

MWP-ADM-012MUST

完成六階段驗證後,凡在查找、候選準備、可信時間區間驗證、append-or-return-existing、傳回記錄解析、Schema 驗證、綁定、已驗證服務比較或 Event 自錨檢查中發生的失敗,在 wire 上都 MUST 映射為 AUTH_INVALID_SIGNATURE。受保護的稽核診斷 MUST 保留階段 admission 和穩定原因,但不得向不受信任的呼叫端洩露該原因。

MWP-ADM-013MUST

新提交的 Command MUST 另外滿足 Organization 為 issuedAt 定義的有界 freshness 與 clock-skew 視窗。該 freshness 檢查以及適用角色和政策下的簽署者授權,仍與 First-Admission Record 驗證相互獨立。

MWP-ADM-014MUST

密碼學驗證會認證與 key 綁定的 Principal;它不會授予該 Principal 協定權限。在接受狀態轉換之前,相關的 Organization 或 Group Authority MUST 使用在受保護簽章時刻適用的權威政策與狀態來驗證簽署者的角色和授權;首次準入還要考量可信接受時刻。具體而言,acceptedBy MUST 是已獲授權的 Group Authority 或 Organization Event 服務;Agent Card 簽發者 MUST 獲其 Organization 授權;Extension Profile 核准者與 Approval 核准者 MUST 滿足 Organization 政策;Group Snapshot 建立者 MUST 是已獲授權的封存服務。只有全部六個密碼學階段以及適用的首次準入或歷史信任驗證成功後,才執行該授權檢查;失敗碼為 AUTH_FORBIDDEN。