schema

package module
v0.0.7 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Aug 22, 2023 License: Apache-2.0 Imports: 6 Imported by: 7

Documentation

Index

Constants

View Source
const (
	// HintIncorrect is a standard hint to convey that a vector is knowingly
	// incorrect. Drivers may choose to skip over these vectors, or if it's
	// accompanied by HintNegate, they may perform the assertions as explained
	// in its godoc.
	HintIncorrect = "incorrect"

	// HintNegate is a standard hint to convey to drivers that, if this vector
	// is run, they should negate the postcondition checks (i.e. check that the
	// postcondition state is expressly NOT the one encoded in this vector).
	HintNegate = "negate"
)
View Source
const (
	// SelectorChaosActor, if it appears and its value is literal "true", it
	// indicates that the vector requires the chaos actor to be provisioned into
	// the VM at address f098.
	SelectorChaosActor = "chaos_actor"

	// SelectorMinProtocolVersion indicates the codename of the minimum protocol
	// version that the VM must support in order to run this test vector. The
	// value is a codename from a table kept outside the schema. Example good
	// values include: "genesis" (protocol version at birth), "breeze", "smoke",
	// "actorsv2".
	SelectorMinProtocolVersion = "min_protocol_version"
)

Well known selectors.

View Source
const (
	RandomnessBeacon = RandomnessKind("beacon")
	RandomnessChain  = RandomnessKind("chain")
)

Variables

This section is empty.

Functions

This section is empty.

Types

type Base64EncodedBytes

type Base64EncodedBytes []byte

Base64EncodedBytes is a base64-encoded binary value.

func (Base64EncodedBytes) MarshalJSON

func (b Base64EncodedBytes) MarshalJSON() ([]byte, error)

MarshalJSON implements json.Marshal for Base64EncodedBytes

func (Base64EncodedBytes) String added in v0.0.4

func (b Base64EncodedBytes) String() string

func (*Base64EncodedBytes) UnmarshalJSON

func (b *Base64EncodedBytes) UnmarshalJSON(v []byte) error

UnmarshalJSON implements json.Unmarshal for Base64EncodedBytes

type Block

type Block struct {
	MinerAddr address.Address      `json:"miner_addr"`
	WinCount  int64                `json:"win_count"`
	Messages  []Base64EncodedBytes `json:"messages"`
}

type Class

type Class string

Class represents the type of test vector this instance is.

const (
	// ClassMessage tests the VM behaviour and resulting state over one or
	// many messages.
	ClassMessage Class = "message"
	// ClassTipset tests the VM behaviour and resulting state over one or many
	// tipsets and/or null rounds.
	ClassTipset Class = "tipset"
	// ClassBlockSeq tests the state of the system after the arrival of
	// particular blocks at concrete points in time.
	ClassBlockSeq Class = "blockseq"
)

type Diagnostics

type Diagnostics struct {
	Format string             `json:"format"`
	Data   Base64EncodedBytes `json:"data"`
}

Diagnostics contain a representation of VM diagnostics

type GenerationData

type GenerationData struct {
	Source  string `json:"source,omitempty"`
	Version string `json:"version,omitempty"`
}

GenerationData tags the source of this test case.

type Message

type Message struct {
	Bytes Base64EncodedBytes `json:"bytes"`
	// EpochOffset represents the offset from the facet epoch where this message
	// is applied. If missing, it must default to 0 (apply at the facet epoch).
	// It.must be interpreted by the driver as an abi.ChainEpoch in Lotus, or
	// equivalent type in other implementations.
	EpochOffset *int64 `json:"epoch_offset,omitempty"`
}

type Metadata

type Metadata struct {
	ID      string           `json:"id"`
	Version string           `json:"version,omitempty"`
	Desc    string           `json:"description,omitempty"`
	Comment string           `json:"comment,omitempty"`
	Gen     []GenerationData `json:"gen"`
	Tags    []string         `json:"tags,omitempty"`
}

Metadata provides information on the generation of this test case

type Postconditions

type Postconditions struct {
	ApplyMessageFailures []int      `json:"apply_message_failures,omitempty"`
	StateTree            *StateTree `json:"state_tree"`
	Receipts             []*Receipt `json:"receipts"`
	ReceiptsRoots        []cid.Cid  `json:"receipts_roots,omitempty"`
}

Postconditions contain a representation of VM state at th end of the test

type Preconditions

type Preconditions struct {
	// Variants encodes the variants with which this vector can run. Multiple items
	// indicate that this vector can be executed once per variant.
	Variants []Variant `json:"variants"`

	// StateTree is the starting state tree for this vector.
	StateTree *StateTree `json:"state_tree,omitempty"`

	// BaseFee is an optional base fee to inject into the VM when feeding this
	// message. If absent, it defaults to 100 attoFIL.
	BaseFee *big.Int `json:"basefee,omitempty"`

	// CircSupply is optional. If specified, it is the value that will be
	// injected in the VM when feeding this message. If absent, the default
	// value will be injected (TotalFilecoin, the maximum supply of Filecoin
	// that will ever exist). It is usually odd to set it, and it's only here
	// for specialized vectors.
	CircSupply *big.Int `json:"circ_supply,omitempty"`
}

Preconditions contain the environment that needs to be set before the vector's applies are applied.

type Randomness added in v0.0.4

type Randomness []RandomnessMatch

Randomness encodes randomness the VM runtime should return while executing this vector. It is encoded as a list of ordered rules to match on.

The json serialized form is:

"randomness": [
  { "on": ["beacon", 12, 49327, "yxpTbzLhr4uaj7bK0Hl4Vw=="], "ret": "iKyZ2N83N8IoiK2tNJ/H9g==" },
  { "on": ["chain", 8, 61002, "aacQWICNcMJWtuwTnU+1Hg=="], "ret": "M6HqmihwZ5fXcbQQHhbtsg==" }
]

The four positional values of the `on` array field are:

  1. Kind of randomness (json string; values: beacon, chain).
  2. Domain separation tag (json number).
  3. EpochOffset (json number).
  4. Entropy (json string; base64 encoded bytes).

When no rules are matched, the driver should return the raw bytes of utf-8 string 'i_am_random_____i_am_random_____'

type RandomnessKind added in v0.0.4

type RandomnessKind string

RandomnessKind specifies the type of randomness that is being requested.

type RandomnessMatch added in v0.0.4

type RandomnessMatch struct {
	On     RandomnessRule     `json:"on"`
	Return Base64EncodedBytes `json:"ret"`
}

RandomnessMatch specifies a randomness match. When the implementation requests randomness that matches the RandomnessRule in On, Return will be returned.

type RandomnessRule added in v0.0.4

type RandomnessRule struct {
	Kind  RandomnessKind
	Epoch int64
}

RandomnessRule represents a rule to evaluate randomness matches against. This encodes to JSON as an array. See godocs on the Randomness type for more info.

func (RandomnessRule) MarshalJSON added in v0.0.4

func (rm RandomnessRule) MarshalJSON() ([]byte, error)

func (*RandomnessRule) UnmarshalJSON added in v0.0.4

func (rm *RandomnessRule) UnmarshalJSON(v []byte) error

type Receipt

type Receipt struct {
	// ExitCode must be interpreted by the driver as an exitcode.ExitCode
	// in Lotus, or equivalent type in other implementations.
	ExitCode    int64              `json:"exit_code"`
	ReturnValue Base64EncodedBytes `json:"return"`
	GasUsed     int64              `json:"gas_used"`
}

Receipt represents a receipt to match against.

type Selector

type Selector map[string]string

Selector is a predicate the driver can use to determine if this test vector is relevant given the capabilities/features of the underlying implementation and/or test environment.

type StateTree

type StateTree struct {
	RootCID cid.Cid `json:"root_cid"`
}

StateTree represents a state tree within preconditions and postconditions.

type TestVector

type TestVector struct {
	Class    `json:"class"`
	Selector `json:"selector,omitempty"`

	// Hints are arbitrary flags that convey information to the driver.
	// Use hints to express facts like this vector is knowingly incorrect
	// (e.g. when the reference implementation is broken), or that drivers
	// should negate the postconditions (i.e. test that they are NOT the ones
	// expressed in the vector), etc.
	//
	// Refer to the Hint* constants for common hints.
	Hints []string `json:"hints,omitempty"`

	Meta *Metadata `json:"_meta"`

	// CAR binary data to be loaded into the test environment, usually a CAR
	// containing multiple state trees, addressed by root CID from the relevant
	// objects.
	CAR Base64EncodedBytes `json:"car"`

	// Randomness encodes randomness to be replayed during the execution of this
	// test vector. See godocs on the Randomness type for more info.
	Randomness Randomness `json:"randomness,omitempty"`

	Pre *Preconditions `json:"preconditions"`

	ApplyMessages []Message `json:"apply_messages,omitempty"`
	ApplyTipsets  []Tipset  `json:"apply_tipsets,omitempty"`

	Post        *Postconditions `json:"postconditions"`
	Diagnostics *Diagnostics    `json:"diagnostics,omitempty"`
}

TestVector is a single, faceted test case. The test case can be run against the multiple facets expressed in the preconditions field.

func (TestVector) MustMarshalJSON

func (tv TestVector) MustMarshalJSON() []byte

MustMarshalJSON encodes the test vector to JSON and panics if it errors.

func (TestVector) Validate

func (tv TestVector) Validate() error

Validate validates this test vector against the JSON schema, and applies further validation rules that cannot be enforced through JSON Schema.

type Tipset

type Tipset struct {
	// EpochOffset represents the offset from the facet epoch where this tipset
	// is applied. It must be interpreted by the driver as an abi.ChainEpoch
	// in Lotus, or equivalent type in other implementations.
	EpochOffset int64 `json:"epoch_offset"`

	// BaseFee must be interpreted by the driver as an abi.TokenAmount in Lotus,
	// or equivalent type in other implementations.
	BaseFee big.Int `json:"basefee"`

	Blocks []Block `json:"blocks,omitempty"`
}

type Variant added in v0.0.5

type Variant struct {
	// ID of the variant, usually the codename of the upgrade.
	ID string `json:"id"`

	// Epoch must be interpreted by the driver as an abi.ChainEpoch in Lotus, or
	// equivalent type in other implementations.
	Epoch int64 `json:"epoch"`

	// NetworkVersion is the network version to feed to the VM for this vector.
	NetworkVersion uint `json:"nv"`
}

Variant represents a tuple of preconditions that this vector can be run with.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL