acceptance

type ActorSetup struct {
	ID   provenance.ActorID
	Kind provenance.AgentKind
}

type AssignmentSetup struct {
	ID    provenance.AssignmentID
	Actor provenance.ActorID
	Role  tasks.AssignmentRole
	Task  provenance.TaskID
	Epoch provenance.TaskID
	State provenance.AssignmentTransition
}

type CanonicalRow struct {
	Identity string `json:"identity"`
	Value    string `json:"value"`
}

type CaptureOrigin = origin.CaptureOrigin

type CaptureProvenance struct {
	Origin         CaptureOrigin `json:"origin"`
	Harness        HarnessKind   `json:"harness"`
	HarnessVersion string        `json:"harnessVersion"`
	CaptureSource  string        `json:"captureSource"`
	RawFileDigest  string        `json:"rawFileDigest"`
	CapturedAt     string        `json:"capturedAt"`
	// Event is the exact native event name the host declared for the capture.
	Event string `json:"event"`
	// Redaction lists every substitution rule applied to the committed bytes,
	// in the order applied; see ParseRedaction. The digest above is computed
	// over the committed bytes, after every listed rule was applied.
	Redaction string `json:"redaction"`
	// Clearance is the committed path of the CLEARANCE.md that holds the user's
	// verbatim acceptance of the batch this capture was cleared in. It is a
	// path, never a bare identifier.
	Clearance string `json:"clearance"`
}

type Case struct {
	ID         string
	Class      CaseClass
	Target     Target
	Setup      Setup
	Expect     Expectation
	Delta      PersistedDelta
	Provenance ProvenanceSource
	Mutations  []MutationOperatorID
}

type CaseClass string

type Corpus struct {
	Schema       string
	ID           string
	MaxGenerated int
	Cases        []Case
	Operators    []MutationOperator
}

type CoverageAssignment struct {
	Dimension CoverageDimensionID
	Value     CoverageValue
}

type CoverageDimension struct {
	ID        CoverageDimensionID
	Milestone Milestone
	Values    []CoverageValue
}

type CoverageDimensionID string

type CoverageResult struct {
	Dimension CoverageDimensionID
	Milestone Milestone
	Gated     bool
	Uncovered []CoverageValue
}

type CoverageSpec struct {
	Milestone  Milestone
	Dimensions []CoverageDimension
}

type CoverageValue string

type DataValue struct {
	Inline  *string
	Fixture string
}

type EvidenceSetup struct {
	ID      provenance.JournalID
	Kind    provenance.EvidenceKind
	Subject string
	Value   DataValue
}

type ExactDelta struct {
	Added      []string
	Changed    []string
	Removed    []string
	RowCount   int
	ByteDigest string
}

type Expansion struct {
	Sources    []Case
	Mutants    []Mutant
	Accounting []OperatorAccounting
}

type Expectation struct {
	Oracle         OracleKind
	ExitCode       *int
	StdoutJSON     *DataValue
	Stderr         *DataValue
	OutputMutation *DataValue
}

type HarnessKind string

type Milestone uint8

type Mutant struct {
	Case       Case
	SourceID   string
	OperatorID MutationOperatorID
	Oracle     OracleKind
}

type MutantResult struct {
	MutantID            string             `json:"mutantId"`
	SourceID            string             `json:"sourceId"`
	OperatorID          MutationOperatorID `json:"operatorId"`
	ExpectedOracle      OracleKind         `json:"expectedOracle"`
	ObservedOracle      OracleKind         `json:"observedOracle"`
	ObservedResult      string             `json:"observedResult"`
	ReproductionCommand []string           `json:"reproductionCommand"`
	Killed              bool               `json:"killed"`
}

type MutationOperator struct {
	ID         MutationOperatorID
	Compatible []TargetKind
	Oracle     OracleKind
	MaxPerCase int
}

type MutationOperatorID string

type NativeEvent struct {
	Harness   HarnessKind
	Contract  string
	Event     string
	InputJSON DataValue
}

type Observation struct {
	MutantID            string     `json:"mutantId"`
	ObservedOracle      OracleKind `json:"observedOracle"`
	ObservedResult      string     `json:"observedResult"`
	ReproductionCommand []string   `json:"reproductionCommand"`
}

type OperatorAccounting struct {
	OperatorID   MutationOperatorID `json:"operatorId"`
	Selected     int                `json:"selected"`
	Executed     int                `json:"executed"`
	Killed       int                `json:"killed"`
	Survived     int                `json:"survived"`
	Incompatible int                `json:"incompatible"`
	Duplicate    int                `json:"duplicate"`
}

type OracleKind string

type PersistedDelta struct {
	Graph       ExactDelta
	Assignments ExactDelta
	Decisions   ExactDelta
	Evidence    ExactDelta
	Activities  ExactDelta
	Events      ExactDelta
	Journal     ExactDelta
	Projection  ExactDelta
}

type ProductionCommand struct {
	Argv  []string
	Stdin DataValue
}

type ProvenanceSource struct {
	Requirement string
	Record      string
	Rationale   string
	Capture     CaptureProvenance
}

type RedactionRule string

type Report struct {
	Schema    string               `json:"schema"`
	Operators []OperatorAccounting `json:"operators"`
	Mutants   []MutantResult       `json:"mutants"`
}

type RowChange struct {
	Table    string        `json:"table"`
	Identity string        `json:"identity"`
	Kind     RowChangeKind `json:"kind"`
}

type RowChangeKind string

type SemanticKind string

type SemanticSnapshot struct {
	Kind       SemanticKind    `json:"kind"`
	Tables     []TableSnapshot `json:"tables"`
	RowCount   int             `json:"rowCount"`
	ByteDigest string          `json:"byteDigest"`
}

type Setup struct {
	Fixture     string
	PreState    DataValue
	Actors      []ActorSetup
	Assignments []AssignmentSetup
	Tasks       []TaskSetup
	Evidence    []EvidenceSetup
}

type SnapshotLimits struct {
	MaxTables       int
	MaxRows         int
	MaxRowsPerTable int
	MaxCellBytes    int
	MaxTotalBytes   int
}

type SourceMutationOperator struct {
	ID        SourceMutationOperatorID
	Guard     string
	Rationale string
}

type SourceMutationOperatorID string

type SourceMutationResult struct {
	OperatorID SourceMutationOperatorID
	Guard      string
	Killed     bool
	Observed   string
}

type StoreSnapshot struct {
	Tables          []TableSnapshot    `json:"tables"`
	Semantics       []SemanticSnapshot `json:"semantics"`
	RowCount        int                `json:"rowCount"`
	ByteDigest      string             `json:"byteDigest"`
	UnrelatedDigest string             `json:"unrelatedDigest"`
}

type TableSnapshot struct {
	Name       string         `json:"name"`
	Columns    []string       `json:"columns"`
	Rows       []CanonicalRow `json:"rows"`
	RowCount   int            `json:"rowCount"`
	ByteDigest string         `json:"byteDigest"`
}

type Target struct {
	Kind        TargetKind
	Command     *ProductionCommand
	NativeEvent *NativeEvent
}

type TargetKind string

type TaskSetup struct {
	ID     provenance.TaskID
	Kind   provenance.TaskType
	Status provenance.TaskStatus
}