render

type D2Renderer struct {
	// SequenceRenderOptions contains common sequence diagram options.
	SequenceRenderOptions

	// Style determines the diagram style (sequence, flow, or arch).
	Style D2Style

	// ShowDescriptions includes flow descriptions as tooltips.
	ShowDescriptions bool

	// Direction sets the diagram direction (down, right, left, up).
	Direction string

	// ShowStepTypes includes visual styling for process step types.
	ShowStepTypes bool
}

type D2Style string

type DOTRenderer struct {
	// Title includes the protocol name as graph label.
	Title bool

	// RankDir sets the graph direction (LR, TB, RL, BT).
	RankDir string

	// MergeEdges combines multiple flows between the same entities.
	MergeEdges bool

	// ShowPhases groups nodes by phase using subgraphs.
	ShowPhases bool

	// ShowConditions includes condition text in edge labels.
	ShowConditions bool

	// ShowAnnotations includes annotation counts in edge labels.
	ShowAnnotations bool
}

type Format string

type InfographicOptions struct {
	// Canvas size preset
	Size InfographicSize

	// Custom dimensions (override Size preset)
	Width  int
	Height int

	// Theme
	Theme InfographicTheme

	// Title to display at top (optional)
	Title string

	// Animation
	AnimateDots       bool    // Enable animated dots on edges
	DotSpeed          float64 // Animation duration in seconds
	DotsPerEdge       int     // Number of dots per edge
	BidirectionalDots bool    // Dots go both directions

	// Layout
	Direction string // "horizontal" or "vertical"
	Padding   int    // Padding around content

	// Simplification
	MaxNodes       int  // Warn if exceeded
	TruncateLabels int  // Max label chars (0 = no truncation)
	ShowLabels     bool // Show node labels
	ShowEdgeLabels bool // Show edge labels

	// Styling
	NodeRadius      int  // Corner radius for rectangle nodes
	StrokeWidth     int  // Line thickness
	FontSize        int  // Base font size
	TitleFontSize   int  // Title font size
	UseCustomShapes bool // Use shape based on entity/step type
}

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

type InfographicSize string

type InfographicTheme string

type MarkdownMatrixRenderer struct {
	// Title includes a title header
	Title bool
	// ShowDescription includes entity descriptions
	ShowDescription bool
}

type MermaidComponentRenderer struct {
	// Title includes the protocol name as diagram title.
	Title bool

	// ShowEntities includes entity nodes within components.
	ShowEntities bool

	// ShowRoles includes protocol roles on components.
	ShowRoles bool
}

type MermaidRenderer struct {
	// SequenceRenderOptions contains common sequence diagram options.
	SequenceRenderOptions

	// Autonumber adds sequence numbers to messages.
	Autonumber bool

	// ShowStepTypes includes step type indicators for process specs.
	ShowStepTypes bool
}

type MermaidStateRenderer struct {
	// Title includes the protocol name as diagram title.
	Title bool

	// EntityFilter limits output to a specific entity (empty for all).
	EntityFilter string

	// ShowDescriptions includes state descriptions as notes.
	ShowDescriptions bool
}

type MermaidTrustRenderer struct {
	// Title includes the protocol name as diagram title.
	Title bool

	// ShowCredentials includes credential types on edges.
	ShowCredentials bool

	// ShowComponents groups entities by their components.
	ShowComponents bool
}

type NodeShape string

type OutlineJSONRenderer struct{}

type OutlineRenderer struct{}

type PlantUMLRenderer struct {
	// SequenceRenderOptions contains common sequence diagram options.
	SequenceRenderOptions

	// ShowDescriptions includes flow descriptions as notes.
	ShowDescriptions bool

	// ShowStepTypes includes visual styling for process step types.
	ShowStepTypes bool
}

type PostmanBody struct {
	Mode    string             `json:"mode"`
	Raw     string             `json:"raw"`
	Options *PostmanRawOptions `json:"options,omitempty"`
}

type PostmanCollection struct {
	Info     PostmanInfo       `json:"info"`
	Item     []PostmanItem     `json:"item"`
	Event    []PostmanEvent    `json:"event,omitempty"`
	Variable []PostmanVariable `json:"variable,omitempty"`
}

type PostmanEnvironment struct {
	ID     string                    `json:"id"`
	Name   string                    `json:"name"`
	Values []PostmanEnvironmentValue `json:"values"`
	Scope  string                    `json:"_postman_variable_scope"`
}

type PostmanEnvironmentRenderer struct {
	Name   string
	Target *PostmanTarget
}

type PostmanEnvironmentValue struct {
	Key     string `json:"key"`
	Value   string `json:"value"`
	Type    string `json:"type"`
	Enabled bool   `json:"enabled"`
}

type PostmanEvent struct {
	Listen string        `json:"listen"`
	Script PostmanScript `json:"script"`
}

type PostmanHeader struct {
	Key   string `json:"key"`
	Value string `json:"value"`
}

type PostmanInfo struct {
	PostmanID   string `json:"_postman_id"`
	Name        string `json:"name"`
	Description string `json:"description,omitempty"`
	Schema      string `json:"schema"`
}

type PostmanItem struct {
	ID          string            `json:"id,omitempty"`
	Name        string            `json:"name"`
	Description string            `json:"description,omitempty"`
	Item        []PostmanItem     `json:"item,omitempty"`
	Request     *PostmanRequest   `json:"request,omitempty"`
	Response    []PostmanResponse `json:"response,omitempty"`
	Event       []PostmanEvent    `json:"event,omitempty"`
}

type PostmanOptions struct {
	// Client is the role whose requests become Postman requests. Empty
	// selects the first entity of type agent or client.
	Client string
	// Signer is a signer profile; SignerNone sends requests directly.
	Signer string
	// Mock saves example responses as Postman examples, adds the
	// x-mock-response-name header, and checks only status codes.
	Mock bool
	// PollLimit is how many times a deferred request is polled before the
	// run fails. Zero means 30.
	PollLimit int
}

type PostmanRawOptions struct {
	Raw struct {
		Language string `json:"language"`
	} `json:"raw"`
}

type PostmanRenderer struct {
	Options PostmanOptions
}

type PostmanRequest struct {
	Method string          `json:"method"`
	Header []PostmanHeader `json:"header"`
	Body   *PostmanBody    `json:"body,omitempty"`
	URL    string          `json:"url"`
}

type PostmanResponse struct {
	Name            string          `json:"name"`
	OriginalRequest *PostmanRequest `json:"originalRequest,omitempty"`
	Status          string          `json:"status"`
	Code            int             `json:"code"`
	Header          []PostmanHeader `json:"header"`
	Body            string          `json:"body"`
	PreviewLanguage string          `json:"_postman_previewlanguage,omitempty"`
}

type PostmanScript struct {
	Type string   `json:"type"`
	Exec []string `json:"exec"`
}

type PostmanTarget struct {
	// Signer is the signing helper's base URL, such as
	// "http://127.0.0.1:8099".
	Signer string `json:"signer,omitempty"`
	// Roles maps a role ID to its base URL.
	Roles map[string]string `json:"roles"`
	// Scenarios maps a scenario ID to role base URLs that apply to that
	// scenario's folder only.
	Scenarios map[string]map[string]string `json:"scenarios,omitempty"`
	// Variables are extra environment variables, such as "mock_url".
	Variables map[string]string `json:"variables,omitempty"`
}

type PostmanVariable struct {
	Key   string `json:"key"`
	Value string `json:"value"`
}

type Renderer interface {
	// Render writes the diagram to the writer.
	Render(w io.Writer, p *pidl.Protocol) error

	// RenderString returns the diagram as a string.
	RenderString(p *pidl.Protocol) (string, error)

	// Format returns the output format name.
	Format() Format
}

type SVGComponentRenderer struct {
	// Title includes a title header
	Title bool
	// Theme selects the color scheme ("light", "dark")
	Theme string
	// ShowEntities shows entities within components
	ShowEntities bool
	// ShowRoles shows protocol roles on components
	ShowRoles bool
}

type SVGNetworkRenderer struct {
	// Animated enables CSS animations.
	Animated bool

	// Theme selects the color scheme ("light", "dark", "auto").
	Theme string

	// Title includes the protocol name in the diagram.
	Title bool

	// Direction is the layout direction ("horizontal" or "vertical").
	Direction string

	// ShowTrust enables trust level display on entities.
	ShowTrust bool

	// InferBoundariesFromTrust infers network boundaries from entity trust levels.
	InferBoundariesFromTrust bool

	// BoundaryOverrides allows CLI-specified boundary assignments.
	// Map of boundary ID to entity IDs.
	BoundaryOverrides map[string][]string
	// contains filtered or unexported fields
}

type SVGRenderer struct {
	// SequenceRenderOptions contains common sequence diagram options.
	SequenceRenderOptions

	// Animated enables CSS animations (moving dots along message lines).
	// This is used by FormatSVGAnimated.
	Animated bool

	// Theme selects the color scheme ("light", "dark", "auto").
	Theme string

	// ShowStepNumbers shows step numbers on messages.
	ShowStepNumbers bool

	// ShowPhases renders phase boxes around grouped flows.
	ShowPhases bool

	// ShowStepTypes includes visual styling for process step types.
	ShowStepTypes bool

	// ParticipantSpacing sets horizontal spacing between participants.
	ParticipantSpacing int

	// MessageSpacing sets vertical spacing between messages.
	MessageSpacing int

	// Template is the name of a built-in template to use.
	Template string

	// TemplateDir is a path to a custom template directory.
	TemplateDir string

	// AnimationConfig contains global animation settings.
	AnimationConfig svg.AnimationConfig
	// contains filtered or unexported fields
}

type SVGTrustRenderer struct {
	// Title includes a title header
	Title bool
	// Theme selects the color scheme ("light", "dark")
	Theme string
	// ShowCredentials shows credential types on edges
	ShowCredentials bool
	// ShowComponents uses component names instead of entity/component IDs
	ShowComponents bool
}

type ScenarioMatrixRenderer struct {
	// Title adds a heading with the protocol name.
	Title bool
	// IncludeFragments adds a column per fragment after the main scenarios.
	IncludeFragments bool
}

type SequenceRenderOptions struct {
	// Title includes the protocol name as diagram title.
	Title bool

	// ShowNotes renders flow notes.
	ShowNotes bool

	// ShowAnnotations renders flow annotations.
	ShowAnnotations bool

	// ShowConditions wraps conditional flows in opt blocks.
	ShowConditions bool

	// ShowAlternatives renders alternative paths.
	ShowAlternatives bool

	// ShowSecurity renders security requirement notes/badges.
	ShowSecurity bool

	// ShowDataPorts renders input/output data ports for process steps.
	ShowDataPorts bool

	// ShowVerification renders flow verification provenance badges.
	ShowVerification bool
}

type TokenTableRenderer struct {
	// Title adds a heading with the protocol name.
	Title bool
}

type TraceRenderer struct {
	// ShowStates includes entity states in output.
	ShowStates bool
	// ShowTimings includes timing information.
	ShowTimings bool
	// HighlightSkipped emphasizes skipped flows.
	HighlightSkipped bool
}

type TraceRendererInterface interface {
	RenderText(trace *pidl.ExecutionTrace, opts TraceTextOptions) string
	RenderMermaid(trace *pidl.ExecutionTrace, p *pidl.Protocol) string
	RenderSVG(trace *pidl.ExecutionTrace, p *pidl.Protocol) (string, error)
}

type TraceTextOptions struct {
	// ShowTimestamps includes step timestamps.
	ShowTimestamps bool
	// ShowStates shows entity states after each step.
	ShowStates bool
	// Compact uses single-line output per step.
	Compact bool
	// UseColors enables ANSI color codes (for terminals).
	UseColors bool
}

type ViewerRenderer struct {
	// Walkthrough produces the embedded data, including analyzer findings.
	Walkthrough *WalkthroughJSONRenderer
}

type WalkthroughJSONRenderer struct {
	// Analysis configures the analyzer run whose findings are attached.
	// Set Analyze to false to attach none.
	Analyze  bool
	Analysis analyze.AnalysisOptions

	// Transform, when set, changes the walkthrough after it is built and
	// before it is written, such as adding a run observed in a real system.
	Transform func(*pidl.Walkthrough) error
}