{"name":"telltale-theory","vers":"1.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cb0377b0ad113a5d7a4b379279f491d0955d932a19474bbbf24eccd30711f6f6","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-25T17:08:19Z"}
{"name":"telltale-theory","vers":"1.1.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-lean-bridge","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"^1.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6feea97da47885f8afb08f6cb7dae235f9a1d9e0f4786a59c0e143262d2b07a5","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-26T06:13:45Z"}
{"name":"telltale-theory","vers":"2.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-lean-bridge","req":">=1.0.0, <3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"44bedd75a5cbff9bf9bc73736bb2e0c104325ab5cdb8e5eb49d915030c401647","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-02-27T15:03:16Z"}
{"name":"telltale-theory","vers":"2.1.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-lean-bridge","req":">=1.0.0, <3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"71f932164cd77f58e6663a9d68773fca87f9ce4606ff94f8d3d460874238954e","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-01T06:26:34Z"}
{"name":"telltale-theory","vers":"3.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-lean-bridge","req":">=2.1.0, <4.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"254ceabba52a889f62bf0b561e0a35c03340886154debc30c24bbc2e0f1c1a44","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-07T04:05:04Z"}
{"name":"telltale-theory","vers":"4.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-lean-bridge","req":">=2.1.0, <5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"^4.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"78a2f1db9e01c1d146e7afc4bbcd69843a6f83fd0f2a87c77fbbfc9ada5dd06d","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-08T06:59:13Z"}
{"name":"telltale-theory","vers":"4.0.1","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-lean-bridge","req":">=2.1.0, <5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"^4.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"031f10eab8de94fa40aaa5cfb0f16d623134a8f8c3c43467e17baf853b9802e8","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-08T14:27:16Z"}
{"name":"telltale-theory","vers":"5.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-lean-bridge","req":">=2.1.0, <6.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"73c5ae32751ff0954f2f9247a8c5e887420a045ba162d188fffb73674fff1862","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-19T22:55:41Z"}
{"name":"telltale-theory","vers":"6.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-lean-bridge","req":">=2.1.0, <7.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"^6.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"549af2492dff31481b0d3919cb24262c97ee3c3964055075d0bd1bc2a72efcea","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-20T15:44:25Z"}
{"name":"telltale-theory","vers":"7.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"=7.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c4c6ca2f8edb8806184429300678c7af503ae6097220dad5fc0d251a698d180d","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-26T21:56:00Z"}
{"name":"telltale-theory","vers":"8.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"=8.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"676efb7f7ff3a01e935621402d6d5d972d181fe96db22bd093118e7f1c0c6ffb","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-28T18:15:51Z"}
{"name":"telltale-theory","vers":"9.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"=9.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6dbd1bd708eeaef3f1906da8dc48ed7e6eb19e92901c6802359da3c10157e509","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-03-30T20:39:52Z"}
{"name":"telltale-theory","vers":"10.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"=10.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9e63bb990cd21ff5b437406a3b51153ef5744bceb1321d083ee79f2589538389","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-01T07:53:52Z"}
{"name":"telltale-theory","vers":"11.0.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"=11.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"28a171f6087425dc23cc003f51e1191399d80cdd3c7d9ebdfa3ec07e44d11159","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-04T05:42:05Z"}
{"name":"telltale-theory","vers":"11.1.0","deps":[{"name":"assert_matches","req":"^1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"criterion","req":"^0.3","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"telltale-types","req":"=11.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"67ca7e4819b3770c9965cd5accf14fc936edbe9d6ce0e95a443af0b9f61e7c04","features":{"async-subtyping":[],"bounded":[],"coherence":["semantics","well-formedness"],"default":["projection","duality","merge","well-formedness","bounded","async-subtyping","sync-subtyping","semantics","coherence"],"duality":[],"full":["projection","duality","merge","well-formedness","async-subtyping","sync-subtyping","bounded","semantics","coherence"],"merge":[],"projection":[],"semantics":[],"sync-subtyping":[],"well-formedness":[]},"yanked":false,"rust_version":"1.75","pubtime":"2026-04-04T14:04:26Z"}