Retracted: v0.4.0 was tagged during pre-release development, before the public version
line started at v0.1.0. v0.4.1 exists only to publish this retraction.
Directories
¶
| Path | Synopsis |
|---|---|
|
Package checkpoint indexes immutable Git objects without checking out user files.
|
Package checkpoint indexes immutable Git objects without checking out user files. |
|
Package cli binds terminal commands to domain services.
|
Package cli binds terminal commands to domain services. |
|
Package contractgraph adds explicit schema and declared dependency evidence to source snapshots.
|
Package contractgraph adds explicit schema and declared dependency evidence to source snapshots. |
|
Package contracts checks explicitly declared contracts with bounded schema support.
|
Package contracts checks explicitly declared contracts with bounded schema support. |
|
Package discovery extracts conservative, inspectable static contract candidates.
|
Package discovery extracts conservative, inspectable static contract candidates. |
|
Package evidence runs explicitly authorized verification commands in private commit snapshots.
|
Package evidence runs explicitly authorized verification commands in private commit snapshots. |
|
Package gate evaluates explicit verification requirements independently of analyzer coverage.
|
Package gate evaluates explicit verification requirements independently of analyzer coverage. |
|
Package git provides bounded, read-only repository inspection.
|
Package git provides bounded, read-only repository inspection. |
|
Package graph implements deterministic queries over evidence-bearing snapshots.
|
Package graph implements deterministic queries over evidence-bearing snapshots. |
|
Package indexer assembles deterministic repository snapshots without executing repository code.
|
Package indexer assembles deterministic repository snapshots without executing repository code. |
|
Package integration previews merges in a private object database.
|
Package integration previews merges in a private object database. |
|
Package jsonptr implements the subset of RFC 6901 JSON pointers Radar needs.
|
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 languages provides syntax-only adapters backed by upstream Tree-sitter grammars. |
|
Package model defines evidence-bearing values shared by Radar subsystems.
|
Package model defines evidence-bearing values shared by Radar subsystems. |
|
Package onboarding installs project-local agent integrations without replacing unrelated configuration.
|
Package onboarding installs project-local agent integrations without replacing unrelated configuration. |
|
Package pathutil validates untrusted repository-relative paths in one place.
|
Package pathutil validates untrusted repository-relative paths in one place. |
|
Package planning validates declared intent against evidence, without inventing a design.
|
Package planning validates declared intent against evidence, without inventing a design. |
|
Package project bounds persistent state to an explicitly selected project root.
|
Package project bounds persistent state to an explicitly selected project root. |
|
Package storage owns transactional SQLite persistence.
|
Package storage owns transactional SQLite persistence. |
|
Package testselection recommends bounded verification commands from static repository evidence.
|
Package testselection recommends bounded verification commands from static repository evidence. |
|
Package verification evaluates only explicit, bounded deterministic rules.
|
Package verification evaluates only explicit, bounded deterministic rules. |
Click to show internal directories.
Click to hide internal directories.