feat(codegen): structured WIT records + compiling wit-bindgen crate from AADL (#319)#320

Merged

avrabe merged 13 commits into

mainfrom

feat/codegen-wit-records

Jul 8, 2026

Commits on Jul 2, 2026

test(codegen): red oracle — data implementation must become a WIT record (REQ-CODEGEN-WIT-RECORDS-001)

avrabe
and
claude
committed

Commits on Jul 3, 2026

feat(codegen): decompose AADL data implementations into WIT records (REQ-CODEGEN-WIT-RECORDS-001)

avrabe
and
claude
committed
feat(codegen): hard-error on non-encodable record fields (REQ-CODEGEN-WIT-RECORDS-001)

avrabe
and
claude
committed

Commits on Jul 7, 2026

feat(codegen): map AADL signedness/float to WIT s*/u*/f* scalars (REQ-CODEGEN-WIT-RECORDS-001)

avrabe
and
claude
committed

Commits on Jul 8, 2026