Directories
¶
| Path | Synopsis |
|---|---|
|
Package adapter implements BatchWeaver's backend adapter SDK: a versioned, deterministic model of backend integrations (manifests, capabilities, bindings) and production adapter logic — exact/composite-key PostgreSQL read-batch synthesis with bounded joins over database/sql contracts, Redis cluster hash-slot grouping, and scalar/batch contract verification.
|
Package adapter implements BatchWeaver's backend adapter SDK: a versioned, deterministic model of backend integrations (manifests, capabilities, bindings) and production adapter logic — exact/composite-key PostgreSQL read-batch synthesis with bounded joins over database/sql contracts, Redis cluster hash-slot grouping, and scalar/batch contract verification. |
|
Package adaptive implements BatchWeaver's production optimization and control layer: privacy-safe workload profiling, versioned cost models, a bounded and explainable adaptive scheduler controller, multi-operation execution waves, recursive breadth-first batching for proven traversals, fairness and tenant quotas, overload detection with admission control and load shedding, and deterministic offline replay, simulation, and reporting.
|
Package adaptive implements BatchWeaver's production optimization and control layer: privacy-safe workload profiling, versioned cost models, a bounded and explainable adaptive scheduler controller, multi-operation execution waves, recursive breadth-first batching for proven traversals, fairness and tenant quotas, overload detection with admission control and load shedding, and deterministic offline replay, simulation, and reporting. |
|
Package analysis implements BatchWeaver's static discovery and analysis foundation: it loads real Go programs, builds canonical identities, discovers operation declarations, constructs SSA and a conservative call graph, summarizes observable effects, indexes scalar-operation call sites, and produces a deterministic, versioned analysis snapshot.
|
Package analysis implements BatchWeaver's static discovery and analysis foundation: it loads real Go programs, builds canonical identities, discovers operation declarations, constructs SSA and a conservative call graph, summarizes observable effects, indexes scalar-operation call sites, and produces a deterministic, versioned analysis snapshot. |
|
Package analysiscache implements the bounded, content-addressed cache used by the local workspace daemon.
|
Package analysiscache implements the bounded, content-addressed cache used by the local workspace daemon. |
|
Package assurance contains executable release-candidate verification models.
|
Package assurance contains executable release-candidate verification models. |
|
Package buildinfo exposes a stable, deterministic model of the information that identifies a BatchWeaver build: its version, source revision, build timestamp, and the toolchain and platform it was produced with.
|
Package buildinfo exposes a stable, deterministic model of the information that identifies a BatchWeaver build: its version, source revision, build timestamp, and the toolchain and platform it was produced with. |
|
Package cli implements BatchWeaver's command-line interface using only the standard library.
|
Package cli implements BatchWeaver's command-line interface using only the standard library. |
|
Package configdecode converts YAML and JSON configuration bytes into a uniform, position-aware node tree and provides strict decoding primitives on top of it.
|
Package configdecode converts YAML and JSON configuration bytes into a uniform, position-aware node tree and provides strict decoding primitives on top of it. |
|
Package configload discovers, reads, and include-expands BatchWeaver configuration files into a single merged node tree.
|
Package configload discovers, reads, and include-expands BatchWeaver configuration files into a single merged node tree. |
|
Package configmerge merges decoded configuration node trees according to BatchWeaver's documented version-1 merge semantics.
|
Package configmerge merges decoded configuration node trees according to BatchWeaver's documented version-1 merge semantics. |
|
Package daemon implements BatchWeaver's optional local workspace daemon: a per-workspace process that CLI, LSP, and editor integrations can share to avoid recomputing expensive analysis.
|
Package daemon implements BatchWeaver's optional local workspace daemon: a per-workspace process that CLI, LSP, and editor integrations can share to avoid recomputing expensive analysis. |
|
Package editor is BatchWeaver's editor-agnostic service layer.
|
Package editor is BatchWeaver's editor-agnostic service layer. |
|
Package filesystem provides a minimal filesystem abstraction used by BatchWeaver's project path resolution.
|
Package filesystem provides a minimal filesystem abstraction used by BatchWeaver's project path resolution. |
|
Package gocommand runs the installed Go tool for transformed build, test, and run commands.
|
Package gocommand runs the installed Go tool for transformed build, test, and run commands. |
|
lsp
|
|
|
documents
Package documents maintains the language server's in-memory view of editor buffers: their versions, contents, and the overlay it derives for on-disk analysis.
|
Package documents maintains the language server's in-memory view of editor buffers: their versions, contents, and the overlay it derives for on-disk analysis. |
|
jsonrpc
Package jsonrpc implements the minimal JSON-RPC 2.0 surface BatchWeaver's language server needs, framed with the Language Server Protocol's Content-Length header convention.
|
Package jsonrpc implements the minimal JSON-RPC 2.0 surface BatchWeaver's language server needs, framed with the Language Server Protocol's Content-Length header convention. |
|
protocol
Package protocol defines the subset of Language Server Protocol 3.17 types that BatchWeaver's language server and gopls proxy use.
|
Package protocol defines the subset of Language Server Protocol 3.17 types that BatchWeaver's language server and gopls proxy use. |
|
proxy
Package proxy implements BatchWeaver's optional gopls-compatible LSP proxy.
|
Package proxy implements BatchWeaver's optional gopls-compatible LSP proxy. |
|
server
Package server implements BatchWeaver's standalone Language Server Protocol server.
|
Package server implements BatchWeaver's standalone Language Server Protocol server. |
|
Package project resolves BatchWeaver's project locations, most importantly the repository root, without assuming any particular current working directory.
|
Package project resolves BatchWeaver's project locations, most importantly the repository root, without assuming any particular current working directory. |
|
Package proof implements BatchWeaver's semantic batching proof engine.
|
Package proof implements BatchWeaver's semantic batching proof engine. |
|
Package release implements BatchWeaver's non-publishing release assurance pipeline.
|
Package release implements BatchWeaver's non-publishing release assurance pipeline. |
|
Package textdistance provides a small, standard-library-only edit-distance implementation used to suggest corrections for misspelled configuration field names.
|
Package textdistance provides a small, standard-library-only edit-distance implementation used to suggest corrections for misspelled configuration field names. |
|
Package transform implements BatchWeaver's first end-to-end transformation path: consuming semantic proof certificates, planning deterministic source-preserving rewrites, generating the first production transformation (static slice/array loop prefetch for certified read-only operations), and executing transformed code through Go build overlays without modifying the source tree.
|
Package transform implements BatchWeaver's first end-to-end transformation path: consuming semantic proof certificates, planning deterministic source-preserving rewrites, generating the first production transformation (static slice/array loop prefetch for certified read-only operations), and executing transformed code through Go build overlays without modifying the source tree. |
Click to show internal directories.
Click to hide internal directories.