render

type Caps struct {
	MaxRows        int
	MaxCellChars   int
	MaxOutputBytes int
	// CutNote is the footer line that tells how many cells were cut; nil
	// gives the default wording.
	CutNote func(cells, maxChars int) string
}

type Cells struct {
	Header []string
	Rows   [][]string
	Footer []string
}

type Line []Part

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

type Masking struct {
	// Detectors find personal values in any text (pii.Detectors); none
	// is every detector (pii.AllDetectors), never no detection.
	Detectors []pii.Detector
	// Personal reports a personal column; nil is pii.LooksPersonalColumn.
	Personal func(column, typ string) bool
}

type Part struct {
	Text string
	// Value marks a value; structure is masked only where a detector finds
	// personal data in it.
	Value bool
	// Column and ColumnType name where the value goes or comes from ("email",
	// "varchar"); "" when unknown.
	Column, ColumnType string
}

type ScreenSource struct {
	// Header names the request ("db / shop · tier read").
	Header string
	// Note is the agent's one-line reason (untrusted).
	Note string
	// Body are the lines of the request; Warnings are shown in red.
	Body     []Line
	Warnings []string
	// Red frames the screen in red outside production too.
	Red bool
}

type Table struct {
	Columns   []string
	Rows      [][]any
	Truncated bool // more rows exist beyond the producer's own cap
	Affected  int64
	// Cut marks the cells (row, column) the producer already cut while
	// reading them; they count in the cut-cells note.
	Cut map[[2]int]bool
}