Roadmap

Local transaction is not being diffused, despite peers asking?

### What revision are you using?

fix(amaru-protocols): preserve bytes of transactions flowing through the mempool.

fix: fix the parenting of spans after block validation

Skip-Changelog

log address_watch with ansi colors

disclaimer: I am not a designer, my color choices are terrible by definition

check block/header integrity when loading from disk

We use content-addressed types, so we need to make sure that we return the requested content.

Fix Disjoint Inputs Check(s)

In pv11+, the reference inputs and the inputs do *not* need to be disjoint sets. That being said, script executions in PlutusV3 must have disjoint sets regardless of the protocol version.

Fix the Min UTxO Value Calculation

Our min UTxO value calculation was incorrectly missing the constant of `160` that is added to the size of the UTxO. This was not caught anywhere since fixture 49 set `coins_per_utxo_byte` to 100 billion.

refine `Peer` / `PeerCandidate` types and implement SRV record support

Consensus protocol version 15 differs from our currently implemented v14 only in advertising the ability to use SRV records in peer discovery. Properly implementing this should first clean up the internal terminology so that we will arrive at the following state:

Add rust docs to TraceContext

As a way to solidify my understanding and softening the learning curve of future devs, the interplay between `tracing`, `opentelemetry` and serialization/deserialization (esp. with the `TraceBuffer`) should be spelt out.

Persist findings of consensus behaviour in Cardano blueprints

As discussed in Porto last week, any gaps found in the Ouroboros network spec shall eventually be filled with information on https://github.com/cardano-scaling/cardano-blueprint. This ticket serves as a reminder to myself that I should start with the notes taken in Porto from very fruitful discussions with Marcin M.

Update packages metadata for v10.11.20260820

Updates packages metadata generated from the published release [`v10.11.20260820`](https://github.com/pragma-org/amaru/releases/tag/v10.11.20260820).

fix: amaru binary fails to create snapshot

Make sure amaru doesn't rely on build time constant. Improve error messages when directory can't be written to.

Don't fail when snapshots directory doesn't exist

If you run bootstrap without a pre-existing snapshots directory, it will fail. It shouldn't, since the process will download snapshots. This PR means we ignore a `NotFound` error, restoring the expected behavior.

feat: log the eviction reason for evicted mempool transactions

This PR adds log events when transactions are evicted to the mempool. Those events are useful to understand if a transaction was evicted because it was part of the last applied block or if it became invalid for another reason.

chore: reduce traces noise around transaction validation: emit a single trace per phase-one, and phase-two.

<!-- This is an auto-generated comment: release notes by coderabbit.ai --> ## Summary by CodeRabbit

chore: leaner bootstrap

Various improvements to speedup bootstrap and reduce memory usage: * better tx usage when loading utxos * more efficient map decoding * stream node state snapshots

feat: make sure CI runs snapshots tests too

<!-- This is an auto-generated comment: release notes by coderabbit.ai --> ## Summary by CodeRabbit

Flat-decoding optimizations

## Abstract

feat: focus on the info tab when the tui starts up

Skip-Changelog

fix(amaru-ledger): reduce peak allocation during stake distribution calculation

Elements are already *mostly* ordered and we can rotate vectors in place and reduce unnecessary allocations.

fix: decode bytes with indefinite length only in protocol version 12

This PR mostly fixes the decoding of bytes so that Conway data only accepts definite-length encoded bytes:

pure-stage contramap no longer leaks memory

The transformation function is no longer registered under its name, meaning that contramap can be used without worrying about memory leaks. This also is one more reason why resuming a simulation from a replay won’t work (since the mapped StageRef will not be rehydrated with the transformation function), but that was already broken earlier (for `.call`) and is not currently a design goal.

Implement DisallowedVoters logic

Closes #927

Fix CC members preparations

Two fixes; the first one was causing a sync issue on Mainnet epoch 602 due to the preparation step failing to correctly resolve the volatile hot delegation of a newly added member.

CommitteeUnknown + CommitteeHasPreviouslyResigned

Closes #920 and #921

Optimize reward payouts using RocksDB merge operators

### Abstract

chore: unify BlockHeader and Header

The main motivation for this is not only the code cleanup that comes with it, but also an attempt at getting rid of the constant re-serialisation of headers for hash computation. This is not only inefficient but also potentially wrong should the header be constructed using a non 'canonical' cbor. The `recompute_hash` function was identified as one of the main culprit using DHat; and instead of patching over it I thought we might as well kill two birds on stone and unify these two types and take the opportunity to memoized the hash during decode; entirely avoiding the need for `recompute_h…

fix: lift restrictive assertion on the fork length when switching to a fork

Fixes https://github.com/pragma-org/amaru/issues/1162.

chore: add a clippy rule for using decode_bytes

This PR adds a lint to clippy in order to warn for the use of `d.bytes()` when decoding bytes that can potentially accept definite and indefinite length bytes.

fix(amaru-pure-stage): avoid unnecessary string allocation in pure-stage's try_cast and cast_ref

This commits does two things really:

Tweak jemalloc configuration

This magic line is the result of multiple benchmarks evaluating different configurations for isolated mainnet runs over 10 epochs. This gives a good balance between allocation time and memory management overall:

Implement InvalidGuardrailsScriptHash

Closes #931

Fix Haskell Conformance Test Runner

During work on #1138, I discovered that the Haskell test runner doesn't actually work anymore, after recent changes to the fixture structure.

Introduce GovActionsDoNotExist Logic

Closes #924.

rebuild only when needed, demote noisy log

- ledger DB directories were triggering rebuilds of `amaru`, which I don’t think is useful -- please correct me if wrong - peer snapshot download metadata was triggering rebuilds of `amaru-node`, which was incorrect (moved that file to $out_dir) - printing span close for every single gov prop at INFO level seems inappropriate to me, the aggregate count is still there and I’ve seen INFO log when a gov prop is opened

remove compare-traces and warn about DEBUG logging in CI

fixes #1201

push forwarded embedded Amaru

This is an experiment in advancing the embedding of Amaru as a library. Certainly not yet perfect, but the potential is demonstrated.

rewrite define_schemas parsing so that GoToDefinition works

I think syn parsing is more robust than rolling our own, and it has the advantage of keeping source spans so that GoToDefinition or FindUsages are now working.

fix: use local amaru with gliveview

<!-- This is an auto-generated comment: release notes by coderabbit.ai -->

chore: fix nightly tools check

<!-- This is an auto-generated comment: release notes by coderabbit.ai --> ## Summary by CodeRabbit

add peer sharing responder and wire it up

fixes #1169

add collection of information needed for peer sharing

fixes #1167

feat: add SPO Interviews and Milestone Onboarding

This PR contains the documents for **Milestone1 : Onboarding tasks and general knowledge about Cardano (July)** as part of the Amaru projetct : _Operations & Use Cases: Devops and SPO relationship_

fix: move alias resolution to runtime + avoid git dependencies in build.rs

We resolve the aliases at build time so that we can dump them for trace schema validation in the dump-traces-schema. However, this command is really just a dev util called in CI or locally, where we have the repository context available anyway. So instead of making the build.rs needlessly more complexe here, intoducing built-time

Test and report the code coverage for CBOR decoding tests

### Abstract

Check the conformance of flat decoding

### Abstract

fix: cleanup metrics and observability setup and communication with the TUI

<!-- This is an auto-generated comment: release notes by coderabbit.ai --> ## Summary by CodeRabbit

fix: successfully validate lists of BLS values if empty

On `preprod` a transaction contains the following script: ``` (con (list bls12_381_G1_element) [])) ```

Move ledger to separate thread

All ledger operations are single-threaded and must be executed sequentially, while operations may be requested from separate entities (block validation, mempool, possible future cases like Leios integration). This matches the well-known Actor model, implemented using a dedicated thread that pulls requests from an mpsc channel and sends responses to oneshot channels that may be embedded in the work item messages as needed.

Correct behavior around invalid phase two transactions

Currently, Amaru runs all validation rules when a transaction has `is_valid: false`. This is a divergence from the Haskell implementation, where only the `UTXOW` state transition rule runs (which includes the `UTXO and UTXOS` rules). The `UTXOS` rule branches on `isValid`. The state update is also different, only the UTxO state changes are persisted (and here, it is the collateral spend and return only).

Optimize startup time edge case

### Abstract

Optimize the download of transactions in the txsubmission protocol across several peers

### Abstract

Do not revalidate transactions that are already in the Mempool

### Abstract

Perform integrity/sanity check of the ledger & chain db

### Abstract

Identify and close existing ledger coverage gaps

### Abstract

Update the animations for the simulation

### Abstract

Add the txsubmission protocol to the simulation

### Abstract

Epoch Transition Benchmark

### Abstract

Global Ledger Benchmarks

### Abstract

Use a separate column family for `BEST_CHAIN_PREFIX`

### Abstract

implement initiatorOnlyMode=false on outgoing connections

### Abstract

Promote downstream connections to initiator mode on incoming connections (warm -> hot peer transition)

### Abstract

Publish on brew

Allow to browse static JSON

`amaru` can output JSON traces. Allow to open them and display details.

Visualise current network connections state

Showing the state of incoming/outgoing (or initiator/responder as mini protocols' terminology has it) would be useful to troubleshoot a node's state. In particular, we'll need to be able to trigger disconnections of "faulty" nodes so while we'll obviously trace that, visualising the links from/to a node would be nice.

Add static querying capacities

`amaru` should offer static querying capacities e.g. access db details

Add VIM keybindings for navigation

Make sure VIM like keybindings are added on top of regular keybindings for navigation between various panels.

Publish on crates

This is currently blocked by amaru not being published on crates

Allow to be used as a library

Make sure `amaru-doctor` can be used as a library in `amaru` directly.