Documentation
¶
Overview ¶
Package delta joins immutable change evidence without emitting source prose.
Index ¶
Constants ¶
const GitOperations = gitrun.DefaultOperations + 2*affected.MaxWalkEntries
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.
const MaxObservations = 4096
const MaxPreviousBytes = 16 << 20
const MaxProviderBytes = 1 << 20
const MaxProviderTotalBytes = 16 << 20
const MaxProviders = 32
const Schema = "corvint-delta/0"
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Denominators ¶
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"`
}
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.