C++ 初回アドミッションと履歴信頼

C++ AdmissionService は、6 段階の Signed Document 検証者 (MWP-ADM-005) の上に、初回アドミッションと履歴信頼を重ねます。言語に依存しないフローは、ローカルの初回アドミッションおよび履歴信頼のランタイムページであり、正確な要件はローカルアドミッション条項です。

パブリックアダプターと結果

パブリック API	責任
`AdmissionCurrentKeyResolver::resolve_current`	デプロイメントがこの決定に対して最新であると主張する完全な Organization 全体の Registry 証拠を返します。
`TrustedAdmissionContext::issue`	権威ある不存在判定の後にだけ、レコード ID、信頼できる受け入れ時刻、および受け入れサービスを発行します。
`AdmissionLog::lookup`	`AdmissionLookup::found` または `AdmissionLookup::authoritative_absence` を返します。キャッシュミス、タイムアウト、または認証されていない不在により、MWP-ADM-003 に基づいてクローズが失敗します。
`AdmissionLog::append_or_return_existing`	候補バイトをアトミックに追加するか、認証されたサービス ID を通じて同時に権威のある勝者を返します。
`AuthenticatedAdmissionRecord`	MWP-ADM-009 のアダプターによって認証されたサービス ID に、返されたレコードバイトをバインドします。
`AdmissionService::prepare_first_admission`	SDK によって生成された `VerifiedSignedDocument` から候補証拠を作成および検証します。追加したり、承認を暗示したりするものではありません。
`AdmissionService::admit_first`	MWP-ADM-006 に基づいて、現在の証拠を確認し、検索し、不在後の準備をし、既存の追加または返却を行い、返されたレコードを検証します。
`AdmissionService::verify_historical_admission`	過去の Registry 証拠を使用して検証を再実行し、コンテキストを発行したり MWP-ADM-008 に基づいて追加したりせずに既存のレコードを要求します。
`PreparedFirstAdmission`、`AdmittedSignedDocument`	不変の検証を保存し、証拠を記録します。 `record_bytes` は、検証されたレコードバイトのビューを返します。

呼び出し元が提供する信頼ブール値はアドミッション検索結果ではないため、成功パスを選択してはなりません。

初回受付の電話順番

admit_first は、ログにアクセスする前に 6 つの検証段階をすべて完了します。見つかったレコードは検証され、信頼できるコンテキストの発行や追加を行わずに返されます。権威ある不存在判定の後、サービスはコンテキストを発行し、正規の候補バイトを準備し、append_or_return_existing を呼び出し、実際に返されたレコードを検証します。同時勝者は、スキーマ、認証、ドキュメントバインディング、および信頼できる時間が MWP-ADM-009 および MWP-ADM-010 を満たす場合にのみ成功します。

過去のリプレイとエラー

verify_historical_admission は KeyResolver を使用し、6 つのステージすべてを再実行し、見つかったレコードを必要とし、TrustedAdmissionContext::issue または AdmissionLog::append_or_return_existing を呼び出すことはありません。レコード ID が一致すると、同じ権威あるレコードが復元されますが、MWP-ADM-013 および MWP-ADM-014 に基づく Command の鮮度、署名者の認可、ステートマシンの受け入れ、またはポータブルログプルーフ検証は証明されません。

6 段階の障害は SignedDocumentVerificationError のままです。アドミッションステージの障害は、MWP-ADM-012 で要求されているように、ワイヤーコード AUTH_INVALID_SIGNATURE の AdmissionError、ステージ admission、および型指定された AdmissionReason です。デプロイメント・アダプターは AdmissionAdapterError をスローします。一般的な成功や可用性は、認証された証拠ではありません。

実行可能な完全に固定された例

この例では、SDK の検証済み埋め込み ProtocolBundle から署名付き Command および Registry を読み取り、型指定されたメモリ内権限アダプターを提供します。リポジトリファイルは読み取りません。これは、初回受付と履歴再生に対して同一のレコード ID、署名ハッシュ、レコードバイトを 1 回の追加でアサートします。

#include <missionweaveprotocol/admission.hpp>
#include <missionweaveprotocol/bundle.hpp>

#include <cstddef>
#include <cstdint>
#include <iostream>
#include <optional>
#include <ranges>
#include <stdexcept>
#include <string_view>
#include <utility>
#include <vector>

namespace {

constexpr std::string_view service_id = "urn:missionweaveprotocol:service:admission";

class CurrentRegistry final : public missionweaveprotocol::AdmissionCurrentKeyResolver,
                              public missionweaveprotocol::KeyResolver {
public:
  explicit CurrentRegistry(const missionweaveprotocol::AssetBytes registry)
      : registry_(registry.begin(), registry.end()) {}

  [[nodiscard]] missionweaveprotocol::KeyRegistrySnapshot
  resolve_current(const missionweaveprotocol::KeyResolutionRequest&) const override {
    return snapshot();
  }

  [[nodiscard]] missionweaveprotocol::KeyRegistrySnapshot
  resolve(const missionweaveprotocol::KeyResolutionRequest&) const override {
    return snapshot();
  }

private:
  [[nodiscard]] missionweaveprotocol::KeyRegistrySnapshot snapshot() const {
    return missionweaveprotocol::KeyRegistrySnapshot::organization_wide(registry_);
  }

  std::vector<std::uint8_t> registry_;
};

class FixedTrustedContext final : public missionweaveprotocol::TrustedAdmissionContext {
public:
  [[nodiscard]] missionweaveprotocol::AdmissionContextValue issue(std::string_view,
                                                                  std::string_view) const override {
    return {
        .admission_record_id = "urn:missionweaveprotocol:admission-record:website-example",
        .trusted_accepted_at = "2026-07-15T00:05:00Z",
        .accepted_by = {.type = "service", .id = std::string{service_id}},
    };
  }
};

class InMemoryAdmissionLog final : public missionweaveprotocol::AdmissionLog {
public:
  [[nodiscard]] missionweaveprotocol::AdmissionLookup lookup(std::string_view,
                                                             std::string_view) const override {
    return record_ ? missionweaveprotocol::AdmissionLookup::found(*record_)
                   : missionweaveprotocol::AdmissionLookup::authoritative_absence();
  }

  [[nodiscard]] missionweaveprotocol::AuthenticatedAdmissionRecord
  append_or_return_existing(std::string_view, std::string_view,
                            const missionweaveprotocol::AssetBytes candidate_bytes) const override {
    if (record_) {
      return *record_;
    }

    record_.emplace(
        std::vector<std::uint8_t>{candidate_bytes.begin(), candidate_bytes.end()},
        missionweaveprotocol::Principal{.type = "service", .id = std::string{service_id}});
    append_count_ += 1;
    return *record_;
  }

  [[nodiscard]] std::size_t append_count() const noexcept { return append_count_; }

private:
  mutable std::optional<missionweaveprotocol::AuthenticatedAdmissionRecord> record_;
  mutable std::size_t append_count_ = 0;
};

} // namespace

int main() {
  const auto protocol = missionweaveprotocol::ProtocolBundle::verify();
  const auto cryptography = missionweaveprotocol::ProtocolBundle::verify_cryptography();
  const auto admission = missionweaveprotocol::ProtocolBundle::verify_admission();
  if (protocol.schema_files != 22 || cryptography.evaluation_count != 62 ||
      admission.evaluation_count != 30) {
    throw std::runtime_error("embedded bundle identity is inconsistent");
  }

  const auto document = missionweaveprotocol::ProtocolBundle::cryptography(
      "vectors/signed-documents/valid/command.json");
  const auto registry =
      missionweaveprotocol::ProtocolBundle::cryptography("keys/registry-valid.json");
  if (!document || !registry) {
    throw std::runtime_error("packaged Command or Registry is missing");
  }

  const CurrentRegistry current_registry{*registry};
  const InMemoryAdmissionLog admission_log;
  const FixedTrustedContext trusted_context;
  const missionweaveprotocol::AdmissionService service;

  const auto first =
      service.admit_first(missionweaveprotocol::SignedDocumentKind::command, *document,
                          current_registry, admission_log, trusted_context);
  const auto historical =
      service.verify_historical_admission(missionweaveprotocol::SignedDocumentKind::command,
                                          *document, current_registry, admission_log);

  if (first.record().admission_record_id() != historical.record().admission_record_id()) {
    throw std::runtime_error("historical replay returned a different record ID");
  }
  if (first.verified().signing_hash() != historical.verified().signing_hash()) {
    throw std::runtime_error("historical replay returned a different signing hash");
  }
  if (!std::ranges::equal(first.record_bytes(), historical.record_bytes())) {
    throw std::runtime_error("historical replay returned different record bytes");
  }
  if (!(admission_log.append_count() == 1)) {
    throw std::runtime_error("Admission Log did not append exactly once");
  }

  std::cout << "first admission: " << first.record().admission_record_id() << '\n';
  std::cout << "historical replay: " << historical.record().admission_record_id() << '\n';
}

admission.cpp とそれに続く CMakeLists.txt を 1 つの空のコンシューマディレクトリにコピーします。ビルドレシピは実行可能ファイル自体を定義し、正確に固定された SDK チェックアウトを依存関係として追加します。消費者が宣言していないターゲットには依存しません。

cmake_minimum_required(VERSION 3.24)

project(missionweaveprotocol_website_admission LANGUAGES CXX)

if(NOT DEFINED MISSIONWEAVEPROTOCOL_SDK_ROOT)
  message(FATAL_ERROR "Set MISSIONWEAVEPROTOCOL_SDK_ROOT to the exact-pinned C++ SDK checkout")
endif()

set(MISSIONWEAVEPROTOCOL_BUILD_TESTS OFF CACHE BOOL "" FORCE)
set(MISSIONWEAVEPROTOCOL_BUILD_EXAMPLES OFF CACHE BOOL "" FORCE)
add_subdirectory("${MISSIONWEAVEPROTOCOL_SDK_ROOT}"
                 "${CMAKE_BINARY_DIR}/missionweaveprotocol-sdk")

add_executable(missionweaveprotocol_website_admission admission.cpp)
target_link_libraries(missionweaveprotocol_website_admission
                      PRIVATE MissionWeaveProtocol::sdk)
target_compile_features(missionweaveprotocol_website_admission PRIVATE cxx_std_20)

そのコンシューマディレクトリから、次を実行します。

cmake -S . -B build \
  -DMISSIONWEAVEPROTOCOL_SDK_ROOT=/absolute/path/to/exact/cpp-sdk \
  -DOPENSSL_ROOT_DIR=/absolute/path/to/openssl-3
cmake --build build --target missionweaveprotocol_website_admission --parallel 2
./build/missionweaveprotocol_website_admission

予期される出力には、first admission と historical replay の同じレコード ID が含まれています。