CLI reference

heddle context

Shipped
heddle context [OPTIONS] <COMMAND>

Manage code context annotations

Output text (default)

Examples

Example

bash$ heddle context set --path src/auth.rs --symbol verify --kind invariant -m 'returns false on timing mismatch'

Example

bash$ heddle context get --path src/auth.rs --symbol verify

same --path as set, or pass the id

bash$ heddle context history --path src/auth.rs

everything attached under a path

bash$ heddle context list --prefix src/auth

surface annotations for editor tooling

bash$ heddle context check --path src/auth.rs

Subcommands

  • context set Attach a context annotation to a file, symbol, line range, or state
  • context get Show current context annotations for a file or state target
  • context list List all active context targets
  • context history Show full revision history for one logical annotation
  • context edit Add a new revision to an existing logical annotation
  • context supersede Create a replacement logical annotation and supersede an older one
  • context rm Remove context annotations
  • context check Check annotation staleness against current code
  • context suggest Suggest low-noise targets that may benefit from context
  • context audit Audit stale, superseded, and duplicate context
  • context reason Mine external sources for context annotations
  • context reason git Mine Git-agent transcripts and attach reasoning as context annotations