Problem
src/codegen/* (consent.rs, accessibility.rs, i18n.rs, parser.rs) are stubs — the generate pipeline does not yet emit target-language code end-to-end. The README/decorator reference implies a working pipeline, which slightly over-claims current capability.
Scope
Context
The ABI (Idris2) and FFI (Zig) layers are real and tested; codegen is the missing piece for the MVP (see .machine_readable/6a2/STATE.a2ml route-to-mvp).
Problem
src/codegen/*(consent.rs,accessibility.rs,i18n.rs,parser.rs) are stubs — thegeneratepipeline does not yet emit target-language code end-to-end. The README/decorator reference implies a working pipeline, which slightly over-claims current capability.Scope
@consent,@accessible,@i18ndecorators.manifest -> validate -> generateend-to-end with a real example underexamples/compliant-app/.docs/developer/CODEGEN.adocdocumenting the stages (parse → ABI validation → emit) and extension points (how to add a decorator).Context
The ABI (Idris2) and FFI (Zig) layers are real and tested; codegen is the missing piece for the MVP (see
.machine_readable/6a2/STATE.a2mlroute-to-mvp).