{"count":482,"objects":[{"key":"coq/C4AuthorizationGateV2_6.v","size":9932,"uploaded":"2026-05-14T02:49:50.252Z","sha":"sha256:05ac2677c99300986d1f00637705058dc770b6760f6fe3a42497c6f78647d340"},{"key":"coq/CrossCompilerCoherenceV2_5.v","size":9611,"uploaded":"2026-05-14T02:49:50.617Z","sha":"sha256:40dd445c7ef2f8841695e22a776b6febaec79231a2665a9d466e9cc9621b942f"},{"key":"coq/CubeObjectLayoutV2_5.v","size":5186,"uploaded":"2026-05-14T02:49:51.032Z","sha":"sha256:3a48f3878d97d6f4a0c1ee864eacc7f5e56bfe6de18ad675ff697900b8f040a4"},{"key":"coq/CubieAdapterCreditScoreV3_0.v","size":6145,"uploaded":"2026-05-14T02:49:51.393Z","sha":"sha256:52bf95debdd7a506c76f6e8561b06623156cca6a1bb88a9b0c95e10e95f8b50a"},{"key":"coq/CubieAdmitV8_0.v","size":5837,"uploaded":"2026-05-14T02:49:51.741Z","sha":"sha256:47cc5ac6055e9b1e85f39f8470bc3efbc230519eac4efc5b3930855997f18534"},{"key":"coq/CubieAgentStressV8_0.v","size":7333,"uploaded":"2026-05-14T02:49:52.171Z","sha":"sha256:03a7fc4230455a848797836b56e4cf0339621d1e6ab78220cce58a11213ed587"},{"key":"coq/CubieAndTruthTableV8_0.v","size":8989,"uploaded":"2026-05-14T02:49:52.543Z","sha":"sha256:3eaa12b89478ffb28ef3870c0040c1f01260b93bfd6e5143dbd52a75cc60172f"},{"key":"coq/CubieAttentionGeometryV8_0.v","size":6352,"uploaded":"2026-05-14T02:49:53.431Z","sha":"sha256:29bdf9f0eda7ab9f7a610ce41c653048da7579436b826b55987376e6b357ce16"},{"key":"coq/CubieAttentionGeometry_v7.v","size":5686,"uploaded":"2026-05-14T02:49:52.952Z","sha":"sha256:fb0eab6baee6fa7d5149ae2c153990f77eb5e8cbbe93c0e74014a2326fc71d19"},{"key":"coq/CubieAttestationBridgeV5_0.v","size":4895,"uploaded":"2026-05-14T02:49:53.817Z","sha":"sha256:869c736be40a841b5528d843188dcd4ae0cf4af67076152e51c09330fc05918c"},{"key":"coq/CubieBitboardV2_5.v","size":11663,"uploaded":"2026-05-14T02:49:54.226Z","sha":"sha256:ccfa00c011d4c88e8b24afbb73abd1d52b55b8d1f4cab9490f580547e4523997"},{"key":"coq/CubieBloomLeaseV2_5.v","size":5022,"uploaded":"2026-05-14T02:49:54.630Z","sha":"sha256:97655fa87a288564ed052f170d330127117b50f794e98771466b36e839bed8c2"},{"key":"coq/CubieBridgeV1_40.v","size":3264,"uploaded":"2026-05-14T02:49:55.005Z","sha":"sha256:e543b13cc66466ab93e1dfb627026002100dac6639e3672a494e770d35fd3738"},{"key":"coq/CubieC4AuthGateV8_0.v","size":8762,"uploaded":"2026-05-14T02:49:55.391Z","sha":"sha256:c89d86f4dec70b4f9ea8c60628e19d35d5b4a61a350dcc45c107a05c9c446832"},{"key":"coq/CubieCapacitorShearV8_0.v","size":7883,"uploaded":"2026-05-14T02:49:55.762Z","sha":"sha256:8d7ad8404b9c8de592f29b7ace2cdfecc252225f7aff7b14b9dd6add96879eb0"},{"key":"coq/CubieCapacityV2_5.v","size":11421,"uploaded":"2026-05-14T02:49:56.109Z","sha":"sha256:af9a03b2dbb1aef44769ea64abed25275b12b3db1c5edf924651cdc167bce782"},{"key":"coq/CubieColdPathV4_0.v","size":4753,"uploaded":"2026-05-14T02:49:56.505Z","sha":"sha256:3c63c11da34a7ccab104323cab4fc46899eb67878bc5868aac74733546468223"},{"key":"coq/CubieCompilationClosureV7_0.v","size":9640,"uploaded":"2026-05-14T02:49:56.885Z","sha":"sha256:1c585c250326a0736aee3b3a28a0b9fd212a419b4ee3c5189f962f95e5647dbb"},{"key":"coq/CubieCompileV8_0.v","size":6583,"uploaded":"2026-05-14T02:49:57.251Z","sha":"sha256:98c6ff207d659d19f2a3d3dc5ebb35bce76ceba9209c23cb06e16df1d0f0a028"},{"key":"coq/CubieConsentBridgeV2_5.v","size":5871,"uploaded":"2026-05-14T02:49:57.614Z","sha":"sha256:9ed9a29478f2a8fcc979f0f5420b130fb6118ba12b8d8a007e2fc21629f333b7"},{"key":"coq/CubieConsentHierarchyV8_0.v","size":9503,"uploaded":"2026-05-14T02:49:57.978Z","sha":"sha256:570bb3727bb50739d8219b8f4913b95c47161448c354bef2a29c62a1a7d6c4c5"},{"key":"coq/CubieConsentV2_5.v","size":2519,"uploaded":"2026-05-14T02:49:58.356Z","sha":"sha256:ef5063fe7d532366787ecf626ac3655cb02b3a1f862af59cf5403939ceff921d"},{"key":"coq/CubieConsentV8_0.v","size":7191,"uploaded":"2026-05-14T02:49:58.723Z","sha":"sha256:d184ede5cbc0f44796ea68cff0bd615764cb143871b7a655b2d63a7005698479"},{"key":"coq/CubieConstantTime.v","size":5945,"uploaded":"2026-05-14T02:49:59.089Z","sha":"sha256:e1f56bcbe41be7158f77c06f4008b90e05a26bdeacd2aba78c0778b966043967"},{"key":"coq/CubieConstantTimeV8_0.v","size":7565,"uploaded":"2026-05-14T02:49:59.538Z","sha":"sha256:e2f3b2c2d6232214da949bc27781987c61274475de6d1d60ba5c53ec9cc6ab22"},{"key":"coq/CubieCornerConsensusV3_0.v","size":1421,"uploaded":"2026-05-14T02:49:59.947Z","sha":"sha256:a08465952c7d0f9d17a38a076832517f163f07f9611bda8cb820e5c2d5de63c9"},{"key":"coq/CubieCrateBoundaryV8_0.v","size":6066,"uploaded":"2026-05-14T02:50:00.372Z","sha":"sha256:8281745b66ef711f493115f908379ecad04935207a0f8bdf9ac5d8cbc748f1ce"},{"key":"coq/CubieCrossCompilerV8_0.v","size":7274,"uploaded":"2026-05-14T02:50:00.764Z","sha":"sha256:af1001052cfc8480911737384f4d337ae243880aeb3621c1d601ef01c4276d53"},{"key":"coq/CubieCubeTopologyV8_0.v","size":6920,"uploaded":"2026-05-14T02:50:01.145Z","sha":"sha256:a2a1d6e4a8c42c6cc53d81bdd3c284e1f56da12e83004fd38260df939445b5e1"},{"key":"coq/CubieCubieQAssemblyV8_0.v","size":7727,"uploaded":"2026-05-14T02:50:01.614Z","sha":"sha256:9216aeb557c9129907b2f44c6b031d93bc48121722e658e065c85aeb332ec511"},{"key":"coq/CubieCubieQV8_0.v","size":6917,"uploaded":"2026-05-14T02:50:02.029Z","sha":"sha256:5b55e0f872af7ef25c4d89c418b4785fcc5d54a24f652f42695d61f9d455bab4"},{"key":"coq/CubieCyberPhysicalV3_0.v","size":3435,"uploaded":"2026-05-14T02:50:02.497Z","sha":"sha256:0f73e5017fd3149e3fea017a14e5f7572dc13ec3e1fb618c8f768500af0ffbd6"},{"key":"coq/CubieCyberPhysicalV8_0.v","size":6798,"uploaded":"2026-05-14T02:50:02.941Z","sha":"sha256:818618ba2752dbf74234e89c2f717623b6a3bd1d07b64948635e3c67abba771f"},{"key":"coq/CubieCycleBoundV3_0.v","size":1104,"uploaded":"2026-05-14T02:50:03.338Z","sha":"sha256:04aed3e15a67d4773da6389295767d6d13ff85bf5d20e1c999b59188586465fd"},{"key":"coq/CubieCycleCounterV3_0.v","size":6944,"uploaded":"2026-05-14T02:50:03.722Z","sha":"sha256:edab23385cca99074487097198ad7a5f79c097c2ddcb9d8ec3a2f5b9626dc0b2"},{"key":"coq/CubieDelegationDepthV8_0.v","size":7596,"uploaded":"2026-05-14T02:50:04.110Z","sha":"sha256:582c90df3d87b210f6edb44e38c05f80a609afe79be5a257704364f1543152a1"},{"key":"coq/CubieDelegationRecursionV3_0.v","size":7541,"uploaded":"2026-05-14T02:50:04.962Z","sha":"sha256:0e2fcec16fc9811c77e01a31d31e0f96fbe911d6f2fa41ca472ba732bbf3eaa7"},{"key":"coq/CubieDelegationRecursion_v6.v","size":3106,"uploaded":"2026-05-14T02:50:04.512Z","sha":"sha256:174ec08498dd339c8248fb887eb25d7e6c00480eb329d4a7f02e05e220f97d81"},{"key":"coq/CubieDelegationV3_0.v","size":8396,"uploaded":"2026-05-14T02:50:05.481Z","sha":"sha256:bd2fdf6fe06f5757be1c4cf07b4b02e5e1a2b0d962e88002a9a69f3148783717"},{"key":"coq/CubieDenialCertV3_0.v","size":4388,"uploaded":"2026-05-14T02:50:05.886Z","sha":"sha256:bc4791726048498f890576429d93fbd5b9a943129459263395640fd25e6b2806"},{"key":"coq/CubieDenialCertV8_0.v","size":6898,"uploaded":"2026-05-14T02:50:06.256Z","sha":"sha256:d16797511d122127d7179b5e16d7fd4e45517e1846f06bea6b10a59b0d3870b4"},{"key":"coq/CubieDimensionalRegressionV3_0.v","size":4780,"uploaded":"2026-05-14T02:50:06.676Z","sha":"sha256:f624fe916424f47d324e4d64a7b9115d5e98353261441cb7c848b8c2554b8587"},{"key":"coq/CubieDmaV5_0.v","size":4433,"uploaded":"2026-05-14T02:50:07.115Z","sha":"sha256:596c8a9a7da9ab0c2fc14256cabbe37e34d4bf9da280affa6c122d004ac26813"},{"key":"coq/CubieDualLedger.v","size":16602,"uploaded":"2026-05-14T02:50:07.567Z","sha":"sha256:869f7c30f5a4f49b5fc25e0861d56ab658b4b98c50e0ca51c6d34248379fd8c4"},{"key":"coq/CubieDualLedgerTelemetryV8_0.v","size":8220,"uploaded":"2026-05-14T02:50:07.985Z","sha":"sha256:e78f6086146fbdef62f8765e0309c487336195affbff6d792d51c1e0cf8c1625"},{"key":"coq/CubieEgressConjugateV6_1.v","size":4331,"uploaded":"2026-05-14T02:50:08.432Z","sha":"sha256:ba0f47b35969604733067285abd4a9c8576d0cf67290a2d66e9cfc77a3d41d23"},{"key":"coq/CubieEgressConjugateV8_0.v","size":7274,"uploaded":"2026-05-14T02:50:08.839Z","sha":"sha256:81623d024396c5892cc0a936b72c100740f8cc4fdf1ab0767b72dff6f9a459cd"},{"key":"coq/CubieEnclaveV2_5.v","size":8046,"uploaded":"2026-05-14T02:50:09.292Z","sha":"sha256:81a6537110516624ea1ccddd1122af18af9c07ed6e6c018f90b5c8da101354cd"},{"key":"coq/CubieEngineeringPhysicsV8_0.v","size":6203,"uploaded":"2026-05-14T02:50:10.129Z","sha":"sha256:17502f860b76c324d121e757b2f8c3da25b754c5944ce470cfba77e901cd11e9"},{"key":"coq/CubieEngineeringPhysics_v7.v","size":3441,"uploaded":"2026-05-14T02:50:09.732Z","sha":"sha256:f75582e4b18545edc9ae1f8c0e686e3e56f11ae95a875496a1894e4afedd6e91"},{"key":"coq/CubieEntropyV5_0.v","size":4219,"uploaded":"2026-05-14T02:50:10.523Z","sha":"sha256:709b90f2926eb64ed0974b1dc88fc4254bb64d5cafd235a78031ec260be2a46c"},{"key":"coq/CubieEphemeralityV8_0.v","size":5027,"uploaded":"2026-05-14T02:50:11.112Z","sha":"sha256:f795c1b8721f2c1db242ed1beb2e4955922e95f3f3cd64fc6e430ac4262ab0c2"},{"key":"coq/CubieEpochRotationV6_2.v","size":3744,"uploaded":"2026-05-14T02:50:11.466Z","sha":"sha256:260e19b556a6e95b6bad42798a7f80a2b2a8a4fa38a92b8a86be3a72c0104ac2"},{"key":"coq/CubieEpochRotationV8_0.v","size":7561,"uploaded":"2026-05-14T02:50:11.877Z","sha":"sha256:d32916089b968b3d30efd3816312e6e0731f17be29ee6a07cf48baffa362465a"},{"key":"coq/CubieExecutionPhysicsV2_1.v","size":8155,"uploaded":"2026-05-14T02:50:12.289Z","sha":"sha256:272b57f5b2adaa31d7a6190e23c7ef70340dca9a2fb7a50f273c02e020ca8ce2"},{"key":"coq/CubieExecutionPhysicsV8_0.v","size":6863,"uploaded":"2026-05-14T02:50:12.685Z","sha":"sha256:1974f5586407fbbcfa2d8652c8aa23623fe41578ccf87352a08ab7a0e11db691"},{"key":"coq/CubieFaceGeometryV8_0.v","size":9061,"uploaded":"2026-05-14T02:50:13.259Z","sha":"sha256:d8a92c874b629ce819f23b52905a80bc551be9360e5b88f634591047c19f7996"},{"key":"coq/CubieFailureTaxonomyExtV8_0.v","size":9795,"uploaded":"2026-05-14T02:50:13.672Z","sha":"sha256:78e6264e63e186a95e3cefc5f28f1508f97efead861be50c3051ad7ed1409c1b"},{"key":"coq/CubieFailureTaxonomyV7_0.v","size":9821,"uploaded":"2026-05-14T02:50:14.056Z","sha":"sha256:c9a850b5cb931698fad31e82a6e30ca3dcc1afbe4d2bd678c6b26f27c3665508"},{"key":"coq/CubieFenceV2_5.v","size":4174,"uploaded":"2026-05-14T02:50:14.437Z","sha":"sha256:6c81993f86b641a4a7968978cbba0f2e77c6cf8c59b795baea6ecba9b188fa95"},{"key":"coq/CubieFipsCryptoV4_0.v","size":5471,"uploaded":"2026-05-14T02:50:14.830Z","sha":"sha256:0b92b27316456d59ef3bc95eaeec461ed9ad8f16e11ed131fc43e6d0eba8521d"},{"key":"coq/CubieFluidDockingV8_0.v","size":6777,"uploaded":"2026-05-14T02:50:15.211Z","sha":"sha256:6bdabe5620edece2ef07b96b01475b78c4835608af9953d581bf16e4a893440f"},{"key":"coq/CubieFluidOpsV8_0.v","size":8933,"uploaded":"2026-05-14T02:50:15.632Z","sha":"sha256:5a0367b1d0ae4c0c2061d3c232bdc1114f59e04c48458bd8a4355a737d967dc5"},{"key":"coq/CubieGeometricCapacitorV6_1.v","size":11156,"uploaded":"2026-05-14T02:50:15.989Z","sha":"sha256:0a30a256e55ece8a823fd17451ffe594a7061df9897e802c2a5c3348c829f802"},{"key":"coq/CubieGeometricMemoryV3_0.v","size":7989,"uploaded":"2026-05-14T02:50:16.351Z","sha":"sha256:a85a65927c02ef64b97d240d7cea8270517f469a229ea387d31344ee811e6a99"},{"key":"coq/CubieGeometricProtocolV6_0.v","size":1553,"uploaded":"2026-05-14T02:50:16.742Z","sha":"sha256:eb42bb5c6760e7f5a869943884e7f2a5d264be18d96d8d51a6c8cb17a1216089"},{"key":"coq/CubieGeometryV3_0.v","size":19858,"uploaded":"2026-05-14T02:50:17.151Z","sha":"sha256:cd2586dba06f100f77f6565c32dea6a494d9f17a88cf1c99293216a97b633f68"},{"key":"coq/CubieGeometryV8_0.v","size":7794,"uploaded":"2026-05-14T02:50:17.535Z","sha":"sha256:0f40327770c5c82e54d63419bc5b9a671fbeb28bab04fbc4543fc82edc27c431"},{"key":"coq/CubieGoodputV3_0.v","size":1225,"uploaded":"2026-05-14T02:50:17.934Z","sha":"sha256:99dc4d0c9c79bcc62666264ffa76aa4840de109cb35c7ec588f0171ce451fb02"},{"key":"coq/CubieGoodputV8_0.v","size":6686,"uploaded":"2026-05-14T02:50:18.324Z","sha":"sha256:b9aca5ed9fbd591f33c9a6cccb7aea9e1ef353d65c8861f3efa9b0ddb05f53eb"},{"key":"coq/CubieHardenedGate.v","size":8442,"uploaded":"2026-05-14T02:50:18.795Z","sha":"sha256:25ab88fcca6b839fa70081d89d4c23dd38b24dfc8f5569bec0cc30da5df1a20d"},{"key":"coq/CubieHardenedGateV8_0.v","size":7469,"uploaded":"2026-05-14T02:50:19.227Z","sha":"sha256:3d21d5e39ea82155bcd9f22dbaa231ab03811a3bccbcd35d309d07fca7144e3d"},{"key":"coq/CubieHardwareStencilV6_2.v","size":8601,"uploaded":"2026-05-14T02:50:19.643Z","sha":"sha256:4d2818ef068ef837393dd3c675b32712c18cb8eab60fe5d4b807ce4c6b101c63"},{"key":"coq/CubieHmacV8_0.v","size":6879,"uploaded":"2026-05-14T02:50:20.108Z","sha":"sha256:3862ba602e977cf1887c25abb2f53b2b63a4a076cfb67f67ad1b5602351240b6"},{"key":"coq/CubieHmacVerifyV8_0.v","size":4435,"uploaded":"2026-05-14T02:50:20.539Z","sha":"sha256:b203dc86ce6fb8b28003087d8bafd2de9e07f6d24ca70d8f482e76a990c18d2d"},{"key":"coq/CubieIdeKeyV5_0.v","size":4761,"uploaded":"2026-05-14T02:50:20.906Z","sha":"sha256:3804c128277cbd26c812fd26e02d8c81cd95c108ef3b0d86aa18d8bc4d23ca83"},{"key":"coq/CubieIngressV5_0.v","size":4507,"uploaded":"2026-05-14T02:50:21.402Z","sha":"sha256:e077f6aa1114b3c6ab095ea4c84fcadca716d6d400f081db9093cd4dd2e3777b"},{"key":"coq/CubieIotlbV5_0.v","size":4706,"uploaded":"2026-05-14T02:50:21.935Z","sha":"sha256:c993db054b0a80952a52f6c27b263f39872d7ddc9741b9206b531381d7878f90"},{"key":"coq/CubieItaClientV8_0.v","size":4759,"uploaded":"2026-05-14T02:50:22.384Z","sha":"sha256:9d72ef9280743492779f41b0e8450c0d7d96ab5054883123afb996cb1c411e1c"},{"key":"coq/CubieKineticShearV6_0.v","size":2922,"uploaded":"2026-05-14T02:50:22.781Z","sha":"sha256:b30bc865546fb9087df84af3635d0912598b6eb685dfb2c443119facc0d81111"},{"key":"coq/CubieMMIOSafetyV3_0.v","size":12434,"uploaded":"2026-05-14T02:50:23.133Z","sha":"sha256:3de821d7d8e57ae1364e5ce6e16a4f371bcc730a30c5d3e0fe7bc5b713396538"},{"key":"coq/CubieMovdir64bV4_0.v","size":3080,"uploaded":"2026-05-14T02:50:23.644Z","sha":"sha256:0e46342c7f6816cf7ee15bfc3fd0c820f600cc1b7d06c6189ad244ca40c7029e"},{"key":"coq/CubieNistC4GateV8_0.v","size":12086,"uploaded":"2026-05-14T02:50:24.033Z","sha":"sha256:f61127a23fee16e3e08eb96ca52614cf261528a79e2441223677697c011f2091"},{"key":"coq/CubieNistC4V2_5.v","size":7946,"uploaded":"2026-05-14T02:50:24.495Z","sha":"sha256:4d7d4a31b0297a0c0f049103a99c24db0d2dd4fcc0233c8d2e023fde10941fdc"},{"key":"coq/CubieNistGateV8_0.v","size":7666,"uploaded":"2026-05-14T02:50:24.855Z","sha":"sha256:02e24262a3a46f349c7a6cea14472bed7933c889a6a4a3eca1430ed2cddfc944"},{"key":"coq/CubieNonQuantum_v1_10.v","size":9214,"uploaded":"2026-05-14T02:50:25.277Z","sha":"sha256:fd6836ef637b8fc43b59bf9b1b433415b50891bc426113fd0c737534b9898914"},{"key":"coq/CubieNvlinkV8_0.v","size":4225,"uploaded":"2026-05-14T02:50:25.815Z","sha":"sha256:46ef965c4f6a6f863065b6d38f0f86b00d62e4933a346d3ded5d17bfbfa7979a"},{"key":"coq/CubieOmegaBridgeV2_2.v","size":7480,"uploaded":"2026-05-14T02:50:26.251Z","sha":"sha256:73b102052172e7ef53dc86673e93b7f3282db13f753f53b630766f25c6591fce"},{"key":"coq/CubieOmegaBridgeV2_3.v","size":22054,"uploaded":"2026-05-14T02:50:26.617Z","sha":"sha256:4c030b7e55572601b116044f51f270cb38304c3842eee8d1e609d8aed8440dbc"},{"key":"coq/CubieOmegaBridgeV3_0.v","size":14106,"uploaded":"2026-05-14T02:50:26.967Z","sha":"sha256:1652511f67f4fd2a0ab08e1b3868f6f853e2c9378a94ffcc4d06e3f92f65f6f4"},{"key":"coq/CubieOmegaBridgeV8_0.v","size":7838,"uploaded":"2026-05-14T02:50:27.326Z","sha":"sha256:5fd85202a75e1fc03417e8775708b9fc53583313464bbd72eb10bdad162968e0"},{"key":"coq/CubieOmegaStage2V2_3.v","size":20117,"uploaded":"2026-05-14T02:50:27.680Z","sha":"sha256:cea4e049a1329716b51f406526b18ceaac04012d9f2dc74f5fc34bdbd7506cb1"},{"key":"coq/CubieOmegaStage2V8_0.v","size":6612,"uploaded":"2026-05-14T02:50:28.152Z","sha":"sha256:ad409dbee91e76667780afdef397f5cc44afb05748d2d98143ee330b9953674d"},{"key":"coq/CubieOmegaTreeV8_0.v","size":7794,"uploaded":"2026-05-14T02:50:28.524Z","sha":"sha256:dcf8735c31f4cf2a2cf1c883db5fc8a90584ba90643b12e69a0244f41629c6c0"},{"key":"coq/CubieOmegaV3_0.v","size":19842,"uploaded":"2026-05-14T02:50:28.914Z","sha":"sha256:fe57715d39f4e6a3fb618c7b40657c9db950046e59db0e5f410c218be602e7df"},{"key":"coq/CubieOmegaV8_0.v","size":6230,"uploaded":"2026-05-14T02:50:29.356Z","sha":"sha256:583ac2b35b84a98f20b9bfce473f3641656e687d69976860b296f0d38a7a0a8b"},{"key":"coq/CubieOutputStateV2_5.v","size":4310,"uploaded":"2026-05-14T02:50:29.726Z","sha":"sha256:fb73df7f2cb3445aefd8d53790eb53af526373d25d8e005135ae89dd6d1de79b"},{"key":"coq/CubiePcieTtlV3_0.v","size":5263,"uploaded":"2026-05-14T02:50:30.147Z","sha":"sha256:1d4f0879f098811300fd82438d8345f636f26e5f0bf47d9b234751cb8d7b6683"},{"key":"coq/CubiePhaseTransitionV7_0.v","size":12160,"uploaded":"2026-05-14T02:50:30.582Z","sha":"sha256:eccf2145c42954b5d42d0128bf33dc57540bc2f925c5bea930fb6d83c64aa59c"},{"key":"coq/CubiePhaseTransitionV8_0.v","size":11550,"uploaded":"2026-05-14T02:50:30.969Z","sha":"sha256:ab62ce2f02a082899eac11a13bd1fa2e1ed580d7db6018a59621b720891c9372"},{"key":"coq/CubiePmpV2_5.v","size":5915,"uploaded":"2026-05-14T02:50:31.348Z","sha":"sha256:c1a7ac6a97a18f3b372ab2168a0f77f67066934c4259c97d9fcf4dd1a88c37e1"},{"key":"coq/CubiePositionalTamperV7_0.v","size":7866,"uploaded":"2026-05-14T02:50:31.788Z","sha":"sha256:0fcdcc7155f94aad7a88a9bdeafc8c87e1189c107846716b7194e9684164e00f"},{"key":"coq/CubiePositionalTamperV8_0.v","size":8282,"uploaded":"2026-05-14T02:50:32.218Z","sha":"sha256:5f515dffaf45ce45d7d71872e1a5e4a93254aa29b4e1015cbf5863729c164166"},{"key":"coq/CubiePostQuantum.v","size":5046,"uploaded":"2026-05-14T02:50:32.585Z","sha":"sha256:8f388762f046b2323f0611d917c03fbbf3a0d25c2fc1c63d33cbea03e2e3af2e"},{"key":"coq/CubiePostQuantumBridgeV3_0.v","size":5652,"uploaded":"2026-05-14T02:50:32.962Z","sha":"sha256:38fb9d89eb419b339beadab3270c30ac11fd48e2c3c36a8b90a1c83b338701f2"},{"key":"coq/CubiePufV8_0.v","size":5316,"uploaded":"2026-05-14T02:50:33.347Z","sha":"sha256:7763d40c5c52300cd1398e962c050957c4214360cd1b71f08187cce80833b4d3"},{"key":"coq/CubieQAddendumV3_0.v","size":17564,"uploaded":"2026-05-14T02:50:34.608Z","sha":"sha256:961c171667974a4ac3377d0b3d70c146ab519ff5a815f62009e6f975c699f49a"},{"key":"coq/CubieQApex.v","size":4891,"uploaded":"2026-05-14T02:50:35.081Z","sha":"sha256:4f84b991098536f9278bac522882a55fac15c74c589d50866fa41764f5db3d9b"},{"key":"coq/CubieQGeometric.v","size":7652,"uploaded":"2026-05-14T02:50:35.484Z","sha":"sha256:811401a08eecbbdec0d6cbdb5e686a0ce32fa4d07cb5c3ff74ff6c0c6fc353e3"},{"key":"coq/CubieQuantumConsent.v","size":8370,"uploaded":"2026-05-14T02:50:36.068Z","sha":"sha256:a50452027f2eed4964f2396953981535cc6d62c40b29588900afb79f6cefbee9"},{"key":"coq/CubieQuantumConsentAdvanced.v","size":23027,"uploaded":"2026-05-14T02:50:36.462Z","sha":"sha256:f39eb3647f136498d431782f8cfd8552802c688509a40c2216ed5952ba8bb46a"},{"key":"coq/CubieQv14.v","size":7839,"uploaded":"2026-05-14T02:50:36.900Z","sha":"sha256:8d62f55a7b73ed6979fbad6695f5f5c757f29cee2668b72063d073f240d83669"},{"key":"coq/CubieRamenCornerV8_0.v","size":6500,"uploaded":"2026-05-14T02:50:37.304Z","sha":"sha256:4257d22d1a34d97041d2e69265690b66014e51c489dd904cf5b8046db9ff3afb"},{"key":"coq/CubieRcuV4_0.v","size":2828,"uploaded":"2026-05-14T02:50:37.720Z","sha":"sha256:e453d8d695e226999b553cccbaa2f73e5fb8f012bf1d7ca877248be7041ecc17"},{"key":"coq/CubieReplayV3_0.v","size":2077,"uploaded":"2026-05-14T02:50:38.137Z","sha":"sha256:573332424073d177047a99a7aa924d2c2e29e4f36a5f79dd0c40d7cdaee44c40"},{"key":"coq/CubieReplayV8_0.v","size":6817,"uploaded":"2026-05-14T02:50:38.583Z","sha":"sha256:d020b237b37f4865ccc691539612417a1e1bf109ffb8d7b5dff97aa52224df3e"},{"key":"coq/CubieRtmrV5_0.v","size":4455,"uploaded":"2026-05-14T02:50:38.942Z","sha":"sha256:55b312f4d2e4c05491f2ecab8e3d6d01efa86366823157e956d36b4ba862dc73"},{"key":"coq/CubieRuntimeV6_0.v","size":10351,"uploaded":"2026-05-14T02:50:39.356Z","sha":"sha256:bf0485bac1dd119a7e207751cce6add604ba306f2565525afb7d6f3a139e30c0"},{"key":"coq/CubieSeamEntropyV3_0.v","size":5450,"uploaded":"2026-05-14T02:50:39.915Z","sha":"sha256:2f2bd0d0464cf0e91a8e650783d282dfec76d07cfb033bd6d186efded1c97377"},{"key":"coq/CubieServerDegradationV8_0.v","size":8427,"uploaded":"2026-05-14T02:50:40.382Z","sha":"sha256:403099ca561183d25d45cfbeedbc32cccf3f0999d0f00ebb8a92fc3b68bd6e1f"},{"key":"coq/CubieSha256V8_0.v","size":6809,"uploaded":"2026-05-14T02:50:40.752Z","sha":"sha256:6f8bfb752f8b365833e0521a273f8a25a9234b8223bd9bc8a3155af5c2415ab3"},{"key":"coq/CubieSiliconProvenance.v","size":7259,"uploaded":"2026-05-14T02:50:41.139Z","sha":"sha256:00b4cbf24a4b034b275605c80874dd0dc12534f1c45ea267feaa27b9faefe345"},{"key":"coq/CubieSiteTopologyV8_0.v","size":6194,"uploaded":"2026-05-14T02:50:41.944Z","sha":"sha256:9934f0b86219a8d50d8b21039e26a6f89fb4e5c650138eecaba379e1bc3fe2dc"},{"key":"coq/CubieSiteTopology_v4.v","size":3584,"uploaded":"2026-05-14T02:50:41.525Z","sha":"sha256:f5d07995c29dd1c3558223ab7fdfc2fa72252192c5c0077b7606e44c65dbca0d"},{"key":"coq/CubieSpdmV5_0.v","size":5657,"uploaded":"2026-05-14T02:50:42.338Z","sha":"sha256:15294f0924273d93a19669b9a81878b5efe55a01d56caaffb7ea84dbc746307d"},{"key":"coq/CubieTamperStencilV8_0.v","size":8044,"uploaded":"2026-05-14T02:50:42.687Z","sha":"sha256:139a061ad2241d36db92aaab3b0796fc6bab373ab0e74d79e4d24afd50dd70da"},{"key":"coq/CubieTarpitV2_5.v","size":6847,"uploaded":"2026-05-14T02:50:43.048Z","sha":"sha256:d81c066ccce4353abac3d57c387f7c11eeb5151c992e07404d70019faeace802"},{"key":"coq/CubieTdispV4_0.v","size":3460,"uploaded":"2026-05-14T02:50:43.405Z","sha":"sha256:0583cba11437e38530bcdab17802dd64491cc9f0e3ffa69d7f1423aa78bcf0ca"},{"key":"coq/CubieTdxAbiV5_0.v","size":5538,"uploaded":"2026-05-14T02:50:43.741Z","sha":"sha256:f1823826a41198ebf9e40e29b65acda4f9ee4fdec4ba2c145c56c36adf895b8b"},{"key":"coq/CubieTdxMemV5_0.v","size":4118,"uploaded":"2026-05-14T02:50:44.082Z","sha":"sha256:aeb45243fb965ae2ba9dd3f8f7e298fb44a6d2f8835210763d1f7996124d0418"},{"key":"coq/CubieTdxPipelineV5_0.v","size":5953,"uploaded":"2026-05-14T02:50:44.467Z","sha":"sha256:7c4e30aea8a15c79d695790e04337cc70f59ca7a9d82986fdf2be7a68914b93a"},{"key":"coq/CubieTdxPipelineV8_0.v","size":7539,"uploaded":"2026-05-14T02:50:44.900Z","sha":"sha256:6a8ccfcd05d78dbfa54a68c7fe73c5dba5c712c5f9e57e3516e19ed8dc09747d"},{"key":"coq/CubieTelemetryEpochV5_0.v","size":4689,"uploaded":"2026-05-14T02:50:45.260Z","sha":"sha256:2b8d0125f7d1456671422316931ffb679b159a3bb6055d9230266b766ee47ab5"},{"key":"coq/CubieTernaryDynamicsV5_0.v","size":6538,"uploaded":"2026-05-14T02:50:45.671Z","sha":"sha256:e6659d4f96b2cf8ad5d181d88b816d9ea5263c6526c585a30bb6f254512129e3"},{"key":"coq/CubieTernaryGeometryV5_0.v","size":9516,"uploaded":"2026-05-14T02:50:46.162Z","sha":"sha256:5613bc581f68f5cdecf7fa61fdf3db58304e51d4e39b0ca8707be32746a8c754"},{"key":"coq/CubieThermalV8_0.v","size":5141,"uploaded":"2026-05-14T02:50:46.517Z","sha":"sha256:ac3e9846ef119ec35fc532d282f63db8b5c5141dae65ea97332bc983fbc073c3"},{"key":"coq/CubieTopologicalBackpropV6_1.v","size":10453,"uploaded":"2026-05-14T02:50:46.875Z","sha":"sha256:2a83877c44ef8de92ae041c1a38e79c73522940116d470d4ecd449a22d48c9fa"},{"key":"coq/CubieTopologyCollapse.v","size":10462,"uploaded":"2026-05-14T02:50:47.306Z","sha":"sha256:157958df474b34ba2da1633cd85b80efb2e411c9e2c7a43dd01b135d42fa86f4"},{"key":"coq/CubieTopologyCountingV8_0.v","size":11294,"uploaded":"2026-05-14T02:50:47.699Z","sha":"sha256:39e7e60fa4e12a708b9229572051efe27fe648d82409e474eb54a000a9659a32"},{"key":"coq/CubieTrustCompilerV1_50.v","size":8742,"uploaded":"2026-05-14T02:50:48.155Z","sha":"sha256:b717792d5703323f317b58e24bb52def499cc15c2ec3532705dfadc614393f2b"},{"key":"coq/CubieTrustCompilerV2_0.v","size":12403,"uploaded":"2026-05-14T02:50:48.515Z","sha":"sha256:8138582577be654690efe660e4bc74e7d958cce4a77515a224e6bba2b1445a8e"},{"key":"coq/CubieTrustCompilerV2_0_PerPredicate.v","size":18663,"uploaded":"2026-05-14T02:50:48.881Z","sha":"sha256:a6c871e5fe74aa557e9c6c3ed381279909a501c59f4370c9a0f6954f5591c78c"},{"key":"coq/CubieTrustCompilerV2_1.v","size":3026,"uploaded":"2026-05-14T02:50:49.271Z","sha":"sha256:fdd81b7ba00ec2963aa9ac0a2bb5cd784eb3939a1959b1f0909d557cfc7de230"},{"key":"coq/CubieTypesV8_0.v","size":6662,"uploaded":"2026-05-14T02:50:49.637Z","sha":"sha256:ac37280d68e4e17cc383e5b48d48626dcf454530a95eb16abaa715e70c9900ee"},{"key":"coq/CubieUahConsensusV3_0.v","size":4062,"uploaded":"2026-05-14T02:50:50.056Z","sha":"sha256:cb14898d89ff539cdc8d61d78438572a70e6c1c9aef53682677f64b919f9eae4"},{"key":"coq/CubieVeGuardV5_0.v","size":4214,"uploaded":"2026-05-14T02:50:50.474Z","sha":"sha256:5881271d275ea0d4303221f37bc23cc4aee5697b674927e2f176d5353d731344"},{"key":"coq/CubieVertexPredictionV3_0.v","size":5002,"uploaded":"2026-05-14T02:50:50.852Z","sha":"sha256:42da02cf8c203884f5eac4ce9d774c068a7ae8abd3664ac3b7f4bcbc0dff9cfa"},{"key":"coq/OAI_cubie_trust_compiler_theorems.v","size":9991,"uploaded":"2026-05-14T02:50:51.298Z","sha":"sha256:b5680d9158220053a672dd87d0496d8a36dda1429cca7fc531e9309e057f3e8f"},{"key":"coq/OaiRuntimeV6_0.v","size":7808,"uploaded":"2026-05-14T02:50:51.651Z","sha":"sha256:7fbf4eb7b08371581c2bd78cc7690aba43df09fc85f4e70605c6e19d88232e63"},{"key":"coq/OmegaEight.v","size":9598,"uploaded":"2026-05-14T02:50:52.018Z","sha":"sha256:117e2fc0fff222a364c964d7c36abd3a1b98a389dfa299dd107557deb8aa9d0e"},{"key":"coq/OmegaSeven.v","size":9058,"uploaded":"2026-05-14T02:50:52.423Z","sha":"sha256:07335251fa4c052ab18e0bea254a12f591e9579306abf3ec56f79c9495e0c69d"},{"key":"coq/OmegaStage2CompositionV2_4.v","size":12497,"uploaded":"2026-05-14T02:50:52.843Z","sha":"sha256:cc6328c160aade727af302868da7c2b09cfcf9fb5ac05de37e9d593edaade691"},{"key":"coq/RamenCornerConsensusV1191.v","size":17490,"uploaded":"2026-05-14T02:50:54.930Z","sha":"sha256:0b4d80f72a672fb6dda449fcdf5816079cc174e4881ff388b7067b0487b0bd34"},{"key":"coq/RamenCornerConsensusV1192.v","size":18213,"uploaded":"2026-05-14T02:50:55.361Z","sha":"sha256:552602234ce47357329f1b91cdf50591e192b7e702c57be67e830729439dce55"},{"key":"coq/RamenCornerConsensusV1193.v","size":10031,"uploaded":"2026-05-14T02:50:55.908Z","sha":"sha256:b65624ebcee5af5c1af66e80025b10e4f592543b2680574f33acf1b1027978c8"},{"key":"coq/RamenCornerConsensusV1_19_3.v","size":3609,"uploaded":"2026-05-14T02:50:56.350Z","sha":"sha256:e024720fbf514cf99a371bbe576ebc651ad35d4993c3858e62c5e085d9e51f14"},{"key":"coq/RamenCornerConsensus_v1_19_addon.v","size":7264,"uploaded":"2026-05-14T02:50:54.485Z","sha":"sha256:5b19649c4e6d4f2cef2c57a71cd9c82b371d6864a1a2a7f48f2d4994e5edcc66"},{"key":"coq/Ramen_v1_17_1.v","size":8893,"uploaded":"2026-05-14T02:50:53.264Z","sha":"sha256:f0bd089ef98d75938ac7c9ec7d949dd165231475c54d97f7e2e038a65bba4548"},{"key":"coq/Ramen_v1_18.v","size":20902,"uploaded":"2026-05-14T02:50:53.702Z","sha":"sha256:55551a57fec1c08af0a403283984cfad5880c01c3eef3beb93aff0ab66fc6784"},{"key":"coq/Ramen_v1_19.v","size":27477,"uploaded":"2026-05-14T02:50:54.088Z","sha":"sha256:2decb840c5a39ea4ab4f1ba8a2ca9d89ee80ab9f62b7c02c2b7324d9c0df6e82"},{"key":"coq/SemanticCalculus_v1_11.v","size":6892,"uploaded":"2026-05-14T02:50:56.716Z","sha":"sha256:46ec1adde27183cd4496c5fc20c7c8d3ca87b4c645ca9f4f78abc19e2fc6d7e8"},{"key":"coq/TheoremOmega4.v","size":2068,"uploaded":"2026-05-14T02:50:57.124Z","sha":"sha256:a2914e8b1d7e4398e7a8e9fbcc5bf135e75904d28fd054ef2f6c5f460acaa21c"},{"key":"coq/TheoremOmega6.v","size":7164,"uploaded":"2026-05-14T02:50:57.480Z","sha":"sha256:fd09f8487a7ac3e67aece463021d895f9a35cfb18e6f9dd281805ef7c1046f54"},{"key":"coq/TheoremOmega_v4_3.v","size":5883,"uploaded":"2026-05-14T02:50:57.862Z","sha":"sha256:87f25c97223d7120d60f0e51bc57eb9b1f5e2b7f10b9d078fe99d2d41243a260"},{"key":"coq/TheoremOmega_v5_0.v","size":5393,"uploaded":"2026-05-14T02:50:58.227Z","sha":"sha256:8714b365efa902273167c9b9298f751ef5abf1152f6be667b43bd89561f32721"},{"key":"coq/TheoremOmega_v6_0.v","size":8220,"uploaded":"2026-05-14T02:50:58.624Z","sha":"sha256:dd8dbfdd0253d30a2850a22fc3b85f66a47570a79db7ca8fea49c89dcacc04fb"},{"key":"coq/ToRAdmissionCompilerV1_30.v","size":3436,"uploaded":"2026-05-14T02:50:58.991Z","sha":"sha256:c368378c4d058b9f908b94b77c8f63976e535cdc23f5c2bd90fa78e6725787cc"},{"key":"coq/ToRCornerSpoofingV1_31.v","size":11929,"uploaded":"2026-05-14T02:50:59.390Z","sha":"sha256:e0bf88f3dcee4be53c7e78d10ab4f6f62e180cf58aba9ddd4fbf1b52e7cf7d6d"},{"key":"coq/cubieq_omega_incremental_append.v","size":18321,"uploaded":"2026-05-14T02:50:33.730Z","sha":"sha256:d2779d5c48e9f50d0fb6afecc9a31478f8737b2ed777e1e9c0c06f7843576736"},{"key":"coq/cubieq_omega_incremental_next_addendum.v","size":13624,"uploaded":"2026-05-14T02:50:34.143Z","sha":"sha256:47fe636881307c85f1298fb61352fc0c719674080ac8d716e5c6c34ff2c69b2b"},{"key":"lean/C4AuthorizationGateV2_6.lean","size":6840,"uploaded":"2026-05-14T02:48:40.865Z","sha":"sha256:97a93a19930f0a6ba8492e85ffbc19d930b72f3aba2d20f52df8cfee7c2954d1"},{"key":"lean/CrossCompilerCoherenceV2_5.lean","size":6587,"uploaded":"2026-05-14T02:48:41.220Z","sha":"sha256:35d7fe28ed8bca5635688fa4a0974c42d64c39161ae1b2a34c75cf1401631780"},{"key":"lean/CubeObjectLayoutV2_5.lean","size":3767,"uploaded":"2026-05-14T02:48:41.589Z","sha":"sha256:8f8c35fc591ee0ea0d8d416b99807aae85f63a0882732ba6ef457f1acf71ddf2"},{"key":"lean/CubieAdapterCreditScoreV3_0.lean","size":4322,"uploaded":"2026-05-14T02:48:42.060Z","sha":"sha256:baf714d041a6a487e81294d2d08353f0e706d3b59fe35166e26d5043b44aed5e"},{"key":"lean/CubieAdmitV8_0.lean","size":5355,"uploaded":"2026-05-14T02:48:42.518Z","sha":"sha256:959d6308dbea8b32135d4d6ec696cca4232a1eb1f1dd0e518dff4f5f856bfeb9"},{"key":"lean/CubieAgentStressV8_0.lean","size":6728,"uploaded":"2026-05-14T02:48:42.898Z","sha":"sha256:47cae121b46d956e4fedba9e577e419f62d2970116f7af3dd79bd1f330679d49"},{"key":"lean/CubieAndTruthTableV8_0.lean","size":7347,"uploaded":"2026-05-14T02:48:43.275Z","sha":"sha256:d28e3fc868f7fc5aab8017b67f6e06f518a59b91c68ec958106cb381bff37a78"},{"key":"lean/CubieAttentionGeometryV8_0.lean","size":5877,"uploaded":"2026-05-14T02:48:44.054Z","sha":"sha256:81d55827b0637af85c57634a0922513689257cf48c14d455da8b3c9943852282"},{"key":"lean/CubieAttentionGeometry_v7.lean","size":4454,"uploaded":"2026-05-14T02:48:43.678Z","sha":"sha256:795003a66e3f9bea632ecbca31ab7f93c660dd0c0771dac548a56888915f97ac"},{"key":"lean/CubieAttestationBridgeV5_0.lean","size":1471,"uploaded":"2026-05-14T02:48:44.427Z","sha":"sha256:541e05092a5dbc5d929a8bc413efb4baf0367182220a15579cc5299cba60ef4a"},{"key":"lean/CubieBitboardV2_5.lean","size":6379,"uploaded":"2026-05-14T02:48:44.871Z","sha":"sha256:d61ae992ca16eb1d9531172748c58c31be7e2e703269e7cbb93bf2fc5fcc6a19"},{"key":"lean/CubieBloomLeaseV2_5.lean","size":3697,"uploaded":"2026-05-14T02:48:45.221Z","sha":"sha256:9c0746ae7013280ab8ff619feb77feab33b0d075430d587fe4e642b227e56207"},{"key":"lean/CubieBridgeV1_40.lean","size":1868,"uploaded":"2026-05-14T02:48:45.573Z","sha":"sha256:bfd55c3f1281e8a0bc4ca6091cea111290149ba4bd3b6aa886dbe053b82f49c6"},{"key":"lean/CubieC4AuthGateV8_0.lean","size":7831,"uploaded":"2026-05-14T02:48:45.996Z","sha":"sha256:512c8db806aaaa119aef45e4d7d47ab739b6a089b1ea5d407d98448849b03254"},{"key":"lean/CubieCapacitorShearV8_0.lean","size":7616,"uploaded":"2026-05-14T02:48:46.347Z","sha":"sha256:3f0b0e7d3b3a2010baf1939a99255d89d1e975b1b15e59a548a5543770f58452"},{"key":"lean/CubieCapacityV2_5.lean","size":7595,"uploaded":"2026-05-14T02:48:46.752Z","sha":"sha256:6b1312924d5f222ed891f03c726eb6540bf12f5cd837be404e4434cdcb440f31"},{"key":"lean/CubieColdPathV4_0.lean","size":3597,"uploaded":"2026-05-14T02:48:47.231Z","sha":"sha256:846fabe080939a38a6bfe4b498d392d0bd3c4ff7c8884cd1e6d61b1f904deab4"},{"key":"lean/CubieCompilationClosureV7_0.lean","size":5405,"uploaded":"2026-05-14T02:48:47.682Z","sha":"sha256:473e8e98646d42a8619eaa7fd239f2235d9a542b19091e87fb49da244ef269ed"},{"key":"lean/CubieCompileV8_0.lean","size":5988,"uploaded":"2026-05-14T02:48:48.034Z","sha":"sha256:c303a007af2961c6ed97dad93ef5facbbc3d049d1cdd8faf570e5fbdb3985fa7"},{"key":"lean/CubieConsentBridgeV2_5.lean","size":3268,"uploaded":"2026-05-14T02:48:48.478Z","sha":"sha256:f4d218ec5a4f6d3c84e25efac08484b2675b346720d0167d065074ad4dca2d74"},{"key":"lean/CubieConsentHierarchyV8_0.lean","size":8395,"uploaded":"2026-05-14T02:48:48.950Z","sha":"sha256:59a5069561c6a4078b9a49e1059fcebf663e33a493af9c54ecdac9ac184619d1"},{"key":"lean/CubieConsentV2_5.lean","size":1822,"uploaded":"2026-05-14T02:48:49.371Z","sha":"sha256:4ece87c3a3f2f9a4a24205698362b43862fc52f3b3ccb7f60703b9ab8ba58132"},{"key":"lean/CubieConsentV8_0.lean","size":6675,"uploaded":"2026-05-14T02:48:49.764Z","sha":"sha256:2515af4037df9191bdc5df8a6e3a4e83b5892726d2735836e000c33df0bfba94"},{"key":"lean/CubieConstantTime.lean","size":6137,"uploaded":"2026-05-14T02:48:50.215Z","sha":"sha256:0c89b5ceb5464e59ec49fa39fbc23b655b2e877c2de85ee96c05bbf4f28dfc1d"},{"key":"lean/CubieConstantTimeV8_0.lean","size":6848,"uploaded":"2026-05-14T02:48:50.754Z","sha":"sha256:2873a5df382df9cd2f6e0e7a4443e6fa0254493b05a8caa33ecf7052204646c3"},{"key":"lean/CubieCornerConsensusV3_0.lean","size":1157,"uploaded":"2026-05-14T02:48:51.154Z","sha":"sha256:3d601f1ef0beddc88d6ddf14083260f7de24dfdf1cf746a54b1db43d19c5304f"},{"key":"lean/CubieCrateBoundaryV8_0.lean","size":5443,"uploaded":"2026-05-14T02:48:51.513Z","sha":"sha256:6ccdee52edf6a7aeb730a06be66929244879b918163000f9a5f5d8f422b88ad7"},{"key":"lean/CubieCrossCompilerV8_0.lean","size":6864,"uploaded":"2026-05-14T02:48:51.913Z","sha":"sha256:e9594556e47717a616f12c5bfb6d8dd3218505d10fa28472cbb6bccff8031b27"},{"key":"lean/CubieCubeTopologyV8_0.lean","size":6011,"uploaded":"2026-05-14T02:48:52.386Z","sha":"sha256:89e6c7c869bfa2b7f457c52fcce02c64092d2ac98f0b90770983cdced58a1b85"},{"key":"lean/CubieCubieQAssemblyV8_0.lean","size":7251,"uploaded":"2026-05-14T02:48:52.783Z","sha":"sha256:81f38ec3b82d64f493df47277c0e3d17aee17c5a9e6fc3437f903e1ed687c06a"},{"key":"lean/CubieCubieQV8_0.lean","size":6574,"uploaded":"2026-05-14T02:48:53.171Z","sha":"sha256:a40e39bdd05953dbfdebb6455aa24384466024fb2ab2f44f84196be6c72ca37d"},{"key":"lean/CubieCyberPhysicalV3_0.lean","size":2560,"uploaded":"2026-05-14T02:48:53.576Z","sha":"sha256:f22a1d0a76bfb28aca752bbebafa9922df25c380872b803811360eecf1060f89"},{"key":"lean/CubieCyberPhysicalV8_0.lean","size":6113,"uploaded":"2026-05-14T02:48:54.011Z","sha":"sha256:a4a94359575057203336cfee3369f36d5120f57a6e33395e3b6f079b02932919"},{"key":"lean/CubieCycleBoundV3_0.lean","size":956,"uploaded":"2026-05-14T02:48:54.429Z","sha":"sha256:42958fc80fdfb535714b8d309a2edd33e9b4204b7cb902434f9c476711ad40d3"},{"key":"lean/CubieCycleCounterV3_0.lean","size":3521,"uploaded":"2026-05-14T02:48:54.820Z","sha":"sha256:045f20d206025c3a34039869c2fc1af9776f28081126839cc6a6646c93cf4f56"},{"key":"lean/CubieDelegationDepthV8_0.lean","size":6834,"uploaded":"2026-05-14T02:48:55.210Z","sha":"sha256:4d76df84bc17913839fe4493dd4e14d36c820384b8b511bbe6645c4fe32d606a"},{"key":"lean/CubieDelegationRecursionV3_0.lean","size":5042,"uploaded":"2026-05-14T02:48:56.031Z","sha":"sha256:5fa9d0ea3ce03b1584cf1113c4b4fbc9634f1959b8707c4163c298517cbb5d59"},{"key":"lean/CubieDelegationRecursion_v6.lean","size":2331,"uploaded":"2026-05-14T02:48:55.648Z","sha":"sha256:a6635fb54a7c7f55b8f83eb03a8814da37c4385a51bbe3fe4b4c6d3d3784bab5"},{"key":"lean/CubieDelegationV3_0.lean","size":6980,"uploaded":"2026-05-14T02:48:56.393Z","sha":"sha256:7a35e564ad83d8c3823be039c9ba72520a9858a1f35d56ba0a32d26c1060962a"},{"key":"lean/CubieDenialCertV3_0.lean","size":3800,"uploaded":"2026-05-14T02:48:56.779Z","sha":"sha256:70e2f5046b07734a0b655c485b7adb4a3a06fde6a7f9b36b830b389819c71d05"},{"key":"lean/CubieDenialCertV8_0.lean","size":6230,"uploaded":"2026-05-14T02:48:57.194Z","sha":"sha256:dc584d8c5972b971da8ff1bcd9236fe110651cf81011cbf737a8232641204af2"},{"key":"lean/CubieDimensionalRegressionV3_0.lean","size":4424,"uploaded":"2026-05-14T02:48:57.556Z","sha":"sha256:1f0a068ebeeb5937e5f12cb2752c6b29112e5487213dbcb34f28f52f8b7ad372"},{"key":"lean/CubieDmaV5_0.lean","size":1501,"uploaded":"2026-05-14T02:48:57.926Z","sha":"sha256:5ba32be3565c94bcdebde11e600258fd062c2300a2ae90e0b1a6379b47543d10"},{"key":"lean/CubieDualLedger.lean","size":10662,"uploaded":"2026-05-14T02:48:58.355Z","sha":"sha256:6e3ab97c542edf70f754fc4a3d620784ec28e83c91acb0d96f00c521b2df6809"},{"key":"lean/CubieDualLedgerTelemetryV8_0.lean","size":7678,"uploaded":"2026-05-14T02:48:58.759Z","sha":"sha256:7bc2b61f7ef03b494652aa82a29d582403684e18a32a2ddd65359e1bb3b37115"},{"key":"lean/CubieEgressConjugateV6_1.lean","size":4709,"uploaded":"2026-05-14T02:48:59.139Z","sha":"sha256:22548f0b5cd31f974482274ebf5476e4144c6495b108c5e9a7ea7b6097110caf"},{"key":"lean/CubieEgressConjugateV8_0.lean","size":6428,"uploaded":"2026-05-14T02:48:59.587Z","sha":"sha256:c2ee8d41e8a21ccfd3966941622f40b6cf72012b26deaaa4469c2f936abf81d6"},{"key":"lean/CubieEnclaveV2_5.lean","size":6279,"uploaded":"2026-05-14T02:48:59.965Z","sha":"sha256:f46e74b48568c453e6fe52d28f52095297923d97b8f6f510faf66d2c770449a3"},{"key":"lean/CubieEngineeringPhysicsV8_0.lean","size":5577,"uploaded":"2026-05-14T02:49:00.782Z","sha":"sha256:b257c087ba0de4e45a040aa0bb1f78596d7fbe174616924f5b50bf86ccdc5463"},{"key":"lean/CubieEngineeringPhysics_v7.lean","size":2831,"uploaded":"2026-05-14T02:49:00.380Z","sha":"sha256:c0f630edb10c3da659ac61cb09607b0d34ed878e6d492dfbfb7d8ed60b40673f"},{"key":"lean/CubieEntropyV5_0.lean","size":1463,"uploaded":"2026-05-14T02:49:01.209Z","sha":"sha256:e6ac69e3b87cc4dc6453871d482d1798510c88e5c4eb8254073c39217ca6ac40"},{"key":"lean/CubieEphemeralityV8_0.lean","size":4234,"uploaded":"2026-05-14T02:49:01.692Z","sha":"sha256:ad71980b4c1545c3cbbca86a66fc2f89bc62ffefd75492f387d2295539c9210b"},{"key":"lean/CubieEpochRotationV6_2.lean","size":6397,"uploaded":"2026-05-14T02:49:02.163Z","sha":"sha256:68fd625a0436f59f1bf461a20cd799e39b4cb29010d860269e040925f876db18"},{"key":"lean/CubieEpochRotationV8_0.lean","size":7038,"uploaded":"2026-05-14T02:49:02.539Z","sha":"sha256:a73f16c8edb6ae2ab36c774d795fe91cd30080a83579ef547e25c7f403f855ef"},{"key":"lean/CubieExecutionPhysicsV2_1.lean","size":4940,"uploaded":"2026-05-14T02:49:02.956Z","sha":"sha256:0b0445a4cd057b9a91f069ec3ee7d68af030e17e7747b365186a37996d441f1a"},{"key":"lean/CubieExecutionPhysicsV8_0.lean","size":6313,"uploaded":"2026-05-14T02:49:03.425Z","sha":"sha256:f3ad3e9a080ae9a1775061dd48e9834b5309306f59dfdbfb0ed8f93a833b5c52"},{"key":"lean/CubieFaceGeometryV8_0.lean","size":8417,"uploaded":"2026-05-14T02:49:03.861Z","sha":"sha256:4720d8317a6d7ea14c90384b7fa2cac6bc082c64ad33b080e685ee1a249ed7c2"},{"key":"lean/CubieFailureTaxonomyExtV8_0.lean","size":8751,"uploaded":"2026-05-14T02:49:04.311Z","sha":"sha256:4920c40a95af59f77888fd3c5198f04439819aec42fbf790a3a18578b3590652"},{"key":"lean/CubieFailureTaxonomyV7_0.lean","size":7794,"uploaded":"2026-05-14T02:49:04.726Z","sha":"sha256:cafbda4a744478857c072bac6301437a172f9c406fcd4634a1a113cacd7046d8"},{"key":"lean/CubieFenceV2_5.lean","size":3490,"uploaded":"2026-05-14T02:49:05.142Z","sha":"sha256:57932fafe19ec45c2c251e783d2fa2ca860bd6042bc51b05bc6e98a45fbacbc9"},{"key":"lean/CubieFipsCryptoV4_0.lean","size":4698,"uploaded":"2026-05-14T02:49:05.653Z","sha":"sha256:678b3d81c1a8f0bab55b53cdecfc544c57aeeb4e3b5e6f06e5cab429adfbeea5"},{"key":"lean/CubieFluidDockingV8_0.lean","size":6162,"uploaded":"2026-05-14T02:49:06.032Z","sha":"sha256:704782e64b60b714f0fa9d12c89b392777ec442219cf5a8cac10db4023c193ba"},{"key":"lean/CubieFluidOpsV8_0.lean","size":7444,"uploaded":"2026-05-14T02:49:06.420Z","sha":"sha256:523d4babdf43b523b64d89f9160fc4f353677e45d6ed279345e12d4feb93dc5d"},{"key":"lean/CubieGeometricCapacitorV6_1.lean","size":8928,"uploaded":"2026-05-14T02:49:06.872Z","sha":"sha256:feaaf582295dc005d7b3154df76a62e65ec45eafbad2d2b1c1bbe3da05a54dfb"},{"key":"lean/CubieGeometricMemoryV3_0.lean","size":5690,"uploaded":"2026-05-14T02:49:07.263Z","sha":"sha256:5d7c96dbfdf8cf4a5d45d4022771c18aa158f6eefb3d475be93d4d45f1062a13"},{"key":"lean/CubieGeometricProtocolV6_0.lean","size":1973,"uploaded":"2026-05-14T02:49:07.637Z","sha":"sha256:c29196ce6d8a0730afbd8dc25e68d1757fadb4a7e5e01e4427366353852382b0"},{"key":"lean/CubieGeometryV3_0.lean","size":12546,"uploaded":"2026-05-14T02:49:08.085Z","sha":"sha256:23ae537736b4df94954c62790d4fb78ae775c6f16503c9c96289714cedd377e7"},{"key":"lean/CubieGeometryV8_0.lean","size":7065,"uploaded":"2026-05-14T02:49:08.504Z","sha":"sha256:664d46c101ebee6576adaf83d5c02b997e9f62906d5898eb16550ef44765df45"},{"key":"lean/CubieGoodputV3_0.lean","size":1045,"uploaded":"2026-05-14T02:49:08.879Z","sha":"sha256:962a30283a1a11e4c5a488d2a54c85d7621d5272e152414bd37ee6ac2510aaf2"},{"key":"lean/CubieGoodputV8_0.lean","size":5925,"uploaded":"2026-05-14T02:49:09.253Z","sha":"sha256:f51ee89c15aed1fd17f8dc0dadf9719060c70e10503f7caa94877d98a147d526"},{"key":"lean/CubieHardenedGate.lean","size":6825,"uploaded":"2026-05-14T02:49:09.626Z","sha":"sha256:a3ee55b1062721985c9176dc4f36006d9a9cd49ba963df68a2fb77e6c209c12e"},{"key":"lean/CubieHardenedGateV8_0.lean","size":6776,"uploaded":"2026-05-14T02:49:10.039Z","sha":"sha256:d98bd6a6d226e588903b0eb1327565df1c33d7676cc9eda3a2e414045d57ae3e"},{"key":"lean/CubieHardwareStencilV6_2.lean","size":5469,"uploaded":"2026-05-14T02:49:10.896Z","sha":"sha256:d738652f44de636b5aa2694ebf3ebf53910682b0d29bbf92e02971b2560dae88"},{"key":"lean/CubieHmacV8_0.lean","size":5944,"uploaded":"2026-05-14T02:49:11.320Z","sha":"sha256:3a5cfbd64e37a35aec446ba2156863da844febcd38bd87085529f0dcd2dcff89"},{"key":"lean/CubieHmacVerifyV8_0.lean","size":3944,"uploaded":"2026-05-14T02:49:11.695Z","sha":"sha256:1ea3926b3eefcf36addf45be23289bf95227908ac5854fecb59cb43257adf0d4"},{"key":"lean/CubieIdeKeyV5_0.lean","size":1309,"uploaded":"2026-05-14T02:49:12.131Z","sha":"sha256:5a6478cbf59b2a450e7797c4fe481c422adbc604f1ac7d14c2c514740a3c34cf"},{"key":"lean/CubieIngressV5_0.lean","size":1495,"uploaded":"2026-05-14T02:49:12.525Z","sha":"sha256:894fd8a56c7392a6d59a03e2996ca3fdf69f805b8cfae56215ac7c01005c7a06"},{"key":"lean/CubieIotlbV5_0.lean","size":2031,"uploaded":"2026-05-14T02:49:12.896Z","sha":"sha256:e24d353de67d52b6f52449ae2e63cff768489ac2156a7292f528c38facaef0b5"},{"key":"lean/CubieItaClientV8_0.lean","size":4113,"uploaded":"2026-05-14T02:49:13.443Z","sha":"sha256:3d2da4d88ade7a7441c2c4f6460eb64754867da78ab0d100971882bdb1be63c7"},{"key":"lean/CubieKineticShearV6_0.lean","size":2975,"uploaded":"2026-05-14T02:49:13.860Z","sha":"sha256:9c5ef2168f271e3144f67be40f635ffb77681807cdf600d03af29073be8095c7"},{"key":"lean/CubieMMIOSafetyV3_0.lean","size":11049,"uploaded":"2026-05-14T02:49:14.256Z","sha":"sha256:013621b18469b8a95882dc19a1e8fc3706eb5411605c11bee26e57ec4094311f"},{"key":"lean/CubieMovdir64bV4_0.lean","size":1671,"uploaded":"2026-05-14T02:49:14.647Z","sha":"sha256:686aaa08e49fe07a7b438ff1723bd7906ffc226ae8c34a833b776a9beade22af"},{"key":"lean/CubieNistC4GateV8_0.lean","size":10967,"uploaded":"2026-05-14T02:49:15.031Z","sha":"sha256:a964dc893de458a248d30e3556137733b5eb5ddbd28bb860c0e5f1c144b26a2d"},{"key":"lean/CubieNistC4V2_5.lean","size":8180,"uploaded":"2026-05-14T02:49:15.451Z","sha":"sha256:d5fff55463d2d3c2776cc5597d7562ffd2f716e7677acdbe2a5b5c00f9c93ee9"},{"key":"lean/CubieNistGateV8_0.lean","size":7030,"uploaded":"2026-05-14T02:49:15.888Z","sha":"sha256:10fdd7016c7a2c40618439a9b4050939baa7e807265c3c263298c023c6e5bf4a"},{"key":"lean/CubieNonQuantum_v1_10.lean","size":10447,"uploaded":"2026-05-14T02:49:16.258Z","sha":"sha256:933d56bfd1d11712b251a5040680c1426109646e43dea50761180f6019182e37"},{"key":"lean/CubieNvlinkV8_0.lean","size":3686,"uploaded":"2026-05-14T02:49:16.619Z","sha":"sha256:13fbc1c2ee8385367f42c072cbae4cc3da752ce0a3302df33ce2cb32939beaeb"},{"key":"lean/CubieOmegaBridgeV2_2.lean","size":4956,"uploaded":"2026-05-14T02:49:16.993Z","sha":"sha256:c787d57a62efa1f981246983e99232ede8340e496d5a24832c9d34658a063c3d"},{"key":"lean/CubieOmegaBridgeV2_3.lean","size":15346,"uploaded":"2026-05-14T02:49:17.429Z","sha":"sha256:1997f771ab43facdf52a417d1bcd4ccd5470aa5f69355e424120ccddc32b0fbf"},{"key":"lean/CubieOmegaBridgeV3_0.lean","size":8783,"uploaded":"2026-05-14T02:49:17.820Z","sha":"sha256:77da0b9449982881596395fb574ad0bcf73bff1d8d8ceaa1518c8b5949c2392f"},{"key":"lean/CubieOmegaBridgeV8_0.lean","size":7480,"uploaded":"2026-05-14T02:49:18.195Z","sha":"sha256:c0269c75813d8380db05109f5a6eeb644c3cccb9a6c7549889243aa97ff6d85a"},{"key":"lean/CubieOmegaStage2V2_3.lean","size":15870,"uploaded":"2026-05-14T02:49:18.571Z","sha":"sha256:be67895f3aae901a3854c6653c4e583361ada2ce31ff0f7cd551c247a6fb25dc"},{"key":"lean/CubieOmegaStage2V8_0.lean","size":6131,"uploaded":"2026-05-14T02:49:18.955Z","sha":"sha256:03caf33c0f831a4eb839206aedcd77076316c0f0b6cf41adf81fa737183b835a"},{"key":"lean/CubieOmegaTreeV8_0.lean","size":7078,"uploaded":"2026-05-14T02:49:19.352Z","sha":"sha256:219e4d11dcfc0c4860cbf492f34edb0f1fbef2bba85a22645b2e736377584e6d"},{"key":"lean/CubieOmegaV3_0.lean","size":10187,"uploaded":"2026-05-14T02:49:19.729Z","sha":"sha256:ff0b042be2a97d6a5d29cfc837f26a2dc4797326b45ef2debc665b7bcadb0aa6"},{"key":"lean/CubieOmegaV8_0.lean","size":5686,"uploaded":"2026-05-14T02:49:20.187Z","sha":"sha256:e5d9cda58c0bad2b0a08a933ad9483f0d8f193d97c06d2e81c62243a88a1dc1f"},{"key":"lean/CubieOutputStateV2_5.lean","size":2815,"uploaded":"2026-05-14T02:49:20.590Z","sha":"sha256:1e8e3e6981d52f026537a197e60cc84b0d0c5f470b7614a9425e9f45247bc86f"},{"key":"lean/CubiePcieTtlV3_0.lean","size":4101,"uploaded":"2026-05-14T02:49:20.973Z","sha":"sha256:9d805ab7b92615c4b8887a13d36d74c391b66b5668a06620ec1a69ecc96f5821"},{"key":"lean/CubiePhaseTransitionV7_0.lean","size":7167,"uploaded":"2026-05-14T02:49:21.349Z","sha":"sha256:c6f92fec07fbd19acc472d2d0e69c5d67496646f82b87308765d5ddfa5658c55"},{"key":"lean/CubiePhaseTransitionV8_0.lean","size":9216,"uploaded":"2026-05-14T02:49:21.823Z","sha":"sha256:5a3b78c422b87dbb3cef26fd869dd8ad2a83dae0926502cc3904e546c1f2c876"},{"key":"lean/CubiePmpV2_5.lean","size":4752,"uploaded":"2026-05-14T02:49:22.182Z","sha":"sha256:cc0a777caedf33c25d1c4974e3b651fcbadcec5b882b4f38a54bdfd70a6308ea"},{"key":"lean/CubiePositionalTamperV7_0.lean","size":5850,"uploaded":"2026-05-14T02:49:22.617Z","sha":"sha256:284eeeebdc8d3f41a28911a02200f04cd064dc0d809f6928efd2abc333f97c91"},{"key":"lean/CubiePositionalTamperV8_0.lean","size":7371,"uploaded":"2026-05-14T02:49:23.021Z","sha":"sha256:d9ac79d2be42b9c508e3ba312d16569179aa00c8cb3e3e23bd0f6ab38aaaac1c"},{"key":"lean/CubiePostQuantum.lean","size":5563,"uploaded":"2026-05-14T02:49:23.435Z","sha":"sha256:fb4a47aa0d65fbd61fc7287a82816d0730a1c94f153e6fed5c911f2791d7bdbe"},{"key":"lean/CubiePostQuantumBridgeV3_0.lean","size":3669,"uploaded":"2026-05-14T02:49:23.867Z","sha":"sha256:3e17241f3458c4d8f81dd4d3d1c0f7c4add49f30a1931bcca9680a8cea2875cb"},{"key":"lean/CubiePufV8_0.lean","size":4823,"uploaded":"2026-05-14T02:49:24.249Z","sha":"sha256:046a494f0acc74674c9224662e1de0034836be466b6ea439f7f830abd93062cc"},{"key":"lean/CubieQAddendumV3_0.lean","size":12344,"uploaded":"2026-05-14T02:49:25.361Z","sha":"sha256:b32ff0fc831eaeb5afdd2047092bcf455dc97a48a88f1a80fb973164dd43312a"},{"key":"lean/CubieQApex.lean","size":3831,"uploaded":"2026-05-14T02:49:25.784Z","sha":"sha256:7fb71617233f769a46d827e2bfee3eda2bc5f11168975614f1b4d33c6f500b05"},{"key":"lean/CubieQGeometric.lean","size":6766,"uploaded":"2026-05-14T02:49:26.166Z","sha":"sha256:1ecdb4dbb655d5221216cfd0d0205e62387fdd81bb6e57f493aa6871ddd9d810"},{"key":"lean/CubieQuantumConsent.lean","size":5757,"uploaded":"2026-05-14T02:49:26.546Z","sha":"sha256:3768dfeb98ed20776160c99e86b75ed7a3ff06620214e412ade04cf7abe3e469"},{"key":"lean/CubieQuantumConsentAdvanced.lean","size":12753,"uploaded":"2026-05-14T02:49:26.954Z","sha":"sha256:f4ee2ce02ff8fc08a6cae3bd7591694f17684d031a1f797c5ea7e8aea5001da0"},{"key":"lean/CubieQv14.lean","size":6539,"uploaded":"2026-05-14T02:49:27.353Z","sha":"sha256:be79db8ae9860ac7bdf85ba8cdd5daa5b644a39c20244822584edb3514b405a8"},{"key":"lean/CubieRamenCornerV8_0.lean","size":6068,"uploaded":"2026-05-14T02:49:27.719Z","sha":"sha256:9efc8f563fc6a8b8f27e5f71e0b4eeeeb169048713039cefe0446f2b7d85b731"},{"key":"lean/CubieRcuV4_0.lean","size":1544,"uploaded":"2026-05-14T02:49:28.086Z","sha":"sha256:f1507e5964f2dd38787745effb8e819df4eed345570478aa6d2ccfe846375c5b"},{"key":"lean/CubieReplayV3_0.lean","size":2205,"uploaded":"2026-05-14T02:49:28.455Z","sha":"sha256:ded8d3fa00a7b9f8c0f0c2eddcf6f79cba998c0080788dba8905d558aaa2c0dc"},{"key":"lean/CubieReplayV8_0.lean","size":6128,"uploaded":"2026-05-14T02:49:28.837Z","sha":"sha256:eecb8151d0b0be89c3a3c728776a1e09fd78726513c50654682960cd4e2d8c82"},{"key":"lean/CubieRtmrV5_0.lean","size":1435,"uploaded":"2026-05-14T02:49:29.228Z","sha":"sha256:04c87861a784585767bd878b55592dbf272e42f2024bca0d8faa6baee8edde61"},{"key":"lean/CubieRuntimeV6_0.lean","size":4662,"uploaded":"2026-05-14T02:49:29.605Z","sha":"sha256:e5895b454e8cfa1975e4fcc8702cdd331bec90c38209c436a5a621d12c971902"},{"key":"lean/CubieSeamEntropyV3_0.lean","size":5739,"uploaded":"2026-05-14T02:49:30.045Z","sha":"sha256:b5bc2740d9dac9cd528040289ae8f3a27e10934ee967e73f4dd545eb5d5775c5"},{"key":"lean/CubieServerDegradationV8_0.lean","size":6937,"uploaded":"2026-05-14T02:49:30.418Z","sha":"sha256:1a37872cfdb80e2c803e329aa093c89bccdbe24977104e437cdf8c7005711530"},{"key":"lean/CubieSha256V8_0.lean","size":5739,"uploaded":"2026-05-14T02:49:30.782Z","sha":"sha256:d141f1a379f48937fff98e5d2cbd87a2afada4c8b5d03590bc17abcfe19f7cb4"},{"key":"lean/CubieSiliconProvenance.lean","size":6272,"uploaded":"2026-05-14T02:49:31.168Z","sha":"sha256:997ec5c12b0fd97d70e7f7afb1ff13f57af94663fbb8d8fd764b2a854526e3fd"},{"key":"lean/CubieSiteTopologyV8_0.lean","size":5414,"uploaded":"2026-05-14T02:49:31.932Z","sha":"sha256:ab2ca4b1e672ec59484f9fb6547df009e9a54e6bc99f03e6b537412bdb470599"},{"key":"lean/CubieSiteTopology_v4.lean","size":2443,"uploaded":"2026-05-14T02:49:31.524Z","sha":"sha256:0df638be5d45e65566b31a06bc0b8a58bdf2fb1138e4c241d49153521e5c9a26"},{"key":"lean/CubieSpdmV5_0.lean","size":1530,"uploaded":"2026-05-14T02:49:32.297Z","sha":"sha256:f2dbefff7695222c362b833941eb9327d79e27777449086ee49ed0daf517c302"},{"key":"lean/CubieTamperStencilV8_0.lean","size":7576,"uploaded":"2026-05-14T02:49:32.750Z","sha":"sha256:310c0f66dfe8ea0e13215200a3c476b8847fc7f8ff4f5d6744934dd8cb539108"},{"key":"lean/CubieTarpitV2_5.lean","size":5483,"uploaded":"2026-05-14T02:49:33.136Z","sha":"sha256:234ce4171b7f3868bbda9b4ae0a21c83f9d9ff853bb24be646b7ca2ae92275c4"},{"key":"lean/CubieTdispV4_0.lean","size":2304,"uploaded":"2026-05-14T02:49:33.522Z","sha":"sha256:d2b6a88e4e09046b23d582fd0124541cce76c0df05190aec643b89f2c6ee7797"},{"key":"lean/CubieTdxAbiV5_0.lean","size":1611,"uploaded":"2026-05-14T02:49:33.919Z","sha":"sha256:defdc7bc5d594ad808c89339a7e3e2c7639064c8f880b9dcc5b8c725598a48b3"},{"key":"lean/CubieTdxMemV5_0.lean","size":2061,"uploaded":"2026-05-14T02:49:34.451Z","sha":"sha256:abcbefbb579b0e2b97c38f0807d3f1149208d5c68de39233138227c5fcc58d17"},{"key":"lean/CubieTdxPipelineV5_0.lean","size":2929,"uploaded":"2026-05-14T02:49:34.822Z","sha":"sha256:d9b5db11ea606ab4fef7e8f2e5157d71e6241db8a8fc0536f8feef7803ce7549"},{"key":"lean/CubieTdxPipelineV8_0.lean","size":6902,"uploaded":"2026-05-14T02:49:35.722Z","sha":"sha256:378645999916880d4e4e5882ee6523e2b1cba27728c6649fc8fb0924d69d83c3"},{"key":"lean/CubieTelemetryEpochV5_0.lean","size":1660,"uploaded":"2026-05-14T02:49:36.120Z","sha":"sha256:f9269d8ccd74033bc4155f5e4e1b98b2017a54b792f67ffc30c468e7762977f3"},{"key":"lean/CubieTernaryDynamicsV5_0.lean","size":7644,"uploaded":"2026-05-14T02:49:36.543Z","sha":"sha256:f51361b1187b9046ed0f1ba636f9b87e2d60fcec87c7d36d81f9a234f3806c1b"},{"key":"lean/CubieTernaryGeometryV5_0.lean","size":5818,"uploaded":"2026-05-14T02:49:36.925Z","sha":"sha256:a0855614770fcc794cff6e98e86bb62bb4f69706423b84ca0df3810ae386d6aa"},{"key":"lean/CubieThermalV8_0.lean","size":4398,"uploaded":"2026-05-14T02:49:37.292Z","sha":"sha256:0b0c0750456ec0abe8926174d75ed97d5666ac206196ee59edd6f6ea2121abc6"},{"key":"lean/CubieTopologicalBackpropV6_1.lean","size":9609,"uploaded":"2026-05-14T02:49:37.721Z","sha":"sha256:1728e6aaaab9d3cff6a2f287cb95323c10da9f460770057d5e4fffae5fdd5021"},{"key":"lean/CubieTopologyCollapse.lean","size":9040,"uploaded":"2026-05-14T02:49:38.139Z","sha":"sha256:6aee618ae4cd0d03e10497eb9d8670e639050a3202eb90bd500994158a700a90"},{"key":"lean/CubieTopologyCountingV8_0.lean","size":10702,"uploaded":"2026-05-14T02:49:38.510Z","sha":"sha256:db44a575aa3041ed0611512db05abb08dbd63405884a45749854e839bb0ca606"},{"key":"lean/CubieTrustCompilerV1_50.lean","size":6322,"uploaded":"2026-05-14T02:49:38.895Z","sha":"sha256:1831304e27f6484c0bc3328ce8c7967182ea29e7e1dced0646e1bc1ae7150ecd"},{"key":"lean/CubieTrustCompilerV2_0.lean","size":10405,"uploaded":"2026-05-14T02:49:39.272Z","sha":"sha256:80fe8795d6c06666a9e9822ee93de5caf4f556763ca2106a843452e1d081bdb2"},{"key":"lean/CubieTrustCompilerV2_0_PerPredicate.lean","size":16810,"uploaded":"2026-05-14T02:49:39.614Z","sha":"sha256:7b1dde7d10db914b2474f4b3fac2c228ae67868f97a6cb2f188df88a1322bb42"},{"key":"lean/CubieTrustCompilerV2_1.lean","size":2407,"uploaded":"2026-05-14T02:49:39.972Z","sha":"sha256:4ebf59ca37f6f64b563671a093e51d4fe624589a9054e94e4cb01a702037234e"},{"key":"lean/CubieTypesV8_0.lean","size":5734,"uploaded":"2026-05-14T02:49:40.407Z","sha":"sha256:b615e1490334a73da91b795e94959f68912c99cba690b23941d0a4d2fe5191b6"},{"key":"lean/CubieUahConsensusV3_0.lean","size":5761,"uploaded":"2026-05-14T02:49:40.811Z","sha":"sha256:fe4aa073a3c6274b4640a54c100347c2ccfcaa4b423379cba93a40c086dee319"},{"key":"lean/CubieVeGuardV5_0.lean","size":1908,"uploaded":"2026-05-14T02:49:41.191Z","sha":"sha256:8aa645f8129ad3f992810149b91e147e7df028bd3284881fb6e17e383590ff50"},{"key":"lean/CubieVertexPredictionV3_0.lean","size":4464,"uploaded":"2026-05-14T02:49:41.551Z","sha":"sha256:3769a0c9fd18452fdd9c911509707465e1a15bcf9706aea5fc7facd039986b46"},{"key":"lean/OAI_Cubie_TrustCompiler_Theorems.lean","size":11633,"uploaded":"2026-05-14T02:49:41.919Z","sha":"sha256:5166368034023f8b1fceae3c84051897f99fff8b2131761dbccbd243c7f8d4ac"},{"key":"lean/OaiRuntimeV6_0.lean","size":5017,"uploaded":"2026-05-14T02:49:42.350Z","sha":"sha256:94a70011adce15f5dbfafaba6b35b6baf597c92500a166124933fed624207a56"},{"key":"lean/OmegaEight.lean","size":30,"uploaded":"2026-05-14T02:49:42.704Z","sha":"sha256:8cfb9033d39a87fb69c12eae73c7237e2f0c76f7fe05a5c65df40cf071c49c90"},{"key":"lean/OmegaSeven.lean","size":6733,"uploaded":"2026-05-14T02:49:43.053Z","sha":"sha256:0d398d384d71b0cdbc69a50c62ca6c0a8565feabc4cb8f53702e6394222db32c"},{"key":"lean/OmegaStage2CompositionV2_4.lean","size":9172,"uploaded":"2026-05-14T02:49:43.450Z","sha":"sha256:be305e6038e2974eb455dd39d0ea164508a6e0ccf18d41720089f918d5a585d7"},{"key":"lean/RamenCornerConsensusV1191.lean","size":13673,"uploaded":"2026-05-14T02:49:45.358Z","sha":"sha256:c3dd6abb4c02fa636db2a343fac73eb0043917b06b6e4876bc355e945db7f738"},{"key":"lean/RamenCornerConsensusV1192.lean","size":10275,"uploaded":"2026-05-14T02:49:45.755Z","sha":"sha256:fc4160579668aaa489263262611fa7c11e8cbc11d6d80c039fdc5a53ff4d63ac"},{"key":"lean/RamenCornerConsensusV1193.lean","size":8188,"uploaded":"2026-05-14T02:49:46.170Z","sha":"sha256:9f3e728b1330e8625d23860153c8626693b72d99c7f4e4ff44436746777c9337"},{"key":"lean/RamenCornerConsensusV1_19_3.lean","size":2275,"uploaded":"2026-05-14T02:49:46.558Z","sha":"sha256:4d8a2208793df0f07842f4054759f756892e1ff8e28ba58541d8e1549aa92a36"},{"key":"lean/RamenCornerConsensus_v1_19_addon.lean","size":6330,"uploaded":"2026-05-14T02:49:44.977Z","sha":"sha256:d2df946b5e3cd434bc53ae46ed8958d8c44e9cc0cbe3eed41ff18e35b54886a6"},{"key":"lean/Ramen_v1_17_1.lean","size":7723,"uploaded":"2026-05-14T02:49:43.797Z","sha":"sha256:03902100e5a4ad40367fe109d02412ee57076cdc4cf07255742491da21609adf"},{"key":"lean/Ramen_v1_18.lean","size":14063,"uploaded":"2026-05-14T02:49:44.186Z","sha":"sha256:bf4215c196a40b56d271a9c83cd401746381f68989c415a1e53e96622ffb7308"},{"key":"lean/Ramen_v1_19.lean","size":19706,"uploaded":"2026-05-14T02:49:44.567Z","sha":"sha256:aeaad0c22eb86110c7c5dab23be6b3f02df5bd3d2a2d65341d38da40983e0a02"},{"key":"lean/SemanticCalculus_v1_11.lean","size":6739,"uploaded":"2026-05-14T02:49:46.950Z","sha":"sha256:e6d49f3b47457946bb7ac8d8b900f099dd832d5c58b96077e6041fc9cf184ddd"},{"key":"lean/TheoremOmega4.lean","size":3611,"uploaded":"2026-05-14T02:49:47.349Z","sha":"sha256:db6eca096fb0b61fb94a1d6682c29b565f8a61e41a8d2b55a8768c09481b9974"},{"key":"lean/TheoremOmega6.lean","size":6207,"uploaded":"2026-05-14T02:49:47.769Z","sha":"sha256:98046b5e8f13ebb1a8bc37ebc11cb06ef509249e5655435126ad7c1430b44337"},{"key":"lean/TheoremOmega_v4_3.lean","size":6284,"uploaded":"2026-05-14T02:49:48.219Z","sha":"sha256:4b0542768d47a8f6b535ed80baff6652391f8a59d6cfe06e6524fedf1d2e9102"},{"key":"lean/TheoremOmega_v5_0.lean","size":6534,"uploaded":"2026-05-14T02:49:48.584Z","sha":"sha256:ada1bf188671d0008819045055cbd6031ac39d4f25dbe237dfcb473e3534931a"},{"key":"lean/TheoremOmega_v6_0.lean","size":10831,"uploaded":"2026-05-14T02:49:48.945Z","sha":"sha256:fa5f9a34f2fa50991c2302991122e43d993f6544e670c66753116992e710d519"},{"key":"lean/ToRAdmissionCompilerV1_30.lean","size":3445,"uploaded":"2026-05-14T02:49:49.328Z","sha":"sha256:38161bf439c68e9427170e1d505d1a2cb80a4b6ddee49ff95d44f5310a380897"},{"key":"lean/ToRCornerSpoofingV1_31.lean","size":1770,"uploaded":"2026-05-14T02:49:49.836Z","sha":"sha256:bd18dfd6f9e959586ae7cde2835b56289b9dced5ba6290a133edc9526f20f2b9"},{"key":"lean/cubieq_omega_incremental_append.lean","size":14376,"uploaded":"2026-05-14T02:49:24.604Z","sha":"sha256:1b22b5feb59016e79fb524ba04ae4ad9d0ed0c565cb4f9f1f00c2f66baddb0fc"},{"key":"lean/cubieq_omega_incremental_next_addendum.lean","size":16470,"uploaded":"2026-05-14T02:49:25.005Z","sha":"sha256:017e17f0315fc8c3eb3f125ff13bc1b86d4f481bdebbb0042d0d81978368a57f"},{"key":"ledger/proof_hashes.json","size":54206,"uploaded":"2026-05-14T05:30:18.341Z"},{"key":"verus/c4_authorization_gate_spec.rs","size":5486,"uploaded":"2026-05-14T02:47:42.285Z","sha":"sha256:8b870785b896bbe6d809bed17ece7d1aebacd6a27fa66aad0bf55929a7ac081c"},{"key":"verus/cross_compiler_coherence_spec.rs","size":5419,"uploaded":"2026-05-14T02:47:42.663Z","sha":"sha256:08e6afd4fb156024853c0c8382879fb421fd2c77b0fffc7d8bd275b3e6c40147"},{"key":"verus/cubie_admit_v8_spec.rs","size":5842,"uploaded":"2026-05-14T02:47:43.094Z","sha":"sha256:c0dfe1e4599a214d52e14727575a385970147768aa68d03e843cb08004edf531"},{"key":"verus/cubie_agent_stress_v8_spec.rs","size":8393,"uploaded":"2026-05-14T02:47:43.510Z","sha":"sha256:1d2fe28fb94ad501c65f5e2949c2ecaf1d8f3f857f4a29990a72aae6ff442259"},{"key":"verus/cubie_and_truth_table_v8_spec.rs","size":10099,"uploaded":"2026-05-14T02:47:43.898Z","sha":"sha256:d4bc2dc3afbc8fafe656440f4834eefc821dfabd1df5dcff92ad1a8556610653"},{"key":"verus/cubie_attention_geometry_spec.rs","size":6250,"uploaded":"2026-05-14T02:47:44.328Z","sha":"sha256:5b821cfb2f1d1e6a91c880354ee7b19b2a0e9991af6f1a3b72c91c170c7e9eef"},{"key":"verus/cubie_attention_geometry_v8_spec.rs","size":7727,"uploaded":"2026-05-14T02:47:44.691Z","sha":"sha256:bc68a52021a7fa0001b87e1c9d9afc39483d72aed172dbd80506840dfa82e1db"},{"key":"verus/cubie_attestation_bridge_spec.rs","size":6036,"uploaded":"2026-05-14T02:47:45.087Z","sha":"sha256:d8ee456f5439a0c667705609740f9d9d4796c80d4eafa53ff6e65cfb747146b6"},{"key":"verus/cubie_bitboard_spec.rs","size":9484,"uploaded":"2026-05-14T02:47:45.590Z","sha":"sha256:7e58cda9c13dce95638a5af9baa8eefb6aee4a314815456f0b3ac21d0ce37fae"},{"key":"verus/cubie_bloom_lease_spec.rs","size":6146,"uploaded":"2026-05-14T02:47:46.020Z","sha":"sha256:325a4eefe3d285ba03566495b247f52a82d7c03b818b5d551d7985c08ae68071"},{"key":"verus/cubie_c4_auth_gate_v8_spec.rs","size":10474,"uploaded":"2026-05-14T02:47:46.378Z","sha":"sha256:e5c0c4b8e96d003611644727c05155acd246dc1607f49ee7b447731bf86b7a23"},{"key":"verus/cubie_capacitor_shear_v8_spec.rs","size":9824,"uploaded":"2026-05-14T02:47:46.842Z","sha":"sha256:206968a7185f50d3d12ae0ff47f30be4dfdf6f4ee898badb194589647b5893ec"},{"key":"verus/cubie_capacity_spec.rs","size":13182,"uploaded":"2026-05-14T02:47:47.260Z","sha":"sha256:ed8329723e0d8bd993544bbf56a7b574646cede93bdadd7c548067170e0c79d9"},{"key":"verus/cubie_capacity_v2_5_spec.rs","size":6236,"uploaded":"2026-05-14T02:47:47.642Z","sha":"sha256:3a5df5432d9c941c2b4cb9e6b933b1e2bd30a955dab8a6dd8e8e3070405f64ee"},{"key":"verus/cubie_cold_path_spec.rs","size":5959,"uploaded":"2026-05-14T02:47:48.029Z","sha":"sha256:1b410260afdee822896368a3f74a4303568eb79aa65aeaa4efc3839a6ce9d647"},{"key":"verus/cubie_compilation_closure_spec.rs","size":13349,"uploaded":"2026-05-14T02:47:48.427Z","sha":"sha256:978ae586592bb013ec64b737c5e755344d37dbc77ac67a55c0332692f528e089"},{"key":"verus/cubie_compile_v8_spec.rs","size":7164,"uploaded":"2026-05-14T02:47:48.826Z","sha":"sha256:6832eb9e25b2aec93d128a77d77c5b6cb251d45a885441081d5c33a39ebbbb36"},{"key":"verus/cubie_consent_bridge_v2_5_spec.rs","size":5069,"uploaded":"2026-05-14T02:47:49.207Z","sha":"sha256:13636622f3a0ca887bea78164c84ab66a4e041f06de2cfc3ec466e9068c81d98"},{"key":"verus/cubie_consent_hierarchy_spec.rs","size":14587,"uploaded":"2026-05-14T02:47:49.579Z","sha":"sha256:34343ba7ab1558a81ad193d1ee3ebb081807688b743c15b30819f7c55f48e439"},{"key":"verus/cubie_consent_hierarchy_v8_spec.rs","size":10342,"uploaded":"2026-05-14T02:47:50.048Z","sha":"sha256:144f041d7e0e73b6a0e3ed7042526d737cd8ae484d989bfdeb0a546a52114bf6"},{"key":"verus/cubie_consent_v8_spec.rs","size":9642,"uploaded":"2026-05-14T02:47:50.434Z","sha":"sha256:a147570a6c4cdd638fbf861329ce2dafc18940412daa58e73601f9e9e7abf427"},{"key":"verus/cubie_constant_time_spec.rs","size":6236,"uploaded":"2026-05-14T02:47:50.807Z","sha":"sha256:fc6da4c76ed8119a8cc63e33e9b0053c24a64a129c69c12525d19025a9eeaf9a"},{"key":"verus/cubie_constant_time_v8_spec.rs","size":8333,"uploaded":"2026-05-14T02:47:51.270Z","sha":"sha256:c5d07954be951e9f7c5a291f8c32bc571397cd5551072fe1a0eeed4f3e656f05"},{"key":"verus/cubie_corner_consensus_spec.rs","size":3732,"uploaded":"2026-05-14T02:47:51.634Z","sha":"sha256:d039fc0c5f158450d761146b89eeb5e02cde65f8619f2862047a5bf164bef110"},{"key":"verus/cubie_crate_boundary_spec.rs","size":9393,"uploaded":"2026-05-14T02:47:52.006Z","sha":"sha256:b0b074b7281792e7302a06b9f1d09d47008e3affb06bcb9fb4ecc79891575e35"},{"key":"verus/cubie_credit_score_spec.rs","size":5948,"uploaded":"2026-05-14T02:47:52.391Z","sha":"sha256:2e0005e17ad262fbb7f776d39c70c5fd0cb679def6f97c7a94a8c3fa8d7823b1"},{"key":"verus/cubie_cross_compiler_v8_spec.rs","size":9939,"uploaded":"2026-05-14T02:47:52.780Z","sha":"sha256:d97570c749e0299aca66aeb65e5f22114d456eea57cd82b8684c9dc3eeedc395"},{"key":"verus/cubie_cube_topology_v8_spec.rs","size":7560,"uploaded":"2026-05-14T02:47:53.173Z","sha":"sha256:40f4bc467e758c78e1aeb5480b25a70a925f1906a0bc0f16246e208649cbcbf2"},{"key":"verus/cubie_cubieq_assembly_v8_spec.rs","size":8809,"uploaded":"2026-05-14T02:47:53.625Z","sha":"sha256:829e4bc814e4b58508788eb5d853a019e6b8ba6f03d5a778a6c8b8c89e0d085c"},{"key":"verus/cubie_cubieq_v8_spec.rs","size":9178,"uploaded":"2026-05-14T02:47:54.062Z","sha":"sha256:e049644d199b1b1a657a0fcfe20ca213cf5c50f513d03928c1b16dedf9bad6ca"},{"key":"verus/cubie_cyber_physical_axioms_spec.rs","size":4197,"uploaded":"2026-05-14T02:47:54.484Z","sha":"sha256:1bea5ac7d5255930005600e1b4cf0c2e059269a20c92e54589e257a66dcbca9c"},{"key":"verus/cubie_cyber_physical_v8_spec.rs","size":7484,"uploaded":"2026-05-14T02:47:54.886Z","sha":"sha256:fc6550bc9a4181c19ff5980ce40d3416806b66cd029ca07706abcd147fe7d736"},{"key":"verus/cubie_cycle_bound_spec.rs","size":2936,"uploaded":"2026-05-14T02:47:55.283Z","sha":"sha256:8930abfbca23e4c809348c0cdcb0091da9b63677f57b86e914c2e8207a72eb8d"},{"key":"verus/cubie_cycle_counter_spec.rs","size":3273,"uploaded":"2026-05-14T02:47:55.719Z","sha":"sha256:e12da71a089241ffcaf6422f5cb519acac38f15523040eb4735f828eb2cec8a9"},{"key":"verus/cubie_delegation_depth_v8_spec.rs","size":8386,"uploaded":"2026-05-14T02:47:56.104Z","sha":"sha256:b776c7d19975b14615a8fed1d4f7a2ae4b7748801021e4eccb4bda58d521f814"},{"key":"verus/cubie_delegation_recursion_spec.rs","size":10244,"uploaded":"2026-05-14T02:47:56.515Z","sha":"sha256:b2e1a05367411230f72e3caa323d2854a4e0a61e2a808d54a3095b39d47ac945"},{"key":"verus/cubie_delegation_spec.rs","size":8478,"uploaded":"2026-05-14T02:47:56.967Z","sha":"sha256:74206e83aa2d4c918a7c3b14adbe6bac81d5d5c8451471b72f5fe3bd0e9d9c38"},{"key":"verus/cubie_denial_cert_spec.rs","size":8618,"uploaded":"2026-05-14T02:47:57.429Z","sha":"sha256:c2403a8eb1abac372e53d5a43cd0e85510c3de6ca0e710954506b04565138631"},{"key":"verus/cubie_denial_cert_v8_spec.rs","size":8046,"uploaded":"2026-05-14T02:47:57.865Z","sha":"sha256:8a3231ad0c2546f2de5bda5378bc825719baac9fe71cfedb22b982f74eb00314"},{"key":"verus/cubie_dimensional_regression_spec.rs","size":6015,"uploaded":"2026-05-14T02:47:58.327Z","sha":"sha256:e59266f383ffb613685b5f8bf85389e192ac6f12ee308de77a99b2f4b6f701f9"},{"key":"verus/cubie_dma_spec.rs","size":5347,"uploaded":"2026-05-14T02:47:58.799Z","sha":"sha256:6a33be13ec05290992c6a7b0b8e79c338081328fa368cd3b129e402a7352bb1c"},{"key":"verus/cubie_dual_ledger_spec.rs","size":14925,"uploaded":"2026-05-14T02:47:59.188Z","sha":"sha256:c7a34ed45e7c573983d5a5ec014866890ca9cf3017227a0ee796ca901ffde851"},{"key":"verus/cubie_dual_ledger_telemetry_v8_spec.rs","size":8942,"uploaded":"2026-05-14T02:47:59.754Z","sha":"sha256:9a70492c860445767d1d3113c97f01dfb7f3495fd2413d7ddd34ab75465c7ccb"},{"key":"verus/cubie_egress_conjugate_spec.rs","size":8925,"uploaded":"2026-05-14T02:48:00.224Z","sha":"sha256:e17af34eaf464697df53b7ac5fadd1fee91b6880b7cd6f61740ae53da66948d1"},{"key":"verus/cubie_egress_conjugate_v8_spec.rs","size":7845,"uploaded":"2026-05-14T02:48:00.623Z","sha":"sha256:7447485414b3ccfa6a85a587e9222af7b796feecb0a7129270b22bd92a37e346"},{"key":"verus/cubie_enclave_spec.rs","size":8191,"uploaded":"2026-05-14T02:48:01.072Z","sha":"sha256:6336422ec6e361ff023caeeed7ac1e128bf575485079136b950d64eb38ee353e"},{"key":"verus/cubie_engineering_physics_spec.rs","size":5851,"uploaded":"2026-05-14T02:48:01.451Z","sha":"sha256:e4412f0e96b7e2a7c5509da543b2ea01674ad2257ccf3393cb448880bb1072ea"},{"key":"verus/cubie_engineering_physics_v8_spec.rs","size":7546,"uploaded":"2026-05-14T02:48:01.837Z","sha":"sha256:eea2e5e34eb94c8e3995c33e3aae5402acef0e290c239b3349790e596bcc2fe7"},{"key":"verus/cubie_entropy_spec.rs","size":7427,"uploaded":"2026-05-14T02:48:02.242Z","sha":"sha256:0176793f9e0fbeaf6fa0af8e04ae494a6dca9fb2dc82f04c766d2aec355215eb"},{"key":"verus/cubie_ephemerality_v8_spec.rs","size":4524,"uploaded":"2026-05-14T02:48:02.643Z","sha":"sha256:590c563dadb9a5d4341a9bae2fbbeffa25d12b7543793e3ff7dc8421e8c81531"},{"key":"verus/cubie_epoch_rotation_spec.rs","size":7162,"uploaded":"2026-05-14T02:48:03.032Z","sha":"sha256:271ed25ee2a182c8c8ac8a1a2ac0b6c7ce1fa2fff816dfc368765e41274fa5da"},{"key":"verus/cubie_epoch_rotation_v8_spec.rs","size":8258,"uploaded":"2026-05-14T02:48:03.506Z","sha":"sha256:5be3f9fa963c1933332dd146d4691ead53569f8e9717b61c99b93e2a383d5fd3"},{"key":"verus/cubie_execution_lease_spec.rs","size":5166,"uploaded":"2026-05-14T02:48:03.947Z","sha":"sha256:30f2a0ff0b783662f17fed205d59da337bff9ddc36deafc0f9fc31112ee56bf7"},{"key":"verus/cubie_execution_physics_spec.rs","size":6043,"uploaded":"2026-05-14T02:48:04.314Z","sha":"sha256:71484ce718d82a181ae6492ef9f5867a52c04a19be58e96079272803cedfe4d3"},{"key":"verus/cubie_execution_physics_v8_spec.rs","size":7841,"uploaded":"2026-05-14T02:48:04.785Z","sha":"sha256:f67d611c18314d553283d9e52ff777b3a91a5a98f3c2ad7380cbfac7fb838c88"},{"key":"verus/cubie_face_geometry_v8_spec.rs","size":10335,"uploaded":"2026-05-14T02:48:05.193Z","sha":"sha256:3e1d574f932b8e5f079db458ee0533231a7400e7ebc208f610063ac072295c1b"},{"key":"verus/cubie_failure_taxonomy_ext_v8_spec.rs","size":11795,"uploaded":"2026-05-14T02:48:05.570Z","sha":"sha256:4dd2510f13c2b9b46f7db4081dded4d3d0b4b9f53b880d5e6fffc82e9f3e5f5b"},{"key":"verus/cubie_failure_taxonomy_spec.rs","size":19052,"uploaded":"2026-05-14T02:48:05.999Z","sha":"sha256:f22a665c03c30b8cd45c1c796d80d59420dc2e6705659d2d7226e778d2bc44c5"},{"key":"verus/cubie_fence_spec.rs","size":5535,"uploaded":"2026-05-14T02:48:06.450Z","sha":"sha256:af5b0614e85f8211641abc8dada20add2fb2af567203ff628762c2108b7eee17"},{"key":"verus/cubie_fips_crypto_spec.rs","size":7158,"uploaded":"2026-05-14T02:48:06.796Z","sha":"sha256:10a6504e6cd330f3eb9c2c40f5c9d78503fa3943a0e18d593d09ea43ec09ae04"},{"key":"verus/cubie_fluid_docking_v8_spec.rs","size":7279,"uploaded":"2026-05-14T02:48:07.380Z","sha":"sha256:27abe7f46bda22d145ab0d1ae0c5c464c10aac5bf327334bcaf80522ed852d03"},{"key":"verus/cubie_fluid_ops_v8_spec.rs","size":13486,"uploaded":"2026-05-14T02:48:07.780Z","sha":"sha256:6ccb50faf67d0e4aecae9e0637b3d58ca6e46162243e7fe1f0ed426072654f2a"},{"key":"verus/cubie_geometric_capacitor_spec.rs","size":11469,"uploaded":"2026-05-14T02:48:08.140Z","sha":"sha256:b11ff610ba7c71a09f21b4a7b814e5610fd1b68103759db2d77a9884722ce174"},{"key":"verus/cubie_geometric_memory_spec.rs","size":8641,"uploaded":"2026-05-14T02:48:08.565Z","sha":"sha256:0d63d82dee22cc1d68e6f23e03541e550dff42cf2c69820354ee5deec0ea5a7b"},{"key":"verus/cubie_geometric_protocol_spec.rs","size":9963,"uploaded":"2026-05-14T02:48:08.950Z","sha":"sha256:cef57de1c8ae52c042c8a32ed0f621ef8011e42e1c6b5497dc8b6c19022f5dab"},{"key":"verus/cubie_geometry_spec.rs","size":9185,"uploaded":"2026-05-14T02:48:09.343Z","sha":"sha256:36ab016206225da44959a64bb82eb48e37c392256ac26ec13e476232118a7e69"},{"key":"verus/cubie_geometry_v8_spec.rs","size":8760,"uploaded":"2026-05-14T02:48:09.753Z","sha":"sha256:c29bb761f0e10ec0385eea692464a425e2ce63453691de9f77ef7101f8e887b2"},{"key":"verus/cubie_goodput_spec.rs","size":3974,"uploaded":"2026-05-14T02:48:10.151Z","sha":"sha256:0de34645b278c5f6818767462cbbae4a90527514b27083a21a05b9630989afca"},{"key":"verus/cubie_goodput_v8_spec.rs","size":7256,"uploaded":"2026-05-14T02:48:10.500Z","sha":"sha256:43ac5f4d1f8a510221594104a41cdf4df3b4b5052a05923a55986da3480c5e7e"},{"key":"verus/cubie_hardened_gate_spec.rs","size":7978,"uploaded":"2026-05-14T02:48:10.904Z","sha":"sha256:4c8cb178be62dc0b712b4b3aab76b4a3d226b1615b83fa694e4ec11413254db7"},{"key":"verus/cubie_hardened_gate_v8_spec.rs","size":8139,"uploaded":"2026-05-14T02:48:11.344Z","sha":"sha256:4c2e2c8620b2a8b20277caaebb3841a872ed9e0c9ac0897cc6db6c1f17ce5dbd"},{"key":"verus/cubie_hardware_stencil_spec.rs","size":6647,"uploaded":"2026-05-14T02:48:11.688Z","sha":"sha256:dcdd68d154427d063382eec0ca86df7847b32c175013c923ef684e3f8096d48f"},{"key":"verus/cubie_hmac_v8_spec.rs","size":7716,"uploaded":"2026-05-14T02:48:12.080Z","sha":"sha256:bebc2fdf937ec0c2b021c203a3ca8ac6b17a300d52befc681cd1f33919b82214"},{"key":"verus/cubie_hmac_verify_v8_spec.rs","size":4365,"uploaded":"2026-05-14T02:48:12.469Z","sha":"sha256:780571c2d913ba3d0c89a5ff4f64c53a0cb1c92df12353a51c8395e1b9aeec0b"},{"key":"verus/cubie_ide_key_spec.rs","size":5381,"uploaded":"2026-05-14T02:48:12.880Z","sha":"sha256:f8471bcd06987022c330e0d0d8f9fc10a89e7f787ac6e344b1e7648e81a266a7"},{"key":"verus/cubie_ingress_spec.rs","size":5808,"uploaded":"2026-05-14T02:48:13.252Z","sha":"sha256:03fbfed28cbe521be95dd898b6b5c92b1e8e28e51b6756aadf62dc8fa59cd66f"},{"key":"verus/cubie_iotlb_spec.rs","size":5430,"uploaded":"2026-05-14T02:48:13.664Z","sha":"sha256:7467ae09e7a8234921fb3b027afbe484800c8108718a13cef7bd957e8e945076"},{"key":"verus/cubie_ita_client_v8_spec.rs","size":4875,"uploaded":"2026-05-14T02:48:14.124Z","sha":"sha256:a378d02753cca91aa0eaa6e9be696af8565970946638b64435836b7d6ea6c49a"},{"key":"verus/cubie_kinetic_shear_spec.rs","size":3889,"uploaded":"2026-05-14T02:48:14.568Z","sha":"sha256:09796e3398e6d8d1ede5a72d7474156fb5d159f891fe5cb4268cc80eea75292f"},{"key":"verus/cubie_lease_spec.rs","size":7419,"uploaded":"2026-05-14T02:48:14.977Z","sha":"sha256:1ec1e5e17de0233225b6b0cf85abac324df0cb320730581341e5d7d7ae8e54fd"},{"key":"verus/cubie_mmio_safety_spec.rs","size":12099,"uploaded":"2026-05-14T02:48:15.352Z","sha":"sha256:658422e653f774bd75efb0caa45af8920407dfa9762e9668d247a463dcdb47f8"},{"key":"verus/cubie_movdir64b_spec.rs","size":5149,"uploaded":"2026-05-14T02:48:15.997Z","sha":"sha256:456b8596269bde090d28472becce3ca5b642556bba0d07bdaeac05279d884289"},{"key":"verus/cubie_nist_c4_gate_v8_spec.rs","size":13425,"uploaded":"2026-05-14T02:48:16.408Z","sha":"sha256:774ac2825f13e0229e0385b9e8248c9d7ce8ba794c9c456a01c6e832c0e1d116"},{"key":"verus/cubie_nist_c4_spec.rs","size":11318,"uploaded":"2026-05-14T02:48:16.796Z","sha":"sha256:74633991524f6766c5d355578a083bf1a6e44474f61c00d3fcada109c5828b98"},{"key":"verus/cubie_nist_gate_v8_spec.rs","size":8761,"uploaded":"2026-05-14T02:48:17.348Z","sha":"sha256:4def39eabb583ce1720b3de91a904c0c5b2fbae25cb0cb43fdb313bf71da4417"},{"key":"verus/cubie_nvlink_v8_spec.rs","size":4269,"uploaded":"2026-05-14T02:48:17.816Z","sha":"sha256:5e641d09b8f91706644bfdd8feb7fb338941d1d17cec56e6502bf2c3cec07214"},{"key":"verus/cubie_object_layout_spec.rs","size":7504,"uploaded":"2026-05-14T02:48:18.319Z","sha":"sha256:85fe4cb27d095f89d4853486b9e2b5fcb61fe1e31eac14e3b4c0b067bb6f47e0"},{"key":"verus/cubie_omega_bridge_manifold_spec.rs","size":3418,"uploaded":"2026-05-14T02:48:18.728Z","sha":"sha256:ec7b9858c8da44dae6a0d2d65389f1d262fbcf991d63c7c8916ff68814806a8a"},{"key":"verus/cubie_omega_bridge_v8_spec.rs","size":10251,"uploaded":"2026-05-14T02:48:19.162Z","sha":"sha256:774dd09899f183c2e47039eb83bfc52e62c65015c117e2be4c83ff94e16a8f76"},{"key":"verus/cubie_omega_stage2_v8_spec.rs","size":7691,"uploaded":"2026-05-14T02:48:19.533Z","sha":"sha256:e689b1305cafddd4f5ebd2ec5c4047dc00281e6200cd8007f8f8e9cc2fc21d57"},{"key":"verus/cubie_omega_tree_v8_spec.rs","size":9303,"uploaded":"2026-05-14T02:48:20.059Z","sha":"sha256:6cfb4a1a72acdc2c7f94531f59f3ee4071e0f4fef6178de4f8ba312746b244e1"},{"key":"verus/cubie_omega_v8_spec.rs","size":7368,"uploaded":"2026-05-14T02:48:20.524Z","sha":"sha256:7618716a72ef6fac69082abdabfdd8d5bfbb4c1df0f122412db15895287bf629"},{"key":"verus/cubie_output_state_spec.rs","size":7789,"uploaded":"2026-05-14T02:48:20.923Z","sha":"sha256:24a35b5de7f63498a26ec80da6c0fcdeb868eaf20faea674fbd842767d6fc1e5"},{"key":"verus/cubie_pcie_ttl_spec.rs","size":3355,"uploaded":"2026-05-14T02:48:21.315Z","sha":"sha256:38a8b4d4f018c0dc55fd6f6850b1587d18db5e6da949ca91213326389ddea187"},{"key":"verus/cubie_per_predicate_spec.rs","size":13424,"uploaded":"2026-05-14T02:48:21.745Z","sha":"sha256:1f5a2c506c23d51edaf4ead9c8f4530d0ac947fc73ad7baece1f49892278733f"},{"key":"verus/cubie_phase_transition_spec.rs","size":19252,"uploaded":"2026-05-14T02:48:22.201Z","sha":"sha256:b56995ae770d23054768d4b8ea388182c2457d4017d4cbbc652f209a9846bbb8"},{"key":"verus/cubie_phase_transition_v8_spec.rs","size":10330,"uploaded":"2026-05-14T02:48:22.580Z","sha":"sha256:c7d1401b02a5b4dce7c0a9bb54a780381c189cf037c78642bdf34ef6c1ee9e2b"},{"key":"verus/cubie_pmp_spec.rs","size":7241,"uploaded":"2026-05-14T02:48:22.954Z","sha":"sha256:81fd5616a7d8c41ee7dee50949b75fe85623fb02ee76e5cbf48f55830ca1a527"},{"key":"verus/cubie_positional_tamper_spec.rs","size":12356,"uploaded":"2026-05-14T02:48:23.329Z","sha":"sha256:6828bca2ee3a0bb00a843fac3424c06d786f0226b427e5af3d9f78edf9b828bc"},{"key":"verus/cubie_positional_tamper_v8_spec.rs","size":11811,"uploaded":"2026-05-14T02:48:23.701Z","sha":"sha256:19f5d751e1bb2db9f7362b98b07399a1c58297be128c05ef97728c9aa25b4dbf"},{"key":"verus/cubie_post_quantum_spec.rs","size":10687,"uploaded":"2026-05-14T02:48:24.083Z","sha":"sha256:003ac7382765c4a786ee7c08c6711c5e094b3916b9dddef4320e5b840e095f7d"},{"key":"verus/cubie_puf_v8_spec.rs","size":5934,"uploaded":"2026-05-14T02:48:24.522Z","sha":"sha256:9aa552ea48a167c915616c65b524b0b672ada605772c883f481cba190453d839"},{"key":"verus/cubie_ramen_corner_v8_spec.rs","size":7202,"uploaded":"2026-05-14T02:48:24.926Z","sha":"sha256:be36341fd8d19772949f6b42f1155ee72e7adbcc6b18f0e12b0ecfd945eb3d4f"},{"key":"verus/cubie_rcu_spec.rs","size":3923,"uploaded":"2026-05-14T02:48:25.340Z","sha":"sha256:29f1f8e7e1f358f6ceb4dd0d854111d80f09b6114603324a8009beb1189d214c"},{"key":"verus/cubie_replay_spec.rs","size":4049,"uploaded":"2026-05-14T02:48:25.707Z","sha":"sha256:9de33b2f2f8cb67e01e6b10d2dbaf2e89a41653c3dc7dd9271ed0cfec3160a45"},{"key":"verus/cubie_replay_v8_spec.rs","size":7381,"uploaded":"2026-05-14T02:48:26.076Z","sha":"sha256:b92d86404fd63ac92cab18b867c744e8ee69bf57b8006b5cae7802565f4f2a2c"},{"key":"verus/cubie_rtmr_spec.rs","size":7421,"uploaded":"2026-05-14T02:48:26.497Z","sha":"sha256:570a547dd66bacff9a7559fdd5623645687387850b0cd637ddcf8400f511460d"},{"key":"verus/cubie_runtime_spec.rs","size":8209,"uploaded":"2026-05-14T02:48:26.901Z","sha":"sha256:ffb98f77a3242d938b41196c3487edd7947f0a4fb00b7199b5436defc34e144c"},{"key":"verus/cubie_seam_entropy_spec.rs","size":8331,"uploaded":"2026-05-14T02:48:27.253Z","sha":"sha256:d20a71793d7b4dc683168a1351c9493714ce5f24a4966adec91e3eb9e076688b"},{"key":"verus/cubie_server_degradation_v8_spec.rs","size":11343,"uploaded":"2026-05-14T02:48:27.653Z","sha":"sha256:82a1a3a443e4aee4493946bdc1da9a652c488281d6b8e701e4eaf06d5b3da8b0"},{"key":"verus/cubie_sha256_v8_spec.rs","size":7132,"uploaded":"2026-05-14T02:48:27.991Z","sha":"sha256:0a33e10b1ceced3c3b06aac318b56fbfe44f15e9146323ce301f55700b909b0b"},{"key":"verus/cubie_silicon_provenance_spec.rs","size":6736,"uploaded":"2026-05-14T02:48:28.342Z","sha":"sha256:65061634c795af86af2d8ef069e9e744e3bbde2d4dc3b8c5f92a3979ff311702"},{"key":"verus/cubie_site_topology_spec.rs","size":4886,"uploaded":"2026-05-14T02:48:28.745Z","sha":"sha256:58bce4712fefb47e2a8e6470b73fe8e977c99c3d42d8333b3aeb51f86289e7f3"},{"key":"verus/cubie_site_topology_v8_spec.rs","size":7033,"uploaded":"2026-05-14T02:48:29.124Z","sha":"sha256:7083dacab05b078c8eea3f393829509b66e17610e0296d1cd8fe60a47d4f53fb"},{"key":"verus/cubie_spdm_spec.rs","size":5084,"uploaded":"2026-05-14T02:48:29.500Z","sha":"sha256:a87f9d973dbede4893c3758ba1155dd1dfce3009680199b3d57fb01491cb6644"},{"key":"verus/cubie_tamper_stencil_v8_spec.rs","size":10123,"uploaded":"2026-05-14T02:48:29.882Z","sha":"sha256:0de2a76e06f7d5a5fb42ab88a6d5977b699e196532bd51d50a40278ad39e592d"},{"key":"verus/cubie_tarpit_spec.rs","size":7852,"uploaded":"2026-05-14T02:48:30.294Z","sha":"sha256:236d0b94a97a414f520ec93aa85ba98885e615e69b14aa59f3f98f4421fea6fb"},{"key":"verus/cubie_tdisp_spec.rs","size":5820,"uploaded":"2026-05-14T02:48:30.728Z","sha":"sha256:1d4100f21d682d382b0840be3e7110c51377dd97a1e22510b84bd48aed5ceff5"},{"key":"verus/cubie_tdx_abi_spec.rs","size":7041,"uploaded":"2026-05-14T02:48:31.215Z","sha":"sha256:9e1c785af32910119ae01c92c22ed20c771706dc180932c966d2252d93776b7a"},{"key":"verus/cubie_tdx_mem_spec.rs","size":7175,"uploaded":"2026-05-14T02:48:31.605Z","sha":"sha256:8b963c97b5913a440ffcdf0ef3d771b23caabfeb05303f418b3e338dd1d6d1c5"},{"key":"verus/cubie_tdx_pipeline_spec.rs","size":12967,"uploaded":"2026-05-14T02:48:31.975Z","sha":"sha256:3a8253b740accb638ced1fbe448bf0e762c2c25288714923f013ba567f5919bf"},{"key":"verus/cubie_tdx_pipeline_v8_spec.rs","size":9162,"uploaded":"2026-05-14T02:48:32.409Z","sha":"sha256:3c2a179f675877ed22852e6cb48043f4cc14fbd700713fe8c51b6c3b6b25283e"},{"key":"verus/cubie_telemetry_epoch_spec.rs","size":4728,"uploaded":"2026-05-14T02:48:32.825Z","sha":"sha256:e560f57d808ef642799a29624e4da62dcb2d8be71e3f435c0c8dbcb89a5b6103"},{"key":"verus/cubie_ternary_dynamics_spec.rs","size":24271,"uploaded":"2026-05-14T02:48:33.299Z","sha":"sha256:e1e7aaff20022779a5d3f5c8b613439156ecaed469f5663f7e45238164e094f5"},{"key":"verus/cubie_ternary_geometry_spec.rs","size":18924,"uploaded":"2026-05-14T02:48:33.903Z","sha":"sha256:1e5b046f1e3d3ffb4bf07cce5d27967686d7e92592807b5a57fb3deb54a06c78"},{"key":"verus/cubie_thermal_v8_spec.rs","size":5098,"uploaded":"2026-05-14T02:48:34.297Z","sha":"sha256:d89e5318af2462da70d84be605b2c178935f05c71e75d3797f289befbbc3e9ca"},{"key":"verus/cubie_topological_backprop_spec.rs","size":12008,"uploaded":"2026-05-14T02:48:34.718Z","sha":"sha256:dea90cbc46bbb99cf4806564a58204c49faacbc683640e0d30d2dcde49e3d9dd"},{"key":"verus/cubie_topology_counting_v8_spec.rs","size":13125,"uploaded":"2026-05-14T02:48:35.107Z","sha":"sha256:0fe59dd253343ac7bc665c1ce8f7b6a2131554243713906bf373cad42dc989ba"},{"key":"verus/cubie_topology_spec.rs","size":10227,"uploaded":"2026-05-14T02:48:35.539Z","sha":"sha256:b7decd8960e48f49b6c632de07155951d5b3913a79c5bc54ea60be60242bad9c"},{"key":"verus/cubie_types_v8_spec.rs","size":7693,"uploaded":"2026-05-14T02:48:35.907Z","sha":"sha256:8e257865d2ccb244e3e52d58158bc8ded92ca676bf3f29211af5add1b419fcf4"},{"key":"verus/cubie_uah_consensus_spec.rs","size":9876,"uploaded":"2026-05-14T02:48:36.296Z","sha":"sha256:0cea9696a6ae2b7d7348f497b7ae1ee3b0c868b10b7b15071de6e4a44d5f96d3"},{"key":"verus/cubie_ve_guard_spec.rs","size":5148,"uploaded":"2026-05-14T02:48:36.701Z","sha":"sha256:a277b662e93b089621b501d3a4cfb3007abf5e415c9ebd5ba6585c9a4ba5b3a1"},{"key":"verus/cubie_vertex_prediction_spec.rs","size":7155,"uploaded":"2026-05-14T02:48:37.264Z","sha":"sha256:6d5258ec942e37c80e0112fdf3e9b6afd3d4e336ba5a33c29c073916aa4836a8"},{"key":"verus/cubieq_addendum_spec.rs","size":17690,"uploaded":"2026-05-14T02:48:37.698Z","sha":"sha256:0882041335b311b172b0a160d15d2020170d57f9823df8e7961d19c0131c7042"},{"key":"verus/oai_runtime_spec.rs","size":4316,"uploaded":"2026-05-14T02:48:38.145Z","sha":"sha256:e01731faff103939b987e57c5c2da9cc012dd17a20f222deed32af22788e4528"},{"key":"verus/omega_bridge_spec.rs","size":16908,"uploaded":"2026-05-14T02:48:38.518Z","sha":"sha256:cc7aa3fef7d9d30eb889366d288175b7c5f62f4e0274667fb543aee9ce165df3"},{"key":"verus/omega_spec.rs","size":20326,"uploaded":"2026-05-14T02:48:38.901Z","sha":"sha256:29de6f8fb782141f1c11c52403247c268b5a6eb513bf28fbe50f5c62ecd161d8"},{"key":"verus/omega_stage2_composition_spec.rs","size":6627,"uploaded":"2026-05-14T02:48:39.309Z","sha":"sha256:60e4676a619fa157daaa5989ee78a47014c8fbbf88cc4f07d48c364a04b0643c"},{"key":"verus/quantum_geometric_spec.rs","size":11123,"uploaded":"2026-05-14T02:48:39.657Z","sha":"sha256:57d2bc1610718edaad16e93ef2a5e6b35fb3f45d86464714d2c84a85399e03f1"},{"key":"verus/ramen_corner_v1_19_3_spec.rs","size":3070,"uploaded":"2026-05-14T02:48:40.015Z","sha":"sha256:7b8aaef55b4834a5c3e84fb0e0cd53df9c12a69d3f958c63c0912ce877ffa86b"},{"key":"verus/ramen_seam_spec.rs","size":6293,"uploaded":"2026-05-14T02:48:40.409Z","sha":"sha256:6d4134f46395944ed71a2a7ccd8ab1376912962500df01db1537e19c5e57b0c3"}]}