verification-control 0.1.0

Canonical verification control-plane case, plan, receipt, and ledger artifacts
Documentation 
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

# verification-control

Canonical verification control-plane case, plan, receipt, and ledger artifacts.

## Usage

```sh
cargo add verification-control
```

```rust
use verification_control::{
    VerificationCase, CheckPlan, ControlReceipt, VerificationAttempt,
    PromotionClass, TerminalDisposition,
};
```

## Ecosystem

**Depends on:**
- `stack-ids` -- identity primitives (case, plan, receipt, region, and effect IDs)
- `llm-tool-runtime` -- tool receipt and retry-owner types
- `semantic-memory-forge` -- exactness budgets, evidence admissibility, degradation kinds

**Depended on by:**
- `verification-calibration`
- `verification-policy`
- `verification-adjudication`
- `contract-schema-gen`
- `forge-pilot`
- `kernel-conformance`

## stack-ids integration

This crate makes heavy use of `stack-ids` for all artifact identifiers
including `VerificationCaseId`, `CheckPlanId`, `ControlReceiptId`,
`LedgerEntryId`, `TraceCtx`, and many more. The `V25CitationContext`
struct embeds optional constitutional-context IDs from `stack-ids`.