CharterAgreementProtocol.TerminationNotice (Charter Agreement Protocol v0.2.0)

Copy Markdown View Source

CAP never authorizes.

Closed termination-notice codec and evidence verifier.

Verification proves one pinned charter party signed a listed termination reason and pure effective-time coordinate. It does not read a clock or apply legal, receipt, delivery, or governance-effect policy.

Summary

Types

t()

Functions

digest(termination_notice)

Return a termination notice's domain-separated content digest.

verify(compact, supplied_revision, supplied_chain, limits)

Verify one attached termination notice against exact caller-supplied artifacts.

Types

t()

@type t() :: %CharterAgreementProtocol.TerminationNotice{
  charter_id: binary(),
  detail_digest: nil | binary(),
  effective_at: CharterAgreementProtocol.Timestamp.t(),
  envelope: CharterAgreementProtocol.CompactJws.t(),
  governing_revision_digest: binary(),
  issued_at: CharterAgreementProtocol.Timestamp.t(),
  party_descriptor_digest: binary(),
  party_role: binary(),
  protocol_revision: 1 | 2,
  reason_code: binary()
}

Functions

digest(termination_notice)

@spec digest(t()) :: binary()

Return a termination notice's domain-separated content digest.

verify(compact, supplied_revision, supplied_chain, limits)

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

Verify one attached termination notice against exact caller-supplied artifacts.