Download Latest Version
v0.0.22 source code.zip (11.5 MB)
Get an email when there's a new version of scriptc
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| surface-manifest.json | 2026-07-31 | 86.8 kB | |
| README.md | 2026-07-31 | 748 Bytes | |
| v0.0.21 source code.tar.gz | 2026-07-31 | 10.0 MB | |
| v0.0.21 source code.zip | 2026-07-31 | 11.3 MB | |
| Totals: 4 Items | 21.4 MB | 1 | |
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.