12 commits

Author	SHA1	Message	Date
Ayaz Hafiz	8b7823a237	Fix types	2023-07-17 10:10:50 -05:00
Ayaz Hafiz	b3ccc905a4	Fix some checkmate bad schemas	2023-07-17 09:51:01 -05:00
Ayaz Hafiz	fcd733e1df	Dump roc checkmate	2023-07-17 09:51:01 -05:00
Ayaz Hafiz	1282110ef5	Push checkmate through load	2023-07-17 09:51:00 -05:00
Ayaz Hafiz	271d2a3219	Refactor the schema for granularity	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	358681a464	Generate schema for checkmate	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	f78919cd2e	Add JsonSchema	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	c9d2c4d4cd	Drop unused schema	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	d6c24accef	Schema unification mode	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	87d108eccc	Push checkmate through env	2023-07-17 09:48:59 -05:00
Ayaz Hafiz	1df2e942a2	Add a collector of unification + solve events	2023-07-17 09:47:57 -05:00
Ayaz Hafiz	40223a697d	First pass of checkmate schema	2023-07-17 09:47:57 -05:00