Documentation
¶
Overview ¶
Package lspprovider is Corvint's optional local language-server evidence provider (external-evidence-provider-v0 EEP-V0-023..026, task-context-packet-v0 TCP-V0-043..046, decision 0371). It starts gopls once per invocation in an owned process group, asks it for bounded one- and two-hop definition and reference expansion from a few seed files, and returns an external-evidence-provider/2 record of path-to-path relations. The record is external evidence: Core decodes, verifies and labels it exactly as any provider record, and it never becomes project authority.
Index ¶
Constants ¶
const ( ProviderID = "gopls" Schema = "external-evidence-provider/2" RepositoryID = "root" MaxSeeds = 3 MaxHops = 2 MaxRows = 32 MaxRecordBytes = 64 << 10 MaxQueries = 64 Timeout = 20 * time.Second )
Provider identity, schema and bounds (EEP-V0-024, EEP-V0-025).
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Request ¶
type Request struct {
Root, Revision string
Seeds []string
Committed func(path string) (text, blob string, ok bool)
Executable string
}
Request names the repository, the seed paths in priority order, the committed text and blob of a path, and the gopls executable.
Source Files