transport

type Adapter ¶

type Adapter interface {
	Match(identity string) (Spec, bool)
}

Adapter recognizes exact API identities. Implementations must not fall back to method-name matching.

type Direction ¶

type Direction string

const (
	Send    Direction = "send"
	Receive Direction = "receive"
)

type ExactAdapter ¶

type ExactAdapter map[string]Spec

ExactAdapter is the common adapter implementation used by language-specific extractors after they have established a typed/static API identity.

func (a ExactAdapter) Match(identity string) (Spec, bool)

type Operation ¶

type Operation struct {
	Spec
	Channel       string
	ChannelStatus string
	Reliability   string
	PayloadStatus string
	Proof         string
	WrapperDepth  int
	Location      graph.Location
	MessageID     string
	Message       string
	Binding       string
}

Operation is normalized evidence for one callsite. Carries is emitted only when MessageID and Message are both present and PayloadStatus is proven.

type Spec ¶

type Spec struct {
	Protocol            string
	API                 string
	Direction           Direction
	ChannelPosition     int
	PayloadPosition     int
	ReliabilityPosition int
	ChannelField        string
	PayloadField        string
	ReliabilityField    string
}

Spec describes one exact transport API and where it keeps its channel, payload, and reliability evidence. Argument positions are zero-based; NoPosition means the API does not expose that value as an argument. A non-empty Field is a dotted path resolved through the value at that position, which is how libraries that pass a packet struct rather than positional bytes are modelled.