From bb5d826beca3daf11ddc42a9ab377573fc198ffe Mon Sep 17 00:00:00 2001 From: highlander Date: Thu, 17 Sep 2026 19:23:54 -0600 Subject: [PATCH] docs(erc7730): define empty root tuples --- docs/erc7730-compiled-format.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/erc7730-compiled-format.md b/docs/erc7730-compiled-format.md index 9a62cc1f..f6f63fb9 100644 --- a/docs/erc7730-compiled-format.md +++ b/docs/erc7730-compiled-format.md @@ -157,7 +157,8 @@ control characters. ### 2. ABI node table `count:u16`, followed by the 9-byte nodes defined above. Node zero is the root -tuple. Every non-root node has exactly one parent, every edge points forward, +tuple; for an argumentless call it is the sole node and has no children. +Every non-root node has exactly one parent, every edge points forward, and the child ranges cover exactly nodes 1 through `count-1`. This makes the wire representation a canonical tree rather than an aliasable DAG.