lean-ctx-protocol 0.6.0

Open wire contracts for lean-ctx: events, observations, assignments, evidence gaps.
Documentation 
1
2
3
4
5
6
7
8
9

// SPDX-License-Identifier: Apache-2.0
//! The protocol's contract tests as one test binary (target `protocol`): a
//! test is `<old file stem>::<test>`. Add new tests as modules here, not as
//! new tests/*.rs files (`autotests = false`).

mod hive_fixtures;
mod hive_v2_manifest;
mod k2_review_schema;
mod receipts_v2_contract;