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
}

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 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
}

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 PlantUMLRenderer struct {
	// SequenceRenderOptions contains common sequence diagram options.
	SequenceRenderOptions

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

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

	// 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 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
}

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
}