#747
Write the test model JSON from the compiled core
- Compiled cores gain the canonical, unconditional export
native_model_json. corewire generates its writer from the contract, and its output is byte-identical tostd.jsonover the decoded model with byte strings as arrays: declaration-order fields, decimal byte arrays, enum strings,{"arm": payload}unions,nulloptionals, exact integer slots, and shortest round-trip floats including thenan,-nan,infand-0spellings. - In compiled-model mode,
native testnow readssnapshot.modeland the replay model comparison from the core's own JSON. Reference views and hand-written cores keepstd.json, so the existing reference-vs-compiled snapshot comparisons now check the two producers against each other. - Additive ABI change only: every other export, target, integer obligation and ABI fact is unchanged. New ABI-law suites check model JSON fidelity on every cycle, over the markup fixture and over a new fixture that reaches every value family.
The latest updates on your projects. Learn more about Vercel for GitHub.