devnet-log-review

分类: 工具与效率 | 上传者: geanlabs | 下载: 0 | 版本: v1.0（最新）
查看并分析 devnet 运行结果。当用户想要 (1) 分析 devnet 日志中的错误和警告，(2) 生成 devnet 运行的摘要，(3) 识别客户端之间的互操作性问题，(4) 了解共识进度和块生成，(5) 调试分叉和最终确定问题时使用。
更新日志: Source: GitHub https://github.com/geanlabs/gean
目录结构

当前层级: tree/main/.claude/skills/devnet-log-review/
📁 references/
- 📄 CLIENT_LOG_PATTERNS.md 7.9 KB
- 📄 ERROR_CLASSIFICATION.md 7.6 KB
- 📄 FINALIZATION_DEBUG.md 10.3 KB
- 📄 FORK_ANALYSIS.md 8.8 KB
📁 scripts/
- 📄 analyze-logs.sh 1.8 KB
- 📄 check-consensus-progress.sh 4.0 KB
- 📄 count-blocks.sh 3.1 KB
- 📄 count-errors-warnings.sh 1.4 KB
- 📄 show-errors.sh 1.9 KB
📄 SKILL.md 10.5 KB
SKILL.md

---
name: devnet-log-review
description: Review and analyze devnet run results. Use when users want to (1) Analyze devnet logs for errors and warnings, (2) Generate a summary of a devnet run, (3) Identify interoperability issues between clients, (4) Understand consensus progress and block production, (5) Debug forks and finalization issues.
---

# Devnet Log Review

Analyze and summarize devnet run results from lean consensus testing involving
gean and peer clients.

## Quick Start

**Run the analysis script:**
```bash
# From project root (with logs in current directory)
.claude/skills/devnet-log-review/scripts/analyze-logs.sh

# Or specify logs directory
.claude/skills/devnet-log-review/scripts/analyze-logs.sh /path/to/logs
```

This produces a structured summary with:
- Error/warning counts per node
- Block production statistics
- Consensus progress (last slot, last justified, last finalized)
- Proposer assignments

## Log File Locations

| File | Content |
|---|---|
| `devnet.log` | Combined output from `spin-node.sh` (genesis generation + all node output) |
| `{client}_{n}.log` | Individual node logs (e.g., `gean_0.log`, `zeam_0.log`, `ethlambda_0.log`) |

## Analysis Scripts

| Script | Description |
|---|---|
| `analyze-logs.sh [dir]` | Main entry point — runs all analyses, outputs markdown summary |
| `count-errors-warnings.sh [dir]` | Count errors/warnings per node (excludes benign patterns) |
| `count-blocks.sh [dir]` | Count blocks proposed/processed per node (client-aware) |
| `check-consensus-progress.sh [dir]` | Show last slot, last justified, last finalized per node |
| `show-errors.sh [-n node] [-l limit] [-w] [dir]` | Display error details for investigation |

**Usage examples:**
```bash
# Just count errors/warnings
.claude/skills/devnet-log-review/scripts/count-errors-warnings.sh

# Show errors for specific node
.claude/skills/devnet-log-review/scripts/show-errors.sh -n zeam_0

# Show errors and warnings with limit
.claude/skills/devnet-log-review/scripts/show-errors.sh -w -l 50
```

## Common Investigation Patterns

### Tracing Slot-by-Slot Flow

When investigating issues, trace the complete flow for a specific slot using
structured logging fields (`slot=X`).

**Note:** Logs may contain ANSI color codes. Strip them first:

```bash
# Strip ANSI codes and grep for a specific slot
sed 's/\x1b\[[0-9;]*m//g' devnet.log | grep -E "slot=3[^0-9]|slot=3$"

# For double-digit slots
sed 's/\x1b\[[0-9;]*m//g' devnet.log | grep -E "slot=12[^0-9]|slot=12$"
```

Structured logging fields used by gean follow `key=value` format:
- `slot=N` — Slot number
- `validator=N` — Validator index
- `proposer=N` — Block proposer index
- `justified_slot=N` — Justified slot at the time of the log
- `finalized_slot=N` — Finalized slot at the time of the log
- `proc_time=Xms` — Block processing time (gean-specific)
- `has_parent=true|false` — Whether the block's parent was already known (gean-specific)
- `attestations=N` — Number of attestations in the block

### Comparing Clients at Specific Slots

```bash
# Extract block hashes for specific slots across all clients
for slot in 1 2 3 4 5; do
  echo "=== Slot $slot ==="
  grep -h "slot=$slot[^0-9]\|@ $slot[^0-9]" *.log | grep -oE "0x[a-f0-9]{8}" | sort -u
done

# Check which client has which head at a specific slot
grep -h "head_slot=18\|Head Slot: 18\|head slot=18" *.log

# Compare finalization across clients
grep -h "finalized.*slot\|Finalized block.*@\|finalized_slot=" *.log | tail -20
```

### Finding Validators

Each validator proposes blocks when `slot % validator_count == validator_id`.

```bash
# gean — explicit validator in logs
grep "produced attestation" gean_0.log | head -3
# Output: produced attestation slot=6 validator=2
grep "proposing block\|proposed block" gean_0.log | head -3

# ethlambda — explicit validator_id in logs
grep "We are the proposer" ethlambda_0.log | head -3
# Output: We are the proposer for this slot slot=5 validator_id=5

# zeam — proposer field in attestation logs
grep "packing proposer attestation" zeam_0.log | head -3
# Output: packing proposer attestation for slot=6 proposer=0

# Generic approach — validator_id = slot % validator_count
```

## Analysis Areas

### Fork Analysis

When clients disagree on which blocks are valid, the network splits into forks.

**Quick check for forks:**
```bash
# Compare block hashes at same slot across clients
grep -h "slot=4[^0-9]" *.log | grep -oE "block_root=0x[a-f0-9]{16}" | sort -u

# If you see different hashes → fork exists!
```

**Identifying rejected blocks:**
```bash
# gean — block processing failures
grep -i "block processing failed\|state transition failed" gean_0.log

# ethlambda
grep "Failed to process block" ethlambda_0.log

# lantern
grep "signature verification failed" lantern_0.log

# Cross-client signature failures
grep -i "signature.*failed\|invalid signature" *.log | head -20
```

**See [references/FORK_ANALYSIS.md](references/FORK_ANALYSIS.md) for:**
- Understanding fork types (canonical, orphan, invalid)
- Tracing parent-child relationships
- Building fork structure diagrams
- Determining which validators are on which fork

### Finalization Debugging

Finalization should advance every 6-12 slots. If it stalls, investigate:

```bash
# gean — chain status block + per-block log
grep "finalized_slot=" gean_0.log | tail -20
grep "Latest Finalized:" gean_0.log | tail -10

# If finalized_slot stays the same for 50+ slots → finalization stalled
```

**Finalization requires >2/3 supermajority:**
- 5 validators → need 4 votes minimum
- 6 validators → need 4 votes minimum (3*4 >= 2*6)
- 9 validators → need 6 votes minimum

**See [references/FINALIZATION_DEBUG.md](references/FINALIZATION_DEBUG.md) for:**
- Common causes of finalization stalls
- Validator participation calculations
- 3SF-mini gap rule and justification chain analysis
- Step-by-step debugging guide

### Error Classification

**See [references/ERROR_CLASSIFICATION.md](references/ERROR_CLASSIFICATION.md) for:**
- Critical errors (genesis mismatch, panics, database corruption)
- Expected/benign messages (TODOs, HandshakeTimedOut to unconfigured nodes)
- Medium severity issues (encoding mismatches, missing blocks)
- State transition errors

### Client Log Patterns

Different clients have different log formats and key patterns.

**See [references/CLIENT_LOG_PATTERNS.md](references/CLIENT_LOG_PATTERNS.md) for:**
- Log format for each client (gean, zeam, ream, ethlambda, lantern)
- Key log patterns per client
- Block counting methods
- ANSI color code handling

## Block Proposal Flow (gean)

A healthy gean block proposal/processing follows this sequence:

1. `[validator] proposing block slot=N validator=V` — gean detects it's the proposer
2. `[chain] block slot=N block_root=0x... proposer=V attestations=A justified_slot=J finalized_slot=F proc_time=Xms` — block built and processed
3. `[forkchoice] head slot=N head_root=0x... ...` — fork choice acknowledges the new head
4. `[validator] proposed block slot=N block_root=0x... attestations=A` — block published to network

For incoming blocks (gean as receiver):

1. `[gossip] received block slot=N proposer=V block_root=0x... parent_root=0x...` — gossip receive
2. `[chain] processing block slot=N block_root=0x... has_parent=true|false` — start of processing
3. `[chain] block slot=N ... proc_time=Xms` — block applied to state

## Summary Report Format

Generate concise summaries (20 lines or less) in this structure:

```markdown
## Devnet Log Summary

**Run:** {N} {client} nodes (`{image}`) | {M} slots ({range})

| Node | Validator | Blocks Proposed | Errors | Warnings | Status |
|---|---|---|---|---|---|
| {node_name} | {id} | {count} (slots {list}) | {n} | {n} | {emoji} |

**Issues:**
- {issue 1}
- {issue 2}

**{emoji} {RESULT}** — {one-line explanation}
```

### Status Emoji Guide

| Emoji | Meaning | When to Use |
|---|---|---|
| 🟢 | Healthy | No errors, blocks processed successfully |
| 🟡 | Warning | Minor issues but consensus working |
| 🔴 | Failed | Critical errors, consensus broken, or blocks failing validation |

### Result Line Examples

- `🟢 PASSED` — All nodes healthy, consensus achieved
- `🟡 PASSED WITH WARNINGS` — Consensus working but minor issues detected
- `🔴 FAILED` — Consensus broken: {reason}

### Key Rules

1. Keep summary under 20 lines
2. Use table for per-node status
3. Status should reflect whether that node's blocks pass validation (🔴 if not)
4. End with single-line result with emoji
5. Don't list "what's working" — focus on issues

## Manual Investigation Commands

Use these when scripts don't provide enough detail:

```bash
# Find which validators proposed blocks
grep -h "proposed block\|proposing block\|We are the proposer" *.log | head -20

# Check peer connections
grep -h "peer connected\|Connection established\|Connected Peers:" *.log | head -20

# Check attestations
grep -i "attestation" *.log | head -50

# Search for specific error patterns
grep -i "genesis mismatch\|panic\|fatal" *.log

# gean — find oversized block warnings (should never appear after the per-validator refactor)
grep -i "MessageTooLarge\|exceeds max\|snappy decoded len" *.log

# Track attestations to unknown blocks (indicates forks)
grep "Unknown.*block:" ethlambda_0.log | grep -oE "0x[a-f0-9]{64}" | sort | uniq -c | sort -rn

# Check failed root cleanups (gean-specific)
grep "fetch exhausted for root" gean_0.log
```

## Detailed References

For in-depth analysis, see these specialized guides:

- **[FORK_ANALYSIS.md](references/FORK_ANALYSIS.md)** — Comprehensive guide to identifying and analyzing blockchain forks, tracing parent-child relationships, building fork structure diagrams, and determining consensus disagreements
- **[FINALIZATION_DEBUG.md](references/FINALIZATION_DEBUG.md)** — Debugging finalization stalls, validator participation calculations, justification chain analysis, threshold math, and the 3SF-mini gap rule
- **[CLIENT_LOG_PATTERNS.md](references/CLIENT_LOG_PATTERNS.md)** — Log formats and key patterns for all clients (gean, zeam, ream, ethlambda, lantern), including block counting methods
- **[ERROR_CLASSIFICATION.md](references/ERROR_CLASSIFICATION.md)** — Error types, severity levels, expected vs. critical errors, and interoperability issues

## Progressive Disclosure

This skill uses progressive disclosure to keep context usage efficient:

1. **Start here** (SKILL.md) — Quick start workflow and common patterns
2. **Detailed references** (references/*.md) — Deep dives into specific analysis areas
3. **Scripts** (scripts/) — Automated analysis tools

Load detailed references only when needed for specific investigations.
登录后下载/点赞/收藏 ❤ 79 | ★ 0
devnet-log-review

目录结构

SKILL.md

举报内容

提示
