Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
radar
command
Radar's executable delegates presentation and domain orchestration to internal/cli.
|
Radar's executable delegates presentation and domain orchestration to internal/cli. |
|
internal
|
|
|
checkpoint
Package checkpoint indexes immutable Git objects without checking out user files.
|
Package checkpoint indexes immutable Git objects without checking out user files. |
|
cli
Package cli binds terminal commands to domain services.
|
Package cli binds terminal commands to domain services. |
|
composition
Package composition combines the selected changes of every repository in a workspace scope.
|
Package composition combines the selected changes of every repository in a workspace scope. |
|
contractgraph
Package contractgraph adds explicit schema and declared dependency evidence to source snapshots.
|
Package contractgraph adds explicit schema and declared dependency evidence to source snapshots. |
|
contracts
Package contracts checks explicitly declared contracts with bounded schema support.
|
Package contracts checks explicitly declared contracts with bounded schema support. |
|
discovery
Package discovery extracts conservative, inspectable static contract candidates.
|
Package discovery extracts conservative, inspectable static contract candidates. |
|
evidence
Package evidence runs explicitly authorized verification commands in private commit snapshots.
|
Package evidence runs explicitly authorized verification commands in private commit snapshots. |
|
gate
Package gate evaluates explicit verification requirements independently of analyzer coverage.
|
Package gate evaluates explicit verification requirements independently of analyzer coverage. |
|
git
Package git provides bounded, read-only repository inspection.
|
Package git provides bounded, read-only repository inspection. |
|
graph
Package graph implements deterministic queries over evidence-bearing snapshots.
|
Package graph implements deterministic queries over evidence-bearing snapshots. |
|
indexer
Package indexer assembles deterministic repository snapshots without executing repository code.
|
Package indexer assembles deterministic repository snapshots without executing repository code. |
|
integration
Package integration previews merges in a private object database.
|
Package integration previews merges in a private object database. |
|
jsonptr
Package jsonptr implements the subset of RFC 6901 JSON pointers Radar needs.
|
Package jsonptr implements the subset of RFC 6901 JSON pointers Radar needs. |
|
languages
Package languages provides syntax-only adapters backed by upstream Tree-sitter grammars.
|
Package languages provides syntax-only adapters backed by upstream Tree-sitter grammars. |
|
model
Package model defines evidence-bearing values shared by Radar subsystems.
|
Package model defines evidence-bearing values shared by Radar subsystems. |
|
onboarding
Package onboarding installs project-local agent integrations without replacing unrelated configuration.
|
Package onboarding installs project-local agent integrations without replacing unrelated configuration. |
|
pathutil
Package pathutil validates untrusted repository-relative paths in one place.
|
Package pathutil validates untrusted repository-relative paths in one place. |
|
planning
Package planning validates declared intent against evidence, without inventing a design.
|
Package planning validates declared intent against evidence, without inventing a design. |
|
project
Package project bounds persistent state to an explicitly selected project root.
|
Package project bounds persistent state to an explicitly selected project root. |
|
storage
Package storage owns transactional SQLite persistence.
|
Package storage owns transactional SQLite persistence. |
|
termui
Package termui decides whether human-readable output may use terminal styling (ANSI color, live progress).
|
Package termui decides whether human-readable output may use terminal styling (ANSI color, live progress). |
|
testselection
Package testselection recommends bounded verification commands from static repository evidence.
|
Package testselection recommends bounded verification commands from static repository evidence. |
|
verification
Package verification evaluates only explicit, bounded deterministic rules.
|
Package verification evaluates only explicit, bounded deterministic rules. |
|
watch
Package watch schedules continuous verification without choosing a verification engine.
|
Package watch schedules continuous verification without choosing a verification engine. |
|
workspace
Package workspace groups repositories so one radar gate checks them together.
|
Package workspace groups repositories so one radar gate checks them together. |
Click to show internal directories.
Click to hide internal directories.