Proof Posit · permanent path

PP-004 — Robinhood Chain's 18 AEP Settlements Each Came Within 0.023 ETH of the Terms' 10%

This path is permanent: it always resolves to the current version of PP-004.

Current version — PP-004 (first edition)

DCNJFD-20261006-PP-00001
statusSEALED · ANCHORED
Bitcoin anchorblock 970,246 · 2026-10-06T22:48:12Z
sealing eventkind-15 3398845
fingerprint (SHA-256)20c32c32b7cd13943978f3f1bbc7d638a916070f4f83c5ee96f9d218027a492c
certificateJFD-20261006-CERT-00001 · kind-15 3400173
verify pagegh.jetfyul.com/v/JFD-20261006-PP-00001
Full ProofThe AEP Reconciliation Full Proof (FP-004), USD 295,000, the same for every buyer

The OpenTimestamps proof is attested in Bitcoin block 970,246; the committed value was checked against the block's merkle root on two independent explorers before this page said so.

Downloads

filewhat it issha256bytes
JFD-20261006-PP-00001.pdfthe sealed document, exact bytes (the object the seal commits to)20c32c32b7cd13943978f3f1bbc7d638a916070f4f83c5ee96f9d218027a492c313,699
PP-004-source.mdits exact source (the fingerprint the sealed document prints)9223ffeb55963f3ba8994df7c3c1e0e0c9a6d910d015f80918b2f0ff0715a8c913,448
JFD-20261006-PP-00001.pdf.otsOpenTimestamps proof of the sealed document24cc2de1fa195599b0810d3ac682013fcc2e624714dedb893c9a09b6fdce20dd2,790
JFD-20261006-CERT-00001.pdfthe sealed PDF of record: PP-004 with its certificate (DCN JFD-20261006-CERT-00001)f4db48a1e84d429f30c5f1ef82b844b6f3e4051a4aac7c3011eba8efa84144a05,885,291

The text below is a derived rendering, not the sealed file. The seal of record (DCN JFD-20261006-PP-00001) commits to the exact bytes of JFD-20261006-PP-00001.pdf, sha256 20c32c32b7cd13943978f3f1bbc7d638a916070f4f83c5ee96f9d218027a492c, which prints the fingerprint of its exact source PP-004-source.md. Download the sealed file above and verify it; the text below is rendered from that source with no hand edits.

PROOF POSIT PP-004


MASTHEAD

Field Value
Proof Posit PP-004
Subject Robinhood Chain (chain ID 4663): the Arbitrum Expansion Program reconciliation, settlement by settlement
Title Robinhood Chain's 18 AEP Settlements Each Came Within 0.023 ETH of the Terms' 10%
Date 2026-10-06
Measurement window Genesis (block 0) to block 62,471,946 (2026-09-14 03:00:01 UTC). Settlements: 2026-07-11 to 2026-09-07.
Pinned at Block 62,471,946 · hash 0x6be6970fbf6ebda579ae87bad4df04a3b7dd14486a40508a747d079fbef462eb
Chain Robinhood Chain, chain ID 4663 (an Arbitrum Orbit chain settling to Ethereum)
Surface Index: Glass Hull's own full-history index (A1), every receipt's fee components and every settlement and L2→L1 event; a second measurement over our archive extraction (A2) with its own code; the two give the identical result object. Account balances and fee-account settings at the pin read from two third-party archive providers (Dwellir, QuickNode), one per measurement.
Method hash 499919e79da64e0176e0440c8a9c50c3c4670777ebbca3c841943feee3e6cff3 (Glass Hull ledger, kind-3 3391938) · Method frozen 2026-10-06 15:11:33 UTC after exploratory measurement; the sealed figures are the re-run under the frozen method.
Result object Both measurements: 49135cecefd2827585f12454f98bef88d46f32f25f96408aa2ee417296e5d403
Builds on Proof Posit PP-003 (every settlement split 9,000/1,000) and the AEP reconciliation's first phase to block 55,927,945 (Glass Hull ledger 2987315).
How to cite Glass Hull, Proof Posit PP-004, “Robinhood Chain's 18 AEP Settlements Each Came Within 0.023 ETH of the Terms' 10%,” Jet Fyul Dynamics LLC (2026), gh.jetfyul.com/posits/PP-004/

I. SUMMARY

Under the Arbitrum Expansion Program, a chain shares 10% of its fees, net of the cost of posting its data to Ethereum, with the Arbitrum ecosystem. We measured, from the chain's own record, what Robinhood Chain collected from its first block to block 62,471,946, what the Terms' formula gives, and what each settlement remitted.

Two measurements of our own, on different engines and from two independent account-balance providers, emit the identical result object.


II. METRIC OBJECTIVE

The formula. The Arbitrum Foundation's published AEP formula: AEP fees = [(l2BaseFee + l2SurplusFee + l1BaseFee + l1SurplusFee) − l1BaseFee] × 0.1.

What we measured.

The reporting rule. Every settlement is shown. A non-zero difference is a measured difference; it is itemised, not characterised.


III. FINDINGS

Measure ETH
Collected under the Terms' formula 19,790.5383
— L2 base fees (infra fee account) 2,441.5323
— L2 surplus fees (network fee account) 17,347.5408
— L1 surplus (kept by the L1 pricer pool, or paid to the L1 reward recipient) 1.4652
L1 base fee (posting cost; excluded by the formula) 11.7513
The Terms' 10% 1,979.0538
Remitted to the Arbitrum ecosystem router, 18 settlements 1,717.1143
Difference 261.9395

The difference, itemised:

Item ETH
10% of fees collected after each distributor's last settlement, in the distributors at the pin (infra 30.5204, network 231.2388) 261.7592
10% of the L1 surplus, which no settlement carries (the L1 reward recipient has not settled) 0.1465
10% of fees collected before the distributors became the fee accounts (blocks 0–21 infra, 0–22 network) 0.000579
The 18 settlement differences, summed 0.033234
Rounding and residual 0.000000
Total 261.9395

Settlement by settlement. Each distributor pays out its whole balance at a settlement: 9,000 bps to the operator, 1,000 bps to the ecosystem router. "Fees in the period" are the fees the distributor received since its previous settlement.

# Distributor Settled (UTC) Fees in the period 10% Remitted Difference
1 infra #1 2026-07-11 17:58:16 111.3313 11.1331 11.1324 0.000689
2 network #1 2026-07-11 18:44:45 211.8712 21.1871 21.1863 0.000768
3 infra #2 2026-07-20 18:01:17 230.4306 23.0431 23.0425 0.000522
4 network #2 2026-07-20 18:01:25 464.2591 46.4259 46.4279 -0.002030
5 infra #3 2026-07-27 18:01:29 191.2174 19.1217 19.1213 0.000389
6 network #3 2026-07-27 18:01:34 578.1030 57.8103 57.8091 0.001161
7 infra #4 2026-08-03 18:01:37 183.4036 18.3404 18.3379 0.002487
8 network #4 2026-08-03 18:01:43 27.7583 2.7758 2.7758 0.000053
9 network #5 2026-08-11 05:56:29 96.7153 9.6715 9.6714 0.000172
10 infra #5 2026-08-11 06:03:57 265.3487 26.5349 26.5344 0.000492
11 infra #6 2026-08-17 18:01:14 199.2482 19.9248 19.9241 0.000765
12 network #6 2026-08-17 18:01:18 274.8107 27.4811 27.4805 0.000585
13 infra #7 2026-08-24 18:01:23 170.9434 17.0943 17.0938 0.000568
14 network #7 2026-08-24 18:01:26 12.8103 1.2810 1.2810 0.000012
15 infra #8 2026-08-31 18:01:11 306.1912 30.6191 30.6182 0.000895
16 network #8 2026-08-31 18:01:15 1,121.2195 112.1219 112.1199 0.002018
17 infra #9 2026-09-07 18:02:56 478.2080 47.8208 47.8198 0.000959
18 network #9 2026-09-07 18:03:01 12,247.6052 1,224.7605 1,224.7378 0.022728

In 17 of the 18 settlements the distributor paid out slightly less than our per-receipt computation of the fees it received; in all, 0.3323 ETH less on 17,171.48 ETH (0.0019%). Ten percent of that is the settlement differences above. We do not characterise it; the Full Proof gives both figures for every period.

At the pin. The distributors held 305.1979 ETH (infra) and 2,312.3444 ETH (network), against 305.2040 ETH and 2,312.3881 ETH of fees our computation credits them since their last settlements (0.0060 ETH and 0.0437 ETH less).

Sent on to Ethereum. The ecosystem router transferred 492.3765 ETH to Ethereum (to 0x1afa41c006da1605846271e7bdae942f2787f941) in 7 L2→L1 transfers, the last at 2026-09-07 18:02:56 UTC. At the pin it held 1,224.7378 ETH, the ecosystem share of the 2026-09-07 network settlement.

L1 posting fees end before the pin. The last receipt carrying L1 posting gas is in block 60,323,303; none of the 28,587,559 receipts after it, from 2026-09-11 14:21:39 UTC to the pin, carries any, so no L1 posting fee was charged in those blocks. Our index, our archive extraction and a third-party node agree.

III.i PROOFS (ABRIDGED)

Pass arm. The frozen statements, saved in our evidence console as the store queries store-aep-*, were re-run on the index after the method was frozen; every run is pinned to block 62,471,946 and its hash.

Second measurement. A separate program, written from the frozen method's text alone, read every receipt and event from our archive extraction on a different engine, and the account balances from a different provider, and computed every figure again in exact integer arithmetic. It emits the identical result object: digest 49135cecefd2827585f12454f98bef88d46f32f25f96408aa2ee417296e5d403 on both, 354 fields compared, 0 differing.

Coverage. Every block from 0 to 62,471,946 (62,471,947 blocks); 715,718,873 receipts, equal to the blocks' transaction counts; no receipt with less gas used than its posting gas.

Controls. Every settlement split exactly 9,000/1,000 (18 of 18). The router's books close exactly: remitted, minus transferred to Ethereum, equals its balance at the pin. The minimum base fee changed once, at block 174,150, to 0.02 gwei; before it, 0.1 gwei.

Records. Glass Hull ledger 3391938 (frozen method); the re-run, the second measurement and the comparison are recorded with the Full Proof.


IV. LIMITS OF OBSERVATION

  1. The L1 split is measured in aggregate. The chain does not record, per transaction, how the posting fee divides between the posting cost and the surplus; we measure the surplus from the pool's and the L1 reward recipient's balances at genesis and at the pin.
  2. Costs with no chain record. The cost of recording data on Ethereum beyond what the chain charges, any sponsorship of gas, and sequencing revenue that leaves no record on the chain are not observable here.
  3. Ethereum's side. We record the L2→L1 transfers the router started on Robinhood Chain; their execution on Ethereum is outside this measurement.
  4. The computation and the credit. Fees are computed per receipt from the chain's own gas and price fields; the balances the distributors actually paid out are read from the chain. Where the two differ, we show both. The 0.0019% gap between them across the 18 settlement periods is not explained by this measurement.
  5. Third-party providers. Account balances and fee-account settings were read from Dwellir and QuickNode archive endpoints, one per measurement, and agree.
  6. The window ends at the pinned block. Later fees and settlements are not included.

V. CONCLUSION

Robinhood Chain collected 19,790.5383 ETH under the Arbitrum Expansion Program's formula from its first block to block 62,471,946, ten percent of which is 1,979.0538 ETH. Its 18 settlements remitted 1,717.1143 ETH, each within 0.0227 ETH of ten percent of the fees in its period. Of the 261.9395 ETH between the two, 261.7592 ETH is ten percent of fees collected after the last settlement and held in the distributors at the pin.

This finding measures fees and transfers on the chain against a published formula. It draws no conclusion about any party's statements, systems or intentions.


VI. GLOSSARY AND DEFINITIONS


VII. ADDITIONAL RESOURCES

If you would like to read more of our series, Proof Posits, you may go here. The payment record this reconciliation builds on is Proof Posit PP-003. The Full Proof for this finding, the AEP reconciliation Full Proof, is available at a fixed price here.


SEAL AND VALIDATION

Seal record: this document's seal — its ledger event, both hardware witnesses and its Bitcoin anchor — is recorded on its verification page, https://gh.jetfyul.com/v/JFD-20261006-PP-00001, and in its certificate of authenticity, JFD-20261006-CERT-00001, not in these pages.

To validate this Posit without contacting us:

  1. Compute the SHA-256 of this document.
  2. Look up the ledger event.
  3. Verify both hardware signatures.
  4. Verify the Bitcoin anchor.
  5. If you prefer, verify on Robinhood Chain itself: it verifies P-256 natively at 0x100 (RIP-7212).

If your bytes differ from ours, kindly let us know publicly or privately. A difference is still a finding.