integration

type Attribution struct {
	FindingID   string         `json:"finding_id"`
	SelectionID string         `json:"selection_id,omitempty"`
	Command     []string       `json:"command"`
	CWD         string         `json:"cwd"`
	Outcome     string         `json:"outcome"`
	Evidence    model.Evidence `json:"evidence"`
	// Reproducing lists the smallest subsets, as indexes into Report.Inputs,
	// that reproduced the failure. With outcome isolated they are minimal.
	Reproducing [][]int     `json:"reproducing"`
	Runs        []SubsetRun `json:"runs"`
	Explanation string      `json:"explanation"`
}

type Candidate struct {
	// Source is the repository the objects were copied from.
	Source string
	// Dir is the private repository holding the candidate checkout.
	Dir       string
	Base      string
	Inputs    []string
	Commit    string
	Tree      string
	Conflicts []string
}

type Check = gate.Check

type DirtySnapshot struct {
	Worktree string `json:"worktree"`
	Branch   string `json:"branch,omitempty"`
	// InputIndex associates a snapshot with a pinned input; -1 requests unique matching.
	InputIndex int      `json:"input_index"`
	Head       string   `json:"head"`
	Digest     string   `json:"digest"`
	Staged     []string `json:"staged"`
	Unstaged   []string `json:"unstaged"`
	Untracked  []string `json:"untracked"`
	// contains filtered or unexported fields
}

type ExecutionEvidence struct {
	PlanRecord           *evidence.Record              `json:"plan_record,omitempty"`
	ExecutionError       string                        `json:"execution_error,omitempty"`
	SelectionID          string                        `json:"selection_id,omitempty"`
	CWD                  string                        `json:"cwd,omitempty"`
	Observation          evidence.CandidateObservation `json:"observation"`
	ID                   string                        `json:"id"`
	CandidateCommit      string                        `json:"candidate_commit"`
	CandidateTree        string                        `json:"candidate_tree"`
	Base                 string                        `json:"base"`
	Inputs               []string                      `json:"inputs"`
	PlanDigest           string                        `json:"plan_digest,omitempty"`
	Command              []string                      `json:"command"`
	Status               model.Status                  `json:"status"`
	ExitCode             int                           `json:"exit_code"`
	OutputDigest         string                        `json:"output_digest"`
	StartedAt            string                        `json:"started_at"`
	DurationMS           int64                         `json:"duration_ms"`
	SourceAfterExecution string                        `json:"source_after_execution"`
}

type Options struct {
	SuggestTests           bool
	Suite                  string
	CWD                    string
	Policy                 *gate.Policy
	Plan                   *planning.Plan
	Base                   string
	Branches               []string
	Verify, AllowExecution bool
	Command                []string
	Timeout                time.Duration
	PlanDigest             string
	// MaxCommands bounds a selected suite after grouping (default 16).
	MaxCommands int
	// AttributionRuns, when positive, reruns each failed command on the base
	// plus subsets of the branches, within the same time budget, spending at
	// most this many executions. It requires Verify. Set zero for Fast Gate,
	// then call RunObservedAttribution separately after publishing its result.
	AttributionRuns int
	// Progress, when set, hears what the gate is doing so a terminal can
	// show it live. It is presentation only and never affects the report.
	Progress func(Step)
	// contains filtered or unexported fields
}

type Report struct {
	VerificationProposal *testselection.Proposal `json:"verification_proposal,omitempty"`
	// Selection is the bounded execution plan for a --suite mode, including
	// omitted commands and the reasons a required command did not run.
	Selection       *testselection.Selection `json:"selection,omitempty"`
	Selected        []string                 `json:"selected_tests,omitempty"`
	Executions      []ExecutionEvidence      `json:"executions,omitempty"`
	Gate            gate.Result              `json:"gate"`
	Coverage        []gate.Coverage          `json:"coverage"`
	Plan            *planning.Report         `json:"plan,omitempty"`
	Status          model.Status             `json:"status"`
	Base            string                   `json:"base"`
	Inputs          []string                 `json:"inputs"`
	CandidateCommit string                   `json:"candidate_commit,omitempty"`
	CandidateTree   string                   `json:"candidate_tree,omitempty"`
	Conflicts       []string                 `json:"conflicts"`
	Changed         []string                 `json:"changed"`
	Affected        []string                 `json:"affected"`
	// AffectedBy maps each affected file to the changed files it reaches
	// through inferred import dependencies.
	AffectedBy  map[string][]string `json:"affected_by,omitempty"`
	Checks      []Check             `json:"checks"`
	Findings    []model.Finding     `json:"findings"`
	Diagnostics []model.Diagnostic  `json:"diagnostics"`
	Execution   *ExecutionEvidence  `json:"execution,omitempty"`
	// Attributions rerun failed commands on subsets of the branches.
	Attributions []Attribution `json:"observed_attributions,omitempty"`
	Limitations  []string      `json:"limitations"`
	// ContractObligations lists base contract declarations the candidate
	// removed, narrowed, moved or retired; see contracts.ObligationChange.
	ContractObligations []contracts.ObligationChange `json:"contract_obligations,omitempty"`
	// DeclaredBindings counts the declared contract bindings analyzed, so a
	// passing contract check with nothing declared is not shown as a check.
	DeclaredBindings int `json:"-"`
	// contains filtered or unexported fields
}

type Step struct {
	Repo  string // workspace repository ID, set by multi-repository callers
	Stage string // StageCombine, StageAnalyze or StageTest
	// Index and Total place a test command (1-based) in the selection.
	Index, Total int
	Command      []string
}

type SubsetRun struct {
	// Branches are indexes into Report.Inputs; empty means the base alone.
	Branches        []int        `json:"branches"`
	Inputs          []string     `json:"inputs"`
	CandidateCommit string       `json:"candidate_commit,omitempty"`
	CandidateTree   string       `json:"candidate_tree,omitempty"`
	Conflicts       []string     `json:"conflicts,omitempty"`
	Status          model.Status `json:"status"`
	ExitCode        int          `json:"exit_code"`
	OutputDigest    string       `json:"output_digest,omitempty"`
	FailedCases     []string     `json:"failed_cases,omitempty"`
	Result          string       `json:"result"`
	Error           string       `json:"error,omitempty"`
}

type UnsupportedEntryError struct {
	Path   string
	Unsafe error
}