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 LinkRef struct {
	ID     string `json:"id"`
	Child  string `json:"child"`
	State  string `json:"state"`
	Status string `json:"status"`
}

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"`
	// Gated is true when every linked test of the requirement is
	// environment gated: it skips unless a variable is set or under
	// testing.Short. Gates names the variables (or testing.Short).
	Gated bool     `json:"gated,omitempty"`
	Gates []string `json:"gates,omitempty"`
	// Parents are the upward trace of the requirement: the contract items
	// it realizes (alias::ID on a published requirement row); none for a
	// requirement traced by its links or derivation (D22). Children are the downward trace of a
	// requirement of a composing system: each linked child contract item
	// (alias::CAP-*) followed by its realizing requirements (alias::REQ-*).
	Parents  []string `json:"parents,omitempty"`
	Children []string `json:"children,omitempty"`
	// Links are the requirement links whose parent the requirement is,
	// with their evaluated state.
	Links []LinkRef `json:"links,omitempty"`
	// SatisfiedBy is "links" when the requirement has no code or test of
	// its own and every link is accepted, evaluates unchanged and resolves
	// to a child item whose realizing requirements are all implemented
	// (LinksImplemented) or all test linked (LinksTestLinked) in their own
	// repository; "links-unreviewed" when a link would roll it up but is
	// claimed, suspect, version-mismatched or otherwise not unchanged, so
	// it does not count.
	SatisfiedBy      string `json:"satisfiedBy,omitempty"`
	LinksImplemented bool   `json:"linksImplemented,omitempty"`
	LinksTestLinked  bool   `json:"linksTestLinked,omitempty"`
}

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"`
	// GatedOnly counts the test-linked requirements whose every linked test
	// is environment gated (Row.Gated); GatedOnlyRequirements lists them.
	// They are still counted in TestLinked.
	GatedOnly             int      `json:"gatedOnly"`
	GatedOnlyRequirements []string `json:"gatedOnlyRequirements,omitempty"`
	// LinksSuspect, LinksBroken and LinksClaimed count the requirement
	// links whose child item changed since review (also at a stale pin),
	// no longer exists, or that are claimed, not reviewed. Unparented counts
	// the local requirements that trace upward to nothing
	// (requirement.no_parent where the requirement link rules apply).
	LinksSuspect int `json:"linksSuspect"`
	LinksBroken  int `json:"linksBroken"`
	LinksClaimed int `json:"linksClaimed"`
	Unparented   int `json:"unparented"`
}