{
  "schema": "topaz.bootstrap-seed/v1",
  "version": "v5.21.0",
  "sourceRevision": "fb4c370b18d7c076eceb822261e14affd8869811",
  "license": "Apache-2.0",
  "runtimeSourceRevision": "8e6ded1880dfc71cbb5a439a200704f19a6c1c73",
  "rustToolchain": "1.96.0",
  "archive": {
    "name": "topaz-bootstrap-seed-v5.21.0.tar.gz",
    "size": 1918793,
    "sha256": "86c54650948fa6cc99f02b54256fbb2af1978c680343529f29360679a3905b43"
  },
  "verification": {
    "built": true,
    "regenerated": true
  },
  "files": [
    {
      "destination": "Cargo.lock",
      "bytes": 910,
      "sha256": "a7a82972d854fe206909ea0e3329b5f092d4b7073e19caf5227534d782109114"
    },
    {
      "destination": "Cargo.toml",
      "bytes": 870,
      "sha256": "b080522d53057289e62d67bd9921dab849951b9d38f19e494bd919a86c6923a8"
    },
    {
      "destination": "LICENSE",
      "bytes": 9116,
      "sha256": "7a1b2d2865fe1ca0a4ffe11a0ee99026c0ae634b6e9c56dca15056a85a0290c3"
    },
    {
      "destination": "LICENSE-COMPONENTS.txt",
      "bytes": 335,
      "sha256": "dc55bb33a0efdb20e7b6fc12d82cf216f90b4955f58b37cec971ad1b00367612"
    },
    {
      "destination": "NOTICE",
      "bytes": 3056,
      "sha256": "a2afcbdaf24ab9231575c5fe1b2168fd69b05476219db8431d627c2185e386ee"
    },
    {
      "destination": "README.md",
      "bytes": 2546,
      "sha256": "3b471f82d6e3b99dbb102d459bdfa33e56f888af31770fdccadf6b45be6ac5ef"
    },
    {
      "destination": "SEED-PROVENANCE.json",
      "bytes": 45931,
      "sha256": "72a4ff224183fb806b3d66bb068a729a15a052caa5a3338fe39a3d7d63773008"
    },
    {
      "destination": "SHA256SUMS",
      "bytes": 15464,
      "sha256": "83b545a39c1e4582f6eb630d11d056917694125e7c64b463377d199be421d1d8"
    },
    {
      "destination": "THIRD-PARTY-LICENSES.txt",
      "bytes": 160944,
      "sha256": "5c559f9741d28096983d97d226c62589e6f50d2b7e7bd132ae555a5d0ece4fbf"
    },
    {
      "destination": "THIRD-PARTY-NOTICES.md",
      "bytes": 16912,
      "sha256": "bc8ef4168aeeca5686e6220fc53ebea3a2bd2b173bf6412197335c7bd9c3edfe"
    },
    {
      "destination": "bootstrap.ps1",
      "bytes": 926,
      "sha256": "ce690ab32ad662a626ab2a53978a2a33f78bfa1ae321698bec0c8bfcae6d5383"
    },
    {
      "destination": "bootstrap.sh",
      "bytes": 314,
      "sha256": "3a1548f72f54169ac4d115d4dacfd2d0af702c45c319a100fb3c41994379cc0a"
    },
    {
      "destination": "crates/topaz_diag/Cargo.toml",
      "bytes": 340,
      "sha256": "582c102ab8a15f5f5f7a4fd2633b19ff9747a5c6abeb18849edc61643e23bb53"
    },
    {
      "destination": "crates/topaz_diag/src/code.rs",
      "bytes": 3534,
      "sha256": "9c4b7706303273f96900e13c226203637228c149e284e20162164e7a8e2d24b4"
    },
    {
      "destination": "crates/topaz_diag/src/diagnostic.rs",
      "bytes": 3699,
      "sha256": "37170026e49177a38842939bf2e270eb6dee38fdec2faf0adf18b8fe04c1cbe2"
    },
    {
      "destination": "crates/topaz_diag/src/explain.rs",
      "bytes": 47147,
      "sha256": "17e2a49506ca2191ccea81c31ea802ac77897eb06070cce9c46167de992678ac"
    },
    {
      "destination": "crates/topaz_diag/src/import_chain.rs",
      "bytes": 1179,
      "sha256": "2c07ebcd60e0b6e3d1ed60e063240f335157564a746c0c723d2130927fa06afa"
    },
    {
      "destination": "crates/topaz_diag/src/lib.rs",
      "bytes": 858,
      "sha256": "e1be36a2cb27f144801f3c2bd82d1284c79ea597d778f01b7ba8216eb5a133bf"
    },
    {
      "destination": "crates/topaz_diag/src/render.rs",
      "bytes": 9555,
      "sha256": "a390077373a29ae7cbd9407c277da56b531e3c7b359d0a80902088d34c95d476"
    },
    {
      "destination": "crates/topaz_diag/src/source_map.rs",
      "bytes": 8270,
      "sha256": "176d1a17ebb27b6b2906dfb30354c7c2d02e120d4be92d094686ffe64d57f749"
    },
    {
      "destination": "crates/topaz_diag/src/span.rs",
      "bytes": 2090,
      "sha256": "250ab9e196a8823141bc625567c4646786090a27c42e1aa469a31893ed841963"
    },
    {
      "destination": "crates/topaz_diag/src/suggest.rs",
      "bytes": 6378,
      "sha256": "2d9e4e3627cde9966aa6c4a51c82fa3bb7130f05ba26b7036fe83b9fdf1e9fa8"
    },
    {
      "destination": "crates/topaz_host_none/Cargo.toml",
      "bytes": 329,
      "sha256": "6758845d0bfcecd1fad9a77f526d9ee64a083ef67769ca43a6aeca0a84170110"
    },
    {
      "destination": "crates/topaz_host_none/src/lib.rs",
      "bytes": 12434,
      "sha256": "d8a90d851b4c73ad7d209f6e60c0e83e07ca8240f10981e7a6a2b8071c0fc00c"
    },
    {
      "destination": "crates/topaz_product_runtime/Cargo.toml",
      "bytes": 280,
      "sha256": "4f9e66908c135c692bb7e5356e7586ee86db72ab76011e002123c0d96f3aa597"
    },
    {
      "destination": "crates/topaz_product_runtime/src/diagnostic.rs",
      "bytes": 3354,
      "sha256": "6959f405f79599bf0667b778874deb9d4949c14651a6c0e64d1372e36ce10e36"
    },
    {
      "destination": "crates/topaz_product_runtime/src/lib.rs",
      "bytes": 3837,
      "sha256": "f039bbd956a8fbb015d876623c120f92f6b390663146c42a6f5e61140a3ce8c5"
    },
    {
      "destination": "crates/topaz_product_runtime/src/program/decode_compact.rs",
      "bytes": 15248,
      "sha256": "9959929cc7ba16f952f9b5ec843ee351cd480d455fd7b2a2f893f8265667e68b"
    },
    {
      "destination": "crates/topaz_product_runtime/src/program/decode_json.rs",
      "bytes": 30044,
      "sha256": "78cb89d6254950cbafd061094ae12e199983d1e28f0a7f616df7fc07512da0e5"
    },
    {
      "destination": "crates/topaz_product_runtime/src/program/model.rs",
      "bytes": 11901,
      "sha256": "4108f2e95973135e9312c86721d1862f68a762f09df9174d3bcfa122ef3c09e0"
    },
    {
      "destination": "crates/topaz_product_runtime/src/program/validate.rs",
      "bytes": 13610,
      "sha256": "364480649bfa27e7a6632b2d3c65bcfa014dd7c6827e340d5b307fcca575b0ca"
    },
    {
      "destination": "crates/topaz_product_runtime/src/runtime/call.rs",
      "bytes": 73015,
      "sha256": "be2d172702d8fe651edfbe0127b44903bfdf69a8232d43a3b316591f82d700ef"
    },
    {
      "destination": "crates/topaz_product_runtime/src/runtime/environment.rs",
      "bytes": 6709,
      "sha256": "ab8c1b0a64998b90127a32115238934f087efeed1427b5232368ae11d72175d2"
    },
    {
      "destination": "crates/topaz_product_runtime/src/runtime/evaluate.rs",
      "bytes": 56979,
      "sha256": "3fd3f18e0b61b97d54e132034473e54fcde18e2b3d5843138656690e2b098799"
    },
    {
      "destination": "crates/topaz_product_runtime/src/runtime/flow.rs",
      "bytes": 25771,
      "sha256": "d802940cbd3d5e59adcba07376539e6bd1a0bcc424f376e6b26d4862bc9540b0"
    },
    {
      "destination": "crates/topaz_product_runtime/src/runtime/json_schema.rs",
      "bytes": 13292,
      "sha256": "c470a6f7736af3fcf94977c548d4f3b7607505fb7ed5a035e5c9b2bc6191ac5b"
    },
    {
      "destination": "crates/topaz_product_runtime/src/runtime/machine.rs",
      "bytes": 19980,
      "sha256": "f78e70bbfc2cf1e4c462a88c0a2e7c0681cefd9d007d873c43139646111b16f6"
    },
    {
      "destination": "crates/topaz_product_runtime/src/runtime/model.rs",
      "bytes": 18763,
      "sha256": "f8dc949ca36a40189608c0156756eebc6e6f46345ccf15ca785b55bac268b951"
    },
    {
      "destination": "crates/topaz_product_runtime/src/runtime/nominal.rs",
      "bytes": 50652,
      "sha256": "33e51cd9e3fccf36c0ac859abe71b373050c53c2784f5151f9eb9804407a7cd9"
    },
    {
      "destination": "crates/topaz_product_runtime/src/wire.rs",
      "bytes": 16263,
      "sha256": "a74671dcff8ebd84426d9e905ee9fdc7f8e1203b730337f50980bade1cc910d8"
    },
    {
      "destination": "crates/topaz_rt/Cargo.toml",
      "bytes": 330,
      "sha256": "b5df42c22ab9977f90a80915a335fed5f952a11169db9c77514b20339914af81"
    },
    {
      "destination": "crates/topaz_rt/src/cell.rs",
      "bytes": 887,
      "sha256": "7c26ec8f18720568ec90a5b4e34982496807bc0465fd9ee4f1d9b15aa2cdca90"
    },
    {
      "destination": "crates/topaz_rt/src/closure.rs",
      "bytes": 49503,
      "sha256": "bffc04681a4a8bd69141a1dba9823f3a49d51976afe7098932dff128186e5c9b"
    },
    {
      "destination": "crates/topaz_rt/src/concurrent.rs",
      "bytes": 17244,
      "sha256": "04c2a489c3b2e46d3444beeb014dc795a2d02eb51fae36e9ec4db7273da53a49"
    },
    {
      "destination": "crates/topaz_rt/src/defer.rs",
      "bytes": 2356,
      "sha256": "f368b9af9c9da0428232791673e60c1d7a18803f0d08313a2086fe7a9b1f2993"
    },
    {
      "destination": "crates/topaz_rt/src/executor.rs",
      "bytes": 3600,
      "sha256": "889571b2942311ba0365ba652530ff9b489760fb8979353d96c65bb9d2a60da2"
    },
    {
      "destination": "crates/topaz_rt/src/lib.rs",
      "bytes": 1735,
      "sha256": "4c1aac0752254e974091015de42d0f53d0d91929d0a8cc497bdf478b7de8b767"
    },
    {
      "destination": "crates/topaz_rt/src/top_cell.rs",
      "bytes": 2362,
      "sha256": "5f4b6568e55c86c1a5d70cdbba5fb164e0236b0e6303c575f6af20d30748f8a4"
    },
    {
      "destination": "crates/topaz_seed/Cargo.toml",
      "bytes": 378,
      "sha256": "df976e32dd9dbafa78c017312e3db9021a53986986b1c4e3b4a206e364ed6648"
    },
    {
      "destination": "crates/topaz_seed/src/main.rs",
      "bytes": 7750,
      "sha256": "d31180bffd01987059ecf4695ad838c964843748b39847b4614d124483ad999e"
    },
    {
      "destination": "crates/topaz_seed/src/seed_files.rs",
      "bytes": 711,
      "sha256": "78778cb68afa2c42459b046054ba42b00fc5bea11b655fc601e6b072a4f9d1b1"
    },
    {
      "destination": "crates/topaz_seed_compiler/Cargo.toml",
      "bytes": 243,
      "sha256": "5b81b02afd5d4a06397333c16347f4aaaa26fca84627052fb9350c38c0597f5e"
    },
    {
      "destination": "crates/topaz_seed_compiler/src/lib.rs",
      "bytes": 80,
      "sha256": "cbd066a35f4f853a5bf9e9d9127f791fe0a5dd6ff15d509c4b8baf750622d007"
    },
    {
      "destination": "crates/topaz_syntax/Cargo.toml",
      "bytes": 338,
      "sha256": "400b78da02ad27c429ddef96d1c150660f669d231b720e994db14ac219ffcc6c"
    },
    {
      "destination": "crates/topaz_syntax/src/ast.rs",
      "bytes": 45304,
      "sha256": "38917ae88a79e2d36c9ea089ef240ddae8e515262aac38a64c890f15c87b6cda"
    },
    {
      "destination": "crates/topaz_syntax/src/integer_bits.rs",
      "bytes": 3169,
      "sha256": "24062691a5bca9bd631d79f5c0efff92ce7ce8adee421087ee7fada6fcadb14d"
    },
    {
      "destination": "crates/topaz_syntax/src/length.rs",
      "bytes": 18303,
      "sha256": "131a440082deec0938c653e1d54cde61ead4cb5bed13cb9cae4d97834cd8c6f6"
    },
    {
      "destination": "crates/topaz_syntax/src/lib.rs",
      "bytes": 1068,
      "sha256": "6546c61709ed2961427ed62314bf78a42ee805ef1ea9e7730914b6508738ab73"
    },
    {
      "destination": "crates/topaz_syntax/src/literal/cooking.rs",
      "bytes": 4764,
      "sha256": "3323d63047adabf1d36e4d10b617185b209aea90b24b342599f468af39598008"
    },
    {
      "destination": "crates/topaz_syntax/src/literal/ir.rs",
      "bytes": 3712,
      "sha256": "0af039a869ba278f33aeea59fa9ce0a5c3fd6c60e63de3f3cee1926f66514aba"
    },
    {
      "destination": "crates/topaz_syntax/src/literal/numeric.rs",
      "bytes": 6578,
      "sha256": "86aea68e66f96f84adfb5de6fa115095a3ef9a0324e6c8627287b3e71ed7522d"
    },
    {
      "destination": "crates/topaz_syntax/src/literal.rs",
      "bytes": 6931,
      "sha256": "703e834bf912158a28ce009a500ca6c265a2971d1a3214ccc021eb4b2721b63b"
    },
    {
      "destination": "crates/topaz_syntax/src/standard_api.rs",
      "bytes": 10168,
      "sha256": "5a734acb7098fed5065ebc622414e845f31e6f9537e8f32ef5dd3ac7f5a97938"
    },
    {
      "destination": "crates/topaz_syntax/src/token.rs",
      "bytes": 8841,
      "sha256": "962b5fa5ccd290f018d429cdcfc2e89fe34f0d4ba191c70a2432c8b3297d2e62"
    },
    {
      "destination": "crates/topaz_syntax/src/version.rs",
      "bytes": 10804,
      "sha256": "3f8f42b51ef7683cdf0d7c624dc4f6e681ceba127c28137fad8e5e198997bf75"
    },
    {
      "destination": "crates/topaz_value/Cargo.toml",
      "bytes": 289,
      "sha256": "e118ea10164a0c7468efd700a39953b442eebd6c69298382c0f61e3fe976c608"
    },
    {
      "destination": "crates/topaz_value/src/lib.rs",
      "bytes": 10942,
      "sha256": "14fa827a6c3e32c64e0fe14067f6172c2ea2cf017877349b4b678e0ff2462e59"
    },
    {
      "destination": "crates/topaz_value/src/lispex_application.rs",
      "bytes": 32804,
      "sha256": "d97998390e1330a1c683b6dd4e0a7e96149f659fc985f59c1b2541e82088ebc3"
    },
    {
      "destination": "crates/topaz_value/src/transcript.rs",
      "bytes": 1717,
      "sha256": "c931c23038a8482ab867512b356bfe038d74c92443ac6f60d3f611dfe45a601e"
    },
    {
      "destination": "crates/topaz_value/src/value/array.rs",
      "bytes": 3050,
      "sha256": "ab78f596e0db9772fba8b54a2958e08d0c8aa7d0365369b44644edaf2e4515d4"
    },
    {
      "destination": "crates/topaz_value/src/value/bigint.rs",
      "bytes": 11825,
      "sha256": "5a91ccf525448ae11d7f745b35fd09fd8148de14fc0e3cd194c336ef32b7f1d3"
    },
    {
      "destination": "crates/topaz_value/src/value/builtin_catalog.rs",
      "bytes": 55389,
      "sha256": "b601d50b1aa7be9c1a351b3574132e89a9cbf4ecb44c918225f2f1127c676139"
    },
    {
      "destination": "crates/topaz_value/src/value/builtins/bigint_decimal.rs",
      "bytes": 7164,
      "sha256": "3ee891fbf1345c5811abd7db6793cb568d62fca49bd354066c03f85fec6146e1"
    },
    {
      "destination": "crates/topaz_value/src/value/builtins/byte_buffer.rs",
      "bytes": 10286,
      "sha256": "bd7ea72fa4a4691ff9fbd487d022b49ceee2b989e23391ee1e9f4053189b6c7c"
    },
    {
      "destination": "crates/topaz_value/src/value/builtins/bytes.rs",
      "bytes": 13322,
      "sha256": "1cf5c8ef183abb65d7d9c5d826ebdbaccd0ee6404b00058a79c30ede10bbe813"
    },
    {
      "destination": "crates/topaz_value/src/value/builtins/date.rs",
      "bytes": 5815,
      "sha256": "f4a9967238ac132366f1dbce56fe60ae51ea903cf05bfe0cecd5724b56e8b840"
    },
    {
      "destination": "crates/topaz_value/src/value/builtins/hash_codec.rs",
      "bytes": 44900,
      "sha256": "761db7f56a8d1b9d106ff2b00c3cf6f49d575d28ad46aa03d4871517530d7149"
    },
    {
      "destination": "crates/topaz_value/src/value/builtins/math.rs",
      "bytes": 7544,
      "sha256": "e73f3d58129f4bd8792303208481905612b7c0c9a26c1ad6effaa6df1a8765eb"
    },
    {
      "destination": "crates/topaz_value/src/value/builtins/mod.rs",
      "bytes": 510,
      "sha256": "556115a095947fd4a6fb2df286eb6b50ff91d73d43b5da25d06d396d7bdf5726"
    },
    {
      "destination": "crates/topaz_value/src/value/builtins/path_regex_url.rs",
      "bytes": 57888,
      "sha256": "e46670f9baee8296433c176e47099261c7121eec3055f08c1a77339158ab2594"
    },
    {
      "destination": "crates/topaz_value/src/value/builtins/test.rs",
      "bytes": 6981,
      "sha256": "66ecb425d5e650616e4b543191eb99475593d055ade829d7b1b95b20fe3ce6bf"
    },
    {
      "destination": "crates/topaz_value/src/value/callbacks.rs",
      "bytes": 22848,
      "sha256": "c71fcc6f00510af6118bbd90511fb86cdf91acb157f469194d669f5efebd1798"
    },
    {
      "destination": "crates/topaz_value/src/value/collections.rs",
      "bytes": 25497,
      "sha256": "f645cf9a478a2ee7ad40dc1d577ffce3666aa68bf672063344d6e2ab38714d81"
    },
    {
      "destination": "crates/topaz_value/src/value/compare.rs",
      "bytes": 16683,
      "sha256": "86fb176401a75a8dc485541a859b178fe65a703d22d47a239591e4122b958f45"
    },
    {
      "destination": "crates/topaz_value/src/value/decimal.rs",
      "bytes": 7257,
      "sha256": "02e6a3f1ea471850be39edf64f83b5a5faaeacfaf69360eebe419bb7948e21ce"
    },
    {
      "destination": "crates/topaz_value/src/value/extern_replay.rs",
      "bytes": 13047,
      "sha256": "76cb5774600ff2428b4c9b5d427b757934386b7127e76906f36cea7755df609d"
    },
    {
      "destination": "crates/topaz_value/src/value/guards.rs",
      "bytes": 4867,
      "sha256": "96b7fefd2faed28085a5a1d6370ff80270dbf3051398a5a3ee1417c10175ba27"
    },
    {
      "destination": "crates/topaz_value/src/value/json/abi.rs",
      "bytes": 17870,
      "sha256": "71881d6d9b9b29c8113a2dada784dd92ae2b0b8b6e480f937aee34b394305c00"
    },
    {
      "destination": "crates/topaz_value/src/value/json/codec.rs",
      "bytes": 13244,
      "sha256": "603aa9a4d169c932efb12d4b7a53af8e0fdea0c2db432d1b40fa8a4d7e2158a5"
    },
    {
      "destination": "crates/topaz_value/src/value/json/mod.rs",
      "bytes": 327,
      "sha256": "fe8ea2bbe059cd9659da98548a7156289be012fbc04ff4d8ee4899683771dd52"
    },
    {
      "destination": "crates/topaz_value/src/value/json/parser.rs",
      "bytes": 13854,
      "sha256": "a4bcb121fb6db82db5483ac3b65d645603cadd9e64d6404d6e0cceb4a39a3bf9"
    },
    {
      "destination": "crates/topaz_value/src/value/json/schema.rs",
      "bytes": 43843,
      "sha256": "11c737405ee332e38fddeb679236b66db6be627c2308afbf2d1ca07959052fb0"
    },
    {
      "destination": "crates/topaz_value/src/value/length.rs",
      "bytes": 8047,
      "sha256": "7d3fbd8d6d5ab16e2eb99d49f868837c5fc44c3483c37f03a0c986fb3d258fda"
    },
    {
      "destination": "crates/topaz_value/src/value/members.rs",
      "bytes": 75080,
      "sha256": "9d5694c75c9996d65af19ecc1b16072de2d1a5c889d62eab6e92c892b318878c"
    },
    {
      "destination": "crates/topaz_value/src/value/mod.rs",
      "bytes": 1360,
      "sha256": "0a7b00e1c8696956b42d7cca40ad1cefdcaedee045c27c6e77694c3b8873f242"
    },
    {
      "destination": "crates/topaz_value/src/value/model.rs",
      "bytes": 23336,
      "sha256": "5cb31f02a1f3fec9cb551b22df6ff995be7c7c79b09328717ca8e70b7ba59fa4"
    },
    {
      "destination": "crates/topaz_value/src/value/operators.rs",
      "bytes": 35831,
      "sha256": "c14b0bfdfb178eb3268ed56c45cd224c257d559611ad2eaf189ab27a8a6544c6"
    },
    {
      "destination": "crates/topaz_value/src/value/regex.rs",
      "bytes": 15863,
      "sha256": "a07cc1df0893d57928ab6d2ee7249ea065422987c46b7da13fd829cd2fae01b0"
    },
    {
      "destination": "crates/topaz_value/src/value/render.rs",
      "bytes": 15229,
      "sha256": "f2a5f18358b3def6be0c9d1e5c2e61798d3b3affa18d5a64c1b99df63c7c5972"
    },
    {
      "destination": "crates/topaz_value/src/value/runtime.rs",
      "bytes": 27316,
      "sha256": "fc427ec2c60e281647826607493241393ddc405e460d10c7a99a0df337dbbd5f"
    },
    {
      "destination": "crates/topaz_value/src/value/sort.rs",
      "bytes": 1239,
      "sha256": "2bcfeda6e6e28ad4adbafc3d820ea33a648a09993040e70c0c296230917d45e7"
    },
    {
      "destination": "generated/compiler.json",
      "bytes": 27791,
      "sha256": "2b98f1cedb7b564239337584c7cc2f39e109a3e8f71e9cf9ee49065121c93347"
    },
    {
      "destination": "generated/compiler.rs",
      "bytes": 13037869,
      "sha256": "25981b6396f138703c3709274ac0f446cef87ccbba7120c001b70934ecea28c7"
    },
    {
      "destination": "request.json",
      "bytes": 1520204,
      "sha256": "01bdfedbec092fa523ce8040774a4c89e6cfb7890f05fcaf80ea505789c4ef50"
    },
    {
      "destination": "rust-toolchain.toml",
      "bytes": 180,
      "sha256": "f961bdf67c0f2603d9171818fd0809ea69f6ec6f6dbc76b05aca78b6634fb903"
    },
    {
      "destination": "std/bytes.tpz",
      "bytes": 62,
      "sha256": "b2e8cf36825b8efe70cc69b2ca81f63fafdd076ee495428986fe540f36618576"
    },
    {
      "destination": "std/json.tpz",
      "bytes": 149,
      "sha256": "52be8dd203e0127157cb77cfcda2658ca37eb7b9b63527f71eec52bea4acc0e6"
    },
    {
      "destination": "topaz/checker/bodies_captures.tpz",
      "bytes": 32799,
      "sha256": "b348cdc1f801c68e6f50a91b2dfe672e359090658ac9c665802d2e093351cf98"
    },
    {
      "destination": "topaz/checker/builtin_signatures.tpz",
      "bytes": 19672,
      "sha256": "d39c56a894a273ca893f9d44a1b49524479515010e8298f01ea597887982d8ad"
    },
    {
      "destination": "topaz/checker/call_complete.tpz",
      "bytes": 59927,
      "sha256": "6897a754962851fd1fd5c5655c03e2e89657431c125f60008b283e635409d1af"
    },
    {
      "destination": "topaz/checker/call_facts.tpz",
      "bytes": 61100,
      "sha256": "23e815d42e6d8a570faeab0b89ca21cf68d144cb4a7463ec02d8cc967c8256ab"
    },
    {
      "destination": "topaz/checker/call_plan.tpz",
      "bytes": 31147,
      "sha256": "182c9ffaebd1d63208a3a82e8d1d208029076991f64546f203b141286548af9a"
    },
    {
      "destination": "topaz/checker/diagnostics_derives.tpz",
      "bytes": 10200,
      "sha256": "17945ea7bf5de9f1f8544ddcce963d16e98f5ddc181ea600168d97009c83ad8e"
    },
    {
      "destination": "topaz/checker/expression_control.tpz",
      "bytes": 49653,
      "sha256": "57121d2c9b1ee2a3cdbf091fca437a45c6508aa02a54cdbbbcb432a26fb020dd"
    },
    {
      "destination": "topaz/checker/expression_core.tpz",
      "bytes": 62608,
      "sha256": "e1b896b21317af553a9b406285783f0fd2b1f8ea82beffaebd1ca658909a6e22"
    },
    {
      "destination": "topaz/checker/members_capabilities.tpz",
      "bytes": 68666,
      "sha256": "f84038b3e8161b108cf418f6ae1965350cc8676b6792a488ef1902143a03c518"
    },
    {
      "destination": "topaz/checker/model.tpz",
      "bytes": 16694,
      "sha256": "82c47a23296656fba5242dc4c4010b8c883fc406953c95188ee7c5370a117dab"
    },
    {
      "destination": "topaz/checker/nominals.tpz",
      "bytes": 34798,
      "sha256": "c0893102880f7597e6e27d77456435e23caea27fb800b21b68f4137f01a1cae7"
    },
    {
      "destination": "topaz/checker/patterns.tpz",
      "bytes": 47023,
      "sha256": "cb0e92d481ad5490a1b3dc9a8456ba6e67764abbe24516b943173b34fc0bc614"
    },
    {
      "destination": "topaz/checker/protocols_methods.tpz",
      "bytes": 43868,
      "sha256": "7786cf11b77feea419d3b324080efce5887a385d44f903d119731f5e6d95f4d1"
    },
    {
      "destination": "topaz/checker/statements.tpz",
      "bytes": 64773,
      "sha256": "b7ccab7bc1fe4f4d19d935df51e01f20ef9c9446617f772613c755d21320f46e"
    },
    {
      "destination": "topaz/checker/syntax_index.tpz",
      "bytes": 25908,
      "sha256": "d035c48f643e8c4a21ddc3194a9b5418a2642e30c6e9766a144e41fa8fb84984"
    },
    {
      "destination": "topaz/checker/type_algebra.tpz",
      "bytes": 32065,
      "sha256": "934d8b2f031b5dd1bdd84082f33481994ddc924ee79783255cb43959c4f37aff"
    },
    {
      "destination": "topaz/checker.tpz",
      "bytes": 10171,
      "sha256": "e39ee31cd9d75f98f8000f3b58cb80d7659f63c3f1e56f49f56752facbc8b959"
    },
    {
      "destination": "topaz/checker_types.tpz",
      "bytes": 322,
      "sha256": "6e710e4116cd6b71342d0444d587f335c4c720d4649ab66444eeeb1be34fc171"
    },
    {
      "destination": "topaz/common/standard_migration.tpz",
      "bytes": 5164,
      "sha256": "727fda6521bb765dd9e94eb50bc297ea554583c068b0f4d0e0681860f9d07440"
    },
    {
      "destination": "topaz/emitter/builtins.tpz",
      "bytes": 18214,
      "sha256": "e6f29e6cb9822a80359c8abf482a89a2c4f701ee023581813af5431c8e2ed377"
    },
    {
      "destination": "topaz/emitter/emit.tpz",
      "bytes": 105979,
      "sha256": "c2b9fb52e1267277782f26cf570668b2d892dab8a08fbbc65e2696ffd3fddd8b"
    },
    {
      "destination": "topaz/emitter/exports.tpz",
      "bytes": 3721,
      "sha256": "4ad549adba331dd178aa05570a129c07c7e010be3f64c505afc32eceed1865fd"
    },
    {
      "destination": "topaz/emitter/ir.tpz",
      "bytes": 6565,
      "sha256": "4616927187fa0e388f65bdab359e907166631c042f3dfe18bc5793c4f5dad754"
    },
    {
      "destination": "topaz/emitter/module.tpz",
      "bytes": 24146,
      "sha256": "9fd0de926c17afdfb42dedccef2103fdb905292a9545c8d1e9327bada229d859"
    },
    {
      "destination": "topaz/emitter/repr.tpz",
      "bytes": 7389,
      "sha256": "634fff7a669bfb6896ce65b4024835f980589347bdf7a62faec43aa1abdad195"
    },
    {
      "destination": "topaz/emitter/rust_text.tpz",
      "bytes": 865,
      "sha256": "e9a9321e837a86b517b5fac136fd51712bd1a303b75a76714467744598b1867e"
    },
    {
      "destination": "topaz/emitter/type_test.tpz",
      "bytes": 14324,
      "sha256": "d2d1f4cfefa0e2723152ca36c23fbcaab49cd23f2a3aaf5d14eae808860b0de0"
    },
    {
      "destination": "topaz/emitter.tpz",
      "bytes": 8428,
      "sha256": "37d2e97132610e92b0f6777b5d88dad151dbf1549265f7f73a7da40bcd636525"
    },
    {
      "destination": "topaz/layout.tpz",
      "bytes": 13597,
      "sha256": "845743615e1d0629310897b57310c6a63bab7051bfaca2a9b5d250d5608a2339"
    },
    {
      "destination": "topaz/length.tpz",
      "bytes": 6185,
      "sha256": "ae2e8615580c8f7512327e369e6a56575c4ad6ec0adcf30fa0fc577cb8c4a34a"
    },
    {
      "destination": "topaz/literal.tpz",
      "bytes": 13291,
      "sha256": "b3e52c414ce3c677c2103835fef948d29f25623ea2d7af912b8e44abe5f473a8"
    },
    {
      "destination": "topaz/lowering.tpz",
      "bytes": 91084,
      "sha256": "577c8963ccbc07b38e5835e624cf0776798c8c41e6fa04a444c0ed4840628b8c"
    },
    {
      "destination": "topaz/parser/core.tpz",
      "bytes": 11833,
      "sha256": "83426c4e5670527cd4d0b1600159b34b6dd0991887080a164bb5e793059769d6"
    },
    {
      "destination": "topaz/parser/declarations_modules.tpz",
      "bytes": 37341,
      "sha256": "153d92263f81f4699363d44e8dc10f41e5dbf5ae04548a60f8eed644a126dd56"
    },
    {
      "destination": "topaz/parser/expressions.tpz",
      "bytes": 44406,
      "sha256": "1c6d84f2b9361c3fd8d12dd8f173005be70d5b0bea264b910f5c47c35e7e7660"
    },
    {
      "destination": "topaz/parser/types_patterns.tpz",
      "bytes": 16732,
      "sha256": "5e836a97ae90bc3ad8b2256809ab7b530a7eaf027d168f6eae763bf6644ca047"
    },
    {
      "destination": "topaz/parser.tpz",
      "bytes": 2780,
      "sha256": "948cd9458ba95d13fe967109a2b4f0a1836e2e9ccf625b20674568a13d0ef491"
    },
    {
      "destination": "topaz/profile.tpz",
      "bytes": 25220,
      "sha256": "85a89e0c514a3d19a8eed35ba84b44c49e6632da9f573480fa0ab0d1de21eaa2"
    },
    {
      "destination": "topaz/raw.tpz",
      "bytes": 22318,
      "sha256": "70e0df5df63c3639269249ee08312633813ca7dc3a71bbb9bd6294afe1ce4cb7"
    },
    {
      "destination": "topaz/resolver/graph.tpz",
      "bytes": 24958,
      "sha256": "4c8c43e9336c2c298bf57693a38634368e000cd17d3d65f6842373fbbe54ebc3"
    },
    {
      "destination": "topaz/resolver/model_facts.tpz",
      "bytes": 10804,
      "sha256": "8aefd2eac6b4d40c8fd3b6cd6ba90181b59807d61dac6af85afb617564a9b222"
    },
    {
      "destination": "topaz/resolver/modules_tables.tpz",
      "bytes": 12461,
      "sha256": "220ebdf4288adbe9ed0670c47898b552664161f6a72576cd5e9ad03d5aa4b0fe"
    },
    {
      "destination": "topaz/resolver/scopes_walk.tpz",
      "bytes": 29293,
      "sha256": "5e6eeee4827759251b15328266e072097f70bd0403ce6758c5ea00b8f86d975a"
    },
    {
      "destination": "topaz/resolver/validation_init.tpz",
      "bytes": 23320,
      "sha256": "05bccf54250f6586d5aad861cc9c1b16271bf130a760b95f4b08bb25d2ec545f"
    },
    {
      "destination": "topaz/resolver.tpz",
      "bytes": 3863,
      "sha256": "183dfd85626272277b3ed20c251940cbb0d45dc27277919a0717106667d69ca5"
    },
    {
      "destination": "topaz/src/main.tpz",
      "bytes": 16891,
      "sha256": "ef16cb39e9956e7e3aaed8023f9a45388c49a17bd9336a6e6f29dfa5aeb63bd3"
    },
    {
      "destination": "topaz/stage1_types.tpz",
      "bytes": 4881,
      "sha256": "c4b100cd939e5d0390a752da49ce5777e66111ceb55f72472309d1a0793ad497"
    },
    {
      "destination": "topaz/types.tpz",
      "bytes": 7849,
      "sha256": "689612b142727dbbfe6f14adb2c6cb4892d197d893d2fca5cfc7aeaf2370fdc7"
    },
    {
      "destination": "topaz/unicode.tpz",
      "bytes": 9697,
      "sha256": "df85836258be748486d23e556bba2cfe91411e7f8fe7d819843fb5a933a37881"
    },
    {
      "destination": "topaz/unicode_tables.tpz",
      "bytes": 133510,
      "sha256": "16293a12c70d71705abbf76523c0667497c52a4f30360a794e2e80995aceae3c"
    }
  ]
}