Commands

vg facts

Deterministic open facts for a node — contract, invariant, characterization. Epistemic-typed: declared/static through to observed/derived.

Overview

vg facts surfaces deterministic, structured facts about a node: its contract, invariants, and characterization. Facts are epistemic-typed from most certain (declared/static) to less certain (observed/derived).

Requires --deep to derive facts beyond basic declarations.

Usage

vg facts <name>

Flag	Description
`<name>`	Node to inspect
`--pick <n>`	Pick the nth candidate when ambiguous

Examples

vg facts UserService.createUser
vg facts --deep PaymentProcessor

Example use cases

Expand any use case to watch a live replay of the real @vibgrate/cli running against one of our test repositories. Nothing executes in your browser — these are recordings of actual runs, with the scan time shown as of now.

vg facts <symbol>

Overview

Usage

Examples

Example use cases

Related Documentation