feat(7.15): ERC-7730 groups and iteration mirror (7b2) - #115
Closed
BitHighlander wants to merge 4 commits into
Closed
BitHighlander wants to merge 4 commits into
BitHighlander wants to merge 4 commits into
Conversation
…elds Phase D. Mirror the device: display opcodes 5-8, the "every element" path step reached through tuples only, iteration over one array at a time in calldata definitions, every field inside it reading that array, and only the "optional" condition (always shown). A path ending in its every-element step is also a value when its element is a leaf (address[] recipients). The registry test now asserts 1,294 signable formats.
This was referenced Sep 26, 2026
This was referenced Sep 27, 2026
Owner
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Draft replacement companion unit D, stacked on Python draft #114.
Base:
release/715-stack07b1-mirroratf813519c7c1163783b0e89b5cbd70536831f5e49.Head:
9ded843.Paired firmware: #866, pinned to this companion head.
The compiler emits and checks groups, one-array iteration and optional fields that the device always shows. The D Copilot fixes require every source-1 formatter argument in an iteration to use the active value array; a matching token path passes, and another array or scalar path fails. The firmware also initializes its capture count before any failed-capture exit.
The local compiler suite has 14 passes and 3 skips without local evidence inputs. The full official-registry test checks 1,450 formats and confirms 1,273 signable programs with host/device agreement; 21 previously accepted mixed-array formats are now refused. The paired native firmware suite passes 652/652. Exact-head firmware CI and split Copilot round 2 are pending. Historical #863 remains open.