schemaexec

type AValue struct {
	Kind    ValueKind
	Schema  *oas3.Schema
	Closure *Closure
}

type AllocOrigin struct {
	PC       int    // Program counter where allocation occurred
	Context  string // Semantic context (e.g., "reduce_accumulator", "map_accumulator")
	CallSite int    // Return address of the enclosing call frame (-1 at top level)
}

type Analysis struct {
	// Output is the inferred output schema (usable as the projected response
	// shape). Nil when the query provably produces no output (Bottom).
	Output *oas3.Schema

	// Verdict classifies the result; see the Verdict constants.
	Verdict Verdict

	// Causes holds human-readable explanations with schema locations for
	// VerdictUnverifiable and VerdictProvenBroken, e.g.
	// "property access on non-object type at $.anyOf[0]".
	Causes []string

	// Semantics records the schema interpretation mode the analysis ran
	// under. Verdicts are only meaningful relative to it: under the default
	// SchemaSemanticsSpeakeasy, "valid input" means a value as modeled by
	// Speakeasy's generators (closed objects, implied types), NOT an
	// arbitrary payload the wire could carry. Under SchemaSemanticsRaw a
	// missing property is never provably broken without an explicit
	// additionalProperties: false.
	Semantics SchemaSemantics
}

type ArrayCardinality struct {
	MinItems *int // Lower bound: 0 = maybe-empty, 1+ = must-be-non-empty
	MaxItems *int // Upper bound: nil = unbounded
}

type Closure struct {
	PC         int
	ScopeIndex int
}

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

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

type LogLevel int

type Logger interface {
	// Debugf, Infof, Warnf, Errorf log formatted messages at respective levels.
	Debugf(format string, args ...any)
	Infof(format string, args ...any)
	Warnf(format string, args ...any)
	Errorf(format string, args ...any)

	// With returns a child logger augmented with the provided fields.
	With(fields map[string]any) Logger
}

type MergeMode int

type PathAllElements struct{}

type PathSegment struct {
	Key        interface{} // string, int, PathWildcard, or PathAllElements
	IsSymbolic bool        // True for unknown-index and all-elements segments
}

type PathWildcard struct{}

type SValue struct {
	Schema *oas3.Schema
	// contains filtered or unexported fields
}

type SchemaExecOptions struct {
	// Semantics selects the schema interpretation mode (see SchemaSemantics).
	// The zero value is SchemaSemanticsSpeakeasy.
	Semantics SchemaSemantics

	// Limits to prevent combinatorial explosion
	AnyOfLimit int // Max branches in anyOf before widening (default: 10)
	EnumLimit  int // Max enum values before widening to plain type (default: 50)
	MaxDepth   int // Max recursion depth (default: 100)

	// Behavior flags
	StrictMode     bool // If true, fail on unsupported ops; if false, widen to Top (default: false)
	EnableWarnings bool // If true, collect precision-loss warnings (default: true)
	EnableMemo     bool // If true, enable memoization for performance (default: true)

	// Widening level controls how aggressively we simplify schemas
	// 0 = none (keep all precision)
	// 1 = conservative (keep types, drop facets when limits exceeded)
	// 2 = aggressive (collapse to Top when limits exceeded)
	WideningLevel int // default: 1

	// Logging configuration
	LogLevel             string // Log level: "", "error", "warn", "info", "debug". Default "": no output — the library is silent on stdout/stderr unless a level is set.
	LogMaxEnumValues     int    // Max enum values to show in logs (default: 5)
	LogMaxProps          int    // Max object properties to show in logs (default: 5)
	LogStackPreviewDepth int    // Max stack depth to preview in logs (default: 3)
	LogSchemaDeltas      bool   // If true, include schema deltas in debug logs (default: true)
	// contains filtered or unexported fields
}

type SchemaExecResult struct {
	Schema   *oas3.Schema // The resulting schema after transformation
	Warnings []string     // Warnings about precision loss or unsupported operations
}

type SchemaLogOptions struct {
	LogMaxEnumValues     int // default 5
	LogMaxProps          int // default 5
	LogMaxAnyOfBranches  int // default 5
	LogStackPreviewDepth int // default 3 (not used here, but kept for parity)
}

type SchemaSemantics int

type ValueKind uint8

type Verdict int