criterionexperiment

type Authority struct {
	Reviewer     string `json:"reviewer"`
	AnchorCommit string `json:"anchorCommit"`
	AnchorPath   string `json:"anchorPath"`
	AnchorSha256 string `json:"anchorSha256"`
	Independent  bool   `json:"independent"`
}

type Binding struct {
	Ticket             string `json:"ticket"`
	AcceptanceRevision string `json:"acceptanceRevision"`
	AcceptanceSha256   string `json:"acceptanceSha256"`
	Attempt            string `json:"attempt"`
	Generation         string `json:"generation"`
	PolicySha256       string `json:"policySha256"`
	ConfigSha256       string `json:"configSha256"`
	CandidateTree      string `json:"candidateTree"`
}

type Captures struct {
	Capture      tw.CriterionCapture
	Verification tw.CriterionVerification
}

type Criterion struct {
	Index            int       `json:"index"`
	AcceptanceSha256 string    `json:"acceptanceSha256"`
	Relation         string    `json:"relation"`
	Test             string    `json:"test"`
	Package          string    `json:"package"`
	Assertion        string    `json:"assertion"`
	Hunks            []string  `json:"hunks"`
	Oracle           Selector  `json:"oracle"`
	Authority        Authority `json:"authority"`
	Controls         []string  `json:"controls"`
}

type Plan struct {
	Schema         string               `json:"schema"`
	Request        Request              `json:"request"`
	Binding        Binding              `json:"binding"`
	CEMSha256      string               `json:"cemSha256"`
	CapturesSha256 string               `json:"capturesSha256"`
	TasksVerifier  tw.CriterionIdentity `json:"tasksVerifier"`
}

type Receipt struct {
	Schema          string     `json:"schema"`
	PlanSha256      string     `json:"planSha256"`
	Assurance       string     `json:"assurance"`
	OracleAssurance string     `json:"oracleAssurance"`
	Scenarios       []Scenario `json:"scenarios"`
}

type Request struct {
	Schema         string      `json:"schema"`
	Base           string      `json:"base"`
	Target         string      `json:"target"`
	CEM            string      `json:"cem"`
	Ticket         string      `json:"ticket"`
	Attempt        string      `json:"attempt"`
	Module         string      `json:"module"`
	GoBinary       string      `json:"goBinary"`
	GoSha256       string      `json:"goSha256"`
	TimeoutSeconds int         `json:"timeoutSeconds"`
	Criteria       []Criterion `json:"criteria"`
}

type Scenario struct {
	Criterion      int    `json:"criterion"`
	Role           string `json:"role"`
	Commit         string `json:"commit"`
	SnapshotSha256 string `json:"snapshotSha256"`
	StdoutSha256   string `json:"stdoutSha256"`
	StderrSha256   string `json:"stderrSha256"`
	ExitCode       int    `json:"exitCode"`
	Complete       bool   `json:"complete"`
	Classification string `json:"classification"`
}

type Selector struct {
	Commit string `json:"commit"`
	Path   string `json:"path"`
}

type Summary struct {
	Schema                 string   `json:"schema"`
	State                  string   `json:"state"`
	PlanSha256             string   `json:"planSha256"`
	ReceiptSha256          string   `json:"receiptSha256"`
	CEMSha256              string   `json:"cemSha256"`
	AcceptanceSha256       string   `json:"acceptanceSha256"`
	ArtifactManifestSha256 string   `json:"artifactManifestSha256"`
	Binding                Binding  `json:"binding"`
	Criteria               int      `json:"criteria"`
	RegisteredControls     int      `json:"registeredControls"`
	ApplicableControls     int      `json:"applicableControls"`
	ExecutedControls       int      `json:"executedControls"`
	KilledControls         int      `json:"killedControls"`
	Unknowns               []string `json:"unknowns"`
}

type TasksVerifierConfig struct{ Executable, SHA256 string }