internal/

Package checkpoint indexes immutable Git objects without checking out user files.

Package cli binds terminal commands to domain services.

Package composition combines the selected changes of every repository in a workspace scope.

Package contractgraph adds explicit schema and declared dependency evidence to source snapshots.

Package contracts checks explicitly declared contracts with bounded schema support.

Package discovery extracts conservative, inspectable static contract candidates.

Package evidence runs explicitly authorized verification commands in private commit snapshots.

Package gate evaluates explicit verification requirements independently of analyzer coverage.

Package git provides bounded, read-only repository inspection.

Package graph implements deterministic queries over evidence-bearing snapshots.

Package indexer assembles deterministic repository snapshots without executing repository code.

Package integration previews merges in a private object database.

Package jsonptr implements the subset of RFC 6901 JSON pointers Radar needs.

Package languages provides syntax-only adapters backed by upstream Tree-sitter grammars.

Package model defines evidence-bearing values shared by Radar subsystems.

Package onboarding installs project-local agent integrations without replacing unrelated configuration.

Package pathutil validates untrusted repository-relative paths in one place.

Package planning validates declared intent against evidence, without inventing a design.

Package project bounds persistent state to an explicitly selected project root.

Package storage owns transactional SQLite persistence.

Package termui decides whether human-readable output may use terminal styling (ANSI color, live progress).

Package testselection recommends bounded verification commands from static repository evidence.

Package verification evaluates only explicit, bounded deterministic rules.

Package workspace groups repositories so one radar gate checks them together.