semantic

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Oct 5, 2026 License: Apache-2.0 Imports: 5 Imported by: 0

Documentation

Index

Constants

View Source
const (
	FeatureText             = sdkcontract.FeatureText
	FeatureStreaming        = sdkcontract.FeatureStreaming
	FeatureTools            = sdkcontract.FeatureTools
	FeatureParallelTools    = sdkcontract.FeatureParallelTools
	FeatureVision           = sdkcontract.FeatureVision
	FeatureVideo            = sdkcontract.FeatureVideo
	FeatureAnnotations      = sdkcontract.FeatureAnnotations
	FeatureDocuments        = sdkcontract.FeatureDocuments
	FeatureStructuredOutput = sdkcontract.FeatureStructuredOutput
	FeatureReasoning        = sdkcontract.FeatureReasoning
	FeatureReasoningReplay  = sdkcontract.FeatureReasoningReplay
	FeatureAssistantPhase   = sdkcontract.FeatureAssistantPhase
	FeatureAssistantMedia   = sdkcontract.FeatureAssistantMedia
	FeatureOrderedItems     = sdkcontract.FeatureOrderedItems
	FeatureItemReferences   = sdkcontract.FeatureItemReferences
	FeatureCompaction       = sdkcontract.FeatureCompaction
	FeatureExtensions       = sdkcontract.FeatureExtensions
	FeatureLifecycle        = sdkcontract.FeatureLifecycle
	TransportHTTP           = sdkcontract.TransportHTTP
	TransportStreaming      = sdkcontract.TransportStreaming
	TransportWebSocket      = sdkcontract.TransportWebSocket
	TransportConnector      = sdkcontract.TransportConnector
)

Variables

This section is empty.

Functions

func SelectScenariosForSubject

func SelectScenariosForSubject(subject SubjectDescriptor, corpus []ScenarioDescriptor) (positive []ScenarioID, negative []ScenarioID)

SelectScenariosForSubject filters the scenario corpus into positive and negative scenario lists based on subject capabilities, item dialects, reasoning dialects, compaction dialects, and extension requirements.

Types

type Certification

type Certification struct {
	SubjectID    string                `json:"subject_id"`
	SubjectKind  SubjectKind           `json:"subject_kind"`
	Profile      string                `json:"profile,omitempty"`
	Capabilities []lipapi.Capability   `json:"capabilities,omitempty"`
	Dialects     lipapi.DialectSupport `json:"dialects,omitzero"`
	Transports   []ScenarioTransport   `json:"transports,omitempty"`
	Passed       []ScenarioID          `json:"passed"`
	Negative     []ScenarioID          `json:"negative"`
	Failed       []ScenarioFailure     `json:"failed,omitempty"`
	Executed     bool                  `json:"executed"`
	// ExecutedScenarioIDs is the call-level evidence behind Passed/Negative.
	// Selector output alone is never certification evidence.
	ExecutedScenarioIDs []ScenarioID `json:"executed_scenarios"`
	HarnessCalls        int          `json:"harness_calls"`
}

Certification contains machine-readable TCK certification evidence.

func (Certification) MarshalJSON

func (c Certification) MarshalJSON() ([]byte, error)

MarshalJSON returns serialized JSON certification evidence.

func (Certification) ValidateReleaseReady

func (c Certification) ValidateReleaseReady() error

ValidateReleaseReady verifies the certification has no failures, valid metadata, exact scenario corpus membership, exact positive/negative selection alignment, and uniqueness.

type ExecutionEvidence

type ExecutionEvidence struct {
	ScenarioID            ScenarioID `json:"scenario_id"`
	Executed              bool       `json:"executed"`
	BoundaryCalls         int        `json:"boundary_calls"`
	UpstreamCalls         int        `json:"upstream_calls"`
	Opened                bool       `json:"opened"`
	EffectiveCapabilities bool       `json:"effective_capabilities"`
	Derived               bool       `json:"derived"`
	ExactMatch            bool       `json:"exact_match"`
	Rejected              bool       `json:"rejected"`
	Accepted              bool       `json:"accepted"`
	CanonicalCall         bool       `json:"canonical_call"`
	WireResponse          bool       `json:"wire_response"`
	ErrorMapped           bool       `json:"error_mapped"`
	StreamValidated       bool       `json:"stream_validated"`
	UsagePresent          bool       `json:"usage_present"`
	LifecycleClosed       bool       `json:"lifecycle_closed"`
	Cancelled             bool       `json:"cancelled"`
}

ExecutionEvidence is emitted by a subject boundary after it executes a scenario. Certification must not manufacture this evidence by calling a lower-level probe itself.

type ScenarioDescriptor

type ScenarioDescriptor = sdkcontract.ScenarioDescriptor

Semantic scenario metadata is defined in the public SDK contract package so connector authors and in-process TCKs consume one corpus.

func BaselineScenarioCorpus

func BaselineScenarioCorpus() []ScenarioDescriptor

BaselineScenarioCorpus returns the shared SDK scenario metadata.

type ScenarioFailure

type ScenarioFailure struct {
	ScenarioID ScenarioID `json:"scenario_id"`
	Reason     string     `json:"reason"`
	Fatal      bool       `json:"fatal"`
}

ScenarioFailure describes a scenario execution failure.

type ScenarioID

type ScenarioID = sdkcontract.ScenarioID

Semantic scenario metadata is defined in the public SDK contract package so connector authors and in-process TCKs consume one corpus.

type ScenarioTransport

type ScenarioTransport = sdkcontract.ScenarioTransport

Semantic scenario metadata is defined in the public SDK contract package so connector authors and in-process TCKs consume one corpus.

type SemanticFeature

type SemanticFeature = sdkcontract.SemanticFeature

Semantic scenario metadata is defined in the public SDK contract package so connector authors and in-process TCKs consume one corpus.

type SubjectDescriptor

type SubjectDescriptor struct {
	ID           string                `json:"id"`
	Kind         SubjectKind           `json:"kind"`
	Profile      string                `json:"profile,omitempty"`
	Capabilities []lipapi.Capability   `json:"capabilities,omitempty"`
	Dialects     lipapi.DialectSupport `json:"dialects,omitzero"`
	// Transports lists the transports supported by this subject. An empty list
	// means the subject accepts the scenario's declared transport.
	Transports []ScenarioTransport `json:"transports,omitempty"`
}

SubjectDescriptor describes a subject certified by TCK.

type SubjectKind

type SubjectKind string

SubjectKind classifies a subject under test.

const (
	KindFrontend        SubjectKind = "frontend"
	KindBackendFamily   SubjectKind = "backend_family"
	KindCanonicalCore   SubjectKind = "canonical_core"
	KindProviderProfile SubjectKind = "provider_profile"
	KindConnector       SubjectKind = "connector"
)

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL