{
  "Audit.lean": "5beec9220fe933be39c3bfd7d01266ef7b47ce8fd11cbe2e7291285a92765882",
  "FullAudit.lean": "01e829c3c08ebafe6db61784cdaa35dc529d945498ad39fa36a91583d753c535",
  "HalftimeAudit.lean": "3605e6e64c2f4a4adc677f39858382676e2b8ad1abe5aa13842331d79a7f8f4b",
  "ProvenHashes/Composition.lean": "4b06626a8e86e807ad07c0c5d82c739c112981644d33a0c6354d144a6c397624",
  "ProvenHashes/Decoder.lean": "26baef62cd6c3bdcbbef3900d3ad40cef90702daf681a1b11e71bf59b9ae61c1",
  "ProvenHashes/Halftime/Construction.lean": "34551a43ed12272d5f081f1335efdc39a08546f2e41d0b7f21a6f829b6a68819",
  "ProvenHashes/Halftime/EHC.lean": "c99fc94eae1c60e72be8d093037ce368e3ef4465c01c6fa15d8d32e768cf8bd5",
  "ProvenHashes/Halftime/Encoding.lean": "312e730fbd66b6a18273714a6c3d1ef83aa3452c055fca7ddd5c3e9ee11e8585",
  "ProvenHashes/Halftime/EndToEnd.lean": "d899b770539d614ca3b5394238ba0446ed1a16753e9ecf07dc29b3ce6bc205fa",
  "ProvenHashes/Halftime/Forest.lean": "3e2c514175b8e21f4aa98c5ec49ea24cdfa19acfb6699148c95e831048eb1544",
  "ProvenHashes/Halftime/IntegerNH.lean": "ebe9411b728b94ca2b21c8650f3d938c655164ecd40059a4cc523f672a6f4ffd",
  "ProvenHashes/Halftime/Matrices.lean": "1bca8dfe2d19793a4c8d8c99caae6ae5ca430f3ebd1029dea0381950be817fe6",
  "ProvenHashes/Halftime/MatrixFibre.lean": "01008a69629896efb466eca2c8375e3cf6b42228ea6c9fefaaadc1c9c1cb49c6",
  "ProvenHashes/Halftime/Normalization.lean": "4d8b32cfe86dfdaa8faf8ccd6dde7952cd5026391af5a44a068fbfa9f1c92c81",
  "ProvenHashes/Halftime/Probability.lean": "adb65be92291adab2b6a9b346f7a99ce005870a244e1bc4a2c6eca4659759719",
  "ProvenHashes/Halftime/Projections.lean": "3fb173837da8182c9f2aba1ea25115564009446152886c2acc3caa48ba4d4b92",
  "ProvenHashes/Halftime/SharpT2.lean": "e5ab9afb78a0153180a2258da4b8ec72807b348d2b2238fb3739b885752b4875",
  "ProvenHashes/Halftime/SharpTruncation.lean": "6f8c77fe475ce796247d6e9fe4ad0f13e0e8da476e16ee0c034edbc97b92d9cc",
  "ProvenHashes/Halftime/StyleBytes.lean": "c07827ed9889230c1cebd75a877d4ed3ea221990c8096a0550b66b0df2e70852",
  "ProvenHashes/Halftime/StyleCore.lean": "c76f9bdb2743f8097cbccc53d88f634f1f549c7dd5e9c1f778517249bf27fde5",
  "ProvenHashes/Halftime/StyleLanes.lean": "9b364b5eb401da7eb0f3e2992e74265d8eaf911a17b30de73cd14e815972aecd",
  "ProvenHashes/Halftime/StyleLayout.lean": "0554ac62c6b6efe004350172604dbe4b9958ec9737475ac5d13edae9c2ce41e9",
  "ProvenHashes/Halftime/StyleModel.lean": "d87e0787f4dcdc00dac2ca209f3dca3cca82f88dbf3ff0de0761c0ba4076fb2d",
  "ProvenHashes/Halftime/StyleSchedule.lean": "ed232dcbc57c497c62fefe19d73cfb1a5d83a7f073418d0d3c94a2fb7847e341",
  "ProvenHashes/Halftime/Survival.lean": "0691ba0c2b1f2823ce4990d3efd8d4806a74f104506de1cb533c6bd16f48ecd8",
  "ProvenHashes/Halftime/Toeplitz.lean": "d44e0d75e2371f81d4467670a50e37516e1481d689452534f98aedd970f943e1",
  "ProvenHashes/Halftime/Truncation.lean": "17b06cea531ca1c6e82411d2664a80063b7a3bf8923d8cc6f2a891b71ba83783",
  "ProvenHashes/Halftime/WordPacking.lean": "765f113358f78ebadf62a2e1cd796215eea02d355a51c528e08b956b88b276c4",
  "ProvenHashes/Halftime/Wrapper.lean": "33da77d91de61e4980b0c9d55603d26daf35dfa10b8284b564fae16b373aad6c",
  "ProvenHashes/MultiplyShift.lean": "4c48ec6fb225928bc4aaff331e1fbadb348e428be8c6a6fb9b48fcebd326cda7",
  "ProvenHashes/NH.lean": "dcae60f03e766af57ae52e1f10331b9be3d447fc4bbf9ea0a377fb9cd291a42d",
  "ProvenHashes/Polynomial.lean": "03abce4c0497eca366864fb54389972f9086d5c04fe122c94678571716e87bb3",
  "ProvenHashes/Probability.lean": "598969c9a77d874c40a4cbc97f59347eb278e4a1a1bfb197cf15a44f4be53aee",
  "ProvenHashes/Recurrence.lean": "246aec06a594994a6cc543a52251b06aec9b0da8fcaa689ae212ad29a46055c0",
  "ProvenHashes/Tabulation.lean": "d9e263573ac8fb37cab05dfce17a97604ca13e9172aabe09e98d37a47106b20a",
  "ProvenHashes.lean": "eb05e53b6a46b459eb4ad40cdb162f0178f18ef958b16958260d67214d029dde",
  "lakefile.toml": "b6085ff5c8f0eae97557de71d6b09508420ddc9a6e07d3390fa56841dd34ff9d",
  "lake-manifest.json": "8b70ebde7d920ad3b18ff8b09473708ad87beeb7792e9d8da140737ae780d3fa",
  "lean-toolchain": "42779d67b81608af8a12aa4328d2ab47ca201925b3b2bd68369587b5340bb434",
  "HalftimeAudit.txt": "dc89ee5f333c2ea299119663c5dbd1cf6845f7976ab4d8a858c86041db7789db",
  "FullAudit.txt": "6f3e8b34427759c820f63c59d72da1343a5159e8b2d5a26682edec190035d2c9",
  "HalftimeVerification.txt": "894134a210d75708526ba948c567df341db9a389e8a0e9c61351fd710ffc2b66",
  "BaseVerification.txt": "c4c2256e24e76a2e6a760f78e5bc2f4362386eac3452c551c4c4d051a3a0a9c0",
  "PROOF_COMMITS.txt": "1be1f3f4354dba7a02621544f378f66a5326b60fd1d36e8478533a225fac0316"
}