cf-invariants-anchor-cli 0.1.1

CLI: ingest Anchor IDL, suggest invariants (heuristic or AI), emit Crucible fuzz fixtures (Trident target staged).
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55

# cf-invariants-anchor

AI invariant-author for [Crucible](https://github.com/asymmetric-research/crucible) on Solana / Anchor;
[Trident](https://github.com/Ackee-Blockchain/trident) emit is a staged Phase-1 target.

Ingests an Anchor 0.30 / Codama-style IDL, proposes ranked invariant
candidates from a class library, and emits a ready-to-run
`#[fuzz_fixture]` + `#[invariant_test]` source file that Crucible can
load directly. This crate does not rebuild the harness — Crucible owns
the execution rails. The unclaimed quadrant is invariant authoring, and
that is what `cf-invariants-anchor` ships.

## Install

```
cargo install cf-invariants-anchor-cli
```

The binary is named `cf-invariants-anchor`.

## Use

```
cf-invariants-anchor ingest  <idl.json>
cf-invariants-anchor suggest <idl.json> [--ai] [--audit-dir <dir>]
cf-invariants-anchor emit    <idl.json> [--target crucible|trident] [--candidate-index N]
```

`--target trident` currently emits a Phase-1 placeholder stub; full
Trident fixture support is staged for a future release.

`suggest --ai` runs the AI invariant-author flow against a pinned
prompt. Default builds use a deterministic `MockTransport` so CI stays
hermetic; the live Anthropic path compiles in only with the `live-ai`
feature flag plus `CF_INVARIANTS_ANCHOR_AI_LIVE=1` and
`ANTHROPIC_API_KEY` set at runtime.

## Classes shipped (Phase 0)

- `balance_conservation`
- `monotonic_accounting`
- `access_control`

## Toolchain

MSRV is pinned at Rust 1.79 via the workspace `rust-version`.

## License

Apache-2.0.

## Repository

Source, CI status, reference programs, scorecards, and roadmap:
[github.com/caliperforge/cf-invariants-anchor](https://github.com/caliperforge/cf-invariants-anchor).