[2/2] feat: embed component WIT in the compiled Miden package - #1248

Draft

greenhat wants to merge 12 commits into

i1302-MPC-unque-by-inputsfrom

Commits on Aug 6, 2026

feat: embed component WIT in the compiled Miden package
greenhat
committed
90aa5a0
refactor: carry package section payloads in one pipeline type
greenhat
committed
cfde6f1
fix: make WIT embedding runtime-neutral and order dependency WIT before local WIT
greenhat
committed
61a89bc
fix: validate embedded WIT self-containment and harden dependency package lookup
greenhat
committed
b43934b
fix: verify the package id when resolving dependency .masp artifacts
greenhat
committed
ec71daf
fix: count one-line WIT package declarations correctly
greenhat
committed
1b968cd
fix: verify version pins and reuse the resolved dependency package
greenhat
committed
7b35c26
refactor: name the account-metadata custom section with a shared constant
greenhat
committed
daca767
fix: restore the wit manifest key as a fallback for packages without embedded WIT
greenhat
committed
00cc9be
fix(tests): extract the MIDENC_EMIT_WIT dump from the compiled package
greenhat
committed
166c438

Commits on Aug 7, 2026