Directories
¶
| Path | Synopsis |
|---|---|
|
Several functions in this file (parseEvidenceItems, groundEvidenceItems, mergeEvidenceItems, rankEvidenceByRelevance, scrubSiblingEvidenceBlocks) form filters F4..F7 and F9 of the post-hoc filtering pipeline.
|
Several functions in this file (parseEvidenceItems, groundEvidenceItems, mergeEvidenceItems, rankEvidenceByRelevance, scrubSiblingEvidenceBlocks) form filters F4..F7 and F9 of the post-hoc filtering pipeline. |
|
analysis
|
|
|
aggregator
Package aggregator is the Session 11 F2 RootCauseAggregator.
|
Package aggregator is the Session 11 F2 RootCauseAggregator. |
|
amplifier
Package amplifier augments the LLM-emitted RequestModel with deterministic structural inferences derived from existing typed signals on the model itself.
|
Package amplifier augments the LLM-emitted RequestModel with deterministic structural inferences derived from existing typed signals on the model itself. |
|
axis
Package axis implements the PredicateAxis × AnchorKind affinity matrix used by the evidence ranker to bias evidence items whose AnchorKind matches the user's question axis.
|
Package axis implements the PredicateAxis × AnchorKind affinity matrix used by the evidence ranker to bias evidence items whose AnchorKind matches the user's question axis. |
|
binder
Package binder attaches hypotheses to TaskGraph nodes by relevance.
|
Package binder attaches hypotheses to TaskGraph nodes by relevance. |
|
budget
Package budget computes the EvidencePlan.Budget as a function of Complexity × term cardinality × hypothesis count × prescan hit ratio.
|
Package budget computes the EvidencePlan.Budget as a function of Complexity × term cardinality × hypothesis count × prescan hit ratio. |
|
compiler
Package compiler turns a RequestModel into a fully populated TaskGraph + EvidencePlan + AnswerContract according to a pluggable scenario template.
|
Package compiler turns a RequestModel into a fully populated TaskGraph + EvidencePlan + AnswerContract according to a pluggable scenario template. |
|
contract
Package contract is the runtime answer-contract checker.
|
Package contract is the runtime answer-contract checker. |
|
counterfactual
Package counterfactual expands a task graph with alternative explanation paths when the request is ambiguous enough to warrant them.
|
Package counterfactual expands a task graph with alternative explanation paths when the request is ambiguous enough to warrant them. |
|
criterion
Package criterion is the executable-contract layer of Analyzer v3.
|
Package criterion is the executable-contract layer of Analyzer v3. |
|
declarative
Package declarative identifies "declarative" source files — those whose primary content is a map literal, a const block, a registry table, or a routes manifest rather than function bodies.
|
Package declarative identifies "declarative" source files — those whose primary content is a map literal, a const block, a registry table, or a routes manifest rather than function bodies. |
|
findings_validator
Package findings_validator scrubs the analyzer's free-form prose (auto-captured into StageOutput.StageReport and rendered downstream as the "Prior Stage Findings" section) so any file path or backticked symbol name the LLM dropped into the narrative is cross-checked against repo state.
|
Package findings_validator scrubs the analyzer's free-form prose (auto-captured into StageOutput.StageReport and rendered downstream as the "Prior Stage Findings" section) so any file path or backticked symbol name the LLM dropped into the narrative is cross-checked against repo state. |
|
gate
Package gate — fingerprint.go
|
Package gate — fingerprint.go |
|
hdp
Package hdp implements the Hypothesis-Driven Planning layer of the Analyzer v3 refactor.
|
Package hdp implements the Hypothesis-Driven Planning layer of the Analyzer v3 refactor. |
|
hint
Package hint is the Session 11 F4 HintComposer — the single structured entry point for every retry hint the orchestrator injects into a downstream agent's prompt.
|
Package hint is the Session 11 F4 HintComposer — the single structured entry point for every retry hint the orchestrator injects into a downstream agent's prompt. |
|
logtriage
Package logtriage holds the system-side helpers for the log_triage pre-stage.
|
Package logtriage holds the system-side helpers for the log_triage pre-stage. |
|
normalizer
Package normalizer turns a raw natural-language + code user request into a canonical TermGraph that downstream stages (explorer, ERM, finalizer) can consume without re-deriving terminology every time.
|
Package normalizer turns a raw natural-language + code user request into a canonical TermGraph that downstream stages (explorer, ERM, finalizer) can consume without re-deriving terminology every time. |
|
patcher
Package patcher is the Session 11 F3 IRPatchEngine — the deterministic reconciler that applies targeted mutations to a RequestModel after the analyzer has emitted the initial IR.
|
Package patcher is the Session 11 F3 IRPatchEngine — the deterministic reconciler that applies targeted mutations to a RequestModel after the analyzer has emitted the initial IR. |
|
perftriage
Package perftriage holds validation + merge helpers for the perf channel, mirroring internal/analysis/logtriage.
|
Package perftriage holds validation + merge helpers for the perf channel, mirroring internal/analysis/logtriage. |
|
priority
Package priority scores hypotheses on four dimensions and collapses the result into a single integer the gate and scheduler can compare.
|
Package priority scores hypotheses on four dimensions and collapses the result into a single integer the gate and scheduler can compare. |
|
risk
Package risk evaluates the six-dimensional risk matrix for a RequestModel.
|
Package risk evaluates the six-dimensional risk matrix for a RequestModel. |
|
sourcemix
Package sourcemix compiles the template-level SourceMix ratios into NodeBudgetHints and checks per-tool budgets at dispatch time.
|
Package sourcemix compiles the template-level SourceMix ratios into NodeBudgetHints and checks per-tool budgets at dispatch time. |
|
stopcond
Package stopcond evaluates EvidencePlan.StopConditions at each scheduler round.
|
Package stopcond evaluates EvidencePlan.StopConditions at each scheduler round. |
|
subject
Package subject provides the AnswerSubject taxonomy and the per- kind judge functions the chain ranker / shape reconciler / retry- hint renderer all dispatch on.
|
Package subject provides the AnswerSubject taxonomy and the per- kind judge functions the chain ranker / shape reconciler / retry- hint renderer all dispatch on. |
|
tracefinding
Package tracefinding compiles the frozen typed candidate contract for one trace analysis and binds the model's ordered candidate selection into the public root-cause sidecar; the model never authors a system-owned field.
|
Package tracefinding compiles the frozen typed candidate contract for one trace analysis and binds the model's ordered candidate selection into the public root-cause sidecar; the model never authors a system-owned field. |
|
Package authority centralises the AuthorityCeiling axis projection logic.
|
Package authority centralises the AuthorityCeiling axis projection logic. |
|
Package canonpath holds the repo-relative path canonicaliser used by BOTH the types data model (EvidenceClosure.ReadSet) and the higher layers (tool/ground, agent/explorer).
|
Package canonpath holds the repo-relative path canonicaliser used by BOTH the types data model (EvidenceClosure.ReadSet) and the higher layers (tool/ground, agent/explorer). |
|
Package context — builder_skill_tier.go (P5-B step 3, 2026-05-10).
|
Package context — builder_skill_tier.go (P5-B step 3, 2026-05-10). |
|
Package env is the public façade callers (run_tests, REPL, etc) import.
|
Package env is the public façade callers (run_tests, REPL, etc) import. |
|
cache
Package cache holds the user-home-anchored disk cache for env_recommend's LLM fallback results.
|
Package cache holds the user-home-anchored disk cache for env_recommend's LLM fallback results. |
|
diag
Package diag implements Layer 1 of env_recommend — turning a raw failure (stderr / runner / EnvFacts) into a structured Diagnosis.
|
Package diag implements Layer 1 of env_recommend — turning a raw failure (stderr / runner / EnvFacts) into a structured Diagnosis. |
|
probe
Package probe implements the Layer 2 environment scanner that produces a types.EnvFacts snapshot for the env_recommend subsystem.
|
Package probe implements the Layer 2 environment scanner that produces a types.EnvFacts snapshot for the env_recommend subsystem. |
|
recommend
Package recommend is Layer 3 of env_recommend — turning a Diagnosis + EnvFacts into a sorted list of install candidates the Renderer surfaces to the user.
|
Package recommend is Layer 3 of env_recommend — turning a Diagnosis + EnvFacts into a sorted list of install candidates the Renderer surfaces to the user. |
|
Package logging provides a leveled, file-rotating logger used by the codrax binary.
|
Package logging provides a leveled, file-rotating logger used by the codrax binary. |
|
Package loopkernel contains the deterministic state substrate for Codrax's next-generation read/write execution loop.
|
Package loopkernel contains the deterministic state substrate for Codrax's next-generation read/write execution loop. |
|
Package markdownext holds goldmark extensions shared by codrax's markdown render faces (browser/HTML face in internal/preview, terminal ANSI face in internal/render).
|
Package markdownext holds goldmark extensions shared by codrax's markdown render faces (browser/HTML face in internal/preview, terminal ANSI face in internal/render). |
|
Package memlimit derives and installs a soft heap limit (GOMEMLIMIT) for the codrax process at startup.
|
Package memlimit derives and installs a soft heap limit (GOMEMLIMIT) for the codrax process at startup. |
|
Package memory persists multi-turn REPL conversations and compacts older turns into a searchable MEMORY.md index.
|
Package memory persists multi-turn REPL conversations and compacts older turns into a searchable MEMORY.md index. |
|
Package reasoninggraph contains Codrax's cross-mode typed reasoning evidence ledger.
|
Package reasoninggraph contains Codrax's cross-mode typed reasoning evidence ledger. |
|
cmd/verify
command
|
|
|
cmd/verifycommercial
command
|
|
|
Package render provides a rich CLI rendering system for the codrax pipeline.
|
Package render provides a rich CLI rendering system for the codrax pipeline. |
|
Interactive input helpers for the REPL.
|
Interactive input helpers for the REPL. |
|
glossarylint
Package glossarylint is the single scanner behind every "no internal jargon in model-facing text" lint in the repository.
|
Package glossarylint is the single scanner behind every "no internal jargon in model-facing text" lint in the repository. |
|
Package stageauthority exposes checkout-verified read-mode stage facts to prompt and validation consumers through one typed provider.
|
Package stageauthority exposes checkout-verified read-mode stage facts to prompt and validation consumers through one typed provider. |
|
Package tool — answer_document_artifact_quote_check.go (XGAP-FIX ⑤ independent arm, §29.104.8, witness 20260715-202022.323-89609).
|
Package tool — answer_document_artifact_quote_check.go (XGAP-FIX ⑤ independent arm, §29.104.8, witness 20260715-202022.323-89609). |
|
ground
Package ground validates the file:line citation attached to each LLM-emitted EvidenceItem and assigns a three-way GroundingStatus (grounded / recovered / ungrounded).
|
Package ground validates the file:line citation attached to each LLM-emitted EvidenceItem and assigns a three-way GroundingStatus (grounded / recovered / ungrounded). |
|
multipath
Package multipath replaces the predecessor "multi-path coverage parity" pre-complete gate (raiseMultiPathCoverageParity in internal/tool/emit_investigation_complete.go, retired 2026-05-01) with a layered, anchor-driven verification that works for code AND non-code files (config / docs / manifests).
|
Package multipath replaces the predecessor "multi-path coverage parity" pre-complete gate (raiseMultiPathCoverageParity in internal/tool/emit_investigation_complete.go, retired 2026-05-01) with a layered, anchor-driven verification that works for code AND non-code files (config / docs / manifests). |
|
repomap
Package repomap is the top-level facade for the tree-sitter- powered repository index.
|
Package repomap is the top-level facade for the tree-sitter- powered repository index. |
|
repomap/multigraph
Package multigraph holds the multi-repo carrier (Z+Y hybrid: SymbolOracle/SymbolLocator fan-out + raw-field flatten/owner-aware access) consumed by the read pipeline when codrax.yaml :: multi_repo_enabled is true (default).
|
Package multigraph holds the multi-repo carrier (Z+Y hybrid: SymbolOracle/SymbolLocator fan-out + raw-field flatten/owner-aware access) consumed by the read pipeline when codrax.yaml :: multi_repo_enabled is true (default). |
|
repomap/topology
Package topology models a parent directory's set of git sub-repos and answers "which sub-repo owns this relative path?" lookups for the multi-repo runtime (see docs/design/multi_repo_discovery_and_lazy_load.md).
|
Package topology models a parent directory's set of git sub-repos and answers "which sub-repo owns this relative path?" lookups for the multi-repo runtime (see docs/design/multi_repo_discovery_and_lazy_load.md). |
|
repomap/types
Package types defines the core data types and Graph query methods that are shared by every other repomap sub-package (index, retrieve, render).
|
Package types defines the core data types and Graph query methods that are shared by every other repomap sub-package (index, retrieve, render). |
|
width
Package width is the central width governor for tool result production: the single source of truth for the per-tool raw-output width/entry caps that decide when a tool result is compacted and when a typed refinement hint fires (Batch F4, 2026-07-03).
|
Package width is the central width governor for tool result production: the single source of truth for the per-tool raw-output width/entry caps that decide when a tool result is compacted and when a typed refinement hint fires (Batch F4, 2026-07-03). |
|
Package tracebundle provides bounded, generation-bound intake for trace bundle manifests.
|
Package tracebundle provides bounded, generation-bound intake for trace bundle manifests. |
|
Package tracediag implements the TDIAG (§28.12, user ruling 2026-07-09) deterministic trace diagnostic collector: a zero-LLM, read-only CLI mode that runs a YAML collection script of tracequery steps against a trace file and renders a single evidence-faithful text report for customer round-trip collection (single result ≤1000 lines per step).
|
Package tracediag implements the TDIAG (§28.12, user ruling 2026-07-09) deterministic trace diagnostic collector: a zero-LLM, read-only CLI mode that runs a YAML collection script of tracequery steps against a trace file and renders a single evidence-faithful text report for customer round-trip collection (single result ≤1000 lines per step). |
|
Package tracefence is the SINGLE SOURCE for the trace causal-projection fence recognition contract shared by the fence generator (internal/tool, runtimeTraceProjTreeFence) and the HTML preview classifier (internal/preview, isTraceCausalProjectionFence).
|
Package tracefence is the SINGLE SOURCE for the trace causal-projection fence recognition contract shared by the fence generator (internal/tool, runtimeTraceProjTreeFence) and the HTML preview classifier (internal/preview, isTraceCausalProjectionFence). |
|
Package types — evidence_floor_waiver.go (2026-05-10).
|
Package types — evidence_floor_waiver.go (2026-05-10). |
|
Package userhint holds tiny shared extractors for operator-typed hints (PIB-5c @path pins; TTY-3 steering notes) so the REPL and the orchestrator consume ONE implementation instead of drifting copies.
|
Package userhint holds tiny shared extractors for operator-typed hints (PIB-5c @path pins; TTY-3 steering notes) so the REPL and the orchestrator consume ONE implementation instead of drifting copies. |
|
Package worktree manages git worktree lifecycles for the B0 write-mode pipeline stages (plan / apply / verify).
|
Package worktree manages git worktree lifecycles for the B0 write-mode pipeline stages (plan / apply / verify). |
|
Package writeflow contains deterministic write-mode workflow helpers.
|
Package writeflow contains deterministic write-mode workflow helpers. |
Click to show internal directories.
Click to hide internal directories.