Skip to content

feat(7.15): ERC-7730 embedded-call mirror and runtime evidence (7b3) - #116

Closed
BitHighlander wants to merge 6 commits into
release/715-stack07b2-mirrorfrom
release/715-stack07b3-mirror
Closed

BitHighlander wants to merge 6 commits into
release/715-stack07b2-mirrorfrom
release/715-stack07b3-mirror

Conversation

@BitHighlander

@BitHighlander BitHighlander commented Sep 26, 2026 •

Copy link
Copy Markdown
Owner

Draft replacement companion unit E, stacked on Python draft #115.

Base: release/715-stack07b2-mirror at 9ded843.
Head: fb94c5c.
Paired firmware: #867, pinned to this companion head.

This adds embedded-call compiler roles, definition lookup and final preload mirror refinements. It inherits D's strict formatter array-binding rule, so its tracked tree differs from historical companion keepkey#228 by that safety fix and the updated registry assertion.

Local compiler/catalog tests: 24 pass and 3 skip without local evidence inputs. The full official-registry test checks 1,450 formats and confirms 1,297 signable programs with host/device agreement. Corrected runtime cases pass against the local emulator: an embedded call whose callee and data use the same tuple array, refusal of separate formatter arrays before preload, and fixed-array iteration with both numbered screens. The EX33 screenshot manifest now declares no screen for the refusal; EX16 declares dynamic and fixed-array screens. The paired native firmware suite passes 656/656. Exact-head firmware CI is pending. The owner chose to keep the existing drafts and stop before a further D split; D's main-SOP review checkpoint remains open, so no E review is requested on this stack. Historical #863 remains open.

@BitHighlander

Copy link
Copy Markdown
Owner Author

Consolidated 7b Python companion #119 now compares the unchanged final pin 5c2dd4d against the published phase-0 base. Closing this superseded narrow PR preserves its commits and branch as historical audit evidence. Firmware consolidation is #871; no product or release merge occurred.

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