Skip to content

finding: REQ-PIX-007 typed-contract is spar-gated — spar emits opaque list<u8> for all AADL data (AFD-036 / spar#345) - #163

Merged
avrabe merged 1 commit into
mainfrom
finding/spar-structured-wit
Jul 23, 2026
Merged

finding: REQ-PIX-007 typed-contract is spar-gated — spar emits opaque list<u8> for all AADL data (AFD-036 / spar#345)#163
avrabe merged 1 commit into
mainfrom
finding/spar-structured-wit

finding: spar codegen emits opaque list u8 for all AADL data — REQ-PI…

a295548
Select commit
Loading
Failed to load commit list.