console

type Axes struct {
	Validity       string
	EpistemicClass string
	AuthorityClass string
	Completeness   string
	Currency       string
	DeliveryStage  string
}

type Axis string

type AxisPair struct {
	Axis  Axis
	Value string
}

type Blob struct {
	Path      string
	ObjectID  string
	Revision  string
	Text      string
	Truncated bool
	Dirty     bool
	DirtyNote string
	Source    Source
	Err       string
}

type Board struct {
	Columns   []Column
	Source    Source
	Envelope  *Envelope
	Total     int
	Statuses  []string
	Err       string
	Untrusted []string
}

type Capabilities struct {
	Implemented []string
	Omitted     []string
	Statuses    []string
	Eligibility []string
	Note        string
	Source      Source
	Err         string
}

type Card struct {
	TicketID    string
	Title       string
	Status      string
	Kind        string
	Priority    string
	Owner       string
	Milestone   string
	Eligibility string
	NextAction  string
	Revision    string
	Blockers    int
	Unknowns    []Unknown
	Axes        Axes
}

type Chain struct {
	Change       string
	Commit       string
	Base         string
	Profile      string
	SealedPath   string
	Sealed       *Blob
	Binding      []ChainEdge
	Artifacts    []ChainArtifact
	Verification []ChainEdge
	Requirements []ChainRequirement
	Hunks        []ChainHunk
	Detail       *ChainDetail
	Err          string
}

type ChainArtifact struct {
	Path   string
	State  string
	Reason string
	Source Source
}

type ChainDetail struct {
	Hunk  ChainHunk
	Lines *Blob
	Range string
	Text  string
	Spans []ChainSpan
	Err   string
}

type ChainEdge struct {
	Gap      string
	Reason   string
	Target   string
	Artifact string
	Field    string
	Pin      string
	Detail   string
	Anchor   string
	Axes     Axes
}

type ChainHunk struct {
	Field        string
	ID           string
	Path         string
	Disposition  string
	Reason       string
	Old          wireRange
	New          wireRange
	Evidence     []ChainEdge
	Requirements []ChainEdge
}

type ChainRequirement struct {
	ID           string
	Anchor       string
	Disposition  string
	Reason       string
	Clause       []ChainEdge
	Hunks        []ChainEdge
	Claims       []ChainEdge
	Verification []ChainEdge
}

type ChainSpan struct {
	Edge ChainEdge
	Text string
}

type Clause struct {
	Requirement Requirement
	Spec        *SpecEntry
	Text        string
	Source      Source
	Err         string
}

type CodeBacklinks struct {
	Commit       string
	Requirements []RequirementLink
	Gap          string
	Truncated    bool
}

type CodeLink struct {
	Path     string
	ObjectID string
	Gap      string
}

type Column struct {
	Status   string
	Unmapped bool
	Cards    []Card
}

type Control struct {
	Verb            string
	Label           string
	Enabled         bool
	Reason          string
	PayloadTemplate string
	NeedsPayload    bool
}

type Dashboard struct {
	Binary  string
	Root    string
	Timeout time.Duration
}

type Detail struct {
	TicketID      string
	Card          Card
	Record        map[string]any
	Blockers      *Envelope
	Show          Source
	BlockerSource Source
	Envelope      *Envelope
	Err           string
	Untrusted     []string
	Requirements  []string
}

type Dogfood struct {
	Profile   string        `json:"profile"`
	Base      string        `json:"base"`
	Target    string        `json:"target"`
	Complete  bool          `json:"complete"`
	Steps     []DogfoodStep `json:"steps"`
	OCMStatus any           `json:"ocmStatus"`
	Outcome   *string       `json:"localOutcomeEvidenceSha256"`
	Anchor    struct {
		State     string  `json:"state"`
		MergeBase *string `json:"mergeBase"`
	} `json:"anchor"`
	Check any `json:"dogfoodCheck"`
	// PacketCoverage is absent from reports written before DCW-V0-016.
	PacketCoverage []DogfoodPacket `json:"packetCoverage"`

	// Path, ModifiedAt and Source describe where the report was read from.
	// Absent is what distinguishes "no loop has run here" from "the loop ran
	// and produced nothing", which LAC-V0-008 forbids collapsing together.
	Path       string    `json:"-"`
	ModifiedAt time.Time `json:"-"`
	Absent     bool      `json:"-"`
	Source     Source    `json:"-"`
	Err        string    `json:"-"`
}

type DogfoodPacket struct {
	Step            string `json:"step"`
	Status          string `json:"status"`
	Reason          string `json:"reason"`
	PacketBytes     int    `json:"packet_bytes"`
	BudgetBytes     *int   `json:"budget_bytes"`
	WithinBudget    bool   `json:"within_budget"`
	IncludedResults int    `json:"included_results"`
	OmittedResults  int    `json:"omitted_results"`
}

type DogfoodStep struct {
	Name   string `json:"name"`
	Status string `json:"status"`
	Reason string `json:"reason"`
}

type Entry struct {
	Path     string
	Name     string
	ObjectID string
	Bytes    string
}

type Envelope struct {
	Profile   string           `json:"profile"`
	Command   []string         `json:"command"`
	Outcome   string           `json:"outcome"`
	Codes     []string         `json:"codes"`
	Warnings  []string         `json:"warnings"`
	Items     []map[string]any `json:"items"`
	Untrusted []string         `json:"untrusted"`
	Page      map[string]any   `json:"page"`
}

type Evidence struct {
	Schema      string
	GeneratedAt string
	Digest      string
	ScanState   string
	Worktree    string
	HeadRev     string
	TreeRev     string
	DirtyCount  string
	Privacy     []KeyValue
	Families    []MetricFamily
	Sources     []SnapshotSource
	Issues      []Issue
	Total       int
	Source      Source
	Err         string
	Refused     bool
	Code        string
}

type ExitError struct{ Status int }

type Issue struct {
	Code     string
	Severity string
	SourceID string
	Observed string
	Limit    string
}

type KeyValue struct{ Key, Value string }

type Listing struct {
	Dir       string
	Revision  string
	Entries   []Entry
	Truncated bool
	Source    Source
	Err       string
}

type Metric struct {
	Name       string
	Unit       string
	Value      string
	Scope      string
	Dimensions string
	SourceIDs  []string
	Exclusions []string
	Axes       Axes
	Unmeasured bool
}

type MetricFamily struct {
	Name    string
	Metrics []Metric
}

type MutationRequest struct {
	Verb      string
	TicketID  string
	Expected  string
	Payload   string
	RequestID string
	IssuedAt  string
}

type MutationResult struct {
	Request  MutationRequest
	Envelope *Envelope
	Source   Source
	Conflict bool
	Err      string
}

type Options struct {
	Addr   string // loopback host:port
	Repo   string // the repository whose ticket store is administered
	Binary string // the `corvint-tasks` executable
	// Specs is the repository holding `docs/specs/REQUIREMENTS.tsv` and
	// `docs/specs/INDEX.json`, and the tree the code pane reads. It is
	// separate from Repo because a ticket store and the spec corpus that
	// governs it need not be the same repository (decision 0081).
	Specs string
	// Snapshot is the `corvint-dashboard-snapshot` executable. The evidence pane
	// compiles no snapshot of its own: it runs this tool and renders what the
	// tool wrote, the same delegation the board makes to `corvint-tasks` (LAC-V0-004).
	Snapshot string
	Timeout  time.Duration
}

type ProcessError struct {
	Kind  string
	Cause error
}

type Refusal struct {
	Heading  string
	Outcome  string
	Codes    []string
	Warnings []string
	Err      string
	Source   Source
}

type Requirement struct {
	ID    string
	File  string
	Line  int
	Title string
}

type RequirementLink struct {
	ID   string
	Spec string
	Gap  string
}

type RequirementLinks struct {
	Clause *Clause
	Commit string
	Spec   *Blob
	Code   []CodeLink
	Gap    string
}

type Revision struct {
	Commit     string
	Dirty      bool
	DirtyPaths []string
	Err        string
}

type Roadmap struct {
	Groups    []RoadmapGroup
	Envelope  *Envelope
	Source    Source
	Total     int
	Untrusted []string
	Err       string

	Page       int
	PageSize   int
	PrevPage   int
	NextPage   int
	HasPrev    bool
	HasNext    bool
	TotalKnown bool
	TotalCount int
}

type RoadmapGroup struct {
	Milestone string
	Unmapped  bool
	Rows      []RoadmapRow
}

type RoadmapRow struct {
	TicketID      string
	Title         string
	Milestone     string
	Order         string
	Owner         string
	Priority      string
	Status        string
	Kind          string
	Eligibility   string
	NextAction    string
	RequiredGates []string
	GateResults   string
	Blockers      *Envelope
	BlockerSource Source
}

type Server struct {
	// contains filtered or unexported fields
}

type SnapshotSource struct {
	ID         string
	Label      string
	AdapterID  string
	Profile    string
	VerifierID string
	Digest     string
	Bytes      string
	Exclusions []string
	Axes       Axes
}

type Source struct {
	Argv        []string
	Tool        string
	Revision    string
	Worktree    string
	ObservedAt  time.Time
	Axes        Axes
	Err         string
	Outcome     string
	Codes       []string
	Warnings    []string
	UntrustedIn []string
}

type SpecEntry struct {
	Path      string `json:"path"`
	Title     string `json:"title"`
	ReqPrefix string `json:"reqPrefix"`
	Intent    string `json:"intent"`
	Delivery  string `json:"delivery"`
	Claim     string `json:"claim"`
}

type SpecLookup struct {
	Root string
}

type Taskman struct {
	Binary   string
	Repo     string
	Version  string
	Revision string
	Timeout  time.Duration
}

type Unknown struct {
	Code   string
	Detail string
	Ticket string
}

type Worktree struct {
	Root    string
	Timeout time.Duration
}