Expand description
Items commonly needed by BCX integrators.
Structs§
- Admission
- Admission decision for a prior intent.
- Algorithm
Policy - Closed algorithm admission policy for a verification context.
- Capability
Ref - Reference to a capability object or capability commitment.
- Checkpoint
- Checkpoint statement for committed graph, state, or settlement evidence.
- Checkpoint
Id - Checkpoint identifier for committed state, graph, or settlement checkpoints.
- Contradiction
- Contradiction between two distinct statements.
- Delegation
- Delegation from one subject to another under a capability reference.
- Digest
- Fixed-width digest used for protocol commitments.
- Effect
- Recorded effect for a prior intent.
- EventId
- Globally unique event identifier within a trust domain.
- Exact
Algorithm Policy - Single-algorithm admission policy for high-assurance verification contexts.
- Intent
- Declared intent before execution.
- Native
Binding Id - Native binding identifier for host-system specific anchors.
- Nonce
- Nonce bytes carried by signed invocations and WHY queries.
- Operation
Sequence - Per-issuer operation sequence used for replay detection.
- Policy
Epoch - Reference to a policy epoch.
- Policy
Id - Policy identifier for disclosure, replay, settlement, or admission rules.
- Profile
Id - Profile identifier for a BCX profile or native binding family.
- Proof
Suite Id - Proof-suite identifier for signature or verification policy families.
- Protocol
Version - BCX protocol version negotiated by a transport binding.
- RealmId
- Realm identifier for an authority, namespace, tenant, or trust domain.
- Revocation
- Revocation of a prior statement by an authority.
- Signature
Envelope - Signature metadata over a canonical BCX payload.
- Statement
Id - Statement identifier for BCX causal statements.
- Subject
Id - Subject identifier for the thing a statement describes or affects.
- Wire
Header - Fixed header metadata common to profile-carried BCX messages.
- Wire
Limits - Conservative limits applied before expensive parsing or verification.
- Zeroized
Digest - Digest wrapper that clears its backing bytes when dropped.
Enums§
- Admission
Result - Admission decision produced before execution.
- Assurance
Level - Assurance level for a causal edge or effect claim.
- Cause
Kind - Observable cause class for an operation.
- Disclosure
Level - Disclosure level for a field in an explanation bundle.
- Effect
Result - Execution result recorded after an operation attempt.
- Operation
Action - High-level operation action.
- Proof
Level - Proof strength attached to a root cause or user action.
- Protocol
Profile - Deployment profile for BCX verification strictness.
- Relationship
Kind - Relationship between a BCX event and one of its parents.
- Signature
Algorithm - Signature algorithms named by BCX metadata.
- Statement
Kind - BCX statement body kind.
- Truth
Status - Truth status attached to explanation claims.
- Validation
Error - Validation failures shared by BCX crates.
- Verification
Error - Verification and signature-envelope validation failures.
Traits§
- Verifier
- Signature verification backend boundary.