Module T.Updater

type validation_result = {
context : Context.t;

The resulting context, it will be used for the next block.

fitness : Fitness.t;

The effective fitness of the block (to be compared with the 'announced' one in the block header.

message : string option;

An optional informative message to be used as in the 'git commit' of the block's context.

max_operations_ttl : int;

The "time-to-live" of operation for the next block: any operations whose 'branch' is older than 'ttl' blocks in the past cannot be included in the next block.

last_allowed_fork_level : Int32.t;

The level of the last block for which the node might consider an alternate branch. The shell should consider as invalid any branch whose fork point is older than the given level

}

Validation result: the record returned by the protocol on the successfull validation of a block.

type quota = {
max_size : int;

The maximum size (in bytes) of the serialized list of operations.

max_op : int option;

The maximum number of operation. None means no limit.

}
type rpc_context = {
block_hash : Block_hash.t;
block_header : Block_header.shell_header;
context : Context.t;
}
module type PROTOCOL = sig ... end

This is the signature of a Tezos protocol implementation. It has access to the standard library and the Environment module.

val activate : Context.t -> Protocol_hash.t -> Context.t Lwt.t

Activates a given protocol version from a given context. This means that the context used for the next block will use this version (this is not an immediate change). The version must have been previously compiled successfully.

val fork_test_chain : Context.t -> protocol:Protocol_hash.t -> expiration:Time.t -> Context.t Lwt.t

Fork a test chain. The forkerd chain will use the current block as genesis, and protocol as economic protocol. The chain will be destroyed when a (successor) block will have a timestamp greater than expiration. The protocol must have been previously compiled successfully.