org.sigilaris.node.jvm.runtime.consensus.hotstuff

Compatibility provider that accepts all proposal vote requests.

Attributes

Source: ApplicationProposalValidation.scala
Supertypes: trait HotStuffProposalValidationProvider[F]

class Object

trait Matchable

class Any

Registration for an embedder-owned application topic sharing the HotStuff peer gossip session.

Attributes

Source: HotStuffApplicationGossip.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Retention and catch-up policy hints for an embedder-owned application gossip topic.

The source remains responsible for retaining artifacts and serving them by stable ID. This policy records the contract Sigilaris should expose at the HotStuff peer-gossip boundary.

Attributes

Companion: object
Source: HotStuffApplicationGossip.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for ApplicationGossipTopicPolicy.

Attributes

Companion: class
Source: HotStuffApplicationGossip.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: ApplicationGossipTopicPolicy.type

Provides an application-neutral view over proposals, where the block body is derived entirely from the carried transaction set without application-specific logic.

Attributes

Source: ApplicationNeutralProposalView.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ApplicationNeutralProposalView.type

Reasons a block record can be rejected during conflict-free scheduling.

Attributes

Source: BlockScheduling.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Diagnostics for a single chain's bootstrap progress.

Attributes

Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Coordinates the full bootstrap process: discovery, snapshot sync, and forward catch-up.

Attributes

Companion: object
Source: BootstrapCoordinator.scala
Supertypes: trait BootstrapDiagnosticsSource[F]

class Object

trait Matchable

class Any

Companion for BootstrapCoordinator.

Attributes

Companion: trait
Source: BootstrapCoordinator.scala
Supertypes: class Object

trait Matchable

class Any
Self type: BootstrapCoordinator.type

Represents a failure during bootstrap coordination.

Value parameters

detail: optional human-readable detail
reason: a short identifier for the failure

Attributes

Companion: object
Source: BootstrapCoordinator.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for BootstrapCoordinatorFailure.

Attributes

Companion: class
Source: BootstrapCoordinator.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: BootstrapCoordinatorFailure.type

The successful result of a full bootstrap coordination run.

Attributes

Source: BootstrapCoordinator.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Aggregate diagnostics for the entire bootstrap process across all chains.

Attributes

Companion: object
Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for BootstrapDiagnostics.

Attributes

Companion: class
Source: Bootstrap.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: BootstrapDiagnostics.type

Provides access to the current bootstrap diagnostics.

Attributes

Companion: object
Source: Bootstrap.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: trait BootstrapCoordinator[F]

trait HotStuffBootstrapLifecycle[F]

Companion for BootstrapDiagnosticsSource.

Attributes

Companion: trait
Source: Bootstrap.scala
Supertypes: class Object

trait Matchable

class Any
Self type: BootstrapDiagnosticsSource.type

The current phase of the bootstrap process.

Attributes

Source: Bootstrap.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Controls retry timing for bootstrap coordination attempts.

Value parameters

baseDelay: the base delay between retries
maxDelay: the maximum delay cap

Attributes

Companion: object
Source: BootstrapCoordinator.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for BootstrapRetryPolicy.

Attributes

Companion: class
Source: BootstrapCoordinator.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: BootstrapRetryPolicy.type

Binds a bootstrap session to a peer identity for authenticated communication.

Value parameters

authenticatedPeer: the authenticated peer identity
peer: the target peer identity
sessionId: the directional session identifier

Attributes

Companion: object
Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for BootstrapSessionBinding.

Attributes

Companion: class
Source: Bootstrap.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: BootstrapSessionBinding.type

The trust root used to bootstrap a node into the consensus protocol.

Attributes

Companion: object
Source: Bootstrap.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class StaticValidatorSet

class TrustedCheckpoint

class WeakSubjectivityAnchor

Companion for BootstrapTrustRoot, providing factory methods for different trust root kinds.

Attributes

Companion: trait
Source: Bootstrap.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: BootstrapTrustRoot.type

Indicates whether a validator node is ready to vote on proposals.

Attributes

Source: Bootstrap.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Records the local first observation timestamps for a certified block.

Attributes

Companion: object
Source: Finalization.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for CertifiedBlockObservation.

Attributes

Companion: class
Source: Finalization.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: CertifiedBlockObservation.type

The result of selecting a conflict-free subset of block records for inclusion in a block body.

Type parameters

Event: the event type
ResultRef: the result reference type
TxRef: the transaction reference type

Value parameters

accepted: records accepted into the block body
aggregate: the accumulated scheduling footprint
rejected: records rejected due to conflicts or compatibility

Attributes

Source: BlockScheduling.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Selects a conflict-free subset of candidate block records for block body inclusion.

Attributes

Source: BlockScheduling.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ConflictFreeBlockBodySelector.type

Key for detecting equivocation (double-voting) by a validator in a specific window.

Attributes

Companion: object
Source: Policy.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for EquivocationKey.

Attributes

Companion: class
Source: Policy.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: EquivocationKey.type

A snapshot of finalization tracking state, including the best finalized and any safety faults.

Attributes

Companion: object
Source: Finalization.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for FinalizationTrackerSnapshot.

Attributes

Companion: class
Source: Finalization.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: FinalizationTrackerSnapshot.type

Records the local first observation timestamps for a finalized anchor.

Attributes

Companion: object
Source: Finalization.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for FinalizedAnchorObservation.

Attributes

Companion: class
Source: Finalization.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: FinalizedAnchorObservation.type

Records a safety fault where conflicting blocks were finalized at the same height.

Attributes

Companion: object
Source: Finalization.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for FinalizedAnchorSafetyFault.

Attributes

Companion: class
Source: Finalization.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: FinalizedAnchorSafetyFault.type

A suggestion for a finalized anchor, consisting of a proposal and its three-chain proof.

Value parameters

finalizedProof: the child and grandchild proposals proving finality
proposal: the anchor proposal that has been finalized

Attributes

Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Service for querying the best finalized anchor suggestion from peers.

Attributes

Source: Bootstrap.scala
Supertypes: class Object

trait Matchable

class Any

Represents a failure when verifying a finalized anchor suggestion.

Attributes

Companion: object
Source: Finalization.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for FinalizedAnchorVerificationFailure.

Attributes

Companion: class
Source: Finalization.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: FinalizedAnchorVerificationFailure.type

A proof of finalization consisting of a child and grandchild proposal that extend an anchor.

Value parameters

child: the child proposal in the finalization chain
grandchild: the grandchild proposal completing the three-chain proof

Attributes

Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

A finalized proposal and its application-neutral tx ids.

Attributes

Source: Finalization.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

The newly finalized proposal range for a finalization advancement.

Attributes

Source: Finalization.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Captures the materialized state of a forward catch-up for persistence or replay.

Attributes

Source: Materialization.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

The result of a forward catch-up operation, tracking applied and queued proposals.

Attributes

Source: BootstrapCoordinator.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Stores forward catch-up materializations keyed by chain ID.

Attributes

Companion: object
Source: Materialization.scala
Supertypes: class Object

trait Matchable

class Any

Companion for ForwardCatchUpStore.

Attributes

Companion: trait
Source: Materialization.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ForwardCatchUpStore.type

An entry in the historical proposal archive.

Value parameters

proposal: the archived proposal
source: the source that produced this entry
storedAt: the time this entry was stored

Attributes

Source: Materialization.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

The source that produced a historical archive entry.

Attributes

Source: Materialization.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Configuration for historical backfill behavior.

Value parameters

archiveSource: the archive source label for stored proposals
batchSize: number of proposals to fetch per batch
enabled: whether historical backfill is enabled
interBatchDelay: delay between consecutive batches
priority: the backfill priority level

Attributes

Companion: object
Source: HistoricalBackfillWorker.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HistoricalBackfillPolicy.

Attributes

Companion: class
Source: HistoricalBackfillWorker.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HistoricalBackfillPolicy.type

Priority level for historical backfill operations.

Attributes

Source: Bootstrap.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Tracks the progress of a historical backfill operation.

Value parameters

anchor: the snapshot anchor being backfilled from
fetchedProposalCount: total number of proposals fetched so far
lastUpdatedAt: the time of the last progress update
nextBeforeBlockId: the next block ID to fetch before
nextBeforeHeight: the next height to fetch before

Attributes

Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Service for fetching historical proposals before a given block for backfill.

Attributes

Source: Bootstrap.scala
Supertypes: class Object

trait Matchable

class Any

The lifecycle status of a historical backfill operation.

Attributes

Source: Bootstrap.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

A worker that fetches historical proposals before a snapshot anchor, walking backward to genesis.

Attributes

Companion: object
Source: HistoricalBackfillWorker.scala
Supertypes: class Object

trait Matchable

class Any

Companion for HistoricalBackfillWorker.

Attributes

Companion: trait
Source: HistoricalBackfillWorker.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HistoricalBackfillWorker.type

Persistent archive for historical proposals, supporting list, put, remove, and deduplication.

Attributes

Companion: object
Source: Materialization.scala
Supertypes: class Object

trait Matchable

class Any

Companion for HistoricalProposalArchive, providing in-memory and SwayDB-backed implementations.

Attributes

Companion: trait
Source: Materialization.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HistoricalProposalArchive.type

Attributes

Source: ApplicationProposalAssembly.scala
Supertypes: class Object

trait Matchable

class Any

Attributes

Source: ApplicationProposalAssembly.scala
Supertypes: class Object

trait Matchable

class Any

Closed ordinary-runtime signing adapter. V2 never falls back to direct signing when source, preimage, exact readiness or durable storage fails.

Attributes

Companion: object
Source: ApplicationVoting.scala
Supertypes: class Object

trait Matchable

class Any

Attributes

Companion: class
Source: ApplicationVoting.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffApplicationVoting.type

Attributes

Source: ApplicationVoting.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: ApplicationVoting.scala
Supertypes: class Object

trait Matchable

class Any

Publishes HotStuff gossip artifacts to the local gossip source.

Attributes

Source: InMemoryHotStuffGossipBridge.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class InMemoryHotStuffArtifactSource[F]

Retention policy for the in-memory HotStuff artifact sink.

retainedRejectedEventSamples is reserved for a bounded rejected-body sample if one is added later. The current sink records rejection counters only.

Attributes

Companion: object
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffArtifactSinkRetention.type

Attributes

Companion: object
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffArtifactSourceRetention.type

Validates block bodies for conflict-free scheduling compliance.

Attributes

Source: BlockScheduling.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffBlockBodyVerifier.type

Configuration for bootstrapping a HotStuff consensus node.

Value parameters

bootstrapTrustRootOverride: optional override for the bootstrap trust root
gossipPolicy: the gossip topic policies
historicalSyncEnabled: whether historical backfill is enabled
historicalValidatorSets: previously active validator sets for cross-epoch verification
holders: the validator key holder bindings
localKeys: locally available signing keys by validator ID
role: the local node's role (validator or audit)
sinkRetention: the in-memory sink retention policy
validatorSet: the current active validator set

Attributes

Companion: object
Source: HotStuffBootstrapConfig.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffBootstrapConfig, providing configuration loading from Typesafe Config.

Attributes

Companion: class
Source: HotStuffBootstrapConfig.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffBootstrapConfig.type

Manages the full lifecycle of HotStuff bootstrap, including stores, coordinator creation, and shutdown.

Attributes

Companion: object
Source: HotStuffBootstrapLifecycle.scala
Supertypes: trait BootstrapDiagnosticsSource[F]

class Object

trait Matchable

class Any

Companion for HotStuffBootstrapLifecycle, providing in-memory construction.

Attributes

Companion: trait
Source: HotStuffBootstrapLifecycle.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffBootstrapLifecycle.type

Aggregates all services required for HotStuff consensus bootstrap.

Attributes

Companion: object
Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffBootstrapServices.

Attributes

Companion: class
Source: Bootstrap.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffBootstrapServices.type

Factory for constructing bootstrap services backed by in-memory artifact sinks.

Attributes

Source: Finalization.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffBootstrapServicesRuntime.type

Transport-layer bootstrap services, optionally overriding catch-up readiness.

Attributes

Companion: object
Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffBootstrapTransportServices.

Attributes

Companion: class
Source: Bootstrap.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffBootstrapTransportServices.type

Canonical encoding and hashing operations for HotStuff consensus artifacts.

Attributes

Source: Artifacts.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffCanonicalEncoding.type

Deployment target parameters for block production timing.

Attributes

Companion: object
Source: Policy.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffDeploymentTarget.

Attributes

Companion: class
Source: Policy.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffDeploymentTarget.type

Diagnostic classification for the dominant local latency bucket between a certified anchor and its finalization observation.

Attributes

Source: Finalization.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Local descendant-finality latency segments for a certified tx-bearing anchor. The segments are intentionally local-observation measurements, not a cross-node SLA clock.

Attributes

Source: Finalization.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

The source adapter resolves actual retained exact candidates and producer locations. The dispatcher still checks its returned proposal against the proposal being voted on, and executes every registered pipeline separately.

Attributes

Source: ApplicationVoting.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Output of the configured deterministic application executor. This is uncommitted working state; no field means canonical application/finality. The full source/input/instrumentation closure is verified again before an ordinary vote through ApplicationRequestVerifier and durable voting.

Attributes

Source: ApplicationProposalAssembly.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Source: ApplicationProposalAssembly.scala
Supertypes: class Object

trait Matchable

class Any

Complete canonical plan bytes are immutable and forced before publication. Backfill bytes have no authority until the selected V2 codec and root match.

Attributes

Companion: trait
Source: ApplicationProposalAssembly.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffExecutionPlanPreimages.type

Certified tx-bearing anchor selected for bounded descendant finality drive.

Attributes

Source: FinalityDrive.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Runtime-owned bounded descendant drive policy.

The policy is liveness-only. It never changes vote safety, QC acceptance, finalization rules, or branch validation.

Attributes

Companion: object
Source: FinalityDrive.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffFinalityDrivePolicy.

Attributes

Companion: class
Source: FinalityDrive.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffFinalityDrivePolicy.type

Tracks finalization by detecting three-chain commit proofs from observed proposals.

Attributes

Source: Finalization.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffFinalizationTracker.type

Verifies finalized anchor suggestions against the validator set and selects the highest verified.

Attributes

Source: Finalization.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffFinalizedAnchorVerifier.type

Plans forward catch-up by applying replayed and live proposals in chain order.

Attributes

Source: BootstrapCoordinator.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffForwardCatchUp.type

Attributes

Companion: object
Source: HotStuffGossipBridge.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffGossipArtifact, providing topic/ID resolution and encoding.

Attributes

Companion: enum
Source: HotStuffGossipBridge.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffGossipArtifact.type

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Projection-local JSON codecs for diagnostics snapshots.

Import these givens only at projected-diagnostics encode/decode call sites. The local BigNat and String codecs intentionally differ from the core codecs, and the local Vector decoder adds a diagnostics-specific entry cap. These can conflict if imported into a scope that also summons the default core JSON codecs. The value-type codecs for ChainId, GossipTopic, and ValidatorSetHash are likewise intended only for this projected diagnostics surface.

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffGossipDiagnosticsJsonCodecs.type

Attributes

Source: HotStuffGossipDiagnosticsProjection.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffGossipDiagnosticsProjection.type

Attributes

Companion: object
Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffGossipDiagnosticsProjectionMetrics.type

Attributes

Companion: object
Source: HotStuffGossipDiagnosticsProjection.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: HotStuffGossipDiagnosticsProjection.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffGossipDiagnosticsProjectionPolicy.type

Projection result.

warnings is the authoritative warning stream for callers because snapshot is absent when parent assembly fails. When a snapshot is present, snapshot.warnings mirrors this vector for self-contained status payloads.

Attributes

Source: HotStuffGossipDiagnosticsProjection.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

final case class HotStuffGossipDiagnosticsSnapshot(source: Option[HotStuffGossipSourceDiagnosticsSnapshot], sink: Option[HotStuffGossipSinkDiagnosticsSnapshot], warnings: Vector[HotStuffGossipDiagnosticsProjectionWarning], metrics: HotStuffGossipDiagnosticsProjectionMetrics, projectionDroppedEntries: Vector[HotStuffGossipProjectionDroppedEntry], projectionDroppedEntryOverflowGroups: BigNat, projectionDroppedEntryOverflowCount: BigNat, emergencySuppressed: Boolean, emergencySuppressionReason: Option[String])

Attributes

Companion: object
Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffGossipDiagnosticsSnapshot.type

Attributes

Companion: object
Source: HotStuffProjectedGossipDiagnostics.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: HotStuffProjectedGossipDiagnostics.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffGossipDiagnosticsWarningKey.type

Aggregated gossip policies for all HotStuff artifact types.

Attributes

Companion: object
Source: HotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffGossipPolicy.

Attributes

Companion: class
Source: HotStuffGossipBridge.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffGossipPolicy.type

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

final case class HotStuffGossipSinkDiagnosticsSnapshot(policyMode: String, retentionPolicy: HotStuffSinkRetentionPolicySnapshot, retainedCounts: HotStuffSinkRetentionCountsSnapshot, prunedCounts: HotStuffSinkRetentionCountsSnapshot, retentionWatermarks: HotStuffSinkRetentionWatermarksSnapshot, relayedValidatedArtifactsByTopic: Vector[HotStuffGossipTopicCountSnapshot], duplicateArtifactsSuppressedByTopic: Vector[HotStuffGossipTopicCountSnapshot], rejectedArtifactsByTopicAndReason: Vector[HotStuffGossipTopicReasonCountSnapshot])

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

final case class HotStuffGossipSourceDiagnosticsSnapshot(retainedEventsLimitPerTopic: BigNat, retainedEventsByTopic: Vector[HotStuffGossipChainTopicCountSnapshot], appendedEventsByTopic: Vector[HotStuffGossipChainTopicCountSnapshot], prunedEventsByTopic: Vector[HotStuffGossipChainTopicCountSnapshot], readByIdMissesByTopic: Vector[HotStuffGossipChainTopicCountSnapshot], invalidCursorRejectionsByTopic: Vector[HotStuffGossipChainTopicCountSnapshot], staleCursorRejectionsByTopic: Vector[HotStuffGossipChainTopicCountSnapshot])

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffHeight.

Attributes

Source: Policy.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffHeight.type

Historical provenance is explicit even when old header bytes coincide. Selection comes from authenticated configuration/activation history, never from a remotely supplied version flag.

Attributes

Source: ApplicationProposalAssembly.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

In-memory diagnostics handles for the gossip artifact source and sink.

Attributes

Source: HotStuffNodeRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Historical payload verification belongs to its authenticated artifact profile. A V1 integer alone cannot select the M1 versus M2 semantics.

Attributes

Companion: object
Source: ApplicationVoting.scala
Supertypes: class Object

trait Matchable

class Any

Attributes

Companion: trait
Source: ApplicationVoting.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffLegacyApplicationAuthentication.type

Attributes

Source: MaintenanceFinalityDrive.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: MaintenanceFinalityDrive.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: MaintenanceFinalityDrive.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Source: MaintenanceFinalityDrive.scala
Supertypes: class Object

trait Matchable

class Any

The budget controls local work only. Exhaustion keeps the target and every safety claim intact; a genuine finalized tracker advance can still complete it. No transaction-bearing ancestor is required to request another round.

Attributes

Companion: trait
Source: MaintenanceFinalityDrive.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffMaintenanceProgress.type

Reads operator/drain targets and the actual trusted local finalization tracker. Remote heights, proposal heights, and clock estimates must never be substituted for that tracker. A restart derives the target from the retained drain command and reads finalized proof state before enabling the provider.

Attributes

Source: MaintenanceFinalityDrive.scala
Supertypes: class Object

trait Matchable

class Any

A local liveness request, never a vote, finality, expiry, or release proof. The drain coordinator selects an inclusive finalized target strictly above every applicable signed deadline/legacy horizon before publishing this id.

Attributes

Source: MaintenanceFinalityDrive.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

final case class HotStuffNodeRuntime[F[_]](bootstrapInput: HotStuffRuntimeBootstrapInput, services: HotStuffRuntimeServices[F], diagnostics: Option[HotStuffInMemoryRuntimeDiagnostics[F]], bootstrapLifecycle: Option[HotStuffBootstrapLifecycle[F]], pacemakerSnapshot: Option[F[HotStuffPacemakerRuntimeSnapshot]], pacemakerWakeUp: Option[F[Unit]], proposalValidationConfig: HotStuffProposalValidationRuntimeConfig[F], txUniquenessConfig: HotStuffProposalTxUniquenessRuntimeConfig, pacemakerPolicy: HotStuffPacemakerPolicy, finalityDrivePolicy: HotStuffFinalityDrivePolicy, proposalDependencyConfig: HotStuffProposalApplicationDependencyRuntimeConfig[F])(using evidence$1: Sync[F])

The assembled HotStuff consensus node runtime, providing artifact emission, bootstrap, and diagnostics.

Attributes

Companion: object
Source: HotStuffNodeRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffNodeRuntime, providing validation and factory methods.

Attributes

Companion: class
Source: HotStuffNodeRuntime.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffNodeRuntime.type

Core pacemaker utilities for deterministic leader election and window advancement.

Attributes

Source: Pacemaker.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffPacemaker.type

Canonical encoding and hashing operations for pacemaker artifacts (timeout votes and new views).

Attributes

Source: Pacemaker.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffPacemakerCanonicalEncoding.type

Commands emitted by the pacemaker runtime to be executed by the integration driver.

Attributes

Source: PacemakerRuntime.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Diagnostic events emitted by the pacemaker for monitoring and alerting.

Attributes

Companion: object
Source: PacemakerRuntime.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffPacemakerDiagnostic.

Attributes

Companion: enum
Source: PacemakerRuntime.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffPacemakerDiagnostic.type

A snapshot of a single pacemaker entry's state for diagnostics.

Attributes

Source: PacemakerIntegrationRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Identifies a pacemaker entry by chain and local validator.

Attributes

Source: PacemakerIntegrationRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Configuration for pacemaker timeout behavior.

Value parameters

baseTimeout: the base timeout duration for a view
elevatedTimeoutAlertThreshold: consecutive timeouts before alerting
jitterStep: the per-slot jitter step duration
maxBackoffExponent: the maximum exponential backoff exponent
maxJitterSlots: the maximum number of jitter slots

Attributes

Companion: object
Source: PacemakerRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffPacemakerPolicy.

Attributes

Companion: class
Source: PacemakerRuntime.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffPacemakerPolicy.type

Describes the local validator's eligibility to propose in the current window.

Attributes

Source: PacemakerRuntime.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Pure pacemaker runtime that drives state transitions for a single local validator.

Attributes

Companion: object
Source: PacemakerRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffPacemakerRuntime.

Attributes

Companion: class
Source: PacemakerRuntime.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffPacemakerRuntime.type

A snapshot of all pacemaker entries for diagnostics and testing.

Attributes

Companion: object
Source: PacemakerIntegrationRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffPacemakerRuntimeSnapshot.

Attributes

Companion: class
Source: PacemakerIntegrationRuntime.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffPacemakerRuntimeSnapshot.type

The mutable state of a pacemaker entry, tracking the active window, timeout, and local vote state.

Attributes

Source: PacemakerRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

The result of a pacemaker state transition, including new state, commands, and diagnostics.

Attributes

Source: PacemakerRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

The outcome of a pacemaker state transition step.

Attributes

Source: PacemakerRuntime.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Peer-gossip artifact envelope used when HotStuff consensus artifacts and embedder application artifacts share the same session.

Attributes

Companion: object
Source: HotStuffApplicationGossip.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Composite artifact helpers for HotStuff peer gossip.

Attributes

Companion: enum
Source: HotStuffApplicationGossip.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffPeerArtifact.type

Central policy constants and utility functions for the HotStuff consensus protocol.

Attributes

Source: Policy.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffPolicy.type

Represents a policy violation during HotStuff consensus operations.

Attributes

Companion: object
Source: Policy.scala
Supertypes: trait Serializable

trait Product

trait Equals

trait StructuredFailureDiagnostic

class Object

trait Matchable

class Any
Show all

Companion for HotStuffPolicyViolation.

Attributes

Companion: class
Source: Policy.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffPolicyViolation.type

Attributes

Companion: object
Source: HotStuffProjectedGossipDiagnostics.scala
Supertypes: class Object

trait Matchable

class Any

Attributes

Companion: class
Source: HotStuffProjectedGossipDiagnostics.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProjectedGossipDiagnostics.type

Attributes

Companion: object
Source: HotStuffProjectedGossipDiagnostics.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: HotStuffProjectedGossipDiagnostics.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProjectedGossipDiagnosticsPolicies.type

Attributes

Source: HotStuffProjectedGossipDiagnostics.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Source: ApplicationProposalAssembly.scala
Supertypes: class Object

trait Matchable

class Any

The ordinary runtime owns header/plan/body construction. Applications supply their deterministic executor and authenticated historical lookup adapters.

Attributes

Companion: trait
Source: ApplicationProposalAssembly.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalApplicationAssembly.type

Application artifact dependency for a HotStuff proposal tx id.

Attributes

Companion: object
Source: ProposalApplicationDependency.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion helpers for proposal application dependencies.

Attributes

Companion: class
Source: ProposalApplicationDependency.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalApplicationDependency.type

Non-throwing dependency resolution outcome.

Attributes

Source: ProposalApplicationDependency.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Which runtime path is resolving dependencies.

Attributes

Source: ProposalApplicationDependency.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Resolver supplied by embedders to map proposal tx ids to application artifacts.

Attributes

Companion: object
Source: ProposalApplicationDependency.scala
Supertypes: class Object

trait Matchable

class Any

Default empty resolver implementation.

Attributes

Companion: trait
Source: ProposalApplicationDependency.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalApplicationDependencyResolver.type

Runtime wiring for proposal application dependency resolution.

Attributes

Companion: object
Source: ProposalApplicationDependency.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for proposal dependency runtime wiring.

Attributes

Companion: class
Source: ProposalApplicationDependency.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalApplicationDependencyRuntimeConfig.type

Receiver-side proposal dependency backfill hook.

Implementations prepare bounded RequestByIdExact control batches and diagnostics. Embedders can deliver the returned batches to the source peer without blocking the current vote-validation attempt on network I/O.

Attributes

Companion: object
Source: ProposalDependencyBackfill.scala
Supertypes: class Object

trait Matchable

class Any

Companion for receiver-side proposal dependency backfill wiring.

Attributes

Companion: trait
Source: ProposalDependencyBackfill.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalDependencyBackfill.type

Structured receiver-side backfill diagnostic.

Attributes

Source: ProposalDependencyBackfill.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Structured receiver-side backfill diagnostic reason.

Attributes

Source: ProposalDependencyBackfill.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Result of filtering dependencies for the generic receiver backfill path.

Attributes

Source: ProposalApplicationDependency.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Policy for receiver-side proposal dependency backfill.

Attributes

Companion: object
Source: ProposalDependencyBackfill.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion defaults for receiver-side proposal dependency backfill.

Attributes

Companion: class
Source: ProposalDependencyBackfill.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalDependencyBackfillPolicy.type

Result of preparing receiver-side proposal dependency backfill requests.

Attributes

Source: ProposalDependencyBackfill.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Whether a dependency is required before a validator can vote.

Attributes

Source: ProposalApplicationDependency.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

How a receiver may recover a missing dependency.

Attributes

Source: ProposalApplicationDependency.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Relationship between a proposal tx id and an application artifact.

Attributes

Source: ProposalApplicationDependency.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

The result of successfully emitting a proposal, including the conflict-free selection and block view.

Attributes

Source: RuntimeScheduling.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Application-neutral proposal input that Sigilaris can sign as a HotStuff proposal.

Attributes

Companion: object
Source: ProposalInput.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Preserves the historical six-argument V1 construction contract.

Attributes

Companion: class
Source: ProposalInput.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalInput.type

Local bounds supplied to an application proposal input provider.

Attributes

Companion: object
Source: ProposalInput.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffProposalInputBounds.

Attributes

Companion: class
Source: ProposalInput.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalInputBounds.type

A certified proposal on the candidate parent branch.

Attributes

Source: ProposalInput.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Candidate parent-branch context for dependency-aware proposal input.

Attributes

Companion: object
Source: ProposalInput.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffProposalInputBranchContext.

Attributes

Companion: class
Source: ProposalInput.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalInputBranchContext.type

A local decision made from a provider result and fallback policy.

Attributes

Companion: object
Source: ProposalInput.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffProposalInputDecision.

Attributes

Companion: enum
Source: ProposalInput.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalInputDecision.type

Stable reason codes for dependency-aware proposal input providers.

Attributes

Source: ProposalInput.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalInputDependencyReason.type

Proposal input diagnostics intentionally exclude application payload bodies.

Attributes

Source: PacemakerRuntime.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Explicit policy for preserving or forbidding legacy empty proposals.

Attributes

Source: ProposalInput.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Provider-visible finality-drive hint for a proposal input request.

Attributes

Source: FinalityDrive.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Derived finalization progress for the candidate parent branch.

Attributes

Companion: object
Source: ProposalInput.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffProposalInputFinalizationProgress.

Attributes

Companion: class
Source: ProposalInput.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalInputFinalizationProgress.type

Application-owned source of HotStuff proposal input.

Attributes

Source: ProposalInput.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class LegacyEmptyHotStuffProposalInputProvider[F]

Taxonomy for application proposal input lookup results.

Attributes

Companion: object
Source: ProposalInput.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffProposalInputProviderResult.

Attributes

Companion: enum
Source: ProposalInput.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalInputProviderResult.type

Application-neutral request for the next leader proposal body.

Attributes

Source: ProposalInput.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Runtime wiring for autonomous proposal input.

Attributes

Companion: object
Source: ProposalInput.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffProposalInputRuntimeConfig.

Attributes

Companion: class
Source: ProposalInput.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalInputRuntimeConfig.type

Validation helpers for provider-supplied proposal input.

Attributes

Source: ProposalInput.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalInputValidator.type

Actual retained or backfilled parent proposal. Its signatures and the request's actual parent QC are checked by the default assembler below.

Attributes

Source: ApplicationProposalAssembly.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Source: ApplicationProposalAssembly.scala
Supertypes: class Object

trait Matchable

class Any

Attributes

Companion: trait
Source: ApplicationProposalAssembly.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalParentRepository.type

HotStuff proposal dependency sidecar planner for the composite consensus-plus-application peer artifact stream.

Attributes

Source: ProposalSidecar.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalSidecarPlanner.type

Producer-side policy for proposal dependency sidecar scheduling.

Attributes

Companion: object
Source: ProposalSidecar.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion defaults for proposal dependency sidecar scheduling.

Attributes

Companion: class
Source: ProposalSidecar.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalSidecarPolicy.type

Canonical ancestor tx-id exclusion view for proposal input.

Attributes

Companion: object
Source: ProposalTxUniqueness.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: ProposalTxUniqueness.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalTxExclusion.type

Utilities for synchronizing transaction payloads referenced by consensus proposals.

Attributes

Source: ProposalTxSync.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalTxSync.type

Builds and checks branch-local unfinalized ancestor tx exclusions.

Attributes

Source: ProposalTxUniqueness.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalTxUniqueness.type

Bounds applied while walking unfinalized ancestors.

Attributes

Companion: object
Source: ProposalTxUniqueness.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: ProposalTxUniqueness.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalTxUniquenessBounds.type

Bounded cache for successful ancestor exclusion computations.

Attributes

Companion: object
Source: ProposalTxUniqueness.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: ProposalTxUniqueness.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalTxUniquenessCache.type

Cache key for a branch-local exclusion set.

Attributes

Companion: object
Source: ProposalTxUniqueness.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: ProposalTxUniqueness.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalTxUniquenessCacheKey.type

Metadata safe to surface through diagnostics.

Attributes

Companion: object
Source: ProposalTxUniqueness.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: ProposalTxUniqueness.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalTxUniquenessMetadata.type

Runtime policy for HotStuff proposal tx uniqueness.

Attributes

Source: ProposalTxUniqueness.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Result of checking a proposal against unfinalized ancestor tx ids.

Attributes

Companion: object
Source: ProposalTxUniqueness.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: enum
Source: ProposalTxUniqueness.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalTxUniquenessResult.type

Runtime configuration for proposal tx uniqueness.

Attributes

Companion: object
Source: ProposalTxUniqueness.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: ProposalTxUniqueness.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalTxUniquenessRuntimeConfig.type

Parent-branch context helpers for received proposal validation.

Attributes

Source: ApplicationProposalValidation.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalValidationBranchContext.type

Runtime decision made from provider output and missing-provider policy.

Attributes

Companion: object
Source: ApplicationProposalValidation.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffProposalValidationDecision.

Attributes

Companion: enum
Source: ApplicationProposalValidation.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalValidationDecision.type

Stable reason codes for dependency-aware proposal validation providers.

Attributes

Source: ApplicationProposalValidation.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalValidationDependencyReason.type

Explicit policy for handling a missing proposal validation provider.

Attributes

Source: ApplicationProposalValidation.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Diagnostic-level outcome for proposal validation decisions.

Attributes

Source: ApplicationProposalValidation.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Application-owned proposal validation hook for received proposal vote paths.

Attributes

Source: ApplicationProposalValidation.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class AllowAllHotStuffProposalValidationProvider[F]

Taxonomy for application proposal validation provider results.

Attributes

Companion: object
Source: ApplicationProposalValidation.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffProposalValidationProviderResult.

Attributes

Companion: enum
Source: ApplicationProposalValidation.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalValidationProviderResult.type

Application-neutral request for validating a received proposal before a local vote is signed.

Attributes

Source: ApplicationProposalValidation.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Runtime wiring for application proposal validation.

Attributes

Companion: object
Source: ApplicationProposalValidation.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffProposalValidationRuntimeConfig.

Attributes

Companion: class
Source: ApplicationProposalValidation.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffProposalValidationRuntimeConfig.type

Validates that a proposal's block view is consistent with the proposal and scheduling rules.

Attributes

Source: BlockScheduling.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffProposalViewValidator.type

Controls whether validated artifacts are relayed to the gossip source for re-broadcast.

Attributes

Companion: object
Source: Policy.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffRelayPolicy.

Attributes

Companion: class
Source: Policy.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffRelayPolicy.type

Policy limits for gossip request batching in the HotStuff protocol.

Attributes

Companion: object
Source: Policy.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffRequestPolicy.

Attributes

Companion: class
Source: Policy.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffRequestPolicy.type

The assembled runtime bootstrap containing peer topology, authentication, consensus, and gossip runtime.

Attributes

Companion: object
Source: HotStuffRuntimeBootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffRuntimeBootstrap, providing full bootstrap from config or topology.

Attributes

Companion: class
Source: HotStuffRuntimeBootstrap.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffRuntimeBootstrap.type

Attributes

Source: HotStuffNodeRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

The assembled HotStuff runtime bootstrap whose peer gossip runtime also carries embedder-owned application artifacts.

Attributes

Source: HotStuffRuntimeBootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

A rejection from the HotStuff runtime, wrapping either a policy or validation failure.

Attributes

Companion: object
Source: RuntimeScheduling.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffRuntimeRejection.

Attributes

Companion: enum
Source: RuntimeScheduling.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffRuntimeRejection.type

Runtime scheduling utilities for validating proposal views against block queries.

Attributes

Source: RuntimeScheduling.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffRuntimeScheduling.type

Runtime-owned HotStuff service surface.

The bootstrap caller owns the coherence between publisher and source. If locally emitted artifacts must later be readable through source, both endpoints need to target the same backing store or an equivalent replicated feed.

Attributes

Source: HotStuffNodeRuntime.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffSinkPrunedCounts.type

Attributes

Companion: object
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffSinkRetainedCounts.type

Attributes

Companion: object
Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffSinkRetentionCountsSnapshot.type

Attributes

Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffSinkRetentionWatermarks.type

Attributes

Companion: object
Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: HotStuffGossipDiagnosticsSnapshot.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffSinkRetentionWatermarksSnapshot.type

Creates gossip topic contracts for each HotStuff artifact type.

Attributes

Source: HotStuffGossipBridge.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffTopic.type

Per-topic gossip configuration for a HotStuff artifact type.

Value parameters

deliveryPriority: priority for delivery ordering (higher = earlier delivery)
exactKnownSetLimit: max entries in the exact-known set
flushInterval: how often to flush gossip batches
maxBatchItems: max items per gossip batch
requestByIdLimit: max IDs per request-by-ID batch

Attributes

Companion: object
Source: HotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffTopicPolicy.

Attributes

Companion: class
Source: HotStuffGossipBridge.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffTopicPolicy.type

Represents a failure during HotStuff consensus validation.

Value parameters

detail: optional human-readable detail about the failure
reason: a short identifier for the validation failure

Attributes

Companion: object
Source: Artifacts.scala
Supertypes: trait Serializable

trait Product

trait Equals

trait StructuredFailureDiagnostic

class Object

trait Matchable

class Any
Show all

Companion for HotStuffValidationFailure.

Attributes

Companion: class
Source: Artifacts.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffValidationFailure.type

Validates HotStuff consensus artifacts: proposals, votes, QCs, timeout votes, TCs, and new views.

Attributes

Source: Validation.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffValidator.type

Companion for HotStuffView.

Attributes

Source: Policy.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffView.type

Identifies a specific consensus round by chain, height, view, and validator set.

Value parameters

chainId: the chain this window belongs to
height: the block height
validatorSetHash: the hash of the active validator set
view: the view number within this height

Attributes

Companion: object
Source: Policy.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for HotStuffWindow.

Attributes

Companion: class
Source: Policy.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: HotStuffWindow.type

Constructs gossip topic window keys from HotStuff consensus windows.

Attributes

Source: HotStuffGossipBridge.scala
Supertypes: class Object

trait Matchable

class Any
Self type: HotStuffWindowKey.type

In-memory implementation of a gossip artifact sink for HotStuff artifacts, handling validation, QC assembly, and finalization tracking.

Attributes

Companion: object
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait GossipArtifactSink[F, HotStuffGossipArtifact]

class Object

trait Matchable

class Any

Companion for InMemoryHotStuffArtifactSink.

Attributes

Companion: class
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: class Object

trait Matchable

class Any
Self type: InMemoryHotStuffArtifactSink.type

In-memory implementation of a gossip artifact source and publisher for HotStuff artifacts.

Attributes

Companion: object
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait HotStuffArtifactPublisher[F]

trait GossipArtifactSource[F, HotStuffGossipArtifact]

class Object

trait Matchable

class Any

Companion for InMemoryHotStuffArtifactSource.

Attributes

Companion: class
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: class Object

trait Matchable

class Any
Self type: InMemoryHotStuffArtifactSource.type

Attributes

Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

final case class InMemoryHotStuffSinkDiagnostics(policyMode: String, retentionPolicy: HotStuffArtifactSinkRetention, retainedCounts: HotStuffSinkRetainedCounts, prunedCounts: HotStuffSinkPrunedCounts, retentionWatermarks: HotStuffSinkRetentionWatermarks, relayedValidatedArtifactsByTopic: Map[GossipTopic, Long], duplicateArtifactsSuppressedByTopic: Map[GossipTopic, Long], rejectedArtifactsByTopicAndReason: Map[InMemoryHotStuffRelayRejectionKey, Long])

Attributes

Companion: object
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: InMemoryHotStuffSinkDiagnostics.type

final case class InMemoryHotStuffSinkSnapshot(proposals: Map[ProposalId, Proposal], votes: Map[VoteId, Vote], accumulator: VoteAccumulator, timeoutVotes: Map[TimeoutVoteId, TimeoutVote], timeoutAccumulator: TimeoutVoteAccumulator, timeoutCertificates: Map[TimeoutVoteSubject, TimeoutCertificate], newViews: Map[NewViewId, NewView], newViewsBySenderWindow: Map[(HotStuffWindow, ValidatorId), NewView], qcs: Map[ProposalId, QuorumCertificate], finalization: Map[ChainId, FinalizationTrackerSnapshot], duplicates: Vector[GossipEvent[HotStuffGossipArtifact]], diagnostics: InMemoryHotStuffSinkDiagnostics)

A snapshot of the in-memory gossip artifact sink state, including all stored artifacts and QCs.

Attributes

Companion: object
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for InMemoryHotStuffSinkSnapshot.

Attributes

Companion: class
Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: InMemoryHotStuffSinkSnapshot.type

Attributes

Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: InMemoryHotStuffGossipBridge.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Legacy provider that emits the previous autonomous empty proposal body.

Attributes

Companion: object
Source: ProposalInput.scala
Supertypes: trait HotStuffProposalInputProvider[F]

class Object

trait Matchable

class Any

Companion for LegacyEmptyHotStuffProposalInputProvider.

Attributes

Companion: class
Source: ProposalInput.scala
Supertypes: class Object

trait Matchable

class Any
Self type: LegacyEmptyHotStuffProposalInputProvider.type

The role of the local node in the consensus network.

Attributes

Companion: object
Source: Policy.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for LocalNodeRole.

Attributes

Companion: enum
Source: Policy.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: LocalNodeRole.type

A signed new-view message sent to the next leader after a timeout certificate is formed.

Attributes

Companion: object
Source: Pacemaker.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for NewView, providing signing and identity operations.

Attributes

Companion: class
Source: Pacemaker.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: NewView.type

Companion for NewViewId.

Attributes

Source: Pacemaker.scala
Supertypes: class Object

trait Matchable

class Any
Self type: NewViewId.type

A signed consensus proposal emitted by a leader validator.

Value parameters

block: the block header
justify: the quorum certificate justifying this proposal
proposalId: unique identifier for this proposal
proposer: the proposing validator
signature: the cryptographic signature of the proposer
targetBlockId: the block ID being proposed
txSet: the transaction set included in the proposal
window: the consensus window

Attributes

Companion: object
Source: Artifacts.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for Proposal, providing signing and identity operations.

Attributes

Companion: class
Source: Artifacts.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: Proposal.type

The result of assessing a proposal's readiness for catch-up voting.

Value parameters

controlBatch: an optional gossip control batch to request missing data
voteReadiness: whether the node is ready to vote on this proposal

Attributes

Source: BootstrapCoordinator.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Evaluates whether a proposal can be voted on during forward catch-up.

Attributes

Companion: object
Source: BootstrapCoordinator.scala
Supertypes: class Object

trait Matchable

class Any

Companion for ProposalCatchUpReadiness, providing static factory methods.

Attributes

Companion: trait
Source: BootstrapCoordinator.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ProposalCatchUpReadiness.type

Companion for ProposalId.

Attributes

Source: Policy.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ProposalId.type

Service for replaying proposals after a snapshot anchor during forward catch-up.

Attributes

Source: Bootstrap.scala
Supertypes: class Object

trait Matchable

class Any

An ordered set of transaction IDs included in a consensus proposal.

Value parameters

txIds: the transaction identifiers in canonical order

Attributes

Companion: object
Source: Artifacts.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for ProposalTxSet, providing canonicalization and wire encoding.

Attributes

Companion: class
Source: Artifacts.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: ProposalTxSet.type

A quorum certificate aggregating sufficient votes to certify a proposal.

Value parameters

subject: the proposal subject being certified
votes: the collected validator votes meeting the quorum threshold

Attributes

Source: Artifacts.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Assembles a quorum certificate from collected votes, verifying signatures and quorum threshold.

Attributes

Source: Validation.scala
Supertypes: class Object

trait Matchable

class Any
Self type: QuorumCertificateAssembler.type

The subject of a quorum certificate, identifying the proposal being certified.

Value parameters

blockId: the block ID targeted by the proposal
proposalId: the certified proposal's unique identifier
window: the consensus window in which the proposal was made

Attributes

Companion: object
Source: Artifacts.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for QuorumCertificateSubject.

Attributes

Companion: class
Source: Artifacts.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: QuorumCertificateSubject.type

A block record that was rejected during conflict-free body selection.

Type parameters

Event: the event type
ResultRef: the result reference type
TxRef: the transaction reference type

Value parameters

reason: the reason for rejection
record: the rejected block record

Attributes

Source: BlockScheduling.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Identifies a finalized block as an anchor point for state snapshot synchronization.

Value parameters

blockId: the block identifier
chainId: the chain this anchor belongs to
height: the block height
proposalId: the proposal that produced this block
stateRoot: the state root at this block

Attributes

Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Coordinates snapshot synchronization by fetching trie nodes from peers and persisting them locally.

Attributes

Companion: object
Source: SnapshotSync.scala
Supertypes: class Object

trait Matchable

class Any

Companion for SnapshotCoordinator, providing factory methods with varying configuration.

Attributes

Companion: trait
Source: SnapshotSync.scala
Supertypes: class Object

trait Matchable

class Any
Self type: SnapshotCoordinator.type

Policy controlling how many rounds of peer fetching to attempt during snapshot sync.

Attributes

Companion: object
Source: SnapshotSync.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for SnapshotFetchPolicy.

Attributes

Companion: class
Source: SnapshotSync.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: SnapshotFetchPolicy.type

Metadata tracking the progress of a snapshot synchronization.

Value parameters

anchor: the snapshot anchor being synced
lastUpdatedAt: the time of the last status update
pendingNodeCount: the number of pending trie nodes
status: the current sync status
verifiedNodeCount: the number of verified trie nodes

Attributes

Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Persistent store for snapshot synchronization metadata, keyed by chain ID.

Attributes

Companion: object
Source: SnapshotSync.scala
Supertypes: class Object

trait Matchable

class Any

Companion for SnapshotMetadataStore, providing in-memory and key-value-backed implementations.

Attributes

Companion: trait
Source: SnapshotSync.scala
Supertypes: class Object

trait Matchable

class Any
Self type: SnapshotMetadataStore.type

Service for fetching Merkle trie nodes during snapshot synchronization.

Attributes

Source: Bootstrap.scala
Supertypes: class Object

trait Matchable

class Any

Runtime implementation of SnapshotNodeFetchService backed by a local node store.

Attributes

Source: SnapshotSync.scala
Supertypes: class Object

trait Matchable

class Any
Self type: SnapshotNodeFetchServiceRuntime.type

Store for Merkle trie nodes used during snapshot synchronization.

Attributes

Companion: object
Source: SnapshotSync.scala
Supertypes: class Object

trait Matchable

class Any

Companion for SnapshotNodeStore, providing in-memory and key-value-backed implementations.

Attributes

Companion: trait
Source: SnapshotSync.scala
Supertypes: class Object

trait Matchable

class Any
Self type: SnapshotNodeStore.type

Verifies the integrity of fetched snapshot trie nodes by checking their hashes.

Attributes

Source: SnapshotSync.scala
Supertypes: class Object

trait Matchable

class Any
Self type: SnapshotNodeVerifier.type

The lifecycle status of a snapshot synchronization operation.

Attributes

Source: Bootstrap.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Represents a failure during snapshot synchronization.

Attributes

Companion: object
Source: SnapshotSync.scala
Supertypes: trait Serializable

trait Product

trait Equals

trait StructuredFailureDiagnostic

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: SnapshotSync.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: SnapshotSyncFailure.type

The result of a successful snapshot synchronization.

Attributes

Source: SnapshotSync.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

A Merkle trie node paired with its expected hash, used during snapshot sync.

Value parameters

hash: the expected Merkle hash of the node
node: the trie node data

Attributes

Source: Bootstrap.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

A certificate aggregating sufficient timeout votes to trigger a view change.

Attributes

Source: Pacemaker.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Assembles a timeout certificate from collected timeout votes, verifying signatures and quorum.

Attributes

Source: Validation.scala
Supertypes: class Object

trait Matchable

class Any
Self type: TimeoutCertificateAssembler.type

A signed timeout vote emitted when a validator's view timer expires.

Attributes

Companion: object
Source: Pacemaker.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for TimeoutVote, providing signing and identity operations.

Attributes

Companion: class
Source: Pacemaker.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: TimeoutVote.type

Accumulates timeout votes and detects equivocations.

Attributes

Companion: object
Source: Validation.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for TimeoutVoteAccumulator.

Attributes

Companion: class
Source: Validation.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: TimeoutVoteAccumulator.type

Companion for TimeoutVoteId.

Attributes

Source: Pacemaker.scala
Supertypes: class Object

trait Matchable

class Any
Self type: TimeoutVoteId.type

Outcome of recording a timeout vote into the accumulator.

Attributes

Source: Validation.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

The subject of a timeout vote, combining the consensus window and the voter's highest known QC.

Attributes

Companion: object
Source: Pacemaker.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for TimeoutVoteSubject.

Attributes

Companion: class
Source: Pacemaker.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: TimeoutVoteSubject.type

An unsigned new-view message before signing.

Attributes

Source: Pacemaker.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

A proposal before signing.

Value parameters

block: the block header
justify: the quorum certificate justifying this proposal
proposer: the proposing validator
targetBlockId: the block ID being proposed
txSet: the transaction set included in the proposal
window: the consensus window

Attributes

Source: Artifacts.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

An unsigned timeout vote before signing.

Attributes

Source: Pacemaker.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

A vote before signing.

Value parameters

targetProposalId: the proposal being voted on
voter: the voting validator
window: the consensus window

Attributes

Source: Artifacts.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for ValidatorId.

Attributes

Source: Policy.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ValidatorId.type

Binds a validator ID to a peer that holds its signing key, with a status flag.

Value parameters

holder: the peer that holds the key
status: the current status (active or fenced)
validatorId: the validator whose key is held

Attributes

Source: Policy.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

The operational status of a validator key holder.

Attributes

Companion: object
Source: Policy.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for ValidatorKeyHolderStatus.

Attributes

Companion: enum
Source: Policy.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: ValidatorKeyHolderStatus.type

A member of a validator set, pairing an identity with a cryptographic public key.

Value parameters

id: the validator's unique identity
publicKey: the validator's public key used for signature verification

Attributes

Source: Artifacts.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

An ordered, deduplicated set of consensus validators with quorum calculation support.

Attributes

Companion: object
Source: Artifacts.scala
Supertypes: class Object

trait Matchable

class Any

Companion for ValidatorSet.

Attributes

Companion: class
Source: Artifacts.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ValidatorSet.type

Errors that can occur when constructing a ValidatorSet.

Attributes

Companion: object
Source: Artifacts.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for ValidatorSetError.

Attributes

Companion: enum
Source: Artifacts.scala
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: ValidatorSetError.type

Companion for ValidatorSetHash.

Attributes

Source: Policy.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ValidatorSetHash.type

Resolves validator sets for consensus windows, rooted in a bootstrap trust root.

Attributes

Companion: object
Source: Bootstrap.scala
Supertypes: class Object

trait Matchable

class Any

Companion for ValidatorSetLookup.

Attributes

Companion: trait
Source: Bootstrap.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ValidatorSetLookup.type

A signed consensus vote cast by a validator for a specific proposal.

Value parameters

signature: the cryptographic signature
targetProposalId: the proposal being voted on
voteId: unique identifier for this vote
voter: the voting validator
window: the consensus window

Attributes

Companion: object
Source: Artifacts.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for Vote, providing signing and identity operations.

Attributes

Companion: class
Source: Artifacts.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: Vote.type

Accumulates votes and detects equivocations (double-voting).

Attributes

Companion: object
Source: Validation.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Companion for VoteAccumulator.

Attributes

Companion: class
Source: Validation.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: VoteAccumulator.type

Companion for VoteId.

Attributes

Source: Policy.scala
Supertypes: class Object

trait Matchable

class Any
Self type: VoteId.type

Outcome of recording a vote into the accumulator.

Attributes

Source: Validation.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: SnapshotCodecs.scala
Supertypes: trait ByteDecoder[BlockHeader]

class Object

trait Matchable

class Any
Self type: given_ByteDecoder_BlockHeader.type

org.sigilaris.node.jvm.runtime.consensus.hotstuff

Attributes

Members list

Type members

Classlikes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Value parameters

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Value parameters

Attributes

Attributes

Value parameters

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Type parameters

Value parameters

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Value parameters

Attributes

Attributes

Attributes

Attributes

Value parameters

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Value parameters

Attributes

Attributes

Value parameters

Attributes

Attributes

Attributes

Value parameters

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes