Skip to content

docs(validation): A-eth traces cell → PASS (20/20) post-#151/#153#156

Merged
dzhelezov merged 1 commit into
mainfrom
docs/a-eth-pass
Jul 11, 2026
Merged

docs(validation): A-eth traces cell → PASS (20/20) post-#151/#153#156
dzhelezov merged 1 commit into
mainfrom
docs/a-eth-pass

Conversation

@dzhelezov

Copy link
Copy Markdown
Collaborator

Flips the A-eth matrix row (VALIDATION.md) from PENDING to PASS (20/20).

What ran

A-eth — the traces app on eth, 20 seeded-random windows × 1k blocks (seed 1000, range ≈19.03M–20.32M), on the merged-main build carrying the two trace-parity fixes (#151 ancestor-error cascade / INV-20, #153 root-frame gas / INV-21).

Result — 20/20 byte-identical, zero trace divergences

Every window is byte-identical to ponder's own RPC store across logs / receipts / traces, and across every shared (event-bearing) block row. Zero trace-parity divergences: the two classes T-eth exercised (root-frame gas and the ancestor-error cascade) stay resolved out to 1k-block windows. The only tolerated diffs are the documented block size-only derivation (#76/#106) and inert event-less RPC-only blocks (RPC writes every block; Portal writes only event-bearing ones).

52,140 metered requests for the cell. One window was independently re-run fresh (Portal + RPC re-fetched from scratch, re-diffed) and came back byte-identical.

Candor / bounds

  • Parity target is ponder's own RPC store (§5.9/§5.10) — the same bound as T-eth.
  • The traces app covers logs + receipts + traces but not the accounts (tx from/to) or block-interval source types — the pre-existing deviation (sourceTypesNotCovered), already footnoted.

Review

Docs-only, one-row change. Taste/candor seat reviewed the diff against the evidence (no overclaim, both benign-diff boundaries and the † deviation stated) → SHIP; the one nit (an ambiguous parenthetical) was applied. Evidence re-verified independently before authoring: all 21 records pass=true, every diffTail byte-identical + RESULT_JSON {"fail":false}, budget meter reconciles exactly.

🤖 Generated with Claude Code

The wider 20×1k seeded traces confirmation on the merged-main build
(#151 ancestor-error cascade / #153 root-frame gas). All 20 windows
byte-identical to ponder's RPC store across logs / receipts / traces
with zero trace-parity divergences — the two classes T-eth exercised
(#151/INV-20, #153/INV-21) stay resolved at 1k-block windows. Only the
tolerated block size-only derivation (#76/#106) and inert event-less
RPC-only blocks remain. One window independently re-run fresh
(Portal + RPC re-fetch) byte-identical. Parity bound + the accounts /
block-interval † deviation stated candidly.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@dzhelezov dzhelezov merged commit df97397 into main Jul 11, 2026
14 checks passed
@dzhelezov dzhelezov deleted the docs/a-eth-pass branch July 11, 2026 14:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant