tket
tket copied to clipboard
Wasm encoding is not defined on the json schema
The wasm field in encoded operations does not appear in the schema.
https://github.com/CQCL/tket/blob/develop/schemas/circuit_v1.json
As @johnchildren mentions in https://github.com/CQCL/tket-json-rs/issues/61#issuecomment-2258339939,
Honestly if they aren't too set on the schema yet there are some improvements I'd perhaps like to make such as renaming
wasm_file_uidtouid
Is this issue causing problems for tket-json-rs?
We merged a definition that "looks to be alright" in https://github.com/CQCL/tket-json-rs/pull/61, but since the source of truth is deep in the cpp code there is no assurance that it is correct nor that it will remain correct.
A schema validation would probably fail too...
This issue has been automatically marked as stale.