CharterAgreementProtocol.DescriptorChain (Charter Agreement Protocol v0.2.0)

CAP never authorizes.

Complete in-view descriptor-chain verification and fork evidence.

A fork is returned as a fact. The verifier never chooses one signed sibling as the winner and never claims that its input view is globally complete.

Summary

Types

t()

Functions

verify(compacts, limits)

Verify one complete descriptor view in any input order.

Types

t()

@type t() :: %CharterAgreementProtocol.DescriptorChain{
  descriptors: [CharterAgreementProtocol.DescriptorFacts.t()],
  fork_evidence: nil | CharterAgreementProtocol.ForkEvidence.t(),
  topology: :linear | :forked
}

Functions

verify(compacts, limits)

@spec verify(term(), CharterAgreementProtocol.Limits.t()) ::
  {:ok, t()} | {:error, CharterAgreementProtocol.Error.t()}

Verify one complete descriptor view in any input order.