Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
codectx
command
Command codectx is the process boundary: it installs signal cancellation, builds the command tree and turns the resulting error into an exit code.
|
Command codectx is the process boundary: it installs signal cancellation, builds the command tree and turns the resulting error into an exit code. |
|
docs
|
|
|
research/raw
command
|
|
|
internal
|
|
|
admission
Package admission is this process's one reservation ledger: every heavy child -- analysis engine runs, external indexers, language servers, parser workers -- is admitted against a single machine-derived allocation of MEMORY and one of DISK, by the SUM of what they reserve in each (ADR-0010 decisions 5 and 6).
|
Package admission is this process's one reservation ledger: every heavy child -- analysis engine runs, external indexers, language servers, parser workers -- is admitted against a single machine-derived allocation of MEMORY and one of DISK, by the SUM of what they reserve in each (ADR-0010 decisions 5 and 6). |
|
app
Package app is the composition root: it wires configuration, the managed toolchain, storage and providers into the objects the command tree and the index coordinator consume.
|
Package app is the composition root: it wires configuration, the managed toolchain, storage and providers into the objects the command tree and the index coordinator consume. |
|
bench
Package bench holds the resource benchmarks of Section 30.1 that are too slow or too environment-dependent for the ordinary unit suite.
|
Package bench holds the resource benchmarks of Section 30.1 that are too slow or too environment-dependent for the ordinary unit suite. |
|
cli
Package cli translates command-line requests and renders results.
|
Package cli translates command-line requests and renders results. |
|
config
Package config resolves the strict layered configuration of Section 20: built-in defaults, then the user configuration file, then the small permitted subset of the project's .codectx.toml.
|
Package config resolves the strict layered configuration of Section 20: built-in defaults, then the user configuration file, then the small permitted subset of the project's .codectx.toml. |
|
context
This file holds Section 15.4 budgeting: measured entry sizes, per-slice byte and token bounds, and the CTX_MINIMUM_BUDGET floor.
|
This file holds Section 15.4 budgeting: measured entry sizes, per-slice byte and token bounds, and the CTX_MINIMUM_BUDGET floor. |
|
coverage
Package coverage serves snapshot-pinned source in bounded chunks and keeps actor-scoped, receipt-confirmed coverage of what was actually delivered (Sections 16.1-16.3).
|
Package coverage serves snapshot-pinned source in bounded chunks and keeps actor-scoped, receipt-confirmed coverage of what was actually delivered (Sections 16.1-16.3). |
|
diagnostics
Package diagnostics builds the Section 22 doctor report and the Section 23 resource accounting block.
|
Package diagnostics builds the Section 22 doctor report and the Section 23 resource accounting block. |
|
diskfree
Package diskfree measures the space a process can still write under a directory.
|
Package diskfree measures the space a process can still write under a directory. |
|
e2e
Package e2e holds the end-to-end product-boundary scenarios of Section 25.1.
|
Package e2e holds the end-to-end product-boundary scenarios of Section 25.1. |
|
fslock
Package fslock is the product's one operating-system file-lock and directory-durability implementation.
|
Package fslock is the product's one operating-system file-lock and directory-durability implementation. |
|
graph
Package graph answers bounded traversal, dependency-path and impact queries over the canonical fact store.
|
Package graph answers bounded traversal, dependency-path and impact queries over the canonical fact store. |
|
graph/graphtest
Package graphtest carries the graph.GraphReader conformance suite and the fixture it runs on, so every implementation of the port -- the in-heap graph.MemoryGraph and the store's packed per-generation reader -- is held to one behaviour (ADR-0005).
|
Package graphtest carries the graph.GraphReader conformance suite and the fixture it runs on, so every implementation of the port -- the in-heap graph.MemoryGraph and the store's packed per-generation reader -- is held to one behaviour (ADR-0005). |
|
index
Package index is the indexing coordinator of Section 13: the one component that captures a snapshot, decides which units may be reused, runs the rest through the provider runtime, and publishes a generation atomically.
|
Package index is the indexing coordinator of Section 13: the one component that captures a snapshot, decides which units may be reused, runs the rest through the provider runtime, and publishes a generation atomically. |
|
index/delta
Package delta builds one unit as "the previous unit plus a delta" (Section 11.4): it runs a provider that can tell what changed since its last run, names everything of the predecessor that did not survive, and lets storage carry the rest into the new unit.
|
Package delta builds one unit as "the previous unit plus a delta" (Section 11.4): it runs a provider that can tell what changed since its last run, names everything of the predecessor that did not survive, and lets storage carry the rest into the new unit. |
|
index/plan
Package plan derives, for one captured snapshot, exactly the units the active providers will run, which sealed units of the previous generation may be reused byte for byte, which refreshing semantic units may be carried stale with their provenance distance, and which predecessor each rebuilt unit imports its delta from (Sections 13.1, 13.3).
|
Package plan derives, for one captured snapshot, exactly the units the active providers will run, which sealed units of the previous generation may be reused byte for byte, which refreshing semantic units may be carried stale with their provenance distance, and which predecessor each rebuilt unit imports its delta from (Sections 13.1, 13.3). |
|
index/watch
Package watch is the filesystem notification half of Section 13.2: it turns operating-system change notifications over one workspace into bounded, debounced batches of root-relative paths for the index coordinator, and it reports honestly when notification does not cover the tree.
|
Package watch is the filesystem notification half of Section 13.2: it turns operating-system change notifications over one workspace into bounded, debounced batches of root-relative paths for the index coordinator, and it reports honestly when notification does not cover the tree. |
|
lang
Package lang is the single path-to-language table of the codebase, shared by the filesystem provider and the snapshot manifest.
|
Package lang is the single path-to-language table of the codebase, shared by the filesystem provider and the snapshot manifest. |
|
ledger
Package ledger records what a run cost: a tree of spans per run, written by one collector goroutine into a database of its own beside the index store, and readable by any other process while the run is still going.
|
Package ledger records what a run cost: a tree of spans per run, written by one collector goroutine into a database of its own beside the index store, and readable by any other process while the run is still going. |
|
mcpserver
Package mcpserver exposes the Section 19.2 tool surface of codectx over the Model Context Protocol, using the pinned official Go SDK for every wire concern.
|
Package mcpserver exposes the Section 19.2 tool surface of codectx over the Model Context Protocol, using the pinned official Go SDK for every wire concern. |
|
model
Package model holds the canonical data contracts shared by every codectx service.
|
Package model holds the canonical data contracts shared by every codectx service. |
|
paced
Package paced holds the process's disk manners: the window that bounds what it hands the disk at once, the pace at which it gives disk space back, and the removals that keep to both.
|
Package paced holds the process's disk manners: the window that bounds what it hands the disk at once, the pace at which it gives disk space back, and the removals that keep to both. |
|
pagination
Package pagination is the one shared cursor, lease and spool utility of Section 14.4.
|
Package pagination is the one shared cursor, lease and spool utility of Section 14.4. |
|
process
Package process owns the lifecycle of every child this application starts: Git, parser workers, SCIP indexers, language servers and deep analyzers all run through the one runner here.
|
Package process owns the lifecycle of every child this application starts: Git, parser workers, SCIP indexers, language servers and deep analyzers all run through the one runner here. |
|
provider
Package provider is the Section 11.1 provider runtime: the contract every fact producer implements, the registry that orders and selects providers, the byte- and record-bounded sink their output flows through, and the one place a unit is sealed or discarded.
|
Package provider is the Section 11.1 provider runtime: the contract every fact producer implements, the registry that orders and selects providers, the byte- and record-bounded sink their output flows through, and the one place a unit is sealed or discarded. |
|
provider/dependence
Package dependence is the Section 11.6 dependence provider: call facts for the nine supported languages, produced by a managed code-property-graph engine that runs one frontend-native project at a time.
|
Package dependence is the Section 11.6 dependence provider: call facts for the nine supported languages, produced by a managed code-property-graph engine that runs one frontend-native project at a time. |
|
provider/dependence/graphcsv
Package graphcsv imports one dependence-engine graph export into provider facts.
|
Package graphcsv imports one dependence-engine graph export into provider facts. |
|
provider/dependence/graphengine
Package graphengine is the dependence provider's engine backend: the one place in the product that knows which code-property-graph engine produces the facts, what its command line looks like, how its heap cap is placed and what its diagnostics mean.
|
Package graphengine is the dependence provider's engine backend: the one place in the product that knows which code-property-graph engine produces the facts, what its command line looks like, how its heap cap is placed and what its diagnostics mean. |
|
provider/filesystem
Package filesystem is the base provider of Section 11.2: repository, directory, file and recognized document/configuration/build-target nodes, the `contains` and `defines` relations between them, the README-style `documents` relation, and the per-file lexical search chunks stored once in the file's own unit.
|
Package filesystem is the base provider of Section 11.2: repository, directory, file and recognized document/configuration/build-target nodes, the `contains` and `defines` relations between them, the README-style `documents` relation, and the per-file lexical search chunks stored once in the file's own unit. |
|
provider/lsp
Package lsp is the snapshot-qualified working-tree overlay of Section 11.5: on-demand definition, references, implementations, type definition, document and workspace symbols and call hierarchy answered by an approved local language server running against a private materialization of the pinned snapshot.
|
Package lsp is the snapshot-qualified working-tree overlay of Section 11.5: on-demand definition, references, implementations, type definition, document and workspace symbols and call hierarchy answered by an approved local language server running against a private materialization of the pinned snapshot. |
|
provider/manifest
Package manifest is the Section 11.2 build-metadata and documentation provider: package, module, dependency and configuration nodes parsed from go.mod, go.work, package.json, Cargo.toml, pyproject.toml and pom.xml, and the headings and source links of Markdown documents.
|
Package manifest is the Section 11.2 build-metadata and documentation provider: package, module, dependency and configuration nodes parsed from go.mod, go.work, package.json, Cargo.toml, pyproject.toml and pom.xml, and the headings and source links of Markdown documents. |
|
provider/providertest
Package providertest is the shared provider conformance harness (Section 30.2).
|
Package providertest is the shared provider conformance harness (Section 30.2). |
|
provider/scip
Package scip is the Section 11.4 provider: streaming import of SCIP precise indexes and execution of the six pinned SCIP indexers (scip-go, scip-typescript, scip-python, scip-java, rust-analyzer and scip-clang) against a private materialization of the pinned snapshot.
|
Package scip is the Section 11.4 provider: streaming import of SCIP precise indexes and execution of the six pinned SCIP indexers (scip-go, scip-typescript, scip-python, scip-java, rust-analyzer and scip-clang) against a private materialization of the pinned snapshot. |
|
provider/treesitter
Package treesitter is the bundled structural provider of Section 11.3: a tree-sitter pass over each supported source file that publishes declarations, containing scopes, signatures, imports and exports, syntax references and call sites, test declarations and attached documentation at precision syntax, and, from the same worker walk, the file-local dependence families control_depends_on, data_flows_to, reads and writes between the file's parameters and locals at precision static_analysis (docs/providers-treesitter.md, Dependence facts).
|
Package treesitter is the bundled structural provider of Section 11.3: a tree-sitter pass over each supported source file that publishes declarations, containing scopes, signatures, imports and exports, syntax references and call sites, test declarations and attached documentation at precision syntax, and, from the same worker walk, the file-local dependence families control_depends_on, data_flows_to, reads and writes between the file's parameters and locals at precision static_analysis (docs/providers-treesitter.md, Dependence facts). |
|
provider/treesitter/flow
Package flow is the per-function dependence core: a language-neutral control-flow graph, its dominance relations, control dependence and SSA def-use.
|
Package flow is the per-function dependence core: a language-neutral control-flow graph, its dominance relations, control dependence and SSA def-use. |
|
provider/treesitter/lang
Package lang is the pinned language registry of the tree-sitter provider: the nine mandatory grammars of Section 11.3, the exact module version, grammar ABI and grammar metadata each one was reviewed at, the file extensions each grammar declares, and the embedded structural query pack.
|
Package lang is the pinned language registry of the tree-sitter provider: the nine mandatory grammars of Section 11.3, the exact module version, grammar ABI and grammar metadata each one was reviewed at, the file extensions each grammar declares, and the embedded structural query pack. |
|
provider/treesitter/wire
Package wire is the framed protocol between the tree-sitter provider and its parser worker subprocess.
|
Package wire is the framed protocol between the tree-sitter provider and its parser worker subprocess. |
|
provider/treesitter/worker
Package worker is the parser side of the tree-sitter provider: a subprocess that owns every native object (parser, tree, query, query cursor) and never touches storage, identities or the repository.
|
Package worker is the parser side of the tree-sitter provider: a subprocess that owns every native object (parser, tree, query, query cursor) and never touches storage, identities or the repository. |
|
reconcile
Package reconcile is the deterministic identity resolution of Section 9.4.
|
Package reconcile is the deterministic identity resolution of Section 9.4. |
|
residency
Package residency reads this process's own resident memory from the kernel.
|
Package residency reads this process's own resident memory from the kernel. |
|
retention
Package retention is the process-level collector.
|
Package retention is the process-level collector. |
|
scratch
Package scratch is the pool of working files a store writes for its own later reading: sort runs, staging databases, content-store temporaries, materialized trees, cursor and traversal state.
|
Package scratch is the pool of working files a store writes for its own later reading: sort runs, staging databases, content-store temporaries, materialized trees, cursor and traversal state. |
|
search
Package search answers the Section 14 discovery endpoints over one pinned generation: exact/prefix symbol and path lookup, and generation-local BM25 lexical retrieval.
|
Package search answers the Section 14 discovery endpoints over one pinned generation: exact/prefix symbol and path lookup, and generation-local BM25 lexical retrieval. |
|
snapshot
Package snapshot captures exact worktree bytes into an immutable manifest and the local content-addressed store, serves them back with verified integrity, and materializes private copies for external analyzers (Section 10).
|
Package snapshot captures exact worktree bytes into an immutable manifest and the local content-addressed store, serves them back with verified integrity, and materializes private copies for external analyzers (Section 10). |
|
source
Package source owns byte/range/encoding conversion for the whole application.
|
Package source owns byte/range/encoding conversion for the whole application. |
|
storage/pacedvfs
Package paced makes every file the embedded engine writes reach the disk as a self-clocked stream with a bounded window in flight.
|
Package paced makes every file the embedded engine writes reach the disk as a self-clocked stream with a bounded window in flight. |
|
storage/sqlite
Package sqlite is the one store of Section 12: it owns SQL, unit publication, generation pinning, retention metadata and transactions.
|
Package sqlite is the one store of Section 12: it owns SQL, unit publication, generation pinning, retention metadata and transactions. |
|
testenv
Package testenv holds test helpers whose subject is the HOST a test runs on rather than anything this product builds.
|
Package testenv holds test helpers whose subject is the HOST a test runs on rather than anything this product builds. |
|
toolchain
Package toolchain owns every external analyzer and runtime the product executes (Section 11.7): the embedded lock that pins them, the private store they are installed into, the single network fetcher that brings a payload in, the confined extractor that unpacks it and the resolver that hands a caller a runnable tool.
|
Package toolchain owns every external analyzer and runtime the product executes (Section 11.7): the embedded lock that pins them, the private store they are installed into, the single network fetcher that brings a payload in, the confined extractor that unpacks it and the resolver that hands a caller a runnable tool. |
|
tools/toollock
command
Command toollock is the release-time generator for the managed analyzer toolchain of Section 11.7.
|
Command toollock is the release-time generator for the managed analyzer toolchain of Section 11.7. |
|
vcs/git
Package git runs the Git plumbing the snapshot builder needs and interprets its NUL-delimited output.
|
Package git runs the Git plumbing the snapshot builder needs and interprets its NUL-delimited output. |
|
workflow
Package workflow is the Section 17 service layer: the transition guards, the strict readiness gate, source-backed scope review and deterministic capsule identity.
|
Package workflow is the Section 17 service layer: the transition guards, the strict readiness gate, source-backed scope review and deterministic capsule identity. |
|
workspace
Package workspace discovers the repository root, confines every file access to it and streams its files deterministically.
|
Package workspace discovers the repository root, confines every file access to it and streams its files deterministically. |
Click to show internal directories.
Click to hide internal directories.