transportir

type Cookie struct {
	// Value shares the selected service member and its actual text codec.
	Value            *ValueTarget
	Name             string
	HTTPName         string
	Attribute        *expr.AttributeExpr
	Required         bool
	PrimitivePointer bool
	Path             string
	Domain           string
	MaxAge           string
	Secure           bool
	HTTPOnly         bool
	SameSite         expr.CookieSameSiteValue
}

type Endpoint struct {
	Service        *Service
	Name           string
	MethodName     string
	Description    string
	Meta           expr.MetaExpr
	MethodMeta     expr.MetaExpr
	MethodDocs     *expr.DocsExpr
	Generate       bool
	MethodGenerate bool
	IsJSONRPC      bool
	Request        *Request
	Response       *Response
	Routes         []*Route
	Stream         *Stream
	Redirect       *Redirect
	Security       *Security
}

type Error struct {
	Name      string
	Attribute *expr.AttributeExpr
	Type      expr.DataType
	Remedy    *ErrorRemedy
}

type ErrorRemedy struct {
	Code        string
	SafeMessage string
	RetryHint   string
}

type Header struct {
	// Value shares the selected service member and its actual text codec.
	Value            *ValueTarget
	Name             string
	HTTPName         string
	Attribute        *expr.AttributeExpr
	Required         bool
	PrimitivePointer bool
}

type Parameter struct {
	// Value shares the selected service member and its actual text codec.
	Value            *ValueTarget
	Name             string
	HTTPName         string
	In               string
	Attribute        *expr.AttributeExpr
	Required         bool
	PrimitivePointer bool
	Map              bool
	MapQueryParams   *string
	StringSlice      bool
	Slice            bool
}

type Redirect struct {
	URL        string
	StatusCode int
}

type Request struct {
	Payload *expr.AttributeExpr
	// BodyValue shares service source authority for the request body.
	BodyValue *ValueTarget
	// DocumentValue has documentation-only source authority when explicitly authored.
	DocumentValue *ValueTarget
	// DocumentValues records separately declared documentation media representations.
	DocumentValues map[string]*ValueTarget
	// StreamingValue shares the service streaming-payload occurrence.
	StreamingValue *ValueTarget
	Body           *expr.AttributeExpr
	// DocumentBody is the documentation-only request body schema.
	DocumentBody *expr.AttributeExpr
	// DocumentContentTypes are the documentation-only request media types.
	DocumentContentTypes []string
	// DocumentRequired is the documentation-only request body requiredness.
	DocumentRequired bool
	// StreamingBody is the body of the WebSocket messages of a streaming
	// payload, normalized like Body: named non-object types, including
	// named unions, are replaced with their underlying types.
	StreamingBody *expr.AttributeExpr
	// BodyOrigin is the attribute name of the payload attribute selected
	// with Body(name), or empty when the body is not one attribute.
	BodyOrigin string
	// BodyOriginKey is the object key of the payload attribute that
	// BodyOrigin names, such as "v:x" for "v". Requiredness, defaults
	// and pointer semantics of the attribute are looked up by this key.
	BodyOriginKey       string
	PathParams          []*Parameter
	QueryParams         []*Parameter
	Headers             []*Parameter
	Cookies             []*Parameter
	MapQueryParams      *string
	Multipart           bool
	FormEncoded         bool
	OptionalBody        bool
	MustHaveBody        bool
	SkipBodyEncode      bool
	IDAttribute         string
	IDAttributeRequired bool
}

type Response struct {
	Result          *expr.AttributeExpr
	StreamingResult *expr.AttributeExpr
	// Responses holds tagged responses in authored priority order, followed by
	// the unique untagged application response checked by expression validation.
	Responses           []*ResponseStatus
	ErrorResponses      []*ResponseStatus
	HasMixedResults     bool
	SkipBodyEncode      bool
	FileResponse        bool
	IDAttribute         string
	IDAttributeRequired bool
}

type ResponseContractAnalysis struct {
	// Cases lists the declared response branches in design order.
	Cases []*ResponseContractCase
	// Limitations explains why cases could not be produced.
	Limitations []ResponseContractLimitation
}

type ResponseContractCase struct {
	// ID is stable across generation when the service contract is unchanged.
	ID string
	// Kind distinguishes successful results from service errors.
	Kind ResponseContractCaseKind
	// Transport identifies the response protocol.
	Transport ResponseContractTransport
	// StatusCode is the declared HTTP response status.
	StatusCode int
	// ErrorName is the declared service error name for error cases.
	ErrorName string
	// TagName is the result field selecting a tagged success response.
	TagName string
	// TagValue is the result field value selecting a tagged success response.
	TagValue string
	// ContentTypes lists the declared response media types.
	ContentTypes []string
	// HasBody reports whether the response contract asserts a body media type.
	HasBody bool
	// Headers lists the declared response header assertions.
	Headers []ResponseContractHeader
	// Cookies lists the declared response cookie assertions.
	Cookies []ResponseContractCookie
	// Multipart describes the designed multipart request, if present.
	Multipart *ResponseContractMultipartRequest
	// SSE describes stream assertions for an SSE success case.
	SSE *ResponseContractSSE
	// WebSocket describes stream assertions for a WebSocket success case.
	WebSocket *ResponseContractWebSocket
}

type ResponseContractCaseKind string

type ResponseContractCookie struct {
	// Name is the result or error attribute mapped to the cookie.
	Name string
	// HTTPName is the wire cookie name.
	HTTPName string
	// Required reports whether the mapped attribute is required.
	Required bool
	// Path is the declared cookie Path attribute.
	Path string
	// Domain is the declared cookie Domain attribute.
	Domain string
	// MaxAge is the declared cookie Max-Age attribute.
	MaxAge string
	// Secure reports whether the cookie is restricted to secure transports.
	Secure bool
	// HTTPOnly reports whether scripts are denied cookie access.
	HTTPOnly bool
	// SameSite is the declared cookie SameSite policy.
	SameSite expr.CookieSameSiteValue
}

type ResponseContractHeader struct {
	// Name is the result or error attribute mapped to the header.
	Name string
	// HTTPName is the wire header name.
	HTTPName string
	// Required reports whether the mapped attribute is required.
	Required bool
}

type ResponseContractLimitation struct {
	// Code identifies the unsupported endpoint feature.
	Code ResponseContractLimitationCode
	// Detail explains the limitation for diagnostics.
	Detail string
}

type ResponseContractLimitationCode string

type ResponseContractMultipartPart struct {
	// Name is the multipart form field name.
	Name string
	// MediaType is the default media type for the part value.
	MediaType string
	// Required reports whether the request body requires the part.
	Required bool
}

type ResponseContractMultipartRequest struct {
	// ContentType is the request media type.
	ContentType string
	// Parts lists the designed multipart fields in body order.
	Parts []ResponseContractMultipartPart
}

type ResponseContractSSE struct {
	// Direction is the designed stream direction.
	Direction string
	// MessageType is the designed streaming result type name.
	MessageType string
	// DataField is the result field encoded into SSE data, if any.
	DataField string
	// DataEncoding identifies whether SSE data is JSON or plain text.
	DataEncoding string
	// IDField is the result field encoded into SSE id, if any.
	IDField string
	// EventField is the result field encoded into SSE event, if any.
	EventField string
	// RetryField is the result field encoded into SSE retry, if any.
	RetryField string
	// IDRequired reports whether every observed event must include an ID.
	IDRequired bool
	// EventTypeRequired reports whether every observed event must include a type.
	EventTypeRequired bool
	// EventTypes lists allowed projection discriminator values, if constrained.
	EventTypes []string
	// Terminal identifies the expected stream completion behavior.
	Terminal string
}

type ResponseContractTransport string

type ResponseContractWebSocket struct {
	// Direction is the designed stream direction.
	Direction string
	// InboundMessageType is the designed client-to-server message type name.
	InboundMessageType string
	// OutboundMessageType is the designed server-to-client message type name.
	OutboundMessageType string
	// HandshakeHeaders lists required WebSocket upgrade response headers.
	HandshakeHeaders []string
	// Terminal identifies the expected stream completion behavior.
	Terminal string
}

type ResponseLink struct {
	Name         string
	Operation    string
	OperationRef string
	Description  string
	RequestBody  string
	Parameters   map[string]string
}

type ResponseStatus struct {
	// BodyValue carries the effective result or error occurrence.
	BodyValue *ValueTarget
	// BodyValues binds each advertised media label to the actual server encoder
	// authority. A mapped header alone does not select that encoder.
	BodyValues map[string]*ValueTarget
	// DocumentValue carries the documentation body authority.
	DocumentValue *ValueTarget
	// DocumentValues records per-media schema authority: actual encoder plans
	// for inherited bodies, declared media contracts for independent bodies.
	DocumentValues map[string]*ValueTarget
	// IndependentDocumentBody marks an authored OpenAPIBody contract.
	IndependentDocumentBody bool
	Error                   *Error
	StatusCode              int
	Description             string
	ContentType             string
	ContentTypes            []string
	Headers                 []*Header
	Cookies                 []*Cookie
	Body                    *expr.AttributeExpr
	DocumentBody            *expr.AttributeExpr
	BodyOrigin              string
	TagName                 string
	TagValue                string
	IsError                 bool
	EmitExamples            bool
	IsWebSocket             bool
	BinaryBody              bool
	Meta                    expr.MetaExpr
	Links                   []*ResponseLink
}

type Route struct {
	Index      int
	Method     string
	Path       string
	SourcePath string
	Wildcards  []string
}

type SSE struct {
	RequestIDField     string
	RequestIDPointer   bool
	NotificationMethod string
	DataField          string
	IDField            string
	EventField         string
	RetryField         string
	Projections        []*expr.SSEProjectionExpr
}

type Security struct {
	Requirements []*expr.SecurityExpr
	Parameters   []*SecurityParameter
	Disabled     bool
}

type SecurityParameter struct {
	Name       string
	In         string
	SchemeName string
}

type Service struct {
	Name            string
	Meta            expr.MetaExpr
	ServiceMeta     expr.MetaExpr
	Generate        bool
	ServiceGenerate bool
	Endpoints       []*Endpoint
}

type Stream struct {
	// RequestValue and ResponseValue carry stream message source authority.
	RequestValue     *ValueTarget
	ResponseValue    *ValueTarget
	Kind             expr.StreamKind
	Direction        string
	IsStreaming      bool
	Transport        string
	IsSSE            bool
	IsWebSocket      bool
	HasMixedResults  bool
	RequestHasBody   bool
	RequestPayload   *expr.AttributeExpr
	RequestMessage   *expr.AttributeExpr
	ResponseMessage  *expr.AttributeExpr
	HandshakeMethod  string
	HandshakeStatus  int
	HandshakeContent string
	SSE              *SSE
}

type ValueExample struct {
	// Source owns the occurrence and resolved or synthesized result.
	Source *service.ValueData
	// Authored is the opaque authored source, or zero for synthesis.
	Authored expr.ValueSource
	// Plan is the matching target representation for Source.Occurrence.
	Plan expr.ValuePlan
	// Summary is detached authored metadata.
	Summary string
	// Description is detached authored metadata.
	Description string
	// Meta is detached authored metadata.
	Meta expr.MetaExpr
}

type ValueExampleSet struct {
	// Examples retains an authored group in declaration order.
	Examples []ValueExample
	// Representative is the selected authored entry or synthesized value.
	Representative *ValueExample
	// Prepared distinguishes an empty or suppressed set from missing analysis.
	Prepared bool
}

type ValueTarget struct {
	// Source is the shared effective service occurrence and selected result.
	Source *service.ValueData
	// Anchor retains the original service occurrence when a transport-local
	// authored group owns Source.
	Anchor *service.ValueData
	// Selection is an authored member path within Source.
	Selection []string
	// Codec is selected by actual transport behavior, never media labels.
	Codec expr.ValueCodec
	// SSEDataField identifies the physical field passed to EncodeSSEData.
	// Its codec is derived from the emitted type and presence layout.
	SSEDataField string
	// Plan is populated only after actual emitter policies are available.
	Plan expr.ValuePlan
	// AnchorPlan projects values owned by Anchor through this target.
	AnchorPlan expr.ValuePlan
	// ExampleOccurrence is the independently captured effective target used
	// only to own transport-local authored examples.
	ExampleOccurrence expr.ValueOccurrence
	// ExamplePlan projects values owned by ExampleOccurrence through this target.
	ExamplePlan expr.ValuePlan
	// Examples retains the selected authored group in declaration order.
	Examples []ValueExample
	// Representative retains the last entry of Examples when an authored
	// group applies; otherwise it retains the selected or synthesized result.
	Representative *ValueExample
	// ExamplesPrepared reports that the explicit preparation stage ran, even
	// when suppression or projection failure leaves no emitted value.
	ExamplesPrepared bool
	// ExampleSets binds each schema-plan node to the examples prepared for
	// that exact documentation occurrence. Records retain their own semantic
	// owners and projection plans; schema traversal never reselects a source.
	ExampleSets map[expr.ValuePlanNode]*ValueExampleSet
	// Error retains a plan construction failure for consuming analysis.
	Error error
	// Boundary records an external codec whose guarantees are not built-in JSON.
	Boundary string
	// Documentary excludes runtime decoding claims for a documentation-only target.
	Documentary bool
}