AdeAtlas
Invariants / RO-LIVE-01

RO-LIVE-01

RO release partial

A Haskell cardano-node peer issuing RequestRange covering an Ade-forged block receives, via the producer-side block-fetch server, bytes that pass that peer's full header+body validation. Captured as an operator-action log against a private Haskell peer; the underlying semantic invariants are DC-CONS-17, DC-CONS-18, CN-PROTO-06, DC-PROTO-07, DC-PROTO-08, and the existing self-accept + body-hash recipe (DC-CONS-16).

Source

docs/planning/phase4-n-a-successor-invariants.md §8

Cluster
PHASE4-N-G

Enforcement trace

Code

Tests 7

  • cross_impl_server_pipeline_request_range_returns_decodable_bytes
  • cross_impl_server_pipeline_request_range_byte_identical_to_self_accept_input
  • live_block_fetch_session_hermetic_default_prints_readiness
  • n2n_listener_loopback_handshake_succeeds
  • produce_mode_starts_runs_three_slots_and_exits_via_max_slots
  • live_wire_pump_feed_reaches_forge_tick
  • live_feed_forge_serve_loopback_returns_forged_block

CI 1

Cross-references

DC-CONS-16DC-CONS-17DC-CONS-18CN-PROTO-06DC-PROTO-07DC-PROTO-08CN-CONS-06CN-PROD-01CN-PROD-02

Strengthened in

PHASE4-N-QPHASE4-N-F-G-C

Evidence

  • Mechanical pre-condition closed by cross_impl_server_pipeline test: every served Block{bytes} decodes via Ade's envelope+block decoder and the recomputed body-hash matches the announced header's body_hash field.

  • Binary live_block_fetch_session builds + starts in hermetic mode; --connect mode requires a private cardano-node peer (open_obligation).

  • PHASE4-N-Q ships the producer-side listener (CN-PROD-01 enforced) + slot loop composition (CN-PROD-02 enforced) + closed evidence vocabulary (DC-PROD-01 enforced) + replay anchor (DC-PROD-02 enforced) — the infrastructure required for an operator-pass evidence capture is now in place. UPDATE 2026-05-29: the forge path is now fully wired — run_real_forge (live, no stub) + ServedChainSnapshot push_atomic on ForgeSucceeded + per-peer dispatch from the listener into the n2n_server reducers all landed (N-R-A/N-R-B/N-S-A/N-S-B/N-W/N-X). What is still open before the bounty-facing evidence is reachable: a thin produce-mode wiring cluster (dormant cardano-cli opcert/genesis parsers G1/G2 + tip-seeded bootstrap G6 + current-slot alignment G7 + live-value pinning G4 + an eta0/stake/ASC pinning harness) + operator-provisioned stake + the operator-witnessed live pass (docs/planning/operator-pass-live-leg-c1-scoping.md).

  • Procedure to flip status to enforced (operator captures log + commits) documented at docs/clusters/completed/PHASE4-N-G/CE-N-G-8_PROCEDURE.md and docs/clusters/PHASE4-N-Q/CE-N-Q-OPERATOR_PROCEDURE.md.

Open obligation