delta

package
v1.0.0-rc.2 Latest Latest
Warning

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

Go to latest
Published: Oct 6, 2026 License: AGPL-3.0, AGPL-3.0-or-later Imports: 23 Imported by: 0

Documentation

Overview

Package delta joins immutable change evidence without emitting source prose.

Index

Constants

GitOperations is the declared Git operation bound for one compilation. Immutable source reads cost one operation per first-listed directory and one per blob read, and every provider walk is capped at affected.MaxWalkEntries, so the frozen 1,024-operation default would refuse any medium repository. Blob bodies are not cached (BlobBytesBounded runs on every open), so the 2x allowance counts provider reads, not distinct paths: a blob reread by another provider costs again. Exhaustion stays fail-closed: the graph becomes immutable-graph-unavailable and the record requires the full suite.

View Source
const MaxObservations = 4096
View Source
const MaxPreviousBytes = 16 << 20
View Source
const MaxProviderBytes = 1 << 20
View Source
const MaxProviderTotalBytes = 16 << 20
View Source
const MaxProviders = 32
View Source
const Schema = "corvint-delta/0"

Variables

This section is empty.

Functions

This section is empty.

Types

type Denominators

type Denominators struct {
	LexicalFlows  int    `json:"lexicalFlows"`
	AffectedUnits int    `json:"affectedUnits"`
	Runtime       string `json:"runtime"`
	Complete      bool   `json:"complete"`
}

type Gap

type Gap struct {
	ID          string `json:"id"`
	Kind        string `json:"kind"`
	Denominator string `json:"denominator"`
}

type Options

type Options struct {
	Base, Head, Build, PreviousGeneration, WorkKeyPattern string
	Providers                                             []string
	Checkouts                                             []extevidence.Checkout
}

type Record

type Record struct {
	Schema                  string       `json:"schema"`
	Base                    string       `json:"base"`
	Head                    string       `json:"head"`
	Tree                    string       `json:"tree"`
	Build                   string       `json:"build"`
	ChangedPathDigest       string       `json:"changedPathDigest"`
	ChangedPaths            []string     `json:"changedPaths"`
	InputDigests            []string     `json:"inputDigests"`
	Documentation           []Span       `json:"documentation"`
	Tests                   []Test       `json:"tests"`
	RunFullSuite            bool         `json:"runFullSuite"`
	MandatoryChecksRequired bool         `json:"mandatoryChecksRequired"`
	Gaps                    []Gap        `json:"gaps"`
	Denominators            Denominators `json:"denominators"`
	WorkKeys                []string     `json:"workKeys"`
	Unknowns                []Unknown    `json:"unknowns"`
	Decision                string       `json:"decision"`
}

func Compile

func Compile(ctx context.Context, root string, o Options) (Record, error)

func (Record) Canonical

func (r Record) Canonical() ([]byte, error)

type Refusal

type Refusal string

Refusal is a closed compiler refusal code from the spec's error table. Compile returns no other error, so a caller can emit the code unchanged.

func (Refusal) Error

func (r Refusal) Error() string

type Span

type Span struct {
	ID     string `json:"id"`
	Path   string `json:"path"`
	State  string `json:"state"`
	Digest string `json:"digest"`
}

type Test

type Test struct {
	Path       string `json:"path"`
	Repository string `json:"repository"`
	Unit       string `json:"unit"`
	Origin     string `json:"origin"`
	Confidence string `json:"confidence"`
}

type Unknown

type Unknown struct {
	Code   string `json:"code"`
	Count  int    `json:"count"`
	Digest string `json:"digest"`
}

Jump to

Keyboard shortcuts

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