dig-clvm 0.1.1

DIG L2 CLVM consensus engine — validates spend bundles, computes coin additions and removals
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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

# Start

## Immediate Actions

1. **Sync**
   ```bash
   git fetch origin && git pull origin main
   ```

2. **Check tools**
   ```bash
   npx gitnexus status          # GitNexus index fresh?
   npx gitnexus analyze         # Update if stale
   # SocratiCode: verify Docker running, index current
   codebase_status {}            # SocratiCode MCP status
   ```

3. **Pick work** — open `docs/requirements/IMPLEMENTATION_ORDER.md`
   - Choose the first `- [ ]` item
   - Every `- [x]` is done on main — skip it

4. **Pack context**
   ```bash
   npx repomix@latest src/consensus -o .repomix/pack-consensus.xml
   npx repomix@latest tests -o .repomix/pack-tests.xml
   ```

5. **Search with SocratiCode** — find related code before reading files
   ```
   codebase_search { query: "validate_spend_bundle" }
   codebase_graph_query { filePath: "src/consensus/validate.rs" }
   ```

6. **Read spec** — follow the trace:
   - `NORMATIVE.md#PREFIX-NNN` → authoritative requirement
   - `specs/PREFIX-NNN.md` → detailed specification
   - `VERIFICATION.md` → how to verify
   - `TRACKING.yaml` → current status

7. **Continue** → [dt-wf-select.md](tree/dt-wf-select.md)

---

## Hard Requirements

1. **Use chia crate ecosystem first** — never reimplement what `chia-consensus`, `chia-sdk-types`, `chia-sdk-driver`, `clvmr`, `clvm-utils`, `chia-bls` provide.
2. **No custom CLVM execution** — delegate to `run_spendbundle()` / `run_block_generator2()`.
3. **No custom condition parsing** — use `chia-consensus` `SpendVisitor`.
4. **No async/IO/storage** — dig-clvm is pure computation. All state passed in via parameters.
5. **Re-export, don't redefine** — `Coin`, `CoinSpend`, `SpendBundle`, `Condition<T>` come from upstream.
6. **Tests MUST use `chia-sdk-test::Simulator`** — same validation path as Chia L1.
7. **One requirement per commit** — don't batch unrelated work.
8. **Update tracking after each requirement** — VERIFICATION.md, TRACKING.yaml, IMPLEMENTATION_ORDER.md.
9. **SocratiCode before file reads** — search semantically first, read targeted files second.
10. **Repomix before implementation** — pack relevant scope for context.
11. **GitNexus before refactoring** — check dependency impact before renaming or moving symbols.
12. **`dig-constants` is a separate crate** — network parameters importable without CLVM engine.
13. **DIG uses fork_height=0** — all Chia consensus features from block 0.
14. **`coin_records` is minimal** — only coins being spent, never the full UTXO set.

---

## Tech Stack

| Component | Crate | Version |
|-----------|-------|---------|
| CLVM runtime | `clvmr` | 0.14 |
| Consensus engine | `chia-consensus` | 0.26 |
| Protocol types | `chia-protocol` | 0.26 |
| BLS signatures | `chia-bls` | 0.26 |
| Condition types | `chia-sdk-types` | 0.30 |
| Spend construction | `chia-sdk-driver` | 0.30 |
| Coin state | `chia-sdk-coinset` | 0.30 |
| Puzzle bytecodes | `chia-puzzles` | 0.20 |
| CLVM traits | `clvm-traits` | 0.26 |
| Tree hash / currying | `clvm-utils` | 0.26 |
| Network constants | `dig-constants` | 0.1.0 |
| Testing | `chia-sdk-test` | 0.30 |