trace

type CodeRef struct {
	Symbol string `json:"symbol"`
	Path   string `json:"path"`
	Line   int    `json:"line,omitempty"`
}

type DanglingLink struct {
	Kind   string `json:"kind"` // requirement | model
	Target string `json:"target"`
	From   string `json:"from"` // file:line
}

type DelegatedStatus struct {
	Requirement string `json:"requirement"`
	Status      string `json:"status"`
	Implemented bool   `json:"implemented"`
	TestLinked  bool   `json:"testLinked"`
	Result      string `json:"result,omitempty"`
}

type Delegation struct {
	Subsystem         string `json:"subsystem"`
	Target            string `json:"target"`
	TargetRequirement string `json:"targetRequirement,omitempty"`
}

type Matrix struct {
	Model         string         `json:"model"`
	Requirements  []Row          `json:"requirements"`
	DanglingLinks []DanglingLink `json:"danglingLinks"`
	Orphans       []string       `json:"orphanRequirements"`
	Summary       Summary        `json:"summary"`
}

type Options struct {
	// Resolution overrides ENGMOD_WORK / ENGMOD_LOCK for the composition run.
	Resolution composition.ResolutionOptions
	// Composition, when set, is a composition already resolved for this
	// manifest; the trace then does not compose again.
	Composition *composition.CompositionResult
}

type Provenance struct {
	Alias       string `json:"alias"`
	ModulePath  string `json:"modulePath"`
	Version     string `json:"version"`
	SourceModel string `json:"sourceModel"`
	Publication string `json:"publication"`
	SourceID    string `json:"sourceId"`
}

type Row struct {
	ID            string    `json:"id"`
	Text          string    `json:"text,omitempty"`
	Units         []string  `json:"units,omitempty"`
	Code          []CodeRef `json:"code,omitempty"`
	Verifications []string  `json:"verifications,omitempty"`
	// Result is the recorded outcome of the linked tests: "passed" when parsed
	// test-result artifacts report only passes, "failed" when any reports a
	// failure (or a blocked, partial or flaky run), "not-run" otherwise. It is
	// empty when no verification is linked.
	Result      string      `json:"result,omitempty"`
	DelegatedTo *Delegation `json:"delegatedTo,omitempty"`
	// DelegatedStatus is the delegated (or imported) requirement's own trace
	// status in its target repository at the resolved version.
	DelegatedStatus *DelegatedStatus `json:"delegatedStatus,omitempty"`
	Provenance      *Provenance      `json:"provenance,omitempty"`
	Status          string           `json:"status"`
}

type Summary struct {
	Requirements int `json:"requirements"`
	Implemented  int `json:"implemented"`
	// Verified is deprecated: it counts test-linked requirements and always
	// equals TestLinked and Tested. A linked test is not a verification; use
	// TestLinked for links and Passed for requirements with recorded passes.
	Verified int `json:"verified"`
	// Tested counts requirements with at least one linked test function (or
	// verification artifact).
	Tested int `json:"tested"`
	// TestLinked equals Tested under the name that says what it counts: a
	// requirement linked from a test entry point, run or not.
	TestLinked int `json:"testLinked"`
	// Passed counts requirements whose linked verification has a recorded pass
	// and no recorded failure in parsed test-result artifacts.
	Passed    int `json:"passed"`
	Delegated int `json:"delegated"`
	// DelegatedImplemented and DelegatedTestLinked count local delegated rows
	// whose target requirement is implemented, respectively test linked, in
	// the target repository.
	DelegatedImplemented int `json:"delegatedImplemented"`
	DelegatedTestLinked  int `json:"delegatedTestLinked"`
	Orphan               int `json:"orphan"`
	DanglingLinks        int `json:"danglingLinks"`
}