lrf

type Context ¶

type Context struct {
	CEMSpec          string
	CEMMapSHA256     string
	PatchSource      string
	BaseRevision     string
	TargetRevision   *string
	PatchSHA256      string
	ExcludedPath     *string
	OCMSpec          *string
	OCMMapSHA256     *string
	IntentPath       *string
	IntentBlobOID    *string
	IntentStart      *int64
	IntentEnd        *int64
	IntentSpanSHA256 *string
}

Context is the successful structural-verification envelope bound into every LRF result.

type Error ¶

type Error struct {
	Code    string
	Message string
}

Error is a structural, compatibility, or operational failure for which no LRF result bytes may be emitted.

func (e *Error) Error() string

type Evidence ¶

type Evidence struct {
	ID   string
	Path string
	Span []byte
}

Evidence is a verified evidence identity paired with its exact pinned span.

type Hunk ¶

type Hunk struct {
	ID          string
	OldPath     *string
	NewPath     *string
	Added       []byte
	Disposition string
	Basis       []wire.Basis
	Ordinal     int
}

Hunk is a verified patch hunk paired with its admitted added payload. Basis reuses the CEM wire relation type.

type IssueTuple ¶

type IssueTuple [5]string

type Limits ¶

type Limits struct {
	LexicalBytes  int
	Terms         int
	Edges         int
	Results       int
	Issues        int
	OutputBytes   int
	EvidenceBytes int
	EvidenceLines int
}

Limits are the frozen deterministic evaluation bounds. Values may be tightened by internal conformance callers but never raised above DefaultLimits.

func DefaultLimits() Limits

type Obligation ¶

type Obligation struct {
	ID         string
	Statement  []byte
	HunkIDs    []string
	ClaimPaths []string
	Ordinal    int
}

Obligation is one verified linked OCM obligation projection.

type Request ¶

type Request struct {
	Context     Context
	Hunks       []Hunk
	Evidence    []Evidence
	Obligations []Obligation
}

Request is an immutable post-structural projection; it performs no Git or network access.

type Result ¶

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

Result is the complete canonical LRF result.

func Evaluate(request Request) (Result, error)

func EvaluateWithLimits(request Request, limits Limits) (Result, error)

func (r Result) BoundExceeded() bool

func (r Result) CanonicalBytes() []byte

func (r Result) ExitCode() int

func (r Result) Inputs() [14]any

func (r Result) Issues() []IssueTuple

func (r Result) Results() []ResultTuple

type ResultTuple ¶

type ResultTuple [6]string