0.0.21
Fixes
- Contract integer attestations cover synthesized tagged-record payloads. Integer slots declared on lowered payload paths such as
TextInputEvent_set_composition.cursorandMsg_audio_event.atnow carry compile-time write obligations, so fractional writes refuse instead of surviving until runtime encoding. Distinct inline records whose underscore-joined synthesized names collide now refuse instead of reusing the wrong table entry and dropping an obligation. - Same-shaped contract integer slots with the same declared class now share one lowered proof obligation while retaining every source slot path in refusals. Differing-class collisions remain SC4009 until arm provenance can keep their assumptions distinct.